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  + +R! LL ]/ HOL-Import:threads=2elapsed=0.938cpu=1.684gc=0.000factor=1.807zXZִF!  ~]ŗXf1-q恈1&J. nkr_Gh:'Ō#㊞ȶgAZ>TB8 +K%Or^gYZ7zXZִF! ^]ŗXiɟ1nvGx3>U%BHlʧ?4O g >sfUH9j! n !xzzJgYZ7zXZִF! _]ŗXi%96B夆sudfi!A0Y ,-9B>b̍k\@kUҼ"k_hdĨ V~-=1qZmB]ϛcZ_6'\٫*(4'))Bup̘"dDOMzn Pw Des"b1r߀'-tuPVWDJV2(Cnr ڡ#M6v;%{Z#4g9C5'vkb*@U*CR!5=DAV 1ayPu ދi^N\, 6p? ggYZcf7d42c3bf62e4326f840c12d95f9bc993e1e85431bf4bac648c51f49408130bf9489829be3fa993 35508bc2877195b4acaa6a24645b77282ba20bd1  ! HOL-Import