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  a LL ]S Valuation:threads=2elapsed=58.827cpu=92.604gc=3.260factor=1.577zXZִF! 6`]ŗXf1-/6vR[ldco^IrT,^'&$vҜ+A\>p r ШemI;:^Xď+;@yy<.dNEdI[~?H  ܑK?}7[rP'6Xc%dVU.x%җz-{ȱIcWCc=I'?sA_%a`ѲН 1V1[YyCs\!T&[Bʯ:jXg" tS`h}ADX"GaDK6W~pb#K0 FID AM;ڬzQ C mo fͫ`:߮~!tH UOrc)U!MqB}%7v%~u)o9jxJ'BgUc)o{v@)aQ(]c[dyV;btEhr{&Ĵj gzXƉG.8q(Eg2ne^Rxi!fk/rlsAڞWXO@@==f'W ,k4UCuimd[K'a[nkuZ,^2waic#r90d25YK#؅gjduDt),R>E>PaSXs*vb9T͔=E= l"0)F(M^kI8L5x篆P$ZqOC8i U{7f}ӅQ sE;9]*݉A/BY{]hro7⪀ykO^/겺|̽4gc79q.PIeS+ҝfA* ֥=)N{x Z[Kh1Z@Eۧ#Q]9a*F0Lg1?$CoAY'Xr)^+~6xFzcy)o%l *~f,YKF+R4F ý;„qpi=E_)f@ŸANr":a3 XA0ZlMP ;$@.{etax)_(l;输y~y$o“xWOtC3Rr` #*(2z&1'ޮijeu.Q;7(Ϻ46GVֆdqbc{ t%1l}KB6/z:2~ZhڀufFَ3KT-?b~Or /~VF7Fd(40K;0 ]U|zJ1l}7P>u c}C%@/-$~k/ErQ7q'u*\Jg5v"=οܓW ͜[bWhEZ"VYk} xP1?TPQNdQxZ.8NUZXc2!{%&e𺹨󭓒 =GƴŸ/dW|h.{x4r|cZRWivg܌tHI#W4q%NyB’պ ǧ*. pj@7(ˠcEsz(QcN xKAytyýR mHPE)C˓`W γ3_2) W?w0b_z)ze_rDV2@#I?bveS4߫#Og9N5)_4  Ťn4AkwOV܄uE`K $eBrؓXh}$cs, v8ANM"HW(>- C'iǤNXz?P3 vOTGu(1<< [}O_B?@k~@\_JV3ؓY] ۞N0W[Qm[?Ys768FUKS\qCR0;`p: 41pU~N}jU>38Y' O츌ޓ b;?4 vZpΟ=yx ;]jLEd?TZޝL$SZ%LŊ~* Pe:ϕÂ> w$+4f<̊]} dY$e3}ހ4]-齃g` 訝`KTӵ,V.Gs:?X-+( )=!ն27wk goM*1RGdqT}Sf8$ks ɠ bM*uVr4ؖ$@)\ڃ ҫ8\* X-L5Gl.^fhMp#ؾG۝cW'7wq4 BƭC†,VK y#e: P֎2XEE>Zʈ