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 BB; l4 ]/]HOLCF:threads=6elapsed=12.626cpu=40.772gc=2.900factor=3.237zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0&u4 LnK` 8<O`{zb:OH dfOӑ^JlUim/X> m0j6ESqH\+gTK[ζ͌8Juq*PٿC h e͛ KϤ9 k~ ; Ś:Lw4]a'}i .ڀT;+O}fP$v֖.yŤxR~`z^yq|;Ąe`K=`5NU;ښOYU}QSW6wbzbv}H䆀?xN4SṭFGs%!{&gYZ7zXZִF! T]ŗXiɟ>Ӈɇ9S2]k/Su4y5rITJ>WYEF[̵L] |x3ȨBr[vV; `;iꂱꗾQ1%ߍ: c9Vudq5f\®{: ϔq_=ixDECBT]al{w'!16tb0a kufU'#sfS]6ύq34x#ŭ= bO~U Nي3 9@&_C8HהWYyڮveaVuusZopE(9"@ Ru%/:qjc$&2Oyಉ;I 1T3|knu)P.b:tyZ"A 0dC q'+fgA"P\QhsȽJ/ͽS6f dziQ"pw؊Pn&Qu:>py_L8O ̈́λGH<{#/K_=~+@t@fWgYZ7zXZִF! H]ŗXi%GA!57gWq,wOm-.%{gfz@$*yk!-Γg@fTg[IA4XsAx.hx`ЪY5=vbxArf:zz&Ih9*8m]J+KtɧTVq9E6 REr#~Y$޺eԐ;\!{7 ]8rm  a6[n@њF;G~Z+4gi})WІ*L Лm㰁b%M-9erRʋ_c^T߻؞) ioe,idZJy#~74،It 3؅n8q䌚hkI_hwE R Ȼ}XLGm?=vPW"!~m3홖J^9pկd8$!sMhWy-`{XYq;YrϚzJlaBW`ڑCaGÜiPe (?b +N$[9:XH~jkv~v /Dx4C;f<)S4Pʃ7_ͳ=gT"@Ya'b&uⷖ8\'@/G_RU+B> *1[ v\Yֹ8dg9UdeIEXA_Sn=üs/,G jT\rL[NXqH+ږ'%݆cbw 2lHhaꢎpIw}M{oS= YhǭQB6a^\ !O2#j{;O Y1 ì{|fޗNy`h R;l4QČ dJQ!H #MLJ'~ꝷսo4MhMs$jYAոv XQx|  rk4H^x O-q8N3L7)ζ| AD|Mq%U;f:۩]Jsec?$~!+ѩg1V'+F`h^YL-6 `=D#E XB$8[{[!RVJ MKP~@j+3_I-I>@S7~CRc{l0[)-a|}E&U<^n>}oBՕC0-Xz](pґjU}.ΡEkar)zumt?HttR-Z>HVȁdxEi]i^ 2\\. S wfodsisޡg |_&fk.JFM\S3YWktyѠ.RZ_%񤁖P``X\ϊ UjgYZ9202b3116c4e017d541ce381a5077be6711cc725166ea06b876a32a5026b5eda3d8717e2fd0b6b7f e24edf66808fa5f9ae0919ac709ff4821f2d16b507f055925211d69fc1489976947ca1cc1740eadb  HOLCF