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  ]1 4 ] HOL-Imperative_HOL:threads=6elapsed=36.066cpu=66.840gc=2.264factor=1.857zXZִF! -|]ŗXf1-q恈1$1|-~yߣGuS'טΪP)"Gh"0"ϑvi} 2=oфEP~㟓#l3<7ni %"3[ѕ)w.4%b(\ J5ԛ I`ٟ݉~$ i|P3! LTj <3 .I'gz͙WO3avH! d14ḛy_["6l$jZSY0vW**2i6Fɸ3Fk$r@I}l@F~y(V}րg9h-LZ@(%`I*\x+gN 6 ֱgYZ7zXZִF! HT]ŗXi%>I";+; NzR¶xmڸmUTn|R{*QMDź>k8 '}zܞWm%1|~KzBLe0wb5ڰ9L›wdzGR&~k+nXȈ]z#7eKKT3Z6sQ5 (Zqk ͛<<.ՠʖTtG9NRq] ϝLx" i^¿@׼zlw I"NP1km/OnךljV ;OQY \W$Qt=I㖛^ij'!J'2J g9qbʝ&"!+a Y]#vSR06,sU|G"WtN%}G0䔮{GT~ KyM+#,~P -Bb?ٱa(R@e%y}!m[ʼn0$OzX uSMbVa:f""VQk;=p~Lq!^&Lꄥ@|?u*"V[3u5P**.+q+( <#S KA&ѹL[,;UqOj,>;us+HRBPY~vͶt$g <nVX{RA=V 8E<чR ,LJXN#i\*=brTC_:[ו j()Ml~?-u|Ušd}ɵU48dT&:q;7E&L  "b]$a?Ʈ56 y>!PVf* ]Z%d {|mD@ ZYܨ4 NkʸY#r