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 ,,Q D ] IOA:threads=6elapsed=7.274cpu=29.200gc=1.140factor=4.017zXZִF! ]]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K Q)dx;״gSeƭR.-Q|Pyp{/7$t!B@C%Ja0KP#sTNB"vzFô%jApG#,Kgn|2z!69׊sC"\vmxOEyWѡphÙGGKJ{ &^l=a!m_YMvSQH#؎>Zxb>HJ) 곫7.ou>QwvBޞkR] 3'y> tx?# !\]%V~=]{_`)t 'S5˜I DxUG.ܾУ p c1-| 3$+ 6<2LG$l Xw0)㹏Ee=P)19!T񓼉 edegYZ7zXZִF! `|]ŗXiɟdN'LvH۹@TV/c CLíʓctM+xv|4{.e#1i+{xYSF8s"yC&:̢sCJżvĉ끽^yaiȷlQ9' gU65;*]|ZNK V,*9,R}޸ۂf 94/qآ҇.wz!y%U@Z<%ȥ;?9G Taw\BP7DlT7M[&upG-ܳ'^%)WkCz`"L7aK\_M0=5yoS<ݦWx/63\@u_?x'W gYZ7zXZִF! #Y]ŗXi%zGXwv{đp`W_רGq )Cp?CDŽT snk:MS[(w֔a] Bj3AEJܜ\>OF'O1AμP%~GK˩'5={c #@Iߺar~h&A lБ{RKYQ))ȯy?( FNr~S̰e~SFeN9F$NHJIBW m:"}{t#*ͩ8f -]*zNW[vvc% ,& JDbsVy$DpPHU#9b@@-p ӆQ䲬16^!cE\(q lș"@>? l>gBFZ|?MAA,= H=D.'<ۍcf]rԻeUaG(en V*fFqkgYZ63006ca41674f45664c966da6c5618ed21f20b16dd6687a512096fbd242a18d446c4b55d3f2372f6 a7edc0dfd0db9e0ca7cd3388f7504d2b7e824607 c9b7abc8735b59634705ffd8d2fa083681c74620  IOA