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 pp  \t ] IOA:threads=6elapsed=7.136cpu=28.976gc=1.252factor=4.067zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K E{qIK>#^GOD-&) yұ4#bBwN\ԙu9WHoKvp1Y =UMHT ɡ UNi>Uf`2ΛY,cJZ(g9Mmꇓt{ɏmA ?*zgX@[_#+&-* c΂y<Z0N̸OF?)Y1k\؛ap fRČ^z"հ"/mbYR^PzK՛SΥXۮcu藉;XXB~HWn?/du˧0ЯrWB:9F5MƘ=dT6GJid y<غuNF GgYZ696610060153d80d1c308ba8223d78535a6a427c144fbd49de05d756fe9e2e19f640fdb8a712f8dc a414a4ff183b67646c55f7bc60a981cbc1fc30c5 29c1470ea9f437e356d58ad8f2424c92c694e8ce  IOA