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 hh1 dtl ] Separation_Algebra:threads=2elapsed=17.338cpu=31.912gc=1.604factor=1.847zXZִF! ]ŗXf1-/6vR[]]uRlindBkTi 3A \A~z[UqtV$ֹ:v Fq6 QLp_I}s><ro^5oTEF Ng~iE#'}5W~vOʭy'Zxi,!%΄X>M6=uUTjɿUqI؞1ƤB/ϱैrHH-dŴ1Q!9V` Axn/g"r!Cإqr]Q"lR#^]TݕﶝMK?;Q;2Pqާ۸E33ڸ J7q{)ʤ{g{R{NQn1^6r %B7&q:p'tgqAvײ/Z-=XOleOL>&c۱gYZ7zXZִF! ep]ŗXi%>g mCZӭ=?{X+I;;wGN|0ĢP;`~I+ #_!lkҧ0-_If6f̱C-,x$@;tdNAܢy 7"5)0EX& K d%| s*oF/2rk>|8)(g$=; % I /<@ެ*aM|$W~ώ3Q*5a,O_c$V \"Ɂ_)Y"|lm[]$[ӱr :=4jUvw~Ӛ$EΎ{Ѫ"+[b=$HR5>To/c u?5aZC۔a#g6[XFD\0.΂G6mY9CFՍXF8-6= 4 A.%'!n궢=f#suBXfY]E!^I D>qO\wx67e ڄιnY!d7X&ER3020lHA0}#gS4)Ԟ7G&W%l Z Qh$w(N jNFnv.9Z7W,bɾ``AUT+o}_Mq2op+=+%vV`;3K_Sf, >և5](m6A?|ңF|D߳K]w46`uZ,N!\[6#dL @u->jYf/T SG~l_b>#iV| zH28s^7m~NK(TX z%kphsiDBݤХb`Q$Ǵ~:X//T~><dݑ5/)̕P"@1A)+p*. rnZW7H^"` g;]2| |f$:'2;=7hAk|Y ,uv&WZv8sچ4So? F0!iXRоeE 9 ɊMHF j.ԱgYZ8af65ee4a61a950ff5bbf317c21edaeeeb04ed4da70f3b1dab78f27422c2c199c67ce3165c51f78c b7ea345064e6ade7544c71fbd991740359381db8 a8747aafbbd129782cc7bc66e2ab238deb2546cf 1 Separation_Algebra