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  m9|T ww Koenigsberg_Friendship:threads=2elapsed=61.029cpu=110.640gc=4.220factor=1.817zXZִF! 0]ŗXf1-/6vRZ뿔ơhWllUMNx}Rw ۑc;`M(9/fcbN7uI\S<86GM.-X䀷$Ouc49`*;G`Z}xh\y] ;|Q4⻳ɳOıX^'~G !T%n 8z;q=@S1e꫆$kC68la[/.F2@r{p ۽ep>t-fo+1o4`]Y{ߢK(uLҚY,JwQn]*Q ^[y,lg ~JReoE)*EW* ag8.TЬXY)_c;`foզ+;f(**Bl 6RRru1ِ:3;.y>1%IcBݹʯKrPbސp'Dž| 9C;jT¼SP8e#E6s_ rfRz4 6֭/Y;B9s~"E4+F o@"5Ku-eD %N|l*!|tS9%$pbSgπ%ꨝ|TuT0wA>pF3Cb*HDHO #$q.Sқ!F+[ g]aDzʱ??AеIcfUCYj0 Bˣ~AKw繟$c-5gmW8s#Z^~)F379= =WcEIځ?/',U̇ -}p^6d'1~+47g dT_+qu[0@Ea-gYZ7zXZִF! )]ŗXi%6uT}MF gYk)G3Kl'N5. ɿyYM^*Rרʹ`ӵcgʪ 6%U)<[ g DPNLfty`1``ᝡ 9 Koenigsberg_Friendshipul7N^F= $o?$g+֔xFHnjZ4((8LfJ iVL3AuEpAɧ+p|M6i^#L) |&7Yú͹IRfwW? _Ga _jA *5+ W*65KjJq%D0V/W!aM*dw0Z.=1;3do ْVڇ.Zv@ :Z|_b Fu4]FWPbWҖ "LF!TB3br'CRᎉ[eKq7h_S8_+NO.#̠'ZF-=Vm/ڝ[EL,8E/x&qDţ[m°-b nE\K_^F:KEF,x/HG3Bj>;La7MRLX>[8QXOiĽUp+ԫ»NhF?'ց]Dm,5|MYK+7\V9) _at|ԥ`/C0Fp^?װHySġp2'H+5֜ǹ,n I'_Tzje:ǡn~fOmYS|3YO*ZmSjᐵX#[iB, ٣Bvg,J @Rgֻ7P]Sq;􀂶;];saTʠَ]3=ߴS3Feʢ6ٚw-=:;aK@_5Ϲi hԻC7r@hM}TZE.SDw坌̶-/ H"h.Ȕ/^FDhD$>fWYйʷp<;, ߎ!B,iĜ/Y % ǣGPj\x,f 'zX0W]ʦ>p.;9憐}Å̡$^5fTs}3RZبj02_!C=W@w9w4>őգȅxx:z4Z@ʝĮ2jj&55 R%Dޑ%jml*S"Ϭ iQm/CSA_r>_{Oaz;YgO7I@tdxliCxyZ,xzM\nMǍK9"Gvkͣ^eylW[&r