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  ' 'VtDT ]]HOL-SPARK:threads=2elapsed=2.530cpu=3.348gc=0.128factor=1.327zXZִF! ]ŗXf1-q恈׍ T fPf.Vܴvl.c@"'[ۖaf` eQo}qcB},~G:Cg-½TBPZ[Gݶ{ԃ_Z0] c>!0E-6*G=SgYZ7zXZִF! Z]ŗXiɟ1'HGm7瘊Mǒ|a#+ eKt:h44 23o+hwv?g0?WDvSDgYZ7zXZִF! ]ŗXi%93Qkw ⏻g2{SȢXު4Ax0qF/ hJczygC>nEؑ4p*?lxǺ_S'y hٗ n_Ϟ ^2xel}uC}UBC^te4gf(.m% *pdG2Tv0E@~Xܘ;8u=V!P}P{0X:tP;HuQF3ճw !m3ӬE=9@$'4mj*-$iIhXR&OfsazGQ.6iZ%tL"ᢷ#iAwZ?7LUgb<>Ҕa܊ CVˑs_n(W$DScvsG'b/]|yTq:ykjZQ{cqLqW˫6>@ ȃo鎾OvK˅gYZ2b8a9a8c38febc58e99026ddaab2afe67ede0f15a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 b8472359012f34971f91d8be2ac721aa84a24dbde8fde8409b408a0dbd4686ba1a5a42d5fdcf34ec   HOL-SPARK