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 _ DTT ] HOLCF-IMP:threads=4elapsed=5.456cpu=11.896gc=0.292factor=2.187zXZִF! []ŗXf1-q恈N|5` 6Hc( zE"Z<ϰJHSo?6qg]UӻRYN)PYnS"uKGa^1niAAtf_kdwM˂)PZ~0^F>=ȏ- +-Eb-f=E1u>cga7+_]NN7.e{ 8Xgq Jj`LGw9mF}E]ZG,} i#גæ'afJu3P>;6cKðt@]ы;WR2sdc$(,Z 0AgYZ7zXZִF! ]ŗXiɟ1,plnQBmjsyα H~\.ňRܕ5Eq$4Ƀ1B26nb0\-L0j!);T{!=yRX /OJy=J%ݚF˔ogYZ7zXZִF! 1"]ŗXi%H7ѫf6І'ܼs2݌NcG$HOT͹\U9pق3Pee麊oD-ZT{Y?d>̋q#U@ZPk( W;|ϼ:SZ'%).suH}VV6t6qa'C3dcD(ѯǚ òa/pp-kHW6]YՃI/-@mxvKbw3C_' r-%OEx~)ރ>Ƿx2TV4֍'ؒ4xy{L^* uF(F:4Pư^%!T+l4Q=e+_^^Z3P8!"*ľSh8ZGQ‚)q#q6*$X}(rc2NDK޹i c{Sv#YLQ]b.#%X޵m5 ۟O4tS\8gIP 8HN=S;CTSkn`3}U#ŷ23V[SDLnRUvE%aNm@ lK5  lRe;Ev[(Boܭ9,w:!脸U7HtWP~>> 7Y/1v=A&8kV Er̜h,%>y,%K]p8~.hHqX-fSKE%E'ނ]YݤFC)ms$].* DWxi]7jt~xz $)ОQcUgYZ636ff2f2cd89bef94dac6e9cfdaa8d3106a2533ca3a1775be1ea4baf5315ad6630d6c2542be8f5bb f26beeb3a1bfbe3c017ec6ebba6c47c11fc1158e d31e6c78d310ac04e625ad6cce8d119862d23c6d   HOLCF-IMP