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  q4  ]] LCF:threads=2elapsed=3.341cpu=3.780gc=0.152factor=1.137zXZִF! X]ŗXf1-) enȈA"XxBT/'`a^[raϣ6 9hnC`(9QȫYB2ᖆbHظg"8,2dJr|9;ox #4uv*;fΟnq2+y\˜'AOnOe2K*+;bVn:^g:8uHل%yT?o^' @.VjOM}ZpM;GB~|6 ?:o=U @<@]66/̑8)y$o\l`HM42rp\Xjm;ޯC]vd,8șLGTKRUrQs",t9! N*Q SBa-9 !Dc">.6ZSӈzmd?-+HꞱx٘j2ŕz$qJ\R_\ا*OT_J|kEDY1tE]vR滪J[q"y:خ{0[?_7IДt% jgYZba3fb4e9b53621fae541b48658e6fc2e2c170c6a98dd477b080148668828b0f67c6e8a1d9708b3f3  LCF