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~t< ] HOL-Datatype_Benchmark:threads=6elapsed=529.047cpu=1958.460gc=732.5887zXZִF! 4r]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;Qxv%AU!?T]87Վƽu+^.><^PP] p&Mk䷸]%"WGݫ7FH@^^yD;"TĿ\Pl=&ïl+v#Y+,%)vlHza=zoPW}ݷa DE`uJ:ZMOjB˘ ;#J[Rtl]]KβK_$[ՋP%q*=d]Y'GCdkf.""s2od$t7357nV⥩ަ V}Q2i)$Y:QH8H`{6AR`:ѻ~[SJYfVTˁ6(g;\󹪅ڍ"ͯ ?̀11)ȼs:yy *zaeh;bGVN|C {#iYpϨ7씯>Q'y( YNA~X=31:2i^r%NY$CY&{ sr߶`o2%v߱:TteFaUPBeB$S.! )c܅ڛ׫ۃݧ*TҴ۹ZJ5x60 lnp?*gcM$8eO9bU-cם'XTr-:dsNi^* Sͳųr:)mY27uVvZ !_[-ݺYz̥HT3Sٛ| ܠm_ RGM[Dhν%uwi)>FM I=8ncZ^F-gE6\K6'jZ#U;P6 rV]юBrYEBD;j@o: ?*.-QTEB+?eŞ^-]؞G$;xE8t!&+I~$JW2H"Hs\=tiL'T?ͩ P:qY\Hi+oRKm^݀ 1SXGk)Kj⾋ ºs18g2~5RDt$@^9cfW 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 ͩŗ$}}ge#EjExF!>fǣ]ːsDz6FVY~/141KݓނЉ?l i!ȁ1rCSy#+aY]GNJ7y}B}OK?QzSі˜2R[gZDkH@Wja"0j?mU - 45W-èEPˡ<ZDg7h#2e[I$:S4J5&/ Z8mvQ9B{v>ئ\mt{%~Wp.ӦFSHهwSZ쏠Do97C}҈$6~!C`nkW%4E@ӋLbѥʿtv;Ld7{pVE[v: fGI{N\H3 |8@&'/∤\h?-2Sᇑ #Zo@uǸ9r`gs[Sb@0NO)"S~"8s`%cÂ7ټ݄IT.ghjyF=_9$?ޖI2Be5Y ;偫ğ&_(ōӦT:zm{4RYg%T\N(gmᤥΚy+ a(cs_r}LmZwYSAB ^n,Ǹ>LJIg$;l|ø/qb:Z6nYd8TL<ir񪔕\3yj51x U'20ZH!ɟwqnhfN t>̊0t}Yi}%wE-$o+]K 1KUT+E" x l|q=+luLӧ12/4.fnߝ_Ctq痈GoL! tqq .`|)E lUDWq؃WO;(WиJ\IRэT eM;I"]+#JPӏV3!g8.a wy$ f ]Iwruu%XӾOtMYWʂ:o,O("?iuؕJ >Qu a.cFo=ߤF3 U MSq`5yl1δ0 r u2qM,mFPGC'}~&4ҥ)ี_qf1V\%pDM3:ʲE:kvy{D{Ca9AOdm&[5-LirJ (TyJߊCӇT>KuFX$x0'Aګ%fXlRԧP`҅A14(n_Cp6ql9%3yޚ `b~!dz 5=)u Dqp'˳ÃyɌ)cǢ2nTY7Ahcr[/5eO C˜I-~e6H?_=}Qw`9[=hWr>G-J`)8>WYk'r &/ڪhG؛s /W!f^mwaѮg!.G(CNR-&S}Aէ38$v?._Y8pnW|ҳ L==*}qFT#^N"7С#8J*&^|oEpK;z~cO*/Y 2K?b{㏜ -'ʆIEм:hFQjv}bn0ncvȡZ*7zb27\H mҊ lEn8,ixݜMV&S$vO&-dbMUp|Jپ!=>{A2DQސ䡥nXC+{MhU_O٥;7jIL*yE%/ 8n!uEG }r5hbSYnPk (; r'8؋Jv22@\=+QG-| U;XS qG 8VKR b7\@^(duj=ȯ» &Sqx_3h^YYC QU?2"E`bMo \ HF4: SCmb$0{$] i.5_PSc):(hފecϑȾS椗d$  Y:P'݃OLY(ef,r:4q"fkk[lzWWJZ+F'hl}ńGv[}jbڮ  S?[l ώ!**@2OZO 1d5%-H7? NHᢜX8/$XG5 EmЉ4ӣ%fmA@Dw e gjZCRgB=Isܯ7<җXSuv^ʁш: =QMFd.]k´}V\ ]W1} `L^;!bV9@cQ~L>x=[15oz+^!‚;L #Sp@.N^ 0QS*O*7qa#hjnH&ETLj43KVh [:0a{Hs@;e]K֠p{#hpVj"uw i|Y@Geݐwۡb< w*B~lwY'ħ_w_`:T2z_5+?,\Y`)g( !TJ)Pu79p%l)&NCސ-MkY2v,f;b+K-}<>ŰHz jgW*q pWDIg;ηl[ O*}r:)v栺]@5N-({8뜮\3NЗqG,Mr 7 , &(}X5T99I1Yde9U~meC?:_4ATxlG:*5eB98r,͉̄a6 E6"5 o^O)~ 'Uc8@])SX6'.i݋ 0n?J ʇG+K9xwX" ڮhQf%MQֈ%$7pG(7ol(`;>(KnXt=ZzfG-6x8Rgux.6V3C%_z>s c FYZ /IZal̀”o:.siKr Oiڠ> YRd] BXhe󲅄-,I!X7^|"&>q4i L<3X#,lG>QIi_D_ @tu |Z/,pEw(sZqP7zb¢U@8wSyUcX0k7t?䓸8.ivsUթ򑷻7~Nj9u5F<-I\Yb.uZrU$5%ï&ľ-〞>Ta6Fgt,T% Bza' )ٹF0B%^XFcWw N&'/BC*أR|{/t豾ƒ͂+Wd8f8ٛ)/;904JKꁨbNE U#<=d&[2/3W|તS|y0cA₾6kPGf 0z.Ry\*\e[֪*D bnٻ 0C+͍,|KHzd[CSc#AUaw; mt;1:ߥ}+)q4͑?{խ4%pIjmK30* jIړ혐[ѸDVWE`K+WZU]O6@ g׷~2[b(I;qɉT2.CءIt;l΁j(\Ja)LAuAWJS 靕VW]_jU1?1) )0>}mS+ hHwٮ/j,G56lc-N~G'f 6uLbk<'gU'#/Z=1;+5rO_[jd:Ęh9% E#}U˸7![*15pdBoz+2U%|%nVB!Gs]Bմ++}|op 0BI#;\W:G0aFWЮBMI%Wn [Ѕ9lzc/CE唦֘+$Rf4,՝(m*2pԬ'/W_?mcb\x^O ˣDEu:Kg HIqIÊ|TGq&ԞC L)QOڼŲtN%+)br{BK 9̿j5$0þp:$I)ߓɉɃعx>\Qkd2 ҹB!sv5).k4q^Z-{4~JpJ[-6.Dt tTk<$^ dǧۭy9Зi=cA˳ڹ̏$^~{\A(_4Z9ikАhTV\{e3>Ly:y/BKq0(,P; :U/ aj?+H^Z7 HOT=BM׶.S$Sю,ٿn1Ł);ݕXiYXTVݜagsQs<F5V7ȋ~ xe5e71&!Jc 9{TMw^1|R߀[% LhX ~L Dř'2 ݕW6B@@z"*/3ɝZ !|@RG=eKҎ] h<[Ȱ-,5d49RXv!GFg[;Ꙫtu_CATMLŃHZt[Z]U%+ X\ D'du0o.#-0.aRdŖS@Cغb?6:l\7Fbf~LE&úo3*C4iSǚ yd%9Me\`7m׼ɰ8pS30i@ ?j1&v)b=ݵ[ ۇОu rM=/Tom" ,O|1Fhcc(V dܿ.t'7pRdNWBX'796Ī[!+_irgWF2OHM68s,KX؃Gp<-;3WQ\ 8f]E5*w&ȷ~J`rq\^ HjulD,m9ܻ`ѓ\ / BТ!`D2L O}8ʃQ'm`{>uo8VjNHe^EOS zC Y~6)kf`Y٢-A&YGN-y!,M |fBI(UV] rre4:e+|@CkTJeujm؍x薆kBKÝr|enȻk\\ϬiO#2ӄOZJNwdXyC7a|Y*}!eD=2l_%F]ͅsXy4EO0ɴ }3@7⠲1WK~I]5Q(A=rHwܵIU&@:˺Ge7P{Pg?#$OB ;[s]?|Խ7!-+O8h."m !ÃO= kq>Wv(uw Z0k,,P,!d4y >D1q#rgٮZ3 jCI3$b=YۇpncJbY21K9Qn[\ Rvh\|onzRL6ʾ~;4' 4^ n4 *Tdęs +Lg=qj֗y0VNpH7n~nee_C: ZY`lU +Ă,Ǵ%*mr;.hI逍ݴCb):FfԺJJ ;%DdN?;cEuF{׼\?mn*h&CCɫG A;7XNo?,mmGm6gU-> uoF*BF^+L;#80ךk bt: !d|& , k=6@=Σq" o>APZccu1c*Wٶ]@Z 1 ZlgNe*I9NKbpҎ\s7NUgN_ZxJܥv / `Ob(csWm.g[kwXvB+ uz h)HSifJgwZNSMP:Y{MߚI5FXa3z[-W Kٹ =yP:?C+׋Ǡ;w%$o*+FAgX7Pʊ)ڌkz>`~ Z['ńM}P9Ӓt7~k<]BQØo(Y~;3Ĥ^ty9g+bC٥03ڦ "kCҬ,CsքL^176uCRdAk=d "c |e};* Ɩ:wkycځM h'Oąf5dHO~E_2?V#"D@Df"]#Ywz/2#|.?v6V+Ġw;7ق_T)JӖMv֊ݱqh12KnM-3B<=fe]4 :^' [2{\%)6 t^91ّKP(}0iUk>KGd¢<w:4Ե$rGraS̎膋Tb!]qQC"_j 0+Uaa?yj%X\iWCvER,Ve Tg&Kqãu6IWoP {9kuum<_QٗYdz*{8jXgnn42^{|G F{(+ДZ@-h*0{ioƅy`⍮(~=S6Bط9Ə`JR&zoU|Xҧ0|-ifkV̄/GMO[898/b9C}\Mɤ4Dn9^G;FO;7}&1HNO:li cfz[HH˚):H` v|KO҄nfU$8 lt\E{p&M}G 5W!MHzs~g(Ey0E,]HXEO: ,*d{-0D#b`u]Ihyh?{9?$`/gYYZܖBC1b#gwcg+:˼Рpgޕ Ʌ'os!@eI&6{z !Q2aHFt+ )̃q6X5_(@~t5uaÊ&qdChFFn/2 ,)⻂N +lN-T]llB$R%XWԍG|NxTY.b&a OSvQ+G:YT5b D-&Crpw? ;F=1xYj!J!"P%O E֧3 w}/BL;X‡Uh*F0=W'ȁg4:)(¯c}Hn7m]H*|_ 34\ka5+Y5͓[Bm:{RB+T_1H`LQ4tmUVmDu?e bT[u7n~gӟjgU\IY4'EʋSn"INKCT,ɦk:/sx=ֵ5380bXI @>7crV[s{'Bת?*cJxgf tzATJoHJ17P4m翲.bSt 3$"环8.px^bȷZyRQ˂yo%J6L|ԉX ~kG+jUf/4{kV+@Xݖ\7\QᎎKsT h~TG#/@WN6Ayu16W$_3rՃ\ĎpB:5&?6(-@XHk=Uxm~ѨX=:fxLռqsdbo`^>3ƵOmv:3E&ft!|ڒwgkg_<ߐ]|x D*CdA8!zq /D^rHM霎Hi|O@IvVSJZah-WC6 ygо収J 1Ju;'Vtf#e˓hh^x{PJ~^\3dL^irl|,1@+ )m\F?c>Ggcị>De=ct(kc' Y #e;#qI/5gġQk?TfB8#vT(}ƒSݏN *TmeP>ċ(( dH_k-.W@epG" xCKoP+$hHV'J^{ap g)=#5%245eCGR_:vͅ/>TiFI%$Ʊ`ݳeg'|$ G!`ߓ4YǁB0w3d@Qf]N(Ys N\[kYe{9Þ} !P-@=R,H}Gzx *MzkAd:SP; -2tI˴ KhT=Q|Yxijgͩc_B]#UZwTؐOH:lQt¤؄ʼ#[cZW>$8+᧸qh?E@ v8 !K-LmǶ/2Q!.vn->Mqv YVūoQGC;( $"_FY ×ٵh$qHj5]Ă5^znOyFepCA=0>e ȝ}/d'ި?VcR C7(sl'.G>L %m/K#G KY R7`M5L {iU]iQR0[&7n-# H-yloED秀'J,톽1057${V,0,{8IWVSkÃh2?OeJhHEQPҧBYs>S>q{Q(7=90jkC)Iq}ӜP~" a䅕ʂ]fdV}(%" D>OO|1YcEۀmlE~0L&·w\4+خCt1vLIZ1jNCJAᗾӛsRt-`W|p%N"IJtv?:SBcsm5"BlafC52S%*7НlLm)C T2UOk[ Im0XWנ;v:7>u7q$֔uO4]wѪ\z_c"p+0{ M@:BO?M Ey((]{B"l%ԜS~?CyTylt|$.\m޹ItoT=U e p0!qΆyPb]ʵӶT/Q;Pru=['ɸ_4$h6b"3'<aiՏޢ9jMN' kB݅n*4)'tUҚgfZsbu &Hj)yCWrבBRIr{*Ho嵔'pb婔2*hC%ƅ9 @8i˿:4tn֗nE(f\<8"_j]T7X2;sޙ_ bG3}PQ>ԧm M\l:NcY8f-,WY,t'vO1L{4W QJ&ďSWYsU{|Tu~.O *BSӠɽ&b擐V"l֣.b:3 a~ XkibwP^8fMsݑvZ_">AV/>ZPho# ;d [ޔa{m"9Eo{m]X50fQTcZ=nZlnEcޗYimIѝ<;9lcd!#Z[zť @j׻,R}h ])W? U]iM+2Ѻ}67W4UU-.*fׅrkdqHS ƌ4]3"Α[Yob"!жDR?c?e*jcNN]jj8)KŨ*NVߐOnuĂ3jP Ӓ|VӴ8z,\ҿ.,kkQ'SI :f؅r}*Lаc+VoX箥 ;owhMXT-Ff}Y],IdzwTj]TڏO_ٓ 0#mW ]n2(O=h@!ʃ9|AwLP!3A? ؏)K?NST`pppU7^4,X͒aVOv7x #1WoDZ B6X@&+6K>[3h[$$ ^Q"03hmJÍn/yUIrXO*0r?R#X~|R|Rᯁa!ӕeA0ؒ㨐eUL37L[d=Jɒ$5DV䃷+˜'m[r៌M=p߾qVx⼗{#Yo%Mm;Oiuͭ 1׌u86*$ #q1φ^Zc(9R+H8<+;4R&rˀI nK!Rа?7;aNsսEʞxDdB2̴Dlv;z+٠]Nb 4o *. .gUw/#4aH~Ör<]=`'OF30#,kk#7 2/h>Tx8 moU\LS.hie n ZaC.Bÿ}qlKqA: 3j;cT\zA\F{Z=~ٍ~?8+5gH7M VYe+ ['5ȯ^ C xesdn.4f&:Gw\8O1Tp%(c&GbEZ Esqض-g(ppW=7`F͈gcnc2}/Wk<(4dK0KNZ/kYF7~baOƓx.@i9lm,$N#[]B@Q oJE] Gh$s1gD߸X%J+hVx'up e*6# wk0cTizh^mUмslE: 1-ϖꛗղHoܦ+\fcěߨ&6hI *s;) m, `|yFgӱRC=W\Gn 9sZc@UyvS!bHgȅqIn?詋7iJ WD~wC1r~_CboFWޮ!ɥ֖dxn3u7/Fr-Mؤlh\[ J:@%0˛+3xƲ-3<)zK};!QI~,N3g($ \.íU? "GͰ?L' 5"z .5Ax_8˅CNc>/;jI<8_7{m~)~aU|϶R<:>3+Fa(10.vБR{e>1dXr9<] yiSsßa'0*BYoxC)%u~Q5.=o4w\!XKQ@@6HV?Kn>ɠ%^{S{~JRMf ^vpwJ$aIXzi7<׮}#kv,r +U0";# KV-)GQR/B7wLV9U>#!d*Fbd \D|s]lvgA;|oM֛JъUGTsN.JJ|ht67 @>WNTq {oKr*Ypɉ1Û`rQk> `3Q0ܷg`ؓN]6r`k KMSOs=C~Z2%`dfw6\LwgctUѿ=ԙox6&/[~%a~]L@PA5XOљUfdG-8ͫꡞ,S/7&SF0*,J}б% ](r vYPVRL"c"m#ԣ]Vg|Đ@k67efk=;ESD/=M8)hޚ f@#ZqB$p9lBAMr(^A,pʌdOyRUT7JDFVlgE"a2ON ^Y~.w ߐ++|N 2ߋ$1ͭi恟QnsH/ʅ7̏Ys W 'Ctq&ta"^ɸQj7easB0^mw&l0g|}f :>(h{+mąkбF,uWpTMr~0AŰS~ђe~KUGĺȦ!GpQP݌>5nk)/\R<->^Й}f"rI-4}RR%&(tj]ډz0+(qHջu**c0BR.Wػ/n5=;mnǒ ) G}+gg J6!|]ŞPxZwLژe`~;$E[hB ZR^u"­_-%;2,TTޮR2ʹf8wq+F?vWdH(w%HKO-\qt&t6*$HcWfHdJDMܷCtBvZCalMQ>ʶՔpC bH$h!1f!8EdP:iuR>o~ɺQ|=E=`Jump( 'hEЭ(TAy$HFcOc]X!ȾEΰLL֋^A41~;4$*vkKLr9=vFiq/:Ipy@[@1ޱ̜osȼcO47dͻnܿa槹-AIa;ҷa.iqg.]J)(YV_ a4;r|_}qdjp-XM8oйjNͣnZRg {S$QRMlr0wfMWKc#I:Rn7FOْP]KW>K!:eBRn:ΛfI+gT'yߦhyҤ}K>D+U^uj ~,U_g(H_I7 >OFQ2JL14 =,LTCKoVY(}HkeW`"9cg&n|?mQc [0ń+ەM'J8̏Ϡ%4)U@lwH) H֚fD~kHi0)hkYz2J"1SpI-UVkbH*%75 W@lkk OhZTX#S2+W$of^^K{x0U'v qgFZ dB`Yudr' saB+rane23kŃ9>? 7 }Op>g,踫?I!gGЃD3zuᩉ^'k?\so80C PC+ cgIϰԶe~y::7Lˠ܈IX L*IxJXRYŖ*A&HH]GC3O͍jb·1FLpU$n\:,`o4| x=PVs\KE.ra;Yu*!$IVA;ñWpYo+I"nad*18eLi6BEUu TOZ0F]Bdž%c?d89W0 UaSTe']Vt8<'+9obPCsѾl*<-g#oc4%^qM-}xX(~o݆ɠ؂_k`Cr52TR=h%#g|8!N;eB0&>҆j]GP^I?PMzP\Q]Ri_RJԺ1oo~]L ɁfD @KRK!a GR&Bx.W:,A=9cmhӴL.Ǩ &R:'%B>d"'s /DKHϲ:1=,ZJXRM]J+b-'N%rn"^a? B Aj=4iGhsaVR <Y ~?D/9(iŻyHNkRj@R'T&?e'fcEwL, K{c`,jH+ @/ hM*T+Klj_ ABAD@0rhD)1;?o/Sj xXgpo0 #7FS-$Is fkɌݾ?\M3` o*łi +d}:d:^s"[=98wx͞R]C xĴIbOɆQlۉMtP/";>B $-Āe5m.r@5$@-KyK5@upM%Eka`Q~HGndv| NB 5BBm^FI؄F1)r!:HOz( h\xa!{Z? nNG!OKdXQX"\}5FڵP0"%b0_0u,r\k?_8\ f@3z*~wtъM z&S0'Y327]b`j- u_bbJePp ̄=*-zٮb[nrI=())#e{ׅTs`\ nW"_km&P_2<ׇƄ0eEɒ]ɕsF}l(\9x;fQ@Y`vM6|lCrb FZi.u%KA{.(;2}}=+Q~L| ]L}`C7Pي<س6 YSTӕ~x5:ϻN˞Vhk_o-NwEn À@.ވt/!eIj(MKOddYę駭vKb 'W`Prn=(륯!ATbԳaCG{ oҕۙÈ(Sq\쇯5uϣJ  ʱDyr^Aӑ״D I貮5xu :Qi{#~iJa3bf~GD߽G?_eH;"-iJo;WB x+ 9V!bBD+H"Jry'8xvKZdױjuI2&{g&~Y,%27v9>[0@6sBR.'nt7q0>~q#_uS"K3 6E;td&ٌ9V7*^vhCAl< U"# bbѾFΞ:-e ЌO7fu>*b"UWY첳$ֶ [Z+rOnOx(hpZ~,`-jͼ2;_6JB=V~J• _6Ӡ5u"7RXH$7J]%lHlb' $ _ełͺ㳌W{/KpA?<*֙* xu@a|9*%y9GemЅ?,wZu [Fd"C-eMVg$>LFΪhe  =׋6:ْ' +,n/ C_ )GS>C.(,O8jv_;g|J߄+:sO I-4nW'{JMy[S(-&(ÞBWےkl^&en5q,LG/Rn)ήxik|f@vٍ;9Q6ls%;)dfꗭtXvL>"}z2B1橤)ژ_A:|#(-|ӁW)wLn 蕔nkC~l+#Ram-3|UqB1% s*GpeP"'1 5l}ҵ/Z ݠ/Tz։z{{&Q؉xR R[*EMw `q`&lv[g,?ZQ 3.c9{,ӕ֣ퟱbgZN_Gj- {G +ko XQ!0Z@Bw޾nQ@TnSfy(BFeN:#]557 l-M6/2T  Ȯ|IOht O断34kPe>CNp8(h{#E:zk9UWYD,ޥsBO=. qeu%利GZM~ \[VZ\ccaoi(ΐ̅H-+E$+C0NÛGx wM:% 7DRGsӮ%Ŕl3A>0_jh&\@A VB2T- /7H{t[@w(``eT`KBlܗHoԽ/xR/"J[G!x`v EDZ`KYIx~c"ףydfq?4dwW7IJr0 (&k\ ƭ7ڠ\sXQڌq.yC$9t{Ջ i & 09l3 z+1'ng,tuHtOyH >X- "dIMQKDrAHwEJ-M=۝y}pGs!%Yx^NkmQ#P^zK|atQN~CƋ[ZhzO es6GqCdR˓p5Y҈`U-\CEehCxn]WtrB) YJοPF?/#[0vf1wy?uNނ:qK1^L+\ì: oh6U3<²T5 vWbFMp^ %wI3vj{iI4ym}mzZ6ʔfDu/ i"lU TL`le?oiNLL2_mBIAjxPKFSs{^J,7un !1s@@H?+ "bHI? ﭤ|I~M5.U=fTI#?oVZTYaf29Ƶby :*lw:1Fܨ1![G|z,>6_#X  Gn1"1 m^ҵ z! "Dn$v^mR4%7};8Ei=pr".t;8DzM17 l@ӐGgϱ6}@7Hv5!j0mZ1&ntg 8h/s~_Y<DvVX#~J~3vH?"EyYt\0e, m.$] hɟL) ;E3SH愞Y~K&C4;5+r5ւWמ'PQ?96g>pJ*cJ'~eǖ2}ٓ,rx b-+1ObֈawL\}:bv tZ9d*4D?3E-ԩ7 $),p6<_| yM{Ei^npC)&PVc~I2CdNF$|m<,1ZX?TvH{(X<ubh@r6h'wL*۩?&D/TΕynq߲rmD9XOpy?Q&${ql$aNdǑs+>D:Cj-$&YM`LmTV<е3|Zbĵwmse&\D톃z *GVro,ߠ_Cl'-)a~EGb缍52'ۙfn}n Rnz`t.o ʽ,_lXJ/a9 n-̶zDxNyhÍ4/X[J -{ٷ"bRЖ5F!{,>В`xqaKsH}vszJӚX.| $By+tcYB%^&\{\}(xWe<xOΠֹ !'"0vfjQ>:f~tgN*wDۭ]?ydmruG4+ʝـla"=iR= Vdq~-؄#=WxYj\i5ʫ2Ձ fs+'WBM2.@;F'ẠZ1j(d](t4˟J$FhJ'w,S3mdjNN.P,ӶRѰM1Ȇs>Ll {3n.i\瀫․2).,]#2! u y͐l&v̷?BR&tݳ5歜({r4KBM*?/t|ec*)JI1<,g+;` /u͑Eu+` 9(mc7k{ gj(LZbr:"5FYW}%sPfVN#v a 1H0OSryIf7R 3!|YS:Hw .r$B8IRMM`@hk46b;4͙W:Њ,xԅZBi  $vanE&.|#^U-J0Ɩ_vbڳ(ev!Fxq]o$gӫΡO2Fgc 8ָr;!G+iI>zGsaWh&{th`CJw?M f"uoz33#:4KZPYxxF^,{#0Х##Z NCZ4U=lXgl)Pg־B"{XPը5gj[h9 \~,5Z凕 d=T`Iix=GݶM%`[e68k"ub3?=p[*xPX_zY8V9z߸JAPt1m Y;)0qjNjFy=x3ZK${+[KO9i0Y[ԏ:o"f(0,MkŶ@(/|Cc;!xc[WZ Rԗ΍^7HǿKw{d Q9nsS+X ?{,Y9.c%)WrvAHX!2p葼6֍,4c_)K46dMZL:1``/#>^aAc.F{=4Kd;Ì\YBKuM,Z{J:=gl~+[#A(B{"O7D=ُyn6ݖq=k# 4qUڈ3s;l6wN9O}t拜I[Nw2 -'6qx?#,W{M& 2PUL9'9>{U#o.HhxaӖH/^tÍ (H7 Wz԰f Sׯy9ĞQ.{HO7)l- R]&WVv&95, %$Q[ƛjO\-6Oayŭ6@GUjbQ0& τƕK"&"GtKT,o[;bfjGaREjL}6iqI^,,d%b "hsr4 {-0H9 &Zu:>,OGF ]!Y0\P, s6CW3ޔd<*o)9Ԥ G9E ' `N6 eR7a7xyU9I85a}k7*ٶQ,U;T}D#V1Wɽ zT;_E]asȫl(C"h^vZ]Ǟ}(,+W,}1B2!Q']OdR7)|Դ`٫73K|f8],U%--5]i]S̺vi=D>lI꣌ZKAמ<"b$EH5-}ȔLlU?(NWi{xeOA $ *'4u@U+h&%d5ieث+r+o4wjUG?5hr$jy!}g|~T'؂/cȞoӸOoǠhиqIj7@G\0B۾slȗ䕇Iu=)d_('i7bhb&Uj_čB,ɱMnW%P*%i}`qٶ?'_ԪӢ0OP)!#~efvO=yrIRvɤ`>J`\{sλO38o" ݪ?m҆R jz5؆|t?#uڴi%w eGINF25A=>h9d'p%|fQ$;.L3? 2bL_oˋY_lD rFĸ۷941mI_ e ڄ)}nʏU\@ؓ*S=BIRVֵ>]Ou&s !dfȟ%Bm⋛NumҊ~؁ Uađ1m:j`+rῇ TƲ>WuEg}ɗYٔ:i8χzUzqT^+LeMKƊl$C2ҝuP=Ώe̙4RT4g )J,9ҲWX7Z|.ޢ-5SR/fCCPDD]QnXF*w:nCdn !@lD&sf*%^³(Nq2ym Yz>k3[ܢ`bȰQzn0̸Ȼ3evN-|!ƣ#9M\RJE5T5mJ۵w+1W8YL" vSn?C2f}c7]{) ]&2Zo"RRb r?SA>,ipb8f^*o1':K2J[w ]%ȇs=NIjDk9 / Fwoԧ3G3p%qw{'-k 3MM\$ωxn'xW0FYYs߄XJ"\:cʼ0ʅ6VV@Dܾ$I" -)SqM= m^AbLƍ'%ڃ/g~}Бi 5- l^44f`V^rWvxN]ڄҵ%X{X&Nǰn_-_ )Tb9@)B6l㲭CZ+ZIT+S 5+zwѴgه~TYI/(-vTmheo崵PLBfw6{L sq6$8LZfN.X!q-Y5ڊwlp~KFdT]lKw߰AF&ǵy:.aa