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  6 6G!L / List-Index:threads=2elapsed=2.406cpu=4.616gc=0.076factor=1.927zXZִF! ]ŗXf1-/6vRZڕ/0*]=DU2+8Q}89' p nVaQv^T&\rm&fγ2QoB unz Y mg 쉧8Ƈ]C)~Z /S^R4U@dYW.8nfמ yg=P+n1<;U3-:1O^d1N0HQ|?щLa8%΄^ $*mɖN Q Hzl%5/pn+C)e, 1 tv׷'Ό~F׿d;rCN?/Lf|O9r ,S䩐V:?9!l2FFv1),sYX8.t`ԭ6_jnn TpGwg^E՟ W g,vp~.aGV@{;~FX}dp0Oge)y@@VP <(QD7 ri]MψLo@BZ;^Xf*S­z )5P<+:G)&[c\ʼv00AwVb[TY9|$8 |(ܻȑeNjteL(_B'Y/K6 M]^w昷^iF8)'gYZ1c7c9d56d0ed3378328ea8e8337b2f93f9bfd51f aa8081da44f277d5ddd7f6b923726c65686f8918 b1ef7a3ec85404c96c4b02989c93710eb0f9d363c7c621c8c679c6f81c939be460dee2fbe4c459ff c121e04b5193f7bc8e7b1316cf00321a124849d8  ! List-Index