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  ? ?>TT ] Cartan_FP:threads=2elapsed=2.142cpu=3.896gc=0.072factor=1.827zXZִF! ]ŗXf1-/6vRZy_Î:|7^qˋeUNY<(1zcvA>S-z({(۫3'bOEؚt YȤ(m1lQDMwZ0aNg8 u[C~ky1ͱgYZ7zXZִF! D>]ŗXiɟy<mYSPl[y\1EX+^1TB!|vvAIj- kEZEdf}YZ7zXZִF! #]ŗXi%ήuCʽf+y䁾:iJK"LMȰ*OS/M[\i+ tbɘ]ȩHugЬ@`P䗮R|tmz_4 Ce-R*zJS2^ԣGYLޙҖ,SAR2I3*Q##ܘ!1\AKG.oVXF|p6Kp4~t {-a ?*B;NH ryY>|ʔ2}Zd&b5AGb=:60!/ ݐW0 ~h79m8(d *Xe-/K(qB#Φɧ:ն>w_:;>;xBu/3UjG 6@'4