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 ee T| ] Corec:threads=2elapsed=48.533cpu=72.372gc=4.660factor=1.497zXZִF! ]]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$sp56l'Xrػ4Cevxf=i,qH~<$0r)JONO @Nhu"L^vxgnZ=FdS KB ,L=? LYtYa1/:}x&P|z:ѽDO%V3|Z'}>k3؆kЈ9'ڣHM*(=fue TB#w8)͜μp\2LxkhZc }XM+9I?$h~Į8.-+/챱gYZ7zXZִF! a]ŗXiɟ&zLogkj EWs;35\SĹ|XX\aKy aɩһNA}W+ֈO0)B2MɹHg͙i%?a1qCZG-%o d)Y aySD)`ELLZZPDv @l,q몓Ic5e "k FFD[b2ac$G2 'FQc"7a438_OJf./ #8ıdGv+=~›) wFs>ntL<͑Ez^_7gPMdSTwnAh D\d ѯ|h-;ކ`x`l.ʵ@&t)I'BRZX"<JyMp]w'bo!rGyŗ |d{)YT5 }iFi(4Z߲^{dI6Pŀn+\)$:g<7?CgXq)yU86=_X>;MkKB֟[}q 5"zt͉.hDQড়sN{_*zU`2_)L˭ :,}%UF5A#oQAw,!%]0^K5+w|sBU#/O.10o `eRly*7T{D51:TJ5Cp|wI+s*7[ӃjiZk(G Ė$: m-YadnȽ4ET1/ ;`:?}TJx\:nNO7VI|Eg`bt{&jHVR,{_a_\X썒:_7dN3zݔ ߠݞY$\#O\0WTix5G\I}P7oű6!P7q% Ni"c@19/αRH!vAGhTȬh5ᅰ?Lo4-/GPƚ o>Pn0.Kަ)YܨGD5_A4 n;B̊JMIf0U$w66hX=_'M)lCe6K񔐩0'RF:u>o``%~Z,nTiSmN<F66|XU)}_byLd*:PBI@lk `e`;z3oeAVAi5I5e$4C^rdH#+πiXtm-zP8G5%j -W}g'3 {k(א>ȲK~P4-87?y|['cʩ7 R1J7;bhD;."m>w13E8\o.`΄.V0'!ez0s@{̏@>'IHG-߀(SOOh_DlԴɘ%p۷-L?;{#}0P|گٕ Pu|C]M{ +ZP)S^Hխs]"5㗍4?Է~`ՌH{|S|Ұ')Utf25J@1j`@PU)>QE)SnZ"%xš: XFB=)QmKf@k:C(3CO=.a/&<$pzA~T";IJ|vsyG #'EjuNoz$--֕>E5*6I2xѥ0͹xbhfv_ѯR1uP{T[ jPrP:h%n#riFB,q KRI46+*P EOʢ1_f.y]Y.yOʿs6+(&;Zف+J&gߌP-EF' SWb!Tqk  c)32 tUy@Wh# 1g,GqT-1v&@z+x*A[}7k"k p9 {qSLWzAj)a\ _ζr{*ګ9cОvӤvQcaLx)7u |< l`@nL e['/mKHL4ȍog)5OX}峱R J$3WarǘL ^"),=źEï>n1:i/!=Yldvk?0)H@z1Lui<HO(4qn+5UDbhI"'2$1{1_