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   r+ ,$4 ] HOL-Analysis-ex:threads=2elapsed=31.065cpu=41.320gc=0.620factor=1.337zXZִF! O]ŗXf1-q恈a.W E 2kK+Vg,_w>D)=z< fCN\.'bmo{.t|cwQ5/P5֞LN}ƴW0ñ}$#syV[,P XMUȮEdei锛-W"TMPM(|\iSf[Ck)Xz2 GwſEK췇M:D~ab-$lZTXx'k"746.B<+$njq^_9Kg"7STU>fUb1?Îuf 8e~ (a >7:m?MW|A-kk3T6'zRjpҚ6DC{_  7zgrx (h13|IJu|B%vmGl#U>ΡyTWGbsM ft ˁ&߅ oH'>*R 1)mdj>y7UCªNk~>4};j&R%iY?$s9FOsUMRh"-r4"ӫ~-ٯ\"n x~$EKIIa4KnUf#_XqW臹4nYiWAZSo^`H q).YO`ʐl|4 kXI!O'm)N JYOIٟmyTS<9'6F-Ƴ 1vz5̙Q`|Cah lp:'_g c2Tr% *h*?gYZc284de43451d63486683e3d82bdffe5814ee9736b6a06941c7f4d32a9ff0b780ae34fa263f209f1f 17c087a835d148ead0faf3b05e4801803be6efde 637b762630fe894993e5867a2d70676b1f851684 + HOL-Analysis-ex