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 ^#<$ #/ Free-Groups:threads=2elapsed=111.200cpu=198.592gc=11.404factor=1.797zXZִF! c X]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-I#1{v?lxJi'aTy|0AKc=U!X>%>%i Iމ8/{.# &7ŏ>>5OC#DOoc֎˱ d ݣԴLF w-y8 })67-<ޤ7kvu hyBaZi?TW~>\+$8xӯƗwt5zXA}8eQ.RDGN,kPcMDsq'\+>%5N y]^ggNWmm|SYb .AbYZ&U rߎ. \(|ɾ q]1~vE ħr`0^|yW rѲa- νْF!eJR6 .R{+A,qL2bn&xxY<̱Y)]ev 68kB9]='4."B k߈Wf5F {`Ӥr8e86,%R/9b!15t)b--/ghM-M1HHgl"?7j`zhK Ʉ82]XBՈΫM- !4 q~U2->z)i<׷n.]ۀ`D?0mNyEgH~JƊ?JFnM$Q5q]9ی3 CfH6T|#kQ4kS@=p q5P%,fo;$OX][CLY¾H iq^4cŤ <Ezl De]GSXP2qqZ]nMkҬOӅ./R dy{_ )b ׏}ZĎ'@$2#Û= rO t_ ]qG -eA}2#dwUO YJԄO=yOoKN/Z7z6̼lo@rrur ZϺgTO#in@ལE&&Hcn=LWl; \ĻB-vs8R)>?bjHnZG}>ܡҪp;A=kNdX3M-=!yg9ctshr,Q+wfS{Y$]4$tL6%`(x)ƯJ@LT{8[s FK+=eJ$M?vd0;\. =h$,X|7|wzjU`  DԥO-!4'0`Bߕi Ert`Q ~~ͳS.p Hnd`SB5vn d'rAZ]Kח E@2R9^6+ wd!r^hGGB;\eM(S}~0lX[c;\iVx$Xʎ׃>#&oi lU #K1^Z. p3j8iL=ㅸ\vfW5녹`v2+wvȪ#D[] vv 773c;MOw& ewx% /]n 7U?VZngRb&;[W6jb-'Y躉5[!4r.ȫܫOP ?~[:4W"2$g|{]>t*{UӠ$콵la%ƸM. {SId#>t:RTΨm"|)=H {cSat]w6k:bfS=/=I(6@y&(].b-K gyҶ& |Ld)oV5ESsݮd UEWDMP_ 6|Ěy)_ #.zD7mE{_e-Twԇ{P̍da1G=o2(Hb"'{-^[3. /4O$Naܤy$$9KY3 c @S``A[f^‘$6uxoS1Zhuh;&/Hfpy2UWք5{Lp?ZA#rn_ՍIw5 ,uG c:$M9j؉H]gdxuq+Q#!N>`Q6|̆nnٰG}B<%ݫ #JP883`!0tAutnɈBZomBY Lw)T` Seq]KwQ{#)CpdȒ 9eƜFVb+ zT'hmS X\zf gNVR&-_rpdRcS39K$QFxcOZGբo+R=O~ @mwR}y^AVYTNfO]cB҇0U ,r"?U?@5/Y\ǺuԵd)g_n?jGj" #M]OG[y9d n58q{fܵ`,w,bgRTۃW6$?o7Csh]Fq׀/2yҴU A|5srUYoI<6Wrf-;ӡlCI]DLN6)Lf=ur UTzġИ*?M44MOnjj[NE:l?;ONSzOO-=-y SZ/]GMiTanenWZīҥO kOu5˾?sP9M:K'V,s뢵0ON_a/o?[ 'n֋ѽSn1OϳJ3%VF.&Gրb xsLյ萱_4mEh+˦qɀ ZGDL EE1e+ۖb|G/s!'˰>8WDH>{eAַ d ݨfLP.Tet^R̀o'_3o1juDBfa\3EXtkZ _Ō^:Ufn@n5ڲ}aM*2νw7Z iZalv9xՄpz/LTzqIBWaC$1ޘDBb@COݥ~U`Pa~˖#2I`={Ji7]RQR6zUiD^]Ww]Q!k:8ZK >&ھ+2͠ pk#fRV)1n s=};+S ˃#p.kI:rcC|p!-=#7XG&:Ëe_ñ};/ $g*6G ~ҭ)\qp?|v@Fǚ}-,)̋WNeGPxiaco⏶j <ɖ U=] gZ^0sժ8v%25-K$4Us@ o iVwz5NIhɖfJ 򜎩1jUDi.eJ'݃-:YH'N.g|Ne9m|h. =S6Lq_g4#}]&t,)1ZWد_#cb&;-:?(e] ltouY=o:ڴ{x=:Ace|4&cdٓw8weL½M~z_^ 317CkΑ6ִ h])b)&ocY_kv?J17$ 7z}D-aP܈QRV iL[Ps `lq:EXpDmǔCgO _9.*S#EO(ýs SL5;`Ii]m6 _HKܥ[tZo`{̗Yk6P@l'u6~Q:qv>UA_/I PPNvg'9.{Q;nJG}8NpkNdSfl;&#W2f ^<7}`XR1BsBe*(?Fcto6#+u{[tU˱&UFhXih"ފ2\pnF}e_M rP 84&Spm WvЈY şFf;4؆`P,7Ѫz?v~y/WD&}" d