--- a/src/HOL/SMT_Examples/SMT_Word_Examples.certs Tue Jan 01 11:35:22 2013 +0100
+++ b/src/HOL/SMT_Examples/SMT_Word_Examples.certs Tue Jan 01 11:36:30 2013 +0100
@@ -1,56 +1,56 @@
-76e44ee5933c173533f6c97186112ffd01a35ae7 1 0
+ef8166854c461e296fe9c596b7a3fe12065b0c65 1 0
unsat
-ab57bdb94d69bdaba64439f9bb267d64807e1b5e 1 0
+d1ec4aa8c4a5f474e8dbb8a8acbdd12fc33b0cda 1 0
unsat
-401498352b7622bd35b4dfc98f7cffcbc6c68d8f 1 0
+03dee604b20d98218bc88a69efcbf0f1c6dc057a 1 0
unsat
-788a14cdbdb52ecdc7af1170ffad340615282c1d 1 0
+6a68bdb5b2a92a239021f6188a807622fe7b8213 1 0
unsat
-975e232ce6b6ffe7dec903c82ba2e55be9be4b55 1 0
+9be3195f24c1786963c05e51e63a24efa7c83141 1 0
unsat
-6b59badfb0234682536bb0ad166188999b0c6ddc 1 0
+608ed753221bdf2f1769ea3686a0f970108a7087 1 0
unsat
-3382bcdf1086a48fcafa193342eaa14b3d909da5 1 0
+610484e81fc38952a9a2cb0bfc83d424f7f96ca8 1 0
unsat
-b70039502c53afd0aa36eb84a1b69ddb2aa2d889 1 0
+0a06a4c179bec3512f3dc01e338f246fca223ddb 1 0
unsat
-1708d764034dbf13b2c2700d611d5ffa101211d9 1 0
+dd232118189a55ac7fc80599d2738be8bbaa9333 1 0
unsat
-c477e950ae95e3b24973c8c733ec2bea8b9b2d38 1 0
+8426f9081bd693e21cd8b2e13d07cea1e69e8abd 1 0
unsat
-1093c5f8705b619e8a7be9b8025eeb457136ec3e 1 0
+8d83ab1c5a55640d0165bbd736d2cc217bcc2efd 1 0
unsat
-dd3396716b2da248d8c9added0ceea02fef4ba84 1 0
+542ef8141028455b42a51f60e3981a74373a60b3 1 0
unsat
-bdcc1e71a24633edb63d0dd3ba120c65e846f3ce 1 0
+564709a03da50b938c3b1ab2a8a2f0dc8d8a4749 1 0
unsat
-e2eacbb801fda7d852db0c81474cb853fd1c712b 1 0
+c4acaeb4324634878481e3faae3beae53a641067 1 0
unsat
-f0d4a4b3c8c63de26b273932bfe1395e8b793560 1 0
+873ce0289bcfaf43a446c6ed55bec4289eea0ffd 1 0
unsat
-88c2d9cc032fd024a08d4ba295900da6bce5f5d4 1 0
+8383b80b5e8011f2b51c01ea89c14ce766f5a82b 1 0
unsat
-1bcdaf67c99875bf6db184c44d694d9acd5f4fe6 1 0
+6694dc1c5420588e5e48281a8835ac019bfb1aa7 1 0
unsat
-c00707370876ed215f3713cd85573c4763ec2a26 1 0
+4094196f5d25f48682e6634b4326469abc38d250 1 0
unsat
-1cb480a8b9f94702afaeb571497b186daedb1ef8 1 0
+0597f614ff89c7376d01987b4737ab991b5a321c 1 0
unsat
-9e8b9e428288ae30c668e8f03352d15d8e286432 1 0
+44f955a3f3fab3f5203ec29edc7e00e7cb81bedc 1 0
unsat
-196c4a9a6b5640282f300e93c54ff8eb71316ff5 1 0
+927e5f0e88fadf6d2f604b1d863a37fc682f942b 1 0
unsat
-1826991131b49208eb8677e518d5be0f42b61b38 1 0
+818922160b53f843888d258a1ef7e5d5ddf5129f 1 0
unsat
-55f83dbb53da0f4b9428053cd94f44601bcaa774 1 0
+afc6dff121c48475665b0ef064826ffa2cad0e85 1 0
unsat
-ab7c984b7a66073b1abad84ef52b929976a35d86 1 0
+b9ab61d9521faeaa45ec63bff4581742c3e6c550 1 0
unsat
-bfa3fce180488cfe4ad0ac727bb623640e0d32b2 1 0
+8e60769fce6622cdca312aa54d4a77329a99dac2 1 0
unsat
-90e9872517e16cc673eb5c48dc5cbf7bc9c432ac 1 0
+bd55726cefc783f8e9ef4ad38596e1f24cca3663 1 0
unsat
-72e166f5efdbfd3fe1c8bdfadba5d3492475412c 1 0
+4e48efd5c9874aedf200e06875d5597b31d98075 1 0
unsat
-c02804bc11c152c5fb78f37c0e820d1472eb067d 1 0
+e5c27ae0a583eeafeaa4ef3c59b1b4ec53e06b0f 1 0
unsat