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 z% \l % Finger-Trees:threads=2elapsed=15.900cpu=25.948gc=1.788factor=1.637zXZִF! Rh]ŗXf1-/6vRZZ-=X@ 1-PUL7J9k^jgG?*)rİF,dĿn6fl+; WA8컘 !& п6-% ڷ;n285 ?Ip2Ϙ7;pC{n ˓MRpjJ'WF#1qL(-%E+4޷7|EJAnڕOI)|Yk;1k+ZHHfN$"6pLTeXE/ov+pXxFm-N(S.WXybqM *,(ѣCB@_rENYՌ Ӏu߇=9;G8Yb ̳uLP{r J(?1nK6+16A@0#kϬ!I7lgõ͵yW({.Tn<<ǣKAXS$>ϲi PS `OXewKӥ.@`+qh Ckkq6cߊQ&)46Mc뚚n1s3XŜ<"G6+>5n /W]Ӿ[e|@};4+{CZ30iӗ[P E_UeBa QE\Ӛ@tj+{mEi>FZMGFnD« &8C2#opeӥݗ &[u/R%AZ@(AYrG%jĵ^uğoCr.l"8=d Na}(Xێ X|HF_M^)fZc1/1ӢF*}cTY 0 lڡKNNj_ݨtb*#1 E$j;u4"?]}5}&1D-J]Y*IsMp$E#',')u }\cy3݁"@ 0]g>Ky9MK#H4`[Iym`qzjo՞(ǾU?!7% ۂi!.ZK x.O^쎃, d{x&M}UwcEB3XKiO2`}x25X qKibZyxI#ʥ9(}Ah+*맖EUg4}s tӕOVyT|rt-֦NC⵷K 9DuAo; &@ gYZ7zXZִF! R0]ŗXi%!W:wV[Wۦ "tϺUX>GKMgƒ`ven.ncG8/N7f0kr-X/s RQ(Q҃,&gYv г+qfFM$FL @$}6 H*7h P ƌ`c,i\e<~iW#1QatSx]Ɖi edB"dTGU|jtHͽҮYx} sm{ y%ӓ7R6>o(lf;xmP:нlAִO@ =D/V}sVuEFߖguZ5 lڕ=]Ɖ< NVb4V@|pRQWRJTiW0%F( ƟԖִZpd* E0#ʴCRPȽu #ú!qD5iBbӻ~ W&^g2{FвYDr.Bjvɳmm7 1Wtc^,LcSp2/5XVȩk#u>~;#MT|o\=G!" DF,?kKR%SWK}!Zw811#G!-ȩ5WyE6lBn!#[Im)EK-Fs]e=WV^|ӗ6/.mi>Z:vzZf \|Wa᚞PAJA D>[dsBo?[!py H% 47׽ivQZ$MjTG]5ǷoB;V=m+.Gf v e6gYZ0a25eb7f7cc33a321c22d613b0e9417fa2305b72 736b9a2d5fbcf5a74e796743a402a2139e08afd5 8e2ea0588484394bc5cce75549dfba011ac8ef96 ac569f73205503acce84dc3475d1e8e387e281a9 b445cfcf1c121742e2f172367878a61977cb5614fd26823aea4412c74308567751ae895bf997201a c51b383787a599e178e4e8b340122b3ecdee1700 dc2961254cdff5383e97fe7701cad91d01ec577c % Finger-Trees