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 jj )4 ]S Sort_Encodings:threads=2elapsed=64.201cpu=118.860gc=8.168factor=1.857zXZִF! I]ŗXf1-/6vR[]+rPH[yk)163{+x VYRc'q|CACE$R3 BTװ41&. K=0Fϕ#N1-w* STLj ȳ|:MBV0X66Oh[nv `dZFn4߱:@s_1)`Oebb{s\!9(=);r:.?:uJBڤP4> &Frh5r8"0? 7~gKպa. 2ԭ /U(}*[5Miz,*D> K6$̏^ ƕ|ߟ/XL k؞lq"w߽<X\͑-1);C-RG~T'm<ȜKcWCG. } W6T m}07yjr< ua'_2FBuw6.ޭBuu#'xiBD k5|IiږRxȭxi  G?V񊆬X SrǙO. +FkW ӭ mM$ҽ,yh |z>5}bOZ%a(j-&:^|#ϬS/iD]*L&~Tː]T\؟&ȶ[XӅ ;$bJϔFĕLNGZ:Cӂ% 6Ӭq|$m:pdzȿ=%LXCd*yhX=cSm)$9l:PRRU݆ybQxu=S ֱLV12r8s߷IDP}᤯I'0Nu’gWh7/rrõU@F#s/$<16&ɧ'&6q!fUL pYP Ms-/H%[TT.i{gp®GmS5d7QCc&F|Mg-\79E(E*I):c/1rw7$ݤ<3OG'  iZqDdڞlXU?b9`kYY9(cc5S 8@Pcuinu2:*bDI$(޾?/v SwgYZ7zXZִF! T]ŗXiɟzlk֢UzYFFLhAI.&UKaX;YrJEXTzu+A0 7f$;V2ElVxWPb`;G-{ڳvKPU(9q XU `Z^))(__'%: v^1sVv韟?]DW7]u}Yӕ l4-6uA 8S0$vF-@툜 ) Sort_Encodingsh?.j%#' Bt/\> l2%N%>8-IG:'j1bEQWB ×ɱgYZ7zXZִF! 0]ŗXi%W~ĕfAMx$ Y+X%):D#?WboZ#Y<0q0nv׵AUW=FBON?   .\DT'@E8]OOӴ'X7Zxvg^KK,x% NTAS}zKM2g_? Ipŏʍ^ h QzzYP'  }GLXq?.n v6p RwvifHsSaޫԆro?\(ϞB_{3p"lfjN$(Ebz\)dT㳋Vk9GTJAe7!eDa ktDgk|M8taᕏ D wr#4;\L5~:V> EyZwG:L#~l`#W#i~aF@w?9\Ȋ=)zp\PЏғ2QLOaz^kC^r׊.X#ILe(x v"XF[sǠfaU z6{h3{ ~71>[B^ڝ:X( :\wDB)!/qπ$_$#i-Љtjagu s7%T;<^rv 7j*?bLn*sC*)Ѡ pV;3lvz"u6֡q ]-K=‰4^9.88X-m9D&ޜ:L[65lfr)aCBוйߐU^ A]ȴU;,S^ҍS@w%m8sЪg*V0ۏR?ɈV xnZ~&4=+.B U(7}EQzqK-śz609W> 1"Vu_&F8l~> at'_)~ijNFָ'spI'$liQY^<=Xu M-)08W672%Ƃ_t{>EaHảδQ+h)۾Č#-iLm nQT8å݂lW!͚Sk/ᢶj=sE@NMke,l{*J~mF Ġ)j+3`E(fqW]oCW4 I/; ?"lei 0^^fb+rQ oV]H5mcQ痣jX" WYAu1ɫDRHjI% T ^ZiXn$]O;L&,KvEGޚ$ZVkeF&j N, m\[8 jc