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  ),4D ]/ Implementation:threads=2elapsed=3.920cpu=6.728gc=0.076factor=1.727zXZִF! ]ŗXf1-ȩX/@G[GUQZ k.NN_xMD.+$>>2 &sOY#Å4&vd.sdk vcӘv09zf)B8㩱gYZ7zXZִF! *]ŗXiɟR zMhMj-DQ9\UA jH Wu[ggၱfFAΟa+/ Kkqp]׸ q92_í+=6F)l>k Ž a7m|QT˜|J󢑯6n!M*B<@ k2 $YAciܼk`P)M $@ugYZ7zXZִF! ]ŗXi%9+>+WlZȞҷ$lz4m+EX\)7\glr2]Ï5EycY$AvB)$Zaa#IؽT[٧p\ _0p7Yep[k0rDE5tKeu.MIQi#B^5<L[3l^;HNtgwS`K$N3泾&_4xjLʨ~f; v¼vI)ŵ|B4f9 k/KYw/_8xaO\SoE˗nTH@ ;lJ?gL6iߏ**d43QEggRK늉 g;ߌ@ۈ`]O~{k3Y?%w\->d,[O%xEy!m'nr%VCX0k&OWnl vWnf2\~QO{6YJ ""x)`2fO {s)>U.MgYZ594feec55a6951f39fd92d1decc1f237e69d2ce241dfddd2151ebee28efc9e26dbae12c72d1935da 81c9499a7df86d3b7533ed9c6efc8881fcc10f44 ) Implementation