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 n $ < ]]]ZF:threads=6elapsed=12.805cpu=38.676gc=2.004factor=3.027zXZִF! ]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tvxl@gD8Hx0t9Rӭ.z?YX[aqOk3 EOOoܔ!T[=FLa`W<-/ gYZ7zXZִF! >]ŗXiɟ 1FE`穵[aF_.5+ss|O㬑)ad[\ 8^v/bBU7Ng6|Sܟk6^*{m:M\#ͼ{Oye.hDRH6jy.#Ϫg|ó1n67 щ{e#xSsuHdʥ`5Օ!1{I)ǔf\ވxvd D)'#1ϩs_g3Ѿ?/j$`MHXo& f(Q 0!0bIn]pMɪ? @ UA܂mJ܂<l2kݘ11<]O IZ*)[#S])L~WUq:_kpqaJ4>Z|y9}I32:)j56ILh8ռ h^q&bfR!  F?]2Q`-L45r @t 浆`7%WC(9*!ʥgYZ7zXZִF! =t]ŗXi%;ŵRO`xB;Y!%UbXAy-o ^ 3x2 P<02~$W4оs8 39~vKMْ9{h)ߑ1PEC$@e3'r{jap {R'~{J]W{)_= aH%&1=sI$P͟QBVl\W\ $ώ%cO)]Ȉ a2` nUxD $V.V*E7i]C!FU{9?`y$I)9䳺vK̀ gMٝ|m/ F""1 Հtb9 ]{zYRV̮U|֟+ޛG;~4Axs#]yrtc'3Z(IRIg&ßB߇FwyLWM֟ʾXKs/.՘6',`ɯ?F.!K;&\zލw `Š|^ZA\+q&Ӻq68YsU"\hc,1T-xUwKiMn_@r׊q/k,Ki*> ~Tٷ|E/ׅ司)&0X㬗Fmg0}TƁ= Ͽta}}!7" nPV`Q vB3+T@KSRz:.Km^@"Lt4hٚ3ꮴ]0BmGKIe5K1vXX42N>v )bF)I2*1Zy޾;i$HzW[h3H`fv޵?d-JqL[+{ 5,8ˮvl!#ʺ-R m؋(nƥ{$l{N e'8a$vU;8`*'n1cw:Vd;h8=_Et 7Q߲ηv4o>0m-eKUqH$Hp N1,OoݝCOQDw zwUgYZ38057a1194fb4377aa95ebcfc84b1ae4f95fcc676c8c27efb0c8ebba6c08dd56f4b9bc33d58ea85520fdeac60d9e5fe7243b634f47a6fc14507b20a1  ZF