SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 ,'  O]HOLCF-Library:threads=2elapsed=15.785cpu=29.212gc=1.016factor=1.857zXZִF! 5G]ŗXf1-q恈͐7ӺV 4{ŴH}UCkAFm}ד!'_;,csP8B=&T%!-IB3W 9w9aYchz;}tr[28\;ܬd_[,@^&,aU#9y W}H [t.tqAwMJl|5+3Ǽ2ew[[RVMۜIʋ WD3 BdoqVR6W0\HkܹZ?-6KnO$aZ/`P?mTj~7 -c4HnU=H;CEF5+x>;gDi}FaMnHQ (Z?2UXcM؄FGѮJ]SY,=Ao(ШC{ 51^b p3*LyD->#zz^(=uycP gYZ7zXZִF! H]ŗXi%6U aĵ)"=ق=]UnBZA`0D Ĥ+ӝ%IGRE7Gp'tB#N:/dFYq; o2%7:Qu:/1UӞ6 e v8qT''^>Pnp2aDX=EoлaO9"PUm/n~,ಬă ~ 3MTp/cbiߴh$-}W%K(VjP`& ~zPx$uf?/HTtɷqVS7fD38Jgsy<7Lԡ-k\ OWw^M*8Ld‡#.BZW$GB23֩x<^{"maHjr8lIJyC@${c`iGYAPQ'Ͷ.0svٓ..q 4#IʨOZوQ ȤG 5S< v/ ?e Q;FEӆ`vhF+|EAlpudc~s݌kR ui" z/N`s1YOF7cj8࠼S,'?/9踯:R6ST@\5j`3_+ UȤK/]K#ݯ>IP$O*@&\zUƸU_,+O9bpQt$2@ KJf!@s]y 4u0}5>:x?{MDrS$Wj~08z穘H~D1i*4x(5ড䬢@ wX yn%lݠ!5*7C8[) |# 2!$uA {'ȡQ3 YgYZ11cf04dbc4e453a1d7b6eeabedbc93d7a114229f 26f9f8d98728686a072e94f3597fedc44d57fe6f 42949db6ca1e816bbd53202dcffa7c9052e84a7a 603daa2ce7c00f846f9df310230d109e1be4163d 61d06369eccb52a4259b413e79abc18a1fe9a627 62efc8c92194064df890c6d90401fa344e8ab14d 7d36273a2e584d94d3160c8724cc6dee071b4ae7 852c4b663a8d439dbafab771fff6222b134f0cbe 861b5b0630fc19dfc3f05345c4c7df6022f02538 a9b4bb4f25cdebd3a414662083538a45c2f992aa c8ea7fefc523c5654c6bf3e85023068785e0870b ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 d727d6d1c97d3ff7f87a3232b7c85a7de66d2eb8 dfbf5e85b25f60fd2b47ca8ca254aa7ead91b1bb e16dd81c25115952353dc50e98ef8842c8109688 ea07fbeffcb1368ab04358e4a6792a15022e958f f7d7695b21718df39e8a80a5c0e149dd8fdcff3e ff1a6675108656a7790a35d3dee6aa8137c126c3b9e4cad54624ad835a14cb92fdf2da43457b5cfe 190aba293ecca7a1fb1d23b827c0a4edea07cd47 1fffcb38bc1b5564f2cb78c4958bb9f0af5180f2977ed3820d61229e2aa5075711b0ab65d2edd76c ' HOLCF-Library