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  w w+ !~ X.h_ .GoT ʗy7ypYQ/_`*4 4ֆ3Tea7dͅ]"?'F"%kM=!K.DF¤ETvJRD`|A4EN,Z|Bs7c69b8هCe)է{֐={,zzC}sdMA=Fсe+ԥgYZ7zXZִF! 8>]ŗXi%}ӵFL(U1Gf@e?*l~q.BO9W3hZCXVpIR+7fXM; Ԍ\"êq2 .UůÆio/  k]OXp )a,D5eُI7L|nuޖ6~% ױUJtOf$Z^mb U8i?m8dUD?r(9wZǍ3 ~կR&ؿvsA,I59i ~vs?RF A(japݲͿ-FY( &/-n%x˴mr,復Z8T0#³bCBf@ݏ+W#TƏ.^ܫ}ڵB3 3*(M}cNu}$*Z'jb]reo*Pn"Jb JSVHѴ; }ظTZ7=l(nXT.;i{G4qŴ,ht:ڦu=ʪoLe;bx"# 􆅕^X޽rHԞC(@KAj w*R4!H*ȩqyFghr%}0+Ja(2:*4uLm ;PO#B)El9M!l{ c2$Rc,3U6佷~+'b9*x\[l`'OzJ;zZM&Kȱ8Uu5C)>!Zd^4A+"2 avH0NGcEO -$7ņʞ ЌR/u." ( $lJ