# sha256 of the compressed files (as stored) and of the uncompressed files
fbfd2c18c9251b850f2cafe86035c829b7e6a0dfe764d002b63e0258f45d4a48  enum_n8_D6.cnf.gz
6e5a8fd57d4f8dd5253745a237333f077e6b99b47576ad1a7cf6f684ac638803  enum_n8_D6.drat.gz
4925ca5fb621c761e4d35ed084380c46cb5ade04b7a30e68c47a77b379182e23  n4_D2.cnf.gz
ee681936d9740571b9462a471484523637490252e315adcbc7e64ebbb26f95c8  n4_D2.drat.gz
491a0fbb16ce01e6f8bd375ddbb8e844301d7c054aaf859035f0f3e682c4b2ac  n5_D3.cnf.gz
28f890266009a0cab4decfb7c60eb4d7f0a3dec62ff34c778e75f7e06f531221  n5_D3.drat.gz
4d102a864b2b132bd11cd352fa24d5ceb72da9ab4e31a6dc2002c7c231f543d3  n5_D3_orientable.cnf.gz
eeead1422fa49cda96817393cdbfa83a4d8a573e59daec77aff71c1d353bfdee  n5_D3_orientable.drat.gz
e25daf89ffc381102bdfbec4943f7bacbd0c9c7c882deff2a013cfbaa32d5266  n6_D4.cnf.gz
8a2bcdb20292416d550a38e6a78317c404dd4a8596295e295fb583755e178d4e  n6_D4.drat.gz
57cf19bb2eba38a301f4ede5a59b217b5ecedbd43ad213cef82bf3e972d73a47  n6_D4_orientable.cnf.gz
0abe576ec394637e360b22aa169c05e52b99e0decabffbcf1ef43352f5d3d589  n6_D4_orientable.drat.gz
cb2de8d0728e8786a7cd5989a12c5995add6521a4a6e7742edc21a53b183982e  n7_D5_orientable.cnf.gz
61ddd2742971c6f23c1826f5ddc5f650f1c213f93512c21d6507e39f789c0c3a  n7_D5_orientable.drat.gz
0b058ba34eeb7ba58f710958338ccb6bdf277839c2cca12e1720d863740f5922  n7_D6.cnf.gz
ee36fe7793da65d7e1e9a0bb58757d984b175d1cf5b2b981fe3bc56243cb9220  n7_D6.drat.gz
40ebd6f597ac139e8030d610de00ed690de8b78e464955d91046c54eb774254b  n8_D6_orientable.cnf.gz
9bb321fb9108fa26bfe5682e64c9fdf5be817e72d8b2300f083d92d9356c7f1f  n8_D6_orientable.drat.gz
9d302cd9a21e2ec0509c7ede350d75ea6ac2dcd3c8b4979cc4d5ec2008eaf0ba  n8_D7.cnf.gz
8f4548f5b3a60aae192d75be23dc629567e61767f015a409becddeb002e952e3  n8_D7.drat.gz
1080f2d83ace95b4ccadf548cd8b17e87cb5afd24e1ac6c437cc49eaea18e02d  n9_D7_orientable.cnf.gz
a82f9c594c4a0bf772873776c320caf73d4ea762a372f854009564ac0c9816f0  n9_D7_orientable.drat.gz
b0e469bccb236a649a51b868251b3fde8b02e92b9e8420d60b785b7f0802eb4b  n9_D8.cnf.gz
83ac5f80cc23d544b57b88d9dcbbef60c4111cbab5de4288c711c159356e7546  n9_D8.drat.gz
cbe92d670851b53e9dcc8ae43150d8572e8fcd9accedbb261dd7a900d69fdaab  unique_n7_D5.cnf.gz
c39c6006c3e0bede5bfc4d6881019eb4de1c150af488fdb82e988039cc5de807  unique_n7_D5.drat.gz

# uncompressed (name, sha256, bytes)
a2d0e418d8dcbf27357cf997b46f469d0da70511f3851626c75a2fb60b44ef52  enum_n8_D6.cnf  265285
28279d575c0ec58443074b1ea25b028c1e9fc0b2987bc1bbec95af0cca4dc558  enum_n8_D6.drat  808005
9be70407ce3d62d97ddc24dff2f1d7df772c607b771e7c3306fa0beb6b61dc2e  n4_D2.cnf  1365
3236e2ac9eb9f0f721edab06950aa8cafe1f76acfc6da4201ab91f52b230381d  n4_D2.drat  246
8ffcd63488dfd7ecc309f2b34d71e5bd6f227b0a5a338d6fd75ed5734a4a085f  n5_D3.cnf  7018
93e6dbf4a0f5758b6dbba4b4c13feae9d0399285c218f0c903e50a168c7e90fc  n5_D3.drat  1130
85b21681992c6219adb3a118dce68e4ec67ef0f69e6dfa046d13ac24289046b0  n5_D3_orientable.cnf  8050
d0a6ae5bbb39944541fe8c2c0fa718f8b0948d78a08e5e93e9d1d5a75d7267ee  n5_D3_orientable.drat  1144
3e7ebf2a8120a8a43f98e6dbe551df2048f8b51a11a6aa744f1c4615591f3c8b  n6_D4.cnf  29961
6c0c294daed015679463b9c622d13ac657f3fc6da39c844321fcff1bc4a2e3e2  n6_D4.drat  5938
d402227c52f409de19d5cfd03c5c22d258007a4d41be9906c401af7bbf2d209a  n6_D4_orientable.cnf  33167
7c302b13ce6dca6ecae4f02456d6ad8ee2e4602226adceb0df660aa34ff5f214  n6_D4_orientable.drat  5286
33e634bedc0805c1630aaf84d9497df04b1c9763e087d9052fa6b2b47ddc9a37  n7_D5_orientable.cnf  105576
567c8c276ce7f62a80de6430a34b31fea95847122ac9b351bf6352d08c63523b  n7_D5_orientable.drat  47519
479f2325c21cd287cb6fccdbb9ebdf17b597d54b9a9f8d052a5e6fa86bad4798  n7_D6.cnf  116964
13645dd9040880b5d88567991ce74d2c9550c1e73e58975a7d4648eec7961df6  n7_D6.drat  73563
dc2624c908dedc4ddf4732620132d87088b8059fb10c353a4d96e73ffb0aea82  n8_D6_orientable.cnf  277414
34122877f27a8bff5d8d440fc0ce2e316de7348298d5badd406da914f7aa170b  n8_D6_orientable.drat  766864
6facd6b7e63fabee1eba994f8bb53b1943288b39165376a61eac5d147b26a93f  n8_D7.cnf  302273
a6fe976aad81f5813c3e9e5030672e0fed2cdcb7a2a7264f31bf99554b6adc85  n8_D7.drat  823839
4a489bcd022b85772605cb71f4091d9d33f593b126743fbd41dda7b867844a7a  n9_D7_orientable.cnf  669329
6c41fef4b835063d2c7428dfee21c39c744dac76f9226fbd6f44759c61988974  n9_D7_orientable.drat  12036090
5cb516e587704136111f312ab81477c888a5d4b35cec0625aa23d7cb81db7b69  n9_D8.cnf  724855
2e0e1ed2fafd2780b67d2e74bb3ba171cbb67858a6f89bf5f6bc315d560b4ee1  n9_D8.drat  12683496
7d5ca36f7ec1c0207e0f172dc83dd44e84a7ebff6921391b6cbe0b3bee341860  unique_n7_D5.cnf  98037
7ba5fb8312ddcc5276d3fa27a609481328e938f9e384a3c6a061ee334fe52ee0  unique_n7_D5.drat  49402
