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  f fBQP8IX_BujgYZ7zXZִF! ]ŗXiɟHR,~3OTR2϶+`_.4v䤸g ҈B"?E>ňfsg7ZA8q1x]tn&z^@+ tFI=ԳU¤b)`M4=9<zP\fkF|@E*} p%- &9&gp:G:Ϭ %1X?kw4G"}O$gYZ7zXZִF! 5q]ŗXi%B:`R 0|jE,+lmgۑ}$I8˰.cKAOQokR${Ro@RN`>ʭsϲ H~R^(SOf2_};U-07/i&^Fn*Iz `u3({T 7 cږ=s R}e%оy`ʅ]-#MYFv. Ə%}RF| Qk7c׭ ]2snOM{')ty(18tqɵzON` `(ωXuM6J x ś8=6w:}\/CFLUpnIDf7SbLo;-[;o<*"<XU+Ɋ^_C2¾6*l#ըWKU+U/y?N:\T,H;/y52~*_М샑hi 6x?D-f5dĪo7{J >ߟiAc?&wBgYZ4b6f4a1e09e643e36637447c31069654c989d55413f786b8f4762c1203e3da5c15d634b6876ecf36 f2e546bc0acc4f6d04efa471ac9ea102528f8836   FOLP-ex