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 **S D,l ]/]HOLCF:threads=6elapsed=12.704cpu=40.856gc=2.800factor=3.227zXZִF! 1]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0&u4 LnK` 8<O`{zb:OH dfOӑ^7\arˇf w;*`o38^T]Zvڷn$SgWb3ƫvn`GwǜDՏ|aFp}Bԍ%Bh+cZ0*G9t"Y4&C:)fVX.)͕B>:@@ fOrwH OӹL:b9Dtzfy4s虚&,[ya }h[L{gʭH*]|d o/wq, 6`غj:UUp4ys#A{UӮ!m@]WF"9n~ǂL,OMd>}LD/G28a;xoIscTN/pIIf| j$ 8+jvAX$ pgYZ7zXZִF! N]ŗXiɟ>Ӈɇ9S2]fq]E4lE E[9E|?<'Zغl~"oϾ2[/ޣ,VILg0@ZY;.[Ÿ/?,c:x5o;e [{kg{(W6zOA;I^ɶljJΒoϠAN|=FSpO%GruwBϴ| (v8r(1 S9}?[.#Fͫ cU|>l @և&IfZ3眨*oaz,Zуfmn%zoUX4` f+E |@rv&seoQ UȊ)rް[bp}WW9/2γEfEg|F]ϽXWǖq"əq%T=Sщ#/G/=LlČh4Z z$N[]D8 o, h{a\ ɼ)_ 0Fu`;c|6g+=2pa%s@\HF',uip|H;-y^+ &5F&~:V_U82ڭa5 4 Q{G]D 0B+ ,w?QN'[謨ʢ':tELq7oh!7WOu3Ђy5JcU6sVk m,~(yU 6nZ*'`[e#)'{"vbb\xP:HBfUˡ}aU4aRPHJhy%XH'4"cZI)jeb? O7zBOM}ޖȰ,t6!7kcZ0Pm _&wa~Itrp'g Ʋ<:(rG l9pD{{!)JJ"ɨ\nڃ T,ܒ:"jiy KNsT[-Ly@;y ~q9Mʣ[%ٚ|uh8Lr&uJ}l]:qo_jFJԢ%(ڟx?4aa1$F4łq?nrxO1K`j>WU%J7gFY1+Ny ~=%, 9"~u1Uv'O]*_0#}J'lj___nulaUISTLl]aWOd;x)0[N3dCCNΞOp!jJmKl7)?mW+no."䍢G]3{;w mo-%$&}zIʩK.΂Q^p 1&WAey-! ?D L͖gYZ75d1260646a02b8234686b0a2b411bf4c7ae2f4b6c8e13744f5674a7b5f427d5bc2c896df0f96141 905391c16947b268265525cd86d750411a1185b69af2336b531f3ddbd0d326e58815066fe543af44  HOLCF