--- a/src/HOL/SMT_Examples/SMT_Word_Examples.certs Wed Oct 31 11:23:21 2012 +0100
+++ b/src/HOL/SMT_Examples/SMT_Word_Examples.certs Thu Nov 01 11:34:00 2012 +0100
@@ -1,56 +1,56 @@
-1dea21d7f83bf3c8744889b87efdd51ec9b13522 1 0
+76e44ee5933c173533f6c97186112ffd01a35ae7 1 0
unsat
-e4079c456b2eef2ac4a460a64f6113e3f4e0c166 1 0
+ab57bdb94d69bdaba64439f9bb267d64807e1b5e 1 0
unsat
-4528ee18a87d7e792c3e551fc6891303a56cdeaa 1 0
+401498352b7622bd35b4dfc98f7cffcbc6c68d8f 1 0
unsat
-3cf263d3d9abc6c9f43b2caeff18d80706c67c3f 1 0
+788a14cdbdb52ecdc7af1170ffad340615282c1d 1 0
unsat
-82b1dcef093ff559df687ea978391118da7ebc2f 1 0
+975e232ce6b6ffe7dec903c82ba2e55be9be4b55 1 0
unsat
-c1fab913bcaeaa11e2a73c6525b382ee9afa489d 1 0
+6b59badfb0234682536bb0ad166188999b0c6ddc 1 0
unsat
-a093424324d5a32372ddb295c1512be60f121da4 1 0
+3382bcdf1086a48fcafa193342eaa14b3d909da5 1 0
unsat
-f23e2d7a4ec6d24d260c37b661aec80bc88aa232 1 0
+b70039502c53afd0aa36eb84a1b69ddb2aa2d889 1 0
unsat
-d47155609b280ddaa63574797e5ef4ac587325e4 1 0
+1708d764034dbf13b2c2700d611d5ffa101211d9 1 0
unsat
-44e79df6588d993672eca866baec13c5f54343e7 1 0
+c477e950ae95e3b24973c8c733ec2bea8b9b2d38 1 0
unsat
-cee1aca69943693cc464a3a3718ce011a9251c2e 1 0
+1093c5f8705b619e8a7be9b8025eeb457136ec3e 1 0
unsat
-d994fef5ffc2e32ad58ff2c458322e61b69933f3 1 0
+dd3396716b2da248d8c9added0ceea02fef4ba84 1 0
unsat
-3dd14db324dcd5277297ef4a7c6d0e288cd627ca 1 0
+bdcc1e71a24633edb63d0dd3ba120c65e846f3ce 1 0
unsat
-3cdb3c6fc67b95c3af80c236175e971746e9d49f 1 0
+e2eacbb801fda7d852db0c81474cb853fd1c712b 1 0
unsat
-fb681fce74f688cee5fec2e557d7d2f77a772f64 1 0
+f0d4a4b3c8c63de26b273932bfe1395e8b793560 1 0
unsat
-dcac8a123cd5019a4174294cf01f82aa809aa855 1 0
+88c2d9cc032fd024a08d4ba295900da6bce5f5d4 1 0
unsat
-12722d9dd871f78b7cf1d8c71c8b3895df97231b 1 0
+1bcdaf67c99875bf6db184c44d694d9acd5f4fe6 1 0
unsat
-dd2ea04983b1210e07bd977332f5928c281333a8 1 0
+c00707370876ed215f3713cd85573c4763ec2a26 1 0
unsat
-64c9fe73f7ca3832f4daec3b66d94e4f6c730fa5 1 0
+1cb480a8b9f94702afaeb571497b186daedb1ef8 1 0
unsat
-72d447be1e4c7ba9ad39300590a185b5ff3d7a54 1 0
+9e8b9e428288ae30c668e8f03352d15d8e286432 1 0
unsat
-f9acba6675baa1463a0fbd893377a528d3bb0de9 1 0
+196c4a9a6b5640282f300e93c54ff8eb71316ff5 1 0
unsat
-9b6b36788fe27138833728937e7dba8ad83d5703 1 0
+1826991131b49208eb8677e518d5be0f42b61b38 1 0
unsat
-9e722a42cab872ac3674f51a989dbbdd036d2789 1 0
+55f83dbb53da0f4b9428053cd94f44601bcaa774 1 0
unsat
-aa4c66aec2950a794a74c5225e276b6f9af799a2 1 0
+ab7c984b7a66073b1abad84ef52b929976a35d86 1 0
unsat
-4c0484270388224d9c57afba772292a37ff06c2f 1 0
+bfa3fce180488cfe4ad0ac727bb623640e0d32b2 1 0
unsat
-87f60e1fd68b7f68ba1c243bcc83defade8e108f 1 0
+90e9872517e16cc673eb5c48dc5cbf7bc9c432ac 1 0
unsat
-18a8475ffc15d5c751aef1cd46792abd41d598e6 1 0
+72e166f5efdbfd3fe1c8bdfadba5d3492475412c 1 0
unsat
-3bf2dcb45282e43fa4ebfc5c17aaa663f9ce6a76 1 0
+c02804bc11c152c5fb78f37c0e820d1472eb067d 1 0
unsat