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 0% tD w/ VolpanoSmith:threads=2elapsed=8.921cpu=15.796gc=0.580factor=1.777zXZִF! $0t]ŗXf1-/6vR[iB9Gf}P9O`3;%{Is`9"PJhqzNNkp\ث6B2-ϡW _6Z*S7]^Wj}%yj8K;2}3=|aYٴb(jR % VolpanoSmithFp8v|uy)W ЅP+9[#aJHshc+Ge @O.vj#VDts l!U uz#imƂ~*w+d=hӚZz!,9T'5ncY5x+\@OGa S@fBu[wym2o+nd;~ULlC͞g}f/A0O,tرY\ 6*Ĉ+ӡ+Wan~)xbW=DGW٢lJ PM[:Rs.'3_=|HL;h][#ϖmIGc!"Hǁx+3iE;Ud;eEsmLHU}äphNˢUn.] ;9e5a@x-Pomwx]@OC*Tƞ1MF ꉚ@ HG=KXuEʧ}n 4KjW>nytZ|+PkAT*Pɾts@9"k,[ YR 4;y𞚚b8ص҈VR?b^,^*U<=doY= )e6{O{\H TgYZ7zXZִF! 5]ŗXi%HT r)i}@4 Pτ(2ȹy* aa/(Us;眯 Ĩ "hGˈ.8 u  @d!{YAbbfr}㘍*a7}LI[iKAgx5~F2Ԕ' {`6A~3mF$ &X=ۑtgVbxPTAj/,6ҁ")ȍ'd#&ﺂh)$'swg9em\OVEatҠ/_l.u$E' =fDWrAyJ0m' c.κѴ=@爰Թ̥'oXw_"B@IS&zol\(#QS|+l@i h病 v#Q q&L??UheV5xɶ D?4>a6[Gs(L$|q8̳ HiV7l«vp<` 9wZH_8H :giC#Q3t5i,6kPp +-<¦yo~@E˱=ӗt /.-L!öU-gKz2E/-@%]%ĪE"L1A@r'J Zsfނ1hOauSbB3r:< qFٹN9ڽ \/0Ne1k|5gYZ07c3d0c0260d24e84312ea07322f84eb50610fe6 15649c4dd41463e761306162c948ea79ce836419 43a788035c378e986edf224750a85551aba4b61c 6918709c5cea4390c2aa9b7a9c411fb9b9e72799 7e04ad2d81aad700a3243fc642ee04707d75e34b 8d8e5854f33fff58a9ec327ea3350411fee5e5b28c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07