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 d)$T ]S Multirelations:threads=2elapsed=103.857cpu=117.412gc=4.948factor=1.137zXZִF! 1L]ŗXf1-/6vR[lRc2qJ)=?$~)LX8igRNKe`du5\ +~oTTnoz"7@"IH53@F;fDdF*ݺߌ[]qF" .)cɡarY)Zh8&lҭ1Ǥ aD=P 5V6OfBַQK*B oƠz[Z8|_G`,k\ęَmYz}hkϒP4].G;< Y&&P),8$wSK;dQ3$t#=KECu (i]Q(FA_z'3EE$F.?aexp+P%ݰ(Ȱ/6+F8zE3KYe;:rL XgC3sD.oh9Ic,Zנ :Hb8Ahs7M>)i- {Ήe8FoV{MvG$Ɔ>GFLN՗j kB{nAcWz~?_lb?V:X:3Wgu6F.<&?6yl)f%.2 7\އF/@QlJZޡ4 ?>"(U=P_+7- Ud-eȅՉ 4L8xz>+"0? MNLISKT)9`ۏ#ĩ `PSxiǨPqy;:ar|N9<ռH%Vh5/ʑP_q0)'[>/_OAPV9 ιc(ƴL^]p ( .N&I(r.=]|u`ukDЧ,2)v aZ υxL$D/z"IjsjkN+ ϓOաmHӀ@P4e=ڈ!.g>n1jQjL` \7IpW)rA@1g?$xET) ޘ?px~ӟТ_͗J ) MultirelationsiDbAs3IFfM">^BŽiݻ %x" XaF^C-/7Q+ o=})FiZQj̳THX(KǬOSn}TGtږJx1b lc+)# ޴hjw#F*.sItڙ{o/S涭 b)x :rRs- =H&XSuyŧuv_|Q} 6I8ȤW1BJ*7  UK7G0ob6Z_ۊ,z+`x;ż/_܇¯εV]k5o_S0O~?~XGYE~k&Q?XNW_*W♣9Zq[+9Tz!vK4 x (Aar1x2&q?.N!īl((FqW{v 3AU &p`|7u/DEQ5 gVxii{yCH:n~.w%+3d=Xߘ'h U6р$߬!:NDLyE37uD+ԋ?Ox,zRA{.﵈`𰒶UL.C[TdI-= 8΋(*7%lof6M*bیq3 ;ٶ E0%i*^E}ػFc˹ 8  b6fGpD𲆩r ]˪eP[,@SmgG'h )C9.["+d")߻@^ BX* 08רna3dN(HqjCJv}ocv txס$ .lK4?vވd<T2C o"܍3]~aO1BkJ~ ƟZl{+`Qr^_*sM;z`{Lk9 (u1LSpqvNJޗcfA W,lx,yzwF1{z8v^+Q+'[z=ę;7mܹ,v@yQ>?_e ,'( *-C> |Lх{)#}6\Э,9H^Нs`l$7]15nz3+-J`$du]> -7 O`3%v}oKtϒuVe6䂮Ҵ`&G6r۾0cG;8(#a̺W1+NBayh&_FUf}-bjI>=Y 酂.l#3-^IO'ڴ ryNIܺ엨a@=Ymx=oѹfd]$w Yn8+ ^E`֪ q vCtzfe:˽DΞys)ՙI%\6SgsPPZ +]N2=3ErO3tF0u.&x?՟+#?7hzQYs;G)/: ΠP 1WЃڱx3%ԀD5rso891!0Nzl:>)!K={7kjv]\d[$&~;-^β. ?z9uK(>ט7wZo(3R:a PŹ!-8^3{$Q}9DYa0O BwuEUB쨃u~l d?>TkK" _=hFFUi"S G@5`u !oE.Z+RjT0O`d:#F\־~?{0+ =,I.Ϊߒc%ν*ZG0ـSSzgOM U2s9Ya%4:S2.]>԰q5},Vޑb"iC"@|Mf3y8;`G޷,#"ګwI$-6C?l/F[gl!+/tԝ:-1$0~) vV4Åu0y([Bhuv/xt7.[ SƶF>cP Tpbٺ|jY=JLEUVz2d=V>셳 s`2bǖYu7:)RZ F5Glu]KڅŠ O+2_LϘ*|ꌜL(}g+Cs# f 18Xس8K@gڬlϕ}8Cz==A! ʽZڤr3FyQnv/?NH<Ӭ5Ҋ (OڦoKn5rO+ ɜu/(R5җ;j 3 |~) Ip?I:=TLNd-kNG%,5d 67` aS6Lom{a#7IG"wB'A+:2Q 'AsP6,z_["6ڵwg@"lޗsG0ZUYtϢJ+ `X9R_~Y$ Ըn!fїxS;"BМ}>A[}" 'gYZfd6f8799cef542aa4666656d263d4c3deae3fa5d79d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 04e2628ece6af1d725778cf37e5368e06983deb5 d4a6f3e921d39841f386c3c0f67c9fffcfacaa73