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  `5dd // HOL-Record_Benchmark:threads=6elapsed=131.815cpu=215.608gc=9.708factor=1.647zXZִF! i]ŗXf1-ĚEM@ٚ|3#fzY$!hftRY(qm\2#uAR@zlЙD Zl`0y7@ugYZ7zXZִF! i$j]ŗXi%6jt/9P@QZEU_;T|D`FzW2Jp.(W"0~{UNr~q2)B<2,?]Z9Ɨ|c/H-"c"uxJ%ꌑ6ze'3!7F[cj_4O]Lnԃ v(1dROʋ&1fܩՒl^y:m9&"ǝJcNqgwSUK@:l8\8ώthjfNω)_`1ԃ>M("p_raiӻl7M;RrMh%mqoM:4"HGMy: ,>9q>Ѣs%>\9Uo MQ8 "[9S1OP{O܂~o>PibUSKas KQI1XG񹙡: t:HעX}kg@7 ;Kvdlgcx&"dm[(a@}Y&'+R[SYr)5ۚ J虱TR|R;|& &$wJw9e:վ{mՠ fAVnPR]Xvwәd.a5nEB&{¤ CW" @^̨ZEwhT<6ӤҜN^вҎH `b@rE<&)]SI @&FX= 6ew&K\[sԮDt*}|Mt[iJm3V;lVGe+Rty.dۓ;8wNs(ih}+EE@Ϯ\Ar`5ez pfi+5BdR*J2wJ+-]ӐƻcP<*;Vk롲:-_JοIwZXկ yT넧kRBaF]O'z"gtԬ{mUGWRòGvz8l*,e)X]sM5d;?LeX$ڑ.GB2NPX6 I{F3~{>4|GD|#7WHB朼,Ǡ@=Q% 5 HOL-Record_Benchmark(j ]p6b!?$=4~Lvfjo(' _螫a^EEhR 8}fDnv$7DG>yHoik_C25O(0J`Ż|j!|#\UNkk:L" D_RCX#;m<. 15hܞݔN\T-Qqdh8Sʥ^pDZbK9fQ+@pϹ{|>*%~EH`&p-6&l|:M2]]N,M-}J*/2uHp9嘄Sqm/8q?[%q$}&s)ٜYL`j'wk\~4'46h#,Pos_ӠHcԉ(L0EY┗|Φz<0N+_@_(49Χ8\cbp9%6c5TNStzGm|yBY4TLMT(rIR!sω_dF;XOo~\?{f~pZa7H7 w4׶3:o#d~kcMsNwc1L]Vފp b,5A0$D(eAKt7g<ԯT'QrH߸˩"h&EMT&raJI:a`_MHNMI4:D90驺v<'oS%Vt)pPF @%!,Ҭ*ӽt1PXwbx?\Q pVi&||;n vEUƢ$g>82ʒ iay ƌIK6&t$&6o tgmްu1 Nd>SoŨV vC $?=>HgP6?U{R'oɻ՞n`Ƶ'C5v#Z mDF ̙L<":mL_Jk]R~A Abӑ4x=R$ﻘ #?,vͅW}vv-G!X)]3W/v$*۽; yu1DRsZb'TTM?xoW0J|:XGbTЯzj27;br҅sCNou77o&tN*d xv WG~fyO"=, q`r=rY%Xti;v3 Cȕ2|EaUXPA Q.:/up;Gۼx$t"҇5*9#QbMb*C3H8ld~](F_.)f <}$9[P6,6N0co (O^ñEږ}n2^1`F=S8k,zG`ӎ!'a.Wq,=)Cibړ)MpUG*vSiعA eK$x X\5- 0>1flr!p\ʨ stk4w \iI1sVZ# C̺X *Imwq^ Rğ9dS'=o$€%Pg/̀dcFa&ٴ"(p R4O7}17L#y;9{\!P0; Hӥg"9}Nj0m`gXnEF5Zٜ&m>+uTk󞔇1=ͳ4qV/$IW4T&cO*6sTWQI+e? fjk!ֽʺzpٷcY(i N_lŖv\ȝZs`?a@;iR!퐇)iKQu8p-9iqOGM{uyp\2<&VȄ3Cw"ӻr^|)\) 5uW@d$Oe}PqDj%QH*T8e*-L}ÝD: PFwgmVǬTf[۪:t/BxuNoWy.ЊI v<Znvtؽ%fcӡ;2|F&k uObO͏'1d5' *J$ET NZn #yS.9 11@:߲mY\ 鶯VKi c2a rI^щTG#7wBSo{) XizC3{ T2qXq|*N$f]Q&.C[L†k\$beq}Ϣe`NQ<.l- Rg