src/HOL/SMT_Examples/SMT_Word_Examples.certs

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/HOL/SMT_Examples/SMT_Word_Examples.certs	Wed May 12 23:54:06 2010 +0200
@@ -0,0 +1,50 @@
+109048e9770895817dd5979a00f06da534f7d595 1 0
+unsat
+1babc920ec79618df5f0b082e9d3cddd652a90ad 1 0
+unsat
+d267ab6dbaa3194e4128cfbcf6e1a93b9e48a6f1 1 0
+unsat
+d6d26ea94007e43e58225f7c46ec0a99f2402584 1 0
+unsat
+ca760845de610e645bcfc9b1041c0181d587733c 1 0
+unsat
+923d502dfce46dab44c651e54c18296dbb701b66 1 0
+unsat
+05b73dac3f593df70bca3c3e0ef8e7ccec9807f2 1 0
+unsat
+84a1c78fe50d413d318d0b982ef77dc6f5789b77 1 0
+unsat
+a56de9dbb2b956491f70c16b413c7873decfb6ef 1 0
+unsat
+d52770f24e6588f2357f3ca6e4d57f4097733afe 1 0
+unsat
+748b3e3e560f80cfa668db1bebe6f1b14fd9929c 1 0
+unsat
+27fd56f39a2ea54c36a37f882d135ce76140c9ce 1 0
+unsat
+a34ef9de6d19e47e54a2b297aeabc15edfca45ef 1 0
+unsat
+e604cafe2585e4e1dece418ea345ceb333bd32d5 1 0
+unsat
+2f36aaa31646c160a17df3ebe0304e0032f73f4d 1 0
+unsat
+ba93d3be1c4bfd2604b43fa2ddb561b976e10758 1 0
+unsat
+ae4d9a0ba65abb0a77e4e62bb2c12dc4ea3106ee 1 0
+unsat
+1378f7b126db81ae9f1a82f4926ae93bcbca2a4d 1 0
+unsat
+1f5fc8f6f2a92b4ae058947d4cd7b66ce682cb8e 1 0
+unsat
+ac2f17b7693facdb228260e8305e59afdc4a47c0 1 0
+unsat
+f290ad959d390f93ae38adf99423d0be11135d21 1 0
+unsat
+4d50150d6746ff126a14943bed3ec37230750d8b 1 0
+unsat
+ac1c49596e8b15a40b5c94b005dfb56c9de727ab 1 0
+unsat
+1e2e60df62f6c62c7f2b24945a09471c4c722921 1 0
+unsat
+e6b8d081faed808ef11a99fc7e6e21a19cff5590 1 0
+unsat