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 33J1 Ѿj%+ʐ(B;6bZExٲD4Pdu(ԉ H!44]ǘUL4 ?~eE c&9kQW+!37ӶDS/`fQ{GhHbtZ˯rXr0=85`@Iװlɴ]Ke 5q4%1e+$eYbREO/%+J0( 3F5>INnJڊoɃvoVXvX=<,T3LfǖU[~EX"QM)L<&7꿟! QQ\8`[ä79|e;[^cň.vN[4bY %ףDg]`BrKcvyl{pOVE+tL!Z$b?꯳S e7@'87HPѨI/gPl~0&3*@JcL[EI\\1b.*a pS\X(_$ߒ8@TޓKsZkdU3/F] L^gYZa3f8aece6a8339f11082f504081ee90f254e463c0dc0541b39a07c11e5774461d9bd9c4bf977ffc8 70801ef29d848aa8eb383514e684c8076c0da75a a00db45f922c076f84c700721fff4242e157db35 9474c800230505bbe6b4f1d92cad99819f4bdb3b e3deeb94af35788086634df4a15cb8079d8a5030 6540487da404e08dbc3f4b9e694b3cfe0c9be24f 11737de5d01fe69434f6a51eae2bb71375e28aa8 73bb2e59010a92b13f56b48175431f1b1bd33340 1 Knuth_Morris_Pratt