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 __ \| ] ZF-UNITY:threads=6elapsed=5.270cpu=25.652gc=0.904factor=4.877zXZִF! B]ŗXf1-WHIk0p䋎dh֨/+aGb−>|omLefÄē>ai~ x26/Z$c FQҐrsVTҹt oN x7~WDGx]XO P]G F|`k" C65zhWB|pCdZ^--Dˍ7%.Uŋ $nZ&C9MnuIb8<\4m<џ{_OGlNR\7J1gDqw\Zj~M2xKqCp @zE$_ _O^ @Wn~RZ,Oٽo n(~MDG - ,ƴ_0w$e/0iy/G*`+kX5 BIjv3̎[Wk"$N$WiFr dT]GTxQG,|\2ZͻmYZ{桗yS4ڨ m2B1~z0rBr8,>gYZ7zXZִF! he]ŗXiɟ9 i:4V;}A<<ګMP78W?Dgl&" w,*9ᦑ+%?k[ԸA-8J Gn<%5a<7ǵ-G_f" Pdd 7(k,yH'uX]F|O]q'*9Ũ}p)vHXl>A #qrrE2CFshlX_.up3 EQ-\3F5 g2ϰ\cOӣ#{4XX~wGSjeEdk :}YKxh_k͌ѩ ]c / Z8Қn%6 gYZ7zXZִF! M6]ŗXi%9%1BF<ɇ!HYd7IՑt4SGwNTKI-_*> ރHs, D:=CgPvX74Ђ #\s`ymZ;ϊ50p5ԖT#)}]KY+ )D0+2h(\BD gZL0LK!6r 2u`@NcD56OQ>S%WI0Z ^m/+.aNCKX5XH.?!RHیn3DCϤW ZS"%@hJ `P(u@vG 5fyzÊH\󞅥*Fqt̻bYa :?Dj>2` vS's/JA5Ks+RL|Qg/[_ 충uv6 WXNjXa4ǒzHe8tݥ?&asέ1NV(ш.UаoX׃TАm-әi4 q23acqNWm_ {-3T[' X t~L5!xN)uLL2^G!5Ox )Ȓd<)&!8D gYZcb8b0033a4dca572ad411dfa0c0e4628759076c394f51dd4e7676acedffe74ec8d2e2647f4dbdd0c cc72722e350db57eb34ba1a3a2397901ddd7457b e3beca52cfdfbc7c72fd56b72a4515d718b298eb   ZF-UNITY