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  ~5 d ] Lower_Semicontinuous:threads=2elapsed=6.815cpu=11.516gc=0.280factor=1.697zXZִF! ]ŗXf1-/6vRZ;tZ6B%UbmVҼP&D-,@xVWti,_&ESC?Nu,6 rD(GtejL9w;|l t_}6оضvocB1U=aRnEͼMqggYZ7zXZִF! ]K]ŗXiɟ$imC?Rvqb(C-huv=bzc Xy3g^4}YZ7zXZִF! 1?D]ŗXi%ήu ަ->r4.JI.AUس";j$++l:\o$ߵuS[pp?O`2I )BCmϠ?;ϒ{Ӹ6gs酰_4tYIM{d}%7;O62ͺZ$B\z Sh~*k 8I$ugҪ FL/jMsS+wB=/m b񋽛cǫW4Z/$e 󿔎'}>Ϗ InwU`fYm`Քj#!}$Sn+ xÍO|6#VX8h:D1NKNyNXN$!/r]vo- x ]{{[79?҈DIjuD?^_nvr]nG;9oU瓥yXi t{8V>cjk1&9% (;C3󫇩@qդ5&Rj aO|f8k01eЙ_\CVX%@5S/~jW3pa-evтiwsg迣huϹ);=A9>#kƟ>bvr8qByztY"] $:HQG*;M4c2rC]O {p(KS Y&CZ?+]Z" 9e#\w0|fU|_aû-VohrH3@jN|X&sbOggYZd4995faed15112132c62fb3fa4a785aa0273e50f00b13affeca8329065e523557b07861f9da96370 de656be5c82664d2d06f9d4f4c7a9247323f4c02 eefe7c01ab52c92b7bbac338585a874cb7fe1fe6 5 Lower_Semicontinuous