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 g ,d$ ]S PCF:threads=2elapsed=50.014cpu=81.412gc=2.908factor=1.637zXZִF! ]ŗXf1-/6vR[1Iq@>=s(qKgsohvʯlӦ cΎݘ'_M7]vpH Ա}4BF ֎4ų+?8oNO8jǗ0d@-.b!B :Gcڐ(r3Ct6 ;VQ\ [l{fLߔ7@ï1!mzd=TTwW `DX%,eΞhD& r%aM_}SIct1oD?7LB+c8D@} Xіa9A#!l#&rRn_C 6(BUE@!~  PCFN<p ֝a(.)U;НEup Sn㍍QjF/[ 5h{/a<, (9"]LzHihهXڹRh8Z#na$6{n38.R ]y%Wl:pjhMLܛ _x^lB5-Q 5@&7۞F0CWgE>b=J`Ev2u oni{CA ")"^Vn^[rWΙhs?l B3Y s)VA.bu#O3t DK_M{"XLѱGP!%ʈj >YZ0py{=8;Q'5kf/i?c楥ϴǫ63U#">qO?lBïqCp ` ƶBo #Q[yɯ*9B?K 3!h9N3c ?+`Zil:y'>魤(Q%)kKUt @2b)[M:+h Qtr|K$qV)yؘڀi,VFVq6 rN߶mI$},3ͣ$/ RLU(JCM=ɵݻ$aB_8e=kkO?l,)PqpR+(^PQbV(s+5܉7|'h_#Eڥio IuA$Ӏ9=l:iR7Dk&0?(Pr/y#vl83 ȠV Y^+S#a$:(r >A4B.(Qü2(UV2ª}+g*ڬ{L! 7nG9=;̛j :&Jڢv )(bjk9Sg@zbʜW B-xyݺ 1Is fSbj|sb|Ls3cz,V}4wq0sbQEB1ZSŬx>~ҟOe zJծT=0$W7%iIyF fO)HE6Q*/ صƟ!empZ3#RT1O}Vؾut0OaYWc˞tGvܺJ*,)d&=*^i `k?@S$l%PDy5[ xQf1OfsPbz/6mzŦ#lɋ|B(-V!w݅K)n:!71v< G^6)y`EɥO;&f"jDgU’Hz!:jDaۏͲ}vËËplHSY<أRRDΑ ׇdVm L0eD6MXe[Xa➅;ڤ\ݯ|{s1 uXCEԒ~Q Wjg6l\3KA4 >ݜ9ovgnBb^le^QrW ڒjbٌw6?\jRA~11#ZIilWס'fzY{UԯַZBaYhTeK._pـ> 뀓SANk$b l$Q+>QߟFu#. ˷4v<3H3,~k ^Yܜ[NvQOwPN,.F4ooޤcv{@2)0~HGBcu*L)yVuW51U$TXݟp t=6J ?[(/u:z5t`&9ʨ)a`uMC:N 0{ht2PJiFJ7[< 둙/d#>̑0jm xJ zׂ~"5.&N=ljB]'тf_XߛAy)1D`!$1Qsc^Vk';Æ*Y85~B