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  4,L ]/ ZF-ex:threads=2elapsed=11.803cpu=16.808gc=0.524factor=1.427zXZִF! ]ŗXf1-W(TUK`NDdQna^J 2PJE)Cl}L'+Ks49I`R6-<"LE#mA#4PLw)7a^.$<\8qv,Y# `&j< Ti"LK}$?F9Pd0 ml~ l*`㩸|j $mgYZ7zXZִF! ]ŗXiɟ9)uysi>̭ ϼա2/"Z-|QaX[Z?׬;|Ԗ z3L$R8"=C_m6.R2 9'h\ʋO DZ+2h+|.b㇭9vc?@g6=xb9NT"M$`f n<͟CXx/2a8JO`H.7gYZ7zXZִF! 9]ŗXi%>QF V7IYx.SÊ׊ 5 JKp ZmS|1> ""Kj.l S0xd !n'0Z<(d(\)%4WE)rH _eo,"l|k!jGb0'~=\m>y۞ ^I<jXG Q KZބRH^'>!fà oxb d.d%BF ({8؄r 2lXjgܼwyܼoE^\Xs*+"J ES-UsUshz5gȈkd#ȷ l+63 S2E@g$vL N@e]no-p2e O.$!x@?՞`@pyӻez IznFފ !Z[9y?=2%Y# QE|/yfŵ"`#7L*$޴ H mqwQ7Hk:_8o* @c#0 {SP^rre!.Ϝ:&ɑa7Y$*[{K%DzMr2/ҼgYt%{-v~s?9~􂳘Lv9AaЌPn77T9Bn8|Yexր)e2U` ntէ!d6nvjlu Jc%w:$g2z ;9co sQgYZ53600f8bee1eb329a5ce3606bf8c98297e395a021770e7d42e284900cf7be1fa0dd3341bffb6e5a0 4f92059883dcd7cc8de7d39ff54e917ea20c0599  ZF-ex