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 $$ _ HOL-Bali:threads=6elapsed=70.322cpu=231.248gc=10.212factor=3.297zXZִF! Q]ŗXf1-q恈73w@9!Ӳ) Fz_nU|!i"JYreAgz >c8D'0Kp>ݞ+d[KTPƒB-ڿ܁ps*x7+jTLb19(5$5Hun+6ڣEB/BP5ZƮY,`>a΅qrfBh!󃬣x&Y3dy6CIGjB/ShvN3p(Xo_HN1\LcaqR$-L6GFA_cg (KwH   HOL-Bali]5Vi%VwinjuQM<|9h2{čd!D!)w i"3)P#d<|Z#d2ZwFm&YcIMf\(5-d؀?6f6kkT IVPkDU*:3n}rū{A}ǖ13#,1Pq k*u*A2,ZEڰ;̕w+jv(W[E2WMJ095)zz U1t0Y}s \~H}FG{f\h\(%x$y60΅Fxh+Pp:4K* W 9٭Q匧MB=(:~؏gER4ҏP?+O1e%ފ7H} stHff"e_gsL Fߠ׫q1%Ap;5ZE`&Иgt_`^Hmt]^ot$Q)KH#{}>߶-&) HdR23߷?xsζ#ϲ3 DЀPwòp7\34j%CO$) e%MOih^?4Jf@E-ԇTpU3]m-GnZ$KdL+ yGF C𞓎D;i0N1͸C׸E˓پ8>*]p!q F':IJ p!{yTBMQ]Xu7M=O{42c!I8kƺD.(1Q@+|fiM]"miB+zSZx^P\ LPݰߐd<ЄX18㊎L) 2ð0WKV<8An6^ xr%~#L>nAL(+Ry*ݖc! 0j`C#<ü)j@,B՚oč.)OmJzA𰦢]~T|{/Sqzo"Y|ȃƈyL|G{8یX6⼻>X],M’IvkPT‘G1Ӄxl_Վ ;G#g}X"g Eb۩3]PG_ҵ@j;R. T&v<+1݈ FJB$Y]ʹV6YwHQp?,y|˔zU:#t*vvQԹn⌯2, Xgcbst7hyl2 #<}#J{D)8Sk2#a8Wm^yJW$'U-:^ c4U~Xi@h_HCl8s`,+T t;j\l0g:d}/@0ri3Xٶ$_RZzWQCۖ~dPTZD1y!Gj'us!ku_]A zWyԅUu(X0:ؤ@^e|xB& :X{W姨7zor"Z9yin^x@Q0l 5-zg5ySNGyEXtps'w[N/@z/#j|U $az>J1ij` sm [m>ҷL;XLО]D߮rCT7ܬBB2AGxg-?yu0RTftɆ9hP՘d$_-s߄vVZt?PPriϹU0g.X[z;cٛ1le5Fqjv{DIaΕSz u恵խMG*iWTapspYr}Ԙ_k!YAQl /T]W=wFO\]~Iv Y3nj,>Mxc*U\%pQ$Ч>Wh;v;iS^A4J9~2řa:g1!BlG( E(C?8IWcj53V4r+dy?QĸX$!2=p>(;sf=!܉"^ ^tJ&4@mm[{լt&{Q(H]ԏZ\=aAj-MpN*';? b+YSbS'Zr8 &*Tf/c mg%8qkdmf"kهV׽7i^Db^2T *,q@O:==qs8},>1Tac~@7nt:NIM'rхR1w7FW Y(7v; %s}㱃aq3Uc"XY)ٔkGL߄V kܱzuP$R.^OTƙ$ G@)Ó?zO kk^7^W]Pۦ7c" ̐%H$v`ظ@GOI? 0X-$܄5R½SEb6:]b󚷃$0u=:1UnK],Ncl)zZz&F+U`'Yu $*S17t ]|ݢ)bL!IB qs9x L/J_P.qvDMVrMjXv _be6Т{fq}9 BL١+>=ԙY%' ?o}/{_=#.8r]GE}U^Ҋy&h.7'ٴ1cB ԞP?k#}#[䪅epU^)1&$[S=Ћȉ6z}wd`N$?!ќr$ G>ScgEqRK8ŒTpuy(PeZ7.Y7hHklJ/ Q2D]dY]$ 揷/<-B@̎ai+b "0n:(ەc# 95-ͳ$9FL)E"8S6e(@{Oδ ouLȊ{t'>oǑT獵L?daj5\LG!DU n( R\]&-yii;C (%OĄ]'԰ߋ0 78=4:2@vo?g\ {PߎA茇95P^P%xEtw*Y)Y/uu31xkdW)Ü6I<7^S'7B=7WICԋ_P(K.y_Y!2˻'ǻ:Q֭*yɲp"2Jp#Q0OhGis6I?57Z>p"@qС\>`TT(w*t{ [֗eA^4":Qw3aEpJvmZ# 50zUl 5E0\r3TI~Bq=NJ+US7Gps_U:;4lw̫ުA^HE$PQEv k+GW3`E4f&`f' wJRM l׌҅ZL'밠zRxܘH1yj#z~!g B"L$SSeyJ5Hgeo/ X98n ¶>U絗F~SB :vw(P.t Cl]Rݮ->Y/Aqqd)CВMwM&ж{Ȝ$dxȾ/mZ+ZLɟ:l2qk`tvByMSz1z(Ӛ\BSHwB=F?*ڗ3`B\5uk | ;]#|cuW [`ҚsH4A'q*@T̏%MIbE;.B,n$̸Y3en_#(`6tL<{-< !hAid&Tؒi7%,TG"//jY8R^w% R]/yϕ1(@h^5XhO$p]d}*/Iđp*s ω;Z]U -*~or*"ޒF ;nMl8rT e|1&WC ػFeWR N#bcgڑ\ 򟏏NNΏD86%]T]a l{*8~Z V1< zp~. s̢+;.\[W_/9@־,I0G:5_g= ,uUņ+m,&CF臢Lӟ*ZtY<e3hK3vJLNFË&fUEmhND^﹗ђ$Q)on:W38f(9rYxu<ɞ˯(+(F9Wt6oPO )YgcA3Aֈy&i!J:^$sOh\Yv`MΤʀxHYt|t@=Sd ֏">es۬.,pVnj^X* hk#؊6츰g` A/tx{@6iE{`WOߴբ;Re