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 ..O |T ]/]HOLCF:threads=6elapsed=14.882cpu=40.492gc=1.988factor=2.727zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VVsab]/)T 9DJ+5Eu߫7תHEsgr89[gnֶ&`0ԇ| >HBqv6#3x )oNqwuxW TA.]A$/ + ERҽ(aRs#XZkL Ta7xeRycfʍ'zɦ9K^R"WdS2zw@˕0 $'kj-TԔ^=;~.ug7FgŔJ(.z4]wL;Z~ 8mN'>gYZ7zXZִF! c]ŗXiɟ>Ӈɇ9S2]ʊqԃ;hIEcwX 䄐-P=E~Ǘ2)./)a~:\K0?lVZ$jT뀸DhiSt${7ȩ$NpئpK(B5'eVDx`"z*l(ږ:0J ( iWL@JJ=n6Im]5d' 9pW<Y_Te%>3},^ tNIF.`|#cRys#|#}(Wg;ɂ3Zz,9e[Dm:#8V,d#bõ3!3BW ]0gYZ7zXZִF! II]ŗXi%90@o6/Rŧ{Ī>NrK^PP Do&&o'"hfѣY}\g|yi8cKj!7,sqJ zi C:[(uli u g_AJ1 B$O =֪q".J3J5t649ĝ+_ZtAk/PfION#Y8҄raT +5"2`ޢckZ|So R=ᘂ1q5#}4mLe~"2b5 teTxeb ܩ9&l տf~yŐíh:bw(Tk4\JHNwW)֐"Րc,Yk/!y(5CjR80*f$tRakNAM bwybK&%YLrl_sAZ'NOXi+»-bV8cޚ@7T<9ؠGGWՅ 0 S0h;P+~J o0qDu}#8/on=n Yzq5_PT~S1 G}q8@| |&4C