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 xx $,l ]/]HOL-Word:threads=6elapsed=9.748cpu=47.824gc=2.308factor=4.917zXZִF! ]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?yѦ8R0A% vf z.dP FdBWMaQqJmԄaDW}1$>z|O(G+BdMS6UN  )?Akq bUy'#uՑ9Ņ0j{yUg4.QMjK4{V'4]EH; !_\yGwV[]zMa5x[iAx֊WN+*wM CJ ZnϢc u faCKL|b f:O{x} Ic-4\wr1/N ڎg8oQFi{FK@UqKNdWڡ5cωô X}fB_di!0 Zb2bi >CH09QO4^}o8F؂ʀ'_Wip8qpEsioNb 6xHb}҄<\8[~)KΈƘ1 zhŏEj 2k1,R.}p4JƖYCsT;K~,"%):gYZ7zXZִF! ?]ŗXiɟ1}?қѱfدyQ2$2|B.A,?p#]k}UmzхYtJ0w>ک^nRXG5*o0uGZhSS;T~)KTIQo4>@%6A X3rrLZ% Z\KO"ы ݀Ð<2.\Yp 09S96bVӠ/d%ic!?/qڭhDC`m xnL\de:\WY̟ cvnډ}ɱ4MWD>Fj)iRg[>\֟Y- v,a9Q8'AI%@/ ɉ3C>a HgYZ7zXZִF! 0]m]ŗXi%>j>lS#:4=_]88?^؝4,=׀] aSj p? _z/=ZxJDQ 1 COc" }΋N~x]x&-Weyt qfI*+~)*Zc'ۤli]5ca(.ԛSD~7ۓx<^FS~d~(tp(z`_Ny}y;9-je2ˍ+`9}G#zԜ5ց`*Vw7NLP+,S7'$15Gn cZb颐jfݐd(R@_6&tb^BEhspN-ӂb:q3y(b A^w#%ts.tsWJxE$ e,7 [5dH_ pvF@L 'wgCڃ*w{@ UԷϋk=* `dr7+e+&E1ޒp-zd2 [)a=p5~563 3+ < G↉p$~NNc۟ũ \wdH0^0Q4b@P!j7vjy `q\+~*ǻ^㟘0iM\Lv9q)L 1aQf]xD3Hz-Ps zU D7||B}e,~&Ԕ