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~< ] HOL-Datatype_Benchmark:threads=6elapsed=496.078cpu=1987.232gc=744.4007zXZִF! 4]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;zRĖ#e*W@\蛎Y-r%_:U/uԡܫHVDsmĀ;9 ,*8%a`2OM -@L)kv!;^);!K8On%܀RKӊw3+V vH=]5=Yt)ڟU녉pzE/do*"hM|;9)[鈬}h>^pI" Zo-=>0Nk}*#I_31 gW=XvO,HHEH$)kIiYD;V,4ԻE{2aː`; ,L}錑Vr"/c<@ոIaP#>nH@4BQ_4m/l\&z8%׽vQc/* Q b Q fIeNIȾSlԌxM>V%^tgtuv;UkR-,fG!| ^^gDt(i'*UWDw۷ET/y thIg=A48oM8kr w)ҮB-yG"Tj*3w?ZcM(]^9u ͐+2_ebz`2ǁh`CwMg!J[R ,70a*EMLo)3k3y|3!7M`oͫ`jN ,u54yKvr"?+ZXz4V>/$Zޡ.T!B<~&joOa{'e`R۲'v#({W  1i:?yt'NXb҄?$_;6)K~pl 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 SOt,`Ne:Yo'\/MM+OY:m1v&UыoE _b7zDoLNA|XVCFX*ش(b9lI ^]/ i/긱gYZ7zXZִF!  ]ŗXiɟ1)*u%9uf_NmX]9hIɂՊu^.,9wpV=~b!D@#79n(Ǎg{+8wf~w窪šA~ Al{XT!=ctШ)"ʼngbfM2Uڵx02ޔbI쪈Fohsoɺ^ހ)? $!{^pRꞯg AeOsک|G!pԁ~aJ%V:b/hEm9[wq~[s谔8F5K e )~>uUVϱY4F8fM-屮+ߋ 4'iP듆< */'x"zI m.S(P?ƧMuÌ9^`%@tHRr#^;No*x؜|v\ͦ -,/3e9x(8Ŝb7l_P̣W=dRScae7x9Ɋyr]c`)PPG-l'Pf ġ_8#ێ.Uht^B. E&+}z2zwqqClֹ3Dz֓"9 AkuQK/(Uy3p@҄jx.% }\h(cSy6ڡ67eƲI3vrCqуKFAxTf{|j4hZg}F ա~ؗ7'7OMMDu'5WSM5D bo 噒܄縅PoKg`xiNX>QM ~d2)h4_m ڂ_`{juw^dPvsS\{?.6L1S؄8?\=|OSS.-/*Kկ M*~?i@,9i;2\BߒYs)Pz5RB-!86;WQW+䗘0pE{kU#^#5[&:-YtkŐ$7_QTNq;"q)+2z LW;<7y*IK R]:T5{>%{U`Ts$nd ?)49'ݶ3uh5Bg0O OV >WEQuKv+rɱ`{<k"b\dzX/a7Ix%sи]C^o^rBcDSmd:%@B U95BߡkA'7>:h/v P}^{FgaՍ@F掃ہSt{1ѮIPz-̝]ҝЃ^ gYOKB/4_;Lq{O7O[|5:$ݡPюu9AV^~317[cW~gyQw;Jb#s܇6lJ,}Ҡ6YYJ)!@IoR36dW,W Iѥ,NyZW99(y g +2G$KYm#l3ȍx/G#-=K} EQR](Q=pCуmķ{C!a|m</>Č 3vGt%z}- @Vw#OJH&Rxu/:zdUJknXf} lPܷB:S{D?-di&$~ѧw?;W}{=\g@fܘDa,9;SI}Zac.T>^rN*zQeޏ` kuPkZQOnH\jI570mrEiD\rSGqWӖ|]Vb ^ GSfGݖDXd-l;تfΗOobs(ȥv([H6f$BtYU\fsM#$+jPMFHE0xʼn?7ecځMNe) Nm×ѠX;J:&{pd -OMc]-X& unڈ3=u}auՈ QsK%VwM  gͰ.n; ,gy?4{zDȱjȝ=ڧe_0ofWMyNa9CB%,~D0іi2KaOX˝~=rYPo+:-X"MVv-ȧ }mr8>NqVbZEp05yΉuBS%dE܅ FE@揰9rP6j%HT[ wu2T>O[G%PYs%e}49W;ȊHr3”gXy06E0uhQLi(wC4Kpڷ6Ğ#i3.@r`"_uMyB\Hi~@8jՋDžï˼v6N.wÒm %XWk)NYƛt%n>▕8U~ l}ۦ ,f9OWSy~5_B*aܷ亟{rے6zN` M1<DgJ܌H>X"SgۉKʐbc>vxqK5jg*Xj88 f|l%7RJɕ)+o&Οyc4za-X]q9Rs|ɫk ṡ<7K=NMϧx˻̲ @]_2)O5Ѿ! E@W qM-Ņ1C#Zr_t#.{;/= 4?#"9jl71ZH`߼sas9aԈmE^tp|zmyįsZ锻a+o.2ã(=~"P~L%hOYG to" I?&BUf**ZH)i8M )V=;k֨PI *X4ĸ߆t#^LK2% )Bڬ[t;q7xAj'#vO(c[o Q> vP:4vz56eDҮP7T ak<1?Չ]xhf s'`س$L>W{_cKP`+}_k{4/~ 3 Eܶ1Ygii|.=c϶eXT;緛ye Ϊ7H%G7\3RuTDJD5w }6$9?n͋\G :i!!y/jm ӌ#ړC]XdU8vmѫKm v>%)Tx:Xu6m\ǫalόRlO粼.^{n 4[])},6/RyVuCPwnua]=oBoP[ww(e۞e%wIJ^%Ѐ^rcXNk1O QcF MkFO3|#aw?~"T\[v\ˮa; H)A$ھ ,ùOmPրb腅T}ݚS=#d#1G@,1MzUnCV,cS&B1_~ 7>[#ۄax\8VdV&@jOkt|FG5B*Ӧ\oxMn/dP(I}MYa3n]ih*xқ"t Ay`$% qG.ݔv:"w%:@QOQpȟrO8hAJ3+Mm͌;/O;!". W?'֬9XUqQ'N_ >]k]U_/_Cˤg/$)&P2\$']TEly<ɒ!s.\م+33^+qY1X-զda^ba+r)qcvV^,2"8|t_+yE$EJ ˈ\9歧-];Xqg_gWhAMİσ+$ǘYێ͸`s~yi )8l &`Կ͈,e|}^3?1%ǚJх@*cHBPyȈC}޴̬ |6,%a) v.;7^;0je׍ݔ"}H,$EnјHn Æޜ$qy}FGa8]0mw$BVY <+`M:Kmp\@x^$VF8pmKYJ͛Bn*KB I `23oOUgmMOTh-&_Z^J$)uȖpRF#&-wz] +v7*m - X]bKS򍖅#R%V>J ]$2߬TD[}3en?9p߉3}k?g]{ɳP9 _b?v^/KbI|d}Iјhٷ7Tw,Gt8b).=Q{1nG>RԧFf:S[N Vk^>9pZ |󂵨P%!CXD ? iI7a *L]W{-]82W ?^}ϣ6f0hBj2xXU.r\aRуDr<1(7Kb٢}u M&Lmz%mZ7Qd)D5pʙ2ipVN6FllUN38_o$CBT' x%ya?y]Ǚ!<4Vptbﺷ@%Ռbh ݹq0rAqnUФW[v^_tD¢ZG",c3x8Ƀv m _IkJ[](ː: "t Ive3ʡDJ ==OnHy˵Th=+zPUY\# yS9GH_'}+G)0 Q߻(kSS > љ$ a>\?Hs,OODb.kr>n@ղ'[/rsb̍1njTO_s !o"X_"ÔHxg8oH %{Q2XKѷԫ2$|2X1ΦXR@Iy]9^(= j2ׂyhNQ֛i+BCnl!vſ?bʒ'xMg:q Ïb ڝ˃+Y!kuj4\4¸^*p[+9r Ǐ/fi7e}JA~MbŒN\>Ƒp_1јXm"&jTտD\z_T_HmH1@R4 C@-5ǃaMVnФvU3`KbKKPA=_Qk}T]+8Yx~YWYꘞ {b b4(c~M}-8~f0O64V1擸ڜ%>0C12w YWE!#MEmf͊SZ&g'Mn_e8Xs1'sҺ<#KbgcǖຢECz?EJ}$qɒ1Z۬%5 }ڛș#*u(w=E5,oR|jepU'O[):}139RwM3_3;EUj1FWm!Q%-;(Zx^Kq^_eH)ړ BiWK}D)Lĩl@`LgƧpR Ѭ`wf`?Z;S4lR^^ }d": y;bLVד2Ҙ`(lWװNƶ-b]V'1( z'r?;N+Xn5S\9;ȏQӊfqNiHBcOzP1OzkcDZjb;b枡.ή0p;BXwjT9_G,=LwCb/>c3VYGہUc1p-I}>>5,LNR}m,3%Q exC ϶?@0DSî10Zb89DyY TԦɹ\nKO=i*>5M`a "W]; Q\} c}l|L t4,jce%_7ֲaq $I2@ /Bxç/xrYX˰ty!e.xԱ2ȣO^Ͻ`: >Ae ;z|t2ZY7 MSyF("+ [u")aIe2. 5KAexCu|alIySݎ.f\я'-B:@ Þ3DVVj^@w~1H7^8֌VX;)eTynUe'ל/_RPX9#fʪoGylZ>t6u# ~$"N5v!GñG-L_X$u=YVUk@nH/6n+Y<$ !M((W1(7R,?~fLdOVqW-]{_˞j"HjP1OzC.zRy~OXciEa

wTJ]UGSxIU;P_xCOx2LK}ym׸?R ?mxsj#C+NVۛUA+Kxܰʾ29ba>"aO7޾+# ACm,Sq/BOFAH5X<knÊ9;p{Izo,l2N/;v\̙4ETrOHhR=4Πg>7I:+!k3[ƤZј_*lW tˠ`PJ x HRW3A8i \99ۈ '? P|Dt6]A{quJ/>M)6Z3C!Z̞1PKWl0)2`f+HB hB#^ x?S=2$pIшCnJenh+9X3{Ѧ)JYA*+z%GA/qr` /7Y˥]H-xR9mi$HUl5ت=4@Ň3nm*k枮^@u 6|u@~JW3u\QpK}4F 'sfA֮t+;~lAj@d"&fGab|%iaf<Ȩ"pO JqК  &PpZT#%մMKR3Չ;f:)'/x5 Ld?bx EٮJ _MKI2}"(b:A3$+ApK[&@9`_=Ib-a\$s*,cF"L}*͘)ۂ̃cLc 8f9x gPy]Aփ'Eޟ ~R Z1r^;<LOXtΥ/ "Fӣ\~өu?S+_5x }lc:φ; \ԪIQK#;A|mЬ:3&\x]@P$z~Ɋ kǥ>׬>7 /~;L}mS#\:@E4GwWM{ @e,õ̞91>jk :E\ aT7ٮسC`.lAG̠R`|RRf Ù/YpX2L>r=atCϫ麐X%_4)4_:966`8sXn !=E?~ o_:a}|vG`x$^qt[3N[vdL Ʌj.>? yAm`>=KG;cSyH2.ћ+6CreYFbק_ grK' RhCoSdЂo$@AiW1k* v*0j%4\˝ȩXĶ)[Q Qc_יtwUD #k.Lm#v7?9~w&y5ޏrIN@_ LC҄TuF)8dTԾJ7ưh5'yvWlLӉH'!+omHT@p95Fv`(evżշ ;RO*Vf)r/P,5}T+hD9D8d5k+ʹؗz_ VYG.ͣ3^ lVp91Luc`'Yuՠu NYB4]SJٟavq(uBM-;)S{vfD9O`ix li^E_;a\V.ScFf=Vn5Nܧp:.< w2hdGe:dlM!@NPm(dɹ/o$ 6:K&,eF2νF<_l l1q_}]{T2 whi#i1l閆CAShZKqSsTu~^UpNa&!{JtH{rG_ -G0Ts`yMK+V,@vqet  WËKiVv66=|JoaagSg')4xꕍoZ ,qmD&6Y{X\\T4mB"SΠqΔuF{SĔb +{i.38D'^v'abf@fyKwAU@_֕1UﬤDz1JMmSt՟v!h\HzaՀ欅 ]s 1gz!/ (eznb'"w$NZťűl̩Mܓ\Nr/TgB5)|h>F%3d64N{h+0hVr\ʱ3=-Q`{  c :@ILej.H/bGz#[$ oG:g9`fWT9MX*]mGp% }&>_r ЭHC/pP٣~#}FkͳWͯDc[DLX#\#p@yMaB0$#Z\,'(+y^- pi/g'4AR+r(zUz 0<; `duߪ#`}T[ 꺥 S`&ȳ@ oPh.sx*=o&l"8OBߺSk#1*>\ * H]J-dtfGe?kފګru{#ՑkrT:\r גboL;.f .3 `RXrY`#U#a`G)v8ۣ<wkXT P%{4=uar.h`ju6jޔ9-rV{i}Ecu|#5R#뎙ӯh93n#e 9`If=-<_c }cem ^g(Od6fJcy|Wb`doʃmފ y<) L4M2,w+t]P*Z Aͳ)L^ӌGʗq`I."& .$ٙe G"{фǾw t? u0aAr.g3!)SK]녌sjIc]aC!͢o&r~k\ d"!_ QL:9QNbE;OZA@iS^+5a#i=nΤ\ H 42ei~giZ3Eў :Yc{g8;a Ap@}&q\ cl {%TYkyV}łj5vc넩Å=e GRhou˕Hx_JnORN*^.][lhU6;5's.Q۞Hu6-%{Ԩ=IZkgwjAVr~W5CǨJ0I[wRp @Kx3a+!FGfM|0\IBQW<%C`]|>jPw0n[aSvj0inby1(@:Qp5Rʼn˘-b6;6PvUbH;0ם>Ƥ>-G`ԴdJ]LGlueKa-o*7\SyX;1ܠMӍnuDGϺ,Kaqiv &屸:FV}arxowm2m-}n~ `v6Ucq{OgK*&t ˥rOu9Q0$nT=/>dzXG.DsIz-ci7\tF(ONxr|EH42`wӹ:)<,]i7C;Ȏ . u<'%T+3c,@h]\71syݢ`R;W>:LqoX\l MX?-c=ShǭQ%#M-5w"u.gyH8_gWx)sDCX1''y,'_x.`TW lJyFAy(4d 4ZER(U:dӱBuvj:bdU`_=5`pQ&u[߇#fr"X~n >7fAL(*HDFgގң3ݳi_2L-;6{3<4REh_rWvhQ_B)<06=mKQiG^ v嬡+eƬӗ'v?V57ur4f 9\+p$u|]$l ,6ˢ:ӨtH޷IY[,esl*Y/(I A!&5[o0N?to3w!)/,{ #$k0(sVGDŽUA)4؉ GѺؕnMGpe>@9[ 0XNeQT{uQc4-Y%ZEQKƬ*o31,GzˠLΎfYA!D3[Qi`+#@" T ?sgS$Rӕڤ>VvԹ/F煂]a~+U~ZXF͋zP8+Wh, ~fOʧ{[>\H<Ģ>e~z7密1]Z >\BNsMxCo/ QpܗmEhClNshcJaV/jϴ9#V!P>4,s{LJ/WS|9qQ!(d<?vT"p8#׹ƍ Ae4d[@:}C?bͣ}h`G$7zzN/T$Kep> XRR1'i}#3uty;|2QӃOʵN~2dcf+D +Y`86+ Ubr GUrc$wi.;>T^ Zwy ć~=甪*1_֗'qsMi \oN .mNy߶{MÿlM7R{Z~kQZB0jסu_ MOoR zp/uTwyĖ/֨P# iˇY^έj rǷDB/ʽĠ[KVt^zB0E)9?ѩ#-HW/yF[ti,܋7\na< KrōHoɇQ#ֲ/jhoiE~6b_E,s T4|,nºalE$FS F< `ha(}\=!L#ϽމnBwQy$BcIq]>34S |(ԑ5u*6`Qcq@mlKD &YCr>B2TWM.GB,y o] fFB9 oJT0p_< H'(s[F!^Xq_ma1Co{p9a^=Zqro=T@tdXM|}X sbס%RP:.v2SSrB$b*Q4 &Kʫf*bUocX=33^Pdo=פon)ߴ#L]\asOV6-՞gLjq3, Qb>/`]υ}C XpQ?A$.Ok U%s YZj~hQ&=ЩCe6%(3γdDU`o?==X14t{%+m>UA}9G+saD),~bc$bFYS?/m{bw½QP <26#Qn`m)b{s/OX`EUbG+2Ue+vT[[ R$NCQP% zX2|6ĥ6ӣ dɁnƤLq]%#3x~S]G^Ɉs!&l._:MB@^UbD*r%[&Xo&(x| aC<1%]z )fJx\~x4ՐGVI }s-~\SU-Jӝ LOsii+Ȭ !&$g^M9@gOCOFoscE ~7y[A`ctUټT5n#د3Y\dfa3ejk0Zϔ]0Iցjt-\__;!ܿUn+ɢN|Ob2]둛FΨ񆖎S?] U ξq7fj+h$ tT5:UZiR>#?c\ZޭMC&!̟j57̮OΆmkdawȕ!,R l жDROC9崹?/`A"p>3şMyY^g <%Y,d4A_P6DI)QH{AI+5Hc<QOsxcAEpZ0)tL"¥r"yteY!aXqE<-S+skf<-_>T5;.ɶUkϏ}5&B^+!}P0c-r݃BBh&2ɓi٫g`CQtNC4&^Mr:#ɀRkK>Du;:Sό%2mDY- >FHzO=RD <4;ˆUԔ 19 Թ^~{Nc: :AzW7mCL-KF 򹿻m+XxM2 M= :Z0 Q祸&c.s>hrEUƺ8P&Sfp8Q 8GDHT6/We0 0i qxc6Ml鳭~ڴƩ9 DCvw | |?AצJ <:n/Q%Iw(!024\LpLgaLJ4.A餎ά]S͚MUcV v*.%|^}cGN{WtNPƢ{}d@s@\se#ǐq?/j $N-t!QQ`|D+z9&0γ*l|:t%`C=CiI.]9xG tRG0`*g ľ6`len?GsGE<رc%(՝dBhWJtߐmFB%IaU$"YR,KѤcMӨgC5m]EhNQtO,*ǽF60Spf %fEhBCF?Vfȯpi,50 :(ܞiI*[+%R5jy +wMg= V$psGqk%' KR bI*Ͼ!BFB3dH[D[wՊ2(X HSIf>_0O1'>"9\ڝjS38 }ϣzd8}h^ ϩ64-Ӑ20>* BY<<#$ hy=cW=;5d(Ƀ z=mҷZ޹,6-[3poqH_,ląwk]Xdbo )Z"8_H喻Qt w>tQT,zE]3a2AqhѼE2b䄔:EG:lPjnV__x.xa!Bяg2`kOM}Q֕d&7~ w}O>-/Ձs1n RlQ=xdybMUzL`bmH&7YG(tnQ14RFY%#1%/;c@0MϚQbu H KkI)$dghq~Ái,cXWڿmdrFjcܡ֖Ծ-fW@Kp4ZYh7yN̑ká߲9 W 6H|ϥԢhLeU/KP$p˘ͬ1ES1֯UIiSLsX|k[Zh=~h+Y28 bq6o0rtRtV^6Cmzn{K@~#dzz:8yR(x Ac=w kq򁨹*m/|T=%Q{򒴌(iJ{t²Xv)Aa0y RJegTqB~+D G"P0)<:g"y ,Gۜ>ipǍk89ҙEaT?XMw-h?B{8PӇ Dkr{eBUM xPQFj0o  " `lmނnsw8 pZWHsI[TX>g wy"P$ 4۩ϵo?{geRqXYj9bPqo21뷌/UIL*z;kuέ`SMmn<HVVpErFy0ZHq71>`ɿI3Za ,Fh[|$O)T5H}a2?"jqQrY QXZ pwR̾"#!kxb(GWa\ލ>bRC% .-=FS歚A ~o wЕ|ʴM{Z{}Sڔh*|DPž+0\p"JႨDi9 *l Ex(Η KY3M@P bM7- Ѡ-@4Έa!M[]/ζ'Ҧٯ8L0E? fRaT/A-X~4] tmjq։6(W,9 xgC@"'@:Yd\HEI_8*P*}haj5/ wRnzG^ (`gdi]-xܴJcVK)[+UI} ^U%4%uq LAJ{g[GEYttĮ}f0˲s5*Еm(N\>\mZ޳-0[>N /B6prGgcD齡nnh!NRdc$Sb]5Ԙ˵Y8uLk+ Wa r: Ji &9R"6aǓrp/t9i36u*Yy߀`,d&2)acb-t@i%Jy \t]`ɢ(ԩKWi}Dcvx ܠy0rNfEpQ5Pf-/Zt8=/[E~@-QʿBK-/z,B0(4g!еikyZ]DXN+W +TeۗfR|(ݗnrAʌa"(:*H/3 če V׹ydѴU>>`:8&hx'"pQ`[ J {[+H{28^DnLSihx#_z`"(p禒p7õmó2ZY)޹#**ڵw&>G7LзTô@K7[/KIO`< o֗+ddq=]E YϴcY?ѿׯq=Xs'&+_9a;ݾcPo U)doc2f4^C !h<Q@.ͥ'p.w s7]c?t>#\˯"b'ȄBrO&wLgSc@ c5q iq&Y㦛e! 6|Et]·|iXmv!MT67zׇ wnh |wJ>f4l >d. h ) [K+Yt\~nqs9>pB>{nZAAIbO:f3gKtC U|ȅ"tarBCKx81\xZpE%}V ( _b S"US~(q։`8 }lu2EggpWE7CږG9y 879Fߠnbrb}}3ܬ`eD@Д|bI+bw_vիb2إ9hPkÄe?> ؎y;6zaMF)V˅"ӓ#>؆)B1YK `vCᝣNb_-ƒd}Z@٪Ȥ.Vz鑽ZVT@ZS|?@רNVΌu"eUKahypy*^F@^#|9 ̛CwtjHl}$Y{2ꭳR' I-=^Tuӊ{'Ї\>Lۨӣ}l- jzG!ȇ$rvV&>HobqW2Go:"GvvIE1XiK v[Sk1^48#H݇$9 }2`hNK_m4cbzf= QsQІ~;pQŴsaUYVմPˉwW3+l T< *\(VtϿ/`Y8=9 wC[h޿=<*|Ef-iUCC_(}Ja=5DC*9fx{B9; BFyA[G9Ĥ{*!^~ف.Q2-x?#P8a<۞vfv3ZїGIθFCھug)/`\7@8 -Е쟟i,`bbdhkv Hٴg)|o;Dehv)J(^vAGTJ;(8d{g7 !%mxltˡٝ8!KF PU2 ^/iLx9\dJ@pLK:2wEQXC!%3#ۥMkcrXIaފիkAIztSr8PC nK o60'I͍e"t){A@1rɇmcuA xU^Bjrj~t$a/=]>o 4'oPd %hzr3%V, K:4qD.MJ|v@$9oeԣy,S49'Wռu&yz7WKW5F_1}c0WeͣCu WFC,XBCjpy çтΆϻ34Ӭ;2hr:@i02&iкAEtkfr:("WUd"W;iϬ7 MuSz,1N0;hʒ:oSAA9#/|a B0^{ol5+$A |}=?""=mL47 5Ǖ̌飊WZSp"?wPlv}%t4Ne$ =N q8C@΅OF;+z# '~ A.TzCd!p 01te1(5 p׍YziE â(쏱0HkhQ,``іwg.pRk!whI7JPmi-ks4;jiAqЅ[j`#s{ݽ;Mpq yŘAu,bZ/{zӰVڽ^H|TK,G&ŗ:RM-TRPv ~-G?s)*F|!eU0)])lϯ7xd{bwe3ި~xt,D[@ml^™ga8AbhD=\">Ģ⣙ d;.索VZ2 5tٰ.[ǨZ4%Z,+$ ֆÍ q nΔ%GG/)E9S+0tpGzv> C}e!5{ ]3o\iJ\ /Q- Z?,`pϘ&C w.A^w#-J[-'vWEvF2VjHR 8y{ұ2hBd\oL%o?nEAqKY.l_a@yGpkft\Ԭaʬtbhay$xmfp18`<ٓgo#\ԸJCfdހ5r(x=^w8[Dr3APXtΛ u_DY WF)f{KK[d>r |@?Z)(6M+T^F6ٟ1.jkҘT4r־W"@M>h?D6Pi26!B phsz9> /_ǎbthF[1oRpMQ g N /S)=1׊?2puEӇODrqir@Z ;b *h0]<$ 'P']yZz(Ws9}rrtr1]@Q%ȉ=>la@؝B@@Hۅ'FTU\u ^)Vals1D.w^mQ8{EU,l:!fǏt`>,Kb4{ Y/}$j$-(X'U* 3L7Xa] 3nSu$.f&|1ϵ C9 #vFu &s5Xb,FoC8틫t: TEEHP<˶ r<"WQ d2bil?a.;"rrjĽ|j.+X 膿FO0lr5̾* D4k#'04m@֋ tu0ٝڃQkEOMЧ,?{F6 ^UxjSDԳѓPCAA]UPjRlp'6FZ﫛OuB՘?iPUm=JvOr<1>, /lAozv$HG,]3ا+$ʹ?+cy\S^# &7ɈwL]]\p!q*+hmUtt{Ş#5 ݗT4v)G뼪cju|hԟٚf*&}f(˙IKkGa 1!vE &nu+]cG$T$3S| }vt"+')*%e e>r7pJRbc7w6U([rRFXA_`?Ie|e[Nc ;r⟺8c5 [,DI- \RAՋhRtUM\'FI{—3V|ؐjh`hI|'D?G>b+t |[7M(/`ߙD]T{A{B`oc BiuNݻt'jk9MveYa;jwtN->a/F.ab{zs[ `8]b;"ܡlm#Ιe#g.: ꁹJsO#.!н4r@s2)65|5VV`R|I<ǹW2T.y 5  + ^KcPKKuORI,Ff (R]߃VS'S,% 8Lyϝɐ^i/}ux}K fVmf^f28'L1g4 TuL9ӄ+.`P@TW LGgDz(FT1.POѓ8iznfi 0 *Hh}쿴TSR6]EGF4BQ$A$m:ǖ 4n[a&Y|E>4 퐌';$`pר "rቶ47KKq$X'_9y*&FEw'uBYAkH ."kh yy@6Ik3U krI=©g~K'Y8=Ӿ5$b{U,MY',X.ޟtw |[Ai8{k;Y$@4wѥYQjR OQzlϾ5i*P)Ï}bk"J:0tg+u#74yj?0q.erCsQZXye E+ipHʤEG3? 0'%SJB0I\ToyIHĜ ʼnfQtv!˷9-T[5A6OOJ?~nX%< Y,vgYZ9a8186916c79ae04ba01047bd15082f1f46dc5765e341a1d6191d9356afa4682b13bd70b1920f9d9 63f48e936253096d790243e19b2890f4bf58673f 319675ccf492b875a3555b5d07827862e423dca4