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 OO. 4dt ] ZF-UNITY:threads=6elapsed=5.791cpu=28.728gc=1.052factor=4.967zXZִF! Q]ŗXf1-WHIk0p䋎dh֨/+aGb−>|omLefÄđOtQ'%f5?U z| M շN) %@y2}J`3x\@J+s?FUl@9„%2c2tgGX6<9hi$B߼ZoVakk g74yD٩DƟ$zS⦡ىc)H-{ C(nS+_Rgjÿ7Nܸ2⺠0>'Υy>{WMsi4ts6xH JUh ,U7R\UaP]*֞y2,:z"=bK߈pFtѤ³TH Lh+s)JA7Y.Zcr@S 4܆1)l -{nL a ľ/iz:VkxXRA;Ҙ3Iubpgiˋ@Ή/!>߅O2!~~L؋)ݓ|6ᮤ=]p osl _!gYZ7zXZִF! hj]ŗXiɟ9 i:4V;}A<<ګMP7 Ԭ[\YQIfE!v_ok; 3Q{.v[o;t9~ 0 "pR%zAl?tzi+BsH}{<#W6XXf=fcWiMDo2lm]raJ{2կ.D%"Cq6xG?\%4OLVp$}MW}%nV5y/g[м5 ,jtksZ񢭐hcEq}0R. Q"֫{4_z?_ gYZ7zXZִF! `1]ŗXi%9,}yXfA 9,!XSَ6^w`cXm2OCB0W}R&'r} 0k< ݱ=yR;A|Ua`GJ)Ĉ*ļ0kJ C4}7UeHޮ5y}S#aN_.͈0pKBq _"I8Y˘Br,J*o)~UQ2~PmgT G@ԿrO꟒#Վoф(ܶN6:+BRުYJqcM>X|"Uks9fR=K/fz"!QNGjZEHq4` 35Ә:>~׿ 6V.^``:SNrmM }R?#uwjڤJʓ嫝 |P:ZC!\Ip f#sCb͸JJ^FNJQ;iYGt[$-Pjg=Lmq