SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info MM$ lT c/ ZF-ex:threads=2elapsed=12.659cpu=18.224gc=0.996factor=1.447zXZִF! .]ŗXf1-W(T#0P=ITß86WK{ >X/#9eTqJ'NEKDM0?M1gI$?H4 NۋcZ\t5#E`$ ag$Nǚ?UQ2O ꈈm5k4"jD-m.Qm>Bm.XzVd(Ael[Zc54TY;}00 _`\fx%.)8WA !wƸʓwɕ0s[̱Ql״+TƬ>WܪapZdo|3q ;wi1QH.cB@ Ǘt4FC$ LX A4 FYS&?HI s]jRKlvC{OQi8il@xm u #8$d{nB^YyXWꝲ<&ԝu!e1ǜҬ9x(J5}R(\ޢ)P{qCp)9%D_Tcȷ=ѫ*!~t:s*ⷾE9ĐWȟ|lOHM@2l<*&=$Tx U⇅F `I=ZqS5Nv>(,̓20&w6Ijy"fȘ癗ܞfV[3l曺/Ie#} $]<'bh`IBj<%I(Zs1m=(n  ZF-ex);6 q`W! L(kZwID Ũ0"eD5̂yWFX6f"ipAϯߦK˩7ckNP XmړET_|v#yv80p`\9fƙCApAo *fa~Jf=?ޯ>KV4\@ZӲ3ug[:ƿL! Fُ ]tigYZ7zXZִF! =]ŗXi%"-X5DkD -j uy_tMnnA]0c!m#E9T3]mʯ9MJ,9>kM<*2mq߸~ 3Ų#q]7Ԣ#!aNF\mO0q;&GuUs]!#UFD rD)J8ԡ+?j܌NVz, ˢ=+ EWWfU'a-ΰL<'z{ Wi>.u\F6\`ܑ[S-(՗Lܣ_sc?8|\ۏӮ F܃XkTO'ǨȗsA|)05tYVm