SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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   m) d$ Sw Buffons_Needle:threads=2elapsed=8.313cpu=12.880gc=0.148factor=1.557zXZִF! *]ŗXf1-/6vRZkC@R Y.;c~H>8uJª DV.Fj_Iͳˬr.PrbD?|}M⺈Lg_՚{ E1ǽچΛՒB؋@6@*!d_K42MF|iO\0%/{{`Ty.}I1k@G͋O-B'2Ю̹숃O,uEW] Qi^y x#݈gYZ7zXZִF! 1CI]ŗXi%60rjK̨r&`'\ԕP`ԫMsg-R ҷ7#< Mm9?OSq=[`Kj\!BJń]ZJ;PNz+:mWHȬ\ XF.qE Ї/}UNsOf*" ltYZYB,@=cVRKt&dW |a5!8܎b,C*{^Bg?-z_ S*M5xΦ+,uL:w0|BtxdIH "ڝ(< h8O3кhgh,ʩ$|N\>ͭz2[_N' uWXY>aHNr٥ P͚׼ DY)u+_ՀN",A<`齶R.ҟL^ ƢENALSE,u(#邪>=)ƓפpJb35hҾ|^AnR5(o: +u˙ŋK)wy a~Tk0`+I`b)q\PQؙٗxhؿPi.O?/(Q޴/P!|Z.̒B~-S6NWph0 LOLyBCWbXd^CSL"p6Z~ȑ ܻăgBz)z\׎b,U~ܿEl QRJյ'e+ԢiM "<".lfQݧCvޱ< |