h74x_U_3_3_9_kx_A_l0u0_yz.cnf e0508ff1a422b22f40ef59298c57df1c863d71072d85b917920e94129e848c75
h74x_U_3_3_9_kx_A_l0u0_yz.drat 33dce98a90481b50385929379e7bacd564ed48db8dbe7c7d098e6e3bacf72866 17396526 s VERIFIED kept=True
h74x_U_3_3_9_kx_A_l0u1_yz.cnf 36473fc0204c0a6290d46008f2b31fe382414e70b4846e43bf6aff6edc768e93
h74x_U_3_3_9_kx_A_l0u1_yz.drat 0e7dd970eae6bc6a87b4a12aa4fd94934359124b299d6d76fd71071c06431586 17396526 s VERIFIED kept=True
h74x_U_3_3_9_kx_A_l1u0_yz.cnf 1b2a532f0ef78a55ce0377cbac56262b2d78a2eb49d5e9a14e9127a55adcdf76
h74x_U_3_3_9_kx_A_l1u0_yz.drat 2284e72dc66c010321242ea583d5319479cd3fdb20a134bb392e7b020b50a94b 17396527 s VERIFIED kept=True
h74x_U_3_3_9_kx_A_l1u1_yz.cnf c682e3e7e26fbefd31af8c3de11006a9c434d3513c8e25799df1e322f08d5cc6
h74x_U_3_3_9_kx_A_l1u1_yz.drat 21d7ab6a7f3cfaa3b2cfabb2fa7df892f312540b9013a0fe61b7f0fa67d067e2 17396527 s VERIFIED kept=True
h74x_U_3_3_9_kx_A_l0u0_zy.cnf f8248f3038f093fd9b8beb528aa3e317b4f9bf84ceef31c5c6547d4c26aa92f3
h74x_U_3_3_9_kx_A_l0u0_zy.drat fc402b85eb846f0e15f428569397164c3a6e6c8aaa0c9dc5b1506b18683c5d38 23194200 s VERIFIED kept=True
h74x_U_3_3_9_kx_A_l0u1_zy.cnf ad0636b4c87c02b6ebe1abfe25368eedd97780c89ec9bb1b10613af2015f1272
h74x_U_3_3_9_kx_A_l0u1_zy.drat 8006e12f36433c8c907b523153bc7e478f36486ade1713774439cb2bb0aede4d 23194200 s VERIFIED kept=True
h74x_U_3_3_9_kx_A_l1u0_zy.cnf caa13f473583d24cf87d9980edd7eedeab0688c340af9950f4b482a95705ece1
h74x_U_3_3_9_kx_A_l1u0_zy.drat 8952486aa825f5c95246f624f92b8ebba18f65d2869c6a3bcbc9ec2b8db51158 23194201 s VERIFIED kept=True
h74x_U_3_3_9_kx_A_l1u1_zy.cnf a0b1df71584541a5947d712d64e0c9afb1fc091e4121fd4894ec5da73cc84455
h74x_U_3_3_9_kx_A_l1u1_zy.drat 6d760203fd30edd92b0484bea026bcd76a4dd2366a5c7a4b5eb4ad19638f1942 23194201 s VERIFIED kept=True
h74x_U_3_3_9_kx_B_l0u0_yz.cnf 1ef9ffd69a16afc79ebf0697761f44e380db56657c9a8d543107f1b38dfbd83d
h74x_U_3_3_9_kx_B_l0u0_yz.drat 4791a5f67a59b16053f3c264e617737a76e9784c5c3136128f80842962d6375f 20454625 s VERIFIED kept=True
h74x_U_3_3_9_kx_B_l0u1_yz.cnf a1cb0bc74f702b33c093bd30cbd29f2191b789b83c1817015309dc3c4b651cbe
h74x_U_3_3_9_kx_B_l0u1_yz.drat a5a201cc8b688505e34e5b138d5cc2b0e0079d71c3b8f8747ae5cabf99cc59b7 20454625 s VERIFIED kept=True
h74x_U_3_3_9_kx_B_l1u0_yz.cnf 80aa6fc60afbbbb703b41dd11b1d2802ca17b223cfb58b03e8a2f28e4af15210
h74x_U_3_3_9_kx_B_l1u0_yz.drat a1868a582558161eee2cfcbc85b09df01a51c719731690077c0240eb75cd3f87 20454625 s VERIFIED kept=True
h74x_U_3_3_9_kx_B_l1u1_yz.cnf 7f1579dc0345741c53933b1063326f36ef26c894c9c2180fbaa5ee5b56adc764
h74x_U_3_3_9_kx_B_l1u1_yz.drat ca499c9e1e927fe11c66d39f862f4726c6a14caa855616a8e5a2e818872656e9 20454625 s VERIFIED kept=True
h74x_U_3_3_9_kx_B_l0u0_zy.cnf f8799b044353cbe6e5b7416f596d4577758bed78fb7e4cee91f04c4786a402f7
h74x_U_3_3_9_kx_B_l0u0_zy.drat 81a74ae603532e43788879b676594e400d37f1bfe68e64396f87cece756910b4 19032449 s VERIFIED kept=True
h74x_U_3_3_9_kx_B_l0u1_zy.cnf 4a4251ad0170156eeef01240737d85a99ec4f4abc94f9bfb66f1568616789f24
h74x_U_3_3_9_kx_B_l0u1_zy.drat 72954e66e4ab35f7ab4823f74a9f3c8518a6a49c741c222d1cd60784492fcc48 19032449 s VERIFIED kept=True
h74x_U_3_3_9_kx_B_l1u0_zy.cnf 694c0128ef0d6da450d0d16e02cf7b96be7f1d9b2a2cd4ac9f07d0cc201ea4be
h74x_U_3_3_9_kx_B_l1u0_zy.drat 0ca6f49dc696b680a4b3f605650890302cb2d220fb571751b4702abe5126bd42 19032449 s VERIFIED kept=True
h74x_U_3_3_9_kx_B_l1u1_zy.cnf e025778a9616bffe22d5d903cbdf9afc16f13eb6c68c633058bf516ae210d5c8
h74x_U_3_3_9_kx_B_l1u1_zy.drat d251d6b848578bfe708145eed85514fce769325bb0e927b9360bd13541d58348 19032449 s VERIFIED kept=True
h74x_U_3_3_9_ky_A_l0u0_xz.cnf df72c51bd2f0ff440be58caee431b0219d19a8763da5e82f5bef85c0a9d57871
h74x_U_3_3_9_ky_A_l0u0_xz.drat a49857116ac6b20c7b1b9ecfae5e4cd1ab9923aea5f0ef0d8efa32ec9ddef822 25658724 s VERIFIED kept=True
h74x_U_3_3_9_ky_A_l0u1_xz.cnf 49b8b281c5fb48e52d1e8f08d28101cbd2470ba79b327ac8c58f59b1d7102b78
h74x_U_3_3_9_ky_A_l0u1_xz.drat cd3f4adc66b71c227cfe7fbed0ae71bbc2875d35f29589204f32615534fe666e 25658724 s VERIFIED kept=True
h74x_U_3_3_9_ky_A_l1u0_xz.cnf 06cc609e44253ed530e70bd9d4a4246bf8ef3911fc86f51061f3d3089d0e6969
h74x_U_3_3_9_ky_A_l1u0_xz.drat 2f8dd6e5c7eb96b3678de672b3b41295a40eb8e67af59dea75982d77e0b51d16 25658725 s VERIFIED kept=True
h74x_U_3_3_9_ky_A_l1u1_xz.cnf 3c5b5c8f55eabd7b92e8c9e358b627b4276eae56d88280066f9722b3cd8f0127
h74x_U_3_3_9_ky_A_l1u1_xz.drat fe62c204b4be5447da5c6f9f7ad5979a55c50d38c8ac701d2820f116c397afad 25658725 s VERIFIED kept=True
h74x_U_3_3_9_ky_A_l0u0_zx.cnf 81f4af6353b2b88bcb9d7a1c34964a59e8d13aff54a455a78c1f15f8813e8d64
h74x_U_3_3_9_ky_A_l0u0_zx.drat 28d287541082f00b10cf5240b506917447614c23ec4e6521252e9706cd7824af 29071270 s VERIFIED kept=True
h74x_U_3_3_9_ky_A_l0u1_zx.cnf 87eae4bb80440099ed06c353f0a558d60d1f816acf9a5c5fd95d33501dafad4e
h74x_U_3_3_9_ky_A_l0u1_zx.drat e9807823e9749f1a2a451b42c50371db97b9a85d6e065d4fca1c9d5ac317710e 29071270 s VERIFIED kept=True
h74x_U_3_3_9_ky_A_l1u0_zx.cnf 7b75cc233dd8a7df2ecb107b619c370c0ba5380d55389b09cb50c305f098b575
h74x_U_3_3_9_ky_A_l1u0_zx.drat cb6524055794b9006c21ba133d62e0b193e62b7415adeb95d7da0cea82f91e91 29071271 s VERIFIED kept=True
h74x_U_3_3_9_ky_A_l1u1_zx.cnf 47b170a9ddfa3a79c7e72871021c6c46b58c227ac6a5a2b7a7595ba52f46f6d6
h74x_U_3_3_9_ky_A_l1u1_zx.drat 9f9252469f2095a26dfb9d3b06fb8e661dd585ccf99346ad27d92ce4328ea0e9 29071271 s VERIFIED kept=True
h74x_U_3_3_9_ky_B_l0u0_xz.cnf ec7e792e9a813f7b60429981cc1efeb8807ab927ccec22302a15d86e163ab40b
h74x_U_3_3_9_ky_B_l0u0_xz.drat e1c730a5c348733a67f9227fd0ce4ee7707ea11497c12886ca8170fe25b8d77a 23406493 s VERIFIED kept=True
h74x_U_3_3_9_ky_B_l0u1_xz.cnf 769234679639fc7a8375fb752a496ae1fb31a3bfef0f453315bf4629fc6092ce
h74x_U_3_3_9_ky_B_l0u1_xz.drat 9b27869501ce2ef2fe35a906ec66201c93bf969d9b4cc1701b1f9a6b2fcab0c5 23406493 s VERIFIED kept=True
h74x_U_3_3_9_ky_B_l1u0_xz.cnf 4c5f0fc0d98acafd64373f599b5776abbfdec466adfe7af94db66b4b97f47fe9
h74x_U_3_3_9_ky_B_l1u0_xz.drat a224b87d94c096522b57043287ac3df47e363e2c4e453f1b4e9eeed84ca754a0 23406493 s VERIFIED kept=True
h74x_U_3_3_9_ky_B_l1u1_xz.cnf 042541459344e26994fcaf64ff11c02509326cee523ac214f9d35a86de8dcbed
h74x_U_3_3_9_ky_B_l1u1_xz.drat 8d0b46e346988e3ffe368287aebd55536e68e507156d7707c31b608db2e47a7d 23406493 s VERIFIED kept=True
h74x_U_3_3_9_ky_B_l0u0_zx.cnf a820eaa12d9a7b79fa7a341f80d6411b55569f24bd05320f86fb4efc32759035
h74x_U_3_3_9_ky_B_l0u0_zx.drat 58a0f2995ee371e5da88c6cacefac0eec231b5a582a4e81df4c1bb01ab190d93 18944448 s VERIFIED kept=True
h74x_U_3_3_9_ky_B_l0u1_zx.cnf 5f28a127d808941af04a543ee1c3c1aed92887d67dff28e2d9e03f7d62bf04a8
h74x_U_3_3_9_ky_B_l0u1_zx.drat 7823d86a502597034a3494e4f9cf9d7fcf67c49b3bdc01de007eb0c7ac2feea7 18944448 s VERIFIED kept=True
h74x_U_3_3_9_ky_B_l1u0_zx.cnf 85d703fb811fd7ca37b61e2eb8daf328ed2a2243bbfa2a6480282bb5ca2fde23
h74x_U_3_3_9_ky_B_l1u0_zx.drat 214cdd8826e3234418dc6fa299f94db03765e3c7fad142ee9c2aed32398b1369 22360713 s VERIFIED kept=True
h74x_U_3_3_9_ky_B_l1u1_zx.cnf 70ea7c94d656c04161a8a8c32a575fec2e0ba502746130fd90ad18fa679be6e3
h74x_U_3_3_9_ky_B_l1u1_zx.drat e3534e4421227410e44a8052bfeb0388ce7f42c59e9df4fbf84823355f914a92 22360713 s VERIFIED kept=True
h74x_U_3_3_9_kz_A_l0u0_xy.cnf 2511a35b979cd92287e1b49d6e3534714a46319c120ab667bf03c992280e22c0
h74x_U_3_3_9_kz_A_l0u0_xy.drat 79de2c5735dcdfb6c216e2afc7ed8d62a6a41027f2bfcea5b6188f1faa281d57 25639236 s VERIFIED kept=True
h74x_U_3_3_9_kz_A_l0u1_xy.cnf b7d780dbcd868ce854ad119cbcc13a08f84373dfe460c42d065b85b35a3637ce
h74x_U_3_3_9_kz_A_l0u1_xy.drat 94230603fdb1ae451796a967cdcf042aa0c56f46a9bda8aad98731b8f1887746 25639236 s VERIFIED kept=True
h74x_U_3_3_9_kz_A_l1u0_xy.cnf c4a1a6a689c1c214d3735aa6b6ae9c36795410c0dfc41e62a3f3562db4670e55
h74x_U_3_3_9_kz_A_l1u0_xy.drat aaa680404f631194bc8c08ff9bee4efe2c7b00ad3c3b91e33b64e44f5cd294bd 25639237 s VERIFIED kept=True
h74x_U_3_3_9_kz_A_l1u1_xy.cnf b847a64b7129d5cf1118f253d229b59a4266175f49afc0cee2772958a34ce2ad
h74x_U_3_3_9_kz_A_l1u1_xy.drat 6f444b33aa183d68708f7fd816ecb7758bc67a2c95c15e69ac326dd19b1f0747 25639237 s VERIFIED kept=True
h74x_U_3_3_9_kz_A_l0u0_yx.cnf 2df2d7c67d4812222ab11e285877aa96bb90837e9f41974195b00e8f11f0cc3d
h74x_U_3_3_9_kz_A_l0u0_yx.drat 71abbbb543d0f53cac56c4e1bc4a0404a8eb7e2a99105f5bf34cd2e5fb5409ad 35118792 s VERIFIED kept=True
h74x_U_3_3_9_kz_A_l0u1_yx.cnf 87407e951639f65b526e6f25d3ab8cf93a39bd7890be3ee2af311aa3d5ef542a
h74x_U_3_3_9_kz_A_l0u1_yx.drat d27ab85e852ba5ab228d226ec8da363305672d4f44834a49d14bda732f06a209 35118792 s VERIFIED kept=True
h74x_U_3_3_9_kz_A_l1u0_yx.cnf 69ec45e97aaab7e9184f0103c36fc615b988deef6efbcf9765168c11e4bb5c2b
h74x_U_3_3_9_kz_A_l1u0_yx.drat fcdb10179be8fe693d81660a332a43b8418963e2eeb9a9cca1cb37f441f2ddd9 35118793 s VERIFIED kept=True
h74x_U_3_3_9_kz_A_l1u1_yx.cnf b087e90332dc4fe90aa90e7c5f73a335554dabb19b431fffd958fbf6e32abd3a
h74x_U_3_3_9_kz_A_l1u1_yx.drat b3b918315f7a660613e6a7d9120db278bc28ebd649f2dc4ca4d27db91ad3659c 35118793 s VERIFIED kept=True
h74x_U_3_3_9_kz_B_l0u0_xy.cnf f1c6e879238c7871a54d4f3ace697ff8a56407f0a7cc0bcd0170b2f1d461ec96
h74x_U_3_3_9_kz_B_l0u0_xy.drat f4a7c45d28da5f1f9bd68632cd1fa15e748520b9e2a718fe40f7e8c24a039747 34712289 s VERIFIED kept=True
h74x_U_3_3_9_kz_B_l0u1_xy.cnf 1bdaf750c2d586aa2404bc4f2cf5b690586e997c2e3724c4921f849292950bed
h74x_U_3_3_9_kz_B_l0u1_xy.drat 75ef459aa5fc84506b30d2f94ae3b0c815191009848d71acd7ee5ffc336bc47e 34712289 s VERIFIED kept=True
h74x_U_3_3_9_kz_B_l1u0_xy.cnf c20446f2ac250acf17dd90cbf44a80a954f8075186d5cb97154a698dd108ffe6
h74x_U_3_3_9_kz_B_l1u0_xy.drat be21053e846e997d336d2d9214d816a4b44f1863ec9e4b94fba104c27c7ab154 29892291 s VERIFIED kept=True
h74x_U_3_3_9_kz_B_l1u1_xy.cnf a1f371c3f525ba14ef1e062a57d6747780ce280abcc66b6c742fc9687cc13edc
h74x_U_3_3_9_kz_B_l1u1_xy.drat a866fff0095d342b4f7c72e7e048f3ef18446b4fac76b06e399d113fa938fecd 29892291 s VERIFIED kept=True
h74x_U_3_3_9_kz_B_l0u0_yx.cnf 2ae59574009c9ed8dd5b2e8e5088d8bf8b89df41a6ca2394624ec496300e9868
h74x_U_3_3_9_kz_B_l0u0_yx.drat 17f66a08aafc7e96e5e349ae6f5c6be99a43d18cb7d46dfc5c2ef9359dcb40e2 30225698 s VERIFIED kept=True
h74x_U_3_3_9_kz_B_l0u1_yx.cnf ef5718b9715a20f0059c15d8eab1bfc70bcb5b97989acec28c4eda537620bde0
h74x_U_3_3_9_kz_B_l0u1_yx.drat 827d3466e99ea766ac2f2a79eafc9fffc42766044d1f461fc453da0dcb16aac0 30225698 s VERIFIED kept=True
h74x_U_3_3_9_kz_B_l1u0_yx.cnf dcacdd0524daa731fb26b82a3e34e31cce46a86142b97372342d52383c97bb8f
h74x_U_3_3_9_kz_B_l1u0_yx.drat 7927dc8713f26bcc86ef7be9524acd8a4cd7e596c5267310f48bfcdf1f01d1f3 24700423 s VERIFIED kept=True
h74x_U_3_3_9_kz_B_l1u1_yx.cnf e27d4671d4c32a758c6122752b1d5dbd065e7161c1c2581452cccd28a56abac8
h74x_U_3_3_9_kz_B_l1u1_yx.drat 0f99fe0d46982951e9eee450d77b4f140514434d01fcac5fbe28118bd1775874 24700423 s VERIFIED kept=True
h74x_U_3_3_12_kx_A_l0u0_yz.cnf 601dc0a64678329d606f13089d95cbea9fc5a0250c8fb1927101612c317bd080
h74x_U_3_3_12_kx_A_l0u0_yz.drat 931c0b317f50bce973465e3fb86ac1a5a0c5089120021a2a3969348f06aa001d 26860963 s VERIFIED kept=True
h74x_U_3_3_12_kx_A_l0u1_yz.cnf dfc6e9780df9ba8af2af8eedafa287a664e72f99740e95d6d8d9e5ee6b9b48b3
h74x_U_3_3_12_kx_A_l0u1_yz.drat 7a35cccc528c1857b534c85d8535a3d78aa5b786a2415f3c472ee0614b798d50 26860963 s VERIFIED kept=True
h74x_U_3_3_12_kx_A_l1u0_yz.cnf edcc1b3c43eb2e8c3bb027806cf9d36c011d74252343df3effebec0c650c369a
h74x_U_3_3_12_kx_A_l1u0_yz.drat 2b835f864f410001a438a52f91ff9446969430fd48e8425864ac52ce4a50eb9d 26860964 s VERIFIED kept=True
h74x_U_3_3_12_kx_A_l1u1_yz.cnf bbc6ad3444983ca0ac17cc63812da8964b7c0cb975c6d7ce423c62da250bae31
h74x_U_3_3_12_kx_A_l1u1_yz.drat f30b04faa9f2ab6d168aca6e7913f01b94899c69f35c5a0052917af43199f79a 26860964 s VERIFIED kept=True
h74x_U_3_3_12_kx_A_l0u0_zy.cnf 30327c5b4334d01cd4dec5c5ef5f6ddcc7d47f08a153ea92dedda5528005bb15
h74x_U_3_3_12_kx_A_l0u0_zy.drat fc3464707c82f99f32b1c37c715f4bfd3c4f8ae1cf158c04a12190e3e113367a 35484360 s VERIFIED kept=True
h74x_U_3_3_12_kx_A_l0u1_zy.cnf af922acba0e6398faac364be2183d9c42be3e18a82773fbdf8f21aabfca5e315
h74x_U_3_3_12_kx_A_l0u1_zy.drat 3040068ebd76c8c599bc99ec8f561b529d38ba956199c70f78ebbae327967ca3 35484360 s VERIFIED kept=True
h74x_U_3_3_12_kx_A_l1u0_zy.cnf 37f078c1c072586f68d25130d486ebff49c62b8bc0cf05da7e68f74864a0c49a
h74x_U_3_3_12_kx_A_l1u0_zy.drat 40c1d46bf64bfb28b21a71d68ac1f23dec8f8be7a7cdf0b244cb02dbc0cdd5e5 35484361 s VERIFIED kept=True
h74x_U_3_3_12_kx_A_l1u1_zy.cnf a2032d91fa181e4349c17a61803f7163f23416d636928a9577da1e330b29b252
h74x_U_3_3_12_kx_A_l1u1_zy.drat d8226dc0995d40023da48846479bce3de0b7b81c61c42847f0d41390b78f887a 35484361 s VERIFIED kept=True
h74x_U_3_3_12_kx_B_l0u0_yz.cnf 2870557c5cf5df4a43a3ee041b94f775c2cf6b6b426b74170a47a4223975009d
h74x_U_3_3_12_kx_B_l0u0_yz.drat c798b8b3da1faa0632e04df126ba5ba318913f4eaf4d8f6c15ddb4e92a465204 44230428 s VERIFIED kept=True
h74x_U_3_3_12_kx_B_l0u1_yz.cnf f2424183590d6bbdf023e06b5f1e0db4cb26ab3ab11d7b805b28f1e1b14bd747
h74x_U_3_3_12_kx_B_l0u1_yz.drat ccc0b3e4e3ef4b1a4860ac5670cb721455f7361eede0b4367517217fd3370329 44230428 s VERIFIED kept=True
h74x_U_3_3_12_kx_B_l1u0_yz.cnf cbbe0b3fe946be9b66d05160fab49b8bbdee2de74ff56d194152634476282869
h74x_U_3_3_12_kx_B_l1u0_yz.drat 33c7fe29966960e8b37d2fd6636508b62ea286d4bfc396e45038548bebcf5033 44230428 s VERIFIED kept=True
h74x_U_3_3_12_kx_B_l1u1_yz.cnf 3b749c61822bdacf27ec1f5f38be6c2eee0f776bd87cf8bbb71d27296b01dc6f
h74x_U_3_3_12_kx_B_l1u1_yz.drat 03cd36156e6663d4f717aa1781c3dea0cbe8954fc46d287e6fe24ac5af2f535e 44230428 s VERIFIED kept=True
h74x_U_3_3_12_kx_B_l0u0_zy.cnf 5507efa7438918c990494000ee633aadb0c264dd0fdfc4b58ada24e08d76ee86
h74x_U_3_3_12_kx_B_l0u0_zy.drat 71ff2beabcf083ab8df00cf69889e46b91415dec0a895a15f1a65ecedeb6eaa1 27471010 s VERIFIED kept=True
h74x_U_3_3_12_kx_B_l0u1_zy.cnf 7dfc591d199e39a947a2e82900acd7f2b1d621493d96400ebfc3c013533229e7
h74x_U_3_3_12_kx_B_l0u1_zy.drat b21be7c3bded7c7da4bf7b27e217fd1564062807a37ac4f707249e0f33e511c3 27471010 s VERIFIED kept=True
h74x_U_3_3_12_kx_B_l1u0_zy.cnf 4bfb9207095af205faa70e4693947e3dae6002c98553caf66b5216959c4da484
h74x_U_3_3_12_kx_B_l1u0_zy.drat 12e7e87a34d215f6fa8a70f04ab24c411340f02d9c2d2f07d12872b738a22f24 27471010 s VERIFIED kept=True
h74x_U_3_3_12_kx_B_l1u1_zy.cnf f70bc924d3e4998c89a346a9869d4ac07343bd29be291a0e3f0048d3d312b2a0
h74x_U_3_3_12_kx_B_l1u1_zy.drat 5120e8ddadb0ce87e30fe0e7f4c89f1aab34848af8f8f29ec18e6f694d78c018 27471010 s VERIFIED kept=True
h74x_U_3_3_12_ky_A_l0u0_xz.cnf b6f0ccb7df2f2f3bee1712f46780266d203e6498823132d9d1770fbc15e48e69
h74x_U_3_3_12_ky_A_l0u0_xz.drat d12b2ef4276ec8e9021ccf4f24c4281a9a873674897fdf5d477d057cc6870061 22610303 s VERIFIED kept=True
h74x_U_3_3_12_ky_A_l0u1_xz.cnf e9a7d6d456b32e4e4e9ded79823adff676b21d754f57be6244e307e4766fc453
h74x_U_3_3_12_ky_A_l0u1_xz.drat e480c913ac18982a94e40b2731d6eadb7342d79f4cdde877f47bc084c5c8298b 22610303 s VERIFIED kept=True
h74x_U_3_3_12_ky_A_l1u0_xz.cnf 99dfb563a8f8d8e949f17ebe37e0a8351d76b735a20d71125ed9ad69c25403ac
h74x_U_3_3_12_ky_A_l1u0_xz.drat 333478836323c366eb77e133aa5a6ae131569ea4428142312d47864e60a3a8cd 22610304 s VERIFIED kept=True
h74x_U_3_3_12_ky_A_l1u1_xz.cnf ce6d50aa280201f8e7fe2ed5d93cfc7371145ee306a446ab86f7c8686a87bc93
h74x_U_3_3_12_ky_A_l1u1_xz.drat 2cc0d6e69278e08620ee5f5acf4a6c7b6ddb1319e9bab2159ec8e12ead194096 22610304 s VERIFIED kept=True
h74x_U_3_3_12_ky_A_l0u0_zx.cnf 2dd4e365a0ed8ec23b6152dd586b352251835904a7cfcbd0fa21677d5562c7f7
h74x_U_3_3_12_ky_A_l0u0_zx.drat 97b0a6d2e75c2460ca18c5868c5a18c8fb0ea21ea8a417dc625d20062f035bfb 27817741 s VERIFIED kept=True
h74x_U_3_3_12_ky_A_l0u1_zx.cnf 98a310730aba45e9f6a76de43aded5f3aabce5bdcf31ffe441e7ef55ed4b2060
h74x_U_3_3_12_ky_A_l0u1_zx.drat fae0ec2f4a47cb6a9b5da7a197ff179c1e24d664bd7a1fab9bcdc223e21b48c2 27817741 s VERIFIED kept=True
h74x_U_3_3_12_ky_A_l1u0_zx.cnf f5eb2e684178f3531e294d3b48b93b7f9263900d3bb0df64c47254cad142f52f
h74x_U_3_3_12_ky_A_l1u0_zx.drat 93727b95e65e43f7bb461c84a6f37f852a40af8652ced478d02e4de5045c7d24 27817742 s VERIFIED kept=True
h74x_U_3_3_12_ky_A_l1u1_zx.cnf 27c53163482c157e39bcb00ec8c6d403da2cc10b669f268f0d27d5f249a85663
h74x_U_3_3_12_ky_A_l1u1_zx.drat 9b8f259470fd2133b00724b7bfe4ad174afebbfbfef22989dab472a7db79ae09 27817742 s VERIFIED kept=True
h74x_U_3_3_12_ky_B_l0u0_xz.cnf 7b9064b540b8033b200ac5275c6416f6eeb9102d5a0e6128d20fc1d60245d3e7
h74x_U_3_3_12_ky_B_l0u0_xz.drat 54e45b6b734b42e48d5342b14de2237aa406e2756f873037cc39d8e7e83484f1 20702342 s VERIFIED kept=True
h74x_U_3_3_12_ky_B_l0u1_xz.cnf 5077cb5dfb45465ccb545dfd3dbba2e9ba8273d7688052a1b0f9da87583fe6d6
h74x_U_3_3_12_ky_B_l0u1_xz.drat 77cec48196b505a086acca9345a24d1ac9b014ad1b20007b3d3ced8750912cd6 20702342 s VERIFIED kept=True
h74x_U_3_3_12_ky_B_l1u0_xz.cnf 4b9f1d2bff752c9917eabb640d27071a9dd51019ce36bd6af92fb35d1886923e
h74x_U_3_3_12_ky_B_l1u0_xz.drat 8aa83be46ebeb6b01ae9f0252d09cf221b22cf31285ddc4bfb4081944c43c7ac 20702342 s VERIFIED kept=True
h74x_U_3_3_12_ky_B_l1u1_xz.cnf 37021f69d31af9cc699fe1f3a6f2d3807c31a8f97e2a4bab9438260a4befc2f6
h74x_U_3_3_12_ky_B_l1u1_xz.drat f423ba4a66fd2faf3534c9cb7606e04687e9cb46ea93ecac212d3ecaf7ed3cc9 20702342 s VERIFIED kept=True
h74x_U_3_3_12_ky_B_l0u0_zx.cnf 48d7bec70dee6be45c8a67379f887602e4e9eeab247c17c2e7a8a139ec403f4c
h74x_U_3_3_12_ky_B_l0u0_zx.drat e4e05e2668cf0d56a9b3c601f801e4584ea6a2b00d85d67c58b9e3ef4cfccf89 17528302 s VERIFIED kept=True
h74x_U_3_3_12_ky_B_l0u1_zx.cnf c49aa410c523636ed9cdb56cd14fd8ed8d609d395fd56c46bfb7ad4c312688df
h74x_U_3_3_12_ky_B_l0u1_zx.drat 8670c1077b66fae0b93dab0749e4d624ffc47e0b1c20c518c5bbc78d3317f2d4 17528302 s VERIFIED kept=True
h74x_U_3_3_12_ky_B_l1u0_zx.cnf f8b658f9d88ee840b6dddc2da5e2ae33ed6036bd9b5578d8ae101cce66fcd8e7
h74x_U_3_3_12_ky_B_l1u0_zx.drat bef43cc3c073e226b58f95c9f12fcca42e2f835ae5df5b2c9e3ba179518b4b18 26417427 s VERIFIED kept=True
h74x_U_3_3_12_ky_B_l1u1_zx.cnf 3f56a030618c71b27a9513e4dfa5d63274939e029641d2d9bfc398eb8250b21a
h74x_U_3_3_12_ky_B_l1u1_zx.drat e9f7e9ce5fc60beff6b9af48000ae866f225c009b5ce75d750d682756a3ff5e5 30482165 s VERIFIED kept=True
h74x_U_3_3_12_kz_A_l0u0_xy.cnf 8092a0552fcd3021ed64c4b16c2293de649fd6e1497c5be06e8d5e9413382992
h74x_U_3_3_12_kz_A_l0u0_xy.drat 8d4ffecd0decb0b81d9663598b941073c471cf892777edd4c52d04633c761385 39317331 s VERIFIED kept=True
h74x_U_3_3_12_kz_A_l0u1_xy.cnf 119a7a4e80196efa54082fbe7f5347ab5e2b156d0dcf10bf1de6c7f6d1bf69e0
h74x_U_3_3_12_kz_A_l0u1_xy.drat 67766a02f384cea3b7fc6e9c1d1d5af19652e17670be346f4a14e199c7640747 39317331 s VERIFIED kept=True
h74x_U_3_3_12_kz_A_l1u0_xy.cnf e050a51aa008f323fdbc3b78e34dba0071eb1ea6077793fc113b51a190e62ea8
h74x_U_3_3_12_kz_A_l1u0_xy.drat d75d6d05ce42830f01782f07c15b73b4f8138e749d420c0e33885e66610763cd 39317332 s VERIFIED kept=True
h74x_U_3_3_12_kz_A_l1u1_xy.cnf 740f511a64b9eea1bc4e7f673186f262de953346c636998a81cb88d60e4de4a8
h74x_U_3_3_12_kz_A_l1u1_xy.drat 5b3fdb7a18b0aae999ff4f44aa32668088012b507691ca1d32ff63f915dd4a1b 39317332 s VERIFIED kept=True
h74x_U_3_3_12_kz_A_l0u0_yx.cnf b4af5a1253708574492b3042bc4f13b9e671f96acd18ea12cc634fd53526780a
h74x_U_3_3_12_kz_A_l0u0_yx.drat 9c647bdd72308fde907e33c80310f25e24e94bb2b332a016277a951fec0744de 45119870 s VERIFIED kept=True
h74x_U_3_3_12_kz_A_l0u1_yx.cnf 5982680f517e8e521b3bd72452fa6aedd4824fdd6dde21f077deb618a126c397
h74x_U_3_3_12_kz_A_l0u1_yx.drat 4fe29cdea6d9531417a12d5ea6e1093082732f1066e33ff6cacc42b25c204ec3 45119870 s VERIFIED kept=True
h74x_U_3_3_12_kz_A_l1u0_yx.cnf 27a675df9b3eaef134220519a9c95d71d3dd9d50cae99271f9fd6243d963c7d5
h74x_U_3_3_12_kz_A_l1u0_yx.drat b01e9fe91d52559102489ca88ecefb70609bea608e2cc1376447bed522911367 45119871 s VERIFIED kept=True
h74x_U_3_3_12_kz_A_l1u1_yx.cnf bfde4b11313b61e00cf2318c10e3c31913bd8cb90abf0a898f2aebdbb71546f8
h74x_U_3_3_12_kz_A_l1u1_yx.drat 7792e9b3583deb4f047d97ef655a148673ff9af34df4b3c002774f6304db6626 45119871 s VERIFIED kept=True
h74x_U_3_3_12_kz_B_l0u0_xy.cnf d72989bf9afd6fd31bb95674ab8239cf825fe5f3dfdc57aa33350170f9ffcc65
h74x_U_3_3_12_kz_B_l0u0_xy.drat 0357151ecdbeaa917b4d506c116c9bbf275f7293f7ec88cb4049b18095655d50 43182965 s VERIFIED kept=True
h74x_U_3_3_12_kz_B_l0u1_xy.cnf d3cce257ab4b19384c3ffff22e322ff7c4b110e3ed3b6eee1b3666537d1d146b
h74x_U_3_3_12_kz_B_l0u1_xy.drat a762cbace21f23b48083c995e0a2010b181e3afce7d04a675abf5ea3e6c99df9 43182965 s VERIFIED kept=True
h74x_U_3_3_12_kz_B_l1u0_xy.cnf 5d02171b3a4917d79a21d0d64ebddcf56b4065b8ff5cc6cbe638e10d70f6d2b0
h74x_U_3_3_12_kz_B_l1u0_xy.drat ef68eba2e39689a265d986d9c5509dae4639e2c29921cd6b14ef08db433a29ef 48552474 s VERIFIED kept=True
h74x_U_3_3_12_kz_B_l1u1_xy.cnf f7ec73c1e7fb5b38095c578ef73739c883e097b89c3ed88dd79a145cc046c06d
h74x_U_3_3_12_kz_B_l1u1_xy.drat f8a0e3d2c682bea6872f9cefb95ea0bb54fbbf8b64ac69515fac071262b4de5d 48552474 s VERIFIED kept=True
h74x_U_3_3_12_kz_B_l0u0_yx.cnf 8fbd0d351398d86e49ae9f14f4d9d790ec65da4b478fbaa22553feb8ee530859
h74x_U_3_3_12_kz_B_l0u0_yx.drat 46ed52f9b11a1b5ca9d0535cc477c361b1ce9babdc335e4fb1073766750a0e72 37721791 s VERIFIED kept=True
h74x_U_3_3_12_kz_B_l0u1_yx.cnf 957b2a1aec157dcf05c50e726a5d79bea2b5d032ac078a89f148e230a3c57eae
h74x_U_3_3_12_kz_B_l0u1_yx.drat 07349915fd52dc4e81a591b3946b4214470e9e4077208912c54b38a8a2a1afb8 50171103 s VERIFIED kept=True
h74x_U_3_3_12_kz_B_l1u0_yx.cnf 97f5543d1d080fde36cb3d533bb8350e503d7d4af2aa173be81967bbc5d42e5d
h74x_U_3_3_12_kz_B_l1u0_yx.drat 9de008d8a0868eb9c305acd2cf7385873bc88f90a29f03c5750fc84a9ca376f0 40668755 s VERIFIED kept=True
h74x_U_3_3_12_kz_B_l1u1_yx.cnf df6818a56b956022baa4f67e6160a8000e9c7d070601237412acc3f928db8d94
h74x_U_3_3_12_kz_B_l1u1_yx.drat 63ac005075c9ec17ebda86dbe1a894b143fd47544041b049afb5dfbbb2ba150b 40668755 s VERIFIED kept=True
h74x_U_4_4_8_kx_A_l0u0_yz.cnf fa7206a2ce787ac535a1bebe1596887218832437225ff4554fe6448f04d5c3b6
h74x_U_4_4_8_kx_A_l0u0_yz.drat 14549e2856260e7db4c2e2c12623b5a0682a043eb6494ef36cfb3d0b5161e501 118110293 s VERIFIED kept=False
h74x_U_4_4_8_kx_A_l0u1_yz.cnf d3b32f74e7cd55df763c2d739549c075a0726d20db147e56e9622389f69a18e1
h74x_U_4_4_8_kx_A_l0u1_yz.drat 7dc4b8eef73d3cd10449d8a5f92ea3cbf440fb4263808ac785fcefef0cb14b05 118110293 s VERIFIED kept=False
h74x_U_4_4_8_kx_A_l1u0_yz.cnf 3dc1d36f0f8eea88998ff9a96754a02d405ea0f72586fe48f796c474f0b1bdd9
h74x_U_4_4_8_kx_A_l1u0_yz.drat 8ceae8f06e6ca9c1ae5c81eab99f65f0d4001fb7cdc3da9b82655827561fbeea 118110294 s VERIFIED kept=False
h74x_U_4_4_8_kx_A_l1u1_yz.cnf fd11076d29e76250c760935cbbce2fd7e9ec27c22b23c93031ec7da42b697f1d
h74x_U_4_4_8_kx_A_l1u1_yz.drat bdffc2fdcf284821a706341e9fd1edbcce4d8ee59fbcf59feaf9820a19efa53f 118110294 s VERIFIED kept=False
h74x_U_4_4_8_kx_A_l0u0_zy.cnf 55dee0e7dadbf03eb739800136aee481225c7781a9ea8196d22516e41e05f235
h74x_U_4_4_8_kx_A_l0u0_zy.drat 30a8979357e46b5efa8e6fd8c7af4edb0923fb1317bf3325478246c889d86c5f 118004936 s VERIFIED kept=False
h74x_U_4_4_8_kx_A_l0u1_zy.cnf bf93b1575ae053c7ef709905a36f02c260ef33b369510a5e5a38493a1a9aae43
h74x_U_4_4_8_kx_A_l0u1_zy.drat 3bb45ee3d3c1bb804ea690819904a91915f1288a7fbd86ffaa9e45505b5974d5 118004936 s VERIFIED kept=False
h74x_U_4_4_8_kx_A_l1u0_zy.cnf 051724ea9e21ebf3223d9912ceabb8a55297cd250cc61597b9c4b3f44f4dc90e
h74x_U_4_4_8_kx_A_l1u0_zy.drat e8016c7b45b79f9d826e51ab9d507c266f60ff951c9cdeb6819d0e650ca557e5 118004937 s VERIFIED kept=False
h74x_U_4_4_8_kx_A_l1u1_zy.cnf 896dcde0bff512a38e80e30c977f7ae7b8f1825fb65f2adc78e6fff4350c9b39
h74x_U_4_4_8_kx_A_l1u1_zy.drat 62d3b81abc90dd0c766f54c7b8e42f014600d42ad16d449e21249ad7f6464487 118004937 s VERIFIED kept=False
h74x_U_4_4_8_kx_B_l0u0_yz.cnf 4e0560c2697f46948a65058614572cd5c909d10c71fcf90fbcab3834f721f6f9
h74x_U_4_4_8_kx_B_l0u0_yz.drat 090f224cd7fe9f106f97cf3e736de64df7adc04ad50e54599bc7594f3aadf2ff 118075342 s VERIFIED kept=False
h74x_U_4_4_8_kx_B_l0u1_yz.cnf e2d67015019e9b834c9e002e9f337ba240beed2a105e6f014502a87ff6ac29fd
h74x_U_4_4_8_kx_B_l0u1_yz.drat 819aecdb6dc8335340264625858c34b0409f241671921a0c660228652c4a00f5 150951594 s VERIFIED kept=False
h74x_U_4_4_8_kx_B_l1u0_yz.cnf dbc83aec63549f2b2c46d84fb2499e095687bbfadd2327e244904f58afc8e058
h74x_U_4_4_8_kx_B_l1u0_yz.drat 39e1e877ebced1721008d2defff5c83baeadb9f6236fac24645307e810eb7558 150951594 s VERIFIED kept=False
h74x_U_4_4_8_kx_B_l1u1_yz.cnf f4467300cfa734063afbfb5f314429870ca4bfaf1c9de5ae422e686ad177c9f6
h74x_U_4_4_8_kx_B_l1u1_yz.drat 83be36e695595954610c731cac51d030c72b411be212492b1492c6517eaff7a2 150951594 s VERIFIED kept=False
h74x_U_4_4_8_kx_B_l0u0_zy.cnf 6103678cf75d6ae69127f66b02b1b5875f48474bcd6b9acfafc44bf3c512493f
h74x_U_4_4_8_kx_B_l0u0_zy.drat ee6059ebbd7749f9267acc44868daf05d8c77c6d9dc493a83f18f11ff0a39bfe 107986770 s VERIFIED kept=False
h74x_U_4_4_8_kx_B_l0u1_zy.cnf 7f23c68425b852bcadc9bd9e3e78ad770931faecb282c9b1b0640911a77c8092
h74x_U_4_4_8_kx_B_l0u1_zy.drat e94e43834e33b6e16d3dd656dc53a0a9493a3130f1dea17b1927329b5fbf73f3 107986770 s VERIFIED kept=False
h74x_U_4_4_8_kx_B_l1u0_zy.cnf 33b80484beac81e67e55623a1bdb31f3728e4b13cb6eec8043fc58488fa036b0
h74x_U_4_4_8_kx_B_l1u0_zy.drat 8646568ff4664f145f9a195fe6f68754de40513bc3ef4bbb946ceae666f64590 119714017 s VERIFIED kept=False
h74x_U_4_4_8_kx_B_l1u1_zy.cnf 18475228cff3691259634155fc9d1933193052de535b001cf32a0edceb271de5
h74x_U_4_4_8_kx_B_l1u1_zy.drat 8b1c9ea7f9c1e518642753434666de95944f09af44a2a5190a518d77621e6bcc 107986770 s VERIFIED kept=False
h74x_U_4_4_8_ky_A_l0u0_xz.cnf 1036a7bdc93722cb41cb23c5a6d9a17932890b11b3abb3c789716c33385d0d47
h74x_U_4_4_8_ky_A_l0u0_xz.drat ecb9bd9f641174d90f6a83e07f330b0960a1e7eb5e421bf66869bc1365914267 136538207 s VERIFIED kept=False
h74x_U_4_4_8_ky_A_l0u1_xz.cnf 8af6530e56c5b2a57596e2fd24247c15ba75fd3f78d347e074dc2606ff2064d2
h74x_U_4_4_8_ky_A_l0u1_xz.drat 21ce775b9aa12968f15cfb79d9aeaf02f0c105713951440b53173625452b6d53 136538207 s VERIFIED kept=False
h74x_U_4_4_8_ky_A_l1u0_xz.cnf b940eba117c6b76a315f2eb38dacee5a6f90e5c55fc3f222594d0717afc1b514
h74x_U_4_4_8_ky_A_l1u0_xz.drat df52d3a987bd770f85105e08e6cd029b19ca5cbe7ed5319662795d50e4a443ee 136538208 s VERIFIED kept=False
h74x_U_4_4_8_ky_A_l1u1_xz.cnf ee3a973441324cbcaba9b64ef593a04a432e6bdbd6a11ddd232207704f4ea3bf
h74x_U_4_4_8_ky_A_l1u1_xz.drat 76671ae5e94be09161f66029a69f8fa53664cdcfc9ac2a99cd470f59acea82b8 136538208 s VERIFIED kept=False
h74x_U_4_4_8_ky_A_l0u0_zx.cnf 434aa28da395498f977eca64d43706c437dbacb1f30a61c655a895202d27b9db
h74x_U_4_4_8_ky_A_l0u0_zx.drat d13405e7be697a47f76c7a04af59a79cbb46ea99bf9f54e76b719c9f29d73c42 109869219 s VERIFIED kept=False
h74x_U_4_4_8_ky_A_l0u1_zx.cnf 0405d56b322ae5990f0a03b948d0c9113282cd1635aa9957af3c449120f70a75
h74x_U_4_4_8_ky_A_l0u1_zx.drat 0d0777659da3f93e7740f519928c736519eb12faff34637eac1b96c643d39281 109869219 s VERIFIED kept=False
h74x_U_4_4_8_ky_A_l1u0_zx.cnf cdd1787275379f7975fa611f51f71fd602c46f8638ec044c103abde644e2699f
h74x_U_4_4_8_ky_A_l1u0_zx.drat 83c90169c962ae907a6a9dd236ab10015a96325a9ecf636862a23bd7a56ad472 109869220 s VERIFIED kept=False
h74x_U_4_4_8_ky_A_l1u1_zx.cnf 4c8466b4f1341ef00bbbc2190e3b35fa9364b5163b86c843e0ae1c6547f038c2
h74x_U_4_4_8_ky_A_l1u1_zx.drat 3fa166ae290fa47eb6798bef0dee9e7f4e6a8880a92f03dc70497fdfecce25e5 109869220 s VERIFIED kept=False
h74x_U_4_4_8_ky_B_l0u0_xz.cnf bc34e000d60242077c205863c64161501d95469135623f8f87889b4f92e7fed5
h74x_U_4_4_8_ky_B_l0u0_xz.drat 8e3ac85f17f2a6a03127d568bba4156a1726885bec3d5fe0c16d34ac67121995 130386731 s VERIFIED kept=False
h74x_U_4_4_8_ky_B_l0u1_xz.cnf 4245e5ad2a85f3bddc510bd1ea1754bca360dbcb78b0545afcffaf7c67f25fed
h74x_U_4_4_8_ky_B_l0u1_xz.drat 5de35c2ecf5c21330fac84779147bbf0da80d3432bb5ba8eae3c249bb82686cc 130386731 s VERIFIED kept=False
h74x_U_4_4_8_ky_B_l1u0_xz.cnf 413019935aebe4101c8e259585ca268846f108790fce511998e1251280d0cb70
h74x_U_4_4_8_ky_B_l1u0_xz.drat 548828f06b725dbe641298b5b867d2604942f3852d1e42c67713f5fa58fef7db 130386731 s VERIFIED kept=False
h74x_U_4_4_8_ky_B_l1u1_xz.cnf f4ddfb853da3246a53411ef09299faac26dc84d271a31988e3d0f17c9af7da4e
h74x_U_4_4_8_ky_B_l1u1_xz.drat 04241ecaba2359164d57d875b09f26bf880e6db71871f017ad5d809c1acfaef1 130386731 s VERIFIED kept=False
h74x_U_4_4_8_ky_B_l0u0_zx.cnf c3ec64440604929cd608265f569c64b262991cd103c1cefe0c86386e0396b4f5
h74x_U_4_4_8_ky_B_l0u0_zx.drat 703ffb9dd80cb2612566c7d54910548b3117a0c259e1a6d89385fa7bd26d01b9 121077436 s VERIFIED kept=False
h74x_U_4_4_8_ky_B_l0u1_zx.cnf ed5c70bdb8ea0f914376eef1b681f4ba77eac6a1c75dc387c4dee4e34cdbdb5a
h74x_U_4_4_8_ky_B_l0u1_zx.drat 61f6d3f0c68d2b94b8ee72996b91b868dbbf1cf97844f7bec1708c19e5947d22 121077436 s VERIFIED kept=False
h74x_U_4_4_8_ky_B_l1u0_zx.cnf a8d27360c8843d75b6b02957957ca04f9b71662a11ee207e433890015c19689c
h74x_U_4_4_8_ky_B_l1u0_zx.drat 0d179a0f1b6951b8beb587358acd7a70fee63c924aae88d370b877be8d0a75d6 128792609 s VERIFIED kept=False
h74x_U_4_4_8_ky_B_l1u1_zx.cnf a7225342966dc7d03b3338dab4e21cce6fec7492a7c029446a8e46625a8d60cb
h74x_U_4_4_8_ky_B_l1u1_zx.drat 782e889e2b768320786396b0c6e7ffe566d9f8403f80709ddb2a6d44c67154ed 119780654 s VERIFIED kept=False
h74x_U_4_4_8_kz_A_l0u0_xy.cnf 3aec65283d681e7d40210029140f7d5d10b139cc114b8cb4c8564ebef6fde471
h74x_U_4_4_8_kz_A_l0u0_xy.drat 66868025050fae6a431f14891a30ec7ddb6b2a98e8cc39a438091f2d1761b894 73397775 s VERIFIED kept=False
h74x_U_4_4_8_kz_A_l0u1_xy.cnf 278ffb62eab1d915adcf94e4746432225944293f844c9ccebbc1e0e87b1db489
h74x_U_4_4_8_kz_A_l0u1_xy.drat 3040f02610c4c39bca2b7ec9a470e2f8959da8d5e7947ae8da5ce2a1d87fc8a8 73397775 s VERIFIED kept=False
h74x_U_4_4_8_kz_A_l1u0_xy.cnf e9faae7a536b523c7b73f5ac536b563804c8bda35f7b8c4162740f9ecb276c40
h74x_U_4_4_8_kz_A_l1u0_xy.drat 3139857d32633a9b055790bccb97d7a1500f4aa13ce4b8e6cc652aa46b557c27 73397776 s VERIFIED kept=False
h74x_U_4_4_8_kz_A_l1u1_xy.cnf 59c1bfc0d9f06fd3777b77a63d21e7207951bcd1763402befc708ad2ffd85fd7
h74x_U_4_4_8_kz_A_l1u1_xy.drat e529c76fd1549f9c093ae9933dffe74eda27d43ba2fdbb50be902e8c01578617 73397776 s VERIFIED kept=False
h74x_U_4_4_8_kz_A_l0u0_yx.cnf 55e66a2beee4ab999a89bd5d433e7ddb033f1ba692094cdcf22211093b1887be
h74x_U_4_4_8_kz_A_l0u0_yx.drat 3a8f05009c9b2d8e384f329feabaa30944d548fc3d72e6e91a7bf47f5af1b692 95347141 s VERIFIED kept=False
h74x_U_4_4_8_kz_A_l0u1_yx.cnf 8965b39bdda524e79fe96298b904d07b51e115cb4ec1cd525e6dadec93978730
h74x_U_4_4_8_kz_A_l0u1_yx.drat 2c586e2f96916fe433b8cbf1f3c74e6a700e81c3f4716bf6917aa9cc8f52d1db 95347141 s VERIFIED kept=False
h74x_U_4_4_8_kz_A_l1u0_yx.cnf 21dc63280b55fd3ec586679fd0d71b82100011d5412eee369c128e3fdb737544
h74x_U_4_4_8_kz_A_l1u0_yx.drat afb2722b31ab362da4187a64b004ba25235dd79457515fd5268f2ff62abf50d0 95347142 s VERIFIED kept=False
h74x_U_4_4_8_kz_A_l1u1_yx.cnf 0c07a415f7d39ede81574c4fcbb96a8afa8733d5be91514f8d04dfea1ba25e99
h74x_U_4_4_8_kz_A_l1u1_yx.drat fc1196183b4bdf1117dcf3aecf23e524df3936f322afc566235e1c956d1adf0d 95347142 s VERIFIED kept=False
h74x_U_4_4_8_kz_B_l0u0_xy.cnf 71b66ea38eb0483e87723dca7922e1381628f5ab973c4e47085725e4f08cbeaf
h74x_U_4_4_8_kz_B_l0u0_xy.drat 353ea6c1ecf2e0657f575cbb85260e4ee2360e827350d3c6480b471539f0863d 78046618 s VERIFIED kept=False
h74x_U_4_4_8_kz_B_l0u1_xy.cnf 0cf7fb01c6d103c9f5680e3483a4478d07317136cd3cb417aa8b21712c9630a8
h74x_U_4_4_8_kz_B_l0u1_xy.drat 8f4f12cd242c5fd2242952417f651c2da5825194bc685bfb977734e535552c3b 78046618 s VERIFIED kept=False
h74x_U_4_4_8_kz_B_l1u0_xy.cnf 0bf4a59ddb0b1775345044eabe64a29df46265a5f8c8bc061eed5a4d17e9a213
h74x_U_4_4_8_kz_B_l1u0_xy.drat 7867c1946453132f5cc1e9eba4dc57cdcf2b2ba4cccce1fdd329ab5e394babda 79529643 s VERIFIED kept=False
h74x_U_4_4_8_kz_B_l1u1_xy.cnf 31d94c4661ccdbe1bd05959c072190ea0d8956538e1237cf952bd5804bff47b9
h74x_U_4_4_8_kz_B_l1u1_xy.drat a394e84caca72e98094026b763be36395872c241eb69ff42243a5a050f3cd809 79529643 s VERIFIED kept=False
h74x_U_4_4_8_kz_B_l0u0_yx.cnf 69a4a80b1f02e893a22ffe21c677a06c1557cb9a8ad334bf2309ab4f3be593b6
h74x_U_4_4_8_kz_B_l0u0_yx.drat 46781ba0c7f9ea8ce0357e2351495e623466e8c3b6b10b98eb26cfab55d5f9ba 88584865 s VERIFIED kept=False
h74x_U_4_4_8_kz_B_l0u1_yx.cnf 2b9f7aba707cdedf47d83636e5bd4533f89e785eaa0add53a26d0051eab77deb
h74x_U_4_4_8_kz_B_l0u1_yx.drat af1ad185b619438ad01d3f1891ccc1e3bf85e9319b48272a0119f5e500189a9a 88584865 s VERIFIED kept=False
h74x_U_4_4_8_kz_B_l1u0_yx.cnf e0b278ee561010ca849d0e934a81e9672dcebdffd10567cf7eeeac72f87a651f
h74x_U_4_4_8_kz_B_l1u0_yx.drat 304fb65751d8967d917b103ce37dac4991632ba88110ad9176aa476e1dab9d53 90933323 s VERIFIED kept=False
h74x_U_4_4_8_kz_B_l1u1_yx.cnf 148bcb5b9d6fc11b8602cfcb4eeae3aed4b2fc15f7691d8221dde7343377b185
h74x_U_4_4_8_kz_B_l1u1_yx.drat d170ec7226e55318132a4cf25210e3e5d359ab39d8b0b99a2dd7a6cd240aded0 90933323 s VERIFIED kept=False
h74x_U_7_7_7_kx_A_l0u0_yz.cnf 1c1c89a276a79fa30462d630caaa339576c91b2a303bbb1cfa418dad2dde1b4a
h74x_U_7_7_7_kx_A_l0u0_yz.drat adac63adb54ba1d2e6201e7a9a03b871e04904f85796cdaf8a29912e70331fba 864057849 s VERIFIED kept=False
h74x_U_7_7_7_kx_A_l0u0_zy.cnf a82c8cebd84731f0e88e56a9d5c0ad764a2f8897139df13b94e219c0388f402a
h74x_U_7_7_7_kx_A_l0u0_zy.drat 028279e0a4d378e10b6ca1aa638d508ee32c5657d33eba1b91ead8ab6512d3ad 1286580700 s VERIFIED kept=False
h74x_U_7_7_7_kx_B_l0u0_yz.cnf df500e0634c1016c70f7dea530057d9e86af4fea0bc5584efb93ec2400ea5dc6
h74x_U_7_7_7_kx_B_l0u0_yz.drat e4acb68b3203b49344e638015fd20417859bc56c45d0a0645aa6f5e216e367f6 999408465 s VERIFIED kept=False
h74x_U_7_7_7_kx_B_l0u0_zy.cnf 27be753f29f34e6ac0695fc5c228ed601b591dcf6cd9bdc9d5589dc616aad3de
h74x_U_7_7_7_kx_B_l0u0_zy.drat d3613755e99a410630a7bfed30a04ca10b5db91e6399e6ed4be77ac98ae15458 897062875 s VERIFIED kept=False
h74x_U_6_6_9_kx_A_l0u0_yz.cnf 4301fd1c2bd1ad9f3329c0822567e9f51a34169d75f5da1251adfdcedbaed15f
h74x_U_6_6_9_kx_A_l0u0_yz.drat f0676c982917db6ddd4987fc1390590120a4fcd6f69eafc37d223fea8d137a06 753088480 s VERIFIED kept=False
h74x_U_6_6_9_kx_A_l0u1_yz.cnf 04b973c9181e750d8a24e259a11eabc1a8b71f84c6b59cf322e9046ee53e5e23
h74x_U_6_6_9_kx_A_l0u1_yz.drat 9907745996c0eb1c94edad6348a324f87b2d45540ec1496271639c0df82195ee 753088480 s VERIFIED kept=False
h74x_U_6_6_9_kz_A_l0u0_xy.cnf 52324d3cb6ae4332f9e8c8acf31c5cb5a8cc314520555c2c4373a12a83d18535
h74x_U_6_6_9_kz_A_l0u0_xy.drat 6d1e945767a1fc46ba57be1f21d92fb831510847e8733d5c063f671fcf4f74f9 900246179 s VERIFIED kept=False
h74x_U_8_8_8_kx_A_l0u0_yz.cnf 9a96be439e19c907f17cac791ee0a37d31d0ef089eaa369b7bbbfbec257d7c6e
h74x_U_8_8_8_kx_A_l0u0_yz.drat 551747716034d58d2ef36722b1f55129440b7c706450164f63efe1595186c534 2166243996 s VERIFIED kept=False
h74x_U_8_8_8_kx_A_l0u0_zy.cnf 3776f6d9e52ca369edf84766d52ec4806eb98e4198017f225f3ee44b52a3a0f9
h74x_U_8_8_8_kx_A_l0u0_zy.drat 354b58544951934060158826ae4e9a64060f9070fbde1febca5b855738d9650f 1982386951 s VERIFIED kept=False
h74x_U_8_8_8_kx_B_l0u0_yz.cnf 12fad6275cca42ba5782114f2033cc21245fe178fdbb0b14f1f041b0bd72e75d
h74x_U_8_8_8_kx_B_l0u0_yz.drat 8b882ea3da1bf4bc8d2866fec3decbe847db3ba0f512526f5f17dc478a0f7365 2916234398 s VERIFIED kept=False
h74x_U_8_8_8_kx_B_l0u0_zy.cnf 7f7feeddc01f7d987b8d41d9b617dbec0a4f90b21b078df6108f35da4597a0ab
h74x_U_8_8_8_kx_B_l0u0_zy.drat e413dafbcf93991993d9ac67709f3381d0f998c859c999fb2eddf1f574d53a7e 2283955793 s VERIFIED kept=False