SQLite format 3@ .C  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 vvb9~$< ] HOL-Datatype_Benchmark:threads=6elapsed=516.988cpu=1916.640gc=687.7807zXZִF! 5`]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;KsPeb w.eM+ Ȫ4Z8b:CF|"^ _SU1[33 4Ș @yEU~)h,+{30YE(4zDz?o%\}ԯM=nxb== ivК09UW%LZ sݰj4K V U J{^Qe`(AOۆFkU( 0G5˽{Wպ \*>nQ7aA!3++XC.p ׅSN,"jaS6~JI+Ë5-_nX}@15+Hp+Sҏ\QEN7Lf|`c]،rÂ'mê Ե\BTӠl8\pgp-,CdD+X t0uǕGcxxC!anj  az5bJ蕪0uGEՀLSc/G'YZ4l5%#76'˿uoeiO72ks29,bKv1'V.Û=c''$pѮIҐnܾaU 27l<ٮrMS]wt,!ilS 5g G73 ' #C6LWtj _3=jd(tT 5s궄@5 J!tP{4;O$wVd5Ҟ@겿QYq@':Edx1l(=X`⬿V=-ҼU$m`?eI5_w#TtBs1 ]IJ Ks.= F5^q`8LS](GNȼ%<`ˡr`_ՇI "aqhD0 HYN.?8Mti(! jZ^gYZ7zXZִF!  ]ŗXiɟ1)*u%9׾Z;hO t2D"TSC` _"B2  p^ y<Š?܊3dZ/P HƱl}ԱVtsS~bx{#|΍H{Y3RVaK.E^(@M!nZv9 R:z|Q*Ɖa'َACf t" Yѩd [$ ,b;= d'TQpȱy_|=8hEԷ5rLGoftVEbt]ON[¶[oSQv@[tF~|yܒ^[W z:F+Ɍec‰FQfsݧPԆ7&M)SV}E_F+1!:g$= 5GQKi>Ko\c3QjU ].^ȉ]y'pvdMoWJOW';D-lk6wJ"p/y9yEbSQ [JeЦhK*ы, 9 HOL-Datatype_Benchmark  -N9G3 HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRdocument/IsaFoR.tex7zXZִF! ?]A-MՋhvG"uIBm5 K(mb.R%zRkSRHv{h"%&n^+sKEFaj Oӧ;W n!K2M\Z`fZE<"DlWĶfJhcxR}N[a] P4fX萾T5ѝc!poo1J-mbEy\1Ek#9k0 uDgSI P4Bߥl`W*0h:gsB ߬jN2ea.C5+,(RmzX1 e)KEi!;6`^ɋz˄Q\* *R>JN63}M ב\괭<֡嵍>(QQbM&r[q*CٗR"FÞ ;@i1B@_ln:FS\W 94ɇDka>c q a'`H'ZXNulZ>a;!zh[r KP7 SμoFG^*Ϫ0c%̘Z3=~/LUWl&/@+-!KDŽ2XI6)hpgE)[w[K Wu[bR;5(& \dqlUtVROM] ?(5b~ 6P \ޮK@ `ԡn 8o'Uat|G->|h(5ƒ%뼀:е <dׄRRsafQq|OI4qHCuѾB6bg'u0'o{F98~+߱dܤo a:e͂l1(͆rWkGCtُ BqIS֚2f?rsb].g9 5z/D>'$Na+֣]+Z8Yݶ"[D.\k6q„?`>^UEqSFqs/ & dZ=S-VK՜g*"l uXw2GV_ o2{{ "MS~<_ґW!/M"^ =ҀBـ1-iJ SVHrۥp<cAHΚiK"e-}Gwasp$% ʦuqH6Q%&ufGP/HbQ9^ cDh]տ pz;炙p@AyC32@Ĺx@/)vVX u$tk#+yHP A:/a߳9MdcZ:߿҃xf96y?'1^iʸN'CoxAa!#%J }QuVB!ay̖MUIq=DUnawqm[j jQ N\6­;}HDEZVJ䵓 xF{z u5^기d_hv+7c34 b D/FF`*Tb>;U0S͖3KE:=&j%,A"rtcSp68Equbm kku=LIzI]A-MՋhvG"uIBm5J~{U?9!АB-.QB-v*Qov.@5HɣsN")_G{>.TNQ9G^ HV4*󙸍@N6r3yndZbZcFƘ*`vn#X7JG+&ǂC xwfGYzzegIy?Oj?SҦQ h-N,gM]qW$oXsP$fH#mH9~0/%H$o'GMWl2/'vgN.fqP;&įּگ@diˁu DgC'(M$#ܗw %ܠoX:բ =R疹7S&;ɣBgp/C)Oxh1u]2=C\&>Ս Ƀ!A}APb!3#%ǓT5-lFBY@g3[Q'VJ ~KЮKW>E_b1\ p:%/T|~ʱrjIy Mjs;2x]n2\7ݩ6zP ox0{z0;~zHx9f1ƼCk4/S>u-ϒlaa 2ӎUa6C;@lHMLG~x1hM̱?/Pݾ,sq;Nߧ۬ rwBFi>cfDP5G7PK "gu<ӱO,"bs%ib0$ɨ@P`&?P~V9eWYg_z¨;Pxdz^Y 6fst%\MAoC}2"":[mx{wB_xQ#M %JHBĞHƙI? -Ę>%e;XvC؁ȭ]٪'[?f? 7zgM$(~xzxnEL{?\ȗN$|wCFC C.ؘF" 1/VxwS6zBB4_ACϟMJ O· QP7ɇi=p ״!: ^ lBJ$fHS#4ju$;-ٞqmS>Iz/o_FJd V\&~[iL}/Hk!.R_SէmG.4hZuy<z捑;"lB& (̈k/W}8CL sE*O0}i8A^=Y֑ͭRMQ,հ/jfu֒}?^h\ݑM{ nAsMS&3c?ʾ>g i8E |aAϷWW Mm㥏CݦpN∌7x{E"{pPuA51WvS9񢉷5:_( 10-n+螫!*DksO~»XɋQ φT0+WDhlG;`[!ѡ$Ҥx | =%tP[Rd&2h{nsyr>u.W,y0&>2^k&W͢GQ")>o Rؤ$TXQ,# R. p+`y#(R7,]L׾ yH3dWӉCرvm$ʴ4؊4]UQ /3u6f'z80SٙA(9olzڸ$UقwׯuD}L&Pul9UO}RX MdKt,ni>Qp)T bTeE"s$ K?A掊 >& z ~9#|F $ɟԣr8Y!燞 _}A+%AXZɊTt} 6bF/OXGh,|)4Fw|#_wf.\=p_cux}ҞiII4;!ҮcN7j.Uydm@K35UC&ˮfϜ܎LƯ" A:5p UvLmr9#}Zi Zg&a&>{,zr7 b6vd -I&ݦf׵VnqgYћ ]}Mֿ>cQMo>Ss@S%&jP a!_+Kַr2P"cbP$]hTٳ^uIFZ GwQV"v:6r$] }w8UímnQeX g)_FO)W2Q:;o)Y$UzTk΀h f+q VMv/$HבW}^Ӣ1 0UC8=%@w ʑ^ࡡ년cÕb)u##g+)&JN~t0,,Jʼn 6.\jafޑ"0+)ٜK5-cA1Y I lsM,L `݀s4hUO6o{Dn}uy˺p&k,rȢ?\B)\9(G˽9BӛYfH)א`/)H~[`FGd(*6P$DƓIJNTF?a N 2/( $zc~J//F~A+xCI:F[ƌר覡fm_ZPxU!s,]{i+yɸͼlr@f=O ;y}$6BK-kA2FEcb!K> ;u:, .,6B wXc 3:$MFb9 7y9`]̸p!0ЭiitɷM-~%.#^٩W*iq%NB+ciw$1سyUU {z-{3:G=ƒ۪Cz kn&#L.H (~4柲smz{φCHIuv Aޯl>T1.}b6jzF-#!ۥ=7̿726uNp#'}kpz}~2.lHh p l/ڿ=|&E3,PU:.B4JyftBءoH`:6K]ߌ M.)E$$\=o>-;;7mY2=5>l)[6L^ރ &$DCCef{D ,h)<7I,fq}^oq7KE\?~[K=FqVtU;Xr-B,ov9Orv%ygYZ,чF"umoL}A]ưqI敍XrŚ‰%SV`УCށ{LeyVhE3'yF*Cn؏rGsӛ夽:&KF$qmc'H 3"3P*2y* Yj(u+R kZrgArvW5%bk!aUӇP GF{Xܷ$56C'y bF'5h,:nXPĨՕa Q*sܢ-]!/(kH` L[Dv>:[M<[;~#mi/GeW{C\۩a*.raC1ߛS)_WPf ܗXN#<q  Q`Cw0cRgp hEhx,"eᲆN$Gׄўy ʌneH8"_{ƥ={LZ_1Pr{s,g8rSl-M;x&L Ц y=@ #$аr9s/sN'd?QPB.jja*-`ɻFHyzK*@y!utNF!Kh3%Ycyp*Е}K }IϋeTQO%H^ݼ9 flG=8M왧̙}JY,\Yx'h ÅDȌ{?h?IW;"U<@ e)!kÅ4wt'!NUіr@R5T8tQlzد^Eo˝!5XdaF1~vqJXA96jXُ>ڳ^p"U?b?܈GO:DoU|r1~KiEQACVS)t5 m=}L+22]Q%Cp)';+A̼!$z *gƇyXf\GN-f-|8 :OAp'>1`WPEEē݉W5 `q%@Gf<ٲ#)HCG_'q ]M&ݣU;?Fy# ɏ8عW[\?b[7x^NNGU;#?|ҡ@be.[#܉3O͹լy`XČmaw++|]?J.dvqS<# A I>bGGwH߶)߃7m(h࡞Bjq Jv>hBɤqn*_X ({Iy0*LJH'B5+ibkg?[*n6#1 }k2z<9><.oZ, 13C%eƊVuQG-zRA[1v+ybLaw~}0Oށ [@Uh}Go>w]N.5vN3鋀q8aΌ5};M$=jC0uT9? :(u/(`1S>Vb+;ɴ^ܪE Ptw}-[cՍ 0~x&#ϵA{KF%p;G?Qr~CQkCYPavPʢ%A+L^a_HFmjm'"i9u1ٚwEOk>mr}PrcciB])}ģ]ܲY'ȓ!2[Qy frj)+>Ixʲ.e4֖,y *Yԍȥ_^/*Kop O5-V7UrA6: A*i.ݘgTːb쌑- g=@b}Gd7D}ER^2+oV?h<>勱1rȏAg?|ymX.'7UHxjAj#vNLGO!OH1nj#X[BxQSWuc-ӟC8l(n:24`ItEwCkpZ@*"m^R%Kˆմ}*\\>kfԢ $^ܑӉp:Jf&%FFg2VAaIkMy~'?E~ܺ6`r' Tvf(Qt⸡v.g 7 y9 Syq1p4XC'pcN$Pd1ILܒ=}5_|H"H% 7~1Do:'H:vx/.Ë W*gYZ bGQkŎf$/io47X9"hwn`JH9Z|_0CPrzv-65J/zkH]Snj;0 2j'p^ 00Eyu-Ӂ^e9?[hƓ[!b$|u:OtBB`*iw,@WSK\>c5 ّD} LSPXKiPM I)(.UL6Bn@D) 1&֚tL!KVQ 'JY ZGwҩ5Es5)@o>-/ZBW>x|8DKM-`W˥tH O:n|VRxO] p(˞98LW{JxרHēdM)+Y&ziOGgMpG"dᛊ%2RK10\bV\98lDyw8e6|4Ȝ.qB1ev @83Ԏ_KCf |GNB4ҍYsQ3?h%2%uεƽQ+VXeFxzM v|i勉Uv܁'xvPbǫ/&N}\-ms] ioGH,HRqp]H -#"\[-GT9 ;lYA4)R D2o/I\k#9jwV8s2eh%"Qst8ثf3E\3 ?g|6Uis"X:~ڤjquK7Cq)bA7{PJ?Tån*KF N.PֱH?Z>T/AoؐGJ;oiaKhx}ӹqϝ7RZ,Ja u).o/N\\I-Ha=a0& ՆheV@$ܙ+%GEc?HDs1GU'J2/%ڃ)z$PdV]`p 9E(wg5Jb>_a]TǝL^Oy.z-V2hv@j~9~j GjÙ,jQ6HboT)7! nt,v)El% !$EL4G #ϵK}q sr~}=p䐠lrT$Q_P|ːLp Z}F032:%Pd:GY/w%W&Z ^5[Zw^kzK乷_t(A]X-A#73e3QKEח[Ľk3IŽYs ,|3X~N5?YHY5?4C̢j(m418+_Z NuX$7ūZ "'\I*yY٭l溗p{mmD1;xO6(jk AQC{R(HLQʀ/+/Lk$-׼sM=!TCTkO$wXUҎmD$HXlY~2nV19"&)p|(T{TDoZ_iϤjbh%M,W _ ט"G{"VuAkzD}7V]ӆk̑fCvas7m{=W )tu\T[v`)D3]qƾJVuVٸ(&}kdbH!dP3 җDC1UL7x~j):͛iwʕגDNvU!:i}-ueZdb%ܻşHf`DrR}|(ysAk#-rT`:t4!2{̚NZ!},{%H vY`y|BͱaҠiuzb/w]ݞ2:Biz$QMwB}Lڋ%bYyWQCSTxG8uNڤsʖԺv]aEϰCQCIŽu!H'otyr|œvav| 4t&w(~Hd0v)SF HBe%?r {3_aPMKǫN Y7>>`_) =4)g\F3G(\)o==[6x)V ;~εnB %Q .`)Xܓ,bLYZZhqs|^q 'f@s M+V⢌{-_JZYјqm+jJ(&tk?Wϔ]g cc;`qw(c5 3ڔʅqߜN"Q1={ɦVO¶uj &֕7 ҰE#:E³?6bJ٣Q8Ex1Ȥô\qn mL I<Ǣ2 .丆ҋW\&4޲/᳅ {sg]'Ϸ=j1$/oӲkFMQYC)H˹fV4# j/`y<̠e >:SQLqYFzDcYJ.!"SaBVq6GD&1>Ghy0d$M PD* )<~,%Nӥlj m(N瘈YzëQID&qHb"98NZ,15xq)yL%WvM'y[\X~m~k }r.Մ^()8i`beض>v[zX-LS[X"U)L$ȷA7O/^!̓@SIjW9!{@r,x,#.Bz(F ѯD~@, ꐧalޛC)џ`+f-$;Iώ#6wnۺr{y cD̄L#X=MҧB!Qm-\ xLV٢s'.p HS/WF"gKԼTȳg٥=CF= Ψ0T/ 9C.g`W JQ& dO.gy߇qO9>n[>ɟ g(.@M/TMQT;4ɦY3*(jnwЏ5L;lCڠŚ0nk;l\^s.;DYM]gVyN-f*e eU wgd{RJEs7YvN;\?S|` sOBҨ {c=- r_"gIAvۓhb˰ZA LFY[".Zyyeo-!BU+]2m~m Y=~l>.K9yAQǙ%ai{Ev4/j|1e>RkǺ0B=p$ 0|\&9Cŋg/=0q&5lC.bh5Phy{7dp3ރz $7dYr E'$ (RVl@5m'<  $>nRgbDGYB];dU -l(Yw v\W/㇙! .Rg(JJBA@֭2"GYnwtri`iZ[V&Ee{<_,=<*CT1>U_'0g%m9N:SڛFNy?d[+#o)Av^t 9}h 0r]Rn,l# N i tۣcە&2ڣrd*WTl Rnu86آ!pdչD, $2#Lgx/^Q3xgZ8&&.[`-P m N{ɩ[*%)LSg>no 9HwI)j7`)Y0+O74X/f+gM@h؀&] AJgzfǸ6kxg@ >ɮ \`%l-'qx 0d?btO )I[Cnr0rd)[" a45:X^;?,E)dN%+tt FIIzDWዙ[I6bEWzRbh@nmE]r|gN4-bri89@V& g?=9Dw[X&BnzZo?3؄L0Ԁ g#)+6@כgh_8kVm6(Y~;RNNtt6//#uq?3V8K&&.G䢤#tC>X-ۑϱBJJQ'[zXLlR&heYΡ\fԿT[l֩%XuאڬFM<@¤颔ͫ6gL9@s &}cigNg>;r2cZdRU/E#aNg/T/ρ EozmBg\a0}3T]^ǛW [⛠  [c `,(Icnl~r@ Rʸþr*A;ĒfAe]?Cz=`a\Fj)gYcls/D{xq^ǫ|uD72Oc *x`i[uItN񆏠O[i@\}Πԧ}4aHwHTGDѦIU"ع׍SY>|65awr+J0 sT/YcyW3aܪeqlrK’ly⹒XĀĮ#te&(H-E6ދ Yiorz63;gJÖ˗QvbiyJbuIqOhqht*ֵoJ5jÍbM/4jG/&2fNbt+WɁUޢE=\C7W޽m[Y:5 !Ї(>򁧶Tc 줝(ςqe# hzfC|]$,pef $sFʀc.@d&o8o3vDǕ W 7q]P'R%Ĕg"BϠznGtKi$ͣl1A 7ɴ$<Qr 6OO`%Gc,O\^)-lg:۪ǎr" "NWd͗#$oxdr,"aB|(]thռ {-veAVh=yuJCJ؍Sf*UE;HƢrIvR[np '׻\Z-pڂ}* ݶ?Q ö<;x)I$>>GGe\$Ÿ0zh9.x;fxc#H?MԶ "S#YEki ~sPI<ܮsҁpvtI.XIb!6RI7 +Ng vm:Q)BB (SrU@ E˛oDuW i9#B."Vߨ+ǝ{$Kd8q#M%u> _CszyFS[R <0N4ʨG'ͫG;\ѱ{RԴ}?Oj]P)FrHf4r;(ɕ\2JS‹ 6Oxq$HuE#>^V*)uwJʻ@ !fgfzx(vy;j;kE$!ZdV#9@4[?"B۞}@9E}Ǧ`4Ckܴ5+c%1+ }Y3" HA~f1߄k:!Dzo2 hD:i`,c^Iof>>cF҉> Sl,h"l!710Z܏vÄM7I06XYl:F ! y@tk5]+'(hA &L'5&]i\+N;Xo`{%|/m)r9LU>:puF5J֭žIٕQo>{Q{7/"UKTCŏ0dz2(K~:*2j)l{G[?E՘s%T'5'ɚrӵ\O3\@Cj싻mZe"l|!7 n23).ڔ UYS+_‰w+B`6mqK)QiکޫO$s_ H߫mYVuo 6-hDUr&i< ^D@v&! 9)Ჵ}l.t琺w8E+%)2>1tÍs$ߞ'3O|G{/ܥJ- =S=Y M~Е.S?.AvA,vc)&9}wL0xBYd Ź/"s{: -m-ra/vN~-܀fw.ǯV]hWs<v_áP[fx,0ɱݴY!n-K|6vh,2K\!os}SA*>C&ukw.qtVnl%HT5Z5a&LG|1#5ca}-ԻqMk wQP!f|iW4RH슭nk\4JK&{yx2I`~xl ^Eiv_::+-9(3I͆qZ<*6ʸ`#Vy?y\0£܌)ѲƝl4'M+#@v˒Pu.α Љc?T#fMVXsTX8?£/l^syI/~P0:Ja N~S!A0.Vt&|Fs&w1Kte x-آj}(>]ѳns`VB+@kait./8]bMlPb#A%wtxբ t=)#:{sOQzi1A YoҸᴵ |y?ꎙd 7ȯEAyc3 (Fnmwin6{##u2ޑ4 (-*9TZ+{jfy I& įxq"URc'CNcLGξSIߘbJF om)^R W=oly}0v9d 0=.n[ $3V֎3?o/X>I*d☞!b{(Xf7Pn'G"㿥X_QQ,IeD#|ps 2tIXGMVޮwrst-ZںUۭ yI(Jp4Ƃg #\X9r҃6(WZf赼s\Ye`\ _=k6|IHnRM:& euB۲+y qbzmhD_&}ϸArT ʫv(PK!7x8aѵkeN%Cy_@j ,eJDGܦg禨I+DjKGXI^z-R\S-JKb "16ϰzi>aU(2݈QZ8nC;ԺmFGZnau6}"1p35;5$+i*n8X7M{+=T8aehZv3q!eێ`^z͒Q8 ,KaŊeR>_yHߠ/e}2_lJg2Rbz-O0,K4 D?7`5yx4Q?vv. k٤`/J&6C>ǁ  d#bߕUxaiZ{AXLhsg2џuVقP2S'6j1YzK@Bunuvd;<DGGcnh v@qB꧱.$i6iF"3'վoԲ`ۖ~.L2OGod ;qG 84Q# Dyߛ5!;S"(P gb;ZV&CZgjeܗh3ʖEA;GaCÐ\+M&]p/{ H:k s\@$&6vNR1s5qb 08Rq0b2qNakQz59+f1f{<3:bπuȕ4>S~MoAOh\4+ I`JȽt$J!FMb&Dw0_$_I^x9.&b4ZœV :1BR8כIA8TyMqi.ܼJIԤ:F˦4Z7qY}eJXЩE9yγ RBA_Kc$bv)TH>ϝB{דqq9H$w)mfDJ5B5Q6oưLpc5G׎=]8]2TF4tSoSnCocL;Я(/ LfPI)zZ<8PgPS&^#y:o! [Jvc)(oJ%K#;Ni ?άQ_>_P@jղٺbSQLXC ONU0 w 1 կW9pҎV,ׇ-;WH)~Q8&ԭhZ R8e(tۭ܌2 NG0l5$Kvh*wPwpwtk_;}}SoHONXu.B uO(=W_\$lb1:LWqoFDTuѭ֋YXg)'x(pgQ( fqV7՝ Q&k.z7%?ٶ.9#|T纈0Yc>|q[y.۹hmENIB„?2>יd9_oQ"ȅmVo(Ͷ}QR4y:Y$^7*_e=݌@?>$ӺG=@J,炎^"07VN/=zY;W8ob fܚu GBJ$WɅ4$ivj(Q]yA=2n&Pn)=|n~]븭V<~ߓ:UϦ1x' +12ځj:'0:M0DxtC ߥ&?S0MW2쳠8H}e|*ޖ>^t܍-])JU{$ A4}6a5Q&*@AN .g%h1KZN {[Ѿ 1yGtpf׶%OHwR{%XjIV-sAǭ`좎L'$"tULoϣAE0SaK(`W46A ]ȥX ZԄnpHp#_nj+4(6/ѼGHT@M;K\0S)8# H<[ y}5P/'A("m==A;/>W7tf~F>yM5\hܝe2[8{Icd uk~uZl"ze!={!S-& |$&hu8iGD.btr1j<"m]o!M&.9"A7*K;;TbDf[aJA.U33ԎRh\1u1@g|^A4 d<`h?hmq 8nkzvY;Cͽ6 z)ƽ@Q@4KӖ{-,40mwI(E}ޗkw%6jcIEvD p lC:5$ WX 0EcloD YT\ȽɿTϤe+A)$Ztvd™vȅ^U(hQ!ZgU,5˜u~Xe'؃jB B"rwyD~%I܀!ڍ5A`.Y9IiTajF6<դv ̏S7~r4ݛ\fcw3& Q0,dA9o=ab@kĎ܌{NsMOZ4[_J" Nsڷi,>c wFF ]S\>q3X 3VP8Qʧn{Eݫ_C]/[B>! #Ñ ]!GidUM m"9V8dt4'6ILZ[JV;A-D&Orqp% _)ҐVbT+ѻF ?GF.=Jyi'Ө>k'yxGdJdj9Lf¥_[bR<8-¾jW^NO[u%΍JnM+hUXsRJ5\v;/3T0D5.}Ƅ݋I*J :ƹ~.`$Lgq8|No X<>3MLчΊKeփKqP,Y3PՑT&.G\tFvgft։f5Ե,=VM+jjBLkg?H縣?#eէGQ"  `L̆sKZq~?eD3A_~ dCowƊ4f;8QtƌM<zpc((eFZMI=/i畏JI@LC;d-plA^!?|r<]tWG1# Bz9a3t𔎚X/^I(ܩEM:vPzj: 5}l%~LϡXw7,G$E@Ld{UO𚐨3 \ئʫ,Q X-`ɚά샩KBG=kbX Q AejݿcE4dD'eC! ox?ɛUX='86$5"b痕#Ino[Iv>Dxb\8m!-;mZv)R0V5 ?v,?n\g ąi1*^ dBc?>xJ5{GSkèM+_j)ͺ ãDSUAߛ1`;GLTZ)_+b=•LQSU!yYL#1]c=U 0%'J(emuV6Trn:@Bt$Ң8Hb֌IHy6K#";:<,H 9[ž1J-yI!=;_mňkSRb%YsA ,`%0OBz#g:'ۈʠK9ֿ1#PiP7k iE#jq5<}jm:s 9>;+l>X,@mQ)ر:;eG{bL.`es~HMC`pv"2N|>εyC)G G!?. qD0"Vkj\#+aka(3G!kM`YCc .]6')c(7]"6,ڮ[w3yd/N>teW$i[?B?[^p1{L01r :҄ /hωd> CauܵR3?e rMqSx$޼cdhtV=~WA*=-A=@`Ѹo}P([c3i9沽+EJ^ }hRԗwǬ[_z% +֤ Z'mn{0+4Jg^Da[4ي=InО^nejb(j5!\^P éxo!,\|?VJ_xZsNsGD:R~aܮ'!Bʅruyp^R|{\W7٪x;dW$`ZO_ &Bo[S2Vrm+Ԯ ']YMelZ@%tOT8br/236} ^HtImM-`tj+ -mT}0"o2]?[zQENpȊdE[f9OAPz!]%cXڑ߉CRdEpC#!жp%ތ@r @qgJ쳄wInOKI1duCfY[ы?P+yJx*q)1< Du_=T~jB]!r0pƀT!\MWhO{"L_`}pQKh14C?E 'FoPTcm w&mx>bQ+ϙnv]cu>Ο!r| 1];KV>x,I%V :f9? $%h*mVg5ly A`\лx3}D'RmMwkmt-9gXVjtWSɚfS<3OwPL,9̋-f3/Euǥp4#`P<;͟[?jO*Do# 8oX$.RpT̪&jê[ȜEBU? xhKB:-(F~:hSxvw sr>ǁM~"Z4UB 6nIB,;3@ DB$@'EQ|/`NaMBwnFX_,Uj{}B dsgCP'(,)IEW%*s\cmjuRIna# XBiM~|JtvQ޷Mq:_J]S1w (DZ GXtu+=ǟ;Z+ \tSԯ+s1ufB{a~qIIdrܡDHs gS|QDz N-fْ',Y|#Ԁ s6E 1nJhk P F㹦ӧs4bEd1I}ng7 5Rt<xL-c]TŒj&-c_7(% >i4j.tT`ؕ%5^-$}+P;j0A:<΅VUX>O%¦!܊(kj/`$[Y]4y?G;hF4sQSl(Zg*v=6vuT)^^8kj|%&@BJ}B>mnxӉKtt1/WZ~U9ۀ,Z )NrSlIlgl,0"Ce7-W Z`X+vN@ic)6bE> c=VϺe[KL2Js M USAO P;zwrFI8&eD bE/s%eVנf{O݂c-R{?{yIa8ש^NvH:ϩiiXͣAis ^ORvD"6ѪM`BتOfDG2K[ZiDJ0=?07n jNi![^}jk}nvegg?&FJFrIyo֥^WKlj:^O!q&02Pw&=F#.0< ~jƋ~WIy>1t'̬3pgŤs[|^!&):MtLLJg$tR\msQn9w8βYKHl4-S_Lgs.ݓLa {7!_@/D"t/1kxBq x{sod/fdϲ)<0p*ѨU*Fo7`rw&݉+_KG因=en'-[´=h p?8F2$U7B_+Xտ_Ȓi'`eJ;1e(W(ac?7׮ٞ|KTbke@y#5AP*Zl~H'b\zi\I<\F,?o{+pɓ PNaՅ{4X3hX'K,|e2ȝ\TpP΅U(*/(s%>eDکAWAPR_g#j lǽf::Gj(}M C'C0JJG~ZN74Q^D ^f/kG\3BO(vefbxISd7`Cztc|r}lJƫ;%]4}xM诂DPc<*v+-obX礌"yAX7_lW6dGS:"pk1Ґ?!Zyxezi^ [FרϽ\VU}Y;:9,˭:aRhaa>8p`)N7H8`!N`,,^w9r_C(/<78wu!i+iK!z5A5m`mZ8, SDWs Ii6؍_ǀr&ZA'cWleajNl Gǚb>YcjSiFW̘jX S56=~QN)Ɩ.*vx9Wt{F8Upkc$\Sa7#ĕCd!b^hҸ20ts Cۄ/UCjeQxY}xQn-9bEtPa:pɁZts*.~Zantz}tZS׹1^Kjcr[t)SLGvR\RNmȲa72S5ӑ^-jl Wڽ?xp:+!ErW)B,5fAXK:Jf74(al.Xh|b2CSc>+E`\뚉?ͨmg kRw⫤s XY@Q>i^Cݸo$*bTsz"uJKѪL3Y4PpM,-lMG:sԊFQ :hM$)y:}O~:]?|E 6j9cQ3p\?o^ wߘĐ.D%"T|GpgMS_sԽ>^鹸_+ףUߓ;M[L K.H<)0}0-ita+}(1>^j^31Y˸+ Q&rWIn/(:-jAWʿ q똆a pն{76X2d4#ycvh7wAN1駃%(i/zlV ʱVl<ʲ@ \$/cG 'y'K @܉PzvwfS"^KMeoMq3 ]tyjWnT0_z˪Ĕ$_ʎ1/''+HIJGuc o=ҰSS6h@>(9,#vv9+`U[p#aG%mZGc˽րϙ[V-Q䱭po~XYbZci닐0l\pl/88([+ָ0 Ɵ]1V!NFN|,kExNSz a!vmjUDCكFswf>/v/Yή@vxh-Ĺގ *2A)67v:Ѕw@EԎ[~>J4+9،=f4w An%#1yӱm؜TX_-oqFXl_q`L^0\V ;MHh~C]ԌC$-ħ$9Xub9DF{e 3s0uAb*5rxsʅ yJ䰟h;=j\P|֦Տ &Pc!=1hSjDU[(X2kn TooO/IV-Xs5E+X 9k3'wԚ #z2mu]~vFJ"/D'2;t/"ޝaMXa!!Y}9pAZ)QvJP x:8=IX9><=!Hl;yw} 2J?wQ e\׽S8d;cyТ0$c,mZ}Z˺E[xr7BI2վQ4f+ga3n%%l[RyҤJ4}+;"q٣ dCٰK(AV*1YeR37W. :lsv/ex= , wl "xq?J\b'~eE;!Mi^nE7"LC)Z*m{4}]ȸ4kM8ZvL'aC@Bv Yud&>QtyjJreeKC(rAeU*^ID}= $Vim)=rh(Xv 8,ߎCv*qi;rUē޷WC=fhKr@)unwWPI&0ɏM0`sҼnJiI[=y o.oȭ!={-CG`F1>Ǔ'N}fixMO ;= *X0##T|b:ԹL$ҠC&!%GC~.-韅z+Vs  q.Ht x9CɜGzw_{ Hra_5qpmP~ԷV Z"O5$#'9`:vwu5G}BY~;bsg]<>E)ͪt(0OVȖRާ0BS:ܟJq8}k|_d6ŷOF/:'/f鸵*OM8_\1m*72ux՗0Ff[¸򥼨6m"TGu0~721W{J"X-P6%Ycm1bDvq ĠDgS1\$hT0WbÞ9Xu&д;n_t=xZ$=E;&4Ӿ_ (޺QOi* 3q1zC!U& `Œ ?,V8֌"zՄZΎoN]#eԈgo_9t+d> z}])Lq~ZוּYܿ D6F -%>cQ{S|{*%*;3ysH_'JS%dqH; ~ط2634OmF^\|E|Ap&x0u0]hg?OIpZ'gG2`%I噰:+)0 v@WZ]D 8BxDsط}7!{W{s}4,.agsQV҆ڛ3 Y8X63NR.gȖjM +aVW::ì &9;#mn`0S,o|%SP5.c~qVѮ]-]kWH1 !MbVz0ȴ"s)QO2Yl00ǶwMv3!%O;꒠*3)$>1³.wcE*3j~ȻAl3ׁqa]D3o,RҼ|2X5J׏ch0Rw8pGQwkpzvN.'۶cK0>Ha6MT3`͜|(O˘uB>hzfD' }k8ngׄQX$Q]Pᕅ]6حV(!(iZ;m U c8oҥ8P(=A5>d&~8!+Qkw,z}$iE 5KsݔyDF Bz`{gJ~2a ۋ 9С+V\/EUu[ub"#,s\}] Bx(AyWR8s66iAIZ綜 cǔr80g|we2p36:|a֤!MD}k̂ ܒ$:@s6o.{j4 ~u(5snzpCBvk;qCaq806Npn@&3GZGL)k} 'yo~?ZMÝ^C߱&"1Y(!7ddƓ *JVRcq~D~y/کN LEWP}Xm[\wb}re}>_r2Hd1pf񜂋éđ9*`>^,laj"!p5S"SƠ6u &=ԫ ?_{:TS\тh&]̽>ޢ%d۵aAo]./؄f6nu\2f*i @V He'NdsկuF_ݵZB3׬%_;ckr!K6~sZQzH˗M2^Po 0v1fB0$=h96ch3(U)u;Q&R _Z 'ڃa,%)2hIeWOnO"4]h?kJm C ۅY)+34ljc70b &Uݓ2jpt/6osSya ƠZt!{57KK;bE\,'DU /EN.%H7 ![oh ~RNQ40&Z -o;O8iBO˱mj{51]ջ'vZ Sl|:Ǡ@lOmN?U >D:GD]Ԟ[`_)Ynݖ2`/^?҉&ۡv*P￈4%PAK.fZ3UBt鰎+OXI&[&Ҵ9fl{Π0`O({O\`\u*k_/ oPźȢ܏®SQuqx'rQz E O? M1Rz W=dD`VgꄠPtʋ\}kfֈ%.dsA\u^} *^M%6w$HzQZLDGV!eͫoneu"\NxL=zXaTr!R_tUouC qA]W,ߺIlZߋkpv~6U ?\˶ ,:6߅W 6xJ]d=CB{0_ˠz.O ܗXђB:Sy ^'-'jEAU.-9 Hl|A ?g'ߎc{x-i304SUƅ[YVTW$-Vid5չkot_{>+dDP].B>O͆"y;4mxW 0`G 鯸@h2hmDJz;yaa)r3V`"ҴND;N꼇[OєĚea݌10Oa;Nss^ RM?\Hv[?P;&6X ,u t̷EحDcc-_0rR:zˣi,rxu2 >۳Y^2,mwfϪ`btG6:M>hҕd♲s%henHSU{"Аf YFp+TG*52#;_F,A_UK<Έh_p1+Ko=rrUڎ XC*!.VOժ2БyD_L& zLkTr.c}Qg2vu8dg``WFGCx AXN"9EnVVblsSxCP,eX e H#dH:}>F,ddhd_ԷɢwK -e6Cڲ4:9nB N4ՀB6{, $ ^IsE9UhY<䲞q`J(K 1l(} dejDv)8]Hs&F>dũVRLaokzjH:ХWk8<_Q`XZqwpuA_Mk^NOd,~IBYFi 7 y ?7&n)S2B8P/W>#o>1̡skJql''ɯ*)FgʩCre~pBue)udC㡿7VG,wcs> #ys6zgP$$Tq|AK2qYWTp{\o7V02}҂.u;7.V4@%ZΎ{` :OOOIP=[r\ea KL}B}D5¹.FQP aȇPOf_մi;K3oNzȗ9B_w[!,,xPaD@5mw^%7aeY]F]qѤDnS rlj(؋c/hXƸUX^[Q~[B୎ i\,c-%Q{ UWe ش7A5$"3|z*뛸 Ys@7i#;>v~f$*HE'Y^tҩ:bSewMT@)G7\xV"w{A|Ƣ[~hI]P} .VHgYZc7a7849525a04a4c00b9199394e68d9331cce5199ea718305cd1fd52d6423d9576c9d8a397701153 78fa00d6c63010d9371bd27168edaa8f7fa59ce9 59cfb0ec4a6a8913a53690c9a32309310a613657