SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 l' \L ]]HOLCF-Library:threads=2elapsed=16.141cpu=29.048gc=1.188factor=1.807zXZִF! 9]ŗXf1-q恈͐7ӺV -O\9 a>)nkszf q`%h/ɰ=5&՜!eM3oftbZAInRK餱C#tI{D-K>Iyu>G&"+%{Oq:6u5QRA໳E /m؃;:`dRPbS뀏c_97_Sڀb:R] R(He3(Iq^n,Iw1DZܱgYZ7zXZִF! 8h]ŗXiɟ>ӇuMwd\ͦl!Z{gLeS09da=y.3oyH~f]aT7菺m Hӫv,S߀uyٯ[7|Z$3B_-X(i2bS<F)pQYVdlgz>.`!hxeoogq?c EE٣,5Y^g*2 O0};'.-qD;scܾsB!3_d4` !M#'onnx$b\s:4(cP\(ݤf*O[^(yǸ{b̤De kwzM|5s |9lgYZ7zXZִF! M9]ŗXi%>ggTct@B3 ލSrRNf8F  ~|,$3f6kvo.V1p bҲ۸''\DۖPrWW׹K[IVefht$;TM}A;E&fʲ|WPރXUg~ݤ,PRNMPLް\}½&by 20oOGG`=M' Hv{`!Gb ]~֣iP~u]Vc ܒ#MH[ZudÂnFLMڿi&長bOp7hS]Lxh'^KPh\/8#;jQ*6k#IWfd,]x2^YuU%,]HyrdWPSv h'V!k<1Fd* d4{™o%bE ewTyq4I86k-iAׇ 5Sg/VTڏW,Îk YTUsW~<Ǟ,\A<3h%LGRg ʒ0F /tЁ?ktzfOn v}oCY( tZvPoSaSYnH}*CP&-BF6ARx3N=Vzј(Yج^X;w-;) `z_0C/;w SsJD.RV転E2Z؝єPÿ*$(x33CzS%sÀ?&1s&ʑRq/ZOA0CfCvYű$[d,u|}*ILC{~o51+//4={QmGl&ƇÛk?v|mM9t]_|F[E,ѳGԈnǴ^Ҽ0@q \ggYZec35cdc380732bfd7a7f6a01f3edff42a907474919126f922e3aa9c20f5a31237f68a37a6d2cdfb1 078fec9a335ed8e63b0d7f40d8edca7f752c4fb3 29d3e46a1973264bec2032296f0bd4923216750c9ee596abab8c3f7ce9f0ba1fbbac338d81493d21 ' HOLCF-Library