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 ff 4$ ]/]HOLCF:threads=6elapsed=12.781cpu=41.164gc=2.952factor=3.227zXZִF! 7~]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0r}G$~VrV$a Twύ2}qrF`3%ɪҶ-k) Gc(i‘sRg nP* "Dh)u[z ,>Bo 5-dk-V4<3uf6GBP_ 0s!\c).q} [_q~ "8__5~T8sW*eoNa`+ }ǘE1u(w8CǔAW?UW.+ONQ8b+f4E&ZN8qߺ݅(:PIK+[wRzgYZ7zXZִF! R]ŗXiɟ>Ӈɇ9S2]h'&BQWMD \zlj|D_G >˛jiXdfbeёzm%+P84 > [肉zb9f=X*lhIp4kCezOZI/٪GCaVAB* r@5ڃ'^g/ lj'#%rzDI1џA[b/rWYpTE&ꍷבdcx#4A!npnuMt%#*6@&P+K^ޭgYpgA!g͋ F{[ Y!DB#4rdR5ʸ EoǫT^F.2)bk-8g%*ib"R4nuD嵔>um&`mNkFR|CN[u>ބg)sNR!D)ˀAׯubH'X(_d>D)uLLi練נ EG+9=61%8 B@1׀zow ^>N{PWjUcsngYZ7zXZִF! H ]ŗXi%GtpZT%}=%ʺkڄ3iv~67i!Őn0ApasX~->DMA JU"G(볕ؾwƚSbd>]bq۔%C7̌<2TLy)d-e"ZOR=$A*TB6TD[M$c~rMޝȦMdKS!VܱЇ'ETg]kfK=MU/\(Z nm{Ztv0Z R= xZ $ɋ Y\9UT$a4/ Yٟ{jVvr>v|pQK}"04F Ny[s59(l]TɡG&Y_EX(BO*JBGfImN1%В5tytYcݚ_s|v%">f*?@^CMƛ3RjY-qh.: Q :rb=<'9 -`- d}׌2͖>R| >7Z@W{r/G㍎&pÝ<`ׇjV PLSxS>.sY&-2ڳ`>xwu8 /Q69}ئgDbjYJʯ+[ :Nr+&Z5PNpLxnnCsqD^2;a vgɀ W="[ i*G@{")- j14O>P]C`''Ʀjaój_i{3}3;^@hՁI @{6N3߰4\zǐ ~EE:#,8qD_2~nCjV|FKylK<ܯ ߙh~7ڇA\WX ZWK҉;9$Cٓ[eGpMn+ԯŭ=00& /鹭hʠΜѤu=v+.w LSU6XB2yV0K}|"9 3TRBE!1JSeTcpːzN^L(kWDzN( \~bƗ$%ǜf;ňKڶu7v͢Dlg#"CnGtƒ]徯7QF8 ',~@&^m3aP]:Sw~fϵOa'k dH^b?|}*p J~ /$Dn>jUX*𪜨Kl1P .`RXaT,1590(#8)9Wgpv`Ѓy ϴ0 Yz&MཽҾ^ߝP| dOC;+qo9Q"wę 1s4I Z0>yE ȑ@ӟgYZ60d6703cdee66f35eb92b58ffe2c6ca7b12819483d9723b0e32f4dd4ca515d1d9986e3bdc7a8d762 6a991311a17f5f09eb6bc9927a7c8d56ec4ee3bf5050dfd08230de87ecc2307fb0a4657e93f7097b  HOLCF