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  B%TT S MSO_Examples:threads=2elapsed=77.664cpu=129.040gc=4.228factor=1.667zXZִF! #]ŗXf1-/6vR[UWdT-]!"C+|1jW.M#OOBRyc()cnwdU g1Ub*"-.|b4;]'ұr@Dv//AoDG:,yQbvcѱxmJd/Ƀi`a_ _ajೂ;ͣ*`;QkW~|3hf38`H]0@6s]A^B2Fk͖h5[ґ+ 3+M/]NgYZ7zXZִF! e"]ŗXi%}q }[?Qf"DDf1?5]7T+xdg+6<6KKZ#^m >)-< % MSO_Examples} ZcA6f#9//NCb8yTvG{I9,Y͞|(ΕixtcѐH_qR<7*83 ݮUy-xC댝N,I<(sBʙ\aUf}M=ћ@_n%3 .S o)&'aߑ^nJ$J+{Nu9{jSV2:a mֈV渞~ӂ|B7m1VԔ|} ;82m6_UWN;vi'qksg8(s2l}2}꓃3_^ù8ެoLMa<"[rcک- $6KVn%epҤCB#U/wZ9yQ&Ax7D*K$v-uK +7Om M3|޼{R}B~ǙK-vuj'M) !X6Iz<<2[_gaFV9Zk'Vwij psUslɰ\K<&Ո_diukꂂgE#3-6p뾄8t]+3RHōe!{Ӷ}mzC YAg_ɔicٶ;Sj/9ϋ\z_1x|W  k#ryzg('tFxdf&>6֯`覎^:aʇc;8{oyMQ;qM$qJjM57E}UZD~dkYĠ,Q[l7Jm߬:r&x НjF]$=(41Zxs1U{+e;Lh}v?!%TDF 鐂WAۢV`T_lpso H_x*QkZSIkf0A0hr]m75*?[c9Ǎӭmat9KU3B7xF I +n6L2@b$mȼ#кŸ ?0eR>?%hY`ȱHP5 oT:(wZ!T7W4B22=@gPht/um Ϟ V#4֤N(SizVugvR0#}!&XE3Ms>nB$ãBHx4 "7{VZwybXAb"؁ؑC2'FYuKXnZ#ZMe6}d'|v:pĹ֛0[ov~>E TҾh)Ƶjt7„%.0RXFEdpGO۴vBy0$`k\>,r q `;=5Ёke)w# CGgԟj.$ ]::LB`$-1Sh#,eU#mڪ5'5f zc~Rab)0b&1@{J7@ݸ/>v[*=|^VI {Z!&YC!'!ܔJcT"܆)f&/: 3{Bv5Qv8ۅJcoqY`Ҥ.^"%s$WwGyFK`AhSۯ/58PوDϰf5Y_-V3qcBA1[U{>,!oSuzb|mNvrUoA^kDGgFF =t_>q;'-HGqjj1E'%alg`8WZ;,"ve ; f6zfh&`*^w}8r= +/^#GgnR4t yyЋGnHIMucS;8򠝫+$z1x`HO/`4a>S8e]CnE)Fqe'Rw>rD9?f7gcn{fݺ9Cs I.Sɜ8g0ÿӡԚgEA3_h;125_T>dAZGR% / yHxdQq P3 __ xcX?kzj&y:b4 *DcdܒaO 9Q[E׫^}1+ ОCLW Fv3u+ *BawGnŸy`aIՄx|%.,nB"+lP㠖eÀw4^ 1BY  673&h\0/w}d$d(*ĨgYZ1e70705efd04dbbbedb9a4715f0d34c63258e9be 67764ef3aff652c71ef813384afab8f7337e32b8 d60e6f1b237777f66e8532733c0c11e9c656e7a20ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 6705bb579a9c2f9c7d78f6d6f5b7c3d324f29502