SQLite format 3@ . BBh77otableisabelle_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 d D ] HOL-Imperative_HOL:threads=6elapsed=42.162cpu=61.060gc=1.624factor=1.457zXZִF! ,i]ŗXf1-q恈1$1|-~yߢ" w7Eh % .lbyjxƗʞ1ʁ7?'h&T =ص03d.D0 j%ģU/pMI7AbrMH֩2.$yjH47)B+?ev*yc2Jf iFK.Uu,Dw) '*\0=L8E_vG5Fñ˖";Kf$I #1'36π^s&!ѽnzT'k{l-!UwI|}.y 6OME۫@w`DC< 1 HOL-Imperative_HOLYz[jP' Ch#( }n=xfPs7!- mcn#KmiM$ \ eX/{q.ԯS8g1cZ޺ࣥȦ&#)v\Z5z=X55Bz!z"a:f?k}zx;:hDPd-*$g%,_}0+*YvӃøtC<TI!c`)KefGEDY ǺR ПCM@( C7A\ϜǷ.(1gqCJ6!󾱰vF(J{8`iQYb5Q~N,-'cz/'>Z9б‘qYO bWq[wpyo1P}ƍkPi _sFGKxe Ɓf}/EgR`"gjΚx_%S .jmuZ 9)kgp;ٹ"9vL/nWcܑÍ7)a G049o]O:$H38r;$uٙPsK=3֊26A~Q<9]d ^4m|)¿qb^u厢U^]R-; YuaC_^cK9OOD+.ApL<ȯQ4eZ pn]jq] $+ܬ~ 1?қw׭g[ Y:WݱgYZ7zXZִF! =]ŗXiɟ1nhЦx"n_8N]( eOtd=gP\c偷py^ 402:Hq8W%m~Őt7:dc gmн:C{ \C~ ` wgYZ7zXZִF! ǥ]ŗXi%ύV;!)ݭtVq FNݜX#/!W[4ǎ*X±DJ\ i&;+X(YQC+`26J(<~ -#Q? u`iUruᡲ TU*hwH߯v%tWʊM*NرWGK1"zC9o_PޒrS?2_y(vPkh6WJ~]4Wy%saLALwQ0)"0g?,SJa 0%A k6_"\L,`H#sCJοpIcw.bmRz),lc7iSQ>P+i4H-J~3s94Uv z7gf1V#9%Oa2 6+OsV1XJ7r]O5%ٰ8m(OA, ߂>АʉeU|~ZϢ/oX_ʙr6oK%g-)\P +rlM3]4ϝVx]ɼr3)2X R#DW^r QW4B+ڴl pR ^G'\'"CB-9pR"駁e"L5 Ztq?plQ #fp\eSD ? "nUC$ppPSf]*|IbϘQ~/+mCOOog5.KTM}zhQfjrySkp+qHc5mQ kb9G``{^A~ Zim|;Dhlй wbH D?yL4V@@ᝯmf$?!V*]y2c̗n\V%7v'TKCgⅣ2!xb S=MxJM.NFunbDpW١2OCz?A{Yф1A9TgK }Xʾ-:LtE4Ҏ7Z V35vuܾu-*E.`)qXEnpbg5@ޯB˔pRxagG_s]GMpkaf&.5#Uv:"\v$Dv";> ohU mGQ&,jSG_;YU>dxP &q)k#9ndsd!ϫ{D ,n|+%_ q/,x%N@3.w[3иB_J=t/i{[IԐYo R5\bߒP! =$'X9.[~Nsѩ5̉g5t{'m4;̪ՑgIֲPlQrڵ`L1v!e̵xmXm(VL Jrs8g+g;@v?k3rA rã "AE[b=,`Dw\"L1ᅣ:KƷK ĝ.+OV!VEeڡxбHuevبMw0*ݱ?'`$9FPč<4,=:&v5Hv2`0K^#ח@\[7~;ˆb YSrkNRE>j [.U޼DJv' ­ҽѷOPgYZ942e34660033d38152e3a83adbdbc777f4dad6fae8e3314a2216dfbbb96c9391593b20fa6b915b86 d5f092271c0e51c9f28f7703e0f3b57bf8bafc3b da40b69ec8cd3b3853c6391ab26682d256c913ac