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< %]CAVA_Base:threads=2elapsed=9.553cpu=18.208gc=0.776factor=1.917zXZִF! 6]ŗXf1-q恈͐7ӺV #`91knTyڧ%kh ^F+k7O..n=b5LBDMޖ`xMkИ4{CTT.j즂Xqd ;|i.&h׳fmqg4/`j08Zr }J).jik6'FڻQR<[i;A@ӛ>vwD{<_hb-Em3{P=]XGe99ܹKկ|\|Z_|4=> Òů*Y52>]mhIxuSf78%"   CAVA_Base9"@rCs@_Mi ).玾|F.oYe it M1t)U ص'ʀ^L^~̏,߳/v}d{~oKQjf\:ҭ_.[W^. {;bfEXU-B̒I@ #.(2'r7y?QD9LJ>xzk|ľɎӧ;m}A_-u wdㅹ\Z 5\iiJ>yP}G( !1~-׊cxnS.f`?/_;&""XM@5qR,|ةU6I/fzl.dEF+EސHE&r¸ln: J)#S.5UGO4ɉ,t{vkx~|+J\UU]A:SD_;6COŊ yl͚eW%UɢbҢ{V4}%B Lf C,V. 8WBC?=?&n-z7v狫§eHN]tq8夥PݓدT vEk?7~)% 7zAZ1٥=7մP \3aX:7htd5˴"3pZ{X.2PtžgdM\OAS 0ELKwŮ}?cONJ>-aw[+v17ͬ_Y5reLV[k>9SGF3Y@hV*䜨!"+m>㲞88,{1r,?NᑲzcIT^̀@ؓӍde]*o;5E WB`ZQ%Y+xcm]h,Ӗc{JbLiJU;6|QQ;ē(~l,E/Oqݛs{OmOTY>J݄"S?Qkb/PPp logYZ7zXZִF! ,X]ŗXi%n8@n%ZJRITY[IϒJVfMXVAu∝q{Q[8wgbrw* +,eeF%UkWZxVy+ELx ~BP׺3 _le3@,g7&N,-ILRP{{;5|]qSVq5BTΔ/cucp 8 Bz"w`Hç.ݝ͗ QITYyԅ1hN-{ 3zی院36O:n⌰;\;΍tGje%{X[)kRF VTrRAqB`<דǐI&S#@MZ00N oXf8i6zn]}tZ? Rm @~@RR;~ twfc/n+ 7o1/|G