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  ) )L% <| +/ Completeness:threads=2elapsed=16.532cpu=30.324gc=1.608factor=1.837zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-I5^le1Z{׫}ҏXjN0%_ jgp7_HYHd lqXJ2"0:)<9OT-k}H=//g>+U2fHWKa-~lEԥ5+ YNNiW2{l0:F9Wd;:_E@"2 Cߊh(uJ_c~?*A֊4b%o퓴 q4{{.4έF<G`6"=t,J<3NUwEw[5yRVތ_c4jɡgտ]aO9̌m 'Xlت^(Qӌ2;m߶6k_JՒrB\LT˯G MehMcEˎ{|xe[H "Z#C^ݕoG>Rig2[oW0_$–=ȶo*rJ7vjn>F-ޟ^duj~ W%fE)sU]`&^ݓ&j"AcCq,8m#ln}N0 t6^0 N x! tIhǫ02'=tQ&j{0GHpnj_cdygc:=$>,[[@;[0%_282+$i98*b>h;yT૾8ʬ\;x*Aw7̿:1`,U)A)ń!|:c^ A5atyd6L}ΕSA>7_qqYLM䳓.@\YyzW(Aڑ@GJزVBU,$O@/)QfkʘYaVTPѣx:j'% Ňqu !:νmP%d[nnjQFXdA % Completeness5yoWriO9%o䒿.4uk>^^JLDweEo&:I*X gLS+֟)6Eʚ[S~ ` 5)q7D/< ^̙YAS9keړ. )>C&Fgb-P"YP‘/OT6| |vGe|<1f$kXʙVܥ]$qXk8"V, eJLx9ƹI+- 4?ʾuJ"X@}:nuEb m\ysx1&.}:\\Ʀ>\:|ڐ?Y$}^z;[6;6)aҀ=j@Z*;QC^~(I^>Ж Y9ZulF[c5[*/4S*T]ςD]E[+ԗ1JWHފ'[ldgWg?/D{dvGxqv?2#RZGeCCӈ]!"M<0` b~ qN$@j6f*pC:d,Rm!)^P?ܔV 5 i +\͂0ڀp[[, IF0ll[n}iT5OuO}s{ղ3~TA&q8*@ I5qU݃;`izWXjAG7\q/Nq—'-X'Tlhw]:RhqL|U$~)idz)TIaLNߒA>b'H¯3,F'IQZҏ(ss|X\OGe4"27߉ Y"םLNv/,JnGY̦RC§e_n'cΔ&<%c @&MAo[@Vˣ,bKFWIeF }~NԵ bx glDb혵(M67e|Nre|5wL6ZU۞YNBlE *?RLJ!iD8ri.*HxLzqE1igqNFy5b}RUJ J:Kp!,FLJJ߈7;`ۿjı=J\콬vJKwhȕp:7g9OdΏ?]nM|5ݞ4?%w⼃bhJړ ;/C:g- TiB$cQWIS8[@;%fh;%;`|"QkfgM$R ɫXCW&뷾j&o[ߓξj]$8' #2u5Eh+@QevJ2TܑfATNoEMG/vC50{PgoA(xq}z{7s_"K`@'TiDx2!'(/Ǿn"^s$hnWX'8@[/O2:^oԌH|S:@D4)g3 Yw2AK:K|!轙I` υ5WJ=;]±gYZ7zXZִF! T8]ŗXi%!W: r@&{w_Sg=DrZ@[OM+h:TAuP6@6Vb ^sa8BzDm6ezS .|.qX?:3'lQxb)[ #'T3L[Ko5K =de!BcD dJ@/#e)^i-q8,x5;ࡓSM~⣚(+?JEǶF`e#g54>Kt)g0t:6/4RVP{::>Oms0?u7T/ ,~Z 6A0W#zsTƭAfL/Vy pQ5% l6&֝ėJ 1U)S۠ DuO,&E0(#@d1)5zƪ'zr꥜uRA%KSY2lО2=r2ekP}jxA`.I4.c} ZQCRQLlf-'x $0]Cض7n7Bl lP4>@V(dvYHNu>,v'LVa`@NDlLCd# F?1N5 A9ې2xڄ(,nr?S$)Ѳ;_hejge)${Gx#aR]zq",s N4SZ'x 'n[ 3\9Gė.=LV=!Z7Th*ПHĺS/ +H+]N{cW҃`ޡ?Q+eeZ_jnFkgWawދqf-WR5 ]Dٞ.ܴ:܉fiP>a oi4麗R[!󺋫= czgYZ0f83e9379368d232af1423c3a9685e6e1cf74f88 1a991e74bf569c20a5e08125f4f5f6a81d551b59 1c40359cd3b1449d103902d7eeff39fcf5ac75fd 20ebb6cbda9a73b97a6b9f2d7e86df788d36e65d 48df2e34c52cfbdd85c8fc777543850c662b389a 6ca5888c24e8690d8c520b193151133dfd55ccd5 76257fdf757bceeb5f7da0284ca9e0422058891a 767b848e899bf51172cfcafea6b2fd397e8b0312 78759369f7db0a7b2e1ca4cd148107e261ab15f1 82fce86746f9061205d625fb926c1da3b71e3bc1 97020981c6aabcd5f9a12344194388cc00a68b45 a120cde963232dcdf0fdaa95e25874c8f0d33d44 a6d881014016ac510413e96c94577bf126ea335f afdbc1703bcd7f3f333c2e1178fb64486e56a6cc b9c5555005d2457d66592f71382507c4831b3f89 e46110e63087064fd6f9b57da83636706a45edc7fd26823aea4412c74308567751ae895bf997201a c51b383787a599e178e4e8b340122b3ecdee1700