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  ; ;B\ثgYZ7zXZִF! X]ŗXiɟ1'HGm7瘊Mǒ|a ;hrch+ަ:҂"8! "mǎK:+a<tgYZ7zXZִF! ]ŗXi%;dKsEriPL3Ы`b䊾6}dCI9J16񚃔' aM£3o^ULU)+AZe{:6L;x<\VP|~Vt=i'w [ްنlCClHX :ϊ64?xKV[PXnwG-'>2Md+qcb>!F4Ʈ1ba+4+R22獵y| vՇ{K%M.Z%5sKܟ5BʂKp޹/\cl(훷ܑ1k\Klqi?>O9.ZIڒ_j=#E#] Wa-vTE7uҎFBwCy>>UӬb^E?|l`$Ұ=x30gYZ485c57ccb351cc6bc7ee6230eebef4421800f5f0047361513188e7c72a6ffd9fc0d5d82009c64e0e ae9cc23b6b2154e2dab4de08bcc111f7bdffb167 1cb351c3b9fa9f70f368a758b1aeafb034030d1e6bdb22362226c060f4c11c89b524710bc67cc0c2   HOL-SPARK