--- a/src/HOL/SMT_Examples/SMT_Word_Examples.certs Wed Nov 03 16:44:38 2010 +0100
+++ b/src/HOL/SMT_Examples/SMT_Word_Examples.certs Wed Nov 03 17:02:53 2010 +0100
@@ -1,50 +1,50 @@
-46235d1f6a4388f12c18d3d18eaed2d6ab3523e2 1 0
+e1bd9b09ecc046c90fa67ab56ab4bc91c2137e7c 1 0
unsat
-2989011a3b771bf7eab17217929d76db371db55a 1 0
+b0b514fa1c40f2df103dbe4bab9d6ee5e8e38622 1 0
unsat
-4d462cfbec6db35b16a67293eb04373a3a11cb44 1 0
+4a2f9858de3b5f966f7cfe668d50b9fdbdccc28f 1 0
unsat
-32e799a4f02a8bf85378e2558d647d6e6e7e4116 1 0
+b403fe5b6096d56ba2e1efb5889c116ad939fb9a 1 0
unsat
-ea8ec671ee4ec9ca44eadb130212b55542ad3c72 1 0
+07197240befc69475d497a3deb0cd58a7dc5035a 1 0
unsat
-0b22b7d406250c007b69daac26169211cece6e5e 1 0
+19797ddd09fac50784f91151252f6cbfe61e45fe 1 0
unsat
-6f37bd70504a10f1a5bd56b5d3031a3658eef94d 1 0
+aae95453d4c2d67c25587bad0e870093008f21c8 1 0
unsat
-12d0a7828bda723d340f377f770b153b4828c723 1 0
+586fe9c93d5a4634c21e336a3f011bf667295f8d 1 0
unsat
-42a5347bcc64f0fc5e7773f929e8b7e6d96e73d0 1 0
+2de49ccadae9ad983581b90d74323c219d328a06 1 0
unsat
-a42bcf18394af94f8cc8ab8ce877ec1e88c84c2b 1 0
+7c0a6866bb2417256d44d53c9d7cc8aa1afea73b 1 0
unsat
-e3c0ae35ad656751b98714cf4a7bf8c152a73c5b 1 0
+00738aadb1b8c4a3738b0d9345151d9314628cdb 1 0
unsat
-471cc482e74eb56062a56eeeedc0a1257f6bda33 1 0
+cfe59e32fdada7e2400e8a4a36a9a1c57b6e6943 1 0
unsat
-122224697bc7ce7440727f7345bc6c4718983ebf 1 0
+0c1a115ce11f64d84848e4e43f8f568ca009da60 1 0
unsat
-ff841f21b338943202778802235f8b185af9f926 1 0
+e6fc30fe7a455e14f6da307ba6450d7a3ee50441 1 0
unsat
-d53ed3b2dea404bbf4cc3cdde4855f8f002b1ced 1 0
+94dd0007678a5ab7d0ca74a327a14670df6381ad 1 0
unsat
-6f80ff315644370e76762c9594cc0408fb226af7 1 0
+6de5148ae90599cea51776126a320aa18e44b930 1 0
unsat
-9354d8e43f3fcfb65d935d9c042aa4eb28fa8c7f 1 0
+7b557ca70d803069d3ec0841f7b2f90180f7632c 1 0
unsat
-ea68ff6144ab104762c1ca59e4571d4c481712f2 1 0
+04ec8bbf4ad5ec6998df2648b8f7d5128b689a93 1 0
unsat
-7ec887bf8cbac8fcbb5ed1a9fdcd99b2e709a6ec 1 0
+e82e83431339e5060426d14b5f9b33f0e35290ef 1 0
unsat
-5005c7113901a2b2f31bdfbbc6192115a80e6a9f 1 0
+748ebe13985717efeb5cfe13eebe2535d37f2be9 1 0
unsat
-9c31a94edb0c85615a8598ba1cd1036b5072b34f 1 0
+ba350e495fbbfb8ca8ba84ce8ea5cf5cfcb78c88 1 0
unsat
-68c40f37bd410a9b4b24ab0f6e3e9dcc5159144c 1 0
+2e23d2adc09e970979a04c100cda2e246c4be751 1 0
unsat
-833f259a7dd52b3dddfc285b647a432c0daf13c1 1 0
+13c805fce739c689f74923066ed5467cbe271049 1 0
unsat
-7d5a71ba893f865044699426792a024fe1612235 1 0
+9272ca3409998794083865eb22a5af989a22bbdd 1 0
unsat
-6adbd17723088c30f1d1f0f07e1e4df2076a51b2 1 0
+158ebeaaae2e81911b4f0b18392fa55af050541c 1 0
unsat