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 % , %S Posix-Lexing:threads=2elapsed=15.052cpu=27.668gc=1.684factor=1.847zXZִF! ,>]ŗXf1-/6vR[2u)qS?'CΠPhuK!ͶuZa_f 2`4v%M#bS:YD f ҟtW)PmTbGڱrX6D{~/b땯e凭x3qU,QnыR^wU6!q|¡TsECEG'WYf D-.s9U~oZm図.:0QOo!e3>thm3>Zϛ+l8F@rƱ l:kOLɈݥ)fCME<>D‘,s+9 l%b `!hICN!%ڠ}ZBoLTE)fgK$fU_8t5 9^i785jϘRboߣ5W#AK4X #5׌v ]MvHR'47VEak}'lb3TƄ&Wc0-o6N`'FCPg*ױ̥yۿ$0׋T/憎 EGڥepRo`U4fMex@4Ϯ}~9ZTgQqAbs~97ҭ.I1}~@z!x {Y9{:eA6]D5؊-hG1*9=\J9HhҺ!)8s4+5')j6TTE;CH+.08RgKz3ahXS=8>?~I8Iv񣝯<ΑmXOӔԚ[LVR=0fEg4 8t{A Ef?2!6=TJ? +Ψ%<%?,XG3 9 BKփ;j{J_k Ď8 Nd*qkݠAkD FuJ#4g;h!wbɑo}X4^ZFnԀiIüN\+]8?ل>d8Z$f6kdxDrgDunX \(NEsޙPq<5xuuK@7;/ܴӽ{B鬕|_z2_o^!q(T|LM#EZeA!1pʸv.*t#<䂧2i|er䂥d