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  n n!l / List-Index:threads=2elapsed=2.779cpu=4.748gc=0.100factor=1.717zXZִF! ]ŗXf1-/6vRZڕ/0*]=E %8qg[mtiGN:׌>nXHtRF'0tJu8M:t lEyy~cэJ]5JzqߥRKSH#ڲKzk{X2gYZ7zXZִF! 4:]ŗXi%l.zWқw)͎ q+D+Et Dbٿx1+]+PPx qC`xI>ERs՘eGA_@M,e>QNSvѮ~/魨}s,EQ BwR=FPW O^^8CKS9!L͹6 ܟq[cik6.w{*{6-2JiJ kB{5f+!a:܀LIMVElCIg0֛¿O Ll/~5i2E<>u% Y!n; ^8`[h7f9݊JԅaOB/q ӓ 2S='.Vr1~q;[9"Ԛx5Pn%?n S[JJ@Yl'ɚt8 Y 퀏gPKݱ/(ĥīHJT*դGϯ't@}&ТH.mXgYZ1c7c9d56d0ed3378328ea8e8337b2f93f9bfd51f aa8081da44f277d5ddd7f6b923726c65686f8918 b1ef7a3ec85404c96c4b02989c93710eb0f9d363735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa  ! List-Index