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 ' $,oVFgYZ7zXZִF! ^]ŗXiɟ>Ӈɇ9S2]͙?Q2B+$=O.ɮ(uoME_rwӈ> .) +gousQ0ܼ# ;mW *0d[?ֺiS^/~yO&R5Z,z[s!2C|sko5% PoZÊ%"co*pPIp=^; Z^dRfq]P^m¡ieJQ%8>en:* Tf=YX?wbGM:{Sk:)Lmn1DK yL{ ewͤ!։p?"t?9xt{)QSYpˌÂ25%]0`!s"o!HY4vb(w畐 P5Poե{ic($юPNZ9A{hs,CM;$xT E'̀3gYZ7zXZִF! =|6]ŗXi%6\l،\{ewVU 䌎 Ye/Z'J<ޏUVcPA%rXqz2buA8q~Di [tb=r橎y4X]R%ݴffTٱ/fpZh@Sj̛8[lvqcX`.<+7$i3&N N[*$^/1pD.-U l"q9-[vi|ϖfxFC=2Ct@v:(6m)qĨ/Q" 2A ' 8 tnYCtFU?M2b%kr@г"ҌWFSC~yB.oT/bQm$Ǻz%ДŬOp ;9dc1RV ǵ!p4fgeP=fU#XHN ^`EK?8^t%Tq/L߀+`3R/]U_ª