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 f Dl ]/ Heard_Of:threads=2elapsed=39.109cpu=61.976gc=2.372factor=1.587zXZִF! F]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAF77eo$"E,d%A! EfMvKw؄󳩥~Cq#QʲbF-5r+`B0AP_OrUIskw;zzŰbR8f\#ef_>X-; N1m FfBKO=7`oׂyBQ^n =V3x;99[ "Ђ:DPcc8C9F8Y4=| "}Xz#[[-2JuOfA:gu} .`    Heard_Ofsvg&Sׁ%"͇# -EɄV=b*qr=D.W/{f끖?rQeI D_?C:16h#`j. r}U r)6T̰BJjQ;EA9 'hZ ~8džY ؠ TQp?(); 1m)`Azd/So"S)Pߕx`ffy1e H82j9y$e-}?gH߮r59܅z.X5bj+]%KSb.r.[؎RN2f.&hPp2טMPWyxRK Ou$E]87ZU5Z92 V8a\࡫h5F18wWD\+t5},6; ~N*o-J[4ʄFۻQ@]ԙC@zgYZ7zXZִF! ]ŗXiɟ1˦r.Hil c`1X14rzwI(#2[@֢RJAIȼH-JNj T^&<4X`y[B#@ n6VN."恟 n k4-ɻ-XR>0,=-,p6UL uєR[$a$S41_;o6Gao7D! U9f-m{};Ԏq]7:bIt(\|' <x=sz"/8l{0SPx]uNTBƅ(=H lW#{Wչ{;wSƑrߕQzbO' |gYZ7zXZִF! e p]ŗXi%93`bȦRR \]X"[uuoa``G xȋ3Og9j. ,U=𠷪3Z|CI>pQLJe@ϋ:4Bkz vl_ShDl𢏸MIL(}z_R0~x瑎"3tf"J["1jɒRc=t.hrlxB5,Vۘ9&.'Np&GGSidH@&gr_ 2-ꚍ]='{![+^3 #R3o*\(y-#\[ƿԯcMԒFY5X yQux0;-.DNz* Mvp$_|.Y&>I01/AN ڄOi4K9p#dă,FoZnK:z׳o/=>] ٦[=t!ыOEEC5(W\ ;S䈑cwK:[PaeY~øA2\&UF!w K'lȇMj|(7[ks 7PTS,-4EbΆnI w3՟v-JYfNk1U#Y߶,b1^\@Zf|7 Bsx_7#,C+1m+O8/kL|!_u46(JIWvheT:sݿP~82M 8یʤ@vR&ϝ\< (!ɒy gb,5|B]Љ}K(V0n`dbf): A XH~,eu c5A37O*/e/sXOU,inqФk]At\^茒SBYoTc۳N3'&_Ýa/~aai]d>kA ֢I3ÊFIN~[;!?'Xl &?PP% 0Ec /ax"me"sѨ? F 0CϣJۭLKB 23X mxGﭸ,i=1-_i{]9TţM+([/=“TQ{x@vSܷP;V̴g?Vz5KQxKϕύq`HDp-gJjCIC_}#&mM`">?uhf_ 1ttܐ( ~Lv^58 ?&%hAV5)h_2Q VPlWCUC u<r $/Ey/=iRRƄlPAl(֖_'). xlHpv ieFyrPTysE_`E#??`?:}%DOw!NF Rg*:R(nvcmOP]U={ cT>]nhKژlcaBK^҆ʆuyGQ1c;¨mELx=SD;)&Sz}jɶ= (Q Aa`_xMTq(1KWBi=anudsݭ њ'Ays !:]eVe:qDVrwÉuxç`ɏfL{`\0~Aa Z_