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 ii |D ] Datatypes:threads=2elapsed=49.049cpu=68.952gc=5.288factor=1.417zXZִF! ]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$xv7pϼx|'o:sʏ,|'M£fS-rE! ~stku gCl˩0g}^!l I߂R8ܰeά7kl{41oxfA5"2oEv*}ћݩJh6]ah&ȲeLb?(v=kV nݻ^VyD}oa,1 ^_߁^0`T'ADL^z[QvR >(Lo2zGa{[B{4]& }U0煛1ZgYZ7zXZִF! []ŗXiɟ&zLoG ytD{ϏzbO}3k^ mD$@[δ~9c9R7<х<4X@#ǿ֯He J\wrQuI7%Dx ` Z{,r1W, ~>oOxyVdMZSlZ}\[`+Ƣ)ݮ/٭9@P͞ʴ-e\6ja q/dy AJm36vtx[22}LL!+{'F"= hyu&,QSxlu}4< E[U7XEkI]XiN_Be϶174OP"CC)L IyDp@z[VXa!$=33C?(A|86@S l {і9.XԚ_Hl5 ]M13V'ŸLI6EMpK^%#-=شԃVZ纳mZbG؏Hi|*Q_Vpt]Ŷm5X$99(9kxJS^)6=}$6SS7t( Ǽg%%@w>яd6r|hTu2婓 4dWo MۚA!U~(&qu=:n"=H># qZ T8G(qU<)R&o2zFT f(_G纘bĉDER#n񬳰v?c8X}OmN&_6|Y/kޡX@7 AqW~Q['XE Alh*2sAn g,ԭK+F5S׽f/TK#?4y{DС7p:~ U ǿd&NX-3_? Zӯn"Okd2+{A&#1'Oƃ%B?9pm/rf%"m]{ P>FTv3@'kӏ=@z"k;a`v tFZ)+fG_f{jB^i #-K&C0`3mS̽w^vjW0P-1yjPfQr¡Ae<,µeQ=ɹٲ6q-Pnܸ 5I,b% -;Oz#ԀїqvjV;I"gDgH ey-S '톏ea93d.B:K$7^Cٖ9KA/8XxD]|2ww$%)$x1 1CԆTsf4{IfW"`Qz&,pP.EL$NXЌd&UXi ܽ𔴬pWj#0l/ * c ^\2zxpM}a!eg1n(OwVQhxfmjLځbN T@ބǕlR cHʼ>b}>$lgC$6GRĥ0ITEam7u)sWaStitC]3)0 *}YS$@LS;= ٫:`a+ƒҞ$]q^Ku_k Tm)NmFB^*][y S EY Lek)7 tƔ *9\Vqrf$$pZCKv5UJ\ <j ŢbH׭(3%a|(KI{%&>ܥ \? sW4o2+=3bm^M} %_4{I{٩i_ӺpRC7CT%tp){Vz*) 3D^EiIQD(@S\Iҗ͉ʂbJ78=VZ̀N+}'LB\hY1,ke4)r98泀Q$WSsÊۉs9 ./(~":i/V -_OMۯk4X"s,V3cP"S'x} ipvY:)אeH[