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 # l )q3a?O؅)NBS#b*PU-;cs _7HŃ]+yht:>]{o@eIY}?"t*\KD %,_/R nu`-P1>H>"d'tfב VHC4\RPZAkq.7OM ]@!YrMYq-FD141^WB= ToAC懁bQ;iU-<` 8 RgY y jDb[`7{m?9r ÕYF כliErdh i%1{[Z΍_Y H򲰵Ϟ!i 0K^ztN䗝&AYmYBdQXzegCAn o ʽS)04)r!p#3dx R9KY \߂hR^5#*WznLL1W !@0ז<5\C O +<v bӦEpC`V5oMSh@ӟ}s;8= B