SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  έhz+>뤡,[>u:^Hqڦ>YuM,d="U]#o.8EћFe:0.Og5S9ic3꒫}Q懄:Tؓ68C-3|mVT&sKMD$,5V{np'Y' K}-;fY$@LE:D粘 R7ћsc ]5:L3zy'#%B>c쫶kTZ8a6ŅIޘA/9H).) aαgYZ7zXZִF! g]ŗXi%BoQW~k@EdY^*LYE,٤GORdJ`şC I4jsZOE1l \y^(!BE#mP>iS6m;V49tqq{gxr\+?ɘ">\bZm`#9 LetǥM֤eLARN"5|KRHnK?u>g/e0>kNm!(| 4\g|ǰ}KCTKEֈY)R^. EK`}\BD?Ŭ<l 7kxYA9U0F3TEr\"vO2rt KH=;q2U5Pĵ,a#ɒJh F3P5!g}u\zuB!Z06 dNm