SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 ^^) \ L ]/ Card_Multisets:threads=4elapsed=7.650cpu=20.076gc=0.588factor=2.627zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jknx'o`$(1gc&(Zsjwd2\n)=' 6:iXl(yA*G7bZA9c7j a4~2l m6MCjMs2b]9."[_4Vc1CoVv)/Z}hs&5?Cm4USH^(utrXĻpCj=zgEa %_,Ll~Rs6f+cO_ŽO<(|< ౹YR)Ɨ.ٺ|5<j8J^L ^JR/q*$ƿ{  ՙya?gYZ7zXZִF! }]ŗXiɟ1˦rYsxgp9f閷V'Lr :'01O~qt7IО3Og a~pgJJ`:2lN+WJ&oĞ-cngYZ7zXZִF! =5]ŗXi%EbbpYj±l?/Hz8v{+Y9gZm{DYKja@IOWf|pS=?Ӥz'/ۖ+7ȉ\TٻH~dmn4jb/ m+FJfj 3Ʒ VC')y @f[>9I.~Rk^䫜jT󫮟)t5s5g.P𙣎` 0h F 6pH-EК7tHSD/TjX(ٓȢ dY2\9j?[Kc/J8{E%Tߎ4i#18h+<"U x@i$U f"j,Š 0o;0ޑ; ;=GR [Hhk^ 5i, aZ6~$!8[?CIy*SAQk -(~fjd Mfʬv˧ĖvY\ PTث A~ԟ)4щ3s=YoTA$1{L{-@c_UIdp  [k~x6mBX[׉!lrΗg.e?- wh._m@Fۢ8ŀ> cjR\#t ÒnvGP x9tܓA?0Ŏ>|?.'ŠDZt7T}͈ʃ"Ka  =#{uWbWtJ-k;_d|Y21kx7۽;oGHܸNPDsN. 5O ؝I)0!-% +wRk-]dw$mk&"\Rv /F(@֌\G+~bikϝ/"yReQde43'L r[LS7͉_|ըP#HyV.ʴU]I_J@khjpKcNese.M+Ejo U3Η2ם6 yv(RN}O5+2b>k UePDgwyyqdjiR ={>+3Z$lɴ4,rJƙ>$DL/dRkAEz=ySyOGF8Y7cĨyU," zp3gYZ75bee982e8f75df0c6e2794dc98c6442d91bce92eb3269cfded2d933ce10fc9d26f2ba2f0f3e31e0 584f21f404c2863325b05768822512e8f27326d9 ) Card_Multisets