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  d d?4$ ]]HOL-Computational_Algebra:threads=6elapsed=41.848cpu=121.956gc=4.832factor=2.917zXZִF! /1]ŗXf1-q恈aldC>14aUW-+_6}L{{J>5kU7wajQ1jw۾H`w+(Jnf1s9Ћub9H@5i3֏>=*kIܰVG~Rم#Nliĩ57sa`'' R̺IB(_;J4Qsk}?Goh^=Wp Ymjq7h WM90*YcQ/Xt|QG 诚箞0Dq`IèuD(. #򸆈a g'tB|-*eKue[^ߩV/ Oʬ" ? HOL-Computational_Algebral/q&t7Ve'd};U_}OaPzoxIh4cVKaР7C-ą&\UJ0Lo(s"U ʂ5D4{J lY 7ؖ~HO[GxcgU[wCfga닐 8uK$jIET E"rmkRvCU][,݈j$} ZaANs!X~O@cx׮MXC#+KTh'veH-3䉶Xl2JCϔv5@|<((B6J-Vǫp"kXϰQ9Z3[OndXp'lk1ƠJu~Em$oOV)oֶ2 0]+SKȴ{⚏ p ɱ:#Ze}0n%EeZ0i\Mx;ľ 6-"*‡9dO6{?W_AP[ێ%S5+yM%v:[*07׭ ul,P bBl HXvNW;; w?,#D$t`1glNN ǭ}RAmސB ՟ 'SSoԷ|zgt3w3i3n֖d,4Dg٘' Sb^DCmMx-?X#߸$j-ۆ'g,~OdK]YbDuR"ٷꖓ2P wLl0h L ɦĔ 'V3V9 w-JB͍?Шvt-uXYiX_?0;6>O9v_p"?E@<[D{ iu٣2lM[8@ˮ|G̎)>mb'o`9o ̏nfMF"xkuaU"#+I+pLUẖ=(b6~u :-oJv.,#'h 3;ZYWʯ;RfNuxt\wlQ¦!v:ɵfPSF෯,h='&T"d(~q1iIEHyN`Ɯ $3{!>wvq7aj @8G%|,D:Ѩ{ڝ^2.$Y_ ¢MH'%Gr{Rd  +{"_,apUR>L8&NkX3ii2FB.qÈYJw6i' r0L ۳fivqȯld3>Px]z4{736 l[ii@HVv;F[`GZhU Y)5mOd$sl5F@)#aU 5aLeUto,pE#8B[)3~hwn(YtH0 [:o e fZvL生IZ$p4>wG nnJ_J nwXجѦpiɝc%^?$i16wƓ"8fEɧ 3}lՄrO%r|~m^$,j-7O+ 7raQT{`i3Bpj'(v*chsoxqd/<3*-J3wII MF;J;fX%L^uBbK;iKw~!D%pexFuq>CaL`a?elN:rIǸw25|o$JJV #GHXW˫.Ѭ8?&@oP^`Km}vB}ltWK Njo sֆXKMZh:v?L1jX[arWpL1wA-"L&>Og`%~Zȶlό '*(;%~-O6znZP{~ .kUi-@e=}hW5