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  N9~|< ] HOL-Datatype_Benchmark:threads=6elapsed=523.706cpu=2115.128gc=860.3927zXZִF! 4u]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;CTJs0'G|QEw"W{ ,RF SWrz-FșB~~1EŘ?@܉$r|{KNKc 5dS^"yw?.ZYm00K$ɱChOE&'Io%D% ZƋ"iEeI͞hGBռ|B=ҺȮXkʜa-y,DZ%%H`esE@8bGRa|mg֢6|j68rM[]-*9*~O-W (\97J!7#okW1$`Ԛ=|H] 5Z8舏Nh/b4&WLA#qZ\bTjow޾i[[Z_NM4:sd6GAAY]3o5߷yECNպq;ګ̂Hݙ$jћk+D0F fU v(M_(f, ; %3K>Z;z!A9)ͽUB鍚zs4&TznrNBs7`vXPa4Γ^&t`:%*8Ş=I,DuRh}]2ggpF9?$y=H6m7ɭ\$Ʊz@¸}"TwNő7yt,w,Zk(Ot0:\zk^+:xUHmLoRdl(f̪];F4ۃqyYN$2C?h,DV#Sjp3S#~{ Nz~s2%_3F'W ^+6߮@x!uߐ iTz(ϱgYZ7zXZִF!  ]ŗXiɟ1)*u%98 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 ɴ/?@'tBкzubG1卧6=\bGFD"(_4} ^?z9shmyωEsu}3ei%N-o|xUt!{dt\Fzn:GSM*5TF&2G 2"R;@CUe:~Dʼo 0b`O&j۔A=ֶ0DUȺ,dC|lǢQrd׌iPzF7/ԿuV&z!i2RdžQ [`_`{CzFzj0~dpg,{ron2NxMoQ'60n"S:6C}R ToN5Fdmm)^ZfK_QLCluڲv_ s9xGKWAW!.ǔ2*ŅZ%9 }V29Yӓ ~&?]||ӿ!!!LFzUYJ3KqJbi e=^J_{&\pF T.QgZēұ8ٶlbpcn, ]c՘9~|+4pPFāst&VE&h>m8A4X7>"]?4_{핇]s{S4ڃkݰ);c6LT{m`Z s4 >+˳g/S 6d֒*|'j [hUJv_T ~~f)aRHRp}қ2m X"4=d{6Ϙ WL5²L|k&/V|xWrE njza2T!U촟|1xR!l̩aG]smA @@T۹R* safĝeal^.!Wga3CɵKՆ8 Z%1ۇ7MMO%JIZ>!~}Rm~\DeB5@ewFs|0#碶1/H:`v檳厕L[*\娥Xg$c3ncspےlj e1{Tۙ}C'[Rl]:tYE^v=Vdξ/JG15\퐜L7i$^.r`L/ ".S[CyL-iYǴAD!tq&exj# JA]I]I1&iWlG24CIC 9àR:Ų@3^JgF lhPIH Jf TV1q'OC>yXpt50QIlKRɵ^x}\P^Wpe}q ىAk-70=q!RlS1O˿9sҳQxW,Bj*՛ZD%T9!.&9\-{c8'& tG^r]{HC-8Ǔ Q x:^a!L㳱A"1vbLyB Yc WF:Kῥ5S5=6<&mKu,q5r]B9SGf_'$`I*Qj 't!mp@l90C#b|= >(n]^&,`x8LCE,T5~lRKN*ero8| sCXz&D92kFa߱pPUi!Ǜ"|VȞpBt/V#`r(08.^g44D{}")JqzȐQ%n#(g7 (c|q<\v9PAeޟPE ^`2S-~SSBdʢ'w!S:xj1T_i v y{\l,Bm6Ҽv|\k"b|Hb~l8ҧuh9D6x1GTHGP{>'C'ppj 41e |X7s?C DW!OU?X]\.øa\zcXvwiKi항c,c62q ,+IxMi4RFL'jСGQ z YRHo;0m0iwZ21b!HR~jgL!"ѱ)zkV#:\o}poLRb,";L P[pHoL~l$,C#`b'3}ݥ5xCV))72sS4k `Cy.~)V{<V/5u@ƊSIM% <510<-'w!o)VJb ޱ >ЇK :mamֺzra6`ycyFsR;okixH#a30 $IQf#g\Nv9.^A\Xj$"DrP7Wn\f=ts,gsvb)4CRmSk>|eL&VJtܣ@ 0Yw7pq,PR)oX ]\uZI"ź܇JNӄ_J|)Rk J<.$g.&@ XTyV1 o1tYC81A1ꆑsCe9?,L4FX0P䊐0=]M2~8F퉾RHOӤ=n qwD0-h5*>E(d50qyhlB?hƺ"OI`:⦈;ޡI:hz}+uP7@.ށIx^CAi3xe\]6?Y-!Xy#JPcOFAJBSΕ9:T8s2puЖ8ŵGT9ExA{M)K[EVqe`ۓu HNPhNh܂uS'CF[pN2b0ư.AKt L]|'F@aXTI!$Ї @ o Ob!NZJE&ŗÔ՟juIRD3#/UFO^35 gɄJN1)Z^~tg09MD2]it\${CPr®$_U.ټWBy܎83h7!я5}NZ; b*AӉDRЮ+ =idxr gk%q2ZiPپnWt*WAv( {xd!Օf~z!4iv]2 oJ2xN{?\JQK" +oh! OK]S2<qd;fX3a[)Rv瓐d$rGHZ= P>dV>/# lvH'f(K8sD ?194 R='Ě@+A_;9"r#>EfmO**+!: D/& ,IqCd-9]n…8 A/>='O52md4b ﶡNC; "D#L6KX A /uMe[Mvp^дM,ID\$YrJգeF'~ 8s\mc,m+.?4?-QiX5k2J+Hjgف̀2r6W gHx{Y'6 TawkCwXxp 5Q_|!%3cmM&T?1b<ٜ2}WGH.W*,?;-6s=k(S\! &}&ċe'pi֝n;>cʬ]Rmx7sr1lLv6ysr3/'3O9!:wl ʖ}uэ2?b?qD2YR܊%$}n3镟 pߋQr$߻m\y¡m#URriPc;l$@ܴ4DD·^0; jz b66B/D^4& CpA% ?NjM]cϸx_ԕ0S|!u[fw|~g;EљjV:@ ~m2LxptCreyr2V: `6mB##ZHLMHYHҊ(('p!l*iJ@v"@ '& r.-4BtyBɋ+ٶV]Gݽ"bu'YJTeI-$84/:!^{nOŎAI{î؀Lr*xe=8ßS;0 \_Tq-lnBʣIV. °biz4[ǹ^|0rUڷcUWQ08a|6RbQ!rnfZ7n &>L!N*'d=貰*~}$ZoӒEB5[ ~E@Ao]}+/riRJ[OssǖhuƇ/C[-<'H,ʐ.\Ď!|xy֟ѯKo%K/<SL ,&R|N*ގO&hD" 8`IHEN!vR̓iC/1 nQZq?d]mr $\w>Վ=ilVf~`i*L1nIOI$Nv~橗]U0/1-K >U|4݈ ɈF`"^<lxdzZr*¸=_M'Q{.e8Χ1~lJvnr-\>)Ň 5<}Crd`e}zhw5cxYMhA"ѿ̊]測i?:0V#h1bG*={fbjc݆H}'b.n0ܡ-dC JeC?u eq(Gr̤֣ +a/QHA.ATt)QFa/8cs@NT{hS5dQɹ@&k/&M jFvLɇI *c;m}]QDѿD=ݵMsF>MhZ*A%8 3th7wn𲕜O9Ti0LZCiK> A#9[ĹtowlO0ۼb%8<9mI?-3n6qc(L5Qd'%wb֕ƿϓA_6vm|@s㜤^#&g?%Dyw)f90%4^O # z(9A53%khED#fL 9zs>ZYѺf.Pap3dɊa~",D@g1o%01Ec͊@uU $~!5ՙh$uPK儿{TFۗ+YfWYkI5I^o_g&NfFrEo4vN*Nmg[kW떈y#]@ J]-,y(hڔlp>zQm-Dc9x/oM&i낑@i=.VOEL(:J Dꌤ&@uYyS3QSd7` ?ShTh0fݘ}0SF| O4u:kdJY }ʎ&NՊ KUsric&>+.tNh{e+OllW| Dk^-M[g}.Peϛ)lW ї;Y4)<YяN--۰ ߺnW°!cCk~x}au0_@ӥՇb8dB;% w3żˬk Rss'H~l#h-X̕Gx-IqXʹVf0#ܢvGlyօޛ& ufRTFu\ 61υse^Fq M74O<5Y4-dUR+|l92|=V˯?‰N'nO\V)kX]\`Vf" Kg(Bnc^HNB[8 kpxHz ْT_m!d_YH9cR ,KW߈W3MeMvlcq=goSv\ U"A rWHU<˧$Ml& A4NVܟM]mM{ܶg mqQ'%/gmjpHaD!;1 WBBMe{(x] V[Նw~5tb\柣V).F̸nh?]4yt?a+$Bz J8nsՈq YsމSf& =T;Ijx4uszF2ȂI1BNm#ǧXxohU46Z`ǖQ!4v9x}^ҷrg,Ɂ鏣@+GZђF99v uqF;dO) (*QW.59Obfp9u:ITN@4, ,e7tVb_&͗.wde^¾Zs2E`"{A T+ٵ7ws!w{cxbV^`-Xx%aԗTJvORTx߉v1^jj/kQ_M2Ϫ֧Zef#&?\@Cn$xt1S! l'%.]6S:[1d .p{D FLawd@$ PmpBgּM :Z!CcըbjQGi'PqrG9mXSЫ0)i&XXKKI >R+dm]6[4_BE=|ck/@}EHd"BNA^qsLS5Y5g;ZܧHppAbt őa=//]'Qba{Զyp܍KXOrmP>)LjFÚ/[R9, )sh sE)k7ZF{'?aQ2c8Dx-~hG@;vYNyx2MX7zԜwCo}ܫPa_RX:qя Ⱦud*@-Y#F6hJgD. @G˦$gT7 /û \Xͱl e<HJڼ s ;쉠y0X YlG&Yf}D}Dex֡+义cNzT Ng13Wq Ff\e" gwXEF#˜W!k:7Pͧ:6sNHٯ ?VØ(?;wmb^ Gjgw h5p]LlUh$8e) Znhi[-B P+Ҝl$*A}xqir"Jzd3DP`:42ǧ\e{vMZi@|``jEOˏQz$`K֝) 7D,0ojӷH%6q(AZ@-""S4`#;7qu1&>^sT ABg|sXd֩s+nj3oi "כ{2ncF$*"N%ң-~qS C]Pu1fD-lww*TVi)O82s _3VW^rQ쮴E2߅7x#bn7Y&mࠣS)kt vW=)(bb@e[m6:Ch? i<0iTdԤ{咼%/%٣?q! M~@$۟jT(wݳnkEjlTEu;'(L(W7vR&f~>[dЭmcGQK Ų tgeti:U XE p9]5=4̿b 4Ov<3 14Kq X@Pc! RF7AiBwmngH뤱HSvC7z7E(4-pRbRFwۓޛN:hEpUUGDiB J^C|FnETTկU0p~lԲ(Rgb ~Zl7lhs-6&Ⱦe8W+֡ķۄ -|(s|*'/M[g'H}RcxPaqȧm@GKXy'`o{"P]x<=>T"18υuEf%Ǻw wIUeŶ=2US#]0@A}PQgn}1~U8Nx#eC{H Bѧ\ &~Ct VW)|M_#W~ўBQ kZAГpkIA,s6 R+fp4 [‹VKAU&j.R)'}?>=BevEqpY%݀Ζ`"hWkCυ։SqJm}7}L.!K+A?f]6^+([ڴg>͜\-\u Zjҁ `g?T.O*@@4p >IVskh Ce_ۢʬ hItBlK{31. 3t ( pIbn6|1(V `)rndqnQA0'J\b )p Tx^kBq8r^] l/T w 2hyF5kP1y)=)*Jp6 i\Gsykyo5 ͠;$6{ 66cW*mYƍ#oaa՝ne*50i͋ǘ <)~]0\(&SlSY-7N^}BKCV0,9k:SW8YZL꺧;il4&m-hJg ")_KFV:X>;=o\'+U"«yM>XSJtg)(/OJ7q_E[j~Yw@EWZȋ5䳧Ru#5SrR ֗L_ROMI80o/1AZV!ڮ)"o-Mѕjcܧ@q{P> ޕqR;TF.>CABA ܻ=bH~nĥRroCrWn[[-Ҝ^S9Ow&ѱOʯԌ"s[Sbf:naeeP|z'%&+YK9O"zhG)‹a-<ȳj,yӳTy5F(uly׶C(&py^! y"~UگAZ[CWoF<;WZ90Yj>xUmb ,&:l2ߧG 7 j9.uQ5˺l0BZSDF- x5vK;F8s@6Pm#_$Lw>,TnfX!{>1)W?n]J f'TM}L!`"9Sp>Ȼf{Mha\gj>UP}TUwCLɧ9)JC]".'؂dTrz|߄Q )Xjq)R T(Lo(47#^Pr6T F #^Z Bx_DT5//Xvd{+S[* u93YӠ_p3eXMloe!X[ ȾRVǘ!|(b t gI 冽(9|,NoH:@9Ua~n +0ePՌ`f0>K"cA5'`-Ɲǁ5?Qk] ig[Mԟ5"smy/yxəxnCS:ɣЦhRPLb|j0I^%a\W}/H~?^PƖR<ԏ Ap_Oou*r"&xmNN4Z/R/0_C,đ{Yy>#F6<=#px.p(/*vVT߬"e1̈́pD r~\6!j*yB-Qc4>ϡZ弖 -6j0 NU{Np;%8j8cE;3vcۮdVjca7mOJ*Np%9k.s#23IjqzZln҇vԩG" dj<>iљ5)lCb@W^z~޽D?(=GK ɴmEYGqڞU}1~/3]z?54R^Oa]G\cn&&@[K`v|s\ qe1 ZfgӐpmOAJa̭5L'C@(/j'x`b!nqXd: [O?fԒGT& ?%u-7N=jo5ΆV-KH e|XzgW,:Jڹs*UV'$-V߷vjqv|$(*;wJF:“&0PmągfvH.3WΕIԈoU N6:5(o YF]"N,E"9r<{Sy"nR{v1g.(񛚐c=PZĹ ҄Ҏ{yc[X3bh91-&c5;t{O'g)Is|}ދjygX &N2}OΏx/UۣL!H~h gR]X]\@~8jlnSo 5ڒU'nZX+frJZd:Z kO3xiS>nڈ M:lܜ<4:KZ.5ac}`V A399^y{[@obi,[8c9Bx@D*.;ք:o{IjB $mCIz64T[ $yQژmd0LpƏ_\xNFq+Jh{+fgHU#z"~Ws&NCt,UB냜ˇ7y|@s|DFA]r. ;4amuM>Zk"/}>mN}ה| 3Ot:9#HɄɐ `T4]~Qiq>}&[ųFAp ZD-`4:$Ive]W YG>qu'-CvbH zEaMӌտ9zsJkC;$5|F3W,~؃ޜ0'g>Kr87nӞ/7?q_8 q>ԀM>A5 :6N;+xwB$ٓ]|e: dchtX+Š#U"$ ۭtd /q,%?{C{h58T\:#{x0m$3 W=pǣ!E#(h=҇5kyv(dt^*KV($Éĝ!nŢZlޏ)!d0m 1z'? ˾-%.NYXT?):*SIY~p" Jl @wS҃p?VjÖDb뢫r73soXSs!埦ٰ˒$&*[yePvp56*XocNw/n6B=g̹ou\ԍb_.2]qL% 1_ Jm0}DkDfޑk:kEoPV]7m6{)oP+ǛY;(kB0?6:C/ϛ!uJ3%=p4 5bEF #<Ð6F't{f%)Ċu0 ]S<^t 0M+<}̎ˉsSq~n=w ձEԀK+: 8[A}l ]KwmBDtHJF 7"]2P/z.ff{T{w 1mZV-\Hҭ b:ڛ -Cm0 |"}¿7wLe{*l~Rh Q) 2 36-kF"hi++o!B|畲N2}_C5(B{(GACľ^XNܑnɹTVvI!dXv4ҕWMƊCz W2 n؇pD: v Y5C_ &$㕡Z/p?VyLmczeZ{ FT ji6D=EybD WV9%$[uI8<J `y 3~/P}װ>d9 UF/V`p]R5!-2zPnؘ3eTV3͡1ױж-+ݩ8u4fC='%&-; pVWo֪eߐ\*´DgNߦN`^8!f$Йzűu+T gKDA0Ytm0XFz~AF9w%J!uĆY Q{ =*ߛX"hMn'O> 45MM."i}j$|A{RHݙ ~)0vQS1Q-d [6:t,7,BT-S_0vn_MKTL*F7;,w`㩛\_ g7|a 9ot U3b O_#miyy%ߙN@k/M &FTGCGt6?k3n{bDw ҡy {k}Qf^-V( K8I^<%(%zxXF+@8[czdNQA%4-necZڐJM8;8 p\]-]Ͳz5R4fBўzIͭw^+>U\kKV,uw/M+_~MlGvaWg,U zlzqVw4<` %oWa8xi(ӋF4hR*Tvۻub kX3I+1J5sy)`op=jqSGx2pzj"1olT jO*Y\؁|L|FAVLxU4Ly $?q5. fx~#i#dzQ&3&^`\ondcG!KIf_ƶnOo)A&uqJͲQV*"uz4i[&Q୚?]LJdHd_0>^CNJ3z?T+3EI#BC|{r]x(ӸqmБ0TqT2"ߜCӈmr},*:A)Z{.yJ7otN"Τ7}dIOAZp HBnYEo(+ j(L3OU*J 6YʾTLXz_9O2X!7@Q}VhRzk'jk-¾&;7=Ws.kٹmH@6WVv3EYݎd!rKF(hxYO"T2`^ڭwk9}UYw/{"|B+ieT^O$R .ܠDxm/ J.k 8GY!dvwXNozƎ\`{G#OvYe-* ֩ ] $LߐYIRE+]>@">F L xG]bHΥZӹY{zֳT!ӂcV%厈w. i^V'{a&fuOL+~.^X݅EnSɅ69KtU"Ǭ0:b-)ה-#:X>K=U!";6 wabg]49W>l9?婬pP?,M@WvOXt,NԐru+VX0ci9]gC͡8~).<5V~X*,ÉLd0;&9Q UX)n֒n<ml!bci/@^Ph gG\|@*u<ʽR_CZZ^$c4JUМaуFo!WP˪XT6Xda){a^ro m!4x`} mPV jO l["6XA;+r[u{/iȀ`w-a) J?Wf*,w0>"DA5~Ⳙ..c ۑu;LoykDtXx!t0;XsS7&KKNpb }PmX[p~W9`Vgۻ YgO /r0\XD['l`OeR퀳FRܵB+ 02?8\n<6 딯$U}~+IX7ʷ#`0(MzGʑ}j 54HV4K-B:mCjANj^z/ /$A[k[#NϼFث޵a"LdďkqJXr++>pRLt][H$ Np\EEG#bJD8[yebpyWe(W(3 eJl;hз {=.j"'\s~N@5TAr(JLj/W6w99r;Ch<|~"@W7дwbm;eonap՜9ek 4q͗֏|8(w{B mdҵ&$Ԛ,]600(/R8 ƿOnʴ7]ȉG,|(S8Ow#zW>W:?.Bթ$~V+:**04ɩ1QVxdcwڇri$ lDx 6cxԿz8tR<G^bxO>22oz~[י{e"{LßT+ZlUYm׮P乧)4o s&I@O9~ڗs"6GZ%o !3 b:N8eŠl0}K- kD.^G׆`6BriN/])zŻ۹ u `v::A`cRK_G|ytkf58rml%LqF$v> :\rlO Bի\?MJ*=l05=DF@V [[;V/O[UdO&:m6)(q'c+w*7{'vz, ٨R?+'\otČoޏȒ,.黥Ӷ6,- @SϪ.{ۤk\fxSUF;I䧘C|"s첎ť;Mሲ.$ +ڱrijLoy9=AJϼJZq`NC5 t/DH,1{9xƌ2>ؠM'G TVWRߠ\Ga@"~RZG :!DÄF| JKD+V~:h!>raQ8z? aE63K&>cƂ:: ]\ᆕq[,Dx}ErE`vTO{u3QIfɁ }I{Iof@Id#%QbG;Rh}1De(hl7ZkNT}C'~M^h.V^i2O KAcenqmE2_AC#y>c~ ,e`@U]ϒjipDt˚r/M@zXgΝ1',`]+M6 R>1RZ\ɮɲkX<=I*hqK_*'C8D;_j0|i["A!Q/QэBbٗ~JӟftioJ\lkS% @<&#&CT0 B@:i@+3T,Zbpykw>j7\ K'k.7CZ<;o-Xu%S'3 c4KLysv 겸k$J`H|TL۾+?.B\x>@-iBJ`gf!* <ܛ(Zs!z5ۡȌ%͘.vf@.q4*fnfj>J˒/2L.OOs J˳wukߎs4- z[Ř7k|agٴ?(M V:F0R2̓V*4))m=am[ ROAxp)Wg>xx a FJEZ?@4»&GQYsKME0bذ6&3% ZxpoB?NL8&9ц1 "ČQϓHĴ w0%#ح:h\-E~}#!0I T¦иu'-g9{rH+ (d@D)-߆]m0AOB [U3k+r?A_uGJk| %˷66v}Dj2h43:jDa4{0"zV.sE A HKe1f A7ټg趋9 fEk|*![=wv;f=\zDLBOj7z[Q*D7ܕݛQUu4o]&VOc mҊc~v=m}a|=BHIa|$|_-} :R=nVTNabKkNvQ-I a^k"MAnMF%2%~rh$ɩ6Ӡ/9(ޅ,15zQ\?hiQ`U~A(&_3 hUXBWx([Kk~8['A8}dklg^K<_|牅|햶W~:TTj>(' gNQQU#G$1S`97:WqnBn7DT3=P4;_Qle`"#, ZT;.$ÎfQϴ re|A >xR2Q9ݳ`)y &Z5M+S8ͧѐ#"5M6Ӄ}n=vxo4od3^G?6c J{MǀJ'S%LZ yZp _<4p42NsVDtOGԳfTUIĩ9"ˆo.\1UŇ)&\ [e{Ur'"7jA`d daXIoӟDKIV 5zjA8qZ9b]c pxG ss6}lCas Ǟܫ]q@x%~H4{}09pp"5U)1aUJٌ;tU)93yƹ\ײ-o!h$B5[} 32%>oҢJYX!L.%^qS2b`Vlf?n,,}HXDdC8&2C[[yIնfE:~OtӦU]$y2eD~9*-#vT< m5IVU~xoRDOa d[𩩸9xcR{ȬI!0.XEXQp,@N )>uR63 θDttid_^t1'D~i1 33?l|.eǾX!ӓbxv/ )dH~6yӇzR^1]lWrkerlOE>4y=[mB)_&M8qyػ )O}qO櫘#cӘuLD JNPI!Y4.HÆZK, ໺Ry_SMQ; 3/BR$NKt^b Y 3,VӇND Z lf襆pŇm*zkzN7碬Mסp̧rƘ*xХJu>X"e8}᪎)}ٓE> /391a8@"!5oȂ"GH%c.qB#@6~cq<@4$~MdF%֒Tzl* ;٤c]-.4UpqhqeE菶kK- ->k87ݗ^fc.ʽ)Һ-F 0~X1KoU)lw5t偂p!cOʦA>MaA 3?Uep#֠_`&i4 u4[nB:쎨*d&c~n1e&1GShc,Lv]:,Lt ") 3m)LF^=R| UQ 52X]jq.y@g7_-yz#g۷aNjuQCk#gX^FJA7rs怷s;FC&<&wFVAK.qNQJW\Gma4&"^ 3 Q,c}9g:v˦7Evaxjx1[O~g8ܠ{⹲.y46qgYZ39704b8212f0134033fb1426e5b5dfd2f956975b095a950634237037a8fe6e589372f54d614cf935 dfac3b4064125a42333382ec937d0cece35163aa 77136ef32d63855feb31dba125649d66b8de2b0c