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 _ $D ]/]HOLCF:threads=6elapsed=11.603cpu=37.020gc=1.944factor=3.197zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0# ۭIgPasc&$8l3E?Ÿ-)Qua.zR385Ϋ_ k9Ҟ&* p}Ɋ7A&T/V'&&XEuLP(]ZSy(&<l Ģᯊpl_ӆ$\%_%/Z Z?};ӄ(T/U<X b% AЮy>>_^ЌR% "A ߬wΫxRsPC(U41j_f΍8u.c?l#<#נE<7"ˑlZ-- _ C d׋y\xծIO:f FZ__"g|Ӈɇ9S2]X$3TB\w=ηhЭ f^~T#sJ&U lDB^ej;L <(NKu4z# !O涊QWמ'0 kM1i)- Gp_PNq`BH.Kâ]&<3M=r:##WT O\ϪaKJ5BT_UtWĥPkac7濾L;HO}`RK̬qKT ^@|a6Wd>MRd› OA4G{B+Y;@8tEw_e&^d7vs^ 2G%X1kj6Y0KF]z*d{i~h;7|| bZJlǛ hkӋeV-  հ)!+~E>VN4ՑBXjx*0~mcYW}x9hw\b[_0v% rN#eHPȽ̨B|9"IgYZ7zXZִF! C$]ŗXi%!Oz'8lH_c1!EAlq4S+?ey_EeTOfY]ͪLI! t!b<``"@;)Ӽ6f@~1w$pyQ2.M6L =7gϳ 5iꓼR!ʕetU i_NGW% FH#y5GKk̈c }b@bp-Sb-mREvrai¼R|;~rC k~nRw$282')901QZ;kB"  ,:3v,e=種櫏8nU ߒ\;b/@;α3/ ?lcy3`ae˰n&%JBy">LW+{6aqˉAhcOM,h v+Y]Q:l{豒@KvO3$Qp㕉L+%}G ) 1XQt{(-"![*^2Be2@aGIg 2uR Tiw"}+,ѻ櫂̤j{#}KhbKUY'>|>^U%*8")(O:{8ݲ/a7001sM[ג2I*!>j#K!<&4,@7 L@dY['kQ߉<>@q; ͻ+;?vypཱٴy(ЫP*;[B)oCBzL&&G:SB3 @Fٽ_^0&4Xƃ7oóf[j͞gTAuV(ꫯAv ZUN&7D/RuMA6ʮ?9:;䯶EBȅ}99yutXjΩHʾjg~g'NsPi=90M1(NXɱ+&.26?#8{v  )--l5 MH'^Ʃr在ĐVa!m"/?ڧ,A珆 HEOAk ru=h&*m{M4F7(XN<:ˆn݀;JrJZf\eq`cltSocI/I%N=hȵ˷|[  3W脘 ~DҬI:j NvjseӮ w QkݫHofG@QNTH/:a)vNdj mk  {LSIQ*u 85dp}?esxFnL4" gYZ62146740c5b040e5fc1f190eafac90c858ae87a92922a9760d947cb0cc8b078564aaf1bd2d436941 dae8aaf71c6c8be05abd6464d3201dcaafc6027620c94ee66d7f721688d40454c944be00e262e7b6  HOLCF