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 - d\ m HOL-SET_Protocol:threads=6elapsed=21.687cpu=89.308gc=2.152factor=4.127zXZִF! ']ŗXf1-q恈%vA?'GAq,$L;׺N'n='=tZGAi J; 3G FY֔hȒ^KxL&cpBdUչ^_=[}Wz5ɒ)E&u9Х~VD7iܡcaz ,KR[ד @ f!! Tm|-jJYҶaL:Z .Q rdU2.=!^t& Z^MU(1}2UL(Cttns)F2`d-pؔAоY3fLeCQ GevHLaAcޡYyruB"9QtN)*:Sb~g,<+ >"Id [Q0l vw+} |e4WX]}CBֈvgpQ^'Q9^sx G1M29z[ -?."3w(SfVMO#wF0lbsR54J׎GH=䪎JϗH讨:*ip?Dajbd_nhz.>&"mBB>Qga.I Dk5)MĪP>u w!ȟ% t7}]$ 楦%PMIV~p'0BC}[{# B=? ?Va & #)锉;w*Bbi@XND{+vKQ\*41B듅U cXN-IfLݞz}<1(L+Cy1v[HZ [h2hsbnO|e`SQv7_9S@QEsN &.]vZy]+K<B_!ـ\׊(g5eiB !NUڊ ظ3"'sFgX='J*u