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 |T ]]]ZF:threads=6elapsed=12.522cpu=37.596gc=2.060factor=3.007zXZִF! ]ŗXf1-) enȈA XR„: (ؾ}zko~R᝼i4U7n01h'0qc!`j.jCGW"6P$b0LI%\!D򠣏~jXİMjE+goy;>C/+*)^oY*RÀ͐}MunpbXFv5=.Ma6iR.Ε|AhC]"5JGV%&tI) zhr 0ygYZ7zXZִF! G]ŗXiɟ 1FE`穵5;QV(ѬN *XKUo/,UW" Q6qqĩ)sƾ\R0Exe%pKo. c.>A+cRK: Z/,wqíNxQ,@ P7JXOh1qŸ2΢[%6)16f<[Fϐׯ&WQHShfWXܮu4MOV/rsB:ƁL%O[7oIDrwq"eQOG8+嶜qQZ*'8ʳ׬~Y/t`M7^T@cXd?r5˖Jrcm&q7֢-:iⓏR'$+8R^0\$[z;? HW%'Q56 B{73j$(eFB7D@{Z^Ks Aٛ4r w%g}*eơ  q0hqk9 ~~ܭV #gHn0]HWFwgYZ7zXZִF! =l]ŗXi%;Ǟ` >q~ []Vu10s5ccpCz@6lSf9OMy3> S+;*53ߌuG,~yoR"/!5OŁByX`z {S߁F\PG+5t9;HEe&ܶ{Ƶ|R晔]xAk*ۖcEW%b5)6Oa}f<٘\ƕ* ۱ CŨ5QLɾGAiTܺ9׭Ss4O1)>E〣|ȜR )o ZquD*_H?,j?++?:쪄 I^$4Tehs'c:I}z>l,})YF-5> t4#_!@2PJ=mnC{<&K)s֯ 6Dos$؜&͸;>|_r < 1~[_U(k 󛪗SHK,!%''c:Um/P$ Gl<LJ,,@*vXj \]f;\~GPm`yX_P5w39>s/sk);L…kt?c#d??]{ob5$-f^ʼw}ҵ(,}57L#|\b~MŦiW׷$)G3J`{"*{ < R 9b1h$e h5Wn䨘.;]TvӣY-k)EMl;Cvf>] JN? 5˱ 75^1 k) XZ(PP<~z8I7L+q :9f7C a|U:І)u`>#%OcRn=,zmo@X@5l 4`"|qFϨB-~n&k<|e)˂}~RA0$1luݼ:-aw1r)F/2ârR zǬ&gYZce6a5e5f59cc50c8455e324595615dc68f7adf35af6f82155bf73f7bb583ccca2ea0903508c15c49ac53a3ac26b4565a4955edc86c32d3688e7a7dc7  ZF