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 FF7 ,<< ]/]HOLCF:threads=6elapsed=12.954cpu=40.696gc=2.420factor=3.147zXZִF! F]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVKh^̐n>V%`&/bUc'KsRKyj1JO$+vAQg{XpN:mxu54,#ʹuB^#ڠu(7]H.ޛ蹓 KqzΚMKSՆ x ;bgNƳ'6'tGe^9gGX7h`_m%]u̚$='uΚmA.HIAjNI^jpJ]S: ;zy[Kx:$EdǎQ GfXEiR@F^l25. "59LZH=::1B/u@ XVRYS7f2ܗqOt^J6 "~v8[+=%!͟9"pA4wpҹ~uLy~1ztηi(aY`dXp`m.׏yZGSuFݞx8Ida*aEi Ԉ! x&FSSP0CM7X=BR}O;4WLaf}Aæ`zs[c/S*vV~73yޒ6h$a`3Ert+"\㘖0llǸlވ&,gYZ7zXZִF! U]ŗXiɟ>Ӈɇ9S2]k5UOi gy|oD(41|st*x.D-@)~ .A7%ƿk.#&%yH>&9qi$|Q1 =NsO&~W)mJwEa՛tiO|kԸ##*bVF#' gB xaB, dV)RwygލZM&WY/T M)>u]X0> Qҋ\@ 8&|B0Km fjY~7Ӄ$4}[=fH'F=j#iiὼuc\oP62e2fk9%Rq\muA$oW\L50ԙޙN3>&Ò $eԺX%,~ݪLgkOhCqbNdJb b"b- b Kh3lY>>[Xր\e=cվm=תm1| Qq]pȎ4uzG-:gYZ7zXZִF! >]ŗXi%>} /?{X7jk;YeSj.GNj)$8U9% GjUh%BGKuWQv#mgsJԴvZ { wOO$ҝ 7]Ln^X[R6tv؅r%ؗ0<}tVE{jT1 ؐo蹍u`BQ4| *;+֩O Ft䛳Xܻkm4D;QJ5I{܋J,V mԫ#. #B8 ^~x6W~5TH }3Kw-BɊ߯26x.@IZEr%qĢ;tdĠx*GI,K`4Z)So5;t9D / b@n,׭o^#8ъDjEL.C]5S֯r ?iڞdjxNžadL8>UL0Q5MݽTUCw'"[c ꃇ9h0kb޶D51b!.K`_VKgXL)Ck77-5w~Ie;FMPr˯I)H a`Z8UMu|4yJlf4moMtZ_̠qm06&C !( xL hc[^єݢ$tRL(OHhi'K2J >.}/Їl,1GYv0Ѽhq0U ,|]&>S3Rm/W1m3m>0ŤIQG;D =oo{hƞmT3Dȫ%0D : (g #50\7 zpYk0J}Cb}k x/ȗ`?ƙFg,¸wpVjOps.8vq3XU}wk4$ͦ]:yjD?2(Uz8DVQL4I19s` HRڹ!|/Rg;rsE-uoj U3*neD;JDuޱLYA-A{o=߻̢jl }ƭgYZ9b8d3be94394b8107ea6a709848cc46296f4a771119ecd3e4617a6498736c052214d7e7adff34d7d 0a58e77107b6447412309e7161b33a2201d96314a056388b090afb5161289275a7125abf237c4644  HOLCF