SQLite format 3@  - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info \ 44 5]]ZF:threads=6elapsed=11.888cpu=40.744gc=2.688factor=3.437zXZִF! ib T]ŗXf  ZF1-) enȈA T"%zav{D= |:^SK) ̞Lj*N%QOkݎO!O" P3nތ*ȁE-Y]φy2ғQMGz0jqx& bgskԩK^mF_F _TzH@ k9]~w^7 Z@XP Y{OEDuR EfOL䧴J^!7=oR\,JTijQv 모Z{P#'ePjyk җҲ`bZSlBC)]Qs2Z }Vl= $\'E]/ d•s7eGԱ ŶԂd];_ ¼nR72{)0;97c",H O&+0+Bk'3;B`ߠɔl>d+=i!ջ랯oBpAΫ$EMM`g ])/GYk WidV0ڟ]w&Y/q=?Әs$(/^GGDӣee;ޔgů 3nXTp|i+ݥp%1k²5LƷ/s)AOkۉ@sh _0mԉ0t0Nܔcիu.}2b$|Z0g|qb>FYjۨEAISRk&?Wy5.>hq_VEiryM%C:־V%˧lc]CɎy/:78{ z#UO2(h.Kx L&sMzG>_LQӁWrQ0yؙ>Ū|7ﶶ'm`Hg],ZdH(p7mc›hj\Lu7G VGMT\FLwҢ\ g%?drejg SjryRTS ޯC5 i}O?\H@ = ʹт˥%zL#4s.@ Jx}z"ŘNG(h-<0EL%6\Nj9`gFҶ“.­ ^pz ` ^_f=]fQG@: &(GV0тnp 2 &~dTPfuV4.UAݱ Ag  }z 3 >,9#pkyG'fEQ]QV@zl# u/mE.Q7Ƹ05"$kToRhҀ#r4A0^K=H@Fp 5W%{T?/¿ ?#'`,rmFy4ۮz@9f6;t"係:w F$5ɪ֐J(ËZIHyTIK{W-b_)늓0ܗV&lCǓR;^a!FW4З"a~wL@~Fa1F>k܂dltN ^BTÂk:JqhJФjEO{gYZ7zXZִF! 8x]ŗXi%>,j)Km& C3WBͻ~ icW,L3\7gX: ԛ5%g"Z4\Q.,lz>7NE\-=AML[:` EY C!W6qSJ