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 b-DT ]% RIPEMD-160-SPARK:threads=2elapsed=1.329cpu=1.404gc=0.000factor=1.067zXZִF! h^]ŗXf1-/6vR[N9ʁ@;._IVn,^?*:վ-nzjjk?~އ"+lJzi8}YZ7zXZִF! UJ]ŗXiɟ5/8PY.i#%(0#\q>o.r#&b)j(E3Di%Z'9fVˍ)}YZ7zXZִF! ]ŗXi%93wYw0\txfpb:ǀO=>4u'_^cuNY * CCm0W=;^sk=*Ty'B@L:;Ghs,֤Wϒҽ 9~N>Vyh|ipBcM[$mO% |285GtQMġS\V޻#~Kq]LW8DӦP*@7'%'i݈2 t@{!ul {=Ül !vYcVV@kožb9)ϱ=UoNA7ӎStVxu7([Y*c][CV2e".V~5xxkUɔAi[)ޗgYZ00cf1cb5408be68bb5d3fff73210741c4041362ca86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b 246f6e81708adcf47b424e236c7a30d027d9b852 b8472359012f34971f91d8be2ac721aa84a24dbd e8fde8409b408a0dbd4686ba1a5a42d5fdcf34ec 52b2c118ab1d6165d9116e9a409ef9c190d8a866 - RIPEMD-160-SPARK