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 X1  Y/ Concurrent_Ref_Alg:threads=2elapsed=10.446cpu=19.504gc=0.356factor=1.877zXZִF! J]ŗXf1-/6vRZy-`;TS h|`f$ 1U׬D1,4]R|Z97;z!wPn8n,l(v7+9e }e/voc{9czP}_o(`6nߠ27lt8~6\$em[fUСyk{ ] ^3>d<=SnWZª2;D>v$m y:47:mFʎ#HF+jk7TaK 1FG>iZ:~15dSx*͉|5b# +:Xš/a^ߜaxx*X+"Q<86Ր;TZA!3B%@\Æ )2!Ki%dTJOaB40N[DnFT QgV%)Rë%sAJr)Cc LVo|ϔQx?T*G2L:H_Rb EjN;'!QDN 's!:nj"oDM>Aln/ cc}ZVy}U1Y\:6sΗWkȇ23)}jR![}V-_VTye@goX =R V[)3CM[$z,k 듙+*[T(s#&1Q}(ہ Sgo$Tv}Q`ވ:FF,㏯/3R;X{WFY6- #2ؔ$!;o!4xrNc)oW/{; `!vP~X/4/idȤ\PΎ= ؙ&ymtTzb,*<kfNn^,m4.{2:|3Dެ|)ɐ5r8Wƪlo_2drC 㨤Z=c)w_ԞB2N{M9 RvTu$nȶp!I{*i:6gGtB)SWGsΈz͡\hAcs _`].~ee' ure^~)< _ąw[<:?Y;{!.Lx~.ȡe|e& n+}%D*22q ??LzgYZ7zXZִF! <]ŗXi%DQ_¨9 d}lkx-„ eYH0n%·ړs,Mn=:\B|nD@^jM/Azr|'fͅ-JEt"o@ЀkTA|Okp/Q3^KZJ|kĊw(5no8%\PTeHV2S?DoGx_seJ~܂*K=y8u$P`4 _L VksF {!>9SHi0@wB. :0^U^z~,AMoϕU[OXqm7$okƌ8c L6X4XE8@PEo!X7;42s`l/fLⰺ{y'k$p{ KErg(I.ct"TÐf..)/)I N]/7 ljl<@ˤp띣~/nKdVKƍ=;A vh@`8˃V 9bíiMrQ决А{D?ɺ!WiI$ы7,Q`Eq\LV Lf[]C_T9TWG)%msNǮ"knB_Mjȥ\