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 / l4D ]/ ZF-ex:threads=2elapsed=12.359cpu=17.936gc=0.588factor=1.457zXZִF! ]ŗXf1-W(TUK`NDdQ׷VFJe:'792MMͨl*3٪ RM[O^@XzRi[ $tMVGa JM&8|Ax/ۋEpǿ'\%">UA9:el>O[LQ^t M"1a9W2n$ LƖ Wv+rZp_МI-gYZ7zXZִF! ]ŗXiɟ9)u%Sᝎհ{.]]:@Dh1"D',ΏCAZ3a %rŭ [#|Ѻ`H)C?'g" Ǜ}D9aոdӅ0ߠgczNZ"%( BvF/`ʏpR3q/Qbfj)X(EOl?;v^gYZ7zXZִF! =]ŗXi%96UCMxO4tK?%P"2%e%_QqykC\Q>Æq:>h۳[e*eq j/F!41|5q#wi΁Z4R}7C_-N*X‚KW$ibja5vs$܂|uQڧuЯrk-$ +o0-= gN(]DUGyB OB;BAQ<q]xKԁR/C*4k-VQ{:tf8 QÔ5׋շ9iZ9HBs-ZBRȎ& ?M x`k+ %lT{Uވ犩yKf:(杬,|^rkoD5ɏ9m9MI2j3q!~qtD&[sJl?ۄo)|D6#.aKDC[Dj~ٲ =TLg12 +Cy(X8X$&X[䦍z}!o:,vPim~)$ g'۵;,+wOdԑJ#|6$*'T R,Sp^ɗ(`MsFwl?;w# iZK*GcRRTp0_gϟNZ囩 +қP蚗_ TuqLBy;.>*. 7؉e,7ڜZ?f+k䦡̩zv0gYZb91677af27e2f7cee9f389cdfa0a8590edaa5315e42b3e1f6b1378d353a536b3bfeb7e98c73ee3bc ddc254d247935e692b26be3a557b1d1ce79887c6  ZF-ex