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 '1 dL ]% Stream_Fusion_Code:threads=4elapsed=11.577cpu=32.964gc=0.904factor=2.857zXZִF! "+]ŗXf[&R g0Fw[e0Ozt=3 az E0YIYLf,%cvMZ6Rq*H}#>ZE.˅FNwh.Ф( P; '0 A$N$F&^R;^)J )tw##h5М5[>qVc^d%hդa T 0q0W?{s) 8ԭqbGX.jgxd#J-̑p9F6/,yPӚF☰{^{ٙh ^̱@b68/<="dm7^[6rLqq5!- >d5HS;<ıwf;&(?'ma5O,__Q}s{TcEq6SiW8}Y͍S)q_6O1GnX٨΅o(XVFc|ä/~z[j\_*P`* yrV.stDnГ9cOjwmDݞrsil\;m`ba. KTq4N9x x }xV#s]S7P#n! F_9ߚkl?Q@gW'|*ka8cnEHDNܠRՠBkOWq0^ךlw\[1p|G=ӫE@gYZ7zXZִF! h]ŗXiɟ ~7m`X$";7GI֑dt,+-l.5'O "_zid҂ڋulV;J7g@}72\(>7k_6OgYZ7zXZִF! aB]]ŗXi%Bt0g s)|yz5^Hy Pa]5%+v6>D.$h֯ ?h(9#Рf~"K#4*

Aΐ4_F[&Ler5nEW?d ?y.${%+>p[w"P!8ȚղAl.G3`n*ŋY^e~E=y@r 4f<,/FB^xqt7Ht흧Z|XqzFQ/ iw mdEuST!b}׽(DBS=NFQ[XC־GlP0s'Fd?+S'.=j }#RՎN hEPMe STecּZ@^58DfNEu6p6jv<) 0Et_B@>0siAχϫotD~u tCSMSēMHuR,7Ŭ{OJ-cyănìJSR~#ىqGc~sof_)pk3-A2“s$zW]m|CAxep$TLQϯ*&{ӝn70.ioig -f12>x6Q{)|H-"~zlw(D`"a Ec̖ 35HDP=VScG\vBFh:sTIg-0pw4 |əbtInC9csϖR%̀ Rެcg\ ;0FiYyr u+#ԮXgFȔ6ɋyUݝCmN>6 <{dwɊZt m݋V$jK|jxGMzn{۸Rc 2wC9`EL4i|.zԬJ?MMLL9h]/@n>x,|qZil2X~,D$, Oq BaFIG8uRЙcޙd96„