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  8 8=9<4 ww Koenigsberg_Friendship:threads=2elapsed=68.013cpu=123.948gc=4.380factor=1.827zXZִF! 2]ŗXf1-/6vRZ뿔ơhWllUMNx}Rw ۑc;`M(9/f9DLC_47۵Pk8&m/lFB=!KgMR"Ҭض0Fj.91Aѧ,3İid1=SB^/>0.@NM-j$1*=`fd< ;kfjHo[:/eFAT˒ؓi?FfuH LX&G+8A vMwBt{^8bl 394:_m߬G %Xf|SqVl|7.6Lk]ңA.BqZS)d7 ȟn7\={[@r/3ѣvX0[y}B$.OBJRߩ IGP$d_쪗߭5 ca^=[іΥ(畲*^iR~VRH/W]߱F㦱>x4Yᔙ^1\(ٟ n]hiu7\#O\E)U9ш3f+ 'M%SC[} 30]d ̂A#R!Ÿ6OxYż$F0<`7DVIFJhye@]gYZ7zXZִF! J]ŗXi%6W0 |jU&d_仚7{Jޢ5j3i _ KvU:AR2͞FJ\lOъеk9YɆsVT~`B]48y)EFw}lv?>nϘx50Ϧ ~SD߆! 3;L"_VۺY ca}"z틗ZP&:ٮKYmԺ.UM>'dp qԖGLE6F^C,tokSVf8Z L-rv[5_H7Uကz W\h>;0=_Nr2:ohBvO4!6N M4(`!9QN.){ьuг| ('䴬;=D?^˸&gScujV/@_G؏#c= +g8t)zN LSq_繵Au]ݦά0 D1(#!F5N*U.{FA_B;d環͖%uTVT~Xmg'3fD3YefoƎ?e_2?1Xz4>.rx*XPww^]+Obb# i 6V^ҺMg%ךdJKEs"&doqqyP=Wm^*.z<(ԕQ\ۢȎLA&3sq 9vS/LnN̴(\TUo"=Lp/jdmplܵlTgԤ<3y3z6u BO+EKm-ڃ9dMcw3Ϻf1:G8i)Ji) u8m2\?'HZ]O7i^f_r&1OvC~-z') Sp -.6ȿJ2 +*k*8iyPjt.G<z'[ +Dv2n&z6(T9fǿC &s12jWHS$$vZA'JHD~Z_1[a^_]zї+aF$D Zۨrtԍ'CKl'V=}O3+'dTF/q+bPsK;޳!ԷTx'M6L 1,[.7r=k$i2&TRyCܬ^p؄V1V?lĽBA(!+a~\z6y+Gֿ؜F1ͩKP.7D&!z_Q1\[5l7CNs.hO$;G:%A`d͟Dm~)my.|.8xbZR=f.9BG>8F;-ƒ>|pt(WϹ5Ђ$/XZj>iw~& X^v+!C =|a.~椵Ln`'WԞGRR/:%d$~_L%}y/7#/$VI5q!KCڲw ,a"kèDCXG< KDM=aur֢_ gzeeL,&l{"Xrej{r98U;+H3TS Eށj< _9$7)C7= sxQ 5kQ&^i:Xq? 9lj5D.]sVz% ],37 tK`ڸ}nȷ墊)^9Lq̉'=гs[Z>CX$ kva22٩bZ1[/_v=6I@CHB'7n$& >g~u7n0;V p|ֈ-w?m߃>c/_7CdY^i]"C5WuТfzw[fVrтkRRͦ@gEoK?ݮgF|#uW.udEVI|LN`CFqKIGAJP*(#B.գŧU1ˠ=R]Hbq&h0h@XM#[mTAj?_ϏMsR/h`sO٥̇R"mZY|]G&Q9%  keHi29М&;ԯ֕xi_:wESRǺa^wSONK>C{_,:Tk6 m"z OŅN IW7R(Yfy0粏r(qZ;s05@ EZAx-@߈l~]Y<> 1?e^O=\/5{ ZWi;SP p(W}5U Gp ^h| ł1lLcT1jFH ! sp&dA3x-Xp*1w S !/_!')pQK`Ʃ#Xa 0 Rv֠Mզ V^"bP`'[iRܰlUnۄra[J`LR-b3`T:gc ކB]DX n-$kG%cyoIeH\?2y#V7XH,Hjy'2qTS1ɹ"XlA b(Lmg_ 4R6s.d o#tKݔVNJ*uoԩ!-2qy95i/[+Αd׿S"%~SߞӞF9i/dVEVщKnzp-8ж8Χ]g Al&%;5#5 d_]Yȫ ʫ؎o Dj-% ࿟+퇱k![Y@ B L(H0X8I{~b&#fqHlx'r,jkIcD*} E,kvH_]^h9:TsJ:ۿ)RU=TPAǑFsJs"dR|I~MV8W _AbkAFa)>x!L,儲ȗڗ](5|MNY*ɹIL*crb㞛Nc0Zahrdݴ@ާ֓Ez+&wZ@v4BK;S}Tw0%T<^L6$> ASM3)GL.EQ9&ץTʆ0E2]Xb-_H-6@ECv{GAgYZ48e08594dd797869933caa2b7d496799f25e61fb 59a246e8f4a2d633069da9a9a62bb18e3f28eaea 8900af9c034e7ff79ce9e32e4d21102171e5c842 93e227a9855587547e75d057aeb77af630802c1a a1a49f639a4edb0f84a40b7f698a7ed2d019e3e2 c746d8f3b023815ca954041999a9ab7822f4ed5ce4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3 e6f699f9602302a36e4385981d2a9148d31678b2 2ab50f6aa0036cbf2405e3e4b145ba8df0a9bb89 73cea1aec8f0656b48453216579bea7cd27afb33 80b2f268dd8be58c1b30754518210900faea28ab