# Tests to cover every feature # test1: (use -n1) (put -n last) (between n and 10 dimensions) (a dimension of size 2) (all dimensions equal size) (several restrictions) (some restrictions fully duplicated) (a restriction comes after the dimensions it constrains) (one -s) (put -s first) ./jenny -s9 2 -n8 2 2 2 2 2 2 2 2 -w4b3a -w3a4b -w3a5a4a -w5b4a3a -w7a4b \ -w8a3b4b -w9a5a6a7a4a -n1 Could not cover tuple 3a 1a 2a 3b 4a 5b 6b 7b 8a 9a 1b 2b 3b 4b 5a 6a 7b 8b 9b 1b 2b 3b 4a 5a 6a 7a 8b 9b # test2: (use -n2) (put -n in the middle of the dimensions) (n dimensions) (a dimensions with 10 or more features) (very different size dimensions) (one restriction) (no deduced restrictions) (no duplicate restrictions) (a restriction has less than -n features) (a restriction comes before the dimensions it constrains) (no -s) ./jenny -w1abcdefghjiklmnopqrstuvwxyzABCDEFGHJIKLMNOPQRSTUVWX 52 -n2 3 1Y 2b 1Z 2c 1Z 2a 1Y 2a 1Y 2c 1Z 2b # test3: (use a -n bigger than 2) (put -n before the dimensions) (more than 10 dimensions) (a dimensions with 3 to 9 features) (different size dimensions) (several restrictions) (some deduced restrictions) (some restrictions partially duplicated) (a restriction has -n features) (several -s) (put -s last) ./jenny -n3 3 3 3 3 3 2 3 3 3 4 4 4 3 3 3 3 3 3 3 3 4 2 2 2 2 2 2 2 3 3 \ 3 3 -w3ab4c5c -w3c5c4ba -w4b3c5ca -w10a2a -w10b3c -w10c3c4ab -s3 -s5 Could not cover tuple 4c 5c 10b 1a 2a 3b 4c 5b 6b 7b 8a 9b 10d 11a 12b 13c 14b 15c 16b 17a 18b 19c 20c 21a 22a 23b 24a 25a 26a 27a 28a 29c 30a 31c 32a 1b 2c 3a 4b 5c 6a 7c 8b 9a 10a 11d 12d 13b 14a 15b 16a 17c 18a 19a 20a 21d 22b 23a 24b 25b 26b 27b 28b 29a 30c 31b 32b 1c 2b 3c 4a 5a 6a 7a 8c 9c 10a 11c 12a 13a 14c 15a 16c 17b 18c 19b 20b 21c 22a 23a 24b 25a 26b 27a 28a 29b 30b 31a 32c 1c 2c 3b 4a 5b 6b 7a 8a 9c 10b 11b 12c 13c 14c 15b 16a 17b 18c 19c 20a 21b 22b 23b 24a 25b 26a 27b 28b 29b 30c 31b 32c 1a 2b 3a 4b 5a 6b 7c 8c 9b 10c 11b 12a 13b 14a 15a 16c 17a 18b 19b 20c 21c 22b 23b 24a 25b 26a 27b 28b 29c 30b 31a 32b 1b 2a 3c 4c 5c 6a 7b 8b 9a 10c 11b 12c 13a 14b 15c 16b 17c 18a 19a 20b 21b 22b 23a 24a 25a 26b 27b 28a 29a 30a 31c 32a 1b 2b 3b 4a 5c 6b 7a 8b 9a 10d 11d 12b 13c 14c 15a 16c 17c 18a 19a 20c 21a 22a 23b 24b 25b 26a 27a 28b 29a 30b 31a 32c 1b 2a 3a 4b 5b 6a 7c 8a 9c 10b 11a 12d 13b 14a 15c 16b 17b 18c 19c 20b 21d 22a 23a 24b 25a 26a 27a 28a 29b 30a 31c 32b 1a 2c 3c 4c 5a 6a 7b 8c 9b 10d 11c 12d 13a 14b 15b 16a 17a 18b 19b 20a 21d 22a 23b 24b 25a 26b 27a 28b 29c 30c 31b 32a 1c 2a 3b 4c 5a 6b 7a 8c 9b 10b 11a 12a 13c 14c 15c 16b 17c 18a 19b 20a 21c 22b 23a 24a 25b 26b 27b 28b 29a 30a 31c 32c 1c 2c 3a 4c 5b 6a 7b 8b 9c 10c 11c 12b 13a 14b 15b 16c 17b 18c 19c 20c 21a 22b 23a 24a 25b 26b 27b 28a 29b 30b 31b 32b 1a 2b 3a 4a 5c 6b 7b 8a 9c 10b 11d 12c 13b 14c 15a 16a 17a 18b 19a 20b 21b 22a 23a 24b 25b 26b 27a 28a 29c 30a 31a 32a 1a 2b 3c 4c 5b 6b 7c 8a 9a 10a 11d 12a 13a 14b 15a 16b 17c 18c 19c 20a 21c 22a 23b 24a 25b 26a 27b 28a 29b 30c 31a 32a 1c 2a 3b 4a 5a 6b 7a 8b 9a 10c 11c 12d 13c 14a 15a 16c 17a 18b 19a 20b 21d 22b 23b 24a 25a 26a 27a 28b 29c 30c 31c 32c 1c 2b 3b 4b 5c 6a 7c 8c 9b 10d 11a 12c 13a 14a 15c 16c 17b 18c 19a 20b 21b 22b 23a 24b 25a 26a 27b 28b 29b 30b 31b 32a 1b 2c 3c 4a 5a 6a 7c 8c 9b 10a 11d 12b 13c 14a 15c 16a 17b 18b 19b 20c 21a 22a 23a 24b 25a 26a 27a 28a 29c 30c 31c 32b 1a 2c 3a 4b 5c 6b 7a 8a 9c 10d 11c 12a 13b 14b 15b 16b 17b 18a 19c 20b 21c 22a 23b 24b 25a 26b 27a 28b 29a 30a 31b 32c 1b 2a 3b 4b 5b 6a 7b 8b 9a 10c 11a 12a 13c 14c 15b 16a 17a 18a 19a 20a 21c 22a 23b 24b 25a 26b 27a 28a 29b 30b 31a 32b 1c 2b 3b 4b 5b 6a 7c 8a 9a 10b 11b 12d 13b 14c 15b 16c 17a 18c 19b 20c 21a 22a 23b 24b 25b 26b 27a 28a 29a 30b 31c 32c 1a 2c 3b 4b 5c 6b 7c 8b 9c 10b 11c 12b 13b 14b 15c 16c 17c 18b 19b 20a 21b 22b 23b 24b 25a 26a 27b 28b 29b 30a 31a 32b 1c 2c 3c 4c 5a 6a 7b 8c 9a 10a 11a 12c 13b 14a 15a 16b 17b 18a 19c 20c 21d 22b 23a 24a 25b 26a 27a 28b 29c 30b 31a 32c 1c 2b 3b 4a 5a 6a 7a 8b 9b 10a 11b 12c 13c 14b 15a 16b 17a 18b 19b 20c 21b 22a 23b 24a 25a 26b 27b 28a 29a 30a 31b 32b 1b 2b 3c 4b 5b 6b 7a 8c 9c 10d 11b 12b 13a 14c 15c 16a 17c 18c 19a 20b 21d 22b 23a 24a 25b 26b 27a 28a 29c 30c 31b 32b 1c 2a 3a 4a 5a 6a 7a 8a 9b 10c 11d 12c 13c 14c 15b 16c 17c 18a 19c 20b 21a 22b 23a 24b 25a 26a 27b 28a 29c 30c 31b 32a 1b 2a 3a 4a 5c 6b 7b 8b 9b 10b 11a 12a 13a 14a 15a 16a 17b 18c 19b 20a 21b 22a 23b 24a 25b 26a 27a 28b 29a 30c 31a 32a 1b 2a 3c 4a 5b 6a 7c 8c 9b 10d 11c 12d 13b 14b 15b 16a 17a 18b 19c 20a 21c 22b 23a 24a 25b 26a 27b 28a 29a 30a 31a 32c 1b 2c 3c 4c 5b 6b 7a 8a 9c 10a 11c 12a 13b 14a 15c 16c 17a 18a 19a 20a 21a 22b 23b 24b 25b 26b 27b 28b 29b 30b 31c 32a 1a 2b 3a 4b 5c 6a 7b 8c 9c 10c 11c 12c 13c 14a 15c 16a 17c 18c 19c 20c 21c 22a 23a 24a 25a 26b 27b 28b 29a 30c 31c 32c 1a 2a 3a 4a 5c 6a 7c 8a 9a 10d 11d 12a 13a 14c 15c 16b 17a 18b 19b 20c 21d 22b 23a 24a 25a 26b 27b 28b 29b 30b 31b 32c 1a 2c 3c 4c 5a 6b 7c 8a 9a 10c 11a 12b 13a 14c 15a 16c 17b 18b 19a 20b 21c 22a 23b 24b 25b 26a 27b 28a 29a 30a 31b 32b 1a 2c 3a 4c 5b 6b 7c 8b 9b 10a 11b 12d 13c 14b 15a 16a 17c 18a 19b 20b 21b 22a 23a 24b 25a 26a 27a 28b 29b 30b 31c 32c 1a 2a 3b 4b 5a 6b 7a 8c 9c 10b 11d 12d 13a 14a 15b 16b 17b 18c 19a 20c 21a 22b 23b 24a 25a 26b 27b 28b 29c 30a 31a 32a 1a 2b 3b 4b 5a 6a 7b 8b 9a 10b 11b 12b 13b 14b 15a 16c 17b 18a 19c 20a 21d 22a 23a 24b 25b 26b 27b 28a 29c 30c 31c 32a 1a 2a 3c 4c 5c 6b 7a 8c 9c 10c 11a 12c 13b 14a 15b 16b 17c 18b 19b 20a 21b 22a 23b 24b 25b 26a 27a 28a 29c 30b 31c 32b 1c 2b 3a 4c 5a 6b 7b 8a 9b 10a 11d 12b 13b 14b 15b 16a 17c 18c 19a 20a 21d 22b 23b 24a 25a 26a 27a 28b 29b 30a 31c 32c 1a 2b 3c 4c 5c 6a 7b 8b 9c 10a 11b 12d 13c 14c 15c 16b 17a 18c 19c 20b 21a 22b 23b 24b 25b 26a 27a 28b 29a 30c 31a 32b 1a 2b 3c 4a 5b 6b 7b 8c 9a 10d 11a 12d 13b 14a 15a 16a 17c 18a 19b 20c 21a 22b 23a 24a 25a 26b 27b 28a 29b 30a 31b 32a 1b 2c 3a 4a 5b 6a 7a 8c 9a 10c 11d 12c 13a 14b 15c 16c 17a 18c 19c 20a 21b 22a 23b 24b 25b 26b 27a 28b 29c 30a 31a 32c 1a 2a 3b 4a 5c 6a 7c 8a 9c 10b 11c 12a 13a 14b 15a 16b 17c 18a 19a 20c 21c 22b 23a 24b 25b 26a 27a 28a 29c 30c 31b 32b 1c 2c 3b 4b 5c 6b 7b 8a 9b 10d 11b 12a 13c 14a 15b 16c 17c 18b 19c 20b 21d 22a 23a 24a 25b 26b 27b 28a 29a 30b 31a 32a 1b 2c 3b 4a 5c 6b 7c 8b 9c 10a 11a 12b 13a 14c 15b 16b 17a 18a 19b 20b 21c 22b 23a 24a 25a 26b 27b 28b 29c 30a 31c 32a 1b 2a 3a 4b 5a 6b 7c 8b 9a 10d 11c 12c 13c 14c 15a 16b 17b 18c 19c 20c 21b 22b 23b 24a 25b 26b 27b 28a 29b 30c 31c 32b 1a 2a 3a 4c 5b 6a 7a 8c 9a 10b 11b 12b 13c 14a 15c 16a 17b 18b 19a 20b 21c 22a 23b 24b 25a 26a 27a 28b 29a 30b 31b 32a 1c 2b 3b 4c 5b 6b 7a 8b 9b 10c 11d 12d 13b 14c 15c 16a 17b 18b 19b 20c 21d 22a 23a 24b 25b 26b 27b 28a 29b 30c 31c 32a 1b 2b 3a 4b 5a 6a 7a 8a 9c 10c 11a 12d 13a 14b 15a 16a 17a 18b 19c 20a 21a 22b 23a 24a 25a 26a 27a 28b 29a 30b 31b 32c 1c 2a 3c 4b 5b 6a 7b 8a 9c 10d 11d 12b 13a 14a 15a 16c 17a 18a 19b 20a 21b 22a 23b 24a 25a 26a 27a 28b 29a 30c 31c 32b 1c 2c 3a 4a 5c 6b 7b 8c 9b 10b 11b 12a 13b 14b 15c 16b 17a 18a 19a 20b 21a 22a 23b 24a 25a 26a 27b 28a 29b 30c 31c 32b 1b 2b 3b 4c 5b 6b 7c 8a 9a 10b 11c 12c 13c 14b 15b 16a 17b 18a 19b 20b 21d 22a 23b 24a 25a 26a 27b 28b 29c 30b 31a 32b 1a 2c 3c 4b 5b 6b 7a 8b 9b 10a 11a 12a 13c 14b 15b 16c 17b 18c 19a 20c 21d 22b 23b 24b 25b 26a 27b 28a 29a 30a 31b 32c 1c 2c 3c 4a 5a 6b 7c 8b 9b 10d 11b 12d 13a 14c 15c 16b 17c 18c 19c 20a 21c 22a 23b 24b 25a 26b 27a 28b 29c 30b 31c 32b 1b 2b 3a 4c 5a 6a 7a 8a 9b 10d 11a 12b 13a 14a 15b 16b 17c 18b 19a 20c 21b 22a 23a 24b 25b 26b 27a 28a 29b 30c 31a 32c 1b 2a 3b 4c 5a 6b 7b 8b 9c 10d 11d 12c 13b 14b 15c 16c 17b 18c 19b 20b 21c 22b 23a 24a 25b 26a 27a 28a 29a 30c 31b 32c 1c 2a 3c 4c 5c 6b 7c 8c 9a 10c 11a 12b 13c 14a 15a 16a 17a 18c 19c 20b 21a 22b 23a 24b 25b 26b 27b 28b 29b 30a 31a 32a 1b 2c 3b 4b 5a 6a 7b 8c 9a 10a 11c 12a 13b 14c 15c 16a 17a 18c 19c 20c 21b 22a 23a 24a 25a 26a 27a 28a 29c 30a 31b 32a 1b 2c 3a 4a 5c 6a 7b 8a 9c 10a 11b 12d 13c 14c 15a 16c 17b 18b 19a 20a 21d 22a 23b 24a 25a 26a 27b 28a 29c 30a 31a 32a 1c 2c 3a 4b 5b 6a 7b 8b 9b 10b 11d 12c 13a 14a 15b 16b 17c 18b 19c 20c 21c 22b 23b 24b 25a 26b 27a 28a 29b 30b 31c 32a 1c 2b 3a 4b 5c 6a 7c 8b 9b 10c 11c 12b 13a 14a 15c 16b 17b 18a 19b 20a 21a 22a 23a 24a 25b 26a 27a 28a 29c 30a 31a 32c 1a 2a 3b 4a 5a 6b 7c 8c 9c 10c 11b 12c 13a 14c 15b 16a 17a 18a 19a 20c 21d 22a 23b 24b 25b 26a 27a 28b 29a 30a 31c 32c 1a 2c 3b 4a 5a 6a 7a 8a 9a 10c 11d 12a 13b 14a 15b 16b 17b 18c 19b 20b 21b 22b 23a 24a 25a 26b 27b 28b 29a 30b 31c 32b 1c 2a 3c 4c 5c 6a 7a 8a 9b 10d 11a 12d 13b 14c 15c 16c 17b 18a 19a 20c 21b 22b 23b 24a 25a 26b 27b 28b 29c 30c 31a 32b 1a 2c 3b 4b 5b 6b 7b 8c 9b 10a 11c 12c 13a 14c 15a 16c 17c 18b 19a 20a 21a 22a 23a 24b 25b 26b 27a 28b 29a 30c 31a 32b 1c 2b 3c 4a 5b 6a 7c 8b 9c 10d 11a 12a 13c 14b 15b 16a 17c 18b 19a 20b 21a 22a 23a 24b 25b 26b 27b 28b 29c 30c 31c 32c 1b 2b 3b 4c 5a 6a 7c 8c 9c 10b 11d 12d 13c 14a 15a 16c 17a 18a 19c 20a 21b 22b 23a 24a 25b 26b 27a 28a 29b 30b 31b 32b 1b 2a 3b 4a 5c 6b 7b 8c 9b 10c 11b 12b 13b 14b 15b 16b 17c 18c 19b 20a 21d 22a 23b 24b 25a 26a 27b 28b 29c 30b 31b 32a 1c 2c 3b 4b 5c 6b 7a 8a 9a 10a 11b 12d 13a 14b 15c 16a 17c 18b 19b 20c 21c 22b 23a 24a 25b 26a 27b 28a 29b 30b 31a 32c 1a 2b 3c 4c 5c 6a 7a 8b 9a 10d 11c 12c 13c 14c 15b 16a 17b 18b 19c 20a 21a 22b 23b 24a 25a 26b 27a 28b 29b 30a 31b 32b 1b 2a 3a 4b 5c 6a 7a 8b 9b 10b 11c 12b 13a 14c 15a 16c 17a 18b 19c 20b 21d 22b 23a 24a 25a 26b 27b 28a 29a 30b 31c 32c 1b 2a 3c 4c 5b 6a 7b 8b 9a 10c 11b 12a 13b 14a 15a 16b 17c 18b 19c 20c 21a 22a 23a 24b 25a 26a 27a 28b 29c 30a 31b 32c 1c 2b 3a 4a 5a 6b 7b 8a 9a 10b 11c 12d 13b 14c 15a 16b 17c 18c 19a 20b 21c 22a 23b 24a 25b 26a 27b 28a 29a 30b 31b 32a 1a 2b 3c 4b 5b 6b 7b 8c 9a 10a 11d 12b 13c 14b 15b 16b 17a 18a 19c 20b 21b 22a 23b 24a 25b 26b 27b 28a 29a 30b 31b 32c 1a 2c 3a 4a 5a 6a 7a 8b 9a 10b 11a 12c 13c 14b 15c 16c 17a 18a 19b 20a 21d 22b 23a 24b 25b 26b 27a 28b 29b 30c 31a 32a 1b 2a 3a 4c 5a 6a 7c 8c 9c 10d 11b 12d 13c 14b 15b 16c 17c 18c 19b 20c 21c 22a 23b 24b 25a 26a 27a 28b 29b 30a 31c 32a 1c 2c 3a 4c 5b 6b 7a 8c 9a 10d 11d 12a 13a 14c 15a 16a 17b 18a 19c 20a 21d 22b 23b 24b 25a 26a 27a 28b 29c 30a 31c 32b 1b 2b 3a 4a 5c 6a 7a 8a 9b 10a 11b 12c 13b 14a 15c 16c 17b 18a 19c 20c 21c 22a 23a 24a 25a 26b 27b 28a 29b 30a 31c 32b 1c 2b 3a 4a 5c 6b 7c 8c 9a 10c 11a 12a 13c 14b 15c 16c 17b 18b 19c 20a 21b 22a 23b 24b 25a 26a 27a 28a 29a 30c 31b 32a 1a 2a 3c 4b 5b 6a 7c 8a 9b 10d 11b 12c 13b 14a 15a 16a 17b 18c 19b 20a 21a 22a 23a 24b 25b 26a 27a 28b 29c 30b 31a 32c 1c 2c 3c 4c 5b 6b 7c 8a 9c 10c 11c 12d 13c 14c 15b 16b 17c 18a 19a 20c 21b 22b 23a 24b 25a 26a 27a 28b 29a 30a 31a 32a 1a 2b 3c 4a 5b 6a 7b 8b 9c 10a 11d 12a 13b 14b 15c 16c 17c 18b 19b 20b 21d 22b 23b 24a 25b 26b 27a 28b 29c 30a 31a 32b 1c 2b 3b 4c 5a 6b 7a 8b 9a 10b 11a 12b 13b 14b 15c 16a 17a 18c 19a 20c 21c 22a 23a 24a 25a 26a 27b 28a 29c 30c 31a 32c 1c 2a 3b 4c 5a 6a 7b 8c 9a 10d 11c 12d 13a 14b 15c 16b 17b 18a 19b 20b 21a 22a 23a 24b 25b 26b 27b 28a 29b 30b 31b 32b 1b 2b 3a 4b 5b 6b 7a 8a 9c 10a 11a 12c 13a 14a 15b 16b 17a 18b 19b 20b 21d 22a 23b 24b 25b 26b 27b 28a 29a 30c 31b 32a 1c 2c 3c 4c 5c 6a 7c 8c 9c 10a 11d 12c 13c 14c 15c 16a 17a 18b 19a 20a 21c 22a 23a 24a 25a 26b 27a 28b 29a 30c 31b 32c 1b 2c 3b 4b 5b 6a 7c 8b 9b 10b 11d 12a 13c 14a 15a 16a 17a 18c 19b 20b 21a 22b 23a 24a 25b 26a 27b 28b 29a 30a 31b 32a 1a 2c 3b 4a 5c 6a 7a 8a 9b 10c 11c 12b 13b 14a 15a 16b 17a 18c 19a 20c 21d 22a 23a 24b 25b 26a 27a 28a 29b 30c 31a 32b 1a 2a 3b 4b 5a 6b 7a 8b 9c 10d 11b 12a 13a 14a 15b 16c 17a 18a 19a 20b 21b 22a 23a 24b 25a 26b 27a 28b 29b 30c 31b 32a 1c 2c 3c 4a 5b 6a 7b 8a 9c 10a 11a 12b 13b 14c 15b 16c 17c 18c 19c 20a 21b 22b 23b 24a 25a 26b 27b 28a 29b 30b 31a 32c 1b 2b 3b 4b 5c 6b 7b 8c 9b 10b 11d 12d 13c 14b 15b 16b 17b 18b 19a 20c 21d 22b 23a 24a 25b 26a 27b 28a 29c 30b 31c 32c 1a 2a 3a 4b 5a 6b 7a 8b 9c 10c 11c 12a 13a 14b 15a 16a 17c 18b 19b 20b 21a 22b 23b 24a 25b 26b 27a 28b 29b 30a 31c 32a 1b 2b 3a 4c 5a 6a 7b 8a 9a 10b 11b 12b 13a 14c 15c 16a 17a 18a 19b 20a 21c 22b 23a 24b 25b 26a 27a 28a 29a 30a 31c 32b 1a 2b 3c 4c 5b 6b 7b 8a 9b 10c 11d 12d 13a 14c 15b 16c 17b 18c 19a 20b 21c 22b 23a 24a 25a 26b 27b 28a 29c 30c 31b 32b 1c 2b 3c 4c 5c 6a 7a 8b 9a 10a 11c 12b 13c 14a 15b 16a 17b 18c 19a 20a 21b 22a 23a 24b 25b 26b 27a 28a 29c 30a 31c 32a 1c 2a 3b 4c 5a 6b 7c 8c 9c 10b 11b 12b 13b 14b 15b 16b 17c 18b 19c 20c 21a 22a 23b 24b 25b 26b 27b 28b 29a 30c 31a 32a 1b 2c 3c 4c 5c 6a 7c 8c 9c 10d 11a 12c 13b 14c 15a 16c 17c 18c 19b 20c 21d 22a 23b 24a 25b 26a 27a 28a 29a 30b 31c 32a 1b 2c 3b 4a 5a 6a 7b 8b 9c 10c 11a 12c 13c 14a 15a 16a 17b 18c 19c 20a 21c 22a 23a 24b 25b 26a 27b 28a 29b 30b 31b 32b 1b 2c 3c 4b 5b 6b 7a 8c 9c 10a 11b 12c 13a 14b 15b 16b 17a 18a 19a 20c 21a 22a 23b 24a 25a 26b 27a 28b 29b 30a 31b 32c 1a 2c 3b 4a 5c 6b 7c 8c 9c 10d 11b 12b 13a 14b 15a 16a 17b 18a 19c 20c 21b 22b 23b 24b 25b 26a 27b 28b 29c 30b 31a 32c 1b 2a 3c 4c 5a 6b 7c 8a 9b 10c 11c 12a 13c 14b 15c 16a 17c 18b 19b 20c 21d 22a 23b 24a 25b 26b 27a 28a 29a 30c 31a 32b 1c 2a 3a 4b 5c 6a 7b 8c 9b 10c 11d 12d 13b 14c 15c 16a 17c 18c 19c 20c 21b 22a 23b 24b 25a 26b 27b 28a 29b 30b 31a 32c 1b 2c 3a 4a 5c 6b 7b 8a 9a 10b 11d 12b 13a 14a 15c 16b 17c 18a 19a 20a 21a 22b 23b 24a 25b 26b 27a 28a 29b 30c 31a 32c 1c 2a 3a 4b 5a 6a 7c 8a 9b 10c 11a 12b 13c 14c 15a 16a 17b 18a 19a 20c 21d 22b 23b 24a 25b 26a 27a 28b 29c 30b 31b 32c 1a 2b 3c 4c 5c 6a 7b 8b 9a 10d 11c 12c 13b 14a 15a 16c 17a 18a 19a 20a 21c 22a 23a 24b 25b 26b 27a 28a 29c 30b 31c 32c 1c 2c 3b 4a 5a 6b 7c 8b 9a 10a 11a 12d 13c 14c 15c 16c 17b 18b 19c 20c 21a 22b 23a 24a 25b 26a 27b 28a 29a 30a 31c 32b 1b 2b 3b 4c 5b 6a 7a 8c 9a 10b 11a 12a 13a 14b 15b 16a 17c 18b 19c 20b 21b 22a 23b 24b 25b 26b 27a 28b 29b 30b 31b 32b 1c 2c 3b 4b 5b 6a 7a 8a 9c 10c 11b 12d 13c 14a 15a 16b 17b 18a 19b 20a 21c 22b 23b 24a 25a 26a 27a 28a 29b 30c 31b 32a 1a 2c 3c 4b 5b 6b 7c 8c 9b 10a 11c 12d 13b 14a 15c 16b 17a 18b 19c 20a 21d 22b 23b 24b 25b 26b 27b 28b 29b 30a 31b 32a 1a 2c 3a 4b 5c 6a 7b 8b 9b 10d 11c 12d 13a 14c 15a 16a 17c 18b 19a 20b 21b 22a 23b 24a 25a 26a 27b 28a 29b 30a 31a 32c 1a 2c 3a 4c 5b 6b 7c 8a 9b 10b 11d 12c 13b 14b 15c 16c 17c 18c 19a 20b 21a 22a 23b 24a 25b 26a 27b 28a 29c 30b 31c 32b 1b 2c 3a 4a 5c 6b 7b 8c 9a 10a 11b 12a 13c 14c 15b 16a 17b 18c 19b 20a 21a 22a 23b 24b 25a 26a 27a 28a 29b 30b 31a 32b 1c 2c 3b 4a 5b 6b 7a 8c 9b 10c 11d 12b 13b 14b 15a 16c 17c 18a 19b 20b 21c 22b 23a 24a 25b 26b 27b 28b 29b 30a 31c 32a 1a 2a 3b 4a 5b 6b 7c 8c 9c 10b 11c 12c 13a 14a 15c 16b 17b 18c 19a 20a 21a 22a 23a 24b 25a 26a 27a 28b 29a 30a 31b 32c 1b 2a 3c 4c 5b 6a 7c 8a 9b 10c 11b 12b 13b 14b 15a 16c 17b 18a 19c 20b 21b 22a 23b 24a 25a 26b 27a 28a 29b 30c 31b 32b 1a 2a 3c 4b 5b 6a 7a 8b 9b 10d 11d 12b 13b 14c 15b 16c 17a 18c 19b 20c 21c 22b 23a 24b 25b 26b 27a 28a 29a 30b 31a 32a 1a 2b 3a 4b 5c 6b 7b 8a 9b 10a 11a 12d 13c 14c 15b 16a 17c 18a 19a 20b 21c 22b 23b 24a 25b 26b 27b 28a 29c 30b 31c 32c 1a 2c 3b 4c 5a 6b 7a 8b 9b 10a 11d 12c 13a 14a 15b 16b 17a 18c 19a 20c 21d 22b 23b 24b 25b 26a 27a 28a 29c 30c 31a 32b 1c 2b 3c 4c 5c 6b 7c 8a 9c 10a 11a 12a 13b 14c 15a 16a 17a 18a 19b 20c 21b 22b 23b 24b 25a 26a 27b 28b 29b 30c 31c 32c 1c 2c 3b 4a 5c 6b 7b 8b 9b 10b 11a 12d 13a 14c 15b 16a 17a 18b 19c 20a 21a 22b 23a 24a 25a 26a 27a 28a 29b 30c 31a 32a 1b 2a 3b 4a 5a 6a 7c 8b 9a 10d 11a 12c 13a 14a 15a 16c 17b 18c 19c 20a 21d 22b 23b 24b 25b 26b 27b 28a 29b 30a 31b 32b 1c 2b 3a 4c 5a 6b 7b 8c 9c 10a 11c 12b 13c 14b 15a 16c 17b 18b 19c 20a 21c 22a 23a 24a 25a 26b 27b 28a 29a 30c 31a 32c 1c 2b 3c 4a 5a 6a 7a 8c 9c 10a 11c 12c 13a 14a 15b 16b 17b 18b 19a 20a 21b 22a 23a 24b 25b 26b 27a 28b 29c 30b 31b 32a 1c 2b 3a 4c 5b 6b 7c 8c 9a 10b 11d 12a 13a 14a 15b 16c 17b 18a 19a 20c 21c 22b 23b 24a 25b 26b 27b 28b 29a 30a 31c 32a 1c 2a 3b 4c 5b 6a 7b 8b 9c 10b 11b 12a 13b 14a 15a 16c 17c 18c 19b 20b 21d 22b 23a 24a 25a 26b 27a 28a 29b 30a 31b 32b 1b 2b 3a 4c 5b 6a 7b 8b 9c 10d 11a 12a 13c 14a 15b 16a 17b 18c 19a 20b 21c 22b 23a 24b 25a 26a 27b 28b 29c 30b 31a 32b 1a 2a 3a 4a 5a 6a 7a 8b 9a 10b 11d 12d 13c 14a 15c 16b 17c 18a 19b 20c 21b 22a 23b 24a 25b 26b 27a 28a 29c 30c 31c 32b 1b 2b 3b 4c 5b 6b 7c 8a 9c 10c 11d 12c 13c 14a 15b 16a 17b 18a 19a 20b 21a 22b 23a 24a 25b 26a 27b 28a 29b 30a 31b 32b 1c 2c 3a 4b 5a 6b 7c 8a 9c 10d 11d 12d 13a 14b 15a 16a 17a 18a 19a 20a 21a 22b 23a 24a 25b 26b 27b 28b 29c 30a 31b 32c 1a 2c 3b 4c 5a 6a 7a 8b 9c 10a 11b 12b 13a 14c 15a 16b 17b 18b 19a 20c 21d 22b 23a 24b 25a 26a 27a 28b 29c 30c 31c 32a 1a 2a 3a 4c 5b 6a 7b 8b 9a 10d 11b 12d 13b 14a 15a 16c 17a 18c 19a 20a 21d 22a 23a 24b 25a 26b 27b 28a 29a 30a 31b 32c 1a 2a 3a 4c 5a 6a 7b 8a 9c 10d 11a 12c 13c 14c 15b 16c 17c 18c 19c 20a 21a 22b 23a 24a 25a 26a 27a 28b 29a 30b 31b 32a 1a 2a 3b 4b 5b 6b 7c 8a 9c 10d 11c 12b 13c 14c 15c 16c 17b 18c 19a 20c 21d 22a 23a 24b 25a 26b 27a 28b 29c 30c 31b 32b 1a 2c 3b 4a 5b 6b 7a 8a 9b 10c 11a 12a 13c 14b 15a 16b 17c 18a 19c 20b 21d 22b 23b 24a 25a 26b 27b 28b 29c 30c 31c 32b 1c 2a 3a 4a 5c 6b 7a 8a 9a 10b 11a 12c 13b 14c 15c 16a 17a 18b 19a 20c 21b 22b 23b 24b 25b 26b 27a 28b 29a 30a 31c 32b 1b 2c 3a 4a 5b 6b 7c 8a 9a 10c 11d 12c 13b 14b 15b 16c 17a 18b 19c 20b 21c 22a 23b 24b 25b 26b 27a 28b 29c 30a 31a 32a # test4: (don't use a -n) (between n and 10 dimensions) (a dimension of size 2) (all dimensions equal size) (no restrictions) (no deduced restrictions) (no duplicate restrictions) (several -s) (put -s in the middle) ./jenny 2 2 -s321411 2 2 2 -s99999999 2 2 2 1a 2b 3a 4b 5a 6a 7b 8b 1b 2a 3b 4a 5b 6b 7a 8a 1a 2a 3b 4b 5a 6b 7b 8a 1b 2b 3a 4a 5b 6a 7a 8b 1a 2b 3b 4a 5a 6b 7a 8b 1b 2a 3a 4b 5b 6a 7b 8a 1a 2b 3b 4a 5b 6a 7b 8a 1b 2a 3a 4b 5a 6b 7a 8b # test5: (use -n1) (put -n last) (between n and 10 dimensions) (a dimensions with 10 or more features) (very different size dimensions) (several restrictions) (some deduced restrictions) (no duplicate restrictions) (a restriction has more than -n features) (no -s) ./jenny -w3abcegHEJ4qhgiemnadc 2 5 49 -w3GAMNEsofheng4aoemogar6nbihadcb \ 18 3 17 6 33 7 2 -w8bnqpeitnslgh3engjofha -w8acef4bceg -w4acf6abc3aNF \ -w3yehjgklens4mekkk8qanela -w6aemg8aaebn -w1a3abcdefh -w1b4gdre -w1a6hfd \ -w8ecghnmea1b -w1a5abc -n1 Could not cover tuple 1a Could not cover tuple 4d Could not cover tuple 4e Could not cover tuple 4g Could not cover tuple 4r Could not cover tuple 8a Could not cover tuple 8c Could not cover tuple 8e Could not cover tuple 8g Could not cover tuple 8h Could not cover tuple 8m Could not cover tuple 8n 1b 2a 3D 4k 5c 6n 7e 8z 9d 10b 1b 2b 3i 4q 5a 6p 7b 8s 9g 10a 1b 2c 3c 4b 5b 6i 7c 8E 9f 10b 1b 2d 3p 4f 5a 6b 7f 8F 9b 10a 1b 2e 3W 4i 5a 6m 7a 8G 9c 10b 1b 2d 3a 4o 5b 6f 7d 8r 9a 10a 1b 2d 3b 4l 5a 6h 7a 8v 9e 10b 1b 2c 3d 4n 5c 6l 7d 8o 9b 10b 1b 2d 3e 4j 5b 6o 7b 8f 9f 10b 1b 2d 3f 4h 5a 6c 7f 8D 9b 10a 1b 2d 3g 4p 5c 6q 7f 8j 9a 10a 1b 2d 3h 4c 5b 6a 7e 8B 9c 10a 1b 2b 3j 4a 5c 6d 7f 8A 9d 10b 1b 2e 3k 4m 5c 6g 7d 8w 9g 10b 1b 2d 3l 4i 5a 6e 7d 8d 9b 10a 1b 2c 3m 4m 5c 6j 7f 8C 9a 10b 1b 2b 3n 4c 5b 6k 7c 8x 9f 10a 1b 2c 3o 4l 5a 6e 7a 8u 9f 10b 1b 2e 3q 4q 5c 6o 7c 8q 9d 10a 1b 2a 3r 4l 5a 6b 7b 8y 9e 10b 1b 2c 3s 4c 5b 6d 7c 8i 9g 10a 1b 2a 3t 4n 5a 6f 7e 8t 9c 10a 1b 2d 3u 4n 5b 6a 7f 8k 9d 10b 1b 2b 3v 4a 5c 6h 7c 8b 9e 10b 1b 2a 3w 4l 5b 6f 7a 8p 9b 10a 1b 2d 3x 4c 5b 6q 7c 8l 9g 10a 1b 2a 3y 4m 5a 6l 7c 8w 9a 10b 1b 2b 3z 4n 5c 6m 7e 8D 9f 10b 1b 2a 3A 4a 5b 6p 7d 8D 9c 10b 1b 2b 3B 4j 5c 6k 7f 8v 9d 10a 1b 2b 3C 4a 5b 6g 7d 8o 9b 10b 1b 2b 3E 4f 5b 6i 7d 8x 9a 10b 1b 2e 3F 4n 5c 6p 7f 8u 9c 10a 1b 2a 3G 4l 5a 6a 7e 8w 9e 10b 1b 2c 3H 4l 5c 6k 7f 8F 9f 10a 1b 2d 3I 4i 5a 6i 7a 8G 9d 10a 1b 2e 3J 4b 5a 6i 7b 8i 9a 10b 1b 2e 3K 4b 5a 6d 7e 8u 9c 10a 1b 2b 3L 4k 5b 6m 7b 8q 9f 10a 1b 2d 3M 4b 5b 6i 7b 8i 9g 10b 1b 2d 3N 4l 5a 6l 7d 8k 9f 10a 1b 2d 3O 4b 5a 6g 7d 8G 9a 10a 1b 2e 3P 4p 5b 6c 7c 8l 9c 10a 1b 2c 3Q 4h 5b 6d 7e 8r 9a 10a 1b 2b 3R 4f 5a 6h 7a 8A 9b 10b 1b 2d 3S 4o 5c 6m 7e 8x 9d 10a 1b 2b 3T 4b 5a 6o 7a 8o 9g 10a 1b 2a 3U 4p 5b 6o 7e 8q 9e 10b 1b 2e 3V 4q 5b 6k 7e 8F 9c 10a # Further tests to cover every pair of features # test6: (use -n1) (put -n before the dimensions) (more than 10 dimensions) (a dimensions with 3 to 9 features) (all dimensions equal size) (one restriction) (no deduced restrictions) (some restrictions partially duplicated) (a restriction has more than -n features) (a restriction comes before the dimensions it constrains) (one -s) (put -s in the middle) ./jenny -n1 -w1a23b4aba 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 \ 8 8 8 -s7 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 \ 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 8 1a 2d 3h 4e 5c 6d 7g 8f 9d 10c 11f 12g 13h 14c 15d 16g 17d 18a 19g 20b 21e 22h 23c 24c 25h 26a 27g 28a 29a 30d 31c 32a 33g 34a 35g 36f 37c 38h 39a 40c 41a 42g 43d 44h 45g 46h 47b 48f 49d 50f 51d 52a 53e 54a 55b 56h 57c 58e 59d 60h 61a 62c 63g 64e 65b 66e 67d 68c 69f 70e 71b 72e 73a 74f 75g 76e 77a 78b 79a 80d 81b 1b 2b 3d 4c 5d 6e 7d 8a 9e 10e 11e 12f 13f 14d 15f 16h 17a 18h 19c 20d 21d 22c 23f 24e 25d 26d 27h 28g 29b 30g 31h 32h 33c 34f 35a 36d 37d 38f 39f 40b 41f 42a 43f 44c 45c 46e 47f 48d 49e 50e 51c 52b 53d 54f 55a 56d 57h 58f 59a 60e 61g 62f 63c 64a 65d 66b 67h 68f 69g 70a 71g 72h 73c 74c 75d 76c 77f 78g 79g 80b 81d 1c 2c 3b 4h 5b 6f 7a 8b 9f 10d 11h 12a 13c 14f 15h 16e 17g 18g 19b 20c 21a 22b 23g 24g 25c 26c 27c 28c 29d 30a 31e 32c 33f 34b 35e 36g 37h 38g 39c 40e 41b 42e 43a 44g 45a 46c 47h 48e 49h 50h 51b 52e 53c 54b 55g 56b 57b 58c 59b 60a 61e 62g 63d 64b 65a 66f 67e 68e 69d 70f 71f 72g 73b 74e 75c 76b 77b 78a 79c 80f 81g 1d 2a 3a 4d 5h 6a 7e 8g 9c 10h 11c 12e 13d 14b 15g 16d 17b 18b 19d 20f 21h 22g 23b 24d 25f 26g 27d 28b 29c 30e 31f 32g 33d 34g 35b 36c 37b 38c 39b 40h 41h 42h 43b 44b 45d 46f 47c 48h 49a 50c 51f 52f 53b 54h 55h 56g 57f 58b 59e 60g 61b 62b 63h 64d 65h 66h 67c 68b 69b 70c 71a 72f 73d 74a 75h 76g 77e 78h 79h 80a 81f 1e 2g 3g 4b 5e 6g 7f 8d 9a 10a 11d 12c 13g 14h 15b 16b 17h 18f 19a 20h 21b 22a 23d 24h 25e 26b 27f 28h 29g 30f 31d 32e 33a 34d 35d 36b 37f 38e 39g 40g 41g 42b 43h 44f 45b 46d 47d 48g 49b 50a 51h 52c 53h 54d 55d 56f 57e 58h 59g 60c 61d 62d 63e 64c 65f 66a 67f 68h 69a 70b 71d 72a 73f 74d 75b 76f 77d 78e 79d 80g 81c 1f 2f 3f 4a 5f 6c 7h 8e 9g 10g 11b 12b 13a 14e 15c 16f 17f 18e 19f 20a 21c 22f 23h 24b 25g 26e 27b 28d 29f 30b 31g 32b 33b 34c 35f 36e 37e 38d 39e 40d 41c 42c 43g 44e 45h 46a 47g 48b 49g 50g 51g 52d 53a 54e 55c 56e 57d 58g 59c 60f 61h 62h 63b 64f 65g 66c 67a 68d 69c 70g 71h 72c 73h 74g 75f 76a 77c 78c 79b 80e 81h 1g 2e 3c 4g 5g 6b 7b 8h 9b 10b 11a 12d 13e 14g 15e 16a 17e 18c 19e 20g 21g 22e 23a 24a 25b 26f 27a 28e 29h 30h 31a 32f 33e 34e 35h 36a 37g 38a 39d 40a 41d 42d 43e 44d 45f 46g 47a 48c 49f 50b 51e 52g 53f 54c 55e 56a 57a 58d 59h 60b 61f 62e 63a 64h 65c 66g 67g 68a 69h 70d 71e 72d 73e 74b 75e 76h 77g 78f 79f 80h 81a 1h 2h 3e 4f 5a 6h 7c 8c 9h 10f 11g 12h 13b 14a 15a 16c 17c 18d 19h 20e 21f 22d 23e 24f 25a 26h 27e 28f 29e 30c 31b 32d 33h 34h 35c 36h 37a 38b 39h 40f 41e 42f 43c 44a 45e 46b 47e 48a 49c 50d 51a 52h 53g 54g 55f 56c 57g 58a 59f 60d 61c 62a 63f 64g 65e 66d 67b 68g 69e 70h 71c 72b 73g 74h 75a 76d 77h 78d 79e 80c 81e # test7: (don't use a -n) (n dimensions) (a dimensions with 3 to 9 features) (different size dimensions) (one restriction) (no deduced restrictions) (some restrictions partially duplicated) (a restriction has less than -n features) (a restriction comes after the dimensions it constrains) (several -s) (put -s first) ./jenny -s1 -s0 3 8 -w2abcdeff 1a 2g 1b 2h 1c 2h 1b 2g 1a 2h 1c 2g # test8: (use -n2) (put -n in the middle of the dimensions) (more than 10 dimensions) (a dimension of size 2) (different size dimensions) (several restrictions) (some restrictions partially duplicated) (a restriction comes after the dimensions it constrains) (no -s) ./jenny 3 3 3 3 3 3 3 3 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 \ 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 \ 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 2 2 2 2 2 2 2 2 2 2 2 2 2 2 \ 2 2 2 2 3 3 3 2 2 2 2 2 2 2 2 2 2 -n2 2 2 2 2 2 2 2 2 2 2 2 3 2 2 2 2 2 2 \ 2 3 3 3 2 2 2 2 2 2 2 3 3 3 3 3 3 3 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 2 2 2 \ 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 2 2 2 2 2 2 2 2 2 2 2 -w1a2ab3c -w1b3a5c \ -w1c3a4b -w6a3b5c -w1bc5a6c -w2b3c4a -w6a2a5b -w3c4a7b -w1a2b3bc 2 2 2 2 3 \ 3 3 3 3 3 3 3 2 2 2 2 2 2 3 2 3 3 2 3 2 3 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 2 \ 2 2 3 2 2 2 2 2 3 3 3 3 3 3 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 3 3 2 2 2 2 2 2 \ 2 2 2 2 -w257ab258bc 1a 2b 3a 4a 5c 6c 7b 8b 9b 10a 11c 12b 13b 14a 15b 16a 17a 18b 19b 20b 21b 22a 23a 24b 25a 26b 27a 28b 29a 30a 31a 32a 33c 34a 35a 36b 37a 38b 39a 40b 41b 42a 43a 44b 45b 46b 47b 48b 49b 50a 51a 52b 53a 54b 55b 56a 57a 58b 59b 60b 61a 62b 63b 64a 65b 66a 67a 68b 69a 70b 71b 72b 73a 74b 75b 76b 77a 78b 79b 80a 81b 82a 83a 84b 85a 86a 87a 88c 89c 90b 91a 92b 93a 94a 95b 96a 97a 98b 99a 100a 101a 102b 103a 104b 105b 106a 107b 108b 109a 110b 111a 112c 113b 114a 115b 116a 117a 118a 119a 120b 121a 122a 123a 124b 125b 126a 127b 128b 129a 130b 131b 132a 133b 134c 135b 136b 137a 138a 139a 140b 141b 142b 143a 144c 145a 146a 147a 148b 149b 150a 151a 152c 153b 154c 155c 156a 157a 158b 159a 160a 161a 162a 163b 164a 165a 166a 167a 168b 169a 170a 171c 172b 173c 174a 175a 176b 177b 178a 179a 180a 181b 182a 183b 184a 185b 186b 187a 188a 189a 190a 191a 192a 193a 194b 195a 196b 197b 198a 199a 200a 201b 202a 203b 204b 205a 206b 207b 208b 209b 210a 211a 212a 213c 214a 215c 216b 217c 218c 219b 220b 221a 222b 223b 224b 225c 226a 227c 228c 229b 230b 231a 232b 233a 234b 235b 236a 237b 238b 239a 240b 241a 242a 243c 244b 245c 246c 247b 248b 249a 250a 251b 252b 253b 254b 255a 256b 257b 258a 259b 260a 261a 262a 263b 264a 265b 266b 267a 268a 269b 270a 271a 272a 273b 274a 275a 276a 277a 278b 279c 280a 281b 282b 283a 284b 285b 286a 287a 288a 289a 1b 2c 3c 4c 5a 6b 7c 8c 9a 10b 11a 12a 13a 14b 15a 16b 17b 18a 19a 20a 21a 22b 23b 24a 25b 26a 27b 28a 29b 30b 31b 32b 33a 34b 35b 36a 37b 38a 39b 40a 41a 42b 43b 44a 45a 46a 47a 48a 49a 50b 51b 52a 53b 54a 55a 56b 57b 58a 59a 60a 61b 62a 63a 64b 65a 66b 67b 68a 69b 70a 71a 72a 73b 74a 75a 76a 77b 78a 79a 80b 81a 82b 83b 84a 85b 86b 87b 88a 89b 90c 91c 92a 93b 94b 95a 96b 97b 98a 99b 100b 101b 102a 103b 104a 105a 106b 107a 108a 109b 110a 111b 112a 113a 114b 115a 116b 117b 118b 119b 120a 121b 122b 123b 124a 125a 126b 127a 128a 129b 130a 131a 132b 133a 134b 135a 136a 137b 138b 139b 140a 141a 142c 143c 144a 145b 146b 147b 148a 149a 150b 151b 152b 153a 154b 155b 156b 157c 158c 159b 160b 161b 162b 163a 164b 165b 166b 167b 168a 169b 170c 171a 172c 173b 174c 175b 176a 177a 178b 179b 180b 181a 182b 183a 184b 185a 186a 187b 188b 189b 190b 191b 192c 193b 194a 195c 196a 197a 198b 199b 200b 201a 202b 203a 204a 205b 206a 207a 208a 209a 210b 211c 212b 213a 214b 215b 216a 217a 218a 219a 220a 221b 222a 223a 224a 225a 226b 227a 228b 229a 230a 231b 232c 233b 234a 235a 236b 237a 238a 239b 240a 241b 242b 243a 244c 245a 246a 247c 248a 249b 250b 251a 252a 253a 254a 255b 256a 257c 258b 259c 260c 261c 262b 263a 264b 265a 266a 267b 268b 269a 270b 271b 272b 273c 274b 275c 276b 277c 278a 279a 280b 281a 282a 283b 284a 285a 286b 287b 288b 289b 1c 2b 3b 4b 5b 6a 7a 8a 9b 10b 11b 12b 13a 14b 15b 16a 17b 18b 19a 20b 21b 22a 23b 24b 25b 26a 27a 28a 29a 30b 31b 32b 33b 34b 35a 36b 37a 38a 39a 40a 41a 42b 43b 44b 45b 46a 47a 48c 49b 50b 51a 52a 53a 54a 55b 56a 57a 58a 59a 60a 61b 62b 63b 64a 65b 66b 67a 68a 69a 70a 71b 72b 73b 74b 75b 76a 77a 78b 79b 80a 81a 82a 83a 84a 85a 86a 87b 88b 89a 90a 91b 92a 93a 94a 95b 96b 97a 98b 99a 100b 101a 102b 103b 104b 105a 106b 107b 108b 109a 110c 111c 112b 113a 114b 115a 116b 117b 118b 119a 120b 121a 122a 123b 124a 125b 126a 127b 128a 129a 130b 131a 132a 133b 134a 135a 136b 137b 138a 139a 140a 141b 142a 143b 144b 145b 146b 147a 148b 149a 150b 151b 152a 153c 154a 155a 156c 157b 158a 159b 160a 161a 162a 163a 164b 165b 166a 167b 168a 169a 170b 171b 172a 173a 174b 175b 176a 177a 178a 179b 180b 181b 182b 183a 184a 185a 186b 187a 188b 189b 190a 191c 192b 193c 194c 195b 196b 197a 198b 199b 200a 201b 202b 203a 204b 205a 206a 207b 208a 209a 210a 211b 212c 213b 214c 215a 216c 217b 218b 219a 220a 221b 222b 223a 224b 225b 226b 227b 228a 229b 230c 231b 232a 233a 234b 235a 236a 237b 238a 239b 240b 241b 242c 243b 244a 245b 246b 247a 248a 249a 250b 251c 252a 253b 254a 255b 256b 257a 258a 259a 260b 261b 262c 263b 264a 265a 266b 267a 268b 269a 270b 271b 272c 273a 274c 275b 276c 277b 278c 279b 280b 281a 282b 283a 284a 285b 286b 287a 288b 289b 1c 2a 3b 4b 5a 6a 7a 8a 9a 10a 11b 12a 13b 14a 15a 16b 17a 18a 19b 20a 21a 22b 23a 24a 25a 26b 27b 28b 29b 30a 31a 32a 33b 34a 35b 36a 37b 38b 39b 40b 41b 42a 43a 44a 45a 46b 47b 48c 49a 50a 51b 52b 53b 54b 55a 56b 57b 58b 59b 60b 61a 62a 63a 64b 65a 66a 67b 68b 69b 70b 71a 72a 73a 74a 75a 76b 77b 78a 79a 80b 81b 82b 83b 84b 85b 86b 87a 88b 89a 90a 91b 92b 93b 94b 95a 96a 97b 98a 99b 100a 101b 102a 103a 104a 105b 106a 107a 108a 109b 110c 111c 112b 113b 114a 115b 116a 117a 118a 119b 120a 121b 122b 123a 124b 125a 126b 127a 128b 129b 130a 131b 132b 133a 134a 135b 136a 137a 138b 139b 140b 141a 142a 143b 144b 145a 146a 147b 148a 149b 150a 151a 152a 153c 154a 155a 156c 157b 158a 159a 160b 161b 162b 163b 164a 165a 166b 167a 168b 169b 170b 171b 172a 173a 174b 175a 176b 177b 178b 179a 180a 181a 182a 183b 184b 185b 186a 187b 188a 189a 190b 191c 192b 193c 194c 195b 196a 197b 198a 199a 200b 201a 202a 203b 204a 205b 206b 207a 208b 209b 210b 211b 212c 213b 214c 215a 216c 217b 218b 219b 220b 221a 222a 223b 224a 225b 226a 227b 228a 229a 230c 231a 232a 233b 234a 235b 236b 237a 238b 239a 240a 241a 242c 243b 244a 245b 246b 247a 248b 249b 250a 251c 252b 253a 254b 255a 256a 257c 258c 259a 260b 261b 262c 263a 264b 265b 266a 267b 268a 269b 270a 271a 272c 273a 274c 275b 276c 277b 278c 279b 280a 281b 282a 283b 284b 285a 286a 287b 288a 289a 1a 2a 3a 4a 5c 6c 7b 8b 9a 10a 11c 12a 13a 14b 15a 16b 17b 18b 19b 20a 21a 22b 23b 24a 25b 26a 27b 28a 29b 30b 31b 32b 33c 34b 35b 36a 37b 38a 39b 40b 41a 42b 43b 44a 45a 46a 47a 48b 49a 50b 51b 52a 53b 54a 55b 56b 57a 58a 59b 60a 61b 62a 63a 64b 65b 66a 67b 68a 69a 70a 71a 72a 73a 74b 75a 76b 77b 78b 79b 80b 81a 82b 83a 84a 85b 86b 87b 88c 89c 90b 91a 92a 93b 94b 95a 96a 97b 98a 99b 100b 101b 102a 103b 104a 105a 106b 107a 108a 109b 110b 111a 112c 113a 114b 115a 116b 117b 118b 119b 120a 121a 122b 123b 124a 125a 126b 127a 128a 129b 130b 131a 132b 133a 134c 135a 136b 137a 138b 139b 140a 141a 142b 143a 144c 145b 146b 147a 148a 149a 150b 151b 152c 153b 154c 155c 156a 157a 158b 159a 160b 161a 162b 163b 164b 165b 166b 167b 168a 169b 170a 171c 172b 173c 174a 175a 176a 177a 178b 179b 180b 181a 182b 183a 184b 185a 186a 187b 188b 189a 190a 191a 192a 193a 194b 195a 196b 197a 198b 199b 200b 201a 202b 203a 204a 205b 206a 207a 208a 209a 210b 211a 212a 213c 214a 215c 216b 217c 218c 219a 220a 221b 222b 223a 224a 225c 226a 227c 228c 229b 230b 231b 232b 233b 234a 235a 236b 237a 238b 239b 240a 241a 242a 243c 244b 245c 246c 247b 248a 249a 250b 251b 252a 253a 254a 255b 256a 257c 258c 259b 260a 261a 262a 263a 264b 265a 266a 267b 268b 269b 270b 271b 272a 273b 274a 275a 276a 277a 278b 279c 280b 281b 282a 283b 284a 285a 286b 287a 288b 289b 1b 2a 3c 4c 5b 6b 7c 8c 9b 10b 11a 12b 13b 14a 15b 16a 17b 18a 19a 20b 21b 22a 23a 24b 25a 26b 27a 28b 29a 30a 31a 32a 33a 34a 35a 36b 37a 38b 39a 40a 41b 42a 43a 44b 45b 46b 47b 48a 49b 50a 51a 52b 53a 54b 55a 56a 57b 58b 59a 60b 61a 62b 63b 64a 65a 66b 67a 68b 69b 70b 71b 72b 73b 74a 75b 76a 77a 78a 79a 80a 81b 82a 83b 84b 85a 86a 87a 88a 89b 90c 91c 92b 93a 94a 95b 96b 97a 98b 99a 100a 101a 102b 103a 104b 105b 106a 107b 108b 109a 110a 111b 112a 113b 114a 115b 116a 117a 118a 119a 120b 121b 122a 123a 124b 125b 126a 127b 128b 129a 130a 131b 132a 133b 134b 135b 136a 137b 138a 139a 140b 141b 142c 143c 144a 145a 146a 147b 148b 149b 150a 151a 152b 153a 154b 155b 156b 157c 158c 159b 160a 161b 162a 163a 164a 165a 166a 167a 168b 169a 170c 171a 172c 173b 174c 175b 176b 177b 178a 179a 180a 181b 182a 183b 184a 185b 186b 187a 188a 189b 190b 191b 192c 193b 194a 195c 196a 197b 198a 199a 200a 201b 202a 203b 204b 205a 206b 207b 208b 209b 210a 211c 212b 213a 214b 215b 216a 217a 218a 219b 220b 221a 222a 223b 224b 225a 226b 227a 228b 229a 230a 231a 232c 233a 234b 235b 236a 237b 238a 239a 240b 241b 242b 243a 244c 245a 246a 247c 248b 249b 250a 251a 252b 253b 254b 255a 256b 257a 258a 259c 260c 261c 262b 263b 264a 265b 266b 267a 268a 269a 270a 271a 272b 273c 274b 275c 276b 277c 278a 279a 280a 281a 282b 283a 284b 285b 286a 287b 288a 289a 1a 2c 3a 4a 5a 6a 7b 8c 9a 10b 11c 12b 13a 14a 15a 16b 17a 18a 19a 20b 21a 22a 23b 24a 25a 26a 27a 28b 29a 30a 31a 32b 33b 34b 35a 36b 37b 38b 39a 40a 41b 42a 43a 44b 45b 46a 47a 48b 49a 50b 51b 52b 53b 54b 55a 56a 57b 58a 59a 60b 61a 62a 63b 64a 65a 66b 67b 68b 69b 70a 71b 72a 73b 74a 75b 76a 77a 78a 79a 80b 81b 82a 83b 84b 85b 86b 87b 88c 89c 90b 91a 92a 93a 94a 95b 96b 97b 98b 99a 100b 101a 102a 103a 104b 105a 106b 107a 108a 109a 110b 111c 112c 113b 114a 115a 116b 117b 118b 119b 120b 121b 122b 123b 124a 125a 126b 127a 128a 129b 130a 131a 132b 133b 134c 135b 136a 137b 138b 139b 140b 141b 142b 143b 144b 145b 146a 147b 148a 149a 150a 151a 152c 153c 154c 155c 156a 157a 158b 159b 160b 161b 162a 163a 164b 165a 166b 167a 168b 169a 170a 171c 172a 173c 174a 175b 176a 177a 178a 179b 180b 181b 182a 183b 184a 185b 186a 187a 188b 189b 190b 191b 192b 193a 194b 195a 196a 197a 198b 199a 200b 201a 202a 203b 204a 205a 206a 207b 208b 209b 210a 211a 212a 213a 214a 215c 216a 217c 218c 219a 220b 221b 222a 223b 224a 225c 226b 227c 228c 229a 230b 231b 232a 233b 234a 235b 236a 237b 238a 239a 240b 241b 242b 243a 244b 245c 246a 247b 248a 249b 250b 251b 252b 253b 254a 255a 256b 257c 258b 259a 260a 261c 262a 263b 264b 265b 266a 267a 268b 269a 270b 271b 272a 273a 274b 275a 276a 277a 278b 279c 280a 281a 282a 283b 284b 285b 286b 287b 288b 289a 1b 2c 3c 4c 5b 6c 7c 8b 9b 10a 11a 12a 13b 14b 15b 16a 17a 18b 19b 20a 21b 22b 23a 24b 25b 26b 27b 28a 29b 30b 31b 32a 33c 34a 35b 36a 37a 38a 39b 40b 41a 42b 43b 44a 45a 46b 47b 48a 49b 50a 51a 52a 53a 54a 55b 56b 57a 58b 59b 60a 61b 62b 63a 64b 65b 66a 67a 68a 69a 70b 71a 72b 73a 74b 75a 76b 77b 78b 79b 80a 81a 82b 83a 84a 85a 86a 87a 88b 89b 90a 91c 92b 93b 94b 95a 96a 97a 98a 99b 100a 101b 102b 103b 104a 105b 106a 107b 108b 109b 110a 111a 112a 113a 114b 115b 116a 117a 118a 119a 120a 121a 122a 123a 124b 125b 126a 127b 128b 129a 130b 131b 132a 133a 134b 135a 136b 137a 138a 139a 140a 141a 142c 143c 144a 145a 146b 147a 148b 149b 150b 151b 152b 153b 154b 155a 156c 157c 158c 159a 160a 161a 162b 163b 164a 165b 166a 167b 168a 169b 170c 171a 172c 173b 174c 175a 176b 177b 178b 179a 180a 181a 182b 183a 184b 185a 186b 187b 188a 189a 190a 191c 192c 193b 194a 195c 196b 197b 198a 199b 200a 201b 202b 203a 204b 205b 206b 207a 208a 209a 210b 211c 212b 213b 214b 215b 216b 217a 218a 219b 220a 221a 222b 223a 224b 225a 226a 227a 228b 229b 230a 231a 232c 233a 234b 235a 236b 237a 238b 239b 240a 241a 242c 243c 244c 245a 246b 247a 248b 249a 250a 251c 252a 253a 254b 255b 256a 257b 258a 259b 260b 261a 262b 263a 264a 265a 266b 267b 268a 269b 270a 271a 272b 273c 274a 275c 276b 277c 278a 279a 280b 281b 282b 283a 284a 285a 286a 287a 288a 289b 1b 2b 3b 4b 5c 6b 7a 8c 9b 10a 11b 12b 13b 14a 15a 16b 17a 18a 19b 20b 21b 22a 23b 24a 25b 26a 27b 28a 29b 30a 31a 32b 33a 34a 35b 36a 37a 38a 39a 40a 41a 42b 43b 44a 45b 46a 47b 48c 49b 50a 51a 52a 53b 54a 55b 56a 57a 58b 59b 60b 61b 62a 63a 64a 65a 66a 67b 68b 69b 70a 71a 72a 73a 74a 75a 76a 77a 78b 79b 80a 81a 82b 83b 84b 85a 86b 87b 88a 89a 90c 91b 92a 93b 94a 95b 96b 97b 98a 99b 100b 101a 102a 103b 104a 105a 106a 107a 108a 109b 110b 111b 112a 113b 114b 115b 116b 117a 118a 119b 120b 121a 122a 123b 124a 125a 126b 127a 128a 129a 130a 131b 132a 133a 134a 135a 136b 137b 138a 139a 140a 141a 142a 143a 144c 145b 146b 147a 148a 149b 150b 151a 152a 153a 154c 155b 156b 157b 158a 159a 160a 161a 162a 163a 164b 165b 166a 167a 168a 169a 170b 171b 172b 173c 174c 175a 176b 177b 178b 179b 180b 181b 182b 183b 184a 185b 186a 187a 188b 189b 190a 191a 192a 193a 194a 195b 196b 197a 198a 199a 200b 201b 202b 203b 204b 205a 206a 207b 208b 209b 210b 211c 212c 213c 214a 215a 216a 217b 218a 219b 220b 221a 222a 223b 224a 225b 226a 227a 228a 229b 230c 231a 232b 233a 234a 235a 236a 237a 238b 239b 240a 241a 242a 243a 244a 245b 246c 247c 248a 249a 250a 251a 252b 253a 254b 255a 256b 257b 258a 259c 260c 261c 262a 263b 264a 265b 266b 267b 268a 269b 270a 271a 272a 273b 274b 275b 276b 277a 278a 279b 280a 281a 282a 283b 284a 285a 286b 287b 288b 289a 1c 2b 3c 4c 5c 6c 7c 8b 9a 10b 11a 12a 13a 14b 15b 16a 17a 18b 19a 20a 21a 22b 23a 24b 25a 26b 27a 28b 29b 30b 31b 32a 33a 34b 35a 36b 37b 38b 39b 40b 41b 42a 43a 44b 45a 46b 47a 48a 49a 50b 51b 52b 53a 54b 55a 56b 57b 58a 59a 60a 61a 62b 63b 64b 65b 66b 67a 68a 69a 70b 71b 72b 73b 74b 75b 76b 77b 78a 79a 80b 81a 82a 83a 84a 85b 86a 87a 88a 89b 90c 91c 92b 93a 94b 95a 96a 97a 98b 99a 100a 101b 102b 103a 104b 105b 106b 107b 108b 109a 110c 111a 112b 113a 114a 115a 116a 117b 118b 119a 120a 121b 122b 123a 124b 125b 126a 127b 128b 129b 130b 131a 132b 133b 134b 135b 136a 137a 138b 139b 140b 141b 142c 143a 144c 145a 146a 147b 148b 149a 150a 151b 152c 153b 154a 155b 156b 157a 158b 159b 160b 161b 162b 163b 164a 165a 166b 167b 168b 169b 170a 171a 172b 173a 174b 175b 176a 177a 178a 179a 180a 181a 182a 183a 184b 185a 186b 187b 188a 189a 190b 191a 192a 193c 194c 195c 196a 197b 198b 199b 200a 201a 202a 203a 204a 205b 206b 207a 208a 209a 210a 211b 212b 213c 214c 215b 216c 217c 218b 219a 220a 221b 222b 223a 224b 225c 226b 227b 228c 229a 230b 231b 232b 233b 234b 235b 236b 237b 238a 239a 240b 241b 242a 243c 244b 245a 246c 247c 248b 249b 250b 251a 252a 253b 254b 255b 256a 257c 258b 259b 260c 261b 262c 263a 264b 265a 266a 267a 268b 269a 270b 271b 272c 273b 274a 275a 276c 277b 278c 279c 280b 281b 282a 283a 284b 285b 286b 287a 288a 289b 1a 2c 3a 4a 5b 6b 7b 8a 9b 10a 11c 12a 13a 14b 15a 16a 17a 18b 19b 20b 21b 22b 23a 24a 25b 26b 27a 28a 29a 30a 31a 32b 33c 34a 35a 36a 37a 38b 39a 40b 41a 42b 43b 44a 45b 46a 47a 48b 49b 50b 51a 52b 53a 54a 55b 56a 57a 58a 59b 60a 61b 62b 63b 64b 65b 66b 67b 68b 69a 70b 71b 72b 73b 74a 75a 76b 77a 78b 79b 80b 81b 82a 83a 84a 85b 86b 87b 88c 89c 90b 91a 92b 93b 94b 95a 96a 97b 98b 99b 100b 101b 102a 103b 104b 105a 106a 107a 108b 109a 110c 111b 112b 113b 114a 115b 116a 117b 118b 119b 120a 121a 122b 123a 124b 125b 126a 127b 128a 129b 130b 131b 132a 133a 134c 135b 136a 137a 138b 139a 140a 141a 142b 143c 144a 145b 146a 147a 148a 149b 150b 151b 152b 153a 154a 155c 156a 157c 158c 159a 160b 161a 162a 163b 164a 165b 166b 167a 168b 169a 170c 171c 172c 173a 174b 175a 176a 177a 178b 179b 180b 181b 182a 183a 184b 185a 186a 187b 188b 189a 190a 191b 192c 193c 194c 195a 196a 197b 198a 199a 200b 201b 202b 203a 204a 205b 206b 207b 208b 209b 210a 211b 212a 213a 214c 215c 216c 217a 218b 219a 220a 221a 222b 223b 224b 225a 226b 227b 228a 229a 230a 231a 232c 233b 234a 235b 236a 237a 238b 239a 240b 241a 242b 243b 244c 245c 246a 247b 248b 249b 250a 251b 252a 253a 254a 255a 256a 257a 258a 259c 260a 261b 262c 263a 264b 265a 266a 267b 268b 269a 270a 271b 272c 273c 274c 275c 276c 277b 278c 279a 280b 281b 282b 283b 284b 285a 286a 287a 288b 289b 1c 2c 3b 4b 5b 6c 7a 8b 9a 10b 11b 12b 13b 14a 15b 16b 17b 18a 19a 20a 21a 22a 23b 24b 25a 26a 27b 28b 29a 30b 31b 32a 33c 34b 35b 36b 37b 38a 39b 40a 41b 42a 43a 44b 45a 46b 47b 48c 49a 50a 51b 52a 53b 54b 55a 56b 57b 58b 59a 60a 61a 62a 63a 64b 65a 66a 67a 68a 69b 70a 71a 72a 73a 74b 75b 76a 77b 78b 79a 80b 81b 82b 83b 84b 85a 86a 87a 88c 89a 90b 91b 92a 93a 94a 95b 96b 97a 98a 99a 100a 101a 102b 103a 104a 105b 106b 107b 108a 109b 110a 111a 112c 113a 114b 115a 116b 117a 118a 119b 120b 121b 122a 123b 124a 125a 126b 127a 128b 129a 130a 131a 132b 133b 134a 135a 136b 137b 138a 139b 140b 141b 142a 143c 144a 145a 146b 147b 148b 149a 150a 151a 152a 153b 154b 155c 156a 157b 158a 159b 160a 161b 162b 163a 164b 165a 166a 167b 168a 169b 170b 171b 172c 173b 174a 175b 176b 177b 178a 179a 180a 181a 182b 183b 184a 185b 186b 187a 188a 189b 190b 191b 192c 193b 194b 195b 196b 197a 198b 199b 200a 201a 202b 203b 204b 205a 206a 207a 208a 209a 210b 211a 212c 213a 214b 215a 216b 217b 218c 219b 220b 221b 222a 223a 224a 225b 226a 227c 228b 229b 230c 231b 232c 233a 234b 235a 236b 237a 238a 239b 240a 241b 242b 243c 244a 245b 246a 247b 248a 249a 250b 251b 252b 253b 254a 255b 256b 257c 258c 259b 260a 261a 262b 263b 264a 265b 266b 267a 268a 269b 270b 271a 272b 273c 274a 275b 276a 277c 278b 279b 280a 281a 282b 283a 284a 285b 286a 287b 288a 289a 1b 2b 3c 4c 5a 6a 7c 8a 9a 10b 11a 12b 13a 14a 15b 16a 17b 18a 19b 20a 21b 22b 23a 24b 25a 26a 27b 28a 29b 30b 31b 32a 33b 34b 35b 36b 37b 38a 39a 40a 41a 42a 43b 44b 45a 46b 47a 48a 49b 50b 51a 52a 53a 54b 55a 56a 57a 58b 59a 60b 61b 62a 63a 64a 65b 66b 67b 68a 69a 70a 71b 72b 73a 74a 75a 76a 77b 78a 79b 80a 81b 82a 83a 84b 85a 86a 87b 88a 89b 90a 91c 92a 93b 94a 95b 96a 97b 98a 99b 100b 101b 102b 103b 104b 105b 106a 107a 108a 109a 110b 111c 112c 113b 114a 115b 116b 117b 118a 119a 120a 121a 122b 123a 124a 125a 126a 127b 128a 129a 130a 131a 132a 133a 134b 135a 136b 137a 138a 139b 140b 141b 142c 143b 144b 145a 146b 147a 148a 149b 150b 151b 152b 153c 154c 155b 156b 157c 158c 159a 160b 161a 162a 163a 164b 165a 166a 167a 168b 169a 170c 171a 172a 173c 174a 175a 176b 177b 178b 179b 180b 181b 182b 183b 184b 185a 186b 187a 188b 189a 190b 191a 192b 193a 194b 195c 196b 197b 198a 199b 200b 201b 202a 203b 204a 205b 206b 207a 208b 209b 210b 211a 212b 213c 214a 215b 216b 217a 218c 219a 220a 221b 222b 223a 224a 225a 226b 227c 228b 229b 230a 231b 232a 233a 234b 235b 236b 237b 238a 239a 240a 241a 242a 243b 244c 245a 246c 247c 248b 249b 250a 251a 252b 253b 254a 255b 256b 257c 258b 259a 260b 261a 262a 263a 264a 265a 266a 267a 268a 269a 270a 271a 272a 273a 274c 275c 276a 277a 278b 279a 280b 281a 282b 283b 284a 285a 286a 287b 288a 289b 1a 2b 3a 4a 5a 6b 7b 8a 9b 10a 11c 12a 13b 14b 15a 16b 17b 18b 19a 20b 21a 22a 23b 24a 25b 26b 27a 28b 29a 30a 31a 32b 33a 34a 35a 36a 37a 38b 39b 40b 41b 42b 43b 44a 45b 46a 47b 48b 49a 50a 51b 52a 53b 54a 55b 56b 57b 58a 59b 60b 61a 62b 63a 64a 65b 66a 67a 68b 69a 70b 71a 72a 73b 74b 75b 76b 77a 78a 79a 80a 81b 82b 83b 84a 85b 86b 87a 88b 89c 90a 91a 92b 93a 94b 95a 96b 97a 98b 99b 100a 101a 102a 103a 104a 105a 106b 107b 108b 109b 110a 111c 112a 113a 114b 115a 116b 117a 118b 119a 120b 121b 122a 123b 124b 125b 126b 127a 128a 129b 130b 131b 132b 133b 134c 135b 136a 137b 138b 139a 140a 141a 142b 143a 144c 145b 146a 147a 148b 149b 150a 151b 152c 153c 154b 155a 156c 157a 158b 159b 160a 161b 162b 163b 164a 165b 166b 167b 168a 169b 170a 171c 172b 173b 174b 175b 176a 177a 178a 179a 180a 181a 182a 183a 184a 185b 186a 187b 188a 189a 190a 191c 192a 193b 194a 195a 196a 197a 198b 199a 200a 201a 202a 203a 204b 205a 206a 207b 208a 209a 210a 211c 212a 213b 214b 215c 216a 217c 218a 219b 220b 221a 222a 223a 224b 225c 226b 227a 228b 229a 230b 231a 232b 233b 234a 235a 236a 237b 238b 239b 240b 241b 242c 243b 244b 245c 246b 247a 248a 249a 250b 251c 252a 253a 254a 255a 256a 257b 258a 259a 260b 261c 262b 263a 264b 265b 266b 267b 268b 269a 270b 271b 272b 273b 274c 275a 276b 277c 278a 279c 280a 281b 282a 283a 284b 285b 286a 287a 288b 289a 1c 2b 3c 4b 5c 6a 7a 8c 9b 10b 11b 12a 13a 14b 15b 16b 17a 18b 19b 20b 21b 22b 23b 24b 25b 26b 27b 28b 29b 30b 31b 32b 33b 34b 35b 36b 37b 38b 39b 40b 41a 42b 43a 44a 45a 46a 47a 48b 49b 50b 51a 52b 53a 54a 55b 56a 57a 58a 59b 60b 61b 62b 63b 64a 65a 66b 67b 68b 69b 70a 71b 72b 73b 74b 75a 76b 77a 78a 79a 80a 81b 82b 83a 84a 85a 86b 87a 88b 89a 90c 91b 92a 93b 94a 95b 96a 97b 98a 99a 100b 101a 102b 103a 104a 105a 106a 107a 108a 109a 110b 111b 112c 113b 114b 115b 116a 117a 118b 119a 120a 121a 122b 123b 124a 125a 126b 127b 128b 129b 130b 131a 132b 133a 134a 135a 136a 137a 138a 139a 140b 141a 142b 143c 144a 145a 146b 147b 148b 149a 150b 151a 152c 153a 154c 155a 156c 157c 158b 159b 160a 161a 162a 163b 164a 165a 166b 167b 168b 169b 170a 171b 172c 173c 174c 175b 176b 177a 178a 179b 180b 181b 182b 183b 184b 185b 186a 187b 188a 189b 190a 191c 192c 193a 194c 195b 196b 197b 198a 199a 200a 201a 202b 203b 204b 205a 206a 207a 208b 209a 210a 211a 212c 213b 214a 215a 216c 217c 218c 219b 220b 221a 222b 223b 224b 225c 226a 227c 228c 229b 230a 231a 232c 233a 234a 235a 236a 237b 238b 239a 240b 241a 242c 243a 244b 245c 246b 247a 248b 249b 250b 251c 252a 253b 254b 255b 256a 257c 258c 259c 260c 261b 262a 263b 264b 265a 266a 267b 268a 269b 270b 271a 272a 273c 274b 275a 276a 277a 278b 279c 280b 281b 282a 283a 284b 285b 286b 287a 288a 289b 1a 2c 3c 4a 5c 6a 7c 8b 9a 10a 11a 12b 13b 14b 15a 16a 17b 18b 19a 20a 21a 22a 23a 24a 25a 26a 27b 28a 29b 30a 31a 32b 33b 34a 35a 36a 37b 38a 39a 40a 41a 42a 43a 44b 45b 46b 47b 48a 49a 50b 51b 52b 53b 54b 55a 56b 57a 58b 59b 60b 61a 62a 63b 64a 65a 66a 67a 68a 69a 70a 71a 72a 73a 74a 75b 76b 77b 78b 79b 80a 81a 82a 83a 84b 85b 86b 87b 88c 89b 90b 91c 92b 93a 94b 95a 96a 97a 98b 99a 100b 101b 102b 103b 104b 105b 106b 107b 108b 109b 110a 111a 112a 113a 114a 115a 116a 117b 118a 119b 120a 121b 122a 123a 124b 125a 126a 127b 128b 129a 130b 131b 132a 133b 134c 135b 136b 137b 138b 139b 140a 141a 142c 143b 144b 145b 146a 147b 148a 149a 150a 151a 152a 153a 154c 155c 156a 157b 158a 159a 160b 161b 162b 163a 164b 165b 166a 167a 168a 169a 170b 171a 172a 173b 174c 175a 176a 177b 178b 179a 180a 181a 182a 183a 184a 185a 186b 187a 188b 189b 190a 191c 192b 193b 194a 195a 196b 197a 198a 199b 200b 201b 202b 203a 204a 205b 206a 207b 208a 209b 210b 211c 212b 213c 214b 215c 216c 217b 218a 219a 220a 221b 222a 223b 224a 225b 226a 227a 228c 229a 230c 231b 232a 233b 234b 235b 236b 237a 238a 239b 240a 241b 242a 243c 244a 245a 246c 247b 248a 249b 250a 251b 252b 253a 254a 255a 256a 257a 258a 259b 260a 261b 262b 263b 264a 265b 266b 267a 268b 269a 270a 271b 272b 273a 274a 275b 276b 277c 278a 279b 280a 281b 282a 283b 284a 285a 286a 287b 288b 289b 1b 2a 3a 4c 5b 6c 7b 8c 9b 10a 11c 12b 13a 14a 15a 16a 17b 18a 19b 20b 21b 22a 23b 24b 25b 26a 27a 28a 29a 30b 31b 32a 33c 34a 35a 36a 37a 38a 39a 40b 41b 42b 43b 44a 45b 46a 47b 48b 49b 50a 51b 52a 53a 54b 55b 56a 57b 58b 59a 60a 61a 62b 63b 64b 65b 66a 67b 68b 69a 70b 71b 72b 73b 74a 75a 76a 77a 78a 79b 80a 81a 82a 83b 84b 85a 86a 87b 88a 89c 90c 91a 92a 93b 94b 95b 96b 97a 98a 99a 100a 101b 102a 103a 104a 105a 106b 107b 108a 109b 110c 111b 112a 113a 114b 115b 116b 117a 118b 119b 120b 121b 122a 123b 124a 125b 126b 127a 128a 129b 130b 131b 132a 133b 134b 135b 136a 137a 138b 139b 140a 141b 142b 143b 144b 145b 146b 147a 148a 149b 150b 151b 152a 153b 154b 155b 156b 157b 158a 159b 160a 161a 162a 163b 164a 165a 166b 167a 168b 169b 170b 171c 172a 173a 174a 175a 176a 177a 178a 179a 180b 181a 182a 183a 184b 185a 186a 187b 188a 189a 190b 191c 192b 193c 194b 195c 196a 197a 198b 199b 200b 201a 202a 203b 204b 205a 206b 207a 208b 209a 210b 211a 212a 213b 214c 215b 216b 217b 218b 219a 220b 221b 222b 223a 224a 225b 226a 227a 228a 229a 230c 231a 232a 233b 234b 235b 236b 237b 238b 239b 240a 241b 242c 243a 244a 245c 246b 247c 248a 249a 250b 251a 252a 253a 254b 255a 256b 257c 258b 259c 260c 261a 262c 263b 264a 265a 266a 267a 268b 269b 270a 271a 272c 273a 274b 275b 276c 277b 278a 279b 280b 281a 282a 283a 284b 285a 286a 287a 288a 289a 1c 2c 3b 4c 5c 6b 7a 8b 9a 10b 11b 12a 13b 14a 15b 16b 17b 18b 19a 20b 21a 22b 23a 24a 25b 26b 27a 28b 29b 30a 31b 32a 33b 34b 35b 36a 37a 38b 39b 40a 41b 42a 43a 44b 45a 46b 47a 48c 49b 50a 51a 52a 53b 54a 55a 56b 57b 58a 59a 60b 61b 62a 63a 64b 65b 66b 67a 68a 69b 70b 71a 72b 73b 74a 75b 76a 77b 78b 79a 80b 81b 82b 83a 84a 85b 86a 87a 88b 89a 90a 91b 92b 93a 94a 95a 96a 97a 98b 99a 100a 101a 102a 103b 104b 105a 106a 107a 108a 109a 110c 111b 112c 113b 114a 115a 116b 117b 118b 119a 120b 121a 122b 123b 124a 125b 126a 127a 128b 129b 130a 131a 132b 133a 134b 135a 136b 137a 138a 139b 140b 141b 142a 143a 144c 145a 146a 147b 148b 149a 150a 151b 152b 153c 154a 155a 156a 157a 158c 159a 160b 161b 162b 163b 164b 165b 166a 167b 168a 169a 170c 171b 172b 173a 174c 175b 176b 177b 178b 179b 180a 181b 182a 183b 184a 185b 186b 187a 188b 189b 190b 191b 192a 193c 194a 195a 196a 197b 198b 199a 200b 201b 202b 203a 204a 205b 206b 207b 208a 209b 210a 211c 212c 213a 214c 215b 216a 217a 218c 219a 220a 221a 222b 223a 224b 225a 226b 227c 228c 229b 230b 231b 232b 233b 234a 235a 236a 237b 238a 239a 240a 241a 242b 243c 244c 245b 246a 247b 248a 249b 250a 251b 252b 253b 254b 255b 256b 257b 258a 259c 260b 261c 262c 263b 264b 265b 266b 267b 268b 269b 270b 271b 272c 273b 274a 275c 276b 277b 278b 279a 280b 281b 282a 283b 284a 285b 286a 287a 288b 289a 1b 2c 3b 4b 5b 6c 7c 8c 9a 10a 11c 12b 13a 14b 15a 16a 17a 18a 19a 20a 21b 22b 23b 24a 25a 26a 27a 28a 29b 30b 31a 32b 33c 34a 35a 36b 37a 38a 39a 40b 41a 42b 43b 44a 45b 46a 47a 48c 49a 50b 51a 52a 53a 54a 55a 56a 57b 58a 59a 60a 61a 62a 63b 64b 65b 66a 67a 68b 69b 70b 71b 72a 73b 74a 75b 76b 77a 78b 79a 80b 81a 82a 83b 84b 85b 86a 87b 88b 89b 90b 91a 92a 93b 94a 95b 96b 97b 98b 99b 100a 101a 102a 103a 104b 105b 106b 107b 108b 109b 110b 111c 112b 113b 114a 115b 116a 117b 118a 119a 120b 121b 122b 123a 124b 125b 126a 127a 128a 129a 130a 131a 132a 133b 134a 135b 136a 137a 138b 139a 140a 141a 142c 143c 144a 145a 146a 147a 148a 149a 150a 151a 152b 153c 154b 155a 156b 157a 158c 159a 160a 161a 162b 163a 164b 165b 166b 167b 168b 169a 170c 171c 172c 173c 174c 175a 176a 177a 178b 179a 180a 181b 182b 183a 184b 185a 186a 187a 188b 189b 190b 191a 192c 193a 194b 195b 196b 197a 198a 199b 200a 201b 202b 203a 204a 205b 206a 207b 208b 209b 210b 211b 212b 213c 214b 215a 216a 217c 218b 219b 220a 221a 222b 223a 224b 225c 226b 227b 228a 229b 230b 231a 232c 233a 234a 235a 236a 237b 238b 239a 240b 241a 242a 243c 244b 245b 246c 247a 248b 249b 250b 251c 252b 253a 254b 255b 256a 257c 258c 259a 260a 261c 262a 263b 264b 265a 266b 267b 268a 269a 270b 271b 272b 273c 274b 275a 276c 277c 278c 279b 280a 281a 282a 283b 284b 285b 286b 287a 288a 289a 1b 2b 3b 4b 5b 6b 7b 8a 9b 10a 11a 12b 13a 14a 15a 16b 17a 18b 19b 20a 21a 22b 23a 24b 25b 26a 27a 28b 29b 30b 31a 32b 33a 34b 35b 36a 37a 38a 39b 40b 41a 42a 43b 44b 45a 46a 47a 48c 49a 50b 51a 52b 53b 54b 55b 56b 57a 58b 59b 60a 61b 62b 63a 64b 65a 66a 67b 68b 69a 70a 71a 72a 73a 74b 75a 76b 77a 78b 79b 80a 81a 82b 83b 84a 85a 86a 87b 88c 89c 90c 91c 92a 93a 94a 95a 96b 97b 98a 99a 100a 101a 102a 103b 104a 105a 106a 107a 108a 109a 110a 111a 112b 113a 114b 115b 116b 117b 118a 119a 120b 121a 122a 123b 124b 125b 126b 127a 128a 129a 130b 131b 132b 133b 134c 135b 136a 137b 138b 139b 140b 141b 142a 143b 144c 145b 146a 147a 148a 149b 150b 151b 152c 153c 154a 155c 156a 157c 158b 159b 160b 161a 162a 163b 164b 165b 166b 167a 168b 169b 170a 171a 172b 173b 174a 175b 176b 177a 178a 179b 180a 181b 182a 183a 184a 185b 186a 187b 188a 189a 190b 191a 192a 193b 194c 195c 196a 197a 198b 199a 200a 201a 202b 203a 204b 205b 206a 207a 208b 209b 210b 211b 212a 213b 214a 215a 216b 217b 218b 219b 220a 221a 222b 223b 224a 225c 226b 227b 228a 229a 230a 231a 232a 233b 234b 235b 236a 237a 238a 239a 240b 241a 242c 243a 244a 245b 246b 247b 248b 249a 250b 251b 252b 253a 254b 255a 256b 257a 258a 259b 260c 261a 262b 263b 264a 265b 266b 267a 268a 269b 270a 271a 272a 273b 274c 275c 276a 277a 278c 279c 280a 281a 282a 283b 284b 285a 286b 287b 288a 289a 1a 2b 3a 4a 5a 6b 7a 8c 9a 10a 11b 12a 13b 14a 15a 16b 17b 18a 19b 20a 21a 22b 23b 24b 25b 26b 27b 28b 29a 30a 31a 32b 33a 34a 35a 36a 37b 38a 39a 40a 41b 42a 43b 44b 45b 46a 47a 48c 49b 50b 51a 52b 53b 54a 55b 56b 57a 58b 59b 60b 61b 62a 63b 64b 65a 66b 67a 68a 69b 70b 71a 72a 73a 74b 75b 76a 77a 78b 79a 80b 81b 82a 83b 84b 85b 86b 87a 88a 89a 90b 91b 92b 93a 94a 95a 96a 97a 98a 99b 100a 101b 102b 103b 104b 105b 106a 107a 108b 109b 110b 111a 112a 113b 114b 115a 116a 117b 118a 119b 120b 121b 122a 123a 124b 125a 126a 127a 128a 129b 130b 131b 132a 133b 134a 135b 136b 137a 138a 139a 140a 141b 142a 143c 144b 145a 146a 147a 148b 149a 150b 151a 152a 153b 154a 155b 156c 157b 158b 159b 160b 161b 162b 163b 164a 165b 166b 167a 168b 169b 170a 171c 172a 173a 174b 175a 176b 177a 178b 179a 180b 181b 182b 183a 184a 185a 186a 187b 188a 189b 190a 191b 192c 193c 194b 195c 196b 197b 198a 199a 200a 201a 202a 203a 204b 205b 206a 207b 208a 209b 210b 211a 212c 213b 214c 215c 216c 217a 218a 219b 220a 221a 222b 223b 224b 225a 226b 227b 228b 229a 230c 231a 232b 233b 234b 235a 236a 237b 238a 239b 240b 241b 242b 243b 244c 245a 246b 247c 248b 249a 250a 251a 252b 253a 254a 255a 256a 257c 258b 259b 260a 261c 262a 263a 264b 265b 266b 267b 268b 269a 270a 271b 272c 273a 274b 275a 276a 277a 278b 279a 280a 281b 282b 283a 284a 285b 286b 287a 288b 289a 1c 2b 3a 4a 5c 6a 7b 8b 9a 10b 11b 12a 13a 14a 15a 16b 17a 18b 19a 20a 21a 22a 23a 24b 25a 26a 27b 28b 29a 30a 31a 32b 33a 34a 35b 36b 37a 38b 39a 40a 41a 42b 43a 44b 45b 46b 47a 48a 49a 50b 51a 52a 53b 54a 55a 56a 57a 58a 59a 60a 61a 62b 63b 64a 65b 66b 67b 68a 69b 70a 71b 72a 73b 74a 75a 76a 77b 78a 79a 80a 81a 82a 83b 84b 85a 86b 87a 88a 89c 90c 91b 92b 93b 94a 95b 96b 97a 98a 99b 100b 101b 102a 103b 104b 105b 106a 107a 108a 109b 110c 111c 112c 113a 114a 115a 116a 117a 118b 119b 120b 121b 122b 123a 124b 125a 126b 127b 128a 129b 130a 131a 132b 133a 134c 135b 136b 137b 138a 139b 140a 141a 142c 143a 144a 145a 146a 147b 148b 149a 150b 151a 152c 153b 154c 155b 156a 157c 158a 159a 160b 161b 162a 163a 164b 165b 166b 167a 168a 169a 170b 171b 172c 173a 174c 175b 176a 177a 178a 179b 180a 181b 182b 183b 184a 185b 186b 187b 188a 189a 190a 191b 192b 193b 194c 195b 196a 197b 198b 199b 200b 201a 202b 203b 204a 205b 206b 207b 208a 209a 210a 211b 212a 213a 214b 215a 216a 217a 218a 219b 220a 221a 222a 223a 224a 225a 226a 227a 228b 229a 230a 231b 232b 233b 234a 235a 236b 237b 238a 239a 240b 241a 242c 243b 244c 245a 246a 247a 248a 249a 250a 251c 252b 253b 254b 255b 256a 257c 258c 259a 260c 261b 262c 263a 264b 265a 266a 267a 268a 269a 270a 271a 272a 273b 274c 275b 276c 277b 278c 279a 280a 281b 282b 283a 284b 285a 286a 287b 288b 289a 1a 2a 3b 4c 5a 6a 7a 8c 9b 10b 11c 12b 13a 14b 15b 16b 17b 18b 19b 20a 21b 22a 23a 24b 25b 26a 27a 28b 29a 30b 31a 32a 33c 34b 35b 36b 37b 38b 39a 40a 41a 42a 43a 44b 45b 46a 47a 48a 49b 50b 51b 52b 53b 54a 55b 56a 57a 58a 59b 60a 61b 62a 63a 64b 65a 66b 67a 68b 69a 70b 71a 72b 73b 74b 75b 76a 77a 78a 79b 80b 81b 82a 83b 84a 85b 86a 87a 88c 89a 90a 91a 92b 93a 94a 95b 96a 97b 98b 99b 100b 101b 102a 103b 104a 105b 106a 107b 108a 109a 110a 111c 112b 113b 114b 115a 116b 117b 118a 119b 120a 121a 122b 123a 124a 125a 126b 127b 128b 129a 130a 131b 132a 133a 134c 135a 136a 137b 138b 139a 140b 141b 142a 143c 144c 145a 146b 147a 148b 149a 150b 151b 152a 153a 154c 155c 156c 157b 158a 159b 160b 161b 162a 163a 164a 165a 166a 167a 168b 169b 170b 171a 172b 173c 174b 175a 176b 177b 178b 179a 180b 181a 182a 183b 184b 185b 186b 187a 188b 189b 190a 191a 192b 193a 194a 195b 196b 197b 198a 199a 200a 201b 202b 203b 204b 205b 206b 207b 208a 209b 210b 211b 212c 213c 214c 215b 216b 217c 218c 219a 220b 221b 222b 223b 224a 225b 226a 227c 228a 229a 230b 231b 232c 233b 234b 235b 236b 237b 238a 239b 240b 241a 242b 243a 244b 245a 246a 247a 248b 249b 250a 251a 252a 253b 254b 255b 256a 257b 258a 259a 260b 261a 262b 263a 264a 265a 266a 267a 268b 269b 270b 271a 272c 273a 274a 275c 276c 277b 278c 279c 280b 281a 282a 283a 284a 285b 286a 287a 288b 289b 1a 2a 3a 4b 5a 6c 7c 8a 9b 10b 11a 12b 13a 14b 15b 16b 17b 18b 19a 20a 21b 22a 23a 24a 25a 26a 27a 28b 29a 30b 31b 32b 33a 34b 35a 36b 37a 38a 39b 40a 41a 42a 43b 44b 45b 46a 47b 48b 49a 50a 51b 52a 53a 54b 55a 56a 57b 58a 59a 60b 61a 62a 63a 64b 65b 66a 67a 68b 69a 70b 71a 72b 73a 74a 75b 76a 77b 78a 79b 80b 81a 82a 83b 84a 85a 86b 87a 88c 89b 90c 91c 92a 93b 94a 95a 96a 97b 98b 99b 100a 101a 102b 103a 104a 105b 106a 107b 108a 109b 110b 111a 112a 113b 114b 115a 116a 117a 118a 119a 120a 121b 122a 123a 124b 125b 126b 127b 128a 129b 130b 131b 132b 133a 134b 135b 136b 137b 138b 139b 140a 141b 142b 143a 144b 145b 146b 147b 148a 149a 150b 151b 152b 153a 154b 155c 156b 157a 158c 159a 160a 161a 162b 163a 164b 165a 166a 167b 168a 169a 170c 171b 172a 173b 174a 175b 176b 177a 178a 179b 180a 181b 182b 183a 184b 185b 186b 187a 188a 189b 190b 191c 192a 193c 194c 195a 196a 197a 198b 199b 200b 201b 202a 203b 204a 205a 206a 207b 208a 209a 210b 211c 212b 213a 214a 215c 216c 217b 218c 219a 220a 221a 222b 223b 224b 225a 226a 227c 228c 229b 230c 231b 232c 233b 234a 235b 236a 237a 238b 239a 240b 241b 242b 243c 244b 245b 246c 247c 248b 249b 250a 251c 252a 253b 254b 255b 256b 257a 258a 259c 260c 261b 262c 263a 264a 265b 266b 267b 268b 269a 270a 271a 272b 273c 274c 275b 276a 277b 278a 279c 280a 281b 282a 283b 284b 285b 286b 287a 288b 289a 1c 2b 3c 4c 5c 6c 7a 8a 9b 10b 11a 12a 13a 14a 15b 16b 17a 18b 19a 20b 21a 22a 23b 24a 25a 26a 27a 28b 29b 30b 31b 32b 33b 34b 35b 36a 37a 38a 39b 40a 41b 42b 43b 44b 45b 46a 47a 48b 49b 50a 51b 52a 53a 54b 55a 56b 57a 58a 59a 60b 61b 62a 63a 64a 65a 66b 67a 68a 69a 70a 71b 72a 73a 74b 75b 76b 77a 78b 79b 80a 81b 82a 83b 84a 85a 86a 87b 88b 89b 90b 91c 92a 93b 94a 95a 96b 97b 98b 99a 100b 101a 102b 103a 104a 105a 106a 107b 108a 109b 110c 111c 112c 113a 114a 115a 116a 117a 118a 119a 120a 121b 122b 123b 124b 125a 126a 127a 128b 129a 130b 131a 132a 133b 134a 135a 136b 137a 138b 139b 140a 141b 142a 143b 144a 145b 146a 147b 148a 149b 150a 151b 152c 153b 154a 155a 156c 157b 158c 159a 160b 161b 162b 163a 164b 165a 166a 167a 168a 169a 170c 171a 172c 173a 174a 175a 176b 177a 178b 179a 180b 181b 182a 183b 184b 185a 186b 187a 188a 189a 190a 191b 192a 193a 194a 195a 196a 197b 198b 199b 200a 201b 202b 203b 204b 205b 206b 207b 208b 209a 210a 211c 212a 213c 214a 215b 216a 217a 218b 219a 220b 221a 222a 223b 224b 225b 226b 227b 228a 229a 230a 231b 232a 233a 234a 235a 236b 237b 238b 239b 240b 241b 242c 243b 244a 245c 246c 247c 248b 249b 250b 251a 252a 253a 254b 255b 256b 257c 258c 259b 260a 261a 262c 263b 264b 265a 266a 267a 268a 269a 270a 271a 272b 273a 274a 275c 276b 277c 278a 279b 280b 281a 282b 283a 284a 285b 286b 287a 288a 289a 1b 2b 3b 4a 5b 6a 7c 8a 9b 10a 11b 12a 13b 14a 15a 16b 17b 18b 19a 20a 21b 22a 23b 24b 25b 26b 27a 28a 29a 30a 31b 32b 33b 34a 35a 36a 37a 38a 39a 40a 41b 42b 43a 44b 45a 46a 47a 48a 49b 50a 51a 52b 53a 54a 55b 56b 57b 58a 59b 60a 61b 62a 63b 64a 65b 66a 67b 68a 69a 70a 71b 72b 73b 74a 75b 76a 77a 78a 79b 80a 81b 82b 83a 84a 85b 86a 87b 88a 89a 90a 91c 92a 93a 94b 95b 96a 97a 98b 99b 100b 101a 102a 103b 104b 105b 106a 107a 108a 109a 110c 111c 112b 113a 114a 115a 116b 117b 118b 119b 120a 121a 122a 123b 124a 125a 126a 127b 128a 129a 130a 131a 132a 133a 134b 135a 136a 137b 138a 139a 140a 141a 142a 143b 144c 145b 146b 147b 148a 149b 150b 151b 152b 153a 154b 155b 156c 157a 158b 159a 160a 161a 162b 163b 164b 165b 166b 167b 168a 169a 170b 171c 172b 173b 174b 175b 176b 177a 178b 179a 180b 181b 182a 183b 184a 185a 186b 187b 188b 189b 190b 191b 192c 193a 194b 195a 196a 197b 198b 199b 200a 201b 202a 203a 204a 205a 206a 207a 208a 209b 210b 211c 212b 213a 214a 215a 216b 217c 218a 219b 220a 221a 222a 223b 224b 225b 226a 227a 228c 229b 230b 231b 232b 233b 234a 235b 236a 237a 238a 239a 240a 241a 242a 243b 244a 245c 246b 247b 248b 249b 250a 251b 252a 253a 254a 255a 256a 257a 258a 259c 260a 261b 262a 263a 264b 265a 266a 267a 268a 269a 270b 271a 272a 273c 274b 275a 276c 277a 278b 279a 280a 281b 282a 283a 284a 285a 286b 287a 288b 289a 1c 2c 3c 4b 5b 6a 7b 8b 9b 10a 11a 12b 13b 14a 15a 16b 17a 18b 19b 20a 21a 22a 23b 24a 25a 26b 27b 28b 29a 30b 31b 32b 33a 34b 35a 36b 37a 38b 39b 40b 41a 42a 43a 44a 45b 46a 47a 48a 49a 50a 51b 52a 53a 54a 55a 56b 57b 58b 59a 60b 61a 62b 63a 64a 65a 66b 67b 68b 69a 70b 71b 72b 73b 74b 75b 76b 77b 78a 79a 80b 81b 82b 83a 84a 85b 86a 87b 88b 89c 90b 91a 92a 93a 94b 95b 96a 97a 98a 99b 100b 101b 102b 103a 104b 105b 106a 107a 108a 109a 110a 111a 112b 113b 114a 115b 116a 117b 118b 119a 120a 121b 122a 123a 124a 125a 126b 127a 128a 129a 130b 131a 132b 133a 134a 135b 136b 137a 138b 139b 140a 141a 142c 143c 144b 145b 146a 147b 148b 149a 150a 151a 152a 153b 154c 155a 156a 157c 158c 159b 160a 161a 162b 163a 164a 165a 166b 167b 168b 169a 170a 171c 172a 173b 174a 175b 176a 177b 178a 179a 180b 181a 182a 183a 184a 185b 186b 187b 188b 189b 190a 191c 192a 193b 194c 195b 196a 197b 198a 199b 200b 201a 202b 203b 204b 205b 206a 207b 208b 209b 210a 211a 212c 213b 214c 215c 216a 217c 218b 219a 220b 221b 222b 223a 224b 225c 226b 227c 228b 229a 230c 231a 232c 233b 234a 235b 236a 237a 238a 239a 240a 241b 242a 243a 244c 245b 246a 247a 248b 249a 250a 251a 252a 253a 254a 255a 256b 257c 258b 259a 260b 261c 262a 263a 264a 265a 266b 267b 268b 269a 270a 271a 272c 273b 274b 275b 276b 277c 278c 279b 280a 281a 282a 283a 284a 285a 286b 287b 288b 289b 1b 2c 3b 4b 5a 6b 7b 8b 9b 10a 11b 12a 13b 14b 15a 16a 17b 18b 19b 20b 21a 22a 23a 24a 25b 26a 27a 28b 29b 30a 31b 32a 33a 34b 35b 36a 37a 38a 39a 40a 41b 42b 43b 44b 45b 46a 47b 48b 49b 50b 51b 52b 53a 54a 55a 56a 57a 58a 59b 60b 61b 62b 63b 64a 65b 66b 67a 68b 69b 70a 71b 72b 73a 74a 75a 76a 77a 78a 79b 80a 81b 82b 83b 84a 85b 86b 87a 88b 89b 90c 91b 92a 93a 94b 95a 96b 97a 98a 99a 100b 101a 102a 103b 104b 105a 106a 107a 108b 109a 110c 111b 112a 113b 114b 115a 116a 117a 118b 119b 120a 121b 122a 123a 124b 125a 126b 127a 128b 129a 130b 131b 132a 133b 134c 135a 136a 137b 138b 139b 140b 141a 142b 143b 144b 145a 146b 147b 148a 149b 150b 151a 152a 153b 154a 155b 156b 157a 158a 159a 160b 161a 162a 163a 164a 165b 166a 167a 168a 169a 170c 171a 172b 173c 174a 175a 176a 177a 178a 179a 180b 181b 182a 183a 184b 185b 186b 187a 188b 189a 190a 191c 192b 193c 194c 195c 196b 197a 198a 199a 200b 201b 202a 203a 204b 205a 206b 207b 208a 209b 210b 211b 212b 213b 214b 215c 216c 217a 218b 219a 220b 221b 222a 223a 224a 225c 226a 227a 228a 229b 230a 231a 232a 233b 234b 235a 236b 237a 238b 239a 240a 241b 242c 243a 244b 245a 246c 247c 248b 249b 250b 251b 252b 253b 254a 255a 256b 257b 258a 259b 260a 261a 262b 263b 264a 265a 266b 267a 268b 269a 270b 271a 272a 273c 274a 275a 276a 277c 278b 279a 280a 281a 282b 283a 284a 285b 286b 287b 288b 289b 1c 2a 3c 4a 5b 6b 7a 8a 9b 10b 11c 12b 13a 14a 15b 16b 17b 18a 19b 20b 21a 22a 23a 24a 25b 26b 27b 28b 29b 30b 31b 32b 33a 34a 35a 36b 37a 38b 39b 40b 41b 42a 43b 44a 45b 46b 47b 48c 49a 50b 51a 52b 53a 54b 55a 56b 57b 58b 59a 60b 61a 62a 63a 64a 65b 66b 67b 68b 69a 70b 71b 72a 73b 74a 75b 76a 77b 78a 79b 80b 81a 82a 83a 84a 85a 86a 87b 88c 89c 90b 91c 92a 93b 94b 95b 96a 97b 98a 99a 100b 101a 102b 103a 104b 105b 106a 107a 108a 109b 110a 111b 112a 113a 114b 115a 116b 117b 118a 119b 120a 121b 122b 123b 124a 125b 126a 127b 128b 129b 130a 131a 132a 133a 134b 135b 136b 137a 138b 139b 140b 141a 142c 143a 144c 145b 146a 147b 148b 149a 150b 151a 152b 153b 154c 155a 156b 157c 158a 159a 160b 161a 162b 163b 164a 165a 166a 167b 168b 169a 170a 171b 172c 173c 174c 175a 176b 177a 178b 179b 180b 181b 182b 183b 184b 185a 186b 187b 188a 189a 190a 191b 192c 193c 194a 195c 196b 197a 198a 199a 200a 201a 202b 203b 204b 205b 206a 207a 208a 209a 210b 211c 212b 213c 214c 215b 216b 217b 218c 219b 220a 221b 222a 223a 224b 225b 226b 227b 228c 229a 230b 231a 232a 233b 234a 235a 236a 237a 238a 239b 240b 241a 242a 243a 244c 245c 246b 247b 248b 249a 250a 251a 252a 253a 254a 255a 256b 257c 258c 259a 260c 261c 262c 263a 264b 265a 266a 267a 268a 269a 270a 271b 272b 273a 274a 275b 276a 277a 278c 279c 280b 281a 282b 283a 284a 285a 286a 287a 288b 289a 1a 2c 3b 4c 5c 6b 7c 8c 9b 10b 11a 12a 13b 14b 15a 16b 17a 18b 19b 20a 21a 22a 23a 24b 25a 26b 27b 28b 29b 30a 31a 32a 33a 34a 35b 36b 37a 38b 39a 40b 41b 42b 43b 44a 45b 46b 47a 48b 49b 50b 51a 52b 53b 54a 55a 56b 57b 58a 59b 60b 61b 62a 63a 64a 65b 66a 67a 68b 69a 70a 71a 72a 73a 74a 75b 76a 77b 78a 79a 80b 81b 82a 83b 84b 85a 86b 87a 88a 89a 90c 91b 92a 93a 94a 95b 96b 97b 98b 99a 100b 101b 102b 103b 104b 105b 106b 107a 108b 109a 110b 111b 112b 113b 114b 115a 116b 117a 118b 119b 120b 121b 122a 123a 124b 125b 126a 127b 128b 129a 130a 131a 132b 133b 134b 135a 136a 137a 138a 139a 140b 141b 142c 143c 144c 145a 146b 147b 148a 149b 150a 151b 152b 153c 154b 155c 156b 157b 158c 159b 160b 161b 162b 163a 164a 165a 166a 167b 168b 169b 170b 171b 172a 173c 174a 175a 176b 177b 178a 179a 180b 181b 182b 183a 184b 185a 186b 187a 188b 189b 190a 191a 192c 193b 194b 195b 196b 197a 198a 199a 200b 201b 202b 203b 204a 205b 206a 207a 208a 209b 210a 211b 212a 213a 214c 215a 216b 217a 218a 219b 220a 221b 222a 223a 224a 225c 226a 227c 228b 229b 230c 231a 232a 233a 234b 235b 236b 237a 238b 239b 240a 241a 242a 243a 244c 245a 246c 247b 248a 249a 250b 251c 252b 253a 254b 255b 256b 257c 258b 259a 260b 261c 262b 263b 264b 265a 266b 267b 268b 269b 270a 271a 272a 273b 274c 275c 276b 277b 278a 279c 280a 281a 282b 283b 284b 285a 286a 287a 288a 289a 1c 2c 3a 4a 5b 6c 7c 8c 9b 10b 11b 12a 13b 14a 15b 16a 17b 18a 19a 20a 21a 22a 23a 24b 25a 26a 27b 28b 29b 30a 31a 32a 33a 34a 35a 36b 37a 38b 39a 40a 41a 42b 43b 44a 45b 46b 47b 48a 49a 50b 51b 52a 53b 54a 55b 56b 57b 58b 59b 60b 61b 62b 63b 64b 65b 66a 67a 68b 69b 70a 71b 72b 73b 74a 75a 76a 77b 78b 79b 80a 81a 82a 83a 84b 85b 86a 87b 88a 89c 90a 91c 92a 93b 94a 95a 96b 97b 98b 99b 100b 101b 102b 103a 104b 105a 106a 107a 108a 109b 110a 111c 112c 113a 114a 115b 116a 117b 118a 119b 120a 121a 122b 123b 124a 125a 126a 127b 128b 129a 130b 131b 132a 133a 134c 135a 136a 137b 138b 139b 140a 141a 142b 143b 144a 145b 146b 147b 148a 149b 150a 151a 152c 153b 154a 155a 156a 157c 158b 159a 160b 161a 162b 163a 164b 165b 166a 167a 168b 169b 170c 171a 172a 173a 174b 175b 176b 177a 178b 179a 180a 181a 182a 183b 184a 185a 186b 187b 188b 189b 190a 191c 192a 193b 194a 195b 196a 197a 198b 199a 200a 201b 202a 203b 204a 205b 206b 207a 208b 209a 210a 211a 212c 213b 214b 215b 216a 217c 218c 219b 220b 221b 222b 223b 224a 225a 226a 227a 228b 229a 230c 231b 232c 233a 234a 235b 236b 237a 238b 239a 240b 241b 242b 243a 244a 245b 246c 247c 248b 249b 250b 251c 252a 253b 254b 255b 256a 257a 258a 259c 260c 261c 262b 263b 264a 265a 266a 267a 268b 269b 270b 271a 272c 273b 274a 275b 276a 277a 278a 279b 280b 281a 282b 283b 284b 285a 286a 287b 288a 289a 1c 2c 3b 4b 5c 6c 7b 8c 9b 10b 11b 12b 13a 14b 15b 16a 17a 18b 19b 20b 21b 22b 23b 24b 25b 26a 27a 28a 29a 30b 31a 32a 33b 34a 35a 36b 37a 38b 39a 40a 41b 42b 43a 44b 45a 46a 47b 48c 49a 50a 51b 52b 53a 54a 55a 56b 57a 58b 59b 60b 61b 62b 63b 64b 65a 66b 67a 68a 69a 70a 71b 72a 73a 74b 75b 76b 77b 78b 79a 80b 81a 82b 83a 84a 85b 86a 87b 88c 89a 90c 91a 92a 93b 94a 95b 96b 97a 98b 99b 100a 101a 102b 103a 104b 105a 106b 107b 108a 109a 110b 111c 112a 113a 114b 115a 116b 117a 118a 119b 120a 121b 122a 123b 124a 125b 126b 127a 128b 129a 130a 131a 132a 133b 134b 135b 136a 137a 138a 139b 140b 141a 142b 143b 144b 145b 146a 147b 148b 149a 150a 151b 152c 153c 154c 155b 156c 157b 158a 159a 160a 161b 162a 163b 164b 165b 166b 167b 168b 169a 170b 171b 172a 173a 174b 175b 176b 177b 178b 179a 180b 181a 182a 183b 184b 185a 186b 187a 188a 189b 190a 191b 192a 193c 194b 195b 196a 197a 198a 199b 200b 201b 202a 203b 204a 205b 206a 207a 208a 209a 210b 211a 212b 213b 214a 215b 216c 217b 218c 219b 220a 221a 222b 223a 224b 225c 226a 227b 228c 229b 230c 231b 232b 233b 234a 235a 236a 237a 238a 239b 240b 241b 242b 243b 244b 245b 246c 247c 248a 249a 250a 251c 252a 253b 254a 255b 256a 257b 258a 259c 260b 261b 262a 263a 264a 265a 266a 267a 268a 269b 270b 271a 272c 273b 274c 275a 276b 277b 278a 279a 280a 281b 282a 283b 284b 285b 286a 287a 288a 289b 1b 2a 3c 4c 5a 6a 7b 8a 9b 10a 11c 12b 13b 14a 15b 16a 17a 18b 19b 20a 21a 22a 23b 24b 25a 26b 27b 28a 29b 30b 31b 32a 33c 34a 35a 36b 37a 38a 39a 40b 41b 42b 43a 44b 45a 46a 47a 48a 49a 50a 51b 52b 53b 54a 55b 56b 57a 58a 59a 60a 61b 62a 63b 64b 65b 66b 67a 68a 69a 70a 71b 72b 73a 74a 75a 76a 77a 78b 79a 80a 81a 82a 83a 84a 85b 86a 87b 88b 89b 90a 91b 92b 93a 94a 95a 96a 97a 98a 99b 100b 101b 102a 103a 104a 105b 106a 107a 108b 109a 110a 111c 112c 113a 114b 115b 116a 117a 118b 119a 120a 121b 122a 123a 124a 125b 126a 127a 128b 129a 130b 131b 132a 133a 134b 135a 136b 137a 138a 139a 140b 141b 142c 143c 144a 145a 146a 147b 148a 149a 150b 151b 152b 153b 154b 155c 156a 157b 158c 159a 160a 161a 162b 163a 164a 165a 166a 167b 168a 169b 170b 171c 172b 173c 174c 175a 176b 177a 178a 179b 180a 181a 182a 183b 184b 185b 186a 187a 188a 189b 190b 191a 192a 193b 194a 195c 196b 197b 198b 199b 200b 201b 202b 203a 204a 205a 206b 207b 208a 209a 210b 211c 212c 213c 214b 215c 216b 217c 218b 219b 220a 221a 222b 223b 224b 225c 226a 227b 228b 229a 230a 231b 232a 233a 234a 235b 236a 237a 238a 239a 240a 241b 242b 243a 244a 245a 246a 247a 248a 249a 250a 251b 252b 253a 254b 255a 256b 257c 258a 259a 260b 261b 262c 263b 264a 265b 266a 267a 268b 269b 270a 271b 272b 273c 274b 275a 276b 277c 278b 279b 280b 281b 282b 283a 284a 285b 286a 287a 288b 289b 1b 2b 3c 4c 5c 6c 7a 8c 9b 10a 11b 12a 13b 14a 15b 16a 17b 18a 19a 20a 21a 22a 23a 24a 25b 26b 27a 28b 29a 30b 31b 32b 33c 34a 35a 36a 37b 38a 39a 40b 41b 42a 43b 44b 45b 46b 47b 48a 49a 50a 51a 52a 53b 54a 55a 56a 57b 58a 59a 60a 61b 62b 63b 64a 65a 66b 67a 68a 69a 70a 71a 72a 73b 74a 75b 76a 77a 78b 79a 80a 81a 82a 83a 84a 85b 86a 87b 88c 89a 90b 91b 92b 93b 94b 95a 96b 97b 98a 99b 100b 101a 102b 103b 104a 105a 106b 107b 108a 109b 110b 111a 112b 113a 114a 115a 116b 117a 118a 119b 120b 121b 122b 123a 124b 125b 126b 127b 128a 129a 130b 131a 132b 133b 134b 135a 136b 137a 138b 139b 140b 141a 142a 143b 144b 145b 146b 147b 148a 149b 150a 151a 152b 153a 154a 155b 156c 157b 158c 159a 160a 161a 162b 163a 164b 165b 166b 167b 168b 169b 170c 171b 172c 173c 174b 175b 176a 177a 178b 179b 180a 181a 182a 183b 184b 185a 186b 187a 188b 189b 190a 191b 192b 193b 194b 195b 196a 197a 198b 199a 200a 201b 202a 203a 204a 205a 206b 207b 208a 209b 210a 211b 212c 213a 214a 215c 216c 217b 218b 219a 220b 221b 222b 223a 224a 225a 226b 227b 228a 229b 230b 231b 232b 233a 234b 235a 236a 237b 238a 239a 240a 241a 242c 243b 244c 245b 246b 247b 248a 249a 250a 251c 252a 253a 254b 255a 256b 257a 258a 259a 260c 261a 262b 263b 264a 265a 266b 267b 268b 269a 270a 271b 272c 273b 274b 275b 276c 277b 278b 279b 280a 281b 282a 283b 284a 285a 286a 287b 288b 289a # test9: (don't use a -n) (n dimensions) (a dimensions with 10 or more features) (very different size dimensions) (several restrictions) (some restrictions fully duplicated) (a restriction has -n features) (a restriction comes before the dimensions it constrains) (one -s) (put -s in the middle) ./jenny -w1a2b -w1a2b -w1mnopqrstuvwxyz 26 -s262 2 1a 2a 1b 2b 1c 2a 1d 2a 1e 2a 1f 2a 1g 2a 1h 2a 1i 2b 1j 2a 1k 2a 1l 2b 1c 2b 1j 2b 1k 2b 1h 2b 1g 2b 1b 2a 1f 2b 1i 2a 1e 2b 1d 2b 1l 2a # test10: (use -n2) (put -n in the middle of the dimensions) (between n and 10 dimensions) (a dimensions with 3 to 9 features) (different size dimensions) (several restrictions) (some restrictions fully duplicated) (a restriction has more than -n features) (several -s) (put -s last) ./jenny -w3a5b4c -w8a4a5b -w5a3a4c 3 3 3 3 3 5 -w1a10ab5c -w2c4a1b -n2 4 \ 3 3 6 5 -w1ab3ca4ab -w2ca4ab1ca -w5ac3ab2ac -w2ab3ac4ab -w5c2ab6c \ -w1ca3ca5ca -s1 -s3 Could not cover tuple 1a 3a Could not cover tuple 3a 6c Could not cover tuple 3a 5b Could not cover tuple 3a 5a Could not cover tuple 3a 4b Could not cover tuple 3a 4a Could not cover tuple 3c 4a Could not cover tuple 2c 3a Could not cover tuple 2a 3a Could not cover tuple 1c 3a Could not cover tuple 2c 4a Could not cover tuple 3c 4b 1a 2b 3b 4a 5a 6a 7d 8b 9c 10e 11b 1b 2c 3c 4c 5c 6b 7a 8a 9a 10c 11d 1c 2b 3b 4b 5b 6d 7c 8c 9b 10f 11a 1a 2a 3c 4c 5b 6e 7b 8b 9b 10b 11e 1b 2b 3a 4c 5c 6e 7c 8c 9c 10d 11c 1c 2b 3b 4b 5a 6c 7b 8a 9a 10a 11e 1b 2a 3c 4c 5a 6c 7d 8c 9b 10e 11a 1a 2c 3c 4c 5b 6d 7a 8b 9c 10a 11c 1b 2a 3b 4a 5b 6b 7c 8b 9a 10d 11b 1b 2b 3a 4c 5c 6a 7a 8c 9b 10f 11e 1a 2b 3b 4b 5a 6b 7c 8a 9c 10b 11d 1a 2b 3b 4a 5c 6e 7b 8c 9a 10c 11a 1b 2b 3a 4c 5c 6d 7d 8a 9a 10b 11d 1c 2a 3c 4c 5b 6a 7d 8a 9b 10c 11c 1c 2c 3b 4c 5b 6c 7c 8b 9c 10c 11e 1c 2b 3b 4a 5a 6e 7a 8a 9b 10f 11b 1a 2c 3c 4c 5b 6a 7b 8c 9b 10d 11d 1b 2c 3b 4b 5b 6e 7d 8b 9a 10e 11e 1b 2b 3a 4c 5c 6d 7b 8b 9c 10c 11b 1c 2b 3b 4a 5c 6b 7d 8c 9b 10a 11d 1a 2b 3b 4a 5a 6c 7b 8b 9a 10f 11c 1b 2b 3a 4c 5c 6b 7b 8a 9c 10e 11a 1b 2a 3b 4b 5b 6c 7a 8b 9c 10c 11d 1b 2c 3c 4c 5a 6c 7a 8c 9c 10b 11b 1c 2b 3b 4a 5a 6d 7d 8a 9b 10d 11e 1b 2b 3a 4c 5c 6a 7c 8b 9a 10a 11a 1b 2c 3b 4b 5b 6b 7d 8b 9c 10f 11c 1b 2c 3b 4b 5b 6a 7a 8b 9a 10d 11a 1b 2a 3c 4c 5c 6d 7c 8a 9a 10e 11c 1c 2b 3b 4b 5c 6a 7b 8b 9c 10b 11b 1b 2a 3b 4a 5b 6e 7b 8c 9b 10a 11d 1c 2b 3c 4c 5b 6c 7a 8b 9c 10e 11d 1c 2b 3b 4a 5c 6e 7b 8a 9a 10b 11c 1b 2c 3c 4c 5c 6c 7d 8b 9b 10f 11d 1b 2a 3c 4c 5a 6c 7b 8a 9a 10f 11b 1b 2b 3b 4a 5a 6b 7b 8a 9c 10c 11e 1c 2b 3b 4c 5a 6c 7c 8b 9b 10d 11b 1b 2c 3c 4c 5b 6e 7a 8c 9b 10a 11b 1b 2a 3c 4c 5a 6b 7a 8c 9b 10b 11a # test11: (use a -n bigger than 2) (put -n before the dimensions) (n dimensions) (a dimension of size 2) (all dimensions equal size) (several restrictions) (some deduced restrictions) (some restrictions fully duplicated) (a restriction has -n features) (a restriction comes after the dimensions it constrains) (no -s) ./jenny -n12 2 2 2 2 2 2 2 2 2 2 2 2 -w1a2b3a4b5b6a7a8b9b10b11b12b -w6b \ -w2a5ab -w5a2ab -w5a2ab -w1b -w10a -w6b -w9a -w7b -w11a Could not cover tuple 2a Could not cover tuple 5a Could not cover tuple 3a 4b 8b 12b 1a 2b 3b 4a 5b 6a 7a 8a 9b 10b 11b 12b 1a 2b 3a 4b 5b 6a 7a 8b 9b 10b 11b 12a 1a 2b 3a 4a 5b 6a 7a 8b 9b 10b 11b 12b 1a 2b 3b 4b 5b 6a 7a 8a 9b 10b 11b 12a 1a 2b 3a 4b 5b 6a 7a 8a 9b 10b 11b 12b 1a 2b 3b 4a 5b 6a 7a 8b 9b 10b 11b 12a 1a 2b 3a 4a 5b 6a 7a 8a 9b 10b 11b 12a 1a 2b 3b 4b 5b 6a 7a 8b 9b 10b 11b 12b 1a 2b 3a 4a 5b 6a 7a 8a 9b 10b 11b 12b 1a 2b 3b 4a 5b 6a 7a 8a 9b 10b 11b 12a 1a 2b 3a 4b 5b 6a 7a 8a 9b 10b 11b 12a 1a 2b 3a 4a 5b 6a 7a 8b 9b 10b 11b 12a 1a 2b 3b 4b 5b 6a 7a 8b 9b 10b 11b 12a 1a 2b 3b 4b 5b 6a 7a 8a 9b 10b 11b 12b 1a 2b 3b 4a 5b 6a 7a 8b 9b 10b 11b 12b # test12: (use a -n bigger than 2) (put -n before the dimensions) (more than 10 dimensions) (a dimensions with 10 or more features) (very different size dimensions) (several restrictions) (some deduced restrictions) (no duplicate restrictions) (a restriction has more than -n features) (a restriction comes after the dimensions it constrains) (one -s) (put -s first) ./jenny -s1 -n4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 52 \ -w28bBcCdDfFgGhHjJkKlLmMnNpPqQrRsStTvVwWxXzZ -w28aAeEiIoOuUyY -w3a5b6a2a9b8a Could not cover tuple 1a Could not cover tuple 1b Could not cover tuple 2a Could not cover tuple 2b Could not cover tuple 3a Could not cover tuple 3b Could not cover tuple 4a Could not cover tuple 4b Could not cover tuple 5a Could not cover tuple 5b Could not cover tuple 6a Could not cover tuple 6b Could not cover tuple 7a Could not cover tuple 7b Could not cover tuple 8a Could not cover tuple 8b Could not cover tuple 9a Could not cover tuple 9b Could not cover tuple 10a Could not cover tuple 10b Could not cover tuple 11a Could not cover tuple 11b Could not cover tuple 12a Could not cover tuple 12b Could not cover tuple 13a Could not cover tuple 13b Could not cover tuple 14a Could not cover tuple 14b Could not cover tuple 15a Could not cover tuple 15b Could not cover tuple 16a Could not cover tuple 16b Could not cover tuple 17a Could not cover tuple 17b Could not cover tuple 18a Could not cover tuple 18b Could not cover tuple 19a Could not cover tuple 19b Could not cover tuple 20a Could not cover tuple 20b Could not cover tuple 21a Could not cover tuple 21b Could not cover tuple 22a Could not cover tuple 22b Could not cover tuple 23a Could not cover tuple 23b Could not cover tuple 24a Could not cover tuple 24b Could not cover tuple 25a Could not cover tuple 25b Could not cover tuple 26a Could not cover tuple 26b Could not cover tuple 27a Could not cover tuple 27b # test13: (use a -n bigger than 2) (put -n last) (more than 10 dimensions) (a dimensions with 3 to 9 features) (different size dimensions) (several restrictions) (no deduced restrictions) (some restrictions fully duplicated) (a restriction has less than -n features) (a restriction comes before the dimensions it constrains) (one -s) (put -s last) ./jenny -w20b 3 5 4 -w10a9b -w10a9b 2 3 2 5 -w15b1a 5 2 3 3 3 3 4 4 2 4 3 \ 4 2 2 3 4 2 4 -n3 -s1024 -w10a20a6a4a9a8a7a 1a 2d 3b 4a 5b 6a 7e 8a 9a 10c 11a 12b 13a 14d 15a 16a 17c 18b 19c 20a 21a 22b 23b 24a 25b 1b 2b 3c 4b 5a 6b 7d 8d 9b 10b 11c 12a 13c 14b 15b 16b 17d 18a 19b 20a 21b 22a 23a 24b 25a 1c 2e 3a 4b 5c 6b 7c 8e 9a 10a 11b 12c 13b 14c 15c 16a 17a 18c 19d 20a 21b 22c 23c 24a 25d 1a 2a 3d 4a 5c 6a 7a 8c 9b 10b 11b 12c 13a 14a 15d 16b 17b 18c 19a 20a 21a 22a 23d 24b 25c 1c 2c 3d 4a 5b 6b 7b 8b 9b 10c 11c 12b 13c 14c 15c 16b 17c 18a 19a 20a 21a 22c 23b 24b 25d 1b 2a 3c 4b 5a 6a 7b 8b 9a 10a 11a 12a 13b 14a 15b 16a 17b 18b 19c 20a 21b 22b 23d 24a 25c 1a 2e 3a 4a 5a 6a 7c 8e 9b 10b 11a 12a 13c 14b 15d 16b 17a 18b 19d 20a 21a 22b 23c 24b 25b 1b 2c 3b 4b 5b 6a 7a 8c 9a 10a 11c 12b 13b 14d 15d 16a 17d 18c 19b 20a 21a 22c 23a 24a 25a 1b 2d 3d 4b 5c 6b 7e 8a 9a 10a 11b 12c 13b 14b 15a 16b 17d 18a 19a 20a 21b 22a 23b 24b 25b 1a 2b 3b 4a 5b 6b 7d 8d 9b 10c 11b 12b 13a 14d 15c 16a 17a 18a 19d 20a 21b 22a 23d 24a 25c 1c 2b 3d 4a 5c 6a 7d 8d 9a 10b 11a 12c 13c 14c 15a 16a 17b 18b 19c 20a 21a 22b 23a 24a 25d 1c 2d 3a 4b 5a 6b 7a 8c 9b 10c 11c 12a 13a 14b 15a 16b 17c 18c 19c 20a 21b 22c 23c 24a 25c 1a 2a 3c 4a 5b 6b 7e 8a 9b 10b 11c 12b 13c 14a 15c 16a 17b 18b 19b 20a 21a 22c 23c 24b 25a 1b 2e 3c 4a 5c 6a 7c 8e 9b 10c 11b 12c 13a 14d 15b 16b 17c 18a 19b 20a 21a 22a 23a 24b 25c 1a 2c 3b 4a 5c 6b 7b 8b 9b 10b 11a 12c 13a 14c 15d 16b 17d 18a 19c 20a 21b 22a 23c 24b 25a 1c 2c 3a 4a 5a 6b 7e 8d 9b 10c 11b 12a 13b 14a 15b 16a 17b 18c 19a 20a 21a 22b 23b 24a 25b 1c 2d 3c 4a 5a 6a 7a 8c 9a 10a 11a 12a 13c 14c 15c 16a 17d 18b 19b 20a 21b 22b 23d 24b 25d 1c 2e 3b 4b 5b 6a 7c 8e 9a 10c 11c 12b 13c 14a 15a 16a 17b 18a 19a 20a 21b 22b 23d 24b 25a 1c 2a 3a 4b 5a 6a 7b 8a 9a 10c 11b 12b 13c 14d 15b 16a 17a 18c 19d 20a 21a 22a 23a 24b 25d 1a 2b 3c 4b 5c 6a 7d 8c 9a 10a 11c 12b 13b 14a 15d 16a 17c 18c 19d 20a 21b 22c 23b 24b 25b 1b 2d 3d 4a 5b 6b 7a 8b 9b 10b 11a 12a 13b 14d 15b 16a 17a 18c 19d 20a 21b 22c 23b 24a 25a 1b 2a 3a 4a 5b 6a 7b 8b 9a 10a 11c 12c 13a 14b 15a 16a 17a 18a 19b 20a 21a 22c 23d 24a 25b 1b 2c 3b 4b 5a 6b 7e 8a 9a 10c 11b 12a 13a 14b 15d 16b 17a 18b 19a 20a 21b 22a 23d 24a 25d 1b 2e 3d 4b 5a 6a 7c 8a 9b 10c 11b 12c 13c 14c 15c 16b 17d 18a 19c 20a 21a 22c 23b 24a 25c 1a 2d 3a 4b 5c 6b 7a 8e 9a 10b 11a 12a 13a 14a 15c 16b 17d 18a 19c 20a 21a 22c 23a 24a 25b 1b 2c 3c 4a 5a 6b 7d 8d 9a 10b 11a 12b 13b 14d 15a 16b 17c 18a 19a 20a 21a 22c 23c 24b 25c 1c 2b 3a 4b 5b 6a 7e 8e 9a 10a 11b 12b 13a 14c 15b 16b 17d 18a 19d 20a 21a 22b 23c 24a 25a 1c 2a 3d 4b 5b 6b 7d 8e 9b 10b 11b 12b 13b 14c 15d 16b 17d 18a 19b 20a 21b 22b 23b 24a 25b 1a 2d 3d 4b 5b 6a 7a 8d 9a 10a 11b 12b 13c 14b 15d 16b 17b 18a 19d 20a 21b 22a 23c 24a 25d 1a 2e 3a 4a 5c 6a 7d 8b 9b 10c 11b 12a 13b 14b 15c 16a 17c 18a 19a 20a 21b 22b 23a 24a 25a 1a 2b 3c 4b 5c 6b 7c 8b 9b 10b 11c 12c 13b 14a 15a 16b 17a 18a 19d 20a 21a 22b 23d 24b 25d 1c 2e 3b 4b 5b 6b 7e 8c 9b 10b 11a 12c 13c 14d 15b 16b 17a 18a 19c 20a 21b 22b 23a 24b 25c 1b 2a 3b 4b 5c 6b 7b 8c 9b 10b 11b 12a 13c 14d 15c 16b 17c 18b 19d 20a 21b 22c 23d 24a 25b 1a 2e 3d 4b 5a 6b 7b 8d 9a 10a 11c 12c 13a 14d 15c 16a 17b 18b 19a 20a 21a 22a 23b 24b 25a 1c 2c 3d 4a 5b 6a 7c 8d 9a 10a 11a 12a 13a 14a 15a 16b 17c 18c 19d 20a 21b 22a 23a 24b 25b 1c 2b 3b 4a 5c 6a 7a 8a 9b 10c 11c 12a 13b 14c 15b 16a 17d 18b 19a 20a 21a 22a 23c 24b 25c 1b 2d 3c 4a 5c 6b 7b 8e 9b 10c 11a 12b 13a 14b 15d 16a 17b 18c 19b 20a 21a 22b 23b 24b 25d 1a 2d 3b 4a 5a 6b 7c 8c 9b 10c 11b 12c 13b 14c 15a 16b 17b 18b 19b 20a 21b 22c 23a 24a 25a 1c 2a 3c 4b 5b 6b 7c 8d 9a 10c 11a 12c 13b 14b 15d 16a 17c 18c 19c 20a 21a 22a 23d 24a 25a 1b 2d 3a 4a 5c 6b 7d 8a 9a 10a 11c 12b 13c 14c 15b 16b 17a 18c 19c 20a 21a 22b 23d 24b 25c 1b 2b 3a 4a 5b 6a 7b 8b 9b 10b 11b 12b 13b 14a 15a 16a 17d 18b 19c 20a 21b 22a 23b 24b 25d 1b 2c 3c 4b 5a 6a 7e 8e 9a 10b 11c 12c 13c 14c 15b 16a 17c 18c 19a 20a 21b 22b 23c 24a 25b 1c 2e 3b 4b 5a 6a 7a 8b 9a 10b 11c 12b 13a 14b 15c 16b 17a 18c 19b 20a 21a 22b 23b 24b 25c 1a 2b 3d 4b 5c 6a 7e 8b 9a 10c 11a 12a 13c 14d 15c 16b 17b 18c 19b 20a 21b 22a 23c 24b 25b 1a 2b 3a 4b 5b 6b 7b 8a 9a 10a 11a 12c 13c 14a 15d 16b 17c 18b 19a 20a 21b 22c 23a 24a 25c 1a 2c 3c 4b 5b 6b 7d 8c 9a 10a 11b 12a 13c 14c 15a 16a 17a 18b 19b 20a 21a 22a 23b 24a 25c 1a 2a 3a 4a 5c 6a 7e 8d 9b 10c 11c 12c 13a 14d 15d 16b 17d 18b 19d 20a 21b 22c 23a 24b 25d 1a 2e 3b 4a 5a 6b 7d 8e 9a 10a 11c 12a 13b 14d 15a 16b 17d 18c 19c 20a 21a 22a 23d 24a 25d 1a 2b 3d 4a 5a 6a 7a 8e 9a 10a 11b 12b 13b 14b 15d 16a 17a 18b 19c 20a 21b 22c 23a 24b 25a 1a 2a 3d 4a 5a 6b 7c 8c 9a 10a 11a 12b 13a 14a 15c 16a 17a 18a 19a 20a 21a 22b 23c 24a 25d 1c 2c 3a 4b 5c 6a 7d 8a 9b 10b 11a 12c 13a 14b 15b 16b 17b 18b 19b 20a 21b 22c 23d 24a 25a 1b 2e 3b 4b 5c 6b 7a 8d 9a 10a 11b 12c 13b 14a 15b 16b 17c 18b 19b 20a 21b 22b 23c 24b 25d 1b 2e 3c 4a 5b 6b 7c 8a 9a 10b 11c 12a 13a 14c 15d 16a 17b 18a 19d 20a 21b 22c 23a 24a 25b 1a 2a 3c 4b 5a 6b 7a 8b 9b 10c 11a 12b 13c 14c 15a 16a 17d 18c 19a 20a 21a 22a 23a 24a 25b 1a 2a 3b 4a 5b 6a 7b 8c 9a 10c 11a 12c 13b 14b 15c 16a 17d 18c 19d 20a 21a 22b 23c 24b 25c 1a 2d 3c 4a 5c 6a 7b 8d 9b 10c 11b 12a 13c 14a 15a 16b 17a 18c 19a 20a 21b 22c 23c 24a 25a 1a 2c 3d 4a 5c 6b 7e 8e 9b 10b 11c 12b 13b 14b 15c 16a 17c 18b 19d 20a 21a 22a 23d 24a 25c 1c 2d 3d 4b 5a 6a 7c 8b 9b 10c 11c 12c 13a 14a 15b 16a 17a 18b 19b 20a 21a 22a 23a 24b 25b 1a 2a 3b 4a 5a 6a 7d 8b 9a 10a 11a 12a 13c 14c 15d 16b 17c 18b 19d 20a 21a 22a 23b 24b 25a 1b 2c 3a 4a 5c 6a 7c 8c 9a 10a 11c 12a 13c 14d 15c 16b 17b 18a 19c 20a 21b 22b 23b 24b 25a 1c 2b 3c 4a 5a 6b 7a 8a 9b 10b 11b 12c 13a 14d 15a 16b 17b 18c 19c 20a 21b 22b 23c 24a 25b 1c 2b 3b 4a 5a 6a 7e 8c 9b 10b 11a 12a 13a 14a 15d 16a 17c 18a 19b 20a 21a 22c 23b 24a 25d 1b 2e 3d 4a 5b 6a 7d 8c 9b 10c 11a 12b 13a 14a 15b 16b 17d 18b 19a 20a 21a 22c 23d 24b 25b 1a 2a 3c 4b 5c 6b 7c 8e 9a 10a 11a 12a 13a 14d 15a 16a 17d 18b 19a 20a 21b 22c 23b 24b 25c 1c 2c 3c 4b 5c 6a 7b 8d 9b 10c 11c 12b 13b 14c 15c 16b 17a 18b 19c 20a 21b 22b 23a 24b 25b 1b 2d 3a 4b 5a 6a 7a 8d 9b 10c 11a 12c 13a 14c 15c 16a 17c 18a 19d 20a 21a 22a 23d 24b 25a 1c 2d 3a 4b 5b 6a 7e 8b 9a 10b 11b 12c 13c 14d 15d 16a 17d 18c 19a 20a 21a 22b 23d 24b 25c 1c 2e 3d 4a 5b 6a 7b 8a 9b 10b 11a 12a 13b 14b 15b 16a 17c 18c 19b 20a 21b 22a 23d 24a 25d 1b 2a 3b 4b 5c 6b 7d 8b 9b 10c 11b 12b 13c 14b 15b 16a 17b 18a 19c 20a 21a 22c 23c 24b 25d 1b 2e 3a 4b 5a 6a 7e 8c 9a 10a 11a 12b 13b 14a 15a 16a 17b 18c 19d 20a 21b 22a 23a 24a 25c 1c 2c 3c 4a 5a 6b 7d 8e 9b 10c 11a 12c 13c 14a 15c 16a 17d 18c 19d 20a 21b 22a 23b 24b 25a 1b 2b 3d 4a 5b 6a 7c 8d 9b 10c 11c 12a 13b 14c 15d 16a 17d 18c 19b 20a 21a 22b 23c 24a 25c 1c 2a 3d 4a 5c 6a 7e 8a 9a 10a 11c 12a 13b 14d 15d 16b 17a 18a 19c 20a 21b 22c 23c 24a 25c 1a 2c 3a 4a 5b 6b 7a 8e 9b 10c 11c 12c 13b 14d 15a 16b 17b 18a 19b 20a 21a 22b 23a 24b 25d 1c 2d 3b 4b 5a 6b 7b 8e 9a 10b 11c 12a 13b 14a 15b 16b 17b 18a 19d 20a 21a 22c 23b 24a 25c 1b 2b 3b 4a 5c 6a 7c 8a 9a 10a 11b 12b 13c 14b 15c 16b 17d 18c 19a 20a 21a 22b 23d 24b 25b 1b 2c 3d 4b 5b 6b 7a 8a 9a 10a 11b 12a 13a 14a 15a 16a 17a 18a 19c 20a 21a 22b 23d 24b 25a 1b 2a 3a 4b 5b 6b 7c 8c 9a 10b 11c 12b 13c 14b 15b 16b 17c 18b 19b 20a 21b 22a 23b 24a 25d 1c 2e 3c 4b 5b 6a 7e 8d 9a 10a 11b 12a 13c 14b 15c 16b 17d 18b 19c 20a 21b 22c 23b 24a 25b 1b 2d 3c 4b 5b 6a 7d 8a 9b 10b 11c 12c 13b 14d 15c 16a 17a 18b 19a 20a 21b 22a 23c 24a 25d 1c 2b 3b 4b 5b 6b 7c 8b 9a 10a 11a 12a 13a 14b 15b 16b 17b 18c 19a 20a 21b 22c 23a 24a 25d 1c 2b 3d 4b 5c 6b 7b 8c 9a 10a 11b 12c 13a 14c 15b 16b 17c 18c 19c 20a 21a 22b 23b 24b 25a 1b 2a 3b 4a 5c 6b 7e 8e 9b 10b 11a 12a 13b 14c 15a 16b 17a 18c 19b 20a 21b 22b 23a 24b 25a 1b 2b 3a 4b 5c 6b 7a 8c 9a 10c 11c 12c 13c 14d 15d 16b 17a 18a 19a 20a 21b 22a 23b 24b 25b 1c 2c 3c 4a 5a 6b 7c 8b 9b 10c 11b 12b 13b 14d 15d 16b 17b 18b 19d 20a 21a 22c 23d 24a 25c 1a 2e 3a 4b 5c 6b 7b 8d 9b 10b 11b 12b 13a 14c 15a 16a 17d 18b 19b 20a 21b 22c 23d 24a 25c 1c 2d 3b 4a 5a 6a 7d 8e 9a 10a 11b 12c 13c 14d 15d 16b 17c 18a 19b 20a 21b 22a 23c 24b 25b 1a 2e 3d 4a 5c 6b 7a 8a 9b 10c 11c 12b 13c 14d 15a 16b 17c 18b 19d 20a 21b 22b 23c 24a 25a 1b 2c 3d 4b 5a 6a 7d 8b 9a 10a 11c 12c 13a 14b 15d 16a 17c 18c 19c 20a 21b 22b 23a 24b 25c 1b 2e 3c 4a 5b 6b 7e 8b 9a 10c 11a 12b 13a 14c 15d 16a 17a 18c 19a 20a 21a 22a 23d 24a 25a 1b 2b 3d 4a 5a 6b 7b 8e 9b 10c 11a 12a 13c 14c 15d 16a 17b 18b 19c 20a 21b 22c 23d 24b 25b 1a 2c 3b 4b 5a 6a 7a 8d 9a 10b 11c 12a 13c 14a 15c 16a 17b 18c 19c 20a 21b 22c 23d 24a 25d 1c 2d 3c 4a 5c 6b 7e 8c 9b 10b 11b 12b 13b 14b 15b 16b 17c 18a 19a 20a 21a 22c 23a 24b 25d 1a 2d 3a 4a 5b 6a 7d 8a 9a 10c 11b 12a 13b 14a 15c 16b 17b 18c 19b 20a 21a 22a 23a 24a 25c 1b 2a 3c 4a 5c 6a 7a 8d 9a 10b 11a 12c 13a 14b 15b 16b 17a 18a 19d 20a 21b 22b 23b 24b 25b 1b 2c 3d 4b 5a 6a 7b 8c 9b 10b 11b 12c 13c 14b 15a 16a 17d 18a 19d 20a 21b 22b 23c 24a 25d 1c 2a 3b 4a 5a 6a 7d 8a 9b 10b 11c 12c 13a 14a 15a 16b 17a 18c 19a 20a 21b 22c 23b 24a 25b 1a 2d 3a 4a 5a 6b 7c 8d 9a 10b 11c 12b 13b 14a 15d 16a 17d 18c 19c 20a 21a 22b 23b 24b 25a 1b 2b 3c 4a 5b 6a 7b 8e 9a 10a 11a 12c 13b 14d 15c 16b 17c 18b 19b 20a 21a 22c 23c 24b 25a 1a 2c 3d 4b 5a 6b 7e 8a 9a 10a 11a 12b 13a 14c 15c 16a 17b 18a 19b 20a 21b 22b 23a 24b 25d 1c 2a 3a 4b 5b 6b 7a 8b 9a 10b 11b 12a 13a 14d 15a 16b 17c 18b 19a 20a 21b 22a 23c 24a 25a 1c 2e 3b 4b 5c 6a 7b 8c 9b 10b 11c 12b 13b 14c 15d 16b 17b 18c 19a 20a 21b 22a 23c 24a 25b 1a 2a 3a 4b 5b 6a 7c 8e 9b 10b 11c 12c 13c 14c 15c 16a 17c 18a 19c 20a 21a 22a 23a 24b 25c 1b 2d 3b 4a 5c 6b 7b 8b 9a 10a 11c 12a 13a 14d 15c 16b 17d 18b 19d 20a 21a 22b 23a 24a 25b 1a 2b 3b 4a 5a 6b 7e 8b 9b 10c 11c 12c 13c 14b 15a 16a 17b 18a 19d 20a 21a 22c 23b 24b 25c 1c 2e 3a 4b 5c 6b 7a 8a 9a 10a 11a 12a 13a 14a 15d 16a 17d 18a 19d 20a 21a 22c 23b 24b 25d 1c 2c 3b 4b 5b 6a 7c 8e 9a 10b 11b 12a 13a 14a 15b 16a 17a 18b 19c 20a 21a 22a 23c 24b 25c 1a 2e 3c 4b 5b 6b 7d 8b 9a 10b 11b 12c 13a 14b 15a 16b 17d 18c 19b 20a 21a 22b 23c 24b 25b 1c 2d 3b 4a 5b 6b 7c 8d 9a 10a 11a 12b 13b 14c 15b 16b 17a 18a 19a 20a 21a 22c 23d 24a 25b 1a 2e 3a 4b 5c 6b 7e 8c 9a 10c 11a 12c 13c 14a 15a 16a 17c 18c 19c 20a 21a 22c 23d 24b 25d 1b 2a 3d 4b 5a 6a 7d 8c 9a 10a 11c 12a 13b 14d 15b 16a 17b 18b 19a 20a 21a 22b 23a 24b 25b 1c 2e 3b 4a 5c 6b 7b 8a 9b 10b 11a 12b 13b 14b 15a 16b 17a 18a 19d 20a 21a 22b 23a 24a 25a 1b 2e 3a 4a 5b 6a 7a 8e 9b 10b 11b 12b 13c 14c 15b 16b 17b 18b 19a 20a 21a 22a 23b 24b 25d 1a 2c 3a 4a 5b 6b 7e 8d 9a 10b 11a 12c 13c 14d 15d 16a 17a 18a 19b 20a 21b 22a 23d 24b 25b 1b 2b 3a 4a 5a 6a 7c 8a 9a 10c 11b 12a 13a 14a 15a 16b 17c 18a 19b 20a 21b 22a 23d 24b 25a 1c 2d 3d 4b 5c 6b 7d 8c 9b 10b 11a 12a 13a 14d 15b 16a 17d 18b 19d 20a 21a 22a 23c 24b 25a 1c 2a 3a 4b 5a 6a 7e 8d 9a 10a 11b 12b 13c 14b 15a 16b 17b 18c 19b 20a 21a 22b 23c 24a 25c 1b 2a 3d 4a 5b 6b 7a 8e 9a 10c 11b 12c 13c 14a 15b 16b 17d 18c 19d 20a 21b 22c 23d 24a 25c 1c 2e 3a 4a 5a 6b 7d 8b 9a 10a 11a 12b 13c 14a 15c 16a 17a 18b 19c 20a 21b 22c 23c 24a 25b 1c 2c 3c 4a 5b 6a 7a 8a 9a 10b 11c 12a 13b 14b 15b 16a 17d 18a 19a 20a 21a 22c 23a 24b 25c 1c 2b 3d 4b 5c 6a 7a 8e 9a 10b 11c 12b 13a 14d 15c 16a 17a 18a 19c 20a 21b 22a 23b 24a 25d 1b 2d 3c 4a 5c 6a 7c 8a 9b 10c 11a 12a 13c 14a 15d 16a 17c 18b 19d 20a 21a 22c 23c 24a 25d 1b 2b 3a 4a 5b 6a 7b 8c 9a 10c 11b 12a 13a 14b 15c 16a 17b 18b 19d 20a 21a 22b 23a 24b 25b 1b 2d 3d 4b 5a 6a 7e 8c 9a 10b 11c 12c 13b 14c 15c 16a 17a 18b 19c 20a 21a 22a 23b 24b 25a 1c 2c 3a 4b 5c 6a 7a 8b 9a 10a 11b 12b 13b 14c 15d 16a 17c 18b 19b 20a 21a 22b 23d 24a 25b 1a 2c 3b 4b 5c 6a 7c 8d 9b 10b 11c 12c 13a 14d 15a 16a 17c 18c 19a 20a 21a 22b 23b 24b 25d 1b 2c 3c 4b 5b 6b 7b 8d 9a 10a 11a 12a 13a 14d 15b 16a 17b 18a 19c 20a 21a 22a 23c 24b 25d 1b 2c 3b 4a 5c 6a 7d 8e 9b 10c 11c 12b 13c 14a 15d 16a 17a 18c 19d 20a 21b 22b 23a 24a 25d 1a 2d 3d 4b 5b 6b 7e 8e 9a 10c 11b 12a 13b 14b 15a 16b 17b 18b 19a 20a 21a 22b 23c 24a 25a 1c 2b 3c 4a 5a 6a 7a 8e 9a 10a 11a 12a 13a 14b 15c 16a 17a 18c 19a 20a 21b 22b 23c 24b 25c 1a 2d 3c 4b 5b 6b 7b 8c 9a 10b 11b 12c 13a 14b 15d 16a 17a 18c 19c 20a 21b 22a 23d 24a 25b 1c 2a 3d 4b 5b 6b 7c 8a 9b 10c 11b 12c 13b 14d 15b 16a 17d 18a 19b 20a 21a 22c 23b 24a 25a 1a 2d 3d 4a 5c 6a 7d 8b 9a 10c 11a 12b 13b 14c 15a 16a 17d 18a 19d 20a 21b 22c 23c 24a 25c 1b 2b 3b 4b 5a 6b 7e 8d 9a 10a 11a 12c 13a 14d 15b 16b 17d 18b 19a 20a 21b 22c 23d 24b 25a 1b 2e 3b 4a 5c 6a 7d 8d 9a 10a 11b 12c 13b 14b 15d 16a 17b 18c 19d 20a 21b 22c 23b 24a 25c 1b 2a 3c 4b 5a 6a 7b 8a 9a 10a 11c 12b 13a 14c 15d 16a 17b 18c 19d 20a 21a 22b 23d 24a 25a 1b 2e 3c 4a 5a 6b 7a 8b 9a 10b 11c 12c 13a 14a 15b 16b 17b 18c 19c 20a 21b 22c 23a 24b 25a 1c 2a 3d 4a 5c 6b 7c 8b 9b 10b 11b 12c 13c 14b 15c 16a 17b 18b 19c 20a 21a 22a 23b 24a 25b 1c 2a 3a 4a 5b 6b 7d 8c 9b 10c 11c 12a 13b 14b 15a 16b 17d 18a 19c 20a 21a 22c 23d 24b 25a 1b 2c 3a 4a 5a 6a 7b 8a 9a 10c 11b 12a 13a 14a 15c 16b 17c 18c 19b 20a 21b 22a 23c 24b 25c 1c 2a 3b 4b 5b 6a 7e 8b 9a 10a 11b 12a 13b 14a 15b 16b 17c 18b 19d 20a 21b 22a 23a 24b 25b 1c 2b 3d 4b 5b 6a 7a 8e 9a 10a 11a 12b 13b 14a 15a 16b 17b 18c 19b 20a 21b 22a 23d 24b 25b 1c 2c 3a 4b 5b 6b 7c 8c 9a 10c 11a 12b 13a 14c 15b 16a 17d 18a 19d 20a 21b 22a 23a 24a 25b 1c 2d 3b 4b 5a 6b 7c 8d 9a 10a 11b 12c 13c 14b 15d 16b 17c 18b 19a 20a 21b 22a 23a 24a 25c 1a 2e 3d 4a 5a 6b 7b 8b 9b 10c 11b 12a 13c 14d 15d 16a 17a 18c 19b 20a 21a 22c 23a 24a 25d 1c 2e 3a 4b 5b 6a 7d 8a 9a 10b 11c 12a 13c 14c 15a 16b 17c 18a 19a 20a 21a 22b 23b 24a 25c 1a 2b 3d 4b 5a 6b 7e 8a 9b 10c 11a 12c 13b 14c 15c 16b 17a 18c 19d 20a 21b 22c 23c 24b 25d 1c 2a 3c 4a 5a 6a 7b 8e 9a 10a 11b 12a 13b 14b 15d 16b 17d 18a 19a 20a 21b 22b 23a 24b 25d 1c 2a 3b 4b 5b 6b 7a 8d 9a 10a 11a 12a 13b 14a 15c 16b 17d 18a 19b 20a 21b 22b 23d 24b 25c 1b 2b 3c 4b 5c 6a 7c 8c 9b 10c 11a 12a 13c 14d 15a 16b 17a 18c 19b 20a 21a 22c 23c 24a 25b 1a 2d 3a 4b 5b 6b 7d 8c 9a 10a 11a 12b 13c 14d 15d 16a 17b 18b 19c 20a 21a 22b 23b 24b 25d 1c 2d 3c 4b 5a 6a 7e 8e 9b 10c 11a 12a 13a 14c 15d 16a 17b 18c 19c 20a 21b 22c 23d 24a 25c 1c 2d 3b 4b 5a 6a 7a 8a 9a 10a 11b 12b 13a 14b 15c 16a 17b 18a 19a 20a 21a 22b 23c 24b 25a 1b 2b 3d 4a 5c 6b 7b 8d 9a 10c 11c 12b 13b 14a 15b 16a 17a 18a 19b 20a 21a 22c 23b 24b 25b 1c 2c 3b 4a 5c 6a 7d 8e 9a 10a 11a 12c 13a 14b 15b 16b 17c 18b 19a 20a 21a 22c 23b 24b 25b 1b 2a 3d 4b 5b 6a 7e 8c 9a 10c 11b 12b 13a 14c 15b 16a 17d 18c 19b 20a 21a 22c 23d 24a 25d 1b 2d 3d 4a 5c 6a 7b 8b 9a 10b 11c 12c 13b 14d 15a 16a 17c 18a 19a 20a 21a 22a 23d 24b 25c 1a 2e 3c 4a 5c 6b 7c 8a 9a 10b 11c 12a 13b 14b 15c 16a 17d 18a 19c 20a 21a 22a 23a 24a 25d 1c 2c 3d 4b 5a 6b 7e 8b 9a 10a 11b 12a 13b 14a 15b 16b 17d 18b 19c 20a 21a 22c 23a 24b 25b 1b 2e 3c 4b 5a 6b 7b 8d 9a 10c 11a 12a 13b 14a 15d 16b 17c 18a 19c 20a 21a 22c 23c 24a 25b 1a 2b 3d 4b 5b 6a 7d 8b 9b 10b 11a 12b 13b 14a 15d 16b 17a 18a 19a 20a 21a 22b 23d 24a 25a 1a 2e 3c 4a 5a 6b 7a 8c 9a 10a 11b 12a 13a 14c 15a 16a 17c 18b 19b 20a 21a 22c 23b 24b 25a 1b 2b 3a 4a 5a 6b 7c 8b 9a 10b 11c 12c 13c 14c 15b 16b 17b 18c 19d 20a 21a 22b 23b 24a 25a 1b 2a 3d 4a 5a 6a 7a 8d 9b 10c 11c 12c 13a 14c 15a 16a 17a 18b 19c 20a 21a 22c 23a 24a 25d 1a 2b 3b 4a 5a 6b 7e 8e 9a 10a 11c 12b 13b 14c 15c 16a 17d 18c 19c 20a 21a 22b 23b 24a 25d 1c 2a 3a 4b 5b 6a 7b 8a 9a 10b 11a 12c 13b 14a 15b 16b 17d 18a 19c 20a 21b 22c 23c 24a 25b 1a 2a 3d 4a 5c 6b 7d 8d 9b 10b 11a 12b 13a 14c 15c 16a 17c 18c 19a 20a 21b 22a 23d 24b 25d 1a 2c 3d 4b 5a 6a 7c 8a 9a 10a 11b 12a 13c 14d 15d 16b 17a 18c 19b 20a 21a 22c 23d 24b 25b 1a 2b 3c 4b 5b 6b 7e 8e 9a 10b 11c 12a 13c 14d 15a 16b 17c 18b 19d 20a 21a 22c 23a 24b 25d 1b 2e 3a 4b 5a 6b 7c 8c 9a 10a 11b 12a 13a 14b 15a 16b 17a 18a 19a 20a 21b 22b 23b 24a 25a 1c 2d 3b 4a 5c 6a 7b 8d 9a 10a 11b 12b 13b 14d 15a 16b 17b 18c 19d 20a 21b 22c 23c 24b 25d 1b 2c 3b 4a 5c 6b 7a 8c 9b 10b 11a 12c 13a 14a 15b 16b 17c 18c 19d 20a 21a 22a 23a 24a 25a 1b 2d 3c 4b 5b 6b 7e 8b 9a 10a 11a 12b 13c 14a 15c 16b 17a 18c 19b 20a 21b 22a 23d 24a 25d 1a 2b 3c 4a 5a 6a 7d 8b 9a 10b 11c 12b 13a 14d 15a 16b 17c 18a 19c 20a 21a 22a 23c 24a 25c 1b 2c 3b 4a 5a 6b 7e 8d 9b 10c 11a 12c 13a 14b 15c 16a 17c 18b 19a 20a 21b 22c 23c 24b 25a 1b 2d 3d 4a 5a 6a 7c 8e 9b 10b 11b 12c 13b 14d 15c 16a 17b 18b 19b 20a 21b 22a 23c 24a 25a 1c 2a 3c 4a 5c 6b 7d 8a 9b 10b 11a 12a 13c 14b 15d 16a 17b 18c 19d 20a 21b 22a 23b 24b 25c 1a 2e 3b 4b 5b 6a 7a 8b 9a 10b 11c 12b 13c 14d 15a 16b 17b 18a 19d 20a 21b 22b 23d 24b 25b 1a 2e 3d 4b 5a 6a 7e 8d 9a 10b 11c 12a 13a 14c 15d 16a 17b 18b 19b 20a 21b 22a 23a 24a 25d 1a 2d 3b 4a 5b 6a 7b 8a 9a 10b 11c 12c 13c 14c 15a 16b 17b 18b 19b 20a 21a 22a 23b 24a 25b 1b 2e 3a 4b 5a 6a 7b 8e 9a 10c 11b 12a 13c 14d 15b 16b 17a 18c 19a 20a 21a 22a 23d 24b 25c 1a 2b 3a 4b 5a 6a 7d 8c 9a 10a 11b 12c 13c 14a 15c 16a 17a 18a 19d 20a 21a 22a 23c 24b 25c 1c 2e 3a 4b 5a 6b 7d 8d 9b 10c 11a 12c 13b 14a 15d 16a 17a 18b 19a 20a 21b 22c 23a 24a 25b 1c 2a 3b 4b 5a 6b 7c 8a 9b 10b 11b 12a 13b 14c 15a 16a 17c 18b 19d 20a 21b 22b 23c 24a 25d 1b 2b 3a 4b 5c 6b 7a 8d 9a 10c 11c 12c 13a 14d 15b 16b 17c 18c 19d 20a 21a 22b 23c 24a 25c 1b 2c 3c 4a 5b 6b 7c 8c 9b 10c 11c 12b 13c 14b 15d 16a 17b 18a 19a 20a 21a 22b 23d 24a 25c 1b 2e 3d 4a 5c 6a 7e 8e 9a 10a 11a 12a 13a 14a 15b 16a 17c 18b 19d 20a 21b 22c 23c 24a 25c 1c 2b 3c 4a 5b 6a 7a 8b 9b 10c 11c 12b 13b 14b 15d 16a 17c 18c 19c 20a 21b 22a 23d 24b 25d 1a 2c 3a 4a 5a 6b 7b 8e 9b 10c 11a 12b 13c 14a 15a 16b 17d 18a 19b 20a 21b 22b 23d 24b 25a 1c 2d 3c 4a 5c 6a 7d 8d 9a 10a 11c 12c 13c 14b 15b 16b 17a 18a 19b 20a 21a 22b 23d 24a 25d 1c 2b 3c 4a 5a 6a 7c 8e 9a 10b 11a 12c 13a 14c 15a 16a 17c 18b 19c 20a 21b 22b 23a 24b 25a 1b 2a 3a 4a 5a 6b 7e 8a 9b 10b 11c 12a 13b 14d 15b 16a 17c 18b 19a 20a 21b 22c 23b 24b 25b 1c 2c 3d 4b 5a 6a 7e 8c 9a 10c 11c 12a 13a 14a 15a 16b 17d 18b 19a 20a 21b 22b 23b 24b 25b 1c 2c 3c 4b 5c 6a 7a 8b 9a 10c 11a 12a 13b 14b 15a 16b 17a 18c 19b 20a 21b 22a 23b 24a 25a 1c 2e 3a 4a 5b 6a 7c 8d 9a 10a 11c 12a 13a 14d 15c 16a 17b 18a 19c 20a 21b 22a 23d 24b 25c 1c 2c 3d 4a 5a 6b 7d 8a 9a 10b 11c 12a 13c 14d 15d 16b 17d 18a 19d 20a 21a 22c 23b 24a 25d 1c 2b 3b 4a 5a 6b 7b 8c 9a 10a 11c 12a 13c 14a 15b 16a 17d 18b 19b 20a 21a 22b 23d 24b 25a 1a 2b 3b 4b 5a 6a 7a 8e 9a 10a 11a 12b 13c 14c 15a 16b 17c 18a 19a 20a 21b 22a 23d 24a 25d 1a 2d 3a 4a 5c 6b 7e 8b 9b 10b 11c 12a 13a 14b 15c 16a 17b 18b 19d 20a 21a 22b 23d 24a 25a 1c 2a 3c 4b 5a 6b 7b 8c 9b 10b 11c 12c 13a 14b 15c 16a 17c 18c 19b 20a 21a 22a 23b 24a 25a 1c 2d 3a 4a 5a 6a 7d 8e 9a 10a 11c 12c 13a 14c 15a 16a 17a 18c 19c 20a 21b 22c 23b 24b 25c 1b 2a 3d 4b 5b 6a 7b 8d 9b 10b 11b 12c 13b 14c 15b 16a 17d 18a 19a 20a 21a 22a 23b 24a 25d 1a 2e 3d 4a 5a 6b 7e 8a 9a 10c 11a 12a 13c 14b 15c 16b 17d 18a 19c 20a 21b 22b 23d 24a 25a 1b 2d 3a 4a 5a 6a 7c 8b 9a 10c 11b 12c 13b 14c 15a 16a 17d 18c 19c 20a 21a 22b 23c 24a 25a 1b 2a 3c 4b 5c 6a 7a 8a 9a 10a 11b 12c 13c 14b 15b 16a 17d 18b 19b 20a 21b 22b 23a 24a 25a 1c 2b 3a 4b 5a 6a 7d 8a 9a 10c 11c 12c 13c 14b 15a 16a 17d 18b 19d 20a 21b 22b 23b 24a 25a 1a 2d 3c 4b 5b 6b 7e 8c 9b 10b 11b 12b 13a 14a 15c 16a 17c 18b 19b 20a 21a 22a 23c 24b 25b 1b 2d 3c 4b 5a 6b 7e 8d 9a 10b 11b 12b 13b 14a 15b 16a 17c 18c 19b 20a 21a 22a 23b 24b 25c 1a 2b 3a 4a 5c 6b 7d 8e 9a 10c 11c 12b 13b 14c 15c 16b 17b 18b 19a 20a 21b 22c 23c 24b 25b 1b 2c 3b 4a 5c 6b 7a 8d 9a 10b 11b 12b 13c 14c 15c 16b 17d 18a 19a 20a 21b 22a 23c 24a 25d 1c 2a 3b 4a 5c 6a 7d 8e 9b 10b 11c 12b 13b 14a 15c 16a 17b 18c 19b 20a 21b 22c 23c 24b 25a 1b 2e 3c 4b 5c 6b 7c 8b 9a 10c 11c 12a 13c 14c 15d 16b 17c 18a 19d 20a 21b 22a 23c 24b 25a 1c 2d 3a 4a 5c 6a 7b 8d 9a 10a 11b 12b 13c 14b 15c 16b 17d 18c 19b 20a 21b 22c 23b 24b 25a 1b 2e 3b 4b 5a 6a 7d 8c 9b 10c 11b 12b 13c 14c 15c 16b 17b 18c 19b 20a 21b 22a 23b 24a 25d # test14: (don't use a -n) (more than 10 dimensions) (a dimensions with 3 to 9 features) (very different size dimensions) (no restrictions) (no deduced restrictions) (no duplicate restrictions) (no -s) ./jenny 5 2 4 3 6 5 2 4 2 2 4 6 5 2 4 4 3 2 2 4 5 5 3 2 4 4 2 5 5 4 3 2 1a 2a 3a 4a 5e 6b 7b 8b 9b 10a 11a 12a 13c 14a 15a 16d 17b 18b 19a 20d 21b 22b 23a 24b 25a 26d 27a 28e 29c 30d 31a 32b 1b 2b 3b 4c 5a 6d 7a 8a 9a 10b 11b 12b 13e 14b 15d 16b 17a 18a 19b 20a 21d 22c 23c 24a 25b 26b 27b 28a 29d 30a 31c 32a 1c 2a 3c 4b 5f 6e 7a 8c 9b 10b 11c 12e 13a 14b 15b 16a 17c 18a 19b 20b 21c 22e 23b 24b 25c 26a 27a 28d 29e 30c 31b 32b 1d 2b 3d 4b 5b 6a 7b 8d 9a 10a 11d 12c 13d 14a 15c 16c 17c 18b 19a 20c 21e 22a 23b 24a 25d 26c 27b 28b 29a 30b 31b 32a 1e 2b 3c 4c 5d 6c 7b 8a 9a 10a 11c 12d 13b 14a 15b 16a 17b 18b 19a 20b 21a 22d 23a 24a 25c 26a 27b 28c 29b 30a 31a 32a 1e 2a 3d 4a 5c 6c 7a 8d 9b 10b 11d 12f 13b 14b 15a 16c 17a 18a 19b 20d 21a 22d 23c 24b 25d 26c 27a 28c 29b 30b 31c 32b 1b 2a 3a 4c 5d 6a 7a 8c 9b 10b 11b 12d 13d 14b 15c 16b 17b 18a 19b 20c 21e 22a 23a 24b 25b 26d 27a 28b 29a 30d 31a 32b 1a 2b 3b 4a 5c 6e 7b 8c 9a 10a 11a 12f 13a 14a 15d 16d 17a 18b 19a 20a 21c 22e 23c 24a 25a 26b 27b 28d 29e 30c 31c 32a 1b 2b 3b 4b 5f 6b 7a 8b 9a 10a 11b 12e 13c 14b 15a 16b 17c 18a 19a 20d 21b 22b 23b 24a 25b 26b 27b 28e 29c 30b 31b 32a 1c 2b 3a 4b 5a 6d 7b 8d 9b 10a 11d 12e 13e 14a 15d 16c 17b 18b 19a 20a 21d 22c 23a 24b 25d 26d 27a 28a 29d 30d 31a 32b 1d 2a 3c 4a 5b 6b 7a 8a 9b 10b 11c 12c 13c 14b 15c 16a 17a 18a 19b 20c 21d 22b 23c 24b 25a 26a 27a 28e 29c 30a 31c 32b 1b 2a 3d 4c 5e 6d 7b 8b 9a 10b 11a 12a 13e 14b 15b 16d 17c 18a 19b 20b 21a 22c 23b 24a 25a 26c 27b 28a 29d 30b 31b 32a 1a 2a 3b 4a 5e 6a 7a 8b 9b 10b 11c 12b 13d 14a 15b 16a 17a 18b 19b 20b 21b 22a 23c 24b 25c 26b 27b 28b 29a 30d 31c 32b 1a 2a 3a 4b 5a 6c 7b 8a 9a 10a 11a 12b 13b 14b 15c 16d 17c 18b 19b 20c 21c 22d 23b 24a 25b 26d 27a 28c 29b 30d 31b 32a 1d 2a 3d 4c 5b 6e 7b 8d 9b 10b 11b 12b 13a 14a 15a 16b 17b 18b 19a 20d 21c 22e 23a 24a 25b 26c 27b 28d 29e 30c 31a 32b 1a 2a 3d 4c 5f 6b 7b 8c 9a 10b 11d 12d 13c 14a 15d 16c 17c 18a 19b 20a 21b 22b 23b 24b 25d 26c 27a 28d 29c 30a 31c 32b 1a 2b 3c 4a 5c 6d 7a 8c 9b 10b 11c 12f 13e 14b 15a 16a 17b 18a 19a 20d 21e 22c 23a 24b 25c 26a 27b 28a 29d 30b 31b 32a 1c 2b 3c 4b 5f 6a 7a 8a 9a 10a 11a 12a 13d 14b 15d 16d 17a 18b 19a 20a 21e 22a 23c 24a 25a 26a 27b 28b 29a 30a 31b 32a 1e 2a 3b 4a 5d 6e 7a 8b 9a 10b 11d 12a 13a 14a 15c 16c 17c 18a 19a 20c 21d 22e 23a 24a 25d 26b 27a 28e 29e 30c 31b 32b 1a 2b 3b 4a 5e 6c 7a 8b 9a 10b 11b 12c 13b 14b 15d 16b 17b 18a 19a 20a 21e 22d 23b 24b 25a 26b 27a 28c 29b 30c 31a 32a 1e 2a 3a 4b 5a 6b 7a 8d 9a 10a 11b 12f 13c 14a 15b 16b 17a 18b 19b 20b 21a 22b 23b 24a 25a 26d 27b 28b 29c 30c 31c 32b 1b 2b 3a 4c 5c 6e 7a 8a 9a 10a 11d 12c 13a 14a 15c 16a 17c 18b 19a 20a 21a 22b 23c 24b 25c 26d 27b 28d 29e 30b 31a 32a 1c 2b 3d 4c 5d 6a 7a 8d 9b 10b 11a 12e 13d 14b 15a 16d 17a 18a 19a 20d 21d 22d 23a 24b 25c 26c 27a 28e 29b 30a 31c 32b 1d 2b 3a 4a 5f 6d 7b 8d 9a 10a 11c 12d 13b 14b 15c 16d 17b 18b 19b 20c 21b 22c 23c 24b 25c 26b 27a 28a 29d 30c 31c 32b 1a 2b 3c 4a 5b 6c 7a 8c 9a 10b 11d 12b 13c 14b 15b 16c 17a 18a 19a 20b 21a 22e 23c 24b 25b 26a 27a 28e 29a 30d 31a 32a 1e 2b 3c 4a 5a 6e 7b 8b 9a 10a 11a 12d 13e 14a 15a 16b 17a 18a 19a 20d 21c 22a 23a 24a 25d 26a 27b 28d 29a 30d 31b 32a 1c 2b 3a 4b 5c 6a 7b 8b 9b 10b 11b 12f 13e 14b 15c 16b 17c 18a 19b 20c 21b 22e 23b 24b 25c 26a 27b 28c 29c 30a 31a 32b 1d 2b 3d 4b 5b 6b 7b 8c 9a 10a 11c 12a 13b 14a 15d 16a 17b 18a 19b 20b 21d 22d 23b 24a 25c 26b 27b 28c 29a 30b 31c 32a 1b 2b 3c 4a 5e 6e 7a 8a 9b 10b 11c 12e 13b 14a 15c 16c 17a 18b 19b 20d 21c 22e 23c 24b 25d 26d 27a 28b 29d 30a 31c 32a 1a 2a 3c 4b 5d 6d 7b 8d 9a 10b 11b 12c 13a 14b 15a 16a 17a 18b 19a 20b 21b 22d 23c 24a 25d 26c 27b 28b 29e 30d 31a 32a 1e 2a 3b 4b 5b 6a 7b 8a 9b 10a 11d 12e 13d 14a 15a 16d 17a 18a 19a 20a 21c 22c 23a 24a 25a 26c 27a 28a 29a 30c 31c 32a 1d 2a 3d 4a 5f 6c 7a 8c 9b 10b 11a 12c 13e 14b 15b 16a 17a 18b 19a 20a 21d 22c 23a 24a 25b 26d 27a 28b 29b 30d 31a 32b 1c 2a 3b 4b 5e 6c 7a 8d 9a 10a 11c 12d 13a 14b 15a 16b 17b 18a 19a 20c 21d 22a 23c 24b 25b 26a 27b 28d 29e 30a 31c 32a 1c 2b 3a 4a 5a 6b 7b 8c 9a 10a 11c 12c 13a 14a 15b 16d 17a 18a 19b 20d 21e 22e 23b 24a 25d 26c 27b 28a 29e 30b 31c 32a 1e 2b 3d 4a 5d 6d 7b 8a 9b 10b 11c 12b 13c 14b 15d 16c 17c 18b 19a 20a 21c 22b 23b 24a 25a 26a 27b 28e 29d 30b 31a 32b 1d 2b 3b 4c 5c 6b 7b 8b 9b 10b 11d 12e 13d 14a 15d 16b 17c 18a 19b 20c 21a 22a 23c 24b 25b 26d 27b 28c 29d 30c 31a 32a 1c 2b 3c 4c 5c 6d 7b 8a 9b 10b 11b 12f 13c 14b 15c 16c 17a 18a 19a 20b 21e 22a 23a 24b 25c 26b 27b 28e 29a 30d 31c 32b 1b 2b 3a 4a 5b 6d 7b 8d 9a 10b 11a 12a 13d 14b 15b 16b 17c 18b 19b 20c 21b 22e 23c 24a 25b 26a 27b 28d 29b 30c 31b 32a 1e 2a 3c 4a 5f 6e 7a 8c 9a 10b 11a 12b 13c 14b 15d 16c 17a 18b 19a 20d 21e 22d 23c 24a 25b 26a 27b 28a 29c 30d 31b 32a 1c 2a 3d 4a 5b 6c 7a 8b 9a 10a 11b 12e 13e 14a 15a 16d 17c 18b 19b 20d 21e 22b 23c 24a 25c 26d 27a 28a 29d 30c 31b 32a 1c 2a 3d 4c 5a 6a 7a 8d 9b 10b 11c 12d 13b 14a 15c 16a 17b 18a 19a 20a 21a 22c 23c 24a 25c 26b 27a 28e 29e 30b 31a 32a 1b 2b 3b 4a 5f 6e 7b 8b 9a 10b 11c 12f 13c 14a 15b 16c 17b 18b 19a 20d 21d 22c 23c 24b 25b 26b 27b 28c 29e 30d 31b 32a 1c 2b 3d 4c 5d 6b 7a 8d 9b 10b 11c 12b 13a 14b 15c 16a 17c 18a 19b 20c 21c 22c 23a 24a 25d 26a 27b 28d 29c 30b 31a 32a 1b 2b 3b 4b 5a 6c 7b 8a 9a 10b 11b 12a 13d 14b 15a 16c 17c 18b 19b 20b 21b 22b 23b 24a 25a 26a 27a 28c 29e 30d 31b 32b 1d 2a 3b 4a 5d 6b 7a 8b 9b 10a 11a 12f 13e 14a 15c 16c 17b 18b 19b 20c 21e 22d 23b 24a 25a 26b 27a 28d 29b 30c 31c 32a 1b 2a 3d 4a 5c 6a 7a 8a 9a 10a 11c 12a 13a 14b 15b 16a 17b 18a 19a 20b 21c 22d 23a 24a 25a 26d 27b 28d 29d 30b 31c 32b 1e 2b 3c 4b 5e 6e 7b 8c 9a 10a 11d 12f 13d 14b 15b 16d 17c 18b 19a 20c 21b 22a 23b 24a 25b 26a 27b 28a 29b 30b 31b 32b 1a 2a 3c 4a 5c 6d 7b 8a 9b 10a 11d 12d 13b 14b 15b 16c 17a 18a 19b 20d 21d 22a 23b 24a 25a 26b 27b 28b 29c 30a 31a 32a 1e 2b 3a 4a 5d 6a 7b 8b 9b 10b 11b 12c 13c 14b 15a 16c 17a 18b 19a 20c 21c 22b 23b 24a 25c 26c 27b 28a 29b 30c 31b 32a 1a 2b 3a 4c 5f 6d 7a 8c 9b 10b 11a 12e 13a 14a 15d 16d 17b 18a 19b 20c 21a 22a 23c 24b 25b 26d 27a 28c 29b 30a 31a 32b 1d 2b 3c 4a 5e 6a 7a 8c 9b 10b 11d 12f 13b 14b 15b 16a 17a 18a 19b 20c 21b 22b 23c 24b 25d 26b 27b 28d 29a 30b 31c 32a 1b 2b 3a 4c 5b 6c 7b 8a 9a 10b 11c 12d 13d 14b 15d 16b 17a 18b 19a 20a 21c 22e 23b 24b 25c 26a 27a 28b 29c 30a 31a 32a 1e 2a 3c 4c 5b 6e 7b 8d 9a 10a 11a 12f 13e 14b 15c 16c 17c 18a 19a 20b 21c 22c 23c 24a 25d 26a 27b 28e 29e 30c 31a 32a 1d 2a 3b 4a 5a 6e 7b 8b 9a 10b 11b 12c 13c 14b 15b 16b 17b 18a 19b 20a 21c 22c 23c 24b 25a 26b 27b 28b 29d 30a 31b 32b 1e 2b 3d 4b 5c 6c 7b 8c 9b 10b 11a 12b 13a 14a 15d 16a 17c 18a 19b 20b 21b 22a 23a 24b 25d 26a 27b 28c 29a 30d 31a 32a # test15: (use -n2) (put -n in the middle of the dimensions) (n dimensions) (a dimension of size 2) (all dimensions equal size) (one restriction) (no deduced restrictions) (no duplicate restrictions) (a restriction has -n features) (one -s) (put -s last) ./jenny 2 -n2 -w1b2b 2 -s7 1a 2b 1b 2a 1a 2a # test16: (use -n2) (put -n last) (between n and 10 dimensions) (a dimension of size 2) (very different size dimensions) (several restrictions) (some deduced restrictions) (some restrictions partially duplicated) (a restriction has less than -n features) (a restriction comes before the dimensions it constrains) (several -s) (put -s in the middle) ./jenny -w3abcABC6aabbcc -w6de7ab -w3tuvwxyz -w7c4a -w3t4a5b 2 2 30 -s0 2 \ -s1 2 5 4 3 -n2 Could not cover tuple 3B 7b Could not cover tuple 3B 7a Could not cover tuple 3A 7a Could not cover tuple 3C 7b Could not cover tuple 3c 7a Could not cover tuple 3c 7b Could not cover tuple 3b 7a Could not cover tuple 3b 7b Could not cover tuple 3a 7a Could not cover tuple 3a 7b Could not cover tuple 3A 7b Could not cover tuple 3C 7a 1a 2a 3h 4b 5b 6b 7d 8a 1b 2b 3r 4a 5a 6c 7a 8c 1b 2a 3a 4b 5a 6e 7c 8b 1a 2b 3b 4a 5b 6d 7d 8b 1a 2a 3c 4b 5a 6d 7c 8c 1b 2a 3d 4a 5b 6a 7b 8a 1a 2b 3e 4b 5a 6a 7b 8c 1a 2a 3f 4b 5b 6c 7a 8a 1a 2b 3g 4b 5b 6e 7c 8a 1b 2b 3i 4a 5a 6b 7d 8c 1b 2b 3j 4a 5a 6d 7d 8a 1a 2b 3k 4a 5a 6b 7b 8b 1b 2a 3l 4a 5b 6b 7a 8b 1a 2a 3m 4a 5a 6a 7d 8b 1a 2a 3n 4b 5a 6b 7c 8c 1b 2a 3o 4a 5a 6e 7d 8b 1b 2b 3p 4b 5b 6a 7a 8c 1a 2b 3q 4b 5a 6c 7b 8b 1a 2b 3s 4a 5a 6e 7d 8c 1b 2b 3A 4b 5b 6d 7d 8c 1a 2b 3B 4a 5a 6e 7d 8c 1b 2a 3C 4b 5a 6e 7c 8b 1a 2b 3D 4b 5a 6c 7c 8c 1a 2b 3C 4a 5b 6d 7d 8a 1b 2a 3D 4a 5b 6a 7a 8b 1a 2b 3D 4b 5a 6b 7b 8a 1a 2a 3r 4b 5b 6d 7d 8a 1b 2a 3q 4a 5b 6a 7a 8c 1b 2a 3r 4a 5a 6a 7b 8b 1a 2a 3A 4b 5a 6e 7c 8a 1b 2a 3q 4b 5b 6d 7d 8a 1b 2a 3s 4b 5b 6b 7a 8a 1b 2b 3s 4a 5b 6a 7b 8b 1a 2b 3q 4b 5a 6e 7c 8a 1a 2a 3p 4a 5a 6d 7d 8a 1a 2b 3o 4b 5b 6b 7a 8c 1a 2a 3p 4b 5a 6b 7b 8b 1a 2b 3p 4b 5a 6c 7c 8a 1b 2a 3o 4b 5a 6d 7c 8a 1a 2b 3p 4b 5b 6e 7d 8c 1b 2b 3n 4a 5b 6a 7a 8b 1b 2b 3o 4b 5b 6a 7b 8a 1b 2b 3n 4b 5b 6d 7d 8a 1a 2a 3n 4b 5b 6e 7d 8c 1b 2b 3m 4b 5b 6c 7a 8c 1b 2a 3n 4b 5a 6c 7b 8b 1b 2a 3B 4b 5b 6d 7c 8b 1a 2b 3d 4b 5a 6c 7d 8b 1b 2a 3e 4a 5b 6b 7a 8b 1b 2b 3f 4b 5a 6a 7c 8c 1b 2a 3g 4a 5a 6a 7a 8b 1b 2b 3h 4a 5a 6a 7a 8b 1a 2a 3i 4b 5b 6c 7b 8a 1a 2a 3j 4b 5b 6a 7a 8c 1b 2a 3k 4b 5b 6a 7a 8a 1a 2b 3l 4b 5a 6c 7c 8a 1b 2a 3m 4b 5b 6e 7c 8a 1b 2b 3m 4b 5a 6d 7c 8b 1b 2a 3l 4a 5a 6e 7d 8c 1b 2a 3m 4a 5b 6b 7b 8a 1b 2a 3k 4b 5b 6d 7d 8c 1b 2a 3k 4b 5a 6e 7c 8b 1a 2b 3a 4a 5b 6d 7d 8a 1b 2a 3b 4b 5a 6e 7c 8c 1b 2b 3c 4a 5b 6e 7d 8b 1b 2a 3j 4a 5a 6c 7b 8b 1b 2a 3s 4b 5a 6d 7c 8c 1a 2a 3l 4a 5b 6a 7b 8b 1a 2b 3h 4b 5b 6d 7c 8c 1a 2a 3j 4b 5a 6e 7c 8c 1a 2b 3h 4a 5a 6c 7b 8b 1a 2a 3f 4a 5a 6b 7d 8b 1a 2b 3g 4a 5a 6d 7d 8c 1b 2a 3r 4b 5b 6e 7c 8b 1a 2a 3g 4a 5a 6c 7b 8b 1b 2b 3d 4b 5a 6b 7c 8c 1b 2b 3e 4b 5b 6c 7c 8a 1a 2a 3i 4b 5a 6d 7c 8b 1b 2a 3f 4b 5a 6e 7c 8b 1b 2b 3i 4b 5a 6a 7a 8a 1a 2a 3f 4b 5b 6b 7b 8c 1b 2b 3f 4b 5a 6d 7c 8a 1a 2b 3e 4b 5b 6e 7d 8b 1a 2b 3d 4b 5a 6c 7a 8a 1b 2b 3r 4a 5a 6b 7b 8b 1a 2b 3d 4b 5b 6d 7d 8a 1b 2b 3d 4b 5a 6e 7c 8c 1b 2b 3a 4b 5b 6d 7d 8c 1b 2a 3b 4a 5b 6d 7d 8a 1b 2b 3A 4a 5a 6d 7d 8b 1b 2b 3D 4a 5a 6d 7d 8a 1a 2a 3j 4a 5a 6b 7a 8a 1b 2a 3s 4a 5a 6c 7b 8a 1a 2a 3h 4b 5b 6e 7c 8a 1b 2b 3C 4b 5b 6d 7d 8c 1a 2b 3g 4a 5b 6b 7d 8b 1b 2b 3k 4b 5a 6c 7d 8b 1a 2a 3e 4b 5a 6d 7d 8b 1a 2b 3i 4a 5b 6e 7d 8c 1a 2b 3c 4a 5a 6e 7d 8a 1a 2a 3l 4b 5a 6d 7c 8b 1a 2b 3o 4a 5b 6c 7d 8b 1a 2a 3q 4b 5b 6b 7c 8c 1b 2b 3B 4b 5b 6e 7c 8a 1b 2b 3D 4a 5b 6e 7d 8a # test17: (use a -n bigger than 2) (put -n before the dimensions) (between n and 10 dimensions) (a dimensions with 3 to 9 features) (different size dimensions) (several restrictions) (no duplicate restrictions) (a restriction has less than -n features) (a restriction comes after the dimensions it constrains) (one -s) (put -s in the middle) ./jenny -n3 4 2 3 5 -s239876543 4 5 2 4 4 3 -w1ab2a -w1bd3a4c -w1cd2b3a \ -w2a5bcd6a -w3b4bcd5ad -w5ab6ace -w6a7ab -w5abc7b -w8ab9d -w10a9b Could not cover tuple 6a Could not cover tuple 3b 4c 7b Could not cover tuple 3b 4b 7b Could not cover tuple 3b 4d 7b 1a 2b 3c 4c 5c 6c 7a 8b 9c 10a 1b 2b 3a 4e 5d 6e 7b 8c 9b 10c 1c 2a 3b 4d 5b 6d 7a 8d 9d 10b 1d 2a 3a 4b 5a 6b 7a 8a 9a 10a 1a 2b 3b 4a 5a 6b 7a 8c 9b 10b 1b 2b 3c 4a 5d 6d 7b 8d 9a 10a 1a 2b 3c 4d 5d 6b 7b 8a 9c 10c 1c 2b 3b 4e 5d 6c 7b 8b 9a 10b 1d 2b 3b 4b 5c 6e 7a 8d 9d 10c 1b 2b 3b 4c 5b 6b 7a 8a 9c 10b 1c 2a 3c 4e 5c 6e 7a 8c 9c 10a 1d 2a 3c 4b 5d 6d 7b 8b 9b 10b 1c 2a 3a 4c 5a 6d 7a 8d 9d 10c 1d 2a 3a 4a 5c 6c 7a 8c 9d 10c 1a 2b 3c 4e 5b 6b 7a 8d 9d 10a 1a 2b 3a 4d 5c 6e 7a 8b 9a 10a 1b 2b 3a 4a 5b 6b 7a 8b 9c 10c 1b 2b 3a 4d 5c 6c 7a 8a 9b 10b 1a 2b 3b 4b 5b 6d 7a 8c 9a 10c 1b 2b 3c 4c 5d 6e 7b 8c 9d 10b 1d 2b 3c 4e 5a 6d 7a 8b 9c 10a 1c 2a 3b 4a 5d 6e 7a 8a 9a 10a 1c 2a 3a 4b 5c 6b 7a 8d 9c 10b 1d 2a 3c 4c 5b 6d 7a 8d 9b 10c 1b 2b 3c 4d 5a 6d 7a 8a 9b 10c 1c 2a 3b 4b 5c 6c 7a 8d 9b 10c 1d 2a 3c 4d 5c 6d 7a 8c 9a 10b 1b 2b 3a 4b 5d 6c 7b 8a 9a 10a 1c 2b 3c 4c 5c 6b 7a 8a 9a 10c 1d 2a 3b 4e 5d 6c 7b 8a 9c 10c 1a 2b 3a 4a 5d 6e 7b 8d 9c 10b 1a 2b 3b 4d 5c 6c 7a 8c 9d 10a 1a 2b 3b 4e 5c 6e 7a 8b 9b 10b 1a 2b 3a 4c 5d 6d 7b 8c 9c 10a 1d 2a 3b 4a 5d 6b 7b 8d 9d 10b 1c 2a 3a 4d 5d 6b 7b 8b 9b 10c 1a 2b 3a 4b 5d 6c 7b 8d 9d 10c 1d 2a 3b 4c 5b 6b 7a 8c 9d 10a 1a 2b 3a 4e 5a 6d 7a 8a 9a 10b 1c 2a 3c 4a 5d 6c 7b 8c 9b 10c 1b 2b 3a 4d 5a 6b 7a 8d 9d 10a 1c 2a 3b 4a 5a 6d 7a 8b 9c 10b 1c 2b 3c 4b 5a 6b 7a 8c 9d 10b 1d 2a 3c 4c 5d 6e 7b 8a 9b 10b 1d 2b 3b 4e 5d 6b 7b 8c 9a 10a 1b 2b 3b 4e 5c 6d 7a 8d 9d 10c 1a 2b 3a 4c 5b 6b 7a 8b 9a 10b 1c 2a 3c 4d 5d 6e 7b 8d 9d 10c 1c 2a 3a 4b 5b 6d 7a 8b 9a 10a 1b 2b 3c 4b 5d 6e 7b 8b 9c 10a 1b 2b 3b 4a 5c 6b 7a 8b 9a 10a 1d 2b 3c 4d 5d 6c 7a 8d 9c 10b 1a 2b 3a 4c 5d 6d 7a 8b 9b 10c 1d 2a 3a 4e 5d 6d 7b 8d 9d 10a 1c 2b 3c 4a 5b 6d 7a 8a 9c 10a 1d 2a 3b 4c 5c 6c 7a 8b 9b 10c 1d 2a 3a 4d 5b 6b 7a 8c 9c 10c 1b 2b 3c 4e 5d 6c 7a 8c 9d 10b 1b 2b 3c 4c 5a 6b 7a 8d 9c 10c 1d 2a 3c 4a 5a 6b 7a 8b 9a 10c 1d 2a 3b 4b 5c 6d 7a 8a 9c 10a 1b 2b 3c 4a 5c 6e 7a 8d 9a 10b 1c 2b 3b 4d 5b 6b 7a 8d 9a 10a 1b 2b 3b 4b 5b 6b 7a 8d 9b 10b 1c 2a 3a 4e 5b 6b 7a 8a 9b 10c 1c 2a 3a 4c 5a 6d 7a 8c 9b 10b 1a 2b 3c 4a 5c 6c 7a 8a 9a 10b 1a 2b 3b 4d 5c 6e 7a 8a 9b 10c 1c 2a 3a 4b 5d 6e 7b 8c 9a 10c 1c 2a 3a 4c 5c 6c 7a 8a 9c 10b 1d 2b 3c 4d 5b 6b 7a 8b 9b 10b 1b 2b 3a 4b 5a 6d 7a 8b 9c 10c 1a 2b 3a 4a 5a 6d 7a 8d 9a 10c 1d 2a 3c 4e 5c 6c 7a 8a 9a 10a 1a 2b 3b 4c 5c 6e 7a 8d 9d 10a 1c 2a 3c 4d 5d 6c 7b 8b 9c 10a 1b 2b 3c 4a 5b 6d 7a 8c 9d 10a 1a 2b 3c 4e 5d 6e 7b 8b 9a 10c 1d 2b 3b 4a 5a 6d 7a 8a 9b 10c 1b 2b 3c 4b 5c 6c 7a 8c 9c 10c 1b 2b 3b 4d 5c 6e 7a 8c 9c 10b 1a 2b 3c 4d 5a 6d 7a 8b 9c 10a 1c 2b 3c 4c 5d 6e 7b 8d 9b 10b 1d 2a 3a 4e 5a 6b 7a 8d 9b 10b 1a 2b 3c 4b 5c 6e 7a 8a 9b 10b 1b 2b 3c 4c 5a 6d 7a 8b 9a 10b 1c 2a 3a 4a 5c 6d 7a 8b 9b 10c 1b 2b 3b 4e 5a 6b 7a 8c 9a 10c 1d 2a 3c 4c 5d 6c 7b 8d 9a 10a 1d 2a 3a 4d 5d 6e 7b 8c 9a 10a 1c 2a 3b 4a 5a 6b 7a 8d 9d 10a 1a 2b 3b 4b 5b 6b 7a 8a 9c 10a 1a 2b 3a 4e 5c 6e 7a 8c 9d 10b 1b 2b 3b 4a 5d 6c 7b 8d 9c 10a 1c 2a 3a 4e 5b 6d 7a 8d 9c 10b 1d 2b 3b 4d 5c 6b 7a 8c 9b 10c 1b 2b 3c 4c 5d 6b 7b 8c 9b 10c 1d 2b 3c 4b 5b 6b 7a 8a 9a 10c 1a 2b 3b 4a 5d 6e 7b 8b 9b 10c 1c 2a 3a 4d 5d 6d 7b 8a 9a 10c 1c 2b 3b 4e 5b 6b 7a 8c 9d 10c 1d 2a 3c 4b 5a 6d 7a 8d 9d 10a 1c 2a 3a 4c 5d 6e 7b 8b 9c 10c 1d 2a 3a 4a 5c 6e 7a 8a 9c 10a 1d 2a 3a 4e 5d 6e 7b 8b 9b 10b 1a 2b 3b 4d 5b 6d 7a 8d 9b 10b 1b 2b 3a 4e 5c 6e 7a 8a 9c 10a 1c 2b 3b 4c 5b 6d 7a 8a 9a 10a 1c 2a 3a 4d 5a 6d 7a 8c 9a 10a 1a 2b 3c 4b 5b 6d 7a 8c 9d 10b 1d 2b 3b 4a 5b 6b 7a 8d 9b 10b 1b 2b 3a 4b 5c 6c 7a 8b 9b 10b 1c 2a 3c 4e 5c 6b 7a 8d 9d 10b 1d 2b 3c 4e 5b 6d 7a 8c 9b 10c 1a 2b 3b 4b 5c 6b 7a 8b 9a 10b 1d 2a 3c 4d 5c 6c 7a 8a 9a 10c 1d 2b 3c 4c 5a 6b 7a 8b 9b 10b 1b 2b 3b 4d 5b 6b 7a 8b 9a 10a 1a 2b 3b 4a 5b 6d 7a 8c 9a 10a 1b 2b 3a 4e 5b 6b 7a 8b 9c 10b 1c 2b 3c 4c 5a 6d 7a 8a 9c 10a 1d 2a 3c 4b 5d 6b 7a 8c 9b 10b 1b 2b 3b 4c 5c 6d 7a 8c 9a 10a 1c 2a 3a 4c 5d 6c 7a 8c 9d 10a 1a 2b 3a 4a 5d 6e 7a 8c 9d 10a 1d 2b 3c 4d 5a 6d 7a 8c 9c 10b 1a 2b 3b 4e 5d 6d 7b 8d 9c 10b 1a 2b 3b 4e 5a 6b 7a 8c 9d 10b 1a 2b 3a 4e 5d 6c 7b 8d 9b 10c 1b 2b 3a 4a 5a 6b 7a 8a 9b 10c 1b 2b 3c 4b 5d 6b 7b 8c 9d 10a 1c 2a 3b 4d 5c 6c 7a 8c 9a 10a 1b 2b 3c 4d 5d 6c 7b 8c 9a 10b 1a 2b 3c 4b 5c 6d 7a 8d 9a 10c 1d 2b 3c 4c 5c 6c 7a 8d 9c 10a 1a 2b 3c 4a 5d 6c 7b 8a 9a 10c 1c 2a 3a 4b 5a 6b 7a 8a 9b 10c 1b 2b 3c 4c 5c 6c 7a 8d 9d 10b 1d 2a 3a 4d 5c 6b 7a 8d 9d 10c 1d 2a 3c 4e 5b 6b 7a 8d 9a 10b 1a 2b 3a 4c 5d 6e 7b 8a 9a 10c 1b 2b 3c 4a 5d 6c 7b 8b 9c 10a 1a 2b 3c 4c 5a 6b 7a 8c 9c 10b 1d 2a 3a 4a 5b 6d 7a 8d 9d 10b 1d 2a 3c 4b 5c 6c 7a 8c 9c 10a 1c 2a 3b 4d 5b 6d 7a 8a 9a 10a 1d 2b 3c 4e 5c 6e 7a 8d 9c 10b 1a 2b 3a 4b 5a 6d 7a 8d 9c 10c 1c 2a 3c 4e 5a 6b 7a 8d 9a 10a 1d 2a 3b 4a 5b 6b 7a 8c 9c 10c # test18: (use a -n bigger than 2) (put -n last) (n dimensions) (a dimensions with 10 or more features) (very different size dimensions) (no restrictions) (no deduced restrictions) (no duplicate restrictions) (one -s) (put -s last) ./jenny 2 3 40 -n3 -s16 | wc 240 720 2640 # test19: (don't use a -n) (between n and 10 dimensions) (a dimensions with 10 or more features) (very different size dimensions) (several restrictions) (some deduced restrictions) (some restrictions partially duplicated) (a restriction has more than -n features) (a restriction comes after the dimensions it constrains) (several -s) (put -s last) ./jenny 26 2 3 -w1aeiou2b3a -w1xyz2a3b -w1owuriennglejrhwlsjja3ab2a -s10 -s6 Could not cover tuple 1a 3a Could not cover tuple 1o 3a Could not cover tuple 1u 3a Could not cover tuple 1i 3a Could not cover tuple 1e 3a 1a 2b 3c 1b 2a 3a 1c 2a 3b 1d 2b 3b 1e 2a 3c 1f 2a 3a 1g 2b 3a 1h 2b 3c 1i 2b 3b 1j 2b 3c 1k 2a 3b 1l 2b 3a 1m 2a 3a 1n 2a 3c 1o 2a 3c 1p 2a 3c 1q 2a 3a 1r 2b 3b 1s 2a 3c 1t 2a 3b 1u 2b 3c 1v 2b 3c 1w 2b 3c 1x 2a 3a 1y 2a 3c 1z 2b 3c 1a 2b 3b 1u 2b 3b 1t 2b 3a 1v 2a 3b 1s 2b 3a 1s 2b 3b 1r 2b 3a 1w 2b 3b 1v 2a 3a 1q 2b 3b 1p 2b 3a 1p 2a 3b 1o 2b 3b 1b 2b 3c 1n 2b 3a 1n 2b 3b 1q 2a 3c 1a 2a 3c 1w 2b 3a 1m 2b 3b 1m 2b 3c 1l 2a 3c 1l 2b 3b 1w 2a 3c 1k 2b 3a 1x 2b 3b 1k 2a 3c 1j 2a 3c 1j 2b 3a 1j 2b 3b 1x 2b 3c 1i 2a 3c 1y 2b 3b 1h 2a 3c 1h 2b 3a 1h 2b 3b 1t 2b 3c 1g 2a 3c 1y 2a 3a 1g 2b 3b 1r 2a 3c 1z 2a 3a 1f 2b 3b 1c 2b 3c 1d 2a 3a 1e 2b 3b 1z 2b 3b 1f 2a 3c 1b 2b 3b 1c 2b 3a 1d 2b 3c 1u 2a 3c # test20: (use -n1) (put -n in the middle of the dimensions) (more than 10 dimensions) (a dimension of size 2) (different size dimensions) (several restrictions) (some deduced restrictions) (some restrictions fully duplicated) (a restriction comes before the dimensions it constrains) (one -s) (put -s first) ./jenny -s9 -w10a9a6a -w10b6a9a -w3a5ab 2 5 2 3 2 2 2 5 2 5 3 3 2 4 2 2 2 2 \ 2 2 6 3 3 4 2 -n1 2 2 2 2 4 2 2 2 Could not cover tuple 3a 1a 2d 3b 4a 5b 6a 7b 8d 9b 10b 11c 12c 13a 14b 15a 16a 17a 18a 19a 20b 21e 22b 23a 24d 25a 26b 27a 28a 29b 30a 31a 32a 33a 1b 2c 3b 4c 5a 6b 7a 8a 9a 10a 11b 12b 13b 14c 15b 16b 17b 18b 19b 20a 21a 22c 23c 24b 25b 26a 27b 28b 29a 30b 31b 32b 33b 1b 2a 3b 4b 5b 6b 7b 8e 9b 10e 11a 12a 13a 14a 15a 16a 17b 18b 19a 20a 21b 22a 23b 24a 25a 26a 27b 28a 29b 30c 31a 32a 33b 1b 2b 3b 4b 5a 6a 7a 8b 9a 10d 11a 12a 13b 14d 15b 16b 17b 18b 19a 20b 21c 22b 23c 24c 25b 26b 27a 28b 29a 30d 31b 32b 33b 1a 2e 3b 4c 5a 6a 7a 8c 9b 10c 11a 12b 13a 14b 15a 16a 17a 18b 19a 20b 21f 22b 23c 24b 25b 26b 27a 28a 29a 30c 31a 32b 33b 1a 2c 3b 4b 5a 6b 7b 8a 9b 10d 11b 12b 13a 14c 15a 16a 17b 18a 19a 20b 21d 22b 23b 24a 25a 26b 27b 28b 29a 30b 31b 32a 33b # test21: (use -n1) (put -n last) (between n and 10 dimensions) (a dimensions with 3 to 9 features) (all dimensions equal size) (one restriction) (no deduced restrictions) (some restrictions partially duplicated) (a restriction has -n features) (several -s) (put -s first) ./jenny -s17 -s16 3 3 3 3 3 3 -w2aaaaaa -n1 1a 2b 3c 4b 5c 6c 1b 2c 3a 4a 5b 6b 1c 2b 3b 4c 5a 6a # test22: (use a -n bigger than 2) (put -n in the middle of the dimensions) (more than 10 dimensions) (a dimensions with 3 to 9 features) (all dimensions equal size) (several restrictions) (some restrictions fully duplicated) (a restriction has less than -n features) (one -s) (put -s in the middle) ./jenny 3 3 3 -w1ab5ab 3 3 3 -s2 3 3 3 3 3 -n3 3 3 3 3 3 -w1ab5ab 3 3 3 3 3 \ 3 3 3 3 3 3 3 3 3 3 3 3 3 3 1a 2a 3a 4b 5c 6c 7c 8a 9b 10c 11a 12c 13b 14c 15b 16c 17c 18c 19b 20c 21b 22a 23a 24b 25b 26b 27a 28b 29c 30c 31b 32a 33a 34c 35a 1b 2b 3b 4a 5c 6a 7a 8c 9c 10a 11b 12b 13a 14b 15c 16b 17b 18b 19a 20a 21c 22b 23b 24c 25c 26a 27b 28a 29a 30b 31c 32c 33b 34b 35b 1c 2c 3c 4c 5a 6b 7b 8b 9a 10b 11c 12a 13c 14a 15a 16a 17a 18a 19c 20b 21a 22c 23c 24a 25a 26c 27c 28c 29b 30a 31a 32b 33c 34a 35c 1c 2c 3a 4c 5b 6b 7a 8a 9a 10a 11a 12c 13a 14b 15b 16a 17b 18a 19b 20a 21c 22c 23a 24b 25c 26b 27a 28c 29a 30b 31c 32b 33c 34b 35a 1b 2a 3c 4b 5c 6c 7c 8c 9c 10c 11c 12b 13c 14a 15c 16b 17a 18b 19b 20c 21b 22b 23b 24a 25b 26c 27c 28a 29b 30a 31a 32a 33a 34a 35b 1a 2b 3b 4c 5c 6a 7b 8b 9b 10b 11b 12a 13b 14c 15a 16a 17c 18c 19a 20b 21a 22b 23c 24c 25a 26a 27b 28b 29c 30c 31b 32b 33b 34c 35b 1a 2c 3c 4a 5c 6b 7a 8c 9b 10a 11c 12b 13b 14c 15c 16c 17c 18c 19c 20a 21c 22a 23b 24a 25c 26c 27c 28b 29c 30c 31b 32c 33c 34c 35c 1c 2a 3b 4b 5a 6c 7c 8b 9a 10c 11b 12a 13a 14b 15a 16c 17b 18a 19c 20c 21b 22a 23c 24c 25b 26a 27b 28c 29a 30b 31c 32a 33a 34b 35c 1c 2a 3a 4a 5b 6a 7b 8a 9c 10b 11a 12c 13c 14a 15b 16c 17a 18b 19a 20b 21a 22a 23a 24b 25a 26b 27a 28a 29b 30a 31a 32c 33b 34a 35a 1c 2b 3c 4b 5b 6a 7b 8c 9b 10b 11c 12c 13a 14b 15b 16b 17b 18c 19b 20b 21a 22c 23b 24a 25a 26c 27c 28b 29a 30b 31c 32a 33b 34b 35c 1b 2c 3a 4b 5c 6b 7a 8b 9c 10a 11b 12a 13c 14c 15a 16b 17c 18b 19b 20a 21c 22c 23c 24c 25c 26a 27b 28a 29b 30a 31a 32a 33c 34a 35c 1c 2b 3b 4a 5a 6b 7c 8c 9a 10a 11a 12b 13b 14a 15c 16b 17a 18a 19a 20c 21b 22c 23c 24b 25b 26b 27a 28c 29c 30c 31b 32c 33b 34c 35b 1b 2b 3a 4c 5c 6c 7b 8a 9c 10c 11c 12b 13b 14b 15c 16a 17b 18b 19c 20b 21a 22b 23a 24b 25b 26a 27c 28a 29c 30a 31b 32b 33a 34c 35a 1c 2c 3b 4c 5b 6a 7c 8a 9b 10c 11b 12c 13b 14a 15b 16b 17a 18c 19c 20c 21b 22b 23c 24c 25c 26a 27b 28b 29b 30b 31a 32b 33c 34a 35b 1a 2a 3c 4a 5c 6c 7a 8b 9c 10c 11a 12a 13c 14a 15a 16a 17a 18a 19a 20a 21c 22c 23b 24b 25a 26b 27a 28c 29a 30c 31c 32c 33a 34b 35a 1c 2a 3a 4c 5a 6a 7c 8a 9a 10b 11a 12c 13c 14c 15c 16c 17c 18a 19a 20a 21c 22b 23b 24a 25b 26c 27a 28c 29a 30b 31b 32b 33c 34b 35c 1b 2b 3b 4b 5c 6c 7a 8c 9b 10b 11b 12b 13c 14b 15a 16a 17b 18a 19a 20c 21b 22a 23a 24a 25a 26b 27b 28a 29b 30c 31a 32b 33c 34a 35a 1c 2c 3b 4c 5b 6c 7b 8b 9a 10a 11c 12a 13a 14c 15c 16b 17c 18c 19a 20b 21a 22a 23a 24c 25c 26c 27c 28a 29c 30a 31c 32a 33a 34c 35a 1a 2a 3c 4a 5c 6b 7c 8a 9a 10a 11c 12a 13a 14b 15b 16a 17a 18b 19c 20a 21a 22b 23a 24c 25a 26b 27a 28b 29b 30a 31a 32a 33a 34b 35c 1c 2a 3c 4b 5a 6a 7b 8b 9c 10b 11b 12b 13c 14c 15b 16c 17b 18c 19b 20c 21c 22a 23a 24b 25c 26c 27b 28b 29c 30b 31a 32c 33a 34c 35b 1b 2c 3a 4c 5c 6b 7a 8c 9b 10c 11a 12a 13a 14a 15b 16c 17c 18b 19c 20b 21a 22c 23c 24a 25b 26a 27a 28c 29a 30c 31b 32c 33b 34a 35a 1a 2b 3b 4a 5c 6c 7b 8b 9b 10a 11b 12c 13b 14a 15a 16b 17b 18a 19b 20a 21b 22a 23b 24b 25b 26b 27c 28b 29a 30a 31c 32b 33b 34a 35c 1c 2b 3c 4a 5a 6b 7a 8a 9b 10b 11a 12b 13b 14c 15a 16c 17a 18b 19b 20c 21a 22c 23b 24c 25b 26a 27c 28a 29c 30b 31b 32a 33c 34b 35a 1c 2c 3a 4a 5b 6c 7c 8b 9a 10c 11b 12b 13a 14b 15a 16a 17c 18c 19b 20b 21c 22b 23b 24a 25b 26c 27a 28c 29b 30c 31b 32c 33b 34c 35b 1b 2c 3a 4b 5c 6a 7a 8c 9a 10b 11c 12c 13a 14c 15c 16a 17a 18c 19c 20b 21b 22c 23c 24b 25a 26b 27b 28b 29a 30b 31a 32c 33a 34c 35b 1a 2b 3b 4b 5c 6b 7c 8a 9c 10c 11a 12a 13a 14a 15c 16c 17a 18c 19c 20a 21c 22a 23a 24a 25a 26c 27b 28a 29c 30b 31c 32b 33b 34a 35b 1c 2a 3c 4c 5c 6a 7b 8c 9c 10a 11c 12a 13b 14b 15b 16c 17c 18a 19a 20c 21b 22b 23c 24b 25c 26b 27c 28c 29b 30c 31c 32a 33c 34b 35b 1c 2a 3b 4a 5a 6b 7a 8c 9c 10c 11c 12c 13c 14c 15b 16a 17c 18b 19a 20c 21b 22c 23a 24a 25c 26a 27c 28b 29a 30a 31c 32b 33b 34c 35c 1c 2a 3b 4c 5b 6c 7a 8c 9a 10b 11b 12c 13b 14a 15b 16b 17b 18b 19c 20a 21c 22c 23c 24c 25a 26c 27a 28a 29c 30c 31b 32a 33a 34a 35c 1b 2a 3a 4b 5c 6a 7c 8a 9b 10a 11a 12c 13c 14b 15a 16b 17b 18a 19c 20b 21a 22a 23b 24c 25c 26a 27a 28c 29c 30a 31c 32c 33c 34c 35b 1a 2a 3b 4c 5c 6b 7b 8b 9a 10b 11a 12b 13c 14b 15c 16c 17b 18c 19b 20a 21b 22b 23c 24a 25c 26a 27a 28b 29b 30a 31a 32c 33b 34b 35a 1c 2b 3c 4c 5a 6c 7a 8a 9b 10c 11b 12a 13b 14c 15c 16b 17c 18b 19b 20a 21a 22a 23b 24b 25a 26b 27b 28c 29b 30a 31a 32c 33a 34b 35b 1c 2b 3a 4b 5b 6b 7b 8a 9b 10a 11c 12b 13c 14a 15a 16a 17a 18c 19a 20b 21c 22b 23a 24c 25c 26a 27b 28c 29a 30c 31b 32a 33a 34a 35c 1b 2c 3a 4a 5c 6a 7b 8b 9c 10c 11a 12b 13a 14a 15b 16b 17c 18a 19c 20c 21b 22b 23a 24a 25a 26b 27c 28a 29c 30b 31b 32c 33c 34b 35c 1a 2c 3c 4b 5c 6c 7c 8c 9c 10a 11c 12c 13b 14c 15a 16c 17b 18b 19a 20b 21c 22a 23c 24c 25b 26c 27b 28c 29b 30b 31a 32b 33b 34b 35a 1c 2b 3c 4a 5b 6a 7c 8a 9c 10b 11c 12a 13a 14c 15c 16a 17b 18a 19b 20c 21b 22a 23c 24c 25b 26c 27a 28b 29a 30c 31c 32c 33c 34a 35a 1c 2b 3c 4b 5a 6b 7c 8b 9a 10b 11b 12c 13a 14a 15a 16b 17c 18b 19c 20b 21c 22b 23b 24b 25c 26b 27c 28a 29a 30c 31a 32a 33c 34c 35a 1b 2c 3b 4b 5c 6a 7b 8c 9a 10c 11b 12a 13c 14b 15b 16c 17a 18a 19a 20a 21a 22c 23b 24b 25b 26c 27b 28b 29c 30a 31b 32a 33c 34c 35a 1a 2b 3a 4c 5c 6a 7a 8b 9a 10a 11b 12b 13b 14b 15b 16c 17a 18b 19c 20c 21a 22c 23a 24a 25c 26c 27a 28c 29a 30a 31c 32b 33a 34a 35b 1c 2a 3c 4a 5b 6c 7a 8c 9b 10a 11a 12b 13c 14c 15c 16a 17c 18a 19c 20b 21a 22b 23c 24b 25a 26a 27b 28a 29b 30b 31c 32a 33b 34c 35c 1c 2c 3a 4c 5a 6c 7c 8c 9c 10b 11a 12b 13a 14a 15a 16b 17a 18c 19b 20a 21a 22c 23a 24c 25a 26a 27c 28b 29b 30c 31c 32b 33a 34c 35b 1b 2c 3b 4a 5c 6b 7b 8a 9c 10b 11a 12a 13b 14b 15c 16a 17c 18c 19b 20b 21b 22c 23b 24c 25b 26b 27a 28c 29c 30b 31a 32b 33a 34a 35c 1c 2b 3c 4b 5b 6a 7a 8a 9a 10c 11a 12b 13c 14a 15b 16a 17b 18c 19a 20a 21c 22a 23c 24c 25b 26b 27c 28b 29b 30a 31b 32a 33b 34b 35b 1c 2c 3a 4c 5a 6b 7c 8b 9b 10a 11c 12b 13b 14b 15b 16a 17b 18a 19a 20c 21c 22a 23b 24a 25a 26a 27a 28a 29c 30b 31a 32a 33b 34a 35a 1a 2a 3c 4a 5c 6c 7b 8a 9a 10c 11b 12c 13a 14c 15c 16b 17a 18a 19b 20b 21a 22c 23a 24a 25c 26a 27b 28a 29a 30c 31b 32b 33c 34b 35b 1b 2a 3b 4c 5c 6b 7a 8b 9b 10b 11c 12c 13b 14a 15a 16a 17a 18c 19b 20c 21c 22b 23a 24b 25b 26c 27b 28a 29c 30a 31c 32c 33b 34b 35c 1c 2b 3a 4a 5b 6b 7b 8c 9b 10c 11b 12a 13c 14c 15a 16c 17b 18b 19c 20a 21b 22b 23c 24a 25c 26b 27c 28c 29c 30b 31a 32c 33a 34c 35a 1a 2c 3b 4b 5c 6a 7c 8a 9a 10b 11c 12a 13c 14b 15c 16b 17c 18b 19b 20c 21c 22a 23a 24b 25a 26a 27c 28c 29b 30c 31b 32c 33b 34a 35c 1c 2b 3a 4b 5a 6c 7b 8b 9b 10c 11a 12c 13a 14b 15c 16c 17a 18b 19a 20b 21b 22a 23c 24b 25c 26c 27a 28b 29b 30c 31c 32b 33c 34a 35c 1b 2b 3c 4a 5c 6c 7b 8c 9a 10a 11c 12a 13b 14a 15b 16c 17c 18c 19b 20c 21c 22a 23b 24c 25a 26a 27a 28a 29a 30a 31a 32b 33c 34c 35b 1c 2c 3b 4b 5b 6b 7a 8b 9c 10a 11a 12c 13b 14c 15a 16c 17b 18a 19c 20c 21a 22b 23b 24a 25a 26a 27b 28b 29a 30a 31b 32a 33a 34a 35b 1a 2a 3b 4c 5c 6a 7c 8a 9b 10c 11b 12b 13a 14a 15c 16c 17b 18a 19a 20b 21a 22c 23b 24c 25b 26b 27c 28a 29b 30b 31a 32c 33a 34c 35c 1c 2a 3a 4a 5a 6a 7a 8a 9b 10a 11c 12a 13c 14b 15a 16b 17c 18c 19c 20a 21b 22c 23c 24a 25b 26c 27b 28a 29c 30c 31a 32b 33b 34b 35a 1b 2c 3c 4c 5c 6c 7c 8b 9c 10b 11b 12b 13c 14c 15b 16b 17a 18c 19a 20a 21b 22a 23a 24c 25c 26b 27a 28c 29a 30b 31b 32a 33b 34a 35a 1c 2a 3b 4b 5b 6b 7c 8b 9c 10a 11b 12b 13a 14a 15c 16a 17c 18b 19b 20c 21a 22c 23b 24b 25c 26b 27b 28b 29c 30a 31b 32b 33c 34b 35a 1a 2b 3a 4c 5c 6b 7b 8c 9c 10b 11b 12c 13c 14c 15b 16b 17c 18a 19c 20b 21c 22b 23a 24c 25b 26c 27a 28b 29b 30b 31c 32a 33a 34b 35b 1c 2c 3c 4a 5a 6c 7a 8a 9a 10a 11a 12a 13b 14a 15b 16a 17b 18b 19a 20b 21b 22b 23a 24a 25b 26c 27b 28b 29c 30b 31c 32c 33c 34a 35b 1b 2b 3c 4c 5c 6b 7a 8a 9c 10c 11a 12c 13a 14b 15a 16b 17c 18c 19a 20c 21a 22a 23c 24a 25a 26c 27c 28c 29a 30c 31a 32a 33a 34c 35c 1c 2c 3a 4b 5b 6c 7c 8a 9b 10b 11c 12a 13b 14b 15c 16c 17a 18a 19a 20a 21c 22c 23c 24a 25c 26b 27c 28a 29a 30a 31c 32c 33b 34c 35c 1c 2a 3b 4a 5a 6a 7a 8c 9b 10c 11c 12b 13a 14c 15a 16b 17b 18c 19b 20b 21c 22b 23c 24b 25a 26b 27a 28c 29b 30a 31b 32b 33c 34a 35a 1a 2c 3a 4a 5c 6a 7b 8c 9a 10b 11a 12a 13b 14b 15a 16a 17b 18b 19c 20c 21b 22a 23b 24b 25c 26a 27b 28a 29b 30c 31b 32a 33a 34b 35b 1b 2b 3b 4a 5c 6c 7c 8b 9a 10a 11b 12c 13c 14c 15b 16c 17a 18c 19c 20b 21b 22c 23b 24c 25a 26c 27c 28b 29b 30c 31c 32c 33b 34b 35a 1c 2a 3c 4b 5b 6b 7b 8c 9b 10b 11c 12c 13a 14a 15b 16a 17c 18a 19a 20a 21a 22a 23a 24b 25b 26a 27c 28c 29c 30b 31a 32b 33a 34a 35b 1c 2b 3b 4c 5a 6a 7b 8b 9c 10c 11c 12c 13c 14c 15c 16a 17b 18b 19b 20a 21b 22c 23a 24c 25a 26b 27a 28a 29a 30c 31a 32a 33c 34c 35b 1a 2b 3a 4c 5c 6c 7a 8c 9c 10b 11c 12b 13a 14a 15b 16c 17a 18a 19b 20b 21b 22a 23b 24a 25c 26b 27b 28c 29c 30a 31a 32a 33c 34b 35c 1c 2a 3c 4b 5b 6b 7a 8b 9c 10c 11b 12a 13b 14b 15a 16b 17a 18c 19a 20b 21b 22c 23a 24b 25b 26a 27a 28a 29b 30b 31b 32c 33c 34c 35c 1b 2c 3c 4c 5c 6a 7b 8a 9a 10a 11a 12b 13b 14c 15a 16b 17a 18b 19c 20c 21c 22a 23a 24a 25b 26b 27b 28b 29b 30b 31c 32b 33b 34c 35a 1c 2c 3c 4b 5a 6c 7c 8c 9c 10a 11b 12c 13a 14b 15b 16a 17b 18c 19b 20a 21a 22b 23c 24c 25c 26b 27c 28a 29c 30c 31b 32c 33b 34a 35c 1a 2c 3b 4b 5c 6c 7b 8a 9b 10b 11b 12b 13c 14a 15c 16a 17c 18c 19c 20c 21a 22b 23c 24b 25a 26c 27a 28c 29a 30b 31c 32a 33c 34b 35a 1c 2a 3b 4c 5b 6c 7b 8b 9b 10a 11c 12b 13c 14b 15a 16c 17c 18b 19c 20c 21c 22c 23b 24b 25b 26a 27c 28b 29a 30c 31a 32c 33c 34a 35b 1b 2a 3a 4a 5c 6b 7a 8b 9b 10c 11b 12a 13b 14a 15c 16b 17b 18a 19a 20c 21a 22b 23a 24c 25c 26c 27c 28b 29a 30c 31a 32a 33b 34b 35b 1a 2b 3c 4c 5c 6b 7c 8c 9a 10c 11a 12c 13c 14b 15b 16b 17c 18a 19b 20b 21c 22c 23c 24b 25a 26a 27b 28a 29c 30a 31c 32c 33a 34a 35a 1c 2c 3b 4a 5a 6a 7c 8c 9b 10c 11c 12b 13b 14a 15a 16c 17c 18a 19c 20a 21a 22a 23a 24c 25c 26c 27b 28b 29a 30b 31b 32c 33a 34a 35a 1c 2a 3b 4b 5b 6a 7a 8a 9c 10a 11a 12a 13a 14c 15b 16c 17a 18a 19b 20c 21b 22b 23b 24c 25a 26c 27c 28c 29b 30a 31b 32b 33b 34c 35a 1b 2a 3a 4b 5c 6c 7b 8c 9a 10c 11c 12b 13b 14c 15c 16a 17b 18b 19a 20a 21c 22a 23c 24a 25a 26a 27c 28c 29c 30c 31c 32b 33a 34b 35c 1a 2b 3a 4a 5c 6a 7c 8b 9c 10b 11c 12c 13c 14a 15b 16a 17b 18b 19b 20a 21a 22c 23c 24a 25b 26a 27b 28c 29b 30b 31b 32a 33c 34c 35c 1c 2c 3c 4a 5a 6a 7b 8b 9b 10a 11b 12c 13a 14c 15c 16c 17a 18c 19a 20c 21c 22b 23b 24c 25b 26a 27a 28a 29c 30a 31c 32a 33a 34a 35c 1c 2c 3b 4b 5b 6b 7c 8c 9b 10b 11a 12a 13c 14c 15b 16b 17a 18b 19b 20b 21c 22a 23a 24a 25b 26c 27a 28a 29a 30a 31a 32a 33c 34b 35b 1a 2b 3a 4b 5c 6c 7a 8a 9a 10c 11c 12a 13a 14b 15a 16b 17b 18b 19a 20c 21a 22c 23b 24b 25c 26b 27a 28b 29c 30b 31a 32a 33b 34a 35b 1b 2c 3c 4c 5c 6b 7c 8b 9b 10c 11a 12a 13a 14c 15b 16a 17b 18a 19c 20a 21b 22b 23b 24b 25c 26c 27b 28a 29b 30c 31c 32b 33a 34c 35c 1c 2b 3a 4c 5b 6c 7a 8c 9a 10a 11a 12a 13c 14a 15c 16c 17c 18c 19c 20c 21b 22b 23a 24c 25b 26b 27b 28b 29a 30a 31a 32b 33a 34b 35c 1c 2a 3b 4b 5a 6a 7b 8a 9c 10c 11a 12c 13b 14a 15c 16a 17a 18c 19c 20b 21c 22c 23b 24b 25c 26a 27c 28c 29a 30c 31a 32c 33b 34b 35a 1a 2a 3a 4a 5c 6b 7a 8b 9a 10a 11a 12c 13b 14b 15c 16c 17a 18c 19b 20b 21a 22a 23c 24c 25b 26b 27c 28a 29a 30b 31c 32a 33c 34a 35a 1b 2a 3c 4a 5c 6b 7c 8a 9c 10b 11b 12a 13a 14b 15a 16c 17b 18c 19c 20b 21c 22c 23a 24a 25a 26b 27a 28b 29c 30a 31b 32b 33b 34b 35b 1c 2b 3a 4b 5b 6b 7a 8b 9a 10b 11b 12b 13b 14c 15a 16c 17c 18b 19a 20c 21a 22a 23b 24b 25c 26a 27a 28a 29b 30c 31c 32c 33b 34b 35c 1c 2b 3b 4a 5a 6a 7b 8a 9b 10a 11b 12a 13b 14a 15b 16b 17c 18b 19b 20a 21c 22b 23a 24a 25c 26c 27a 28c 29b 30b 31c 32a 33a 34c 35c 1a 2c 3c 4c 5c 6a 7c 8b 9c 10a 11a 12b 13a 14b 15a 16b 17b 18b 19a 20c 21b 22c 23c 24b 25a 26c 27c 28b 29a 30a 31b 32c 33a 34c 35a 1b 2c 3c 4a 5c 6c 7c 8a 9a 10b 11c 12c 13c 14c 15c 16c 17b 18b 19b 20a 21b 22b 23c 24b 25a 26a 27c 28b 29c 30b 31b 32c 33c 34a 35b 1c 2b 3c 4c 5b 6b 7c 8a 9c 10c 11a 12b 13b 14b 15c 16c 17a 18b 19b 20a 21b 22a 23a 24c 25a 26a 27b 28b 29c 30c 31c 32c 33a 34c 35c 1c 2c 3b 4b 5a 6c 7a 8b 9c 10b 11c 12a 13a 14c 15b 16b 17c 18a 19c 20b 21c 22a 23b 24a 25b 26b 27c 28b 29b 30b 31b 32b 33b 34b 35a 1a 2a 3a 4b 5c 6b 7b 8c 9a 10c 11c 12c 13b 14c 15a 16b 17b 18c 19a 20c 21a 22c 23a 24a 25b 26b 27b 28c 29a 30a 31c 32c 33c 34c 35c 1b 2a 3b 4c 5c 6b 7b 8c 9c 10a 11b 12b 13c 14b 15a 16a 17a 18a 19b 20b 21a 22a 23c 24b 25c 26c 27a 28a 29b 30b 31b 32b 33a 34a 35a 1c 2b 3a 4a 5b 6a 7c 8b 9b 10b 11b 12c 13b 14b 15c 16b 17c 18a 19a 20b 21b 22b 23b 24a 25a 26c 27b 28c 29c 30a 31b 32b 33a 34b 35a 1c 2c 3b 4b 5c 6b 7a 8b 9a 10b 11b 12a 13c 14a 15c 16a 17b 18b 19c 20a 21b 22a 23b 24c 25b 26a 27a 28b 29a 30a 31a 32b 33b 34c 35a 1c 2b 3b 4b 5a 6c 7a 8c 9a 10a 11a 12b 13c 14c 15b 16c 17c 18a 19b 20b 21a 22b 23c 24a 25a 26c 27c 28b 29a 30c 31a 32a 33b 34a 35b 1a 2c 3b 4c 5c 6a 7a 8c 9b 10c 11c 12a 13c 14a 15b 16a 17a 18b 19c 20c 21c 22b 23c 24c 25a 26b 27c 28a 29c 30b 31c 32c 33c 34a 35b 1b 2a 3b 4c 5c 6a 7c 8a 9a 10b 11c 12b 13a 14c 15a 16c 17c 18c 19b 20a 21a 22c 23b 24b 25c 26b 27b 28c 29b 30c 31c 32a 33c 34a 35c 1c 2a 3a 4c 5a 6c 7b 8a 9b 10c 11b 12c 13a 14b 15c 16a 17a 18a 19c 20b 21a 22c 23a 24c 25c 26c 27b 28c 29c 30a 31b 32a 33a 34c 35b 1c 2b 3b 4a 5b 6a 7a 8b 9c 10a 11c 12c 13a 14a 15b 16c 17b 18c 19c 20b 21b 22a 23a 24b 25b 26c 27c 28a 29b 30c 31c 32b 33c 34c 35c 1c 2b 3a 4a 5c 6b 7b 8c 9b 10c 11a 12b 13a 14c 15a 16b 17a 18c 19b 20c 21a 22c 23c 24c 25a 26b 27b 28a 29a 30b 31b 32c 33a 34b 35c 1c 2c 3a 4c 5b 6a 7b 8b 9c 10c 11c 12a 13b 14c 15a 16b 17a 18a 19a 20a 21a 22c 23b 24a 25a 26b 27c 28b 29c 30c 31a 32b 33b 34a 35a 1c 2b 3c 4b 5a 6b 7b 8c 9a 10a 11a 12a 13a 14a 15b 16a 17c 18c 19a 20c 21b 22c 23b 24a 25c 26a 27b 28a 29b 30a 31c 32a 33a 34b 35a 1a 2a 3b 4b 5c 6a 7c 8b 9b 10a 11a 12c 13c 14b 15b 16a 17c 18b 19a 20b 21b 22c 23b 24c 25c 26c 27b 28c 29a 30b 31a 32b 33b 34b 35c 1b 2c 3b 4c 5c 6b 7b 8a 9b 10c 11c 12c 13c 14a 15c 16c 17c 18a 19a 20b 21c 22b 23c 24c 25b 26c 27a 28b 29a 30b 31b 32b 33a 34a 35b 1c 2a 3c 4a 5b 6b 7a 8b 9a 10c 11b 12c 13a 14c 15c 16b 17a 18b 19c 20a 21c 22a 23c 24a 25c 26a 27c 28c 29a 30a 31c 32b 33b 34c 35b 1a 2c 3a 4b 5c 6a 7a 8a 9a 10a 11a 12a 13c 14a 15c 16a 17a 18a 19c 20c 21b 22b 23b 24b