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  . .O# 4 ]/]HOL-Eisbach:threads=2elapsed=3.499cpu=7.004gc=0.144factor=2.007zXZִF! @]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Nez,$iGXYT1aT,DN gsè\+ɡlPH%G,6ɾ;r<^%lX.zsn ~׊*6ߵ 0DWCI|s^&Ƿ۬Ȉ՗kpET*ߥ=f,"M |вUzROQLl$eG:Oow'V5%RcB* mzDZgYZ7zXZִF! :]ŗXiɟ1J2oeTʹ̰Koy B LHs^ ( `V*_^&j&qgvKصAFߎ ͟ە MX[I0džHlcL l (9hkToGB`HzO$euiYuK@aK%قjZ; k>z/Z !f54,ak}ESCBmG_KPp22f Yҽ3IB aWO\<킧 y@H7^rs6ݡR"gchSPtc<ux$=Q7DWY18rYg-ʘeH4&pO)dop`h@;ֹx)VSo; WƥjէB^Ȃ}s;!T ]t#B17{H] }cQ.RMyf%.fgYZ7d2bc35f036f9f8ca332d45fa7d70ae20d908bad87932c6edaedf27de51c877ca7033311a89eb072 7f58193f3d2717fe18681e21843b42a4a2b573aaa3c58ddca2103a908e06ea45955e4bd8b1fe849c # HOL-Eisbach