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   | L ] IOA:threads=6elapsed=8.294cpu=33.200gc=1.300factor=4.007zXZִF! $5]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K-boXI$@iDd4?ECu]l6LQ 폓.g1O|?\B7y? Y -(1.ͬuc7`_ow5OjmUQˑr?lA%Y/DR F "${S?8;R$M>n{=x_b:ĴקN{-Y.XQjau J]?[ >OQY)oɱOn^emTkfMpD?7>M!nMTOp\n.vz6Ƥՠ‘+Yu#p‚$d ׊X뉃"!u JQSVbz!VQ[: 3T0-^MM+"mQ93{Dz|lrIX*8瓙W?yYIy>JAkV~RR\1žA+-jE{\fO< @OgYZ7zXZִF! `~]ŗXiɟdN'LvH۹$f]=V^4hkÞ Uab@``F9_ =Fu]4Z&81(1!@{5hnϘ\~NٕV^=LuVU}m3}Lݍ;pcLtM*pqlD.@C$1Ɯrl#!9f piyl:yoч},OƢf,Uk6>gɒl)b 8\[gYZ7zXZִF! (]ŗXi%;MHdzO;9 ?G43NLg!5[b,Ta8C@v G P10=xé!x Q&8˗EnM,Z"`!=1ʈGI5!Ȓhaq2IIKJdtuZ&H2mM8AOITH35v4^*Mfs ^؞ܘcx4#9DX#5zbp!:MVH)Rj)[:y!É1=q $oH\P/iAGMcj M Բɇ|=|mLI0B7허E'f\" tnt(VC'ԮO;r=/8\zoEy; /dx؝g㹩]MG$&_:hPNrp\s?O4 ̀ǮluAѬ1S J߷DQV;Vmc,ծXt3v &a 1"G9Ҋ*ݢ@MKgpE!<6>c}>B%B(}Sxŭ?`zykXi6>h}R 3L8<Éq EN NU2NSᮌDP ~sfB.(f[~MPRe- <Miwst>3^^]]ES\zuwCZ8>5_̉Fa91mnjfu&X#U}p4Z;R !&x_ (!YWOOXjOfa&WdOPKg@i:N&h\ʖ duf⏂ xp)E{ssWۑ˘v-v띸 s=n䏗Fmp)FP%lޱgYZ6ee6a122154f268e03369009ee9417e212fbdaeec5cea5b34ac37b6e0c76fe924dd8af1ace07cbbb 4a475efb7075f8100be1664cda4b4634574013fa 5e51f88233b9c371311b76c901d7f755ad4d41db  IOA