A0.cnf a4292030a64afea4d40999fcbf9cd116a7c5a8781e87e53d6858f1504e03bba7
A1.cnf 00d69c34a91682d4e90f40ac132916ca6e3896e4c3df45c753751584afc77f75
A2.cnf b68b07ae771e5f10328918eab79da6d70a69b3818688ee946008eca8e1a3f9d8
A3.cnf 8427c84ee8861ffeb09e7296bdc631fb87ff3a6e879f96e5f778c1ddcd0e984a
A4.cnf 2b685c1f2cca5b4904cd150f2e7b0c0b47cc422dabc96195d75375e56659726f
A5.cnf e89201830b554a65e1c14e6c61a07d686a9894f2d567a01c268a97e37b9f9670
A6.cnf 295856de5f46cb39df0c9f772aff0fcb57f98026e21b4453184d74331a8ff902
A7.cnf 606e184866ae26d07d72ae196425fb7e919fa953d19546b60366d53e59c950f0
A8.cnf 2c8a514667f3077ed4b977dc69416142953a35be4b0a5f026c180238eb5ff592
A9.cnf c874ccb05a9b54b0bf7b3aa0209fc3a4c5c05816aedad3a2c95673a330cba438
A10.cnf e9f89597d88c6f5a3bf503f98078d705501c995bf28ff32d2bc4f075fcc38ba4
A11.cnf a5175c27ec798ab515bb3e8f6aa43f04ce187109e727d881b4190643d5ef347e
A12.cnf 63572b7ff340aa67fdab2f3c66d2fd13608ada4172e6132226317332961816b4
A13.cnf 620c2c1f37db0a5b25bf4a4a5d13449d68c62d85df78497026e47bda58d903ec
A14.cnf e9e7af5b606cd4c070a7dfc6ae7a6ac415125a9050b00875be61a21c9668b230
A15.cnf 1826f13a1217ed128857a2e750a720428789e97e7d3618f33ef5b269c4bfa95c
A16.cnf 8ca27e9c2336cec49dcc2ba6c7bcf108c8b307c7dd03819f21c55c1d515c9cb7
A17.cnf 91f66ac4591e441d229777b875558fa20242c57384e87591b592c996883fbfe4
A18.cnf b2c5aab6f42d77e615f96419f0e81e7f5a35c1efa9de058abd6b1ade58515a89
A19.cnf 50b4953423296a096235717cd0a1e07b3139d2c4fecb7c01d2a8ce02c28ffbfa
A20.cnf dfacc3194ed1731574bb3e851963cc4ed0079be3c27a4f595b36e7d617f1371f
A21.cnf ca490ebf02c68184e3e32de7ea829c4c7784c5456f0b301bd702883978304441
A22.cnf f93be7ff8127a50ad8f9317ab341ca552de33f4cda46866a37e0fc1bd9112993
A23.cnf 31b940e7fff7ccfad279afdbce73bf8e4c78c6c441103c6037322c9f77d54c37
A24.cnf 426f82db7018518797ca374158aff05c83438305409f5a6fc674426cad8f5b2b
A25.cnf bc9f80110be52a94070fd62c08b5a4902def2442fe55fc434f4a006f426533eb
A26.cnf ba777c0c050defd8eff2653aeb2c85649c9322b01d21781f79a8d13e35d790fe
A27.cnf 7ab8dca36e99b93941c4a1d5edbc44865b45a8bb47e3c7ed191273b9662c436e
A28.cnf 5c33cab0f38f07c3f5288f8224c7f50d450d222998e1e24fc5bb5aa9b5c2b25c
A29.cnf 05080050ffb5780bdf0635d21b89114b8219a8a3a4d71756adb1467457f8e400
A30.cnf dceab8f9b22aab93752b4659b8dbdde8b61143e9efa2d0da3efc1eace35d82d8
A31.cnf 05242607d8e6667252404f1d5d648584dd74110105d575fc29e9df3410ed2588
A32.cnf 5bca6770a8ca20cac1f5ca80e44a5899d324f865e7e4a6df9a3b9847832b2ec2
A33.cnf 4f1995505bf96cbfac074a513bde6080f0a3235e25d409b97de7c4a59ab9dafe
A34.cnf 6e0e0055d7bd0100f8b43af79e32ec40ecad3647bdc9c54eddd67292c7756eb5
A35.cnf 7b34be2b04bdbcb8c4d22ebbf2c270edb5206aa3a710c4ab03cbd00e84639a59
A36.cnf e93fd68fd8448c7afa195e68c0de0ac57c9dc560d02992dc870c606aa263a959
A37.cnf 03c858259935558b11ecb717a63a26fccb9122a40faabd9945c29cd701172826
A38.cnf c1daf8f3d2fecb2b54ec7c3ae3c7dadf958664e7aa144c92f8404bef8e72adb7
R19.cnf 9a01ece7ac0a0fe028dfba3251a3be84492505e38003e050cf9c1d167e3caae6
R20.cnf 58a1b4509c4e6724d4260a2b819d7aff53f885c658bcf12d7f86802529e985c8
R21.cnf 7a0c0a217a99bb6c0712e8694d4b10f018d8fe3960bbc9d29139d40ffe5879e7
R22.cnf 05dc7bfd318e68f0ef186c224f77177756386862a371316b7d2948f86ee571b4
R23.cnf 795246a18ab2d63af9430bf02461bce77e07a2e68c3a59d44eafc3b98c92dd21
R24.cnf 3a2de36224e7020fdc6bd8b167afd1a772096b021967fe4d219ab69d50df39b1
R25.cnf 245020a17b196ecde90fb1a0c8350c081f79cf45eecd9e245d3e3126fe5f8873
R26.cnf e3cded550e7c96947d580bd896811906ef6becaed84fe29a579edf51271a94b0
R27.cnf f2e12205efeef167dbe9dec1e2aededf824d4486c2ba960326230d91098dd7e7
R28.cnf 55ca4856209c9a726e6ad45f6c1ac76c0ca679c87c13a848489740508691f1ce
R29.cnf 06e57e0e8fd93ad7542b4401deabb4dc57c1d259111bf70f4204c2e1561fbb49
R30.cnf ef5ecc46dae5d8758e810bde60d9f3011262593709a985185aff2578d0c85a98
R31.cnf 9d86ade641307eb5a425d6ba29971d01a544029313df836c8ad912e570b561e9
R32.cnf cb83a1026ceabba2129ed4dbdf207e43d83d794e1cc19f81c6a4a2fb2f9d7e5a
A36c.cnf 7344f28b37345e71626e0816029da3b67051af2668d0336c19842ea90a925a24
A37c.cnf 52a4f1e87439a51bb879dd55b343654e1813e7e7108eb7697d3ee8f6efa4e2e2
B0.cnf b5c429898cb5ac30e918b93b6383384c58e0af519d4d3333cca9e45cfc65d47e
B1.cnf 2e77b7f8ce8f6ad1fdc25eae460d80af4ec27c3ad06f955f3476195e2daed84e
B2.cnf c32674b840e2d134bbaa873bead166f9df288d107d4871c25fbabf548a618464
B3.cnf f2affbb5f0c4228e2d0421837d5b875670fef77ef49bd9aaf2da281f04106029
B4.cnf b5a11274134086144ff9733208558ef6a375678701a0bd0c9af331ba1cb5f72c
B5.cnf d6cd819d4a27f735def8b9a72ecccc1ed195f4359b032e6e16cb83c9f92c115b
B6.cnf 90af6418fde3d93edaf199e72c3bd5c4f05e967823d7e19c67d3b68c706b4e72
B7.cnf 1d47149a98c23cb0f074112216498fc337de863534c8d372dc5c5f9548abb781
B8.cnf b55f1411394b5e21a710174bf1430cfc78fcdffa407aa62a0b28f969910859f1
B9.cnf e5f585d87c5cef94046a5462dcab18392284c79dfbc6c88ff70d981903555292
B10.cnf ca7e52fdfa3c7527354d2f8bc8a6037bb13fe8a66bcd3bbdc9e5efa0a26c31b7
B11.cnf 5052ec2ee86b1bd72013d4cf0b49c98f9c4a6f3a1882efe63230b9cc6e445866
B12.cnf b60a0a33fe2e3954c8ea161110a6208d8a825be44fc4dd7c561170d579dc6269
B13.cnf ecf140c2e8d7019216dd2e410a14673c7c1f60a356ac83c1e5264ff271f92f16
B14.cnf 9163188e68e4928ef2691cefe966134b5d7943dddfc85236e4ea1aa501121c94
B15.cnf a20aaba5f2cc3a3eec3d33501fbc511bc28ca54c52e47ef968b4cbe43c269416
B16.cnf 666dd7bc5b3241870693b44e87bcc27157d23a92a66ea514e6152d3e5433fefc
B17.cnf a1b52627870b6da8ee532e10649f51edcb8bf04ecd9a75d7fba05d2e69f1e3e6
B18.cnf 9eae854fb2434c046d23b294a4f2bc585d40480e6ed53402690c480d6b3db39d
B19.cnf 26b51752cb9e432dcfb72db3bce03f72e583851983656923914e86981b9c051c
B20.cnf d5ca0944859ac3d720910713345bcbc6ddd702026b8ade1675a6e0b11f8d38b4
B21.cnf e59ef05ade70a10e445eda4af5e0e348d560bc9152e2d0bfcf9a85d135e7bf70
B22.cnf 4d3c7b9d1224781560cc74fd852845666d4fdf22161c7df525af16d9fa91bb26
B23.cnf 108a69ff34f18ebea89bd541147053b6094cb13ce5765790c2ed8448e2897595
B24.cnf aa37739aee7ff0f18b6ffe552e46d1b8ef7147699c4657a331fada8457e6529f
B25.cnf 141bcbb2c49e642ad8f6dd969201353e757784ea235367f98754256f798a7631
B26.cnf eb5c75a1e4efc16604ce75b4b0f366ec338762da91a1c52dfeea4d71fb66fe45
B27.cnf c754fea9e83a8fb4440f81d4094b1499bc82603b4eece338c54098f2d9cd3c48
B28.cnf b8b02110f6def6839801b5bf41bbd16661151fc4a0756e327a7d5430a94789ec
B29.cnf 792764867f352e7988eb07a74291175f84f1b428ed4441e5ee80d1d19b7382c7
B30.cnf d2b71b264290c2213d3b487ec74752c315d76c9632b1d27a2a4722e4dd2e3a95
B31.cnf f9466aaba332ac1e0e3f8456abcbaf771f673e9d009ec308aff64d5730403bb7
B32.cnf 8dae7e9b660f582454e903b6d10be79cb21ae8711a209c0eddf1ac44ac50ea95
B33.cnf 943ae57db0f0b94b359bc7ea83e2ceec45e04fc7da8ff4b6a8cf9d538bb578d7
B34.cnf bfb79da19e67ea79999136882d20a330e6f091c8e5547cbb1d7cc893ac4b363b
B35.cnf 438ce0aa2fc9ae4dfe4e894c210369629e03f96afdf269643dc451d3b6d8fd96
B36.cnf ca047e046f8574e6440fa91abf2b94daec3ee8de87ab260ce9b76ae15154a81c
B37.cnf 29b92bfb921c4f4eaccf91053819ba5bef672aea1add708d1585abb66165f945
B38.cnf 2a35ae30b35c5f7256336ff4fc298e2cd2cef07569318b0957b30518a4a9875f
B3S.cnf 1b0747f432b653608330cd4dbe087a84f8c72d7e364d4151bab02b55aa382003
B4S.cnf a9d7ccb38a6be4d301c7ab15905dafc27e365cc3f4e845e85cf57aa8f9921c56
B5S.cnf 5b73189fbea61a422424146652d7656e251983cb4d618c7c7302ef8c3bbabe97
B4E.cnf 994fff6673396b35fd2d90f86660a33d0109b2a8a1a25c190410de69b3bc9b78
B5E.cnf d900fafb2324fae9dabaab3e13754d28ebf1d5b85efdc6ca27bb4d9a340752fe
A36E.cnf 35fb448572d86f9d339242d405a4e370d5c2857acfc6a1867d1fef94ca90f670
A37E.cnf c4ee0ce0e9460adfa38b1b2695ef5db7516226729bc5bc4e9af72fb5cd88bc14