SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 n3 $\ I MonoBoolTranAlgebra:threads=2elapsed=7.937cpu=12.160gc=0.436factor=1.537zXZִF! Lj ]ŗXf1-/6vR[;hcjlq[}'Qbxǐ&87a1lBfNV<OĬ,Dq7:wQ@W]'i92P.)7~}V3=k9u.!q. 5W54_ l=A׋=N#xX8/vVuaT/ ֌7\6 -5ln`1c65g@Hte9F d!jy:8DS $"I|h %4z;q&*LbHWdDVsN[CaB!ͫ@-)I}qŅΐ#M[.`"9c éw]5z?6p>{~w:`$4cW/,Go7eh{vXvRSDf!Ez5)p&CB7#C1ߓ B HyѱЈ3AN3huXDΖ\Gا5h: upǁk|qʼn>O*/-MEN½W`nˣ|V(p/+;![B{j? N@{[*Ɂ_nd%9-#Զ>s@Ĉj@ĥd]VŪay٨3Ws C4T W*VM G5>v/2i0쮧2-I< f~Ql#vא;c֕ o~m#þfKs{ХjJ~hxȊ^7|E &'Sbrv]}SN#ks_ȝ}ژ8#=4 7WtˮO Cr@cNCb:R`Bu/meҿE\̓SDLg[\l}s&!}6P"kɲ36rX[a uGCnj !aWRn ^f`ύǾpSDiEG4Q\#\9*q[+zA%-%dG!NP3If]ij1U +3"h 3ȧ-d L7Z7AbNieW b"@e٪A)@&AxgZY| Pqz膭b'˞-fmDiuW yi3LY +sDOPCGn%k\fƜKe[aflgYZ042fecc5c9e40618c8538c5dc0a2d8c3dddd38d8 11684b37621ca381595214a6421fd33c6fbca574 72e9d2c102586c27517df7fa6558aa91fb3a1df9 af4aac2755d20e3b96287a0c09947ca8ebfd5e0d d059e620aa6ac9520de49e5c8cc45d50a113721b f4d333d5486320d9645066cfd4becbb8fac84a73 fb8433826f1694718a1755d0eff1ea067836d6849711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 95361ec0d60795323b5ef37701c270d020c15474 3 MonoBoolTranAlgebra