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% lT< ]S Posix-Lexing:threads=2elapsed=15.188cpu=27.892gc=1.632factor=1.847zXZִF! /]ŗXf1-/6vR[2u)qS?'CΠPhuM2bF|Oބ2\8~eRL1`;J+=k&;+;G y?X?A-Ҡ|>*?!,utŸy(zPDfb↾9T)iVrgd^;sye#sO^˪TIݙՠ/hd_y4m9;focyx%U~#l *g4q5E/93VQL*Y@-`l@ ?FgYZ7zXZִF! a]ŗXiɟˏ6t-utD>ь@z?HS(ۿ2j7T;fLmDO NAABq XMei*drMurI}gYZ7zXZִF! Mx]ŗXi%9(P jᇐr @ܳ ߓ ͌E6R0 %oC|` qǛ0ܞ~z3# I#&sѶ/kUv)hqj[qդ)rV*` _8֔DF9E#':33j{Ot_B,37A0{8dA\@t*FtCCjxT|hzw[$Nߑy:7J&_,GXdR &r-zByPM?ʬ:V3Cp@w r(7ޙj@()%[ `Y. &ohoNuGvq+Gi9Ģ!=j!C"ue @.M̜K`HIGXHekO`&&DR࿐]fЦ:u^fLp4*R/==j9n":*4/i3e^;މ꽔![3ST*ClӦl ԹA\3e-8wp0-N G{0zNױTy!hkzDp}F#1;Kv1:b~z&j{ϯ>G;1%>'>Q\`K0/ )l~j"vEl%ť$lY`D)y-E+o A!=hxٯdeVAFtXKpX1pQ?KQO8{6ϑ_Ӊ$S'ۊ6kOH$p F