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  .DLT ]/ ZF-IMP:threads=2elapsed=1.069cpu=1.244gc=0.000factor=1.167zXZִF! \]ŗXf1-W^E=J8,kGBxZ~>$b>IwYm~|I,mq#(JxgYZ7zXZִF! `]ŗXiɟ9)Sy6\Y.( dvߩm2S5[4xJ {VHe42 zF$ A\ҀtS\g|yc\agYZ7zXZִF! ]ŗXi%96BV$rРwsڐs{.*x<~n'W$ L4G9J(`>u`l%U3w'z?QQ頀j_gڧYe~wߪ'6r7G-k\jH,(g_뗏^֙mhm>ity8Vy.:v WRy&Mլcb{)>߸Sv.,i<-FkseEC X,{&bUiY7Rgۙ,D:}-*k&O*Fqe'Li*Ԩݴ'rj|؍+TGPP$K<ο|p7ƿ!Bzn_xo.`%癏FR`թ.5scvφgwĴeP.4@:v㒋:;nKQr `uvriR+HHYkY)z@gYZ6bf00dc245597179c5ecb966525a30d5b54c1b5f31bf4bac648c51f49408130bf9489829be3fa993 cc76f8cd61bd2ccd679a3a19f19d8ab2a0e029c4   ZF-IMP