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 JJ9~*fr] Mz2H;?\1PLNl)M8a13#Q3%[;2 j%tQaP?&aŽhCJ"--ۘ Z4jNS({ql"~[ ȡF8TX׏0Aehtͬ- "'ߔHc(}xzE=1 qqb{|BHuxzVx cfA"-pL[Y32ƶz$~Yo-;{Vl Ä4vդd {#P}'[c.)r^6Uj1{YWq#$82˄cޢ7)ϝgȘ:E(>jWx9_SV@uE_. +|PCaA 3A(;wJwRռi2BtrwԜsoۜT>*1,jIt i24TSŘI FF_NAwg "`M>} x4[V!FW|Q{^6+ ؀GW r:B੯2+ |ڥTu(7G,[KxZjàUo~̿{|~'p{w~cjRSȇ 7)V1'&^M#_ w`+(;˙' X3!^L3nM8OsC͍+t߫*hJлVjP⥛l6VŘ`7Anh >h` HH+]ǹ{uyGeJ;2œ*-+(ٵ4Pw+Fzl~o# :~62w{U7M`Jr@p䕱'|COզL|8Z@`63`a6=Pj2)^|AUc&8zh`[5Gˏt)ݝ^طK@H~ 7_fO k<jCV A ƟkXIۙ[F0>y]ІĈ%;"qKeI%K: 4ϘA))!QnѰ=f_h҆Mٝ&޾QOA+Gv(eZt~+} ~h;ߋ3՗pVXc4/H+ԼVΈm^ bt|Y'fQ ]1ӈ/ B+/dL`  Ёq쥓 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 ¦ݡ!ޒ*/X|RK2?Y Dh`G#ӵoLyl/nC!KRJ_ݑ: ʇae3,K$uR@ 0 .D]: Y(|Wn06p?k} EKy`iN;U\'΢Dd8łݔid=g.ĒbPeC.ЛV%!UT[%@䳺 䚤̐D $0xXZVGrտY5!:k mU~lyd1!ijJ<;xzs#(gE|W;savА7#PFzэg/~葂Q[i[h M'U6=ul՚R%!bp2WWe}H%N݇$᥏fn@ym|#Q6k5 09]kms;|b7܇He->Mw3`>IӮcq<1Hk>%ɏq;'l&nV_lcV)Z Swvr,<xpYs>7{FwkK]=(vs+ \,'%B׍ka930^zڑI) Xt R^Ɔ\;f2BWYn'ӊ6 %OQg蕍J b?ލv0ҷ@lc2`LJlK+)6I7⊵}:Xgד`'fBs]ՋD-k, _XaX]*쮷,׭%Ѝ`J5h)-zpүg_Uq p-++nz<)QU;mm!^G8 TdRy5PWzVԁmm^4=9."}!"!Bkl)Q8 2\~jÉlFQ~[K`U\D٦fryuzj #<e'1u/"`j$>tg;UG [RTIdHlg|5triQ{?$s4*`So0eI||.A?KbΖSYT25<7Fّ_ah=?Caѵ6/}K,NNb]>JifEhKQL2S P!X=.C-f717 m;B1{/$aoLm߶zncK=4m!0gQS@}C:{tsZ| f]t>iȲ[ {#U?-]Ÿ,*@h˒x괓-ƢCD6+mI+"0o/ʰD_۷9Sa L<=ޥ KKj6 Oc? @+ |vIۑcĉni̸kCRV k8`"0$ikcj]MΝ1&7D%Mӭ{ ?? 3NBrM9ݒ{FLe)D.;Re^DΞEXMlp ag*e{C`/oѹgX2m5McH߳u՗-W^oz}ů%βc?9ڲړf,#͎eBb-OWtƪ,G_kR^(oN6W|.0Ji3 fw%!kޢD؞⸾A?`~KEC!6FE77 މ_7r4NKs'p/4íOv%~٬!XJ, $>͡[+a^S{kMzr9@Dtj$J6jڣ<)$Linfe~T7V{b&b<IfґjIb1& ߝ$#YtMTOAgTMp^כ?myn6P[Qw!2U |`ug'^Eܧf Nr:b YhLyDDag_Jm؂HW bg*uOtNK9PyxZ&C`0%/x2BHP9 1ղy=ԁ!rĽty+S ϛFiS ӦIs],PA赇klxUU%9<+& gt2 mhmL!QwV޵#7hLs|+v%Od:A=l 0 Ei7ڬcx4Ni|jл:VwT߹aT<`aiqcEl qoSc[gu\/@K\L,$X _x{DJ[2=( 隻xLB*+,Q\Aµz+K`"=!tT?Xd;\ [+S;T F\&T!#i>'篂A\ ֏dE%}UVI0Pq t_ }uB#"7t@<VEBE!.z5r. I*\b[:iLƴQWUĖ=ՐЬZtӿiCξ6vy̥(GCW=u]=T8By*l\哗R78:oQ+0 #& |N&M~9,daϱߪ+sfʜB_EDUlnJ[cɋکusjEvNU^NCp/tnr] +4ŷHXzU-hѰ"K{?2! yz =? Bm1+!3FPS000vNs1tڌm$TMZthuʐ&(;mI`Է&Q5)xw ݤgh)v1qT_ʞ` L2|3"'*~&dG- |Kk Eyr h8YpPkKH|}}"%cjqzK%KB" "[*G%AU {XsUbs]HG%;$|W #X9]_)]Pe՛e^˝ݯp3Vtl6SHt-!J0 hMYj{z hz!FRomu?R3ZR92ΙݡpY7, 8d)`IRF1&dA-68f(~P辫Yy[gat5Qm?z"\&EC3Lc=En]~y#61vCm9@rC#_uz(t1hcǂ`^{~_K| 1C3Giq_ugExωE2i PlRv|x*j!6ҹ:mHXA4 ?TKS,~80hPjrn-?ܻY 'i g kxHXdvnN6+B\'7=f9UFLmB=fԲ1Y7'ԺM Fv{wC^̤[tm@TM#am5Fzb7q .^>[%K\,,0!?Ts`HNx 59 #z]x[ȩJu :ӧIJޕ\ i9{JTaq!rVbT٥\ Qrs[쐚^e`mUIu !k,`$fMҽ<;0 #o]Y]VN9o8V 0=F͚݋k*vkI7E3UC1a{?޺'LUҴ\Izm֕M#&i9ڝKS)+tj|wjk{nЦ&ICya/n+E4wZE *zUܦڈ ͕gh 6~dF&g헷e@KUF:˭ `J~_t8?l*QԤ?7#l[뉗;dύ2{KP' w _O̟-(n֖—W4ƁNK O?(vSF'42#6N_YM!>-}Tl^Of1f'>sK9/A~,?r%SUӱ Z4V8C:/ES#{9N!e&EJ:qJ] pY+fs}V@3jha֑<(iZ5KH%zh7 {϶TF7Yu-gAlڿT3켦 -}q)J "zY_/7>~RXQ\h\@70E1|Yh:5RA"Ȅy9(<%+E `Dw:P@R+邥r<1]P{E/J0b'xñDg$!?ϳϡd_C?Z<K@ND4[":^ ܑ*P` s _7nhtLܝd0_+]ʲziYDRXR 'MQFv}@4 ?wNxOap#Y"?41MK%M@dze\fdU-W _mڷ^as@(5R; ۵| *9ձLbd!"G EA~.@d"wcu`m0h,?ITAl_zPz9M}ueOTQq]mL@Szǔ{s%f3N8u~> +ʊÈgħv_;߈[AM0>a?ܐӎ>JGbXrSr(l ߡlpw2tJu*%P >)+Z !&r(AehDF SRBo63UķÖPT 4k ĎFSFqvI9pk)>CTyimԺkT@_bd9 -#ϣ_bq=2f}M:J0tL !(#Μs_=h6N0Xw8]Z P<~HB /HרdlvwQﴈu&#]`IU^hf}s-l ̪$LlՐmJ&u,YQbG!)Xv)eΫ5%sKB GLX`>t ,=H#5qi^ACM G13dF[w"֯3BsqKS{d9i=C3pѢ,u;ʳM>o*ZKK` LԴQpLq@!7YTǎn2w;q\.GW@f"3d;ra3bܬ)؈ҥu[~#-c:dE&) #2,+eБ$=y/;b X72yt"CiP?"_:haTUb3ܠ~zyN3t4/.+60i8]x,r#R _$Z3c×䩟oYH;p\ N0H"i0B}5YpY[+5'SKVrf?h=FFDŽp&+ Jwy)/()ѝqc-~)g頼?Q8WEV$y:%Ԍ}ic鏺ɾ6ovph?a2g(٦ 8Zdpt=کGVA^Xx˹B|&zq;:@>P+} uQZlD#ƛ<Mvg6ZFg$,# 0Gu  aD?I01c/nw[bX(@e: ͋.Wgriım,݊Ω"$ a`9|`_C ;rXǪe_.ݭ%:$t#MouZBR2.,NsԂ; i[qϖ:M 0QkgKʒ @#e;AqޕP1h,rĮýf"UJ`9$MsO5D =f/~*f%H)pWNEN&'EBeUxK$d"E_"gķ̂QCMlݡՖ#xy䂿Bh/Ib7F3õAٲ] I D*k첑K0\c>Qs5 ѿX*ˆ-u;EWEq}qR!VUHAa3fb{ʀt,%/WO׿b9ޘ\jyA;MD˻ģjo!yMDpˌ;J npƈN%] "֟LW寍vhzݬ'm7tL7c =o?X]z޵t(RO;NkObζ'їmx߄UHYn[64s`]4%9x6~:GH?_Kv!԰!ԯl̴U !Us"O D$^m(j p4fTJ{Y=e1(3oWG$gYMfG|̂LK2O1ِAD4f[2tyfC|R]saNi: Tb`=@gUō> HbW8=f(W$M*FEe0%}LSJUׅ@ gkB4 rcV8᭒ 8 s$$އ8Ota{xYɦ|3t5#wN\>Vig 8!s_8Z G{]DnPUSɍ *`$ );Z}4gbcꨐg"+3E$K[ ؊pF܋BoC>W[Ҁn7,Px 8x~5z=SO-P0RFΥ:"RI;Ӗ/66{h`Yx`G[S@Epa)eK9NZ+7 dzE%;~yT%E33E+%wL~ȹ}hγmDjǂRC1`"2@4QY SR=+~[xDޜS/zOrا3jl݋FFl6uӜx;󥮀~PxZ!2,I5<ۜprthihga iEɨukzbQ"I~B6a2c 511.|<lߔdbV1/>փS'eJ &&0Rk[y& qB]7 ae>\RrņSy3( Ɗ+Nryv2( k[+Alg ڴI {o3oIj3EP*e|FiĬۮ4!)eyОn!3ځ̀x @oN)ȤR ERwΠT:O0]aҢvL<ڶOrMb5W!@vƧnvlb]XMZih[Esm缙-8idǕ@Mq̀C@5K&#/"ef0Tm;ФEM9/iM|ϸQg刭MH/DV4gݺᑼT7$ Zo{ sE72R@sE |_9WpT'4)2?il,׃_n ɽO3,y8 r5?2hTDjr&c6:b!0Q̙'\au=*{i;&Ž<ޫ3]` "/@qnP#D 󭌓WXN2OB‹ ⠳3:JTZbfU%N)uhCO'-yhXh+9b¢<0l15!Oc82Z3e8;=Ž8p` ?&7)"4t*\Q,Da(TF| MN+ ` mj %0#ƦUAwr69y=emĸJ]+uMɲ4oez>X:#7_x2rHwYc ʨR*cQQ,q'^D_7I;zYQmRu#at=1@`tzms ~'|qN@pEVzOL1Xiw ɍF%9oXL״'C/2#-%*L:{7dqXCOH`M@B=ӭXWUiXa6zU=Y{Zx/EPyo/~lGm *5=#YA֢U*c!9IevҐ,JZ0б7ܓ3 z^LkO|dK@ОnERgZ B'ue5hlWK0 .Iʕg͎@=bUR!. %ˤ "È$'v^ոbP}`_39Q.9{mA\,\>:{d-L.tW&4ԩhiGTu?" xe4Fj`rrkMvw/ƹPj;I4r1Ö77 cHV8Vv>lU]I,#ٜEtm"oa州'iR'iaPX> pw#ݢ hF]\e1!~ ۰;ܴes]nbVv'UB^ۘhpGۜz_?FFdp8b%ޮEN؉oEDZWMb_3~y-//)B*941cuM?J& ~P*4<7P 58:WdJbcRv*pi4lBv+<{=y= Pp>`]r_r6+pigg_ zՁ!%dar,(|TQ3EMlX9Ի@?I8+]JșXΪ d( uljU[k]ңĠ!"Z])WO^][ jq~Ibwg\*ER4J:i_n4v!A許x&P"y*t"#9L%|uK*7d2k<;-6H3]Yj>g Ys 'I6lknN4(_ؘiy·6gcS!t5ot,e9 $ y#`Rp u|?0*\c]׋:l"Gќ"&<2) Ju'sԓar>'7STcCZ/<ǖCl|;(0tISBe NG)1Z3D`mРw"V#%"m15->zUO޻5˅8gH5(Q9"Θ#>P~=r8C{}Y_z5Wy-)rg'*|nEԭ'ɴmxCpmVoW13@#Pyc۪,~h̃ $\K:Z\9auw?=2ܒ~uP^;̗irH`o?*9.8NGL?µYII1Sҕ2rWB+9!GD+>BW:t2;NXns}1m0v &ێ\L`fǼ㖇GʘL9?upJƇ7x.B ¼4O*"tv;iN(吺4&E~4Q]j ?A4c H'>Pf%ہx]9nD쌩4ܸ6'|L#w|@^; <<:4Y)@)Q/L(1;,m-5_Q~ϭ3e*O?Y%)$-29-c oĒ&\qdcɽ7ӹ7淫w,cx;d-ei:|=ug9 3P$dԮmf Y-MͮV$bˤCƤwίӕ#M$H:tfl9X#9.#x}6 t(?ȳVs߸xUs *J F>J́_35$"aQc@g/E C*FH5"BzCH%wY'*(aqG޾lx#z|G `e3uA \uh3&d=&Hbl:r'$C$̉+QI.& M\@l᮪M~X.iH~YYQc#&K ޽jNK95Y'{R|a?]-ЧU[ .|HRGe{bZߓkdeܯk|NJS*~Q {p?pvP-srY|"$|a%[,Ye/gBXkCzƖ4'֞!Eۦe~}_'0sWS54)x/]YSL@zeihIw].1Rp7\Ћ3Jn]!u]"$qh*k8Vlp LXVřt_4r,"k3c>QuJ3aelc6ݏd 7m(:Z/GA?kBZ6ïV^0*`8ϤԻf{d>;:9 9f[옚O~ҙ1]%a=ҩ?w|Xu;q83;ۙ]5!OW@ սPFl!aϋBtDZj%~uFKLl.($\QK0A)z.7d4) o>OZ.eN~tv$֋7x枃/ٻj-pm5NB0a9N1P:C9uct$T3 \ NCiR ϻȺₘ4wPO0S?5 Q]L7DE!E>E>"5_ZtQvPSjHnƣ:9/-״htJpaUn6:Tk)uӿk/&g7l _ v-4L!L7:ě HSq=4%b We5I#6Ol Pda{7ljr`vF `3Im ఈ}CڅgeO{lc͖0sfdј+6ށ(>u7=Ŏyzl fV 9.$!i!(aV+Ed/|]_0 k|p8~mĉ Ou iBn>syaC"!>ɮ!jMsZSBth'*WͷVNL)kE7<53 tnY_XB*;&W\P!tb<&/|i>FJۚX1aFi 5 6jsLeF~8jЭtMZJ;ś9,nvEЩ@@7eNeYJ]$ Q b#w^Ì&GO{P #87SZDO VxZCuFlIeiҩ9a\SmJʗ Z0q_}ϡ;0E@LZJicnVRpbîY(}-`d| $:&FLAspWŃi ~0.%} D\2/do?d«F<"Qj(ţ ~B4N(A|' |-iRgbNaԼ3A"c~+͗X٦X]`0@YpX3(rXio@>rzjU*O/dKD3\N>Pi k}yd~r\Kyq{8Pb-ᄀ !K,eo̙u26 :bglMWIF.ץO*w )C/3%o5N<*^$DeΖ5&gX7brX0kw oCbtvt¥t|l|dE^xfIؐh8ʘD[x7g&I1kܾY7v2G v-^ qПU,?79}Dfw))'; ?H?k )^ㇱ'o̲/Ftoss͐'iٚ/,GE ^{**%;칕XZl apܭ7kMfs\L2WK$UoP*65m߹ ){{ZV@{Ef1e8'GhLg ߭&%>;ka9fϴi$DCcS!/=ۥW62Yy%W$H'@d9?1Cv?ZyLoK? AOOJ%5Oh1#0QV%H=C+w#^GJM%O\gB`5ؗc1|3ɒZ+)DdDl2!op)R d WN `r]a̝[t/-v}Po !:^M(f ~ޥV`xBTIF'Ż9AL~J?R^ @K>Lmsby&MhN2|w`CS%$!HAy\AO{.rh#|n*q. {{DAlփ0ph~*UDxN^M"Ny`83pO5,b.I/C^m[03I~JaoPf≮#ɓ{ooetR TzUK?#ҿcm/y/r3vHĻ)C]τ1^ǰD }v'>HTa8ƚWބ0#qՙ2MhGblrc$7",p$DN}ѭA&`m le0YxC(Er)AQ%ۧ]FCJPlp~n. 1 %UKjbMA0k#\>׊uᨃ/(؄@]UU o ,c-6Q3wчms658>8=1ά#RĐH*:Š|  ݆gmkJlk,m:2}ҏq5R)[U2aJ3饕A4@DDoLqg?8|&4y<17jcI9gClak*Pv|U*Ct\?ѓ:5bilEERFQEzCzѹ OA5lV*Uj4:c䄵w_lvHeNڛHohOyxG #Kbie%s55Z^5,I"eT0#/ϖ-dŪz•^T OC+;dIC^%5x hw&Qs/VgɬI(.( TPVv]->m}D845]@2T_]FDu$|='x_U#*h!$S>pHYèTTJ/n AbS!)t,EIAI\YAve;$xhIi\=h$ Rn6 ?")gH b<|2^y#{$}0dw-@()煦9y1`A nf *S!r Mɉo :Nnt (2@fQd>cnX(p>|:Lwm`ljü Z8¾:L$ y&F')a4R/0{>}`oo-3#yNMr0Ex@{keq=Tí3:jM`Mɲ'X\'^-K3 &}mЗZ(iM3Qs^ӣl50`}2MMF*Unt2 vP%[A&ᇏo"Ml)7Nc/?}*DeĕH5ϗSmO9':KtG3jz^!;-k\" Ur}3TYeh/KQ*)GEƕ2?-N_9&dBm؎ !”kzpFĬFDT/鶜Jzk]fb1-VsOwy$ 1buIM;c=\[ .m II!%urtey[*XFQ r+!%kwceٯ+% U:X_X3ox_mNGS6{?H(t LE[+x $kf*RדXOϤyzKo@+dO[tPxo}=G(dom7Cj@%kSN:sj;MKI0Cw?`{TpD0|]NR)rߗz_)\}'Ǭ1|[CE/|mэG$EġRV~-Kx*DW .y@l ⫝̸|^ß,NNlꐐhM(]|[1PB4!D{-8IJ:߹Qt0y3݄X* , kQ&L8L|[OAT+[򮧫=;X5-kuLa1%~kIR"_4rOhOb[֕;9Ԅ4)S$=_{h[}|*ԍLuB}v@Ke~>M">ҵuʸsꎡV4NY= hL\7u{fġ!u宂 7pndJP NDhdf&mS?N %"4~vFnzsOeg3a)_-I#7V9I LG7ZjhtBAQ9 5>хC$nnks"(';,JuDf܍#&3|m_'9r}őao Gf "̞]W Mnt;\^E3 ek6_q_Ţ`@9ď"|=+?Wy?+.'eCkAZ-DJп_ğVr[cy<{>]zZ$ӇRY%1gD_\1X8菣y&V&Ͽw\/`P#v>s(!Rx>!_2b^*05%c v2Lb'!TѓI쇵K} CMQ&zR}""`jpC$')HE؆O=~|H}.4uL |D$qw_۹Tn7 uc 5NV eA_e-ּ7g=Lzp\M\3C,@zcCuoY ~Oe>%gC@X"M\l2uB 3J.̥\(̤LbeͩeNob` |zU7T$Křa57` c(RE.|'~7#rǘ)0}BSRش3{9f@O;R?L Em/ dR $XX:Y]EPUΥ' n-h_j֘4>h-8>hWh6(A4?O;mP>{I~^]3Re\jSElۆS8_LxS?{&mI}Z {m@ yz (9 "m:,M;wJHXg)ԥSĦ΁+II!D'1!]$)bI#Z4_)0aJO+NëCZ(JTX`>AT[= j(w٨32kp*a+aGdﳱ:` V|Sؽ6ZEE,]hF'^`Ð02uB:Жt'e - _Ыgಯf%oM>`D%>GC$R@5넜:Ń~iphSQRt% ^ݭ>wca2xމgzxiÖy悑Oব_GH{72X($iYp SXXDswBJQZՖĶwfUYzO䀊'r4 B@T^ 5D>%ϓWʊ*[ ٕ+9!K|$=~ &v~KtqЭq&DiKFHiqqƋ3q}V`J_)n^ oÅ͚K:%V+w~ɏn8=̈c tӬ˞]Hhd֦3^랧$|THNasߪb.YuÊV8j\6/|o;("60n~0T#7`TrxfcCAX7V}jRH;QiX[iÀ3oF 9Fzq~5Qo( m'Dh kj8yƥ Q\k5-L7[/\D=- &Vo1 g \j> ddu1 8X]!cȹ/]P#9&6}h]:!1A3VQ|w;[ ESH4ehtDP+/"8)7B/vhgAQm05-cyb;Tc.^tjA<Ĭ,ְ(ԛo9&+?~e-!]s $tL./^pe:IW(d4YrWxGuF!H(tø.y7MqηPzhXZ1\()U.>`"H *6 #=!)ޢE83$/%%)CJM\%iriu̽)0h 3FQ>ly%'Z^ns4V t~HDN'}Ow9sLW߳/QzTI[&).]Ymm +鸱ܪ!*XCtQf~LT)f`0[֫ʐ IGV-7٬2:*\pƾ ^ /E2__iέϔ0&K-$'`U5*3 -00 p-3jQi(SGhhъNAz/fp&|(O͞'ZƔ]9O: z9{O~"7Fy>|Sm.A_w] BiwPpWpvK0eTD| 9SkXg@eperKECl3o aȪx”+W*4 4;1?~kw?X?F1:?O3G yB˒^Tdha,ndIG] ϸA;qbAbwh{XO.Dijż(|dQ)cn YNn:\驢 n*ľmG w~\{Kθ@"S!h. Äs>Y}&t)U] qj"@#Cp4'j"ѥOhop`?[Q8zw4^Ba"9]>w!yb_=n*>pF* tz+̵ȴ R 4ffdAoٯ`G*OcdAuQdqxh ( 4o@k4{`CWܬ{'- ]yI+J$^E4XeL̋D XgvRc ۦ2}]dC)X4R]/QçE݌Qƛ C6ҾK~;M{߁(~QHG> Xl9$ eb6Px*9{u\gLrVDϓTGtd?T'tKUpr5O+ 4(<9$V '\rPWKTbZ\'eZZ!\*5såJY@$ޓgɯW 9n.pv(L4;?rFBKV!w *ؘ5߅bD UlM;qD%ąÛ5A7O}=LHIk@Kwg6)b>Y)'ջ XڣiAw+"rLfWpo P*P$kLj5j۲,c"+xA!kH`x^uR2al :Mq2UyD8m|9Y`f 1} ўýj\vk/wRrc%T"ܥ: TA.wԝJK 6UEFZgL D#lT+B@ump-m2Fn#>sNvGpL3qXmV-6'*lە'3ZA.'v;2Eo .'tdZeo~p#Vѯ) 6:\F!ǟY E8i)#M(ucdH}{ Ҩ3B|XV0'+'8_;FU% 2˳E#`z8Ajxo\K|%rv(Cb-yR|$G{mx(ϬJv4esVIe60avC E!]?N^g5l;œdr-n72\xofq8Lb?bk@ e,MQ97 ydi36=O3׃p1 j2̟w Ud&dNԟNuN\ xN9 {=$my5Hocd3`igwxҪ rujs ʟ7JUˉ.ؔBgYZ0674145083202ee2e541d064b3f0a16bccd63559d283a8fae717924d7d4c810028d8a4be3559955b 315c0deacc4a77bdc6a602ec4de6ba0aed437907 e7658ff4aeda8ca87c684c7dbbef56c6817601a6