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  ,T ]S HOL-UNITY:threads=6elapsed=17.717cpu=84.972gc=3.792factor=4.807zXZִF! ,nA]ŗXf1-q恈r|u2_QM' 8əj*؀g?ǔ;FSC9Tc30I: Yx3V{{\YJXUcIn Qk>c&mV `& t*ˮPۦh/_V]?)8Ou@jGO\1 I`"D!{QI17x]ʟhuo};DՄ>T Ncyk*ddjc4/m"oZd^z`#AL>QZÊ2v?@0ߛU/ZCeKT@|8'sO/;D uJIGo7ŃgyV .|1;ܺѯ 1C:Po p)f0W8R2 mM1&{* !LXF ΁aR-֡Ԏb)n5,7RFZF0LL՛IҌ]M #NTxdi "]M{Xt m?&HƇQ}tGvNoڽkG%[8dd$~LDmahv E;@ m" o?>jyg?FRH F@̌4pIl?g-~y *EUCcs`m>r6aj|Y~-'OLlmhSf}ZcԬO9|M?\MQ;n a#}uWuf~u6K`.\ 9[3; _m/f25#^z:oF 6ta3Op2GWd3Ma#d'4j3ĕ@&c5-<y~j7ZyZZ.bwůH!G/ϼUD,-Q h#4j׺ @t>mIؤd*gYZ7zXZִF! Up]ŗXi%944cZ_ nO 2wZwJH,N~ k%BHj| ?tTNymDsFHs;p~/Tzq"v^$dܘ'9zHusU4#E+%. V h&[7J^=Iӆn9AG r r9[-}ĭpW]aDoznHKRP88tued$d{%>U,,QSA()l{x-Ԙ|}E\kgȻ=IAOn.;raEYDCO.疏_+nMLz>m/l'(SҘoT2QLf2)nbWTuRd獸u Oc̄rf2JHS萚{IXT}@)aK}[8IVn#E:I_yo eTJhgqY{mfud=k^3j d; *_Bʞ.*n|=;ɬ*RކN(W âg4{h`NٰٛN 9'd0U{;e'8y)DZ 6Q` Tb!T{7 9߅,!UZf,GXXefrFA$43=< ni\: vM;jTh:}2j+?lשR&=2MՕm8^'pt{`P'Bif510ŭ.iG˔207_*-!nGd Z H۞kӁfIz&R_{~7D7=jс5RYͪn^4,f}?kJ]YB~3bS'O X !C?İ!-qR/׍#nzkRǘB$ &N(]eզ0횤Sw(+%>Hq+Bmm".o.vc{ߑQUJkZz.`y)%=aht:Oma^ )ŬEɥ"q+QgYZbaa5c8ceee4c340983b8a82ee13ca53bb9abf4da3cff46c99bdc77cb69279060f2c6ce1d34c65856 81d7082226527c0f9590bf1b77046bb4db419c84 4dfbce76ca88eb0868e48fa809d6ff0b5fcd5af6 8aefea9978c6e939b388b8283fe508ad24565663