--- a/src/HOL/SMT_Examples/SMT_Word_Examples.certs Sun Dec 19 18:54:29 2010 +0100
+++ b/src/HOL/SMT_Examples/SMT_Word_Examples.certs Sun Dec 19 18:55:21 2010 +0100
@@ -36,6 +36,12 @@
unsat
64c9fe73f7ca3832f4daec3b66d94e4f6c730fa5 1 0
unsat
+d8e56ac599bc3827a065804e88fc36c63a5afcfb 1 0
+unsat
+a3340f8171cd0db9c0dd45f33a3cb1a42e793eee 1 0
+unsat
+a8dd16a0d6a6514edcc3baafb20317536ccd338c 1 0
+unsat
d5adb105f62510f5a3181800d02bb2208b8170d6 1 0
unsat
f9ac14ab5e87743181fef8830f46edfda6007e6e 1 0
@@ -46,5 +52,5 @@
unsat
56db2066218af38e5a0015563c6a360d4cba04a7 1 0
unsat
-e8d71df84f80ee07d30baf7a7df718db9a4df777 1 0
+3bf2dcb45282e43fa4ebfc5c17aaa663f9ce6a76 1 0
unsat