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 /7 4T< ]/ WHATandWHERE_Security:threads=2elapsed=37.251cpu=72.132gc=2.548factor=1.947zXZִF! )N]ŗXf1-/6vR[]IJ!@W&abZWdTUNZ`[ ,FV VY؁53߸EA,w L>[*ZC:fM8&N'K uò:E^n%;1e$ ?ǽ,ӫ1$6=}+/c8. 7 WHATandWHERE_SecurityU߀"8;id+hc 8I~:\6 9o"&X=Ge(I+/_h<1Xǟ*+M6s>n0:̓A뉽 48E@0yO_wʲn!Uof;v0Rg]W>C5ksJ;lo9$v:*Ia@dҲ#%UN F-#RɎ\r"[XH   ߯NDzdA*a3@$];'񽝾:z$e wUei=`E1tQxd\3o~e6OW (I9u=p/RFq.3yO! ڭEoyhdY3b5Fu(;h蘷tCzjT{#7c=p64HU% K\2'tH#W"|'RYG8r7DӠq#`س:}ng/Fn֌x\p5n=/s5Aߜsv=4ZӄpRZ%gYZ7zXZִF! "]ŗXiɟWڱIY\u-Iv*#o.(Olj,ɰJww@']+!?Hw~:|0RŐM)кE0wV`Ĉ vȏuj*>lTOs<{*nv T5,JAAh-\'qBF6E ½вy-ͫp .-[Ft<$k%Eh.-cpgQ4tcx}e*Qmh%_Zn7sJI ݱgYZ7zXZִF! 4 ]ŗXi%ή++c 56 d8xsXP! 9 m+ouId,W>?zZ֭E%ykQH_g1UM9hI@G()_>Ղv䷒WDDʶe_{(Yq2YEYxN\@i}* *$$焑 "剭T!٧xLe@٠^uX4I NuG+^ :>9続ЄFM>c!NY7Wʂ5P[)^#l\EAPiٮةDrjq 0@&rTLD'6EISSɊ$.i.Ց!L%WT ax Xh.ܴe/@Z ^ynt&IR, [Y5IP Y<p8HG);/w/;~:V,b8+<WXtQ#%&LPAOvtaH;IO{2HR Qqp6 D_W4eF@ڄ"x:o[!0Oԃﬓz ]M<2-O&yFs5# 0liIH๠.q!zf1kXRrZ Qmiݞ%SHmq%ȼr/;sӧ6 |D>k>|!z߆u @z_Q3pUhЂo0Ya hi;טCO>-'W\3A:9U}lm/'P5KNM ͧVɝ^c_t1W-qøf6 zvҜ>=\$c^UD[r;yChN(),*NhF 0s|4F[Lu"d:ÂUCUݖ~gӧNMnY,@ Le5S\H6Ѯ\` @:_FL%)g߸St9OD l>X:SbD/m˗&4rWL0۾9Rqꦟa&T;- yʔ@wvU Lu1KHV7mAld<'cMznwjw.C [?7`)4xluʩu~zj&%Bђ?:K8=E];NH񭥍u[tiyCL;pmd@n_ȏ L)f[R,|е~r}{U iLKBMeFlX"qae)@&nzW]YnO.8Q[**qh _m[{TceĄL ,[yq >_;"ODL ̩GYM2} C,n鬡9~x꡵_^低"d}rd]zu40~CP0;+;/WḂ.Ψ4F? _»=I0lkղH'yaQzߐHf[ְG$KPP䍐Q6gDc$b%zJB0ERp)xxg{@;Cqz|h~o' UN%@[ќkkwБʴ]>V1DE6kĆ?U 1v8t֣|E}6,%,U~2d _M`tu1X2fwDer]4S[]#ş1QGB7кIYA΄~=znHM'A LyҘ*6C~ts~oڕtP<$xkWk%3j—}##r:)rojjwt#,Dd^遮q6T>~\"iQ:(A Q_7mL3(8p!kBwȂkeS21,'П8J@a bBW2%Q΁*m,zjҩH?j0[׉>tDRċ!ePڋ߱gYZ6c60e6177593b574c820e4b84d35631a0d87c27700b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02