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 zz D|t ] Isar_Ref:threads=2elapsed=10.345cpu=16.128gc=0.924factor=1.567zXZִF! Y]ŗXf1-8>l޷VO +҄RXۼfxAaL!nS A嗺/$as 'KгQ9]ɸ)MD >ִd=w؜C2CzCJ[ֿ] ycnuz')źIp°l8R列 @$;(^r8x"Fϳ<((t䠓_FTJ]lO:FbR<.!ź!s 2uB -D_ۿ h)lIC@J:]-vW m_[JggYZ7zXZִF! 95]ŗXiɟ]O5-|01 Wg9Ъ,t)Wy>DL2]6+q121)'knߕ>h{}1y'Yܹ2C%KuKx^ci厘vD»$V9CnnϕqkcF7؂yd*ͧA@ >뜧.%P387gZQ`cyD^~ "⦓>r ȁ=r[]t| L]0\w (J=tz(XIߊ#0f&Eߧܕ33̭NٽS@zA)]kF\SDg%(KW& 3{?4@YW`59Ɏ[ɫ8o^ߤ%AF,5 lsg)>1RżF6T!p+}^Mr=gi89=$k4q:pgx'](N48iC N*ypqÈt^ZR`u44I@щ#S`0o0(9몯Q&(й[~n%UԑRB<΄^.c6ܢfg^\r%|ߘ]f)gYZ8c68b633ef1500f6ecebc2925cb664aa6933bd7a5f6b46d75794d7d779141526bb8c5d38bc06bffe 14fad242a862a8a0327553b16251c149a42b3da2 01ad035532cbe486194b1bf219cd96ecfa7467a0   Isar_Ref