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=521.752cpu=1932.100gc=705.5687zXZִF! 4z]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;ӔPL-y`_-}^p lQqT G$馉*Z;˥1%9!(&=3*d?:.IZN}8` yz^8^^Y3Y&g@<DAy5Sj hJ?HUFɪ!1bWʨks7c- GVݽg._{oo~] k W ="iX%ryÄ )rKR+`2gqJE >;6G&(EZ'„=vgm '@e` ׮^ L |N_= ԃAպ}OحSGtCG;_!^8{<+ ˻,F-eWtN*Tq"OJλ;IWVB1Ҭ@`z4:}Ǚ?> OGvVu I-T R@ș2Q_|A XA~5e1h3ցZ E("j>@3HuDUi;ՕMB%CeEҌ2posB qeQ\T/[`[MY_H:81Vp?eߊ 9'6ceJɯwE K^ .TM`MgEI.YŵF5F0b^%,jq`$-zí/J;y;,΍\+ށ k]P6 4m,>H-{'uqn^7-{2r{=%՜ @AH6՜1 BpƛM}cuØϨx D\J40Gd{EYx kǂ"_-/h i΃ 11ipϾtHK0ⴀ6yWn`^;dܜT˓N/bU.K]$(/i9S iUgYZ7zXZִF!  ]ŗXiɟ1)*u%9vѦ;'3}Nd4U$Hn,>J#Ռ@.*ST6Vv֧#jn8a " =E%%9YlT~:b2bT Diȓ*s'ӝT̿"Hx(Nhi/gܣv(#ޑ"+=BQ|OZK+su2)4LMOu(^ٷWpհ`U@-%o+5bS#nB[}A hje\2  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 y:wZɹCxӋ>Gn|[eWEnr1n;V:Sd/7nKˆJ؍HN<]k6WBXx +HC\60. )]b}DY`$8H(4ut\0pI;(0+FYX^iGut.Zf,?)Yܚ. ǭRs ">Kc^nVzG5mkX-2P}GK_%ˊ7څ~0mhngvrrv9JvӇnk' X@5?L(i(SJun`,N9" a:V5DJК)hH?Mkm7A1|ʴWʻ$&!MTDxks@^A.HF4G'+Zi@b4 5O} |4(FS^ ^Zn^`mx9 (,,ơP:h~s]<< 'nI׋]/Sh%'P>L[9)up;7_jwVkUv)*[.# B0a8#B5QVl^Ed ޔô-`g!b/T(# }qY ǓNfH4 ʋ8]=O]k* sY5fSߊEv랕Ax*SŻ ؊zru02bZ ȆKxsQ ]|qW!!to;'df?Uר)7 ^vard h |xW>F~bĚׂuljW $;Y/Ro{שb*ECgH|RǤ7LSheZ"@!ETg:_n4P!5`3J$[}k]|ޅ4o1q-3]ui91oh;iKʖBVl֯78zRxmq28%W"ʴ4p Mnn8AYġo5S? /2kArP/StTDGIGu&poĽ{Մ=6=Kc~{.i8]fcFimt{׍dM rܡ%E\ 軀,jf:Z<:?=]˷ǐ Lg׉ B!L84p~l-)$%G dݸ~FDT[(߿}rt-qP GZZ s"K !n>Kϒ(%uY"_DZ[U HF ~3e^A"/p͗Ah0ږ>ZKLOfbG5SRIvcEbeCcLyN@鱌GGeJu3qGIt+ɝ+B!}΄NSATD9D̦OB/Z _.rjgDHefL= \! -zYD<(QNjl)2^ޥfz$6|07|FslBvBņ8@)^V:1'"tс)̓\~,SuNufMƍQ_ ,|'s~SqE癌lfD_j_xN)q̱Ca\JԻrU_yy=sبF*GR/&؈^2hyl{d 6FEP;y'dLre&I$mjN.fE6K&vaqzڢK vvh|~V鯊=:oBV6*r}-`W1y3y=4YpA8gife^-迼TjvCA!n2gK YMb&{hF:UAnky4U1̋:K/"tz+Ks&ٓEYk&iϪ/1 o *IUvvr ;`/ JylV^f{{g&ښ9ۚSٙ 0JJ1ERs'cA ؈hQd~'\G κ" S&mwB'v"w#U 0Կwg*Ɵ56a]t?HEgC6 FQ*I"'':ϰŋ& NHknnx1|ܱJH7[N;wz) Խ-!F<\O6%aa BfCL5[/vD0KwfqtIT'R쓘uO"!;k(k4vȶlqy7a[K~M@Qc`whq$ڱXU[bAR+TAveڊo_[|6@2? gboc5ًkՄlndhunхAMv)0hRDChzrl]̌Z@ӸEIx(jbx|^DSDZV="4s]DP]ܸQ C *R]w<1K=ܐdjV6_RQmiECod(Iv+Nn-DB5vA,&@vˡ@84mسdk-etkwt]ŧٌoH^yΈ;C ~][WjF :{5M0O6R-t Es-H_&oT)x)aL$%cFpÄNԬȉ'Yl`.&ԎVKu|Uk{"(R=Rc,ʘn :)C(k4טQyRQ|BQ|= d:)@'K^o{ab}#L;J A"?Opu bJü.ؘ6❑JmRdCt!$_ JzxM=vhJ23Z޲[&a:[ \9۩ ͯx63] <_,AfnU䝱2q pkGs¤YF'3h "(\<)~rB -VW/LtPQ [BN. {e]t{[^ZT'S6w %2腻hhpf) UOˑh y'BAA}zpky\a3݌ݿ7y%jp]OewtfJZ、6E-"6^&~UՇR}2mmnՎ(T(hV9siMDZl~^/^F~cfI{.L3;oF>}$&g2 `],vxv;2&m0۾{&is O6&CWze(]#&'TD# [! \owwRM0h|hx:_ PQTl{Je2? N%*?fu襚3;(PQƢI6IEСى8!Cc6Td=,^b w(VI"uVml~cXb [UΉ|(=Go0Lhf˧F'Xu!NaBto =:±f^rqL~BW/_aŞvnK !xliX\Z_d4*X&}}.nv|>Œ Ry)Y!?yYE`_LxF|)1%cvc[dsew{d@fnG8s %⥃b{\^`iyz `\WǫדV8odUO٢pJۈ1BZgЪJ wIejŐ(oHiʹua y`rmuWBZCLlvqud1JÃlpp'1SVi!(P^tVԳ",0n]k;eG`!%Q,-GQί ؀5DC/❈Rʤx{~[|}*y˄Y)|*γٮE'\K 3d1|Ac+.3D͎RqF BFUs,3Z S9 #}LP ֑oF}9CFWſ92KYu+K*WF[|#VEFW&lBgE`hV$!=+I1uSu\&Z*4< pߨ N,>p/fN^B=l "B|X7V؟GH\-lb\E&S:wz3]USڠ[ BwU^I:bJ3tDQ_h.;vqCkQ {#Ñ ϷU$ʛ* ^tƏ l.7‹{^5_ C%#c?JEN {0}l \T[>M*4 1B^5h>"ĔVߨN<9GZ-1 bk~oi 1fB8qA5:tKUFm c9Ρ4aD<` >@i|oe84$47udbwd_Ts>L 19i_WȼZe,2 Hj[NUV9හK0k㯹"B~ Y40Mp\y_EW]9WЊduU0Gi <ʡ!8y}̰U,z̲ -ѱdO;꣫wSv@inH Ljbx.dd&hX*؀BO=Lށf1uQVYtGd@h\VIbϢqNސ!>q|JX /|N򓢯lfۤ;,A[s}#Oʺ)6<{԰6U,Icbwn[v^öaЏ(#}wF"~^0qcW$h 6z2 GÊ(2`@=189eSzM9K'xhsGKj=2V! Het1ArɍG׾-!O WFωPa=9J(bH9v_.F޿(c~Y_(X=J^ IKi$fE&cefB}Krd3eU .]2 |mm fiOn;Zn| W'+6J*S3vU55z9{kvC̏(2СayNce.=slx|{3_LML"0e*^顬5}7U?:+B4u&HW:婣e's)(9HQ@'Bחĕ1{)Va8_?.Ɛ9Ya5RPq!-}ly4S-r@Eݼ .{f3w\~ŋEۀݦȃmBDN;rpQ+ڈ'0mwD DCsgg_iUZ jS.@yH!S-5$#!v&C:jO RI[R!.D@52Җ9tӸfi#b,Tn5<Պ*\ $R)9B{nWz#Q>"vG4s,(!MkEn=؆3uBW,(S9dW-m@Ԩ1ҵ5Fp`EI`E*7 %[m3j7Hϸ;w0 8<x"c;9!ni@ãl{ a$'3A㾐A)\jbw (lއPvOuMmd@<=a d9ni9)I[&C#twq&yi,mFiηISa)S|ӰiNp|i^ZpnÕjxit "!5ɧPفRlA0cKb7`WK+V3S7l݈  @;Jx }EԞo0ȞzlնIL-u_oOxv73 y+2tH}Ga;3PFX3E^sb]ޙFb?wlG7Pd)Hl2ʤ}A~ !{r!Lk"]F*C<̌bhsX¥n-J_S6W{+fh1"*p\P0AEOqY -Ey"u2h!dB1lmbSܒⴀ)&$Vz-VIdK;,&‘_GZzAO͉ Hm>i1GNXa ևhsD n. v]jև Rs-;XM[w< Y%,r9OЖ_ډˏ 2NN?I5|+_Ok|/L5 ZFւHTs4w\ڡDŽܓԩIa(;7}&vu Œ À1+H/7e xs5=<*} b}HWC>~rDHmP_Iy(eöTTCu>O| FDw<_GΔskUl+3.VnMY=Ic$ u Tyy/7\>ZQcLx Rɕe:2+<lf@|_,وK$*`*! mFxݐRK_ D}KP6? {tS.rIjWY KTE/36{hO~38lѻV,]u%h@]hrx@"[^X-^{ `3`ucڤrToT;֘ W4jYÀڊrzmŌvVqUYﭶש~z0Dow\J3Ư & IQ<i'"dY Vܧ+Pl ֲ]L[2l0bہL  86Je/nnῷ+3,QE8Z.Gף-W'?/iM {b*⛻2}v>{Ìpl#sȐ. "euާ,JOi"E|JǃbOM ݕTA:60=?\`X74Y!TnB/26bzT)$el{gủ a0lە]Nֱ u4)9or[R.!bv:\S\ɜ}^=C-֣JecKmA?Ӷ/4~?k=æ}%_ nr :"!,̿AzdP/G9)HNK*(1oh DIF;ؾl[}~-Ij^,+G)L^y (pJ"L5#͝j Knli?ZXpɕDN֜ɳĿ>R+vдt SK- ֥[["kzŗ ~ _$[AQ :D `ZT^l2L.~h]|RZA+6p|zAD<swv{tHIlvXo7bu䈡ɢW\'6iTaeĎC H'8F`i_ y㚫w#hn[{}o)U߷+\뵻p s[/}'B~v+`3b5c<,$$?L*(^ZҰݍO]yU z5\JS/2(Nrvg~n2NAwN)λpfדCkg;GF)YQ-hwZhTg?/%\#vcsı_UfSf&w1\%rK,'{:it0v׵$yRtxp6)7Q922mzT7ࣦMn/ɏ:yg *%(fdChpZ}(&׭,=I7\O>XJ1k6Z[)3|6hۂP܀/SOvm^T]}v6`?CeZ}R; (˃>GSp aP'*)xǕcH0?o}Y:X; S@Q?&)'1zɊW_>H BiPPt^۬ڎym1w(3n5 O+&\|'뷕ٱ0Q +>+ RX|?j(sSsuHǞikŶW֏~?MFM2~o轼}Ν9]i̧,ͩ f?+{JroЦ,Gg)*\$gm/O|z`cb/g"Ia=݆b\zy>\e&yۗ6gB!bVNh̶% ml= )0@Wu!<ߏ0 'KM$"!>s8iDQ0ʯ=RJ\0p'Xn 4 u*P:HKNZF3Aq\{j0ҔV5q4sz 1c"0| 3f j ڀfz ۗYD68R -Hep?ösYlMb`nv*!<$bi yJX%Z2,MS)ͣ40,~H-qnݮq?O (t8Cp-z=}ا2RTMAifiR+~Oa2T^ED XWLۍ)Ҿ%`B@4MQg+gOX8Z] _@yel~k t'wRʲ: b"wk&#cʡ_θQ;@A([R LkD=\Mwޖ`;,X}Vyְ!*JX/QQjꆄݡl=,L-z^#&MXpcAUL(w;} 'oP o0Nk^$R_1g% (ؗp~D_G6 h GBR)\qL%lDk-OcMDb&c b',eePIH˛Cÿ05NyGs&_ٞܯ`]pp3 3C˯&U]E%ifz,zT$DbP+-{j#`ZFz k(ZL QX- BV?4A k ۴R\,6M˝!n[KMrnG aߟJ&Iz!ؗ~w}@[]gxL9$4|En3@Q`hZFZx *\vfbƒb/ϐus˵wN]]G}L6(ybmΞڶ,W{I1:Ǝ4Ν_ls:0ݷzt^:>JP{ruYQD_n M_+bTqm P Hw1/b!ty\6{S69p@}Mnq" #Co"NK'>|桴v;qZ[udɩL`&eġs9vc0ImD6IA2>Q\n1Qi`gI<yM{fh/DdŇv2-{^| ,юt6?}75vսcӲ*2xۏ}g9${Ftsd5EAEH5f| nLE1߿R2IJ9KlQ}}_ TH:Y+XzNۑ';#9CsDe//n|פ"@) R8T3" `0d%[(\*:T7pgi3 t=H=p`c͇@]|;|K} Uh"ed)"BYGYP,=RUD͆VdO/̙ 壚 )^Z]C beP9h}\ePlB3r!wk >U4;>cH^sK~DnVæzt:#6 0L(6:дL Y6φ=ry'\'Ecj3:IPI4~uZtj=wZ_NǺ>eV!>ٛ1'"L15ֹiMTx} uD-K{>(fZ0-$}@s׎%`cJ=Jc=pjP?0=a#auİ#*ZJGB,5y釀 vV>=H҆|cO/ L(`Pϴz.&U› J}=f_Tv߿qwr"Ak,Gp S5R'+N צmYHMm^{ ޯTB(dצ _PqѬpƻ vV%܋{ΘzoXhKgnZ;(5}m%c o UrVΜ.}ulz"4Zp|r۽S(ͻ paiYF>eKhc> E~O`{$̢%w_WO[Sw3\3EJxذYĀ0WƵ?q FWU~EDH7rBI򼐃j\RϤ^P3"hO׸JcV?oƆX5چXy4SA;0sf5i]h0϶&ߤh69 :p|ѳi3dS%^8w!gFk H64xiNoSJe<!ҊbF#T_Qɇ6ߐq(<\-.$b23Z^ .^ p۱l44ʛ,L8lI9Ϸ+BneUݼb(KOw4:Zp dbJ$v9TH5`v Y%sݛӳ7TCa׉zDQe>Ze h5?Gd-o 13>׳yvi'ZY&0g"F556 h@3Rه"+6}JKΫ?=}E]z.2.{*XoʳStp%Խ>)Q6J|hXoS2$9d}`;.ᶒ/$:i3/>j &"6 5]BK&UN87bm45pr*Prf3Yy~p${}*Ec^Pifu7aX⪼y6݌ .62v05FЏO.S==3!nFJ _]܋b =+6&!m)rLN3^eYn։ݘM4‚o"+[ewD=;fjG#ݻKإ,BJ4& C٫l%2TzӠu֜DSMg)־lƁsDGQQ9EUz4Lpub*N?Q*zo= i[ܲm*vmiĹ d@3\v/QZ =dPTuVg{6bTzXb]FqҪes3~xɮ@s;/,-ha-)|ΝHJ,~V"K39AYsUO!ISus׸-ya'3@—U'W1~Vv~E" &mG"UaR "Z#k%/ (i}"<'[@!S[o_vIPO:30ݿiOws H7fx L嶉rYj˻䰏"c#}B쮙d{ +CoZAsQkxmN-PȨ b&3s|q$RaÇGZ9pPz0E ݮkMAA{弑&Aĭ[MQq=B}9 N7]S/$J4K-I7z^PF/S6܍a#P" m 5J.ks{ CYi2 `ZݻI~{Y^뤙Z|g UxQ Bi "M?$lT Iɳt+ؚk8jK_#`gYUԝ$ᨰ ^X^zM6 GJ 9t?ι݊ y'EcBK2n)ŬDŽa5Ip ?bRaF1s.Mus x*d StWC(Rڮ ?4)n0w1s-Wx)ux%Q+D>6BY\}H5`, /PJ~\iD(]U:4UJvUaHqjr1)~z^){i^4Κ]L^øxe'-p §پ3/Iً߮Jj+P^pM;50byf)౉9 $o:z/bN?E:0z7!VX]Pfl|77H\_ L@bJ Iw;knNHZ!Z@K.zN͢ݡ?瘕jU|T/CG{eGK;1?"&dݺwߎvM,ߝ&^(a5ɰYd}/ vMt P @Kt$tLݤ,לTCbJLвhǵ>gd} /C?~]%XAYXhͩ9 2FN$%Jѷ0۩* 1N5mo)877#T )ScjoPBHvƏ&%2y l "8.gz*k6!8;{/0Vv giǙ0!kwZ.ĩ'k*^%oO<Ѓٗ-h2ErKFPz*7cYW%{k%X%pQ@<꭬4dA)Ц#LBl>U. ңvmq GTql)`!{p;vWy)Yd\K?b].K/ F JbOp^o1%t{壍ĭAG_w*z ^VuDL2iUKL:zΰ@r1'(ח坫 ЁQor %Vq?Ul8=x NUV{d+tx0]V*y! zޅi1|в`/9dybIsdS:?xÉp\o*XH~Rrw(KhrR>C\Gh.6pIŐs6y)hm!cR/Nw zP,ykrbXlt}{Tm 8<ѕ$wSSzkP<-]8>=P7Lq3.* g-CC١|3|B`a#ly)$~?d  .#<>@)3}uvX 8%bvO5K.]'k RHWbq։>Ę<^+E{lZv 7CڦA_g6djuk[s<cGj=\-\M(M3 M4h+G>1nIѻ$5`a2ST{kG'1\jG[7a e*(@!*/q˓&2*/YKiWq}_Om=fHG eo>D@ʗy @;`uzO<}ڐR~ݑF;pbU1i+^S\i%= NVDGg3ekĘ"/c?b3-J%D:Qĵg=t1Q1gd9dMa@va2SyUBR{Ean0T3t->ČSr|h{#3&3Z8}% E;\H~%&+I㠺}li(~h|^*qq"ݻ;$"lLJ\3 i {S_$Y[nѥ<$xuw`F~C N~ج؛$r7%;LK6vbN}nt*` 3-dWU} (I"&$ʁ*eYs"FFp#D { GMKN"8Qgvyn_j|pPR4imO)ww 5vYBԪNFd-s0#WP>TlGsxXE dĸn<)~CNj̰nkX,Zf)x%\8[ҚB̳e.X+'\?$M˴i+hù \dCy/UOQvOi>.L&򧥣zāy+>"X[+a”4 9BG}Znt(k{Pr R}68zஏ HT?un (Z[4N| h hL<a$OFq]RUu y g% F.ǚE9T,:3 ǃWy&̃ɟG8 <ϗvCFCJȫ0E J1due졷=Y8Vd~?T3Ei(Ow#ŠЖ6}9B Ӫd-HT=y#lO4fhr|okMɔT ۫ 4bPT^l'EV}0ppv}JT7L}UMfP"W>'`UCAJf;f͝` V2mM‰<) K#I J{|O= ?ƴ10b{< n)dÓO!ԑ˯Wڎ&CoQr/0^j/HMב =LeO6 ?B>;(=3xah?.c[2+g4P>3'oQN@>Dd~NNQd.O| JA>f%oC>9Y _!)O H0_?9]cpQl) vˊaBEO<_ṃ x&+DtuoXJv0yehOk$ PhM_-96nE=`l}b1@?EWiS=n&4s<{9`9Z:nHQQ@[O~Z)`Ŵ<>/-f˺ ZV4:D7@7U~j+9Vj1'v6}>s"_Wo&- >'Z-WyBfB5yޡ԰=@([3Ak6SXV̳"c ro;lW ՚=>VϿ!:Vg,tHÊU3ѽ{jcJLtE]gZܜ׉Dk7(Ms7@M *W_B2:I|.8aHž%+o~T' HWszuXNdNKR;`tYps<_J8C6U鳟ɓ>s[7"j^^GW+e Y.ؔRy vPowI41TrNQ@ uCT<_} h7L6[Z0aQ~ZGLYϛgDžXU[ZA؛ @> ܵ~@yRx;ɁTQe4͹kd]u]yݫ ]ZRB<o#o_}Sj^},ry BoT{R9m<^$PU?@@~~^ߑ^,Q7tX`ϧ+m{Q:ݢEiP)%7@=lJ6R9`kIh&9 @U1 YA i[8G^Zt|\n p%QP֩l%px 3>(l5tz$,Q5jǔw\уVMoRE ,:3^FXN9z 埛:2w'#H3>i%B|]zK܀5ฮDF@## eSҶ[䨲`NplUlfӈJ+85>>ь1@]N׶XQ4A^VR.øƳ^G( mXD!IeyߦRhţSua,Ed9O^+EU 3#'q.&cxo݉y?~_E_?6-@^r?^Av٪,M>x9eJl*#mUSUI$x%_,$|9S nU5{rٶ|oՇ{9hLO7K ֧@؁q! QP`B\UHrSII>.n/qZZ3("ZBȋ0ЏNa8,RH'8eja qu|Wы{gW:4:Z{=aReXMpKIVB%h]Ya`{s6_C7~P4Dьp,\hME>IW,TߦecQѬavTg,D.LǑ(\"rL I ѲF}oHX%U&e`^\yQU6oygai {Vwק{e%Dvu'f[gd2Pw"bK{OՔVR;4iqY䌦Ke&ލvpl0˥xb!p\>$&xև!Anp t},:h?Lm޷oknKB'/&Ff̞IK,zidw68W6Oh~f"&ZAՅWnOui[3dydH]>&Tnar ? ti&c3eumJl^AXQwK 5J$dvA'/cTٔ,~UO:{`_FMah{#VG'ڭJ%FThԕZ;٬F0 `ٹ!9y!R4a]$yEl?j 0SdJGp{,1U/=U͇wrpB6_3=Ifx&.d32jwe!@̗&fPZoI-߮s"ԃ9MϏvQ;UҖ4\/{z +6jf|+z>墌)F}v~̱ +Kl: k}1$OiJ.7%p䒚`uԸlï^D%MW=. @)"pQqTrbC9\";! إ`_sv=ڌH#@ՃZEӮimfLm{CwLHdEJ+fG# *TƶBsF욱0aޭcm`䗦x:Ad^rlkk5E1X㬞^JVcNƊ3#Acvn# ] mo;"\ e$fb3f kǻ׍ˢbtB՘/qY=$FЍҕE=N4hJufi1e=Ek*8=֕T Ȋ|6/uRmNOn,4MfwgRW)-t7Țe'jfY1Q͚T$SG2.3,~Q33'Ș'/XH{3;HAj6Bޢ'n6KPHmq]|y8 gU.j "BpI/& Eh5 Ѱlm7tD,5(OX:eyQV ,pe `m޷M0*6>5AaQ63vA !Y+a%,$:&aᬷGN8&R<Ļ XܣMIe? mV 2@r:mZFwb ~yI/%*F_n&_wu Ċt&80t5ռK\"ŚKʀ?ݽe֨ЩgD$;AD"+=NNL 9mۂQ+rڵ-젅: Avm4Dj.sqt\n9\Dz̴QNGͤ=PCME*vgيpIZzW d<̈kbkF4 \Х[3FdeoKNA̩J4Os X d)81ؓ&ȍIuJD'+93 dAX*]>#Ǝl $$ǙRIGv%1ҩɉP|X ӽE]SZ@ %F/ȀAI*hq~N:Cz*O21i}"Guzz*,J75#IA_GRP6wH?|-7(.|hAi [ wY_6A8lzq#)+<~Af\`曷 -y/o-^JfD_ёqЬgj!6똤 @eFeLY\ؙ]5\<$ac\dWZb%QPH|sGY8rp7][99N"ԽHQ&0)l]≫GπQ+ؗ h4f!bf/g5<w @i Sa10T~kݐ(|H=9<.YlNL|݁;=g3q*;"f Y623qc[OwQjfI?9VꅹQTt/H'BlUJPnyPrmn|a7%><==0Aљ5?o,XuRJ2ӟ y妅l)%Y%%k #&@6~* 4GTz# @ipMO,?a ѝ.㹔Oa7=XIj; X ICqАV!3#K}gWTOT܀+B_-[5Đmb;ZBn>'C6%ZU Ys>8)F{4i6)ⲱmVaqez0/p7:U bk*htKaH+!_jzILX(QDUrE AoT۹@o Y./CUGMoPԜz5=kybw`^Ygd2\5 nb'oӗC0(} xd-S;!iXc@N^餱ǨW!=1]}o(*׻F?V^,ypd Pf"mAH::,kcZs5 .\uXql,nдٝ$Jy!ߝª+E/V@wBf#N,Ad|MȢ/8˶b3,ClT x0.#_uR6Y:=0Sp`N(8}CD*sHvkҞdFF>OR>@BdY5fO3+~Y b.jlAQ'ȁ?^E NĹiOa@1&[mZ?kŬ9w{1rQ&l2QOBӴ_R[{|syV̉DWү"{T.Z4A<)&Y!$FV3ETLn[7;qȨ\@E`17iLw>>j!A÷3pLuozMŁ+˞IJuin~z! ͘FdA7l4Ov-k础ebݣ6,mx,wlL5ͭ~rK4zRщ xck tBzaT$Hہ4pwo"-V93j:趾 z#?9;)V? |҄L馛,`"3>-jlp5}fu>CI93VY ?BA0`|i]˝- .~ 7€%ʌzdbyiy.bTMdQ MmAoMK逼|69 Emv Ʉ(AnuU#Ҹfh$hF0J6W)'VF gftr@)D~/i\l]%)CW oGcp\uj0חo|lሳTT@+pࢲVmV oo॑1ۅigjO>|7F׳c:T ,>qx˶'Y bN6z}ȝBΖv[GlR{ `;GJ^bdQ q.?~Sf$|pjGLo~ Ag{-3+젆ZH]E1߇L`ސH]VN6cqOhM.嵚{(%Mů_Dě3:0G*Jy4նCRjo<x-gEoΘVȼEC,IdXלr5q3Xuoز}00NCx &vuЅʺ.YjSa 0oDj?+j⛻0,51?H-[1JGm;`ˆdd\2'E+xճxYSsl2s-2POgRm9{慆a\k,sa6~PV\zzL* ]2-qs{0Q7Pqk{ <1@g>$1> 6r:Kmޞ!W!L|?emZAfذxI@bt,55Z?Ζ~u-"b@)o@4A׾hJ&g`r#t<XIhD$&B07D>Kj($[FR4֚v92t?TݐB7*IjCߕN5QL73Yƻ0\Y9ڣSU,}M˦SY ~ BPɞn)gT΀vDr+fҟ/=ybi2ռ ns&cUDjةaƦL`}S$Pq5YJgڵ%IB=6/.?Dztn,1lV̌iI e͟ʂ?k5^ dR˗Aj