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 N/ \ ] HOLCF-IMP:threads=2elapsed=5.580cpu=10.412gc=0.524factor=1.877zXZִF! C]ŗXf1-q恈N|5` 6Hc( zE"Z<ϰJHSu لnA6ڛf9η&I~[CrKZꔝ;)GhG h8j5Ѭg'GƏ]z~ޑ`x^ xuN{A| <& asTٱzcbɞupH'n2U ĺ=?i_)uaS7<'~1s䘈RC&̼YWM}WtAb p/ =RIc4 ~hU lgYZ7zXZִF! ]ŗXiɟ1,plnQBmjszs>c\Hۯ ? :RRBo[}xr5(%o;=ogȑ-y;,#cfus]:R@i3ުIe xPȇ5رgYZ7zXZִF! ']ŗXi%;NH&B FdZx_PS,eR>\8Vl3,BnZ"I+\AhR)*')N}iuӐ6B ˡpEq28fcypLA^ݪ_6}q2!Ϩ8T?}Ѻ5?:5WzL̗\6ķP`"HLޕ 3o H8;&%g*7 U46`< &i~<4"xtU8TЅKsAyH&gAzBK|O"Ktk`32`*yjk̂a.)բ  E[=_`K~~CCX A´?ygUC{1"k:T,$R4y Z3A{BOF2;U>ul˩buHBg8c맦"u4Kf"fJV<1PUXT5wo-CIji֟F?m>bܑ֧ G/5gQ`(Iߦƞ:m~w-I?y!-lKhR8^ǔ-:94~3^M_x{KE܈"dg0/9i8b#=i2/BECFKkJg_Ej9]5֪l!L(-t }ao0T_f>wA1|56JZ?esBOPgYZb7177e7eb73d978018f2311b0b314bc1c4b51f60b1e9d096eff3e2d2097c331d061d199548b5d3ea d6c569c3cb498e2d723179c18cc1cd66ffdd721e 8c8c40f151aa79a5e88a37fecd8a88898973ad87   HOLCF-IMP