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 pp ' .b1lO`SHՐʠM1Nʚ.ō~$ARYXkYqPab i4%-(6fz^8ڈW?0`4(!Cohf0tI0}TbW~=Rӵw90,=P˱ӈx|,"RJT3RNǗdG#fOd3{LǨOTPTrWc?wJz3 V/:Vb iIn[+ /݄"m$9S]^8<5î`Q-~oQPC*ԊwʷOlCtG\Т&wY`峇 r*): U/mJj5DJ@Pg H\^PZVyL4DO)b8%ýQ?|o?8 ꁽ#P;z'PFta#'b84[w 4I$Y_Dl1Z E.0nm?<Etlcoֺ-C~G݋ ZZ+q>׿l)JPlw,w5DYTczS9Ro*Hȿ /!2+֥`^$V%s*⧸sL?|駤T܀I%_A1v^Ě{\AnSls0B:FKt_Fr46X;wtFb9 SG`j/F*2f`/ :eVJ7.>& ̽xuqȒD{uNnH o/OQV"\Ulsr'rsb/aB]<8FOJ¹"wVs!$ryB)]!\Uy+MyVƑ+xiXDMu\+ <'r=]HTVC[LkU2Q_ u!<{[0fdbn[-!eV`B^$}> ]l`E̔]ƽe͹L.SW^?nuz%Ɣ{Xʔ"3h' Yheg%{j[φE.#MA~yH༗S)$ўΒ4KsU.-} pHi7j<\<)&-+: