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 CC:+\t %w Catalan_Numbers:threads=2elapsed=3.760cpu=6.992gc=0.124factor=1.867zXZִF! =]ŗXf1-/6vRZy_c5MD&t$ϰӵ20:b.Ҧ>>ܓ<4sJ]#[xR3DvW:ff;@͒HD!8oA'"szM\Eܣj]!cӆfY9vP>^L8#Z4YӂZļk15bXqjzs{x&N$tVBa =#3ۜ3ұ٫.6Fݏ8zWɧh?}+qh[hNukm|AH)竞jn>Yj+PWڈBL3SQ<H\0Ez ج^Ig=`Tä=/6+vj&;.*a𶼪 fezZ>l'9Ȋh5HK.gd}1k*daN᫧-h|ÒYnXo]6uIp"7U3~krauY?ԺxtLhIT{ ]*egT9yr-r!nPB0nRWu>OPu=0؂*  r+mxI ,^uAjA#ku*%{PmBs^*sA' -Gf"K/Hbe@c@ރgYZ7zXZִF! q]ŗXi%!W;, LM l(r<ۂMg`ŭ)͠nJ,&kE.n,Ƶ$:t"+?ٽ$1~ˏ~9 xX߀V#b2hlpC {N5յu<%ߊ? gi^ ŚXAhZ}I|X$5ߊ`Vl"8Hf{[oP6, /ͼ}[!5헣ct}ß_2˜jЦ|I|Ri5oTe|+E J 5d@m秿!`嗿講Jfda>pmMGN1`?l eW[J̓856T8fKDc8hSۉj'(%L Y\^٦qkRyV15oo xsl:%_ <Ơ b*4.ч/}Lzu3R)ᄯ6-96:ۇ1m bf0VEx@}\