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 ] Trie:threads=2elapsed=24.267cpu=26.688gc=1.120factor=1.107zXZִF! ]ŗXf1-/6vR[ltǧT3(O"?MVWURR kkL };Yn >4M%6#EgYvx(lhTҲ>߁dQARNӜ'Jw^n!gc8@26gE0w:d;xr]~YcgYZ7zXZִF! |O]ŗXiɟl٢ :}*]],&y$Ș7;fcs|C2bfgׄ!k} ;}YZ7zXZִF! z!b]ŗXi%6\)g^t1K=wYj(O=} <*Kgg:NgFfJׂPΫfl@sl^ smî~BexxT%'-U_B%@㋄o_7[40|A,&4_ !%n)ˡЇlIK6xTqɘx4JgzDeJ/G٠UcwgsQpm~tݓHeNeW97P_0-[ YO 1?LN]Bq-dE!"a~#G汎4$GfRbťxӋJj99w"}I|Or|ߺ[/Np=wߊZ,F-d0{ӮuFs֗G8LuBDjᑲMMV|Ps1r73M0Pk?7hˑM/ y`Pc2#u:rMjE;f921'/~dǼ5©a69/D)w +g6~ȴT&h]`SO{⣥:pcDc1EJT\{J9bo}1ǹ|!o+r i^YE5$ࣶ.H2h