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 ^^' ddL ]]HOLCF-Library:threads=4elapsed=9.806cpu=34.372gc=0.852factor=3.517zXZִF! i]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFԒG|&Bc5ݐljpVwPC%b"[zjL(X1|sώF>#>st_Tj vl:y+4sVѮRVs9Q'M`tZqĮDIz^~3f0t8O">~[LO%z̴=ב LV!'ۻZxz10 jHj(njCpu6 ɪ#I͵x2m]*j$o~Ri}\Ň܈E'HS* Э{쬝0R1kL'&N{qjB30к!\f?# s܋gp 9P4X"GdNxRP`IosS!␖ia0KrY]i`j8Ke8ة[,]0u;O`C.s85S'هn41YEΣdk3Q[ԮG!mG4bMT׻6=G>Zѷ/? cS1Lyۿ .,,ڡ{Ŷh܎Ps(]O`!ȴGgYZ7zXZִF! 9k]ŗXiɟ>ӇuMwdCώ ೇO<2s Bf|r+:^S`uZ j2щ [J L=* x_d=n, Wyԕ:o;ƣ!% b$jP=#ͼSU*)Z U_Q9+ AqXaD$#mziJgi`N]8cD1G&QqI 꿲}Uȏ-hz¢2+S{ef:p!4TRZ BE  EgYZ7zXZִF! 7]ŗXi%B)E\kYlJ˘Y -yU$)NU\vaÕ4.Cqafpr-쭴˘Y yy(;6eŌTs`LHw4#&M}}Iɍbm1SjRTS}M@6QbX H<=CrxF2E P9`$~{I8@H˥Jmєw%a''e\b:Q96ٜNJ,_wsM0On#X LYj^Jx))YΰIcĔ"Ci-Ue> hۆ w Q v "\ql?7s/3j[m}(J1 qctxC"EgzbgU\"|ـJ/`*֭ 0jCNRC.o l;L:;w%!YTe/2<ġhsm!z‡RɝU'j9l+HQcm0IcQIncB2,tvǣ@W{,ahB]aAJt^0i z 1x2+s?ER ~1'w Rm;~̎~a ~% sT^׀p |χgtE:PP)BCU(94(͜In3L15'Dx;¯ %b=#;6(YE UQ)z~R>i18[,ӲBu|'Q%@z;_䙀!KRp;bS[#vNԢ`;?6@ۀ~H>j yY%s[ i| l|5{^m]<. q-dSl˫u0RUYQc~~fB6Te"Cp-+Co/)~`ij&ySKX\Ki0^R,>;{DnW*Y[lzyYYiǶ绶z+\',!&i@q?vO̘OUVLi_͎w*lEnŠ4e?ϳU@@?/=?PbvAK.bn^[p%|PEKȓ)‹ĕ؈}Ek=W oggYZc60b2f9b33cee662baa731891d22cd2adf9eb02a76b019a50eeda51c4b74870607c55fbf00aca327 a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1 ab343e3c85422366ae7fca07d3711e53569f94a1370fef80b3b2b5405e7d7107d183db20860c9e70 ' HOLCF-Library