SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 II41 < ]S]Nat-Interval-Logic:threads=2elapsed=48.775cpu=65.464gc=1.544factor=1.347zXZִF! 3]ŗXf1-/6vR[o]dhNZ!*-| #LS>䡩uV;N+e WR_߁JyY z?*m|at+>qN94b3QaG}@iI7w䡃gė"șLJOj{UR 6K;pP]%ݳz=Zn؛p7R<8ZjWE}'8Qd~T.N&_yWBpQ xCSCC۠ݼ3 kjw?F3LȭXjm?MNuo;Łmy >B6U'M~itzy42\zy.toM*@[tn#[Յ>|Cy<}5} STխ:+I?|Kԡ~| pȤA\&\aAEl&R>͉S0_,{7]ef.^]6LGHb[9%/{T4v|v*n\x8џ-*ĄzXzZEle1UO >9jU"t5PIQ kET0j05Pf|Hq˄9*^ 5!v+S=SoDa=%K!Aѹ<(dwVSyUە@`̾"7bNʛoɈo}e(<VW/b ! <B\٘|=yhjR? !/:.E*}d+Xm> i}^pV5Xi#7R H@2IN۽aUS>2WB"i |9(ExgsgYZ7zXZִF! x ]ŗXi%6?3(@]-DZޖ&{Gx[z2QɥO%y)z/6+jzR))[ل/+ebRq`N =иQVR!;Y,@Ã72< 23nX|{kFu03,tDy.9#2NiRCF}zlk  Z#*crpk7[7_l'b0+CG,(~n.6E Ȍ~95;΅TF@u!@1#.|ޅ~ Fz;b_j" T#9G-2IW%V8;3] ?@9.E,wAj?`f*!t^yHVH>޳؀8IUi1mؙ:Uy앂SRۯDxJ?fB/\3Й5#)^an}~h BXjTb6Xa;ykU>r@?02D mirUiW.eA68T"2 S>R3[A.dФi]|K cla:>Jt[/F KoypEjcU:$&KmTj`*ߴ `nDsTZ$o}GrDhf+EfϝTemvc׈eDpxP&KPƮఏQFo=Ƿ!@FKٱځY.Ē?T_5ApTo6:RQu +qe8Z&DHnͰ"vGߚy++(ԝbKe"3~xI&Ԟ3Jja\c"/6-"D ( \FRYirPdJW$_N#=x`P$E 8 xOsz 5H$ڢEAm}0Tng>#Ǯ-ƟJ~`*[ ԟ #} 6cƏüqӛý-b_zeBgt+sto&dkF{UH=Qls{GHY¯FV!ꭤAk/`j̰} 'hԻчk .@>Pxμ%%+ &Ŋk!58n@r@\|DmY1k4@ Ompu`3c1Joba^n?ܰj‘E Lu]8QMB6E8ܻav(V{Nfw"\@7|imH~r0'p5WǰYl(!~Tb`p~~a>7TU m|*UOE ϟ{Ib