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 Ht3)4a"gPLX(_#/ܿnC*sc$yqW#)a_.BNOp  Ru5'z8"FntC Kh.0g0m42)߲@ )철 rbF2b0ԃĻ8}ǫ|_rE bHj"]fQ2 4p [Zwq,:TFmwN!z Me4٥ !Ղ5ؕRNzue-bMJq'aF 7^K{|jiI5]HⲬ\ !"@+#(MԀgRj_*%@A$zmżX껛s׉SyT_ё (^0k[^ }ԓRJ2b#[,s o:*`܉Wn d]f@ ĀA8Xh`{'w%QlV9=KߢmY61™ecrgq*hh8"M oz[ s!wb:BZ144*XOg#(xY 8C$n>?U7E&D~ 2ocYv+dbPz_v#,>jǺWEe%b63q+go9S#ŕ}+  0 |.N)`V PH\J_qj^ i9FvqɵU}f+wꉊQ&KFNaw#oh]r64[8byIW|)]ݞT2WV1T.Ò m||bJЯR݌ [x{u`kz Sń! x)?4˛}[q&>,g.%qo%Xm5TMMGg)TG*@|q5DX=K"*KQЄVV~f; 쭷nV%m.̿)|脨'_`&upx1\=~WL ۭCەX2-`J@*.]/ԺaakpI2}.Oֻ %%ۧ-q)'"Sb. [ iMVB9\2:$\R#\ Bwe~juH_D<2 A2wLR%/ZQ}AvtfZ}}$|ܿG9rJ'PZgunGL niNz*aք?N`*aCGވ_mϺeue/ (/ԔMY=Bl@S|rQ3OK͑vp}Ǐh>U@ !aLqG4XFe`jαgYZ7zXZִF! ]ŗXiɟ1Dw7v%[yҦ~GUc9KUWЉ ҷХu[SJA XYH!EbV21L| ODoᬭ*P"ׇCVTi9{j/Eή pt7~IGi$0ьUѬWlK#ɓ«,cj've=Zfws>^B}4P?9V$ȄH!Ӄ~e?$o"a.p+37)acPbFm58$=;SstoS8SO #T2s"!:0.=<|`|P¬.ɨ<iaד嚨AW[%DAG"cTyhu&T H2 ?3xƁ( F'%lI+u@d tdR.5X򘎴km@>V.ht(3v 7}D   HOL-BaliVD∗㺘^F툂 nw3YYga+hXU= B?ЀУST}OQBTbE@3d !4iT D'Ztʬ?B9Gjv ~]1w۵x$ ɺ>]%1Ɠ2v-MBU99፦lvr$[JPqԨcKrta,5~x)#;%Dđ6?rU/,q/`(g bII8P0-lߥ=X G;Gk3)"]}:La|6NUW>SQ[LpyR_$ Ѥ +<SdmfI:9ה9($TƼGiL`U|O4J+&d?:=,LJV~}c%}y z# vD,u.}xvYx]}Mw@4&NIDup>HE65м/!_A ̹_:W!Ռ tUQb bxk#r#VsnxC4kҤ߇,l`=myNi){Oo8kK}1B*f/g)")f g":4-rأ I+q{edsznaZ+WO"B;%"i 4X\y*]‡ch_7ތXYk/qX5`#ġw*<%i[D.$g+Sb8X=-S>  )x]"c= (ZDq*\iG ]7[㦨._@I)h!OWPFIo2ZͷK172 d辔%(X0`MZřCGo Gcc’?w9hL³/$f\Is3^el{aLAK|:DCqvKb愯z܍6%+kEÌ~FOkm2^PnD_j"V?ot.rb%T}S%YVXkzw174l[&wG(^+kj7&?8T$fn NA p7!v:вDa sƅm5l%;l HKWAV}me(\zFeB q.Zm|ؗx|EFj߮m'rE>t'v?:ꤠt,Ҵr{A 09~{9l}C0෥@G"LlhlHV*xvBjV<ܝBPEefb-W1ߺ+,jUŰ|z3JY[2Yq\f;lX]/mq9n7&b4FC+4BӖO^H%wq1"*rS$dZ(P>**8,`79\zͩJaL=w'pH==U(2` 7HN,Ck1h^IhC$JKBf}E~<!e,T&K$A;F@4er$Onx6ʫܕcMֵq: GyA&wuun*/snd DX7Tݾ\K ԂУܳn*?QWx*[Qaܪ}+L4O1&X@pw#邥 @xTeӌ٠aF<e+>HzytY=LH9]H7縋(ףֹD?hLT-i kQߪBM4gu0o!qsTKzݦ\RL (!ydXUn peThRʾZ_]yi#v}-%'1ժ}P~׵Yvu%KrWsʮ(F.QЧbJ49= η; ,ۇe;yA;#L"OH㶋dzqAEBzL;TLS#"%]@y8dXw0& BB>%iFD\U/VTxG/s:9:}7cA)D>9uQpxhEqhlOq0z}Űg는?-KbJ7UYJsc.!iS:hv$ | 2fW`=u]wD]v9yh{G\xsѤvc]ObYJ[&E(@o,5 g" ̫! Lf05.ɳk ua"k Qa.3d<"&n8^{ee&z[eF $%;NFg[ AԱrQOҾ0T[m[U"o:ƕ [cm륪^„ 2je7pUܧnB3L+ǺU:/LMݸ|jA=On=-aeDsEcۉ"҂f3b|vD'm^q/ fS +̩shbM C$`pk$azl[%tK:y7 zltp>6Y@<f|:GWycOCD =qTU"gP2 4RpҡlUZ|} "ˈʥQ:W;~6Q4^`"(ywE-sD"wb 1DD=AcD.T Hj}^4YFg"^7 BIH_6Q]$5<:j):dFN8c*`K6UXzp#[[ l`,m@9<'*ݬX}Z]l5o",+VCq>OXpUEy%@W>_\~}2X]9 &’T[$2EQI?I#pVXzo SKQ)?V62tt0|wF1gx!1:3T. _p{hu*<"k\%vDZ2 $#anN$$cD%h