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 E  4 ] IOA:threads=6elapsed=6.895cpu=28.160gc=0.968factor=4.087zXZִF! k]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K _G~o,,z4l=.otnZgt-zЖ)&`K4èF[:Ky JvţSJWR-Mctm$(tT4w9hT$9&fAUްܗwXs`D K)&\di@(581X$CK6Q4qq Gսqq/:$N&_7XOCM1^ 16|"59С F3NqyFV[=b)R{|͞ny#GŷD:E;Se|t1EP@F>xy\;fo'_]6$M)/ #H0Nԗ{`ot/vn gYZ7zXZִF! `~]ŗXiɟdN'LvH۹$H@ xrI`6\ !73Ov-jI0F&j3n(P!}a]YMyΚCA=>l;-IљJmN!zѼ|2BWsqOݮ2- Sq%u H[A1~Θ~kIRܺ41;qbXr7 ޿F 8\[gYZ7zXZִF! #`Q]ŗXi%941t XĂ\% ؍׍ꉜó\Ps.}0]r.9""׼,?L Yi?c3MIC²Ik 5#aWhmP;q OKR*XvX70J? Yjv(h~˨ֽقRZ D<Do$rNCtP $6ؾ^lCD;FJOgx%*Eyw{;!dXRc/ҭ:"ye)EPrQ]tZV_,pGN\hC! 1Q9;Gah3kP9-vHòY.^bA;#J&cwn9<lNo*ҷ H8CBzq<0g8< 46ب!Bwg>>ҫ-~ir5+΋??7UeVߣN\H"CVqNIf<Λsߞ`p;Ꚕ -BB@ r(sfr^ &!nyx+^'Uݧ0 S\m R/,jDxi5#^vW# iZ"%5}p21]{y k6=#{ (-auF&`k*Kw3,Aj¹ ,@3CDS_qg5oZȗ Xg Rl|}hxr%ndP萎bSiS2R +&uߘW#sRQɵFv`Et6.wRFgYZ2100717b714ccb67308e48285d07d255a46c1e34e2bf23c7d7eb3616a6ada91fb6d55c5b24a424db a63549e9f792e863f2c65c2de3f08035d4b61871 6ede891cdcaf2e8bcf63789c28730e3a2c193d55  IOA