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   l4 ]]]ZF:threads=6elapsed=11.698cpu=37.320gc=1.960factor=3.197zXZִF! N]ŗXf1-)9\l ݺn= bŚ&3(/.G_TnbZeD:8]orGtІ%0?T'D)wKY@0"d,9>Zk,2MЏRWtgl6,JFP?f+;(pzO/pK2{ E'}F [+ ]_ |NJ+Ua!ofaph40v ή$triZRm~TaTvvdfk*G1ۃW*+xoޞE7~|l7C &Pb#45\ 6r/KcQSǞM ,5Bxc'kL>C4 Q+̏N1FjMjp!B1<$2 33E?hgYZ7zXZִF! <]ŗXiɟ 1FE`空:=8.VC{ lᙬ.kC:E~kcMKCC'Qè=%13`"E/4*Byz;iv"(D Y )_:dALg|~%. |ypl7kpjr~6f;/VO7D ~A WSR$MC`}ǻk/gW כVӥ#c+A,~ (A^T=6`zXMQ; m6/se8ʭ_dxo1[oOZR&Y G;qԣ ͆ YyWBYʕ3_ n2\M|c|V[Qp.+n+h=@RGNLQ8emMt$uVa+.mty\8{FZ ^*ѹu/PqsgYZ7zXZִF! 8]ŗXi%9(OƯbZ ^C<SY 1՛ ːQ0Fg)l|F9{#3G>8p#Q'KҞ)puW 1 {A#t$OR4@؊>L3wQYrTjlD{M9 pFvIjکuv Q$JmӌԸf\`vILxrUx$]QM)r>Xpm?R7Fd^~]ah6W8p/GVՐG@)%=((惥RQ)8-0zls U|2Rzj }|cp֕F$K!j X$18D4556^^LncBk'\NȻ,~[OG 9Ae4_&N Vi/h_Jd73'e` ;I?ŧp rjߛD$9(H\.a'gj3}glE?0 1N1MDƾÿIUgҕmoxWy4[Hhx: JeKr@sNt{rzW+l2=k?My=f%;Ju*vJ+tG| ((u Q3_OcO83ۊ"&]wdz]"p'ar.\Aۃc](K=̀I`S)_zs qocgYZ3e404c940cad205e3bc58b354fd1454de49062281b1b23cc4f026b8efee00153745c0e90f4bba1727e8f713257c921f54e8ad9e9b6e8e18df75caa51  ZF