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  l+, ]S]Girth_Chromatic:threads=2elapsed=66.532cpu=121.032gc=6.336factor=1.827zXZִF! *]ŗXf1-q恈͐7ӺV -fw0w],[aT|DBgn5X@EMS;iW;ıaSF7ޢJ2 ?am Y}Tf}EH[*Ĵs!`X:,Fߟ huFo0 <F}jmN`۫ /;ӭc` gϐ>Y QB744 B G ġZKmfC C/*`^NDl%66x0O8Jya0OaF4BPB8k jfJ_Fw<)[)1g_F1q_@4uY[δ.TQ-7J-ecs^Q]MI "h+F #וۈt̺w7a]0B4 \ݳRhap-+dxcFJT8=҅Kc p++YJ̾(XPj" IhmWAS|37^.A}-t1Ѳ3N>v긿M;#D^棅ct* p'UVcaꮷi8: ъRݡ)$dՉ %DZD6mLr7殫JS;w932&޽&94B[J6wڎaцz._:pp:5b UWgYZ7zXZִF! *M]ŗXiɟ1˦r+g'Dgr>{pNa5R]օw5YVw,l)ǐ$mnQl9{bx&Q&X#6 p&Y?YW(lLš l&)DB!wXpTEuCL'%_g3(}g%`{KKn> @Ok[+ܓϿOȄ%M%f敐?g†N;r檇܋W>+1))a@!a.3 _GF@@ lx&nEs g]Ж:z1n- M[Z6F]՟fnьXѩMSgl@B]U`t*09s{;c02H3`UnxmKMN`s[. A~d 4źjǷbڭ}?:Zқ{D@|J4 OZZW6bB]o黤+Dvf G~`dA^h=J(,嵶m;J!26GmUŷG :\ES?}6-.0\o6 Oh Kh:Q7mz8i>pn?*'_h u!19=p Xa'2➔J2:iOoǟhM3c6@YZ)90>]?U4K!Φ|LI~04Pxuvíoc}o̼.Lя\ j$=@rx;g8vs7%4|\` GOyz̹p2.Fy4TXJ{FA^T5A uY1i12$y9mS Nd:iK%H'13ƖT9&z\8݆9ed / XMzAEr25U^r7j?vv8-;N^ݦfWm%YzpNoWj6O0^e&>P$.v+uxf\؛735{!/ٗQDP7ErWpEЇ1/4Wb}ˉ&0gU< uXaYxRS% I>6J3#3HSS9J&A"?-Ac]IŪk`Ss'J|8U0ӨZ΍~tvc$}YYNkgzO&.G"8lQV'8X{=9mpvos?rC3?, @i3`[߁&Qb~G^@$p #u,_V OF3K!&(儢"80Cԛv+ҕN>X*!XO|]{f *dCg|x8J:KlZfDI$\R3{`}ȱu.fDw7MW3=W|e5ywh %}r$_d< 8:W̪\5E"BظF9c7b(^"m0GIJA08 mu:\g%>E$D2P`-6Vf.JnMn䂵zDU0w(eVUp(ѫ&LND<>v|pFkS-BFȥl0KR`W/IWcVM*Q߁d#2a'H0uº{zO ˺9Q٬'!d-AcD0 NS7,HYHҾ*$^w#upߧtrr6cQI]xi?ﮏw<:Ze" GL 6ڊSپ[yU gi\XuZE=:ć9~A˞KFJboC`yxw^[_er^x+@1c*S#S}_`, Jwl4tʳ;i[?9wLrTJ0Bu陓Ys*1~Jd}A-AoˑaS܀u/$Bf2(x¶7S׌A@PA?K!O1C^׻N\;42]㝃-$nl+7nVO, Xs"3S)2;ߺ|ӨCpuvs\:5ur3b=GYg krmmQr i/WӚ+5.7ɋHqMM,9j;>ǛYCOV׬cSX SW&84h$~"ymŶa4bWB>?#u2)'-\XPla4*z%U3ix$ân&FjEBjHI~ya*ih34"1,|O4=Jh!(, zv[Jp< _י5j갻|lbv,~:_£D2U96<Mʖ}RQvcYRSMj" (j١ECvkhS5؍Ϊ ?kWV|~ׁׯJĪl@jg(Ri?F=I%__-\_#٫QGk#z}Bsas/Z5~b ' ূim]PJ:HVEt_/3gAq;VlպjԵJ x>B-_E`Ԛ0LToV&,|ԫ~WPל;{UAZr/PtFe |]-+2K!\թ # ţRbSEK_̵3N֋6c6q9܋T=}&|ۇE\1t* ZOfO."`J;z"*-8zW+y߆g{̾ ^YV)gYZc4f3e6acc042b0c85c6d8f25bf06ba8312bc0b2779d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 27380dc72e623c038461b5a833200b5803ef071c 0173998c1bdaaf02c425934bacc56421e11f319acc1b5fa87d5e6d2e877f3afb56b3e7df03542671