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  g g/gYZ7zXZִF! Z]ŗXiɟ1'HGm7瘊Mǒ|a UEcTKB[&*uwK.LI5 {[zz^lRvSDgYZ7zXZִF! ]ŗXi%;c) Fz!"LK%!K-idrtAg4Fϭ HI8Ƽ~Q0IsO-TÆ}:'"eK$HY>ߋQ5G }=i}w.h٩LHcZ3Zb4>j&4"B,$зM~7l0$7?0@oAYˏVErUH^$L)ʨ='26A3`3^1b \f9zu}R .S\;6ZbޞN ˁɞG,•i,MvjRB.@Mht8Ms.?pѻG3 @g#|$DH&g+j,4j#رgYZ485c57ccb351cc6bc7ee6230eebef4421800f5f062b89b746f265b39aa07d30f95ec0c87cdd2cef6 d3cc984386241752ac96026e8a8c4cf361978f48 36c18e051fc0f64458a5e171cb9c458819514f2ccbc53a76be3d5b8f50a230cff1422d5dda6bdaa5   HOL-SPARK