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 EE' 4L Y]List-Infinite:threads=2elapsed=23.331cpu=44.308gc=2.200factor=1.907zXZִF! ]ŗXf1-/6vRZڕ`0 lO"Eu$gw_1Ӕ*6[ngbXWo6t`ƲVv#;ҏAuy>)Y[_zS [یz F}IV $EmVOI8jr_eÖI~3=;rK {ZcNV(ϗ~} 45A?'Lv3@2q12حMKq}q]K̏#n߫ɂ0G$`]8"wċh3Ɨy .Gy(NGeJ䅰GT['xSkJӟA-}hTWsY< F{j5MN-oG[4nHt-JcScZejXOo>_M1|PbgI_o%N7ۤƦ,~d\hf,E+"uQ$l@uU3 4b[ _"E7x{M)K앀v=S< V͉٣_О-GcbS*Yp𸶪Oz6p7#~vKQj3p=<>ɠcwŝJ\zل vx:^y7(1,/\]1\KzU!Ai$׫x3 AYӤ{q :ǽɥ,&u{ "ۤ38 Uiix}(3JU~H__x{1dY7kB hT(]GmgLj>OoaY7e n#H7?4L58~a}"`$ Jzph!"I%I^kٔ2y\,%ر!?nEh1EuTnD%<5JB bҙcIVc1V˦RaN,"&;蓖:KɌ%aZt [3)CwrYnޞoK#nJ:]_G:#'VM[KgNxI׻ p0B:TG@B2'b `ܡ!b˧IAT1lOaTpu5x_,}A)wyoa'썈nѽ W;`ϫ>MzhKUiD˭Ղ5\$$ t|3 I/M}妥TՎ9\&IqF`csk6 ٴ֨7M(3?W{3N.Ncܗ]Yy*N#%8]V>)?L~SK:VeJ9>tYX6! +y02zѫAjj:FK>Nxes>d`c-gÄM9RLPbLAkc[GGdR8!$!  P699),aŵlG徭AàM2.F%)Nf*Sʡ~iveG00"@֞B-R0yfa!) JBUg=d75$"c<KRUjH#{zo@CT! Cu6Y#{WyA DP8丞Z1(% 濟#w]H?/"hf9/nXմ!Gs*Is !XZGEo[!1xI➫_F|=IjOId/sW70DBv~. T%Jf@B{',-⟶,lnO3T%2)} Et},Gp!״7̹GxbOR9AO#f \EAF9ёni=xgXT2 .Ǿ-/޷kVP(SvZ`qQtHb@dYr4z)d57P.A uxX- ܟ +!,nA}Zt'^/AQRO: `ݲLv0${[OgTZA֣z;1?@_"`,UpOEoA| }(k_I%&#Qn%j`K:6sWGEEnSp;R`e$s;qjb7J+ "Kү]g: =¤8lj~oy=ua1Y*EG,0"~ZⲨSyƍBWO~>u1GA:*Darؚ.SPc 6KS)%/trҦIdJmYT?a방7)Hѡ> c^gY˜iV|C)}G^|OZC8_bv\@*srYb.Ev=0Vi}]p8 g<+wkC ]MCAϘ۫JLf-b#+'hh]>¬}09dObYZi6s. L,V.](j 3eC) )d'\bx &+[?p* C/Fp@ W >z ?PҚvT"t;8d)St%1~(2;. fHH8.a'&8@NqJhfעt:FR $<}gYZ7zXZִF! ]ŗXi%:L t pe:A73fU}H./}z$ZeǠ _`۷2504N/O 9*X nym R:>HvX240JIFëkMZwɥg% kШW~7l6#'_06PLC ~! .zn,8~cnGlʅ~EM8 fR. Q{kI柣i ƾP fuȠ;/5]OR[zkRv5J;^UN<9̽B{CAM?xnRwV+޶`ϮA!m+.] TT',##Id[}:r&9!VxyNV7ӋYxmf?.G>d4gBhXW2x'V7Қ[DXs&Z+jdŀ+ldI߬}҄=*^㻅| G_U2,fjܒm"<"UΉHxtmȄNԃfz!Dh[rQy8ؿ墩mmp!+;G:z->xhA} ET3wM@W/hy'xŊg#m5 Os:EqiArPDkJ4\cEbؠ]`5by)njr4,#;7 V`?ƣ+LlΕn.d{_u@ iI&&oZAO2-JFe)ni ٖZԷ9YTz˫k)5l[; U'zaUygځƼݒAEɹ;lk}+IZ1A;Z%d}.'q7P !nmQ^%_N20sc4&_.zr/#j; u5(+4x1~b> `S:{jRGJd|9$X/]´΀}S9c6t…=%/KE` -%UIԴ(|z Y2?x&Ӿ]wycsBm(x "k ۲>ջ&E^΍.$& ! ֫G[&=QcϮ\Q5j>O^toP,&qA=q.[N/: 6N*CҖ9`o޲>c<%KT6XwKm87=}S)܆RduR#l̄rXGR}hϷ KK"ʣPxԛu؞b\Zߩm{-Q !ƁcK)K I&9]n h%.c]a_VJ 0gYZ055d4402eb355d20a482ef9514b70e9b35944132 091ef4d89f651303961b69de7d79c1d5e3449215 0e8f185d5c5a37638c3fed8946398a875d552ffc 1403df84282ee21302f7b44d0144e2fb35574d5d 2b8d9192e3645c3f213818f3c18ce41996a62c5d 3f876518738d879265f412bcc571be8ff627facf 449bd0ba17a21fb1b949a92e70477e4053f0cce4 4befa36c0da22d93675a607c9e0943c65fd95aa8 611c389d01e422e74e0bef7f2f2f9851d098aeae 95f81c1b0d94f9bd16cbd21ab514c2d892415ea0 a566efe065e2f6a873df2dcd5781131b6854d35d c82ea78e6d5bed217a395c17afdeeefdd2387717 e17027b69b3855b2e1c5d8f085ea61fedccb40db e6ce948223bb1e19d608415df1d61947751ae584 f3f55c3ee1b3e884c71d5b59127924c7bbbeaa80878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 74347d6b35213cade348daff365b338f4a554a127d7e90c33154284234ec74ca3ef93827556f3a68