4985d2a75c007f638a2afdbfeed69eee013818c544e843d266dbd7944ce13540  base42.cnf
905457acd4226193aecd0befefa7b2ad11911aeab6bcde686d26f40640cb5d43  clauses_no_31.cnf
ee6e8a713b948be25b545e6312bf7aaa86e73a03b40a4d0c27eda23fde5adb31  base42_no31.cnf
64be10a2b1a8f0c9135a1cd9dcb7d43bd92c26a13444ee9be8acbd36346d9622  order42_644cases_spec.json
7888ffe171a33dc6222d6ff560f7be23320fbca638daf0d1500495d03c3779b2  generate_h24_306763_order42_644cases.cpp
