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  : :9~4 ] HOL-Datatype_Benchmark:threads=6elapsed=478.877cpu=1958.148gc=723.0287zXZִF! 4]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;M†Kʎʸ&otf.߼\ "Sxf׻Q<}_.7;(qQj=qj _ϭa_TWBL\;7]Z v~p<'!@ɷwn&q#ᢱ%=r1VO1ljV8SM_P )9M !!5Qd$h4ƅpϑMx jRj2V 4…LQfmNW5g,'a4,ƫ Mى  _S$ws>$rŕeo71c{&%5k{h{/i7h*k oJ;˱z:<[y,&8Q:*BMj,_Tn?_*1|ې^5o6f"s0t`:#gu"X @g: ^-yJEe kzמ(-m?~ɮh 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 )Jl~$mRD%i ;\2(p6drK:;bourӊ?!$“ct-Mn:tj$UxEnlڲH? jc C}vg~Di!,hK0̏R|qRGBy;6k`Uq!fsy9.s5fߩ&Q80/`Jx\Iizb^y; QSMT#VI`}Ϗٴh yc"aD_]<$ Ǐә_H]0T8>tk8f3iOuwG eH] !#edU/XK`% GdlV@C|+?-Wƈ??H1 CEYlA{N|Eց'Wy%.2ɀ($* 8kjQU>g:qlTp;,ͯ4A񆊕D\:+AR e~B#ax^2ǍOz)ذÊO(3bF5\ZDMflϢ&u`jhߖ} isgYZ7zXZִF!  ]ŗXiɟ1)*u%9g|e0`3v~sdYUR9!'orpDhO[@ g,3)+2cC%a8mKtwwD$4SĤjv#>K䖩~Sf2V<6ro22 y|RZgDs܍9#v |ϋkC;M#pB"|I-6P SL]qb܄h>(mNZɮ]$b)T'J幱u~fmحdz2Ś2,ɬ&=sVmB5[lc_RAMZ9v1"(RaA{7Qy5i ]~ѫ4H3 ;=}SﮟCB|#썗[L6]40m9" c H5ja2U{"@^[*6M4}6zlۋFv-՟r2+#8%:S"o _Xʐny2#1-7#¹|p0 %X G+pI4iD#F"nG*\3aN =i,\l;+_ò:Xц1 K-l42IZޗB=I5ȋ#Z1[NʷW1ĂVYg QVFOBw$8ՎC<gL)el=BVd}hBk8ؓe )-t`DY,">w`],CQH.}jKd]Fe(i3]}T$'շ*Xp^|qz2ȝyLސ>:g\6 ~%H3߈@L>_П $Qt"Yqz!07˂A &[42IZoiLqCj3VM~@- ɹ~TjW=a/kCjD).D5(2E%N1d+YmkF T/ vrh 84Ѹpg{UE/*iEY.NǏƞٔ,I ©ef&i R0T0#!3ATzrOs۹A["u1?bPP6r2 քKgG* .G_jx^g3uL4$layRqr'^ +αAu+c UbF?wAm ͝<QeV`5wHӷU:0(gq!&ᢔҵ1?:h>RWRZ+ W[9M:y7 VtzǪFT(Hq&1jo{`Ok[LKұ ;0CcB.Xwm_y&zo ;  a#)N9ԻkmOwXTykV@]Ny*It$]vӷ<7El4WMplǑ##ҕ  97>> ![; _@㨵mh7t˯[83z(t^ &:&p%]?EMKH_q;֜eh zFT*;+ʵhlh egl˺k;`)ԚZFa&TELa3HsdI7=UmB0.0=T AeQ=x>|ERdX?#!4#mZ-8H%vMt1,c݃yneU/AG|H.PEJ- wEH°rT5$vD+FAzJUw ʴ(]_WU];Osf9 )1JtU>@q~K\mGFCa>Fd1GV48xӀ('vPU7>xvuKXuƯT7v4)aX)/Nϓ g{ԓ-~]ʕ5#6 UR2P<VvN<sqZ' Ofz3Ce^6:7& y]g7C:+&j-z.xz{M$?bi|AC N#G,jW F'NmëefS_se~r8jwo;}7F^s3> |pTnK3{96ų /Srp6pz6j{/VC>6==;FpC2t ))2z 7u_E|(y੩-zNrvjdDZ{PVoTK+ޫ͘z$0gXjSYzy@CaN@TŊ8)0lA#e*9hgzkr,egLZ~Ѷ"X2&Q6?/cpƏ$:J|W%tY#UK[LF rLԄ_l}S wI!;ߏuOxk6;UE" #B{.sy5 eU_tC0gޕsCǏK }=oBsBOț|wvi5RɮqTQ'sN~̰hiM&WFd(؀b΍o kD¸I_~Fd4 6H`/7fqdWj  I|g I.D+{|)(:3-MH){wYvlƎE­D ?}E$Kd߱o<Uz!VZ9UKq r^h|B6 )!ВQ[RFF7ל`hWY1LH=Yԟ 'Gym&"&bdrd93̸ 9;uppj&&\rYF-WKМK3+԰8r8B5U{;)%%aSuiU)!Cv= W\? SVDY%Mqa@| oZeg<~l$/ a7B ,A ($ @ݛ:RZвˋc%)<6_*7mO+G̨=0? KJbt#9=>\5~?}y+b BHHHfښ^iyw-"iTW!I hH3 4>L$ovb+6ovEǴ6Q7k<9JPzAs`}%t mB6zMHwdWi-4$TY|`Y ̰ح<_C:зku!GL$fK؁'#- =lYg&9ccX)A;NՒNl6O|RcWXħ<Nl;/^pTjX+p=w{2[e )ۊ|JN___WH L^͙K ë.T/cld,e|@p |@琽@i.{aa:as0 /nt-L?u~Ԃ} `jk7Ԉ.VHNvjKi&B7y.L_Nu=I(!{>9S#׌?뀙m3!M\aPhoR-gvxB\*YU6TBu  ~uJ'^j 6@3.H812Z(?,6d lY>18mRJcwecJ8 nA&ȮĆlX݈{SYi .oxHCǬLJ&:He6.\^v#= 4P&)T %hd%=9d5~$yPQE_[,u]"o=ΉmF[L+T\ayl~E5x0KEqs$00~H*`LBɲ0vJX|V`\#QZY3ie/[+Tӗ/J IT24Tb6)+*kz;[MD#0+TCZFV؞Ə`j1 D_WSH YjgBb|C/)rCZB+ЫwXwK k'l; [=q{h0:75# ͉w 8R `Eb&RO@hgU5 gɠ>vsfpuG| 'Z8iPO :fY3aCPDRu\4ɡ֦dYf}_=rA&WzY-{fHKWo{_mm}Bx A S%?I K! k)&WfubJBʃrS)Xy(Hf/d5E6F]X{ⰠiAX>/iXOng<~ Y)_ J(Qse2Y0Y~ȓ +F~N@\B[ ^`?go}dEHeJ@0D]lfl)7?HC4z楲%QĀCξnlgnd5hS$р.[ﻔ]RʽW eq7K9SxrO@R0K)\1O)!TY_MRՒveG^&5$f}jӔ4WB0C4|YGe}/ZA`|WOˋ ;D;KQE? ~u[9AL×!I8sm7JÒohɄCxj] tq>c-H4  o0 3پaC, Ro!b˫T*iW}rbhvPE,I2b1CRXaw,LmZu,6F{w_lͨ qzdpw^'p΢rd23nbBf9Wgns̆p^7=U_f&>7$*Vk]:l n#Ebuo*Ίо]rZuؚT/E]( ;܌\gShT]&D~rPK ECO")F%_.A&/kC<$7q9LZ6B3m^.=4}U+t 1!ic`cF=5>$⦚q&-p ]WH!sh>fS˜*(zvF(HPG^"bEɸ9dowD5S XȫGbڲ3j=˵AK851[p~Ѫ"p{OrU6mM:$OGDȰ2w2|>[Ki,v>|,i/=r:mU77y:$C☚Bs= b&z|0Pp/2qkx{_mBJ?W;3蝪^.˯Qe7р77>ڍ>S`hO2DX:Jqk#Rt? djY'+5i7JU`<.r|91 pY-MqeZ~S6W$@5p9(//{FW KG[9+l)!mTK8l*M2?[8V՜s8bA$ME_,Qv: l1DRRq?ؑc@ꫭb\idѓA^%YV'G@N@Y޻!Fw(¤|},8u×{<XW7#Bx1qJ9kƩ"¡FM/d zkk'@N )0.ARcт$d+\v753\+`PO\bRz iVqf3Ȃo+W kynQ62)o )*GՀGU~fW{Wީ{.g"XVҳ?M"dC41cVfiEW7YWd0iYhw㛳]>nϴ÷ny^ވٲ6uRSo'T_;č*VL%,S_ p,k 4ŗɺȮ l ld4'".TL`!niGSٴsɶbHI1V!˜a kʟsSV vgK8 Q[ǐ~IV<+$:~^G믠ErgZyuK'p&I,*PcwgAdh/~;t{W!dlkb%.<9SƟky o,UiKv^T0#cjܲC>w.B<GX!ֻ(9OF! HtT 덕CgS9!&pnSNԘ 7:DFX^rc"o"/ eEt}3QMO*[Ly |KDyAn/$񏞦[{D,:3 RT-e:/!dmӿĺSdLȢ1OTN1DޏܳB "ͭ"{ P/Rn4dExrwE D5H"|js">AZz^s-=|H C,','!)?.|hbr!-p!T $ XZla~pd ‹q#$ fSX};OdZ w_Z|+wV[kFaT?2/]1OI>rY۔Ԇ&Y + r (O_T;$>G+gO}I%r[[Ѓ.R>#LBБ( eeDtxT(\_GEJyr^e"ȭa XAJNK0`aɿ ONS fΡz*R(87{| DB^NojH*ǎh'.30 Es '`A쏅5 .2ŀ۔'})L|^ݚBuDCXb{U]s3Y6bQofExpөvrq@N]BBKvoug:d{`ȃ^SHtSh1?yr7v=cXW۰җV:b(Mb:F,xmM !A؊HФgd݅!2=G^}xԝm!Qhߞ{1XXW}3 ‒X}Bt;X\v*KTϡ~ŻfCƖ7(Aj֟GZ~(zok!=ptqzs~Aƺ?.t)3bbbw+ua2) :7ü_$uPԳEvӂ7urd `Me'~TuVuջ:H2h'77Q Vx9Yxg΄ IeGlro5K逾dAF_撯=ނ ;yJӬ/+tEi2ۼ+,Lua_WI٧?Tveeb 6B-.7V63.N ɑ s?~"t-g|k-)yoJvN`ego .QNtW+j;K6l*ݽ?-6t,0WZ [s{|"~ [{E2P'o.5m. _r<j$;ݨ5xPaٖdn>:L؝V`Nk'RH<hU&+q8/4!4)3,E‰#Tijo1 8ҿ4+ơ!irlUޘ ^ &BQPĜlN-J "JfqvUW?ey90#6> 晋 .WF4IT` _1<ʵ$DWmqPCͺvacw:5զUּۣ2H4ŏt?sKW1-x;ӓmOWҗϧs$95L \: ]$6e$g?]0!Rez5YF#܁ @(mW|'ZL"L,2sv \!LVx mBQpr'Sv7aH~A|nl* ~p XV7NP,HƟ`gȩ0C׸x_TI?:nsgn-jدc%y67aL4=`]%xÛ/,m㕂S5Bs7@IkxgxQcbz |sA-:y]L]{M'n"ijba.2>zd涻*3RTXٽsnV IPزa.436M 0Io !keIE~sҦ\.an2m5Ŵ*`8ՈY͎ILD(iUDA *m{X!h@~k~KYS. xd@-jDL_NXz}sRÚ,oggz|@ ]>Z3A Up_z&]-40Сj(܅V rGנ.Ys_2E~^n"q@,S:x$EMp~kiwu&gM֭9Eհfi\۵WbI EFȘqpbv 5 H<0 }X%j[ ķ=nAEjHڹs D,.LЕ aLSDz3|w+)speImy>{6[C,*BBհfl1M7LbLjXޒ]zlxg}%7.;fbg?`6WMp0IOߝF\c١Tb@neܷ7NQm?q/0DЗ˹yi-6;7`(jj`NM?]5sr"3^j<?~lTCcK|3/GmN[p3hSpϵegYsS*wX \P3@^%0q fh2T)O*EhV:8Tr8KBWE(p'EIK<`b.`2d@7tY)'f=H<\$,pD6Z>ۚ)E3ִt3s\6d [ 5#ZxvX+xj@>?^3Q*Gu2|8j/[<ȗ$w 8@ޗro>ƦpXS❋}I6pSr3&OyQ50ϏlI-(5@jJfyS/ނbʊP!zggȍ*|gM>k7 gxx+[5/#J0SXt2vɯ&%bva@Zr`[hp'HzJEI-靌BIH dS@'*~ݫ9evf(g=:90j{Tj."\ݑ{%t.&yianPりgj3!hVL6n~IGވ?i09骟x8{-&1pK ,hw-MW*~e`q3٥9Ju棠f$C b|/FJ7v7׺_ )HX+Fvu)}?fXo#INIEX 0!|ȽS(t_.{ piZ/qFgl`aw\{P' W$Ƶ1RQtp؎tVڣ' Iȯnp|J.k~J:kď8YˌNc:Vc7R2@,;YZ `/YB-яz]jX^֏"]%"rBpx.AVs:v2BhC ׽ He,4?c:'>1hy63WրCzjufj S ²4l#7FOQ\?frA"$[~4;w!K}Bf7`i+!YVZxOGP\:-[)s<\ix+M4hrF^XK!o~/`u_? 2MhN5<*ZMNz@mU)y{6?/T~M~Ƀ-uȱcp mFٓ_!mabZ>As\O"oEHoי)2ޤv:L-a.HmhS2^|pXD؈ju|A旣|ֈߵs0{|O^ <Hmy1~בxMo7 P; l4۾arD-l$ T7Oj r{k=1510-u(&l0OF!vHTm.*OiƤSfURLB9 E1_|ߓ:swv H!< (mE}hd!'UWA%Mp^d.sZEnL~Lt@]?j@Ɛ]٘㝢J 0a_-C,.BC OU7EWBtyqIő;7np bg_jDtܠ}$ IsDj/PVǤ2G/ƛ6Uj|4 OXyn)t Ddv˪6guKHl)W N":h39=>:/`"ɶeNYvTfJX'5E&f-&`V|Xɠi 7! P4$"bW5q`naBP,Ѿ ߿?Աm/23+cBUa.8l'#m#H|(ȃґ^g^S*;fifG;+eut _j{,}65dj= :ת\lu2q g%r$i1MVlj[lIthߛujf*Z @t&HҋN32Ka[l#mO;~k(ruJgWvXTT'3r핺2벓B["Lo]l|(#.$esB 2"X u{Ob[YגWVLOM&'Kc?)L d9*Ss @tV?;g(dSRFeJi-ٚwt4 2T}O} hMԺ겄q\~`qNLE3b"?@o9)bߵ|XǨKD<V]T'2q{&@VT /R2 xL_$؜FEO\/V͗0AmFڟөjJv Dm*ju?U_V6Fw+SyUl;=l yZĪ59g% ۪]h Y/ݮםlH!P,ze.kD^,\&]nH7bZ *󆥁z60e*'NV K5 ܊aǴ+ze(wvH̪&8o.1+ !R;"% 2gG'y5.̞0Z(P&VƎ` eLnl8qp0d~~/03Й&\=3 Mn"wYAjbOm BW bS|@$3!iiL֥bטNN$gݲSNr}qއ-ppթRqbTAڄ*xla,13 {m"9[%@ƙx .gf%$gKC& N7$qCV=/="H"{ɺyŻ}R^95!R̈E\*Ꮡ}>/9d'UęnO Y|SQ͑" "FugSIj([~>e"$J@d8Xld"-ӂ Ua=*5 [3;L\һ[ ]O=h {j"T^'x07W2]$%n^[f/6AUG*iYLNR~Yf;q"rw%=g-W-AHY\7SWSvvv}& "aU+?N24R+>{Bgɉ -=>f-Tzt|g O{~5T78v 얺3dԄs^Ay΃Sn+x}p123͆WTM\\1= @:| XP\$D:(yO.Zϧc<8fyG :)+BY(č%K^'0 c# 2<%Ţ+wb0ষ5/)&Eذ*TO,]%hc8I2U̷oL%f7V/V]Y{XOyE-P/]m/1w [i = ML-L@wLm4X L.l.rɃY]o3t/Ek>pZysweۣNZܘo7פQI(imtV?`_٧6ߴ([r%yXt4rc~EL; %7`<.% <-tW,}/lTC)4-@a-rdaܩ.χ/yxZm[SI)V4לiZTvö5gF׮q[=adXi{JCTpRo;&sMGl]kô(Dg?鮸jo\WM~`ې.?udUGNEӒ0RҧYZfo:p0^FCwhvuP;F~}F, p$./^Z(KuKw0=QWI_3%l@+nnt`,@As H 5-'8w!,KajQ|ti˾tw^,!ٶua6'i8R!>V2 0{s$B\՗.+y-vgp%]~q_7ShgIEJ\êHIxuMg171/:'5^ܷ;2FRaݚ ؐBnV_AgJk 4+hI\Ie'X tC;kDRD7@h}}33m#ёً !zD[" @/U&g[2NjͰyrqyRœTϏㄐ]Ife}~ 3%wPѳBq7f KynaJ|\F:R' Oۙ99,!Kb^Gmƌ}(O@ d|w#z'!Z C(g:I]sS\7IR<{D]+|+_{&yĘCă{.2iiJ.sAFcכzރ)By_2bөpiBUÃ{o͗}Q1t4ò䃞6SY|@؈PO2"c{807Fgq@""NLW?Z8p›C!Y1|L2S36=ΰJC*kߐub6pem[$R֊ Ģd-^%Q_AƁr7*f{;Zz&S(/p.ZպToqNM* RiN)Z:FvY`O!+ )TM,~pws'&T r9.ōԷ籪S-t*Y\1v`Qі0hn$yLDjȤ#n4_6"nJ2q6mۯ8w{OX9TQ;WMx:eſI]$@ ;CԱ<(u|MڠmR6T-` DGd/w7ޘI3:#]L=rU5opmSx4`q h>=2R[H.d5Xґ kB૯rWP(4dcZi^6tek%AsZ:M@"$-qJ,7*%W| uGBSu ?5Q]~}i崀,^Pj_ڽL u?YXWG,ԛA/:WHQ$Wl/B{MW:ۚ5Q'GSo=?{)KVٵTMe>A"~G _+F~e~r~@ qT˩ՉV]]&PX,Α_.d z5l.*"vH^Y2̃8:ѲL;Ynik`jE__V"m4դoPxrq ϫ'vl9LYg⿯IRij0^"v8`U~jطWx7)G .]QcjTs@Ll{j'$hM QXp'|0Nq:{6h3(.bHoT#6C&>rhAUH<@lm"DU@8MEϪ_Rɰ@RhJGkOg} 3 (F,ҜC2?"䢠nbׁdHT7 O9w`2 E!q^pjpFem  "^("J!MxIMo,_ӤD?>nx R?wUs6/}rfLHq!]Ζuqn؟ oUVuBp^ V0!±H9:w8TwݰHOݽi~[ia2w7]mG%4aE%hh ab1zt\?JeV;wh_S̲ m|#SBdv's抣3% \XPؤ񹓃b*?uyqXvkxk.6N ԝ^8Z&lH7X@Δb&" ͖7ohGv#``RPn8|ߟD!ٷ"~cH䍏^$fYd@5ߛP(21NILvãjnPjWt*ݝ65 Q]vlt⹂OKmZ!< %+#J#Sڷ,EvFIv|!Rh'*(:irNubAZf'(O6%[6wWVKK@18:6]T4g<+G]Z&*U8xJdž:O^ˡvխ2uм$Ί$xa-P.*72ՔHݘC5;E>Kt37^kis1=,d t亷>+LPz=5z^M"-q,чa=uC|6 Q96t0(FFki2RSFV>_qr-Z3A0>ݓ/ـ;oB+ClP0fM(X{r}h:DZ_7iOP:)'pH.!T^XX ͙yq Ai𯬯K'W_$]Z+e`Xs_E|N>R#}e Bk^g|zT^Fmsذ%$ o|(Z3Kj)Ƀ2 &\Y}V ރ]>h)~8Qlj/z &|FU.~W9%7[ GzM; HOPXwm'z`_|:Le88A$&&i@:|Sx -#a-W2n/h]f3K*0HX!"LK]:J)(V 4mn%>gE|^zmq`1F8o!n|Va}F5]ʪнbB| <Uj-[3"T FPѤ_Xm8; j?ECmK8rɗ?q{W ЯC8IIHvEWBv _!IWRo/F'~AB!LNe_"|VZ[q#/-f釈瑥CY5M?MB1Yh Tu~EpXW{%dfk/w'U+f 5/]e 7K;TlpTH p1/k~vY-^{2$3\(wpB-<{E"0/EK+" Mv!V܌arz1]8rߝPJ]k"=Rc;+A9r)s gQn㗍I6"VPښACP{7l<&kvC-x&/- VS~֛ 'w|0`őTkc水@PיL5ne8#S RL *{_I5+։gP-|rd RoAߴ7mM\=}B.|勒ʡz{%@B7(e;xa]u#Zp k6-<}*_I,F&oLSE-˸ -"a|1 Ejo,1"_JB6]E~RP@+9k3(3KƤ1hTi6T.<'eԦ qC67ҽ{0fЍ"kYt*L.{~`'Y%7j.VH8Syz]sUSp~8 3hXScs`YhvyxoDoNY(r]*Y2Δs"TqO$:hOq*:$t\䛢>/~@p d!'Wi\⮲Zs55~#ѐkVH3BדR'R [- IL]rK.+FȤzo/#P8k컍/ F-bOq<~LZ[EىM?76×m] ZonO)\H]w Cnх&BQIol pQ'Ť8BJnG sLb*ʳ=a6KǹaL'k 9?3=\_G#N^CF>Uz y\+V- (Z*Կ/9HԀ"87{#[N os%ؕ6zWʼ1p ,~x~\\Skv#- 8TȉO[L kK8rťfp$ˈ I^a%ѫi``^(S4 ɾOC~5:5i֮]OzfӒiN\W4A d;/@M5vgvEcXkjٲG,L*G 8 z}l̥/ 8Ò&㐰"¥O(/U[/rG*dr_2Ns[0)kj=&?ҜVXwq~D|̌>$`}Y7UʥO2^å!E0GVxU0*];>%=Yq̶?$~Y:L@8_䄲#Z(_#ꎘW1Ȓ=2 3T5 &U x?aE|e4eu>HtDmj&dOvMCi s_#9 N+x]37IV5/yS+}y J|f'?*xwR]eT;M[8AOQX"B1.j3[OMZWg)f^ar՛HX p}@IfuebϺd殺A{(O;=wnU#N^l_B]-dBY$!DwJztww$[o;@mh 5Xtcz\X>Yh0P)R2g|s P$K`G^ d vDyJRDmK!VTY΃="7ҕ%蔃tZ/%Ϸo?JpDu$f*_};,%( csJU[VG- [I! |3-zo);nFԐ&[I77N4nTY]~-4Yq%'M8LIHo] #M_xy+P 8Z kGI7-sx2k޺qOVj6 TgO (Ң=xȸCc7j$|؅8Z1MXM{PUncYkWXbJ΄te\1A95\,ٛVڏ Źpmx*1 D1iTPIv ?+illp}3@]fFho0 `n7}k7 KhM-mN=x,1ca7Acog\ֲ(c$5! [CJFwE k9&}ѸMĿMooxEJ>\ɛd@TCuڨY h)2 v4L!^tBfA|x L#s5O+9<_1{ DR2"򊟟[}h""Dxy/gri>KmrcTnXg xc!4%YX ]!= Rax ĐeT^'f8{V?0?WA e5%ViGfFO$>tit-K<-; 9Z* ?NpW^kAWdɥ/:XR앀^#%;o lܪ_% %~Wm!+";qPVEnC*Ǖy[{sOZ"ND'?_䩊Mw>q~iZ,2[SL曘%޼t݂.bZeNLȹhW*_S޶9ݳZ+0 Wtvi㕺1ӮSvN^'YuddөDrJ#B+JSkT'y361 Bܺ^YFE!*#z~q҂K1fV`#P"8DrP6vP \1Av1;^f1& F4p.P v$1>wfM柪 hٌG 51 !mO-."fG:-b6gjXB=?>;-5ۺ}Q|FJC[rf({6ۛ2ll;1CiAJW/6OqVm,aW"]5Mfli^BtG 4&wSWvVGskitX䊐̣tPõwz 7iaquP%މْ29 1f9~f[SSĢX:d`ڄ7po2XSnk%+= "hW| L. %d8\~2/2U[ 56-JzAJX:ܚ @;ªv) Pd_ozZJtNl2WGP#椃PŶO)m-FSp`7lZfƚ_h>8cfۚK^Jڴ`Ddk)jt [Ԅ5S#]XƦHwa`uWcoEg2V=hIs{$ $06$ B₾-S^ ڄ aWљٛ2=kY *K"tY|$[zpSQ&Z?1}Fz_3^pYQ#z`jW%y g;px+y EcT,^&ub,֬Sn':tX6.AǾۓuhFA#VVR+޵ᱣMxn!!o[Iq܄װ](quS}0PI ly ⑿dajٷV٠>DKc