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  Z Z~9~4T ] HOL-Datatype_Benchmark:threads=6elapsed=481.949cpu=1996.216gc=707.4527zXZִF! 4]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;z`B8\AP\¸9?rrgCwp{vtqt\oS Ì% /XlԌw0J@Q(#>o&㼛郈e+Y)S) D;𕴣)b*D<p(X!j& " 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 A#S+%| } Erjz?"%Ŵ9*gtG7|!~P>ӛpsDw ȑ^}}HŅ"z2u؀ybcz+@;lǺ_,g\B 숽Ce(fEo~ZTZj]9ކo8+fH({>RwUZPt 5ߐ08?}:.ejvkRcgya=>o+|'%"mً/r' i$"gYZ7zXZִF!  ]ŗXiɟ1)*u%9O۾/_. : ЯV mxĢy%ʻOS Pvm[C.R:,^mCY̅c#DWrbIJp[v+z9D#@&\YiMM5GPPY XjQ@r ׽e]899$8yUBXR78 rL;Mhoo @y@`‰},v;?,Nl% HnUEu'|O` ыb|Gj8bҡb/a:ɝ-MV$Dtz7ymNOW~:5Q6cFy,SRnң&&b׿vF ̝]Y:5ZQkPaf}S6zoE^(E"Ѧ{G%7|BW<.X j;-%rj 6WqJ/7N`%#=9%#iߐ8eV$I2J Œ@ @A%Vx"-C-'jbm~h/ n;k0̦ؓ4sSb<e/Dp-Pk4b,UKƇؘ:Bn=2qc8lϔjcjx8i{0(o`W7t?3kflhC1u\_ .w!ܒ7o 1WCdW]62]a CDg|cjUfg1Od'bپ |Nys*9 5-P qUgU6H(0Oȴd?>"㕒C &3!bDcVBsJTJh %ژ≵ 85 b&-3|BHv9!_~;?t*` c\RX:kY.zR v&s:t^N/;$999${xp#r}v&O}3G e MtVpj-'*WIJ![i95BI?ÁBɵT@[>"R 3KlY%/pr0'dӿ*ZC-$vШDXKI,8鬼M" ["۞AJ1n]LURmnaJJd"Pcmr55Z@&QV`3qн1ߨd1RzA4 OZЍR R`UxCv\1^޹X[H8!'X6*ҶsU -93$=D^qRGVS}&!3΂xwZa˰=,71en :_ l?(҄hMdZi\gQ+rf4zr3jilOm0,K^5N5-hz~C'/#+ +J$ gE(2CA k9铅Qv;dKDF+~T`R_[Q| D @cܧn*koYQM{i`F$ee`|1rsxH`LBsrY˩CYo'jՌP" k2UgUa=[4Dꮘ QXՏӆ뜂 ej8cfÚj-!L%*4s#ό;MWD $'rd;cvZ,} R 6 <.yDdfCB‹ͦ߹}:i;XUTOM+U,PRw|h0I))TNk co2L έIM4E \OtӇp3lO6rlg"=+CNkLpxRl"6[(`{H%o Jd##ĔטIw0F ); L /'4׉'`:}°uCcMʈ$g)kɄކU+A; sȴDN^_ƪPιD2{lnPY {<* %Y%޲BҢ {i>#\DKX}\9ōURɸ_UOIG$}Nkl'.N}`3˕Gp@Yf#b)1Yz(ZݛA,zjgyTb)巋}Д+y'U(,$Ló:J+I֢I? `hkqgd,wm> m gv{ L[ڸ?ڛhm>u1W{E|7%j]3"EF9v0I^)p FN:T&qۧ7QTNb&V0|)cK/N{0Pu`ʗڸ+/6X/EdA%N\OJsS3?$R("IոosOpkfHԙ;t23V"Wl]"zdeUǹ ԔYtϵ({.53]>ͭ;5I33tu7kd㼶?E'ЯUJRa8?qL^zز-prss;:; 8A'p{ZFv޶ 9G/AEx: F[$OcFKА7lnLlv>zI1;|L9ECo W`ڛD]KiP!АaYTcqgZ. m'BTe8Ngb dN n\j+Sɬ L3Vf.#2vlyoJF=]Fz$K aI'qHH1D"Qӆ*ގd~x@m`X,iN+K)9k;Ț'#%eU\xw_D`A~'&z8;R1־À>p<^"l"Ǭ4fl, \(?7NUˍ'%OXM=MݨlYfaHQ2iSC7wN'Õpf߉q>C )c޽,tϢHzŤM+gQw4PCDFZ t암CgX fCxĝT3z"y~s-:dҒD?&u%X' Dv|PwISuȐ)!'agjO5 Q > 0_B (X7~cQ.s]PZ?>_kR4|:xǾ(BUھ։]kQz#v&yһoyO0|] %ts?ͭ*,.WG=h"lۮ"w6~jN WW+fǭ_G5򙓶3D#SUe:F:ʣPwc_q|{E' D Qx{C~c8琲n'qv:pdIiLgN2o(PL#8 _,@MjM<%F&u6O4s mه!oI-Ў[pAgH-% DsE[ `0*zV|G7^D"bfD8 =6rMe&`KC?{!tw%X lKe?JSUؓX3-.*^?7YlHhw KQvp6XL۸H7Ve1p(.aBM?{FU6} adF*{ /9U|TY_Kk5#ؙ6ۿj_l/_ynveYо&<5:yItE q\ŕ>Yk* {u]OEӃg<ධ4rx3(ԛ#Ժ#\|@;˞!'X*#.˛Zc難E%mv@`ͫkY&ѣd8CQr{bV]Bȣ٧ZuD)^16-ە8B͉bOLS"取.Kz.s49V"NK,λyh3ي#ތkfn傯u9>;Ee站K^4NANl&/oҰUęo5_,֓Uk7ӟؠI7%Z8r M78tOgZ:1L8%(N:|V:QQ>Ǚm>GDt~OJJ.RAh] ]܌{F=cg SfxG\"ko$ho 3&Aj;qpԃ :iQKFF˳[9~&{ Rm#7+d KxSU@4R4E*/өM סZVE GoKߢxJKS(PRiT:#pZS R`b~gACt RaaUҡιO7<6#k'n֋m9fG!z:H89ه91'_sNC'3&m+ O貑Xې3[RBII;+tﻣx<5d:.( T 𤺗z{_JF.Aꌼuo|?Q`ڷ~ʻ+T3g2-`û5.I` fKP 97$@m` kk~+! 5b- B reR1Y0ZI i{'J^gI3\nw(8ɫ#۷|x͎60Wtm C&HFp?1=YN܅=ZcnuK&q/t#qȀ0 OpW (Ek @ smM J:lWq~;( %EӼ]Vp (3=9$*BMMC^@Pdb{v/ xu^wF{VHSq.hl}0_$uk,v 666d@ׇN&㈞Ds66߃b5&wZN*I{s )e*bu=p%i`rZG:z$B'OvS+r7oVT7jifJlXL8XF_(@ 𵳇u[BB۠cG8Up2wìqɆK2oӨ$Z&<&P*@? W"K7+"{k!Y=I3ɴli͗ᨴE>FQ_Ibx^ U皮襋R_vxE*&*:iyU[gOw&5}s. tmFH_MJaa%<|<ʰ *A28A$sX*@2WQ{+"A/f5w1 t>ۈaR5Y lS}0NAřpUgDU_xk@aXRBOF7DOKV/nW.jHx(3?4_D)%Cx1%ƙoK߉Gi૥"I9Ԛ1f_ޤKriKM}agS/){1L +[0uy}(mgwkqW 8ܷW5-aCp~Q=/߆@ i4JLX%_-5xܦCb3KA?tCU1RnRRlҭϾ\bF1.[Gj ԋ6/cd)H#83F;4r ހP27 AQ%!"TDs3(Zm `;i7d;@W0}RxUh@ JYyVBAAbi,։[}]>Aoj w >3rxx`Fֳ9euH13|,RmnVȥ! BļJtƜ~[EWr5῟j^5l]ihFpܢ.fo Z=هÀs p Q|+ek?]nOSV%VѫMQaB+{I͘!T;?epQi$ 8 @l |^c;6ڼU%W@̪ndž|Kj}|%ʽݬI9vmT<ʛAVݔp5# l~*YR5tTa2=q k hob Y@y^.c˻vH YsGCwrs.e`ı,5yKԣP0)6Oߟ37IV'+KK[V\J$/ĠHR) ,!\d)}wiMN#?Z)!#I?̐~㏥$c1-~&}ƂjVFfۨaZo^Y/[RN]Rp9߲ 夐/d[բ-ق15T%'?wIә5wvZ1hϑ\PNA2 g E̹p}ZMΔ6bu QupOu;uyIד "ŤRB.vӲVUr2Og%&x$47wjȠaJV0p }tۘn^yNpAo`) 6o@t˝d>NsG7Di#@I_Wv*ЁO D 6)a?^F? |Xm}Њ4QUJ!~>ݫ(s%\i _|b<Iy. X8ZWʉbu'kG7(Xb־4 ["T ~51 z+뜠U;%9MVUo DJ}ϙA;=R[=,չ8D V4wKJWWju!܍~fApW2'm@,TFJret0p?VYrK[sɚΜE)F f<}3:W\P^,t՚5(Xv6M.:"07?bTF/f9%aլ!ɀEYauPq0dr],j ~kK{_K'eyз^.=3y&LS\̰g& reӠZߌ^xӠ}o!+nf EV.Il! ZKB_IbN]m~={e r98h4fDm @~=x@1jԼaڟrHе/ox ӄ\t![-g;Wv79ڒ>sM`2E3 * t"SvCI/n9q]L'C Jr=!8"En}\,u 8'/@?u R^dIE$;Xy2vUF[HqqˠoɌC}Lh>^Ze=EݵjRI.d7OTK]t4`2}:O54|eVMmC[__YiY KjU p >>uB\z6ldȼ|yD{(10wfLS?VBK^Lo/I8)E1Ԡy WCgۣ긇$Gݐ< X@0Õ|E̼#k\ {<,a,*F' i[Fi׎!vDK.p=ːf*W[mݍremSg;+Bdq `)eK%6lr4zz^bg361IƽG|[käp~pqהj8#4  ,f!v \%}Ƌa`:T4M |T9ʻh2ۥ"@zM|>kZVY`o9q 4< ts߿m.md9`gȺx,{pWt|m;kG-f'{$URCk֥ QuG1pV?mwl8¬6D7uD,|-Q#㴛@G\95^_z8t$vOsܗï ==pogɢ횙n?) A,-6aKxYrnW,oT2YŸ9rN*|DFMAzu^Wt}fM*ׄwou`BdUй}lG:e+M^\r4N ľ˒ՆfT=#.p6Cl][=yM -¼3:ԡy)NML)V;LǓV*"wAufS ; 'fC~ p6U=nzIq4m!TnPr4(m2Q)&p`G>q9ɊĤ~|~42ID4ޅVm5QW>yU;u;7J|"fhw$ܼvЏ'&o4A-99i!2ct1+9~hH"~gbș MRͣae)0~>r>z}a)Es#$q_iS%'pGkasu![;4n%^K.W4,OjslU@+Hx–9)_3XNm4oNFd|?yB5N%"4^L3B4]La|a J ;].A?]rnb@%K޶1G] . DeܙV4s?qF͇uN0a7o8Z)T"o[x :k,:C3)U*1-%fX1X۱gN [lt,GDV;Kh %MްKq0d%Ogk0[C!8j7dt='ZlBHl,8PF=?ҀY:^p')&srlr t' btDuŠcxfncuӏ`M`DE?>p^ x"e^JL|fL ^h.!‘X?<17ޖp*+WE}boc%1}-h.9 OJYsm~5W~M ;hl[Bjg-k?)dhȊ;tFoT:#4`ɞ]}FZ7jf4.ov,YTRAfڑLR{\y~~fĠTNoB<&`|ҵR;%"ǞJfF_9c?׻dF$xq\ls[d:]p02~'uȦ7R 4~ܫXK}w%Oދq-Cv vQ J6r9 ܕ6!M2'@d%qA.cSq2+R跰FTߖVZ֛ b ȥB"Q %2=%yMu@ﳶvQ9B|5!Yn1"H $-RC[$[nD7sL3JT=öem縱CrQ7Oi \甝]Y2Ɠntre3j \ ᭵0Kz%;tcĮ'v#@Su$ tJIh9~H1N ]8N Y] Bޭ"&yQS8R4f)(O8z D!yK({!bJ!׆ZwDRzZ`oN6- Jx44n)9> 3~h1<Շ=.,ҥW$p-щKD8qi NQpB-2&@}HvYӃ^+s"FBIU H&K}ܘ;<̩űL|S7OK R4up,oEK,søCx6 jCYxABH(b3 ;juQ‚ũK(Y쇅UƉV`0#=S W-[N1+ӊO>MVb ({L fr锸hQhmf&im+E+iάW9=k|:jϝ/t2:@ us0E@JGQ퇰GU}{Knǽɡ+ߔ+P])j@CW6]\d=Lg7,ױE-_'. \l^cS/V !d#bLg0C 6mc vDR3(CX1$zĊZVYTK0u &S ݉/ӓa^]#n^\,޴pfT G{H+ɬ-8?\Z96,Hg\qҞ/kސ|]=a8N*zΥH8wIأ#%l0 frb7˳`HmĴpJ`qn$Ko9U,gEwFsi~4&spD0EhT)7Ooe_c  ƻCDAxVYhxg&Aƍ۸C'?@ ?w/tSJgM075J>=>"#D%-*[n' }G l𲸕S@@27i8dfWTY_F 19O~*5[抾\yफ़/OG%bxFv"wɖ@󋦍18v+d}.4NT}jf!0~9*{5O1NrWr;Hcr~S*lFr&*9Cd:Ejn1ތ j^ψ$U8$ f%ZdF@0PMtQLm pQQFJ_nCfX'MI+[{VlyeVY!%x۱ȎDJB%.9u+T\1O6[7Q JYک6Vag5>6Ks u #)jdp"7|ok i Wȉ>2AA]N (!XxS{]luǤ)Ow6 ntcdͫ?gr-9 ϙ|ݞ٥ znjT, 8O2˜K*FR[‹ XF@]ag |"N h< >[E%)SP0PF5æİH d? #NrH+G:4"/ x+?0T%ߛ=r,U6,u&0P.Y[Ŵ|~4U*@wf0:d*,33MP}j.hf/r4&1d<>]AfԔe ?~ ͇ kx~3%mx583SSq( ͸`TkZYAћ"+i>|^Xj3`ʎ K]Sm3eZVsBxaOLԋŶ'/1LhT> @i©٥orxhz{:DP}}~LFS3uB-,JAs U-7b;ҹo%椸3x׋~=8}¨r@qG Fp}E4r9\|եv334?^CO0υ.]0Y7X]N7:dTRh1\L>B<[mvQ8STTN&u\5|)eQ,D]d !I剚z1\L.R'ևQ(V,׆_<1ge{=KjC ]MNB= \I8/!0D2*l)H(žI􈼙F0m͗SmM5O8 ^`aVc04&]H=Oг=x.1~tpom`N ŵmh2|xz|LHq ʹIgŒX!;'Rb6%+0.M2PetĔTa Qo^ptNq6<%)*7S@3]$_h.piKzt{tk9S:0() Z Z 0D rģwl!G1j PnMffUC'@[_XTMelh(r2#赱'NfK.ONj厕6&w#LZ,}WC0D<>紪Ɓ <~$~jN C/t;QJ<.Z'HC^"Ijȴ (UlDg^?䬊/ ?y0 q:![Ґ(ΑYY)G<?*A`XĚ@]'U4XǯSz4[w#xo&}Y࢓# jĕ1_c1cZqx7R&ak\dEoƠm=0ʪ(mEp"WV^ItCȯNؘ(gev 'Z_&+=Uy.DCE Ue23AV"1t >8?Щ&<3SB C, Mt@tV{1f/x4ocC{ uMLHB@T}"\2cnd!Bxʡ-S챷:;䨡D}F:8x%_ew5fBsL0oL9 =|<GR]0aGօ]vBNlY$zhmȴװw +G9bgN{!5q#*x47%̸n-ʪ M}9@Qߠܒ(Zw5DQ+;PK(!~ҢԆ "\4Ƨ &>:7>#E@q ( h3ts^y+̫ ~շLjEȩIZGH;lq@o"C׷2GGIë IJI8j"e. 1Hu@d?%uU\%Ch-k J~4߮ fvZm4]e7-KlsIܦ03w"~lɒ侐ylqޑ$|gjb!fq H`![/B+̎E p͔巐T 4[DQ12`ʤLU:q]2MCo& [3rǡD {aR*u.JYD'zzχт?~|Ƚ(Z ʲySTW(*7힥Ü`hC: gCxOޞ< \%fb(9Cq'sօ uxdχ_)B|:TOϻxP ɻ9wBr?Ga3@t=@$&0L*ZuԂyb& w2NIC[63ƒt6NTlN 3}e GNPLAju7pmyO'BP<muK8LO)k*[z=dVf2rLUuDP"ǯf6J6Aք.ߟG0E8:z_T"u8<ً"' 4w>:7i 90~fmy,$ 6DeK7sĠϪlURhtf6jkzOmZ>X~ѝA4H*ѻ_K?`?|fNk7 #YT7PUx_(69do8 nK|*0:ZX]}Ui"M PT@B丂-8iw>KlԶ:AAJAHԱwa7`}0<]©sn'%2"o\$TG2* T,$<5 pO]^r 'h@v D!QqA@_1}-iM:` - zQZ6M|Bzq<5TYp}]c*ǚ ?oeNqw*MV3RH\~3sFy=r/V0CG\Z|_?2dhF/r:+Ng‰;vvK~Wvdކm[!/5-}^/dbzRnpxDhN:,PZ -?&J*n4.űf./#Z:\c DێM-^c6/745`AOV(T{-i'{ ,o;RU~EsNe撈nCg {>. ;~#m˕-@*i?/-餤aweJ f۶C4;GH[)w8>-I0XK,?;] HnGnX:SX3-WW ZÕG ͘0c Ž: R*bF) +Lj ^d=ْQJȱ ly~ 8In_y~|Pl{:)McH`kI_)bS ZU_j\ ,`#kj3G "<>rK1pdQɭf̔sE/ . QѸ}^ A~>O*%N9eKTi~w1;Y 9QUNCac^ :jnT|sIM)Gvb;D#d2*c {~_%e]5=u_>ۯ%~q[G.?o9v%ݴ4qP=pYcz=4ySu V1D"{#-|_G2?ıCB5o!c&u@|p:!;J@qteFTC]ҾO1 Z;+ǯB+ /@h\ @mg 1#HW G=U&4a&=m@kE} . :fr}<$fpc 3g亇/E3FgU4"S;?rQ02xMɲU;o5Cx}`SefΩA1!w$\f<;K^6,&;Ѫ"2ͳpM%6e KuDDٺ,Ļj œb4jz ?t bM܅" 0 RN֢娕's<~a~C?(8[cxܐNo#: zjވJ b-;⮶hֆ erQ7t~-ӂyH3UmoXӱ a^4x zƺ'_90W|L:#CSm Jhzl Z(\3\㭗\,:lxĆ&Yyss4=q}M| \LuNc[5ܛxpAfibK K0.d:^ofL]ON2YRdeڦgrT ݢV/YpPI/l^qA9n>WUMXun5Q}ڵ$;"r&S2VhVYO-9i.2Ȳf37:`sVzٛ#՞GCΎT 7Z "Oo3y e@JRg9~:sQ*+X;G9xjџNBMx3rD jdoM%Mkx@1UNR؁sث OM.sTد?ǽF%n0ыmrdķ6/ y[DH=BxOY@Dw⌙?pх!wCwت1(O|vhpJ cR ^ħi\@awbc6O D}L) 2Zq&LSC.}ts~TwqU%liVŒUpKx;Nt9. ڭV-5CjE\C S0 ~ &W$pʋC39Ps˲Ciׯ{D7f]|fwg:x͠ъo K 6Q*T<[mn!ʣg*7KB&?z䛲 ^=O}%׭lf4@g501?pLyX>O ݰ:cJ|ϰ(Y#,T-|xJZS7|K &:hCeRs0[9,< =<(d ɥk3o ^1iy.Zx 2:? N\|bF̗퐇1j&_?B/w^ sfCBu_MTX":[SH}(_#0e ; ܸa\9߅Uo! kK߮9{:t [=$k5"* ~..B֎8<k~2$1dq,L4hxT3K!nq<ZķCs?ng2k$4i?"@r2p>$ 'm(:}7[[ОjǗ)]/;*>aN`+|[E"y6m^nǃdSNRA3aVS- s8.\1p4JdH@2ѡac%lE\w͒LC`*Hqz BL k I%o sApҏ+-X^bVN0PLF_!–}d,f8vD OJa ŇjfD%jZ韛fgK wZ5Dt> B_v[ޑjwv+GN >!mBwk 3ւX7czwqiFSb~O6| #ъEn|vR)wi×U nA?nh-,'d[c4bDEpU-ps֍ףqCumlpBx4v 8~jD5?*zl-5S7}-:]=B?AibWuVn ҥpϜ0{I:h4V^ j疥|mUHrq\$J?R+Pŝgޡ̳^Kb@XY.n}=﹈܃<N-:͈1;>)$*T[jWB|%˄df:˧:GArmhfCC~Ϟ)z O!¨N:lBb)nb6~djQ4{``!3uR_[mCŊ{?S9(XPg,Rg)|A䕹|rQGiiP rR>.:\绰'XaI+X܂ -X:OC@/;xs9Y $ Н.bnVO(=RPI>KW؊rh DuOW:kgec :V <9yA:kXy5S}ai#*o;U muX{<־BR^d S"pL՛pzRJT7\+|RoTR? ?|z8 #=F |{v{Ggw橐Lס]E$%(m f嬌RXΰ Mg#lp|u [%hЏV sƏ\Z$nCA]`g=Zb{S>z~޺{df)Z=MyP*(ɓ4 x8I%myEZ!gkʜ)b 8ImiZmNDV_u@<3%c]gݣ>xM!VvANYbQeNKzz="k@{yO8kN~u>arA-=2ߺmіxrt,J,U9{`D,lj|!b%d [=rLx'E|f[s(-fUvR6A[\%h=6HmhRDfD%wD&Q2%:; dHqv{ٓ|jPd+=M,@y4DHd.-*vL!Rg>ӆڒ1c3_[Rbx(qZW?I±J8wSo'$佢n&޻-NW >D&FG R/Rz1=-vsk'I}7 ĄD* _=гҜ0qBQcF*;kxVo(v:9ijV!wO|ΉEY9bZu؜*'wnpDv X J(#Fu4#VҗO @GT%ঙ"LcmhR6}wݛIUDqp>q=K)aFRKUaS7̮ږ:E5?}'X@axj"։\2-hU!C^_ ~!4h_֪\p]7VbKY Z߮T tӯ.սQ8_M]2mfa$%QG|=2Lג}&Hr?F:7, $aT:Y &%i8iuwٸ*؞"n%\5I4ϠY#Rx)6cj5Kg> XnptV! 0%]* xAIuFo3ץq"1 17x)!h툜v^L.@Afg+GfgYZc8f7f044f60848f934be61c5aebfe33020d6522470530a60d7a1ec8e16f4035f71956f8b73a92183 a118c00bfcc49eea4ae117e80d0baf72a5a326ca f7e6e74df2dde38e2b49f90e61751b5fae89a9e4