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  ( (U-D\ ]% RIPEMD-160-SPARK:threads=2elapsed=1.214cpu=1.308gc=0.000factor=1.087zXZִF! h^]ŗXf1-/6vR[N9ʁ@;._IVn,^?*:վ-nzjjk?~އxo 6)jCXzi8}YZ7zXZִF! ]ŗXi%60nX:U|Մ E)eW D ׌:f2?Pz_o^mNQ :Jd sVjO{D/g{ߩJbD6bωY:dK ӫ! |bAJtZR.7/+.!^ 5&2 ЙCȳGQ&Oe >z*jv$Y S݁Z!E+,e/ml}0o}hԝv eѭMJ,^v}.qPxʖɸ©IX%˻ 0,oyLՍH zY$ȡ1J q<,k+K~2s 9V Ȃ|p"q*`LkSV0IgYZfc0b18047dab0ce99b5a28c3db0950e299986322e3d3de0c105787f07c71be3f3e76dafbe7c86cef 26af89b7d57c7a15a989446f8ee1ff99d4928d87 e96024a6b39b1328aeb0b590a3739cbe6a92590e c968b602bdd5ab5d2430faf04e617ee44bf12b5c 61329559e1a55bd0506cc17acfc0645ddad622fa - RIPEMD-160-SPARK