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  7T$t ]/ ComponentDependencies:threads=2elapsed=73.152cpu=136.232gc=6.620factor=1.867zXZִF! #]ŗXf1-/6vRZyߧ{nOJk )'}#k V}]a<^f!V{=7~AbAY~JzVjytl&W1# #_e蕏lW2U+n3,#}ٝ Gא.^<t4[-VT 9/IM{ b8qhmN#^9kS)ksGBFeN Y#PQ;Nlҹ G >DwBO8 qĴyW4fQ z RH^E~N^@ݨ@.ۮ Hd _ݽRcen@CgKF4jذts=9*<TKQs;%ސ/t&ZGx gxes|d&hԃw,vRK`krY]ve]@ 2JyAbz2+v(S)UbŠ8 m`%!~k6M+*e+lLc?륝w`U]Co u[=g腋%ž_ ZKnNP0TM )2T06&*B~~x)HJA#vԻ*Qn];f%MnW|#Ga LN|t1Fc%J9RLzbwbm iûAZG=$"k]dtQ`OwO}?S뮣G{"&=)Т [:yUgvo=52ypF"gF/4<[poXzND"Okc(І~1O)C@.j+0"Qcзv _+P &a&E. "JK9xg/fq8xb fpt ґ(~ ;fsP{߁t-סSs-}B;ךA֡(fU}sehӛVյ6< AIb aOG B-L@`MͳeIO׉ JM\U2hcR!mAZ=ojo N$c]8e)߀GX!S]z +, Cޝ5Oͭ<F څr1-¯Vؠ%m(-ٌn_YqCJ4):z[~̊@C(E 83h+GKh2v~U@i%Kn?_,.cd5YBzbEéՠE7nP18,!}mu/IzaA[~?̀כ58U3-_Op4I</6PjM^5P_Fr>:i>g\w?cd2yy`QI=3@xb2I }kc#]]jaǠB\5*?YjGa">_ͺͰQ&xv&~!|*r "[aϧK(G"Rar ̸>ߜdG-G[Y紲lo H_q<_N$ A2Kq8,_ij!Td dmĚ}`y]ɱ܆ߣ6(wMSɯnbq!GU Ij-Y;@wtejU^o1XjBi. +ָT;l?i݂%n([x3˙4.EK> @G0n[`x.q+D ɦФ,rNwrAiQ`d'>;F\eOQ_h4?T Y9IG!>~P6BdxcJry ?I̭₟9/+xWr$_ņ!s)XvEIM u,-3bV*ēC-af l.;:`B,Pmh"rj y.͇ ELn-c3*;||вti6oBV>H:0N/ (  fMxŒC۵Ǔ1|!C6國NVkUw:9,W ,ߐsf4/|1(xWum%T"@rYs*xlJ.P|WaeNQSW9'ӆ1\E̬ Uw|gc#:1:ҟA\Ey0ޝub:3QoBgvMm)?IŲLB&9[%^ 0 wrs~_?UKv 5&"_zj1z@,/=re߀*ݶxZv76A}Ɓډj 0m(0"#4<"7{nK& Y7[&eՃhXZsT&,lN oquFF&hXP *_Hlz.ѕԜz]#[D݅}Mcwj)U,qi?ښOB0I-|!޳~ 'bz"e'Ȥh}8bZ)9vnIXS@*X,JCLc<"m ;ɳ-!dzӒ$G댽|-sD2qR*@) 789wՒIb9~B@АFOVh&ܣɵrVP/p. w3BÎq#[ͦxmNdY:|]4t+c5ve33yU5jZ$)QMf+$1dI-b/Pbf~v< A] 6k2Z ,fbPPM [wÛܰ&pt< .822. ZJF헅gH˞Ob0.qd 6)fO)SHobixgqNM٢㛠U~E@RQA(W ԩ -n?k푂-;2S}҂iq"pDϖ]Pa8¦;z{mb :Ƕ" p&&tc亽lYncU`C*VC/[YwI]\.λ;"Sѡ (Zt|՘"tШEߣ]U v. G}|".A->~A+T65yHٟ6r İ=w4q A^a{N < {hSL$9ܧֿcgYZ1924a5f9ab5e91416a8ce6e2d00e892002f044f5273a065aaa7221aeab8448251fac00a4433003aa e99e0684410df36373f4f2b5c5ea423968ee9625