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 | \t ]S Show:threads=2elapsed=20.488cpu=37.472gc=1.792factor=1.837zXZִF! K>]ŗXf1-/6vR[]uX,,mMFa2LU0("jvfVF=86p;չO9FtqRg\LXzmY Id!6 39 d 兾=y|@WU'-v/ ]Qw[RuD'&y7P%[ھXؾD'>v@zn9DdO^oajwM&/Q?9P;Gtگ+s*mla*4*G1i.q@z}G ]-MGNmҍKEP(b/&?XZ{v sd.YE FPLeƖB g d~?gzRE&#fُyš<)z2GEI>WuUsџYvuOI.83 -qaACΔy%_nGr=4iH#XWk&!'D-d%Gy=yd$FaɛhPІ9?lWɨu|uӔI4e}FBsitD6.]6>'h,iZ]0ܟ u#UI؜~k!:]J^0O ۬lys+u{pj[ӖÇw4NJ,J F +d;|8 q5=«6&3USjPѫI—S'ݍWSTĎ4IgYZ7zXZִF! Q]ŗXiɟޅ*-qbה%7AF7gRKqK@g; GBQ쮣?lIl/(}:ËA#+/(n/F\z'4lʵ!hX cF7\j-7LH'+ (7t^suw24"ZX|d͚io$\ȰL1OQA9{&l d# 3E۽7-gYZ7zXZִF! l>]ŗXi%92M"$c)j@\\,0)}v;*4E/k:Z]f2j΍QW&xҝU)% q 'X{p#&T܇ p{ U@yߓ)AlV@['VY )Y%>/z;^3|z]ae6~`FSȖY԰ޭ)/U[&+H1t9rVRV ԁdm_);2 _m Rww\;6'pLE|#w抙j2B Yy9󆗏A5,=-kfO>l-;! '^hH*q(RE#[TmBTkf<MQ|^x`&[J7wN BHSKKM5u &Wga+81DsSAx=] PJ; 眰 Ԕ6gYZ12cb71177e6f1d62215178fe50d31cd0fb5e81d802339f27a0d9de61901914e2709fdac8350d3cd8 7fb9b098cdf9ef9042e54a79f154a8576f8ad951 e18eab774fca0e276fd5ccc2347f5041793d975b bcc6389f4c86d8f08beb2c7e6327c36757e2f061  Show