SQLite format 3@ . BBh77otableisabelle_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 QQ,' <\ ]]HOLCF-Library:threads=2elapsed=13.834cpu=25.464gc=1.044factor=1.847zXZִF! ]ŗXf1-q恈͐7ӺV -O\9 a>)nkszf q`%h/ɰ=5&{a/WS. "!~2P,)Au\P`أUs䯺=mmCzf? Ap8ǤD9 M]6B)SyWG5|ۯJSvzcl'.(,{nX=l/1LNXcGϸ. "bgMb ކ"Kϧ]6ot^L0gEl*a;[2i>#9/*r~=RDkr•k4U+A C0H#/ ("m*ehb]Ab *}9scAy@x'FoW6͎6W 0%P,]A# FeTڹȳ઻E>J੉mX;EY^ʹA>DY %|yZ6=ӱgYZ7zXZִF! 8h]ŗXiɟ>ӇuMwd\ͦl!Z{gLeS0;oAXKCW4nM1kwv5lE4z& #[ܘׯ@ -w7ij^,Գc{R`b ;U!P?SOJFtA}?#qVG$ 5a,X7’̣QۆC8$v;?'eb/2r U14sQf1Jf20%/ {* <ă[gA dýXZ/)u,3[shխ+hȽh*f /aZ%@yp?y~?뼓ݔ6Oq,Pn;c]YF@y%RN~xGB(o;~3^m Đ'^E@mcp&nHP(.q:$2iU,:u ~ϻ)Ubd%K}30M5f_>3^xB[;Uޚ;kz p=4KGxvo hMLXۙuRPR)SgJlixCLC%>Kd,5G e4XobUb.s+0G7aa*p!`<sퟪA?m65LzZ68{98"{@R&ORc)` N'˲4}߫a*Ơ,RL/ӛ$'8ՠޝC+ ݿq2x7\ 26+j.Qv-Tc\;էzbGt2Lkù"\zy(RL؀Ӧ& x+}J\q8(iS_QQ}_bZ@Ԫ qOZFIO6D:tF00~gYZ7d7e06b41a1a37f87936eaf2a61a1274b9fcf1e2b6a06941c7f4d32a9ff0b780ae34fa263f209f1f 17c087a835d148ead0faf3b05e4801803be6efde e7487039f362c8706b20da1ff0ba6f1fd3bbaee63afae7f6c254d9ddf1d56fd5ced68cd9da3962ff ' HOLCF-Library