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 W%t  UPF_Firewall:threads=2elapsed=132.394cpu=217.560gc=10.028factor=1.647zXZִF! 6 1]ŗXf1-/6vR[y,/kⓙW25?t`7ȏb*_sM`Mi%/RF8J/ sY fd@*~(۳jFѳ"Y#oTQ~z%'퀨'_@/muFVާ5Y7Tv_p67e ĪFt{T> [sSa?(8=q!o\% \+/WT`b Ay5ܺdapŊȳ"{mư@YiHqPL5|45^cPR& Ɓ'\?RRqSK*)g_h~<d+.qkR E\؈ ;!̻{s15Bݠuuo2vY?`aHhuriV#RauT>;!1⓴MfZ N:<vLchٖy{Q.g. # ԕTo nwdm FI-+{pfsu`]M/yKjJTk@LQ*A Ke^Ok&|q~ǿNQ팦!3ݠ5s vDO$+S״@]/?-ČL4 _1ޑ(=l{%E>Z ۭW¥O1B61l.䃴[/kEzKfcØ,@OEn$ 8ϴ"JysC:S ;Ų4eM7J-gSTTѳhn+8si~.rOj+S3ގTOw݄7rMv i2|/>d@>',9Rܶi$贜7m48 9?\*7eD 6~|0rӇ+=?:^<9mZ4nfz Μd]Tg`o#xdNֺm)1%=0U0CEՄ!~-WQ-u<,-GSXQq/1rD&NU3{r]OH0kȤR0]Zh5qw R#l?3J*J.ћ&U6ȟz‡ˠK4j _K;REVYrwy؇dXVG9&kҵ ӥg)÷aDH8 O1Ca''p3vL[" HoWwp: 5+eHDUn2 YryGrmhp},M`#q!ū*n%|[}ϷNԤs45,qsՂep2惲._MV{I7̋TuӰ[r:g? 6d5D۱kC\l,;v)8inD=Yda0uɌ2.b%P 5eچ$Ѐar5mjZ(wg+: S~ ׿d0 GߌSZP,Lh \t0ةnA"NCIQ:=u#C4ϣtdGX+!n|\+wL<3mwgrQ@eMpɢkBl~ppoϣRaf)?FdWn S  T <;A BC%چ*/ffj* [ȟ6?ۧxB6*4?ذ d`'P@CMf; KW4g~" &{-׋ǀ JVcn-0I3UT|qJOuzsٵ|;JmI:3T6z 9 qc}UiHt);vF|Q*&df8, 7oCA0ɲXYV@B-0Xz'Ap"MC})TZ3LA#/nfS, h,­s.`նB0>jOhuW-BU)#jB]4l/,mTr l9l֏Qa,߾wN D70hұO0fdG,7*''.I^9̹/<X\,_w"|/Xmb%Oo2QԘܼ7Q\4 .:AprO}䡬O-f旦L&SV _SYM9&O&$,(7dnݼ#꼆Tk({ T|bs@8fd\F#^?@~Vt ?%@#sH3,gƟOpt6Y$@$>4&l:1uh^пSi\<ק޷t1n4V!{>oB2^~[obO>梇HKW @b ;MWKzO͎]`;#NKW[oqv3Lz 2mףySc'TAǔ'63DX&Puy=}!hD-\&>?u[oE'Xaj8nǹv̀`=¬=TYQ{~@?[yۮ mA˂ B #MUY:I}yPhi` I/n+Qh;d\hm`)oۣJ4۪){#Kz]Ȁ}cv uu "b#<3QlOXL_VwL9I( 9D[T%0J.z[\,:Ʈ)ڈ$޶q!gj ~b"L8(Pex˥q63<0_~Qy=lFhu7ea ӷA.M4tc.GۯRUbvAnN_ZS%SXio4+k^ʸ|A\<}p)3efKuMͳB}ZւSM_6лcyđ"lUiy9Sp}9*}R#x5XHC.7GxCW`+s혨>uoZrqceOa&e%~YhVu-Jc B@Pꨖ;(ƒIR\:RL@km3rWBuSHO"/Y(t@^!,{?S;4?6 vA$dD5ƏLfМ!.V|8˘%`bɦF&+Po[pVwpX*L2Z Ln:1=b]]"{d}l~1VWVHJV8HVfʇ:qBGǖ<{A(ݷ9*SfI ׻Yɟ"u5"A|DQ>YlAk?7m*G8lhWŝrlmzrdBXe+x-1NAC=6iJ[+tfUly1Yk7PBBQ\ 1b!̽xC4EMޭ}Ux)9^s>7։|k0iI:g]μmwNoihC< _ ZIc%$/mg40~l[=De":lcd{$&yh|Nd"!]OEi$^x^S{P^q#~y&ʟWv]'F)orcl^itX!B-}{rŖ.Éc[ 1N60@~ĵT`N=jXA0!-:^h\in6Z=6A%F/J8N!TC$]U!Ń+-wa  ?  hK5~-LwzG*W; tKf9"m5 8n4,Wаy_lIR^˦u%rb;2l"3]fEIEqwX(`flsáC]V~ƚvq">#*̻6|dae/+jl=009 i2TrXr32s۩  ښgH 1G@]4W:񈐜0c_2浿P^wW[<6&O7x0KWgO,0W (*eyk٠/pF|]ۙfls;  ?_7Cs"An¬з I||VCM"<ibQbr]ֿ@p? S53`coF`zLo:uUB/~T&u^Ia冉x(5wVFnXJ'X |fɄ) +W{$yG:,jѴe$|<}ێ/˲/]ؖ(VNw(υ=د~%#kȇ/of]X*a fg7!^Σ 9p~ޛ姼џ=J+ZTD)|'}UQ~Qql#b ~#Үw5^#l8Kut>/XS+\H>PA#UZ%ۺy,e `ex-B6b_!SUAXEkkT= <s=%A ǚ;zK|RDKZ{{jEIP5܇dx4VC;OkK+{e:`zna>1 ѿ%”崳 >{_VG\#˖C:.g}࿷J} x=5cS}4Yۗ0ih([g^ _fTY9P,ɔzC{,OI7 79 \