SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  b)d< ]/ DPT-SAT-Solver:threads=2elapsed=4.237cpu=7.196gc=0.036factor=1.707zXZִF! ]ŗXf1-/6vRZͬl #,Luywn\d sM@mb G5ވrYMHvtT?[\$X2Nřۿ$t)HGzOWD8&^ayd Q?׻_Lw/HΠ!,䃀> gYZ7zXZִF! U]ŗXiɟ°uk'}t T|=Z^Sy,qes0rҝ:PnRWHt9p8OqgYZ7zXZִF! #]ŗXi%>g!5Sm3W%r5aPϿ3/m;LfJIHylD'С&Fq6YfS `r&>f.o_A9!fN$5@eaM0Xov]LpP+1U@ϵaKaP1Բ nB|:|6~51|;51k^ΘYFYӄsNn/!ڡ <ϭY^jSf;/ ^1֦x큑O9+=lB`SCQl@V*D辚ɋckp0a9 1Y/!e s.Y?hv5ˊh^H ۃg Ϛ.Wnh R;B!u?h6tT52Vsxi=_{frRI]料]GaB$8\7ݪW-݁zٺlݥL~L-uF`yfwpFѭ Q/p $PH~ 2Ma7罫|5UDF7 $t]c&ԇc h 6h'jVimU*(K^4i#\GamWBaQ}qէrX>xG,gݱgYZ541fab0a1c65c5966a7f3f1aeef57a074653f46ba70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 ) DPT-SAT-Solver