SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  z z#t %]JNF-HOL-Lib:threads=2elapsed=1.741cpu=2.728gc=0.000factor=1.577zXZִF! ]ŗXf1-q恈<-¡$johkX2I)􈕒VM 8j܀+qRUׅC̠C ɰ9yf7pR:HgC}C֤b(ݥ7Y8mqgYZ7zXZִF! q]ŗXi%6SHE| PGkk%4Ej4_he k|Ζq (o7v&J`߿XZ} xo'Y{meW0JB ׈v.6ʇ8Avz)*L \ԋnQˍJ+pHa,^FKn0dz[MH͓wI~\66[98BVg }/g_2,M;J-]ى^SD7Snp~,49TyReCɄV#tԗ\ґ~ā[wHqJ>zg;xP,|gk*!\: