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 n 4$ ]]]ZF:threads=6elapsed=12.773cpu=38.400gc=2.020factor=3.017zXZִF! ]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tw33|p/כuƚC*k>'H)lUjQbqm ꟲuCЈ0o`~lK?Є59PRl96tJAöfgtmC xs \{kuǍ{zcG(|{ŋ8.c[>gYZ7zXZִF! =c]ŗXi%;ޗy֤.uٜ`WTW۠xthHL-E $࿷!)}F]MVtvKPyLH ?wqa4G 3&eB~h91YRiB/ݼVT(v10Mfva)tIpejϖ,l* WRd񝖏@~K[V$мs/[*81w֌^W;+e6%aOA_oQ>B1mcVG쪫FڹLu;e}?*y%51E u2F ʹ@fD_OwlCd\NTo]ehקwPtɘki5B0Նa5Odt:{(LK7HJh|55Z3*VUe>܂fQ3H!Y O&^^VGl0A2-p&¶6aFO|Fڞ QH1/&=ÙɔU 8Z㱗fڴ'E]}K){AA(A'zUW#^Z-wEe$"j8*֌s>=nQHwTVdWzcpTvۗ+d҈ $ >;V9M^~a0E|G{.( bꋸ94EΈ[MTs4E<9 bGGBع:oo"3-EG)"; o@g,C:E6ܡ &o"'Z\i(ww hp!jF|_)f&pUɪ"m~KAEHJ~sFgo_NGg<u?ہkH+{OF*\q HQW;1IpfZ("u/LMUsRc+ȝp`orz*= cw ] S,̞!u1~\9hPw՘wJ]W=' U"DԆJQ*-\`o n~ͧtHѠ#1k^Z ?OrD[Sn^@PobAT#@a~?xo z)4gYZde2f816e418b08487be967090fb1c5f36bac4b8440d35f92060f57be7e534389481a5efb493217ff0162e0d539d2d195393e14353488ae79acc333b6  ZF