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  0! L ]/ List-Index:threads=2elapsed=2.878cpu=5.364gc=0.088factor=1.867zXZִF! ]ŗXf1-/6vRZڕ/0*]=D)𖒂_M]݀¼>?g'RXUl}(U$-Ҍ4ߪhU" A cXáD=!teڧowQ+HP\@ʵ(? @"m6>Vi:TX ^w| ;>`X2U`n  O7I/qg[;67%á7/zs^g lR$mI`#WPepPaU,.@1Ck8rR|TJ ?pHsWD+[F]#CYs?Gr=CJ1AT3\:^(Fy/Km e82ss0dN^DWXsCls(Uܕ<~SfYd yjWFj6KQ-T~3$ m.AiUsZu }sg ch] :hkEߦV+r弢10k dj.}gYZ4a82ae337473ebb5aa96a6343e76dbb16bc5fe9d72476e49faf5ae81b565cd9a808c77e6c79a7cd3 1847274f423d78a61f6a5c9cd14f9851aa9995d5  ! List-Index