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  M-DT S% RIPEMD-160-SPARK:threads=2elapsed=1.264cpu=1.356gc=0.000factor=1.077zXZִF! h^]ŗXf1-/6vR[N9ʁ@;._IVn,^?*:վ-nzjjk?~އz bŴvszi8}YZ7zXZִF! ]ŗXi%6xs8_ 1Z 903  SlEP, /Bd ݸTrݒU|]kP׮|{2֙R:XW$^;nkz"o`YU "!#(Q8Y4<G$nN=BRO 7;ϪxIV d&V)`j- b)9 CvwX(;XqL?"&ݧa"0wf{TJY>\AP$m(&%Wxi+K\ ;Oу9<}7?ΝB,P+/wȞn{Ѥf {ǻ!%Dz`e+yUun滞Ù$-s' E.4qtK@RƄO+gTyf/gYZ032f91905f35339d42804f02844f44487e2e5dc2 13995a6a9e7098d294b7c9fbbfb8466e3adfb9d7 9f5ef76d0af853e976c57953965d1fdf7360dd28 bd003e0bd6ee5ec5d85d899e10916a7b1099deb6554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 f3abfffd5e9fcd04bfbe84ee6291a6c45296b2b6 17cc04344d0e21a40831e18a3beb8fad55cc75f2 f8eeb990b23c72a3a65fec5c38ca11ce4b7c9780 - RIPEMD-160-SPARK