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 DG fLfIp+/gD@>tjdGGzv^0L}YZ7zXZִF! @]ŗXi%9*]p +=V~czQ'+%w\0.P#hFy>V>T  䂴#0Pu'uVnSP K8 Oe@ou`m[;8M73؈y$E$|ٚ="&tPÄYa7X( M-svOLsV.K_6p~3cE{F=o6Of -2 LከZ|=c] 4|Rr;20ᱲ;ah5 ˈ,y%?j6دL~(uO,\z (@ Ю;*5ncGy\bζN(0]OUWoY\bFo'.NF{kМ#tObgԿrfdUٸ0蔏<ϧɋM_|c5~}{%S@ nhOWEFרл]W@Oq7Z"G ]&~CMpDOs!&"]f\"GfmEyQJ# )D;Tm@b Ɏlnj̥n}9N ;5ibKl# b2mhB-u/ߖ@!Ƭz˥l4ywę7%Bhy'5a-2Y.R(