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 :+ $L w LightweightJava:threads=2elapsed=51.191cpu=78.328gc=3.152factor=1.537zXZִF! J;]ŗXf1-/6vRZlpH8;_SuƖ`BE~IU(R>M!p`Лa%ݔqKkW $Z3ׯ;e-4Owd$t~$dr2v)qF5'zˆ!c]E\='ӑ֐WAix&,.5gu4nJN[{A$ 0X׻` + LightweightJavaDžT*Oc왆/g+qvnpܵd]tʕ1W#ʎei݉HSY˩XK䟥+ѳ5 n]nF Zcmgץbe+G]] @@ba%k'K5+ɫK1Q#Oa>7Β LœWn3_1*22gHqOlJ,МoKϚ/=Щ@2~U>#-`9uI꫘.d$͋.=7+NFhՉV0!.&LcYPirE r4&PE >5{0 K m17%UXWt#i9 zg2 <'&V4Sw$.pU6þYud:5ʥ3qi)a$a=b3 ia=?K0TN68$Ӕn=溦՞N5_)Ϩ)hɩ!kbG;wZ7wp{Io Ɋ,GR%LeNoXQ{XشZ2h #YAvފΟS6|d<m?5_(=RwU@!r}ԙ S=!X~fd%⌧8+(cz&dk'ߎrYogQ9-aiR!ɻ蓸X*L9:JDPUŐ) %?  gYZ7zXZִF! ]ŗXi%6y5B!h[Ж`}c\R2R+S`[)"4G[U&S*\9ͩ`Rx> ;9&<{=+՚4Mzf ` +$:bbB@Xxu} Ҽ{do(!OZ=rjʁ!lH&Zo Q 0eI4GELpӨP򐸺%:CJݜG#jQ 2i!࿦+>(&ǐKPy am̳W+AQ{6 J/CjJYƦf `"8qi³M!mn}@̍h v^&3F2|@N,qjmdes/)z+L ίn _IEm.1Sb?m| OlTi=(bP+fyg׃u%HnYWω#yN칄r݊zո5 Ѱ=?ep6mȥ7=z\< '=~UUp$ / w" "݋\YzW~8|s)C< SwKV ʢ%wfӅ, ?zpyDgg'3Ggo$x6`.aucnޙ rA:߾G?^ۖ41joXA8EpbwāJk,q@ UAծ&BqJN*i4c|Lwߣrbe <E/rm"ČQx#­Gbn$U"R=D|զhlj4N,}}S3).;)#|gS%Sc)-Zg "A9vOZ`n0V@AaND*SǀF/M%4癆TǪ&W_=$\W*`,N&.foDuJ "rJOmq-V`$JOc'pkzvկ{v$R%zU[10d;t .&9iOG&-Z|U4:{:Z{ĪYfԿygˢ٪drM65Gs1˄,no(قg?艽F5`Z̍?{BE . 0&8 y{Wyyb)s/ e-/0"3e\Lcƾ}HIj>pHboJZ}OutyX_| P(/,FgoEZf&Ok"#~mKKIctY3. ER [F}#~uR)+Ւ/fOBvрg8 D D'</&{3'ߣﯫ<@|ЎSY1mo, )sgYZ311916cabc672824fbd18f36a74a9f62a6ae4fa1 721a87149a2cab64131b95157bb7352c8850ebd4 90d4b67aa28e20a56ac79a9eabe61bba293376fa 9cfab51a1f87d0d39dc1dd8a34686d11b2595af8 cd8ce952ac5c4717ff6ff8d6b03d81301aefce67 f4ae0fae7893f7947d754f24e1ee90bd24a07f3e554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a