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 o |DT ]/]HOLCF:threads=6elapsed=12.493cpu=39.040gc=2.352factor=3.137zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>VV!9/\W皚Pco잶r!EQ튘)p t;QZ7S]Ѐx脈[zVq}_x!5H>yӑDH*r0 <|s{Zt$|IFN6~E~^d#eVOJi%\IxN?Ue*O zkxe?My4r~=BIMX^O9+v|T2/_j``BGwlEs@F{c+bhn=r"̣0'YrrQtNU|s }O<90cʅht2b3oGĪ]ox,߇5BoT z].'o?5=pjE[sdbjXbBf z+s-CSL OHN8˘W.ƀt5P*@eCE>^-N*vljmȢ%cgYZ7zXZִF! Z]ŗXiɟ>Ӈɇ9S2]k? [O Aqdy R$N@%Ru^lI$FMV OiO6;8E{óFVaʁzsU#F TNBP~ rnqCzB;k͊<U[x*cдm JHOk>v䭪D"z_DV}X b3A8\Y^v. 8CK@>q }XOE ,wRmyQXvN6x[ Va:g2 :bd.`WxǦhH/)o>u2"D5àg.|-%3 kuJK` 522||'K;*V@hW(GUJ+9/%Y\Mu|lA;+g8c#mw|TW `d7şjSƠfHE7kD蒔z_s1~i=ʯ>Y!9I:ϛ"\棖(c[=Au:zEutb,u~<-']I?gYZ7zXZִF! <a]ŗXi%>r͙DC:E%eHR4x$lblAVs]8b!H!_uҔaL9 I?02Dm*~y#ѵȌP�0DA{'e,; aǧq;0IDjh1'Jm٘V%3hoW n''rKu3k~r~iۻҟ$6ZRwhAHCpcՋ 2,[q~o0wHIPD6\nˍ"NILx9֜1A'_(:0ek [\<$ fKIzxM|T(e$8>[ ~(?qJ$V|Cp8WrŴRD{z3 mh1%Iz< A2xgk:F}3C"(7ێ-n]%bT"; zr@F)G>gyDAci1mddĆM$Dl *J+h TKfz){ M_g3`[f"?їb‡G#hԱ&Zk+óSIYpE^f=DJwzww@Uˁ>Ut>4D~Us5wkkX,_6Eaov=Vimh])-&۸8 *ta2)~ўv?…1Q=U9+f2?e~76M~ilWVx| l!\Nƀfd6Ըe*r|ZiqJ!1}gax-8 ./KŘb0FQ'Jw0kfڐ~a~T:ek\aj%6E]݃,cUi84#gJm"K#K4NcXb(eV K)-m.x z/1yoM#1(t mqM\ JX֏pkhђ\c_'IK}Š?svYO&X"h[6l'BE y!gYZ520fa05ef84e95871dc4db419ea36fad8d61b8b38e746ae3b5d24dcf537ea0091b8c9f94dd892450 96940058ca3bea5d50ecb9123c65c348b05041483a400e1b74c002add0a0ec603ee71f5defc3c23d  HOLCF