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 f1  ]/ JiveDataStoreModel:threads=2elapsed=13.413cpu=23.528gc=1.032factor=1.757zXZִF! ~]ŗXf1-/6vRZQs!L/5RLIJϾ[i{$!;R~f{fCThɩ;A,5 w4XxU4)Y눢Np&Uf4*qG7ܶZ)HTs<)wƮ> =K,ԹEqvT?#4miSy &Ldd};0/Jq}3U4[n`~b.lǣ8)޲_ Ut̑+WRnnb%Hq4 Yklvu\i0.*<)NZtLO)\# kUJO6Fށ"D'V!xD ),YfUiGxU :^f.ݳ="pk)b6ti̡'&0G!"EYxuұUJy xLڼ1.!;Y~"Ry0M5WU'i&XBO-~M=GvNN@t+W/_fraosA 宏hŠCщV,7z&*GY0^.V"m u5<*3+Pf4ݺ._j*ѳt nz*!@o ;AQ~cm@?+;I#( @^cu 0Qv,(f%rSeyL9YyG[<:Ƚ&-Oλ`V~=+Nc<)15Ss&t&X:#qޡ+T-8GP[bF=OJ|dń=ݔdǘ+*)UReq"M]J[.6c}y}k$~ùqA]™u%=l"F:f6,#b;~xMj0o1 {wpse{&ݭ`F~3G -)m,h jaň6*^ԅ#&_4s~WEeg1 kJiB: gW 7'r(,@rl$ gYZec43ff7cc6dbcdf19a36c841cb89ac5c511c8e26e3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 1 JiveDataStoreModel