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~|D| ] HOL-Datatype_Benchmark:threads=6elapsed=487.865cpu=1974.380gc=733.5487zXZִF! 4v]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;9v3>*Q:jE(+ǩA پݤ;: W6o#>͠&SmPQj*%"7[ @s ]j_>?W͙!1M*y#xAY\!SSE ?!5*n]Nՙ\VzhtC>ҊPsnBBD+ =)i*QV`JhmۘnQ rlS:%ܠ)yU+&m_hƲ#v ~yncs G9ѡ8|D[cz)fK ƅ#[xTXNAq!R+9wR/\c1bZOVW/H\JMR8!ٽRkAVЊ h~"Ѕ#hzxtc߾.ID9MFXv/Փc[ߘ onu[£2D@6N9<&/m2LtCD\gS |,N\tNhYCbtyHN_X_cj_N J tZ$?k8wTv4'9fd l3@׭> ̖ӒbDU9>,f"S4B}IcRZcKYӿj`)_dK(fD2+Lj Z '̔h) f_4o1 ~&\e-* 732Uq ex*o&t¡z#W3:[ iIgYZ7zXZִF! 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  ]ŗXiɟ1)*u%9U>DSӛ `GQz gYZ7zXZִF! :~7]ŗXi%FJ^;{\Z^\nk QRlFدJϊћ5vH2PXM4Tc(E C>mJ:ͩS(' 1x3Z@._WU Tةh$4 ֪ \I{hJWbR mzHZ˵zҒON)#Zi&lӶ axJFs6+6|:q~ga^/LHhi']ȝM4KUK2&j&LP 5L;BFϓM|6U|:,#it_!Ʃ ʭ<:SvOog?J98 uIr)jx=,3 ͌Cix'ۙ['چL CIEu3qW;x*v:;uC^f=ܫ=fX#sMVMMj {A/l*"ջ(dE$)(kh3v%1ĥu(sc=ea~-`u*%peL B(iu8& .@_;fy4Nv|Hi0Ꞗ"Zt؜Wb+Ý"D/0O1k.{!7Fc)eԤƿpZ°$:㡭ݬ%Qz&x|g#J}ί8H1h;1+*e=tZF豥 eM ݹ3CZ!+!S~XNZ1#'*H3T#NL斷e A7~$+_H9EMp # ;'ߠm˲f>z%PLiOWGH8ճk#l|$!bн[RUCϫg'kWV(9IndMTg_uNLuWrOgW9@ H'G 06> 5>Jy+gWWd~ th{ BwGsp6k+ SAwt/:1/oQ PF/({( ^Agm$,׵EIWly Z&,\ |.9]sԋQFةOHcTRRxZy\FmҖ dВi3x^LHTƱrII˳Q= AaBD g X30T8;:P#E.KWrXT Nkl:hQÑgAǼa4Pxwq9Ȟ.[[h'w'5gvB5ߏUhTR}kԲ MB㓗CF3*UH?& tBG2mG fy8`J<Rkmz9MlRCKag d;d\/DWYW֫s |2^쯧)#w؅)6*êu׭HU|9 KDL%0I; 4c:Rz+Ox^iA/mkTQ谪^v]RzoyJ&Rsթds.S)t0w =eh:PkS_pJ46˶~DiLOJaс rxU^ڨ _p'-_YEٔcBvҳK3V#>4{d?9.Q]gmljv#PuIHSqg3uNSiW`7M4R@-q,Y?}|遵6&6Ub}&!f #FgoJW)"yJlT 3@*qʐBz;qH4Of^!J~c0rs!`+;'')jK&y[~D ȃ)vO&-A"ii4,Kzܿ=9}ܽ=gQQRۚcGAC:|3a?ҩMAzjJ ˗ed4-_XnG}S<`53m,x:&i e7a"M1~,W;5v(i4 XEզDْ+ Y>hy#2Y֍`H(b +J`4czlsSt[.\S c45(xI=3@и$=}pWRFiMe̦Nާ ;=T-nی\Xeo~EJ%~>\ K ~&SHgh~렿Ttt Iҹ/gU%K]FI"LSPO1|j3׹ ]Z3PiUx碆)rcrhhzȖFWm`j;rpQzzD)^3;4CxoZLX$Z yx#ҠE&AQA;s㉭bhs:΄X5q xk"5Bgd~BvQ/|~:CraLJc<*PD%̢4AaOj8)Ȫb'h0Ԭ,[AEy-jгAM&4+s3&u7 ;Hh뷑-!#qI8 qXPLF )7IXQ'LH%ٗskUJM6|e6>u|UŖcgPk0Ð{%*sT=Z/mb=mI/CLg c[[N)V/LӊִXI%=\#?AaKV|;vTF-(( a<8'9הF(s jhHX]X[c|Eưbym;~ƨ<*?&$n GS5 ea?wE迀ۨq|} N͇Q^wGr ʣ|35,5CmyqO]eH"AQqƖ1*嵱,G4 cȻ+ӽNQPe6r'x( %^ͭ2*ʹ#GEZT4me([YtmE?!Kw[{c2&Dؐ%U HdGk/ڧhIWS8{6LN,W_Zi^Q5%9< вzyj(ax^jK:x{Rb)l t8PF,vP*pvJ!-(FF7R'V3?[hehd̷`2}s>@QRH&\x <46h %#'l@M0F > W,īSE)q5Jlƿ/02I#ՏHgX |I/*EePgaon,ksDC߷&~xԅЖOv}}e]Ri{rj(DoBl'N9Ģ~_AG8q:8bBpUr#8_yxws3r(@*LMت%Ń-zi> &DEQ1;0v52 H~iַ3iQ?9dH槿3T&84tJNJgFx4k3fb?#[OqoՃؗ.Vo!ھ_RrV;DxHHa|Y5[<'i2^Vf%岟Az~  6/A)+w00[M`^a]nr Z1ARU$ֱw3fՀ2-8?:ZEN_;_l._r2N$Ni(|3Wphs_`7X{SNbq |6VRquظb[u=9ZC}LF sf?:z&M8ID 6PV6\O7${N$E>|~AOJ}K>\XԆ€f]ZP2J2C``;V F uh~l;k k( 4pS`j$T,b SǻyN_X< Pw1#y>jo^:76 qa.G$>aPg]m1. ϳ ɁX0V:3LBfqQiZ~ [7絇y͉ZoG0 |<1T'5w~3TVw?¼~v}p:뉷v|{^ƀ#q^,!/וGLJzWPf!U9)Zr-!_ $[i89lWRI%G#/2^zQdׇT û)LcBNPNh,)5%XA@WᛲYgtP*t7gި=j<(үJ* P@y'iew)\:y _T7Cޡ8= YSStoY>ЭjX;}둔5ί%w#36A[6k>9;raP Fjͭar!zOZKw͕qJߒ  (% 0vF'%ʞsRϚҤ)2_i!ǐM9z*Z`[U*V&}6@Al$HY|[PB֗0堚9zP1NvxWhS%eOFH| ;g&N<GhsI`§&pjyz^.^$#Hoe(ne @}\ʓ#(&h<#ߑwK\*zAw@jTSiԘ{)ݦ@! pJ 2/Y gw-gRƔ|sT6j {X` w8em_pX s?t} ktô=& jݎ,;!3gEG$:)rfDn]j.+ ]v4u0(a@Ey8w]-\oqSYA02_ZNJ#RXը@m5@9R ![ /]U7?۝"KAsdW”. aaFR 0((Ud:xOYSQzB0c@$nlAY vģx9ߩfGm)uh(Bbd$" jtx*Ʈrx4/^o꤃':l 24,fVvꔶkɎb;l/Fdڶʇp*׃EdnPquZ%s;I웶˂ 2#geD@n&wt*X iEƒfW=F%d>H2h^=L<._{ci?cݛS0,9ΈEx*A !Lk..] b]wD1| y\ߘ "ŚTl!ulѷd ҟiC?4$0^ۺT%LB76i-'ɟ5KoT0m0.S{n#\?n^UX=Qw&tr{ǻh0U0<+ETΰӮ ō8y~oQ@=6s^j8 8 vڷ>Q' cD桒8NcQ/6mا5M Dy~=pe@ɱ*^b}ކPݦlgq_xZ%YB#Tτ{@*<o쟢Ès"'B=JAYVV ݱpyȥ/?t[%0HI mp]-Na r=˘_!0*CV*g PUЅ{=dA"R[\8w4w#ܽ9iNwvj6]1#6zN- - b-׉UzݛÔ{P ~|QI1xs ^gAP8 oYZFhH\܉WT^uy;7`#[tUƴiŵ[D9RȢܩoL/Q^<1ȓ_\W4hfԉM'xq~$;Cp}ER@(jp"@*!יS@%ɄOh `ZӀTA 0 +q/G8(wSrf\NG|@RU/cLͨ07q #H8ąBThZZ#҄15 ޏVOTșoHANoV"y)6O?`7[*lbW\x ^ƈYsM-x@ཊ>%i:J7x 9&)jP< N;-^xz+B H1 XzFJY7!܍{C*u*b80:Lh_A=4$ &ZǪݽņ 9~n77;k! $)q(,}ڦ[i ?lb UDZJ#p4e@n&=bfu'`VFGĴ |7Ek\Ȩ遷&,,_ 1:vݷ`% ׫%MvH*Xc*0&g9ޓZ_r.y+?3%6@njekHTx5Ą#H,-C7A5.I$ɉVj|c$ Q76:2f+<90̦mIxEEDj#c+VtYŊA6W=wbGW 14#snfn!tۋ̾LVL^Q3l7sC[SRӿ~h=ӊN &+ kh#L&=)idž'W@!Pcij85A3s}e1{0K/y'jDž\9ka ,cYC_U?oXчs?HU~o@QX6PD+ezDM ^9C$)X΢ca=缬Ц}qw>5}juy8mzO"_ҡ_$x姱rK-gm^,5|<0+{mjQ@7q/<.i`.FvzUf a _i]>Ǭc|Od92E" fljujfJ|1]@x[O43J~}ă3 &ʉjT`ߟ9vV-?lVtw]4ϮH Lqٴ XgʒTԝlj[)}"SZWdxG;;7`PνE[%~?ר |VGV_ul'ÿ;j$goj@I79rU w9;<lǝ Hfq3tC‚wt[<ևa?kiS0ݤzA K-y{.޻OJ~-8'k3MtBk t6Agr׾!TIH2ܐ x!&ڡ "_o7Ò@(=PPo5u 7zSSԞ24w(үڳfæ& 6ą,ŘٯfЫ o`KKQ]S%q(O.zHSXZl ^OMz-pЋ=V B&xp~O3/s"z/q:=>UdRJ_Ӿ~0g'xt߈fcŋgJܚ10nȗ*u\*&ۑ$6d&ȢrzlXº'# t:|ȗqsit0we[FJ7R+9=xÖGfJw@ͭU}]y›ڍi7GbR+4W8&˧8 u{e UXQIk5c.-3bjy4MA o>HO1Of w?uWe&纶=⺇˶97XvByO݋dJ˜فrA`RS XsĕSV˕#FkqfmOmLMFlӏVwn)5œlQqS+'d$W}x4pUfƺFz"'? pf%z<կٴc7RdQn8E Z?A7-뒈646C7I}ȒnաZ4 <}.: & Sz4Hz~!dyZF[ci2xNa,y2ЧD!W̴Ա0rX,po{>?CÑ|bIp".DrUܟ}F<];6[㗦ruIidNw,W#L-PA[jSYBGz嶆 F,]-dґcZ߰tlm&O >r'oI biތ'M8g#~Ajnw!qs V$ HķSlUʐW#]S:ܓ1n[P索bc #|"(kȄ$l{~k x=62ʇ1m{w_$";9Pٽ4rA@U0{C=IT~MYi޵)Q~XK䩵!PF l&%{(_(|07Mso ܵ]-˪g!Uا0pPFYؓ3#X5|ұЙ3VW@p}s56[a|ǥt :Ŀ aY Z{fKS6ōb5@O8JDu!'<F5Z݈/L/zruinuYMoW\%s `WH;0PLJc 4\7gt+iy -+$ɫQ}s(LsQ_O0Z,HarϤˡ~#D"ÓAUkC|!<ڶtgww|s-[@uB1ER4PAGv Q*ʸ%:ƒz52J>N dԠt[.ԔaG&8]w=H/v{+N?P|XZȈ:Օi/g_&*57k׿'W@ hR29Y䲏*`|x+f$" 9^?zT -XBAd$C%5yۭw .he督5X>>UP?\* HyB/fc+ROos)rWr-=KJIf8 㖴ZZBaĕkfƬE׼HZO0LIB^5qх<4e/>ؔ,0-צRLBYycrNK{:5@ӟ%x{408#޾GXT*{ABE"tZS2T_aT+bQ^p5pڭrEQ鼱LQ6ĊDQ,X|unԃS3NuVޑqGLK _gp.V4|(QʲN:X7i$C;$p" K~Q^8 p_h;+Lzd,%N32ʀ>Zv%|Sͦ|d@ ͳ[H3b8kJ^ #YFR9^ߴk$P  6觥JJ&pfcK~Y z >֭XC]%бkݧ7&w?p/DFCo#wh9?zh/Ʒ/w58wZK3?Q^bU8~l%6v#w=Q 3\CJ#Ff!W|T%`L+N ePOa:)? R:3z;c)WL4yM$SW>Z\&li{Rz,[fÕ˿d޼fŰ͊ da򼬳YO cg-֪Li3%+O3X(hvCC=-H퉶GO!b45|roX 4ȃ &h,]tJh+ ~6'5׉~JO_b >q6F2bcAM+K4g <[7"}Y0]BgLG-bQF7. &MK%I @!DW?%+&T8F*-5e2I{e =-a ;-~v qN9x:72и9}fX  b!56DbYܽDQa xGK6t/pMS>yu2 +^lw l~&Ǎ J坘)g]VgJ-ڙ2 3CT[jP}r6@q-.+@ZPSt Ѯ%VTBWDӪ9Zd|37@;A!m7? ;:q>loğ3mU8,v-0K5K,?睡ZnAee2QGg. F4ԍ- Vzxt@BA d$Džͣ:6E wm(jFAߢQ@=gƷمAb&9k>[T&MRe-PL),Pl;j zftW$agAe1ē7;k*n$.ӶH 06~HF;i~^,//1]"x"Xρd?tʵه a6qb`U[l)yZ%_fDVj)03DkCIƒd =-]b 0B-\  3 eOOU4-Ql69m-19i_Hzc;J`yM|jf.wذ]F0ϘA4շnΰy*}i`I#0,SHGS,W732.%2)]) k]yX75rR}xx0q=UO@Ja)ÊE> )lHV1BgH b5zᗾdMwzo|Z΍V[gI6ne+w'Kga|u {S;&ů3 e4M`eSi7mfKu$/D伤c߅t6ou Lft/U}>UԳD("ׇ$Gc[߷($iXm8Ab ,%|uq&^"8j*q[Ssee'A?GK]c+. <#*y0-$~tп]AWE;uuyd#BB$uRFm .z?{pF#:gi#8lM &KT3\MAQ&Sy@Rr^a 9PPh~}GɷPi|j:/V qҝbk?*'t^e:ՎQNpkb=sjUqx{_ptX%+1Q&D,+BQ?Y g ^6N?`nML`WڞW*] 6D  TORQl ;[f@sf)q*gB3yA^4U7_p~t`a$(s5’8mΙHG>!3Yag;$iC'5理~.|FQM< h(G ? qUy+^_YO4prV=H^ @&%[pkU\E"c=M7h_u Q /Yn/k6A>O'BcSfVBmYԩ~d \Sd1PB+깄o4֛$V9Juy>F* VVGhou=d6Ǒj#YQznx )[Hg'e.sC=l~ѝNaVy2Eܫ¾lko1n Q@yi'yvj5X]L=Ւ5“!>KwJ8<QvUTfbɾ{@SB#mxKi&ޢj=yۛ qIf;K-Ib S=Q%)XT6hv`,+>vPVG F8{@1\c9G%x"o8yF?JrpL91/ˑܘCht~,dВ?NwJ=GMe<@d gX(0ʏh@r!!txxywS;M-j)tg~nКp2 m  2y/*1vI1s@q@02ڢ/LQCdtXy#j^ 9PePt!p-mؤx/`Xhw8Jtu7=dsnI4JiT@һ d2q/cӤnj | ,S1#{s*SlK~?! p}'nNL:(ԥ`rr%Ý) ZvE2GJC`ASy) #dInsv.B#5qPL%I*m7H>h ֳo (#b8y\dH"}oP^ 6<aټٷN;+W1[)=ip0i.Zߑi7/GJksTbnHYGȘH&wFg?q*·6s'?F/AM{2xB7<&"5߃^r,bu5Zl"v?iQ}4PyRx 3~LI`|q]E87`D0W}Ntl`Nq{+ʙ pi@*08Β\#Fk<|gnz5vD$7CBefq$߸6E\*9"ÌX~?`Fv+WIwɗU2}4g`^Xm+=a_[!544\gUr`a+,> &{%UR>x6 bG4kezr5M[3'+opDIQDwm:tQ_ e' EX+uWQt0 ) H+ {uJ w@.s%Agj!4Sb0 ݡG~rxR]&! 0QiyFtee$fU8~1hxCAo TR#Pk׏6ūFcQ rY8~Bc+5p=* P]NWXcAO9DhЍUGG3vK9,l-i7G@h[ Qdi ¾_)4.|WTW& ^bU!C;^ ;nYMJ6pׯ-G#}^ θcI,\{}]lc?"O5NanlPS2![o0z|M0̈@) ~txts\F+ff#%aXōϷ^LHP6'x֜[qfX89nC^`z/_ֻn0WdAɫ#wiJ+kR_( "$.i{<-j˳HJۿnu;5{z3W(QD77Ul! z-}͗8"t>TKB\PɅF$c V0m@1qޙJ,/'Cԕ;_DtI)[-EKUpR*}^o;PM؇K~Dڋ|#f*˒<v}8tA%s[k`W`M N_w N>ʹT]">Hkmcqpe!oR e/LL)P|q``ŽB5[rݎ)%@Fum:iY% eMcʭB-d2Tt'j_CPaeOՒRL+׎vIOkn_BczȥX?@{E3~'L6^<"f~ `#R3SX}^ gt1]^uu֞j\T.QQLLP[;c& vY 50PsbGFu\q)tqJl|$} ^@xѹ_oo Q]Z-ĺwOH$L.[ɏd 8ƥ3}PSCO ˭ i.o2e 5T+74WrMӵPWNɫ6,}sO\vZ*{LgQŋ za @[2xzd:YxF ;$O\K$(rޅ9TȮqpUQfڵOxlV[8>es8~\/]! 2+4Mڜ0!whc^G}( ]/stSو}АR-gԍ] Nuc0_*Y/)^a}s 66<1ܖϢ\"},J`,LBe7)߿kY{J|!5̣BNRЁC 4`cp dJ*l4Bj=E).Bݫnwe Ox4f1\/U\خ Jk,Z󍴒*=brǧ^,WScdXL_@q48UUW0_d97aP#UG & N鷘9bD,ߪz)m58S߱c?/< > 2/kkJCSD+SO\ Yn#EކX p+~gZ8]DRG|9 \c-ZyD)鯵ԥII,(=%Zlp%$OJ( $YϵDvZj0 3:>-TPp5pNc6dfI߯V9/gyN/e&lJ0(n\Oa)DxU2 H20z jh]zzG,3]3 \=Ep 01!e谳ECG' c.IWZ{"DOJג驲4NJB4R<0_oi|`R]R~&p O]~19(9EvQѣ=\1hڂIe齞(6K"9cR.q⺥Э~&ET(^ql>H8yoMr>ddm2($|ϲ4~(sP0؜ oeiX*32A ОL\xId/..o;D.oz@Z({&dSXn:H9{}.@G" 2N8N ~ 6qZ/'=K1}D 6oBLTdp_z̡Ց&CL9 iuu :5%rp>aM"htman q*49A4}{;+V2@p46`[e +I;o<;.Pz?_Z1[}cO͕o sPȍ?PzϵNIp7*-$E(c6>zm$&eҥ)[^)[y% n6vi qsIUW!:jcJ?'\Jeë h-<9w]c5|%[BI؀ajPMajH&ua-UAKxg ޶CuC 1mڏgz^na5e 4v5hm~= "B;{Ae$j?Gld Zԩ|h~ Gwz,/S ?2Ntq B I3$!{M& yJ>2ۖR ®=CM]~9^)/tn&3LA)=S:0k.V2_dxyiKnSOؒf͕`bϾ'םп ɶ٩Zw8֎ZrƢYQBpc ?l>9 z;OcV/,FZm $o>"d2X.05\N2F<bA&[im5; q31Jrl})TR)54'34451Oh"a$iBg_$[o+2 ݎ @#O+N|f90ȄkߩfLSpٓshnN'7{Jb 9p3"b=kyʐ?}gkS *uhGXcwf&DC)+Otk2r^p45ݴ|RnRBy!h Hir^Rم6Y;}Ҷ]H$%=N'2麉B[]bl"ʃ0w Y |{]q0)s5b/b tT6B`fI$^/LzugJwSe#V2l jeJ]rzm*t-ydz~jOT`r3kgA*H~$⨝y4ȸy{!{N8U|vA Gsu~R{dm͒ulGL5 {jC *E<H=ҾGd~vt7B:nC8`K/\]VAjːK̸ũmhǐ WIӔ^^JH)1mYE4|9  O:??uNFTI_9~Ǖ&-(#@50Оg:0bHLmBePoՐAhh?xclrV;HЗJ=ce6CV^w]dmX{! ìRPGGS(\h5sė~Pettئ xcAڡr/ ZF"6OJ^%,rm[9)(9Ia^?{4iwB||)`uc4₁31]Rjc zNg4YEο,!dSK8 zV*n3H&#yյIg-np_7?hs*l }D,HjϠУ~(IQ?p PaTv<353b?A"$GPA H2IDNHZ Վ+8  ߏ7ֲܻ(lf 8_B'㰻C~+` KF'/gW̪vdƑ4@.6`?`Ke։VrZ28QGwA3J|OEfqL(V8Pc|u: jEw =0N͔}'I~ojI5w`@S®%RN;Vsܕ+UnXf JS-c5#NQ@>Gaۂ#k. -,}~ vjudxz'ҩ: X%vkkh)VkmCϿJ7Dߵ\^~:0eԦnD !l6quHP?Q:`Uçd: [ED}pk\ʄ.ɡ[MVS-mce~F ,DbEu _8dH8b0I/;7ϲCLGB5 Цށ]N:'ŚI [qAày˗f)Qʌ o@i 8eP|c<$/Ȫq>rx.\ x*dߗPDr[EtXtZmfb+ķ꡼"$Uy)5PEȍd}.-s;(0Z[,j<>YTѢ`?U!A>3 j&Cwֽb{[^dž55-i۟6zn| |pUڭ#ɬxR_OW ar*_=sԕF}KalB{dBbjI_^pX+ěPk32H+QgmL-;>p.+/'kMW{]n:Ц-H'vܝM)zB@2'| Ȇ} %輛F0Pw>ZA9|~*=sºz12/ʵ[>45q'?=5凉6yפQ NQ@^A6xfE^0HO-SEv?=Ռԩ~,weɜrnq,k֢rX dVWBaƾ)OH& 4u;u%&j ZC~wۨ 'hE&vN(J!͘үFͦƹ\ "X+X{<ؤPU7o`ZĕsnaTzHfԾ T+!:(.c:ݚm#PCW+KF},T3WFgRa[=G@ s V 8uE8b>MKXò jdN@i3B@}a WU%I"/w]E/~8CYMz7 SPZ`* Kr*u5I;4zzrޒt4 '>'xx0zY6 X "fCzelq(ݫ1^_&FkxW1y\(qHl%A HPk3 k@sb1 lH /+qk/"s }xY_:h4l] GJm"U}0 mrBDx?&(<~bjpM(Glʔ+'/ibҔ 5J㮭#;c!3['JL,k"´_vz7G<R=,Ds\EƖV ɧB^?DЪ}ףѰ# b⬘nܰ.9ǷzRFfʥFx $m9L+0-Hkz$_\x7 ӟiGV8b)J<ٸڹUfW2yJQ&Qp"<ȌU9r:8clrK2MPYɰ̈́nA-+B(:@AUOۼˣ6*ZkkI-s6W !l8ԅT rm8&m@5^c_)o!2Pz7m┋SŁ:#;*p@~˚t!'YN\z [>ВK/ëaυ>4^J ݔאD@͑OBSm; Ț_lYHYXIg3e]_Kuv~ a6taz\x5$Sp-daBaJp ޠgihԚW\EI?2ۺ1ueYf~|:u6}q$Bʗgaؗ@{_`Y)S6j10yˢi}?S,lPvlli7]WtJKKmB!&2Rf?.׍~1 Iz{ì4UUAT_(+ɋ ʨ[RP ȽK-pmZDj?N5r 2A*F7f+W  TBS~febajC#W*]fN5$~tݷnR\q&t˫R9*O.w0 0PicTB7j6svM5"> 02ߩQmj |0)釔\Q `\~O4wcJK2j~AXÑp7HBJR%ʫоr8[\o#_ԈWIB# l`i'QFIXai^xy pҪޖCgKLF͵uH#'PtMDiz X 9|߄ߟ`N{V}D_n hLgo~.Qvɴ3@oIM%]k7.gGD(7axI0w!0=s&+O&N69%L̴khNp:.`Q9;:*2_r뵪TqRg(Ti3 87qT\zs$:' ǙvP .@Nvkэg8-uDT]sSO&GuU_qP6Z{"Y=Bխ_IYmݢvu\FmZ=hZVEbhbBEh0|"E^/'Z]+ʇԀyM##9$B}vSa-H72\d0EHQ.~R>:Dmr   N=⃉m]* s`ܿ{ྞE}Yq-"H<PB]h\PΦUi u_=_ط<Vg,Q!X>[c#:YY"\ΆXqy]s3sIܲUc"1WDΈLWP)6"BcP>/>l=߯(`!Xs:w4uOZ}|:#KA6AӔ!pBR{81qd]qCȒ\e6vͽoX'3+pÓ4fãHWHtq`}-z0(/ƭR,o4'傟F^nM$ )2tlR} jCX'n%,DZ1ڣZ>6_W_at=(AcO 7L$\IX@cvB]