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 [% T$ ]]Graph_Theory:threads=2elapsed=51.355cpu=98.576gc=6.188factor=1.927zXZִF! Oa]ŗXf1-/6vRZ)yqFO[~QOf>:ﮙqP*VX0GGU $rdTBYi6kU5FX@zah7. Ҕ0P iq//D]aećXQ6/Y2ŒU+% q -Π|1AmK?0ru9 i8$R9WqA9A 'ugI__r}p|x]%#8@Lb7TJTZ}Uyİ{O>oYĉ1 V->B|~fy|p|.l {Uk^sHq<LJNՠ:Y̺+{w/[ G;~ډ[r}t9>ED DoM,jm/@\:6pGUNj`QNE=G‹zKm]Sh;Xϙݐ )48ATJz_b"G)2 'C8z" ڻqR[WL-T$mim}ũ4gS)4&7H,U^|4<^7IoUOcB2>ݽ./9\x#7,CT] OyQΕEt8U`-ԊQhGw7W3g * {b>⵩p[5Pؠ̨&,-e]pZC^I:4+Cʵ0TÉ9.Jvw/W$i gl |LS*y=:7 l Zwau)9d3sSQI|uS.(!eo7 jS5]L7k+,=lhU%{dͤWBGQ9Q!,z%5"=H\lKTH\isIvQQZy~z)"?sKc>ZHۯ(.A"«S-$>|S-yƋF>/P?J(+a7 O{ TShY_0@ pQED/ W%Wy/nv18_7> ^u}´zgkjP=s +B]%8cP}`R+w}_2^Q d-e 8$,-? 3H7yɎ]Vfh`鶺!8"^i5UfF R>а:,έ;ԤarKv8K $Ooo TH{yxҊRM"~R4s>(Y onlλ`=E` zȠ^pX z󉆝nEh&ű-ߪ^qNzKg(XpU]ݩZ i6Mɛ[$89Cݐq-DזG GF@V9R % Graph_Theory泉C -N=mQ[tN R2*'>- b0+]~C'qNFJ^sGdJ_UeǴ( iJ ;qh^+O&>tIngYZ7zXZִF! ,]ŗXiɟopHq>];8h_‰s'0|kU3.mͷTioI "' "#@4Q^iR1 J0k| k{ }ĥ}e@?Z9EL*g˴d}CpHŔ8sA/ev#0C65y`uZ,'LCP_&qhC֘(%d]KhG'bHC}-h7JI(FtG9*]͎eYI="*=yv 67>)gNg0O@Xs*sm6Hg5u8`W0$O{'wY>/-1`Zj DX}n`mg)kj| O55ޫG %-5>  e FOOcPcH [B==c :ic2ä,Эel<T*A DeUa?Aq^<߷5JHl*3)F)'SѾPx =yDw4چS=~;1KhV{SMK q_ͥcf)VsFՎZ$pd%V^k|-d⨎EM_dS,zP/+|?A?~!T|dw͆(Y!ˌ67;j25Cž ]H+}@K2mR0cZx-˹Ȼv;nʮļ_jZﲨJ"y% !T,RQjxucH/0 aM=GЏ3&WʀlppA!3Ita^DϽ.K2$/ܞ:~iPU:+ Uwuyog%gOzw=AZQb Jz _=_Q`WEd60.TPv_gM lVwr~Gr@'gLp;8^F% <֛&;߮{ RL1#N>@DއC)7uTT}9[kUE p kPd9jCv==/gw6ȇ$gly [IV,'k|INV&h#RΰeTHh]nȭQ׵{%TL"E\?toi$=̤Z|r#f7o +bWGYx>e7z OaIl)SM%xPLvU D|f*=w-]7\tgjcMِY!Qݛ'gl{X;\_%Ca~EcDn+L9RkYuϦ0|6q.d_94 )bSqۯor?QL9f$(.-2Bu#WwDX?DN ! fCep|$n>"XUVd;tR / #XD)ʹ[86.r d 1 rkS& 9uW9H0g%20 w0ԮZX7z5=^=a!OJD3R w(4SjR_]8Ex֣L ya