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 a)L| ww MFMC_Countable:threads=2elapsed=69.591cpu=118.736gc=4.848factor=1.717zXZִF! PW ]ŗXf1-/6vR[랺 }GNν7h1|nZL.{0m7j%jUѢqU˅`Rwg-1I\@\KayGGX}Ic˕C:.uX@,9B FJ,Cs//s\:Hy/o r 2x{14! ^I k5 G$cAvwtnM]wyV=xkEl.s.& ,#*d+X;a%++ٮN-*9h}/5u[*/|"4>8ܓ[!oi c]`eJQqlt;'CP7A [^d@;qP*Ey3eTw |P()$lmm*&42`,J0+r .J$T,,l}T[ŇQ?۠"5SMi YFX_Ha;⬠8%5M&ϸw~Q < |#}?kmICY-4ՓhὬ1|eBbR<8)KA*iAHҍWk(.XoD#[kj)efN|bn'WKO+թߺHcѤ6QOIiI_7UACLZs0g^8 ׿:p/_=ZA Xܩ$p˥_Z̋(г2B[4׋CS<:;}덚Ώ2Cb~Ȯd~Q0#T') 9ikTД+|vVopmP4 oB4 gL cG7փ{CUߊk+*6I5tMh*%,;W3hhbj"^wzBXO(ZsJEף,|xuD?A2#얗bAk'~-HI@H|#YҦ`zuC(ax {e1[h 5h@la\4 d+G|b~\h@ΑS<aGbPZ\ʙhu OfSj Gp$ LkGT"s~FbrZ1FvphNOV =/f^c@KV~I CȒ JsLWB&s7ɜ񀗠S4KM$ Hݺx|Qd:z_rv`nQzaX&w_u}.U R8N/4|7{j$0c. gy=YDԖ^Vy1VU<hOkmx3/x#4 ؠ.HgYZ7zXZִF! X]ŗXi%6jyR<PjS*B4[AƣQ c_G,4sGֽt'1\%7zUm"<2պ=tq?"rwa6 ]ECiZujTh7>[DCb~4 O| !E$dŗ M߻7=. w4"-Nm3M2D X~76vr:bG 7Xd<'+ؿR'ފ [OFkq$fyՇUmxZ5/y}hq#I<$PS^f4S*? nsz2=  ]\?ᑧPiv}$I>c)A`TV`qZ1) ngp Rc~&,_"Mw/7 `u/|EaFtƽKj CMzws}TbIY+M"0ǧ1[J# ) MFMC_Countablelnpu3"[`+[ T7<&Yק 6мq Tú_vP f@K@nL`bo,FYx peA6ZwI*Jv֭,BN<Nj[I8 z},=nuS 6+XjxTBz PSEG{Rr%R+#p'&UH-BiHq#.Á\쉐|(wmu6֘5HMۥ X"жr#qbf1ŮC^/E\|UgNRh;K8'ǯWw.uL⿞_[$i=sF|vT[7JFHn>(ڟt!@׆c=[I:hFa<.|:h+FU/p) o/BTԌˬV=v4 C֛midI4iRdMm:0s'r,@@7srX;V9V{sǶNʔ'LyR'e}5H9ꏯT$E.n!`VǙ=3U$H@3H $lb&t xoT , Y QY>Rt׼~).qTQ^){Ǡ^h|4$ݷ@)7U!߮@Y\;0빟![W+ҏ bᕋ;L?H(Avj J,=^4KɳG yK.-H@Ae:L;a5M!4M\F@6"1te{l@C^"~&Co)AuO&Xf_>?hsnيմMqU%Hg08N 3ŧ _V;HmT܆8߲cL3ZAuIm_+ˁ¾ZM@FW86-Q1-^1 X:_HȪ>IbX4B|Ok8čl :|AfERnBz-p: ;p~0|u0.`ҍ!F]Y j j_աTi~C$;1 y ߖ8U| ?VeC-