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  6 6"9~ 4$ ] HOL-Datatype_Benchmark:threads=6elapsed=473.202cpu=1934.044gc=689.8567zXZִF! 4]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;`ENXʱЋi]U`㷆zN)׃ɣ(]Ȏ4,yေu *jpy4Pp?Qo-[#aSkNAopU#~LCgLIJs`oߘ7%%[ [_3U4 ųnz=|CfOԢC$6Olw)AXk\y̳`.g5mXi/#v\xdڄ(`SUOW N`9o{s~՚u!DӽNuyJܸD ԅj@{rLgK3Tҿ҇=!L- @upUev7;74#_)퀲Ӯ.gܫj)"aFHB"]׳c镡U[84e ^)H*Y[OTDݙ.aɗ`_tjK֝2ku67er1 $QjTS( B2S (lu Uh#쳰.] X4r5vf&/g Q}"OKkEdwlA +riNZvteܪS>h 56FR x*ŵz[6`(U 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 0 Jю0oC tWOVQQ-NPß,*pmnnk6oi@ ғoVsB0zY{3RMY٪ODGaV>+MBPX\5k5̍o xA{|ax'N'+,8آ,y+C6E;9c+r)|`8>4/7)P|E0"cM@D~F=Y^11v*>]"&&> +}'l20Zse:8 iFZOgYZ7zXZִF!  ]ŗXiɟ1)*u%9.  K2 OJ9d` Q&3RxKW{d=Qޝh!H %m[k˲m3#I'A;mVC4 q4VhU5y{ -Odh:ҪUgcT .Ĝpq.AX dCИ|jqe7j)*V8[t Z9`}Pڗ]^aw<|"&8 ^D=_?e*\?Fl  BGEF]ZԤB:!^a-p8"=k|5 3n"}仴QRА & !.L3"8O.nIr1si-0u`=V,k'bG脆MҜlo=C{KPL~PNX! r糴&|enxԽE^9S*wՖ&wnݫ1'Ϫ-h>zRq%š&4QW0q&N\I,O =hô!};F֦X;PexNp2"蒂x:.c6 l(hZFxurcή=꣡(Dj%2 X\]]{gFqeV3NjMnhf+XQ3Z`*>n^U tќGfVs݊wO3Snr<]\zLH7_ʽJSi{QVR"HL F2hj<"W.e^>^dMro8@m~hYT lnL-4v^~N/xgrBxB .v@*V9؁Z&oH<ףs`  `:i25IFXp#S^uck4+0ق" Sbi~S]g}]qٿWi+LL d{X.LhN,[qn )tvie=!1E 8!IK9g 1\_an?@Ms]>N^]qit-ݩ_ [)7ƋVkWx.! I\D˗m[5o1r+PMVhöB ,)%;>)ѿ61`Ab:vaTWMA *fM c ZIElJf^aV^_%1@#-9dzc}‘oB/ BL%{k>:|BJ)|yN5AVɐ@Ld>< ŀA_!T׭)tgvS9Gn$a| SEUVIj!RN UCEyR|ah`SLi)rv䍉,^ M+r*2|XNCa"3 Ġڟ {#l= 0暖7j#w*E1ϲ'=Cvz8G鲟ְ7-CǨi)|6!e E"`^-^ZSp0r,B? unߍ;B y20DpžM:uF3qľnڃ&Fq٫4 ~{y?U_$Q !fc)?1}xRB6 w` v+0ZK0W(¨CӜ!d;7K6w4K'kWʼz}' چ*MuXV!aQ!ZߌՈii`5ؙ@jhy-:P#=[pTfAIzH ' oVm*\?gSX׫ɨDAEQ2& Ly-T=^aDs~mLg9͕'* ;ˀesPb|`x&ŭiuOtQon3kj[ H֒_ +c|LoUZ5 nZ^ӿ]jS,DlJ8^}pwXZr&es)o[?a%d|羲:&'@_'U~Plyq"Ā8a8MT4oҫ̖SE^;i#Uln Zj|.>.7ʹ8\:t{ X*[34!DiKb(إ*ߧRp16\׸E* vuywv ~V\-ΡW2N;EL=o;Q0\x `%7$2Y^: UHpc,y `k&00X75XMN2nU$"}^!+~RI†RV57b/^׀#h*EM4942yJV@uSnuŹ٢#S; SUɱ ["EbS6!>x[;meJJQ0͕)<rGBSbJ"CB2ڱ{S5t9+HT%{7L1Qj > CTC )^sn+z@@ѢO+GCH?gC̺cjFʲ>Um9{ۈ{e4*J' jxVow'jL/jIӐy?-h[["/ecr,tQ1 0 ~!hbߓ[{v=l֗cߛα=xyqezj錴M ZO[@Tatڀ8?Jd<5]"}f)dVM*(Bx7{C.#TwskbroYNZ/&A3y@#b hC}~U3$S0wm\k>e+(ݓAL=I }z"`^CNږQ,' 8@Dh~ +>CD:0N/t86{8Yk*](i/3؀~*neA<~!z- EM(t3g r!2Hsl'Ή}nT Avelg<[O_:'|юKNg S"!?c: Kxbͬne%C@ۭ#$+iN]ޒ%}-V6wOu[1X8ag훼h V)@qsBo*x:辖84>q4D-pH!N;=$L^ͷ$(5YJ@S }Y 4!'De˸={#HP%' s[H/?H0%UvXx5Up-KyLݶ@@5u@u8׋I9šabj=?G6^DbˏpJ!}< å2v/U4|{N*.fh4"Ѻ,(PʬÉB[ˠ4nYVAb,ة2~gh ;^^E0%b(d2FV5 қ J ȿ\K]4^tr&LF9T05tA|#;i~W$XWĴL*:1׾!оCNXd,̎^c^`~쿅}b5Uiӹ3kJ4bvȬFăƽ8P-×ޔiVwsS`Qar1%+NXoӐׇ=%Ew݈CQMx8uμ8vC:xNNtMcpk.V(#1/ ˊrrf5Hyh"dYo,f#S6=QVy@0\X@mo.jAr w!\IejBߦ* toBG딖{ҫU`mE!Gz5\Ҁ=Ph,"o]G-*vzlk]SM_Ʒ93Gәd, e9sտ&|D ÏxPGHΤr&8P8_p e:Fx #.wa*Dž\K}&b]p2%xԝW/T벀f uHDn->HE^yNpk{#[`(KJ2x?G-`Gv?IM1#f#Y n'WT_]X1JDen8Ҕ̼39I5^`f*&3bʑN_i<(~C'w 9d<_K.ae!h4xFPHN"Ŝ02677B[gܪ~i݋.|q[ 'ܝ'>8\>1 iA5>&X#e5yfa#y7=, e]L#ee0ܫr($\oAPπ&jԍoƯPWYw*3A- u2T?.ً <:2lk^o:Url0V'*~0:wtJM0 0UNkVb1J9ӬgEFߚf1 |20;ڸ;&}[Ҿf:QۻMhsn^%)m2J՝u)W{rf} tڵPbxk J߭۴WDE P/t:R.]~JYFʵYT;w*dMP GLBX 7܆BCL8ANA#]ϒ2^;/A!gGZ5ӵ]㰧;b@|xa0!躝ܚx$[h,6YV fѣ!#CgAؗ}2qkE(J@ߕz?sOzlQx_IFW 34Wв"k~$(PT||S O( i;;cҀ@|XDk6IcvV@FGʚ9೮?pAaآ!Y&>)HN;z3Ǿ6͒ Awم }c ښZrdXn"*7,exX)$:vl+iwZIn)L8c<2AHyy`;6kt8ު0ti!FlIoe+1"6K!#<9Ÿgݨç_6ɴ6y $Rts7+8wf#(Ɗg1U7B, 1;lvM&?\DA S<߸?? umyl zJha'L=:6{7֠* BW13AXVf|<՗ا߅`6 ok#\7#RT!>nU7O= !a2V8bw%|(Y n+hj'$]S8a0۞V _3?~3bE ώufw:ԥ钤D 58cXpmiC-@ez4E3Aقcw % \EeOAP.01C&I@*^tZ>k _^To8a4KzGg&b|6Rt;w~@AItzT.I_?>H-MXD`)gwCMyU_.s7ihTA*QE\NS[+.:uĨЗ?yGM| g^;#<wfZ> 'HeXqBaʛ?b5?tTVvt}<Ţ.AH^cQ?RHS0 gmo.+JDлgr7vmh BsH%Ғ]%p̕н9g %ӺVY\x+L 8KA̽=r!-OuQ49d\Bxmb䬈+oqB(>PGvRg3^!MeZb<S"-Y"q Tr 0k {qQGvvu*4 3T_|) ߁o^S2 >Dvk[Ɗ|roѷ/̂u + ' *%`Y3gYY+#d !O{CP#}>srMYp;6D[6S-xK鏂~U3W5aus]X%A#Z8GG[Ê*Z Nٹ:28"?Jg)j}PJySZ5ukz'ib)]Pőu%aHf$y"1yڦЏUJ?MB:Q>+9tt[>__"‡L%k98%P~m Q%%} DVQ1o;)J"CΉѫ I@j_8vyAٲg% )R,Q_AwvGDɅP^wLIx ,}e76Tno.+*{y@4BzYW'jPs^R1d;㗥e 7ߌ~euXB$>_-&㘫ͧ/:iJRڇ {,QζǢ= Sk5ɷ,un6Ȳm,Y}͞atfZbQR=ഹ5ARU J]}6pJsy2+X+}O=a< ]z@wLś9=M; wm)F{y,[o`:2lA-1nc~,N`g46 Y‰\ɑ9iFbdR~v1/oy(" \b ܦ_Esm{/?1Kw #5IUߐSG%/!G Ua[ ;~&L=+̹ x:}yVItp'!kiP ac`ǀyw0ə􎀈N&Mavرo`Twőhp p ss?vm)鼌Qcio=ݍ@,Y+] z_{BGTP-0P}iS }c=? )Ӆ+0{brK nthӅ_SMn@?ƗrgQ}mv(0w[W-(">c62f∸Y+@0g_h+ԻMU+29NBk% h᳌>`IeBʛҋmˀBڋt*g{NUUei,\CU =07E$BC@)bpHˋ~ʨqj~@4}E/՘nϓY2z.zd8Jź,5}YЗëK-av E8sIՙk}ʐ E> +7jਓQ 5@J$cǸv4u"5:_thZaË's_wUKDD.a5wfUqH;KXoybzڞTz%aΥj]/HGئ"c`驥/2"I{#S J7OXVߌ~rm8$UxSg+\5JJoP1V2Eߡ "&`s.ʵY@i G1IJzx83Ni Vv.|x ؽ_r"5X|'WO;Tym"x(ܬRK Dݟz,S4>_ݫFS9JY?8]jOx=Hau9U-wWYEufv{s| 4-CMPyuAECyKV7WZ,g@y,_U 4Cf?mR9(,|˚'A 8d%-Tpd-2e.gK%pu=],l'vzvJZAn;񣍂'&\{USTlKfᲴ!ˢPUx/L8BT\ ȽlF@@HN҉@7 轡KfY.'g7< ~{F̦U}!h^#y翪Ŕy6|ʽ<~aTX><'> lF*9k~GUԟ?2:Jێ_ۼ"dSc2baͥ = J cfMz>_J9Lj|hR<m6~=_!ĿF̞C i`ԨY;}zm%~NQS7O!6c,݆FO (xQ7,73~$&lV`i S_!TX%='o qdVc;i>9۽ꀄz,E ;OMH!m%< }1}Zy4(AoM ʹPRm#NYDZ@1QZ%aHp6>,@a*!2&o"d4cF9<ä_Yh4f4|: od|@+*MdA87F[i,pG? p( Om+"G clI_\$3 N:jf>GMa/%Ccfۗ)([n̏-7bofقP@*cMԔ*GqExp6DϬ B yv6Q!IңxLa;ߩ09Q; =_ӻ^P=_!zmJkᷘqﷷFw->~Z`q ?,|b;$o }ע1h@~QwoIN_E#x^ )v_Xv=jx5 .nδ-ɶSuc B bܣP͚iF ^J@te ]peV9I + Bq>P*K*7Xaʷ0IN3:AhӖe ~/8!O }#NQTT``}JU!ے7).qupwN0_DUі$ DQQ-G [xW0=:9Q=t2;&+D}G֭SO֭kc&]Lb)")e2! L' _=Ol7AEqߙq+`bw)N&![ZOdR;L L&o9w%v(pś bUx i5q~a3 KEGSfzڈ1ĚiσX%|azuC~Q>jMvKX7ռ v/6~,x5~M+F>s>u /^Q*)Fճ&c=ќlun o-v<SWID ݱuO ;RPZeēk-?09^&p;{1PFxWTʋHf*b;jYx+' [;,lxffO`DeX'+GYkkf+YU3i hX+2uJs邂}'TɷD9y} Pz\n`qPҶa>tȵ`5Њm -ӣC PG$OAg>[}nn0[?\ij7C^b SkY0;LPi*$#$OZe[&M&'AGю|pvh`:r´ࢫ0,Wq6G(4IN4 ޢ5bf.2=fQ%;S IwPrںu־ GVvH1Io{cH%]TlK^2']dѝp Bqym~!ӵgL>G1;kG"+sM\'\e>zת Ӿ>1 LjopbndYUgޭѡ~Vb1[4B -dHZ1{X5څV&j%!DL*1=߮0*F".GweSPI~B^4 J&fBݞY4Kt;}0/9STo/N Y_mbeKi?FN! npF*)l dCs{;wn"M֯ívQ#Σz9Xړ(,r^E"+h`zvxݜq,4늶.vmol;Uxp'!:A.ڲe'K~Rtۄ- Qvy `Ywǫ7@ #6ũ88+7[)@AgZ(W93k}8_jm=M]l0:t pU$3}X./_vm~Ʉǯ(Iᦻ5K#` {;AYbXaz!OBNzJ4Adg)#0Ń 3QH]b;1J1k悎uԁť9mHpm|ڏ]k|Lw[C ;^lí}8G+kŋ夑+m ϞM ͯH %buQ3AR!'F"c5MO aw0ud~S:yrU*V:4-qX ⟘wLcw?Ln|Ի1N隼Lx<&Z&gd /FFWgo:HCl1)t5T(sZsO4ø2 "p'ꛥ{ܞe&K~KB=ӻ1iP31&$AX>󧇔᭒Qؕ1i$7OӀi` }kk|%}=׭ 80_VT%5cݶmdow!PB:g9;,GpDGڱ'cʟF-í=v bWOrbMmo07=;7.Ʈ^^hWl0p[ͬӥ?#DL@[l2Ž<߃@-gJ[~]¦˅`7N)]czʏtB xQC[nΫւ'~-r#R#\Eyv̵t#$sxqv@r/w׎M&_!P:xK;&2ɃAv'cd Yڧm {T#. & 34C[#z ?f=}ͷl.K}26o{䡤!`i)މ$b*mTeB e]D>q.}d_!kՇV `+boz"-'aɐD+8lE:- S\QpwA)tlE+]h)lRs3Tr|'/dm*q515) 7rZ Kx_'+m 2B> 6 ഄ!7@!93=h|_hC&ߠ ~a: nwB\VԶ=y'3 PYvG|2Y5%Yul7渇)9Ni@pޢ]=lPMk73{8Oɐ4nL4Js~fP,|[5(B͔#*dg%7MTfrvH."c*l\9h׫DʾxƨIyt'WAPkty0vjctugStDùLIDU-?cDJ6_ QQt$JOk7:yT{_fiJչelHZTS`2ʮ':!2͡^0"̎@L4kƐz;ƤҮ0Yj_4EMHV:BdIr5ܡDSԭwbк8l02f?h!Ƨ GNt@T>Bxn'ڮlӫI͎]߃(ԍl#B'8# #$ w6"f7!(C0WbNqV|@I Vw9UrH)?};o&x~9TtBZ~S_Ġ эtfG4 2)Qés>AkS d5éX8l]j"?ݛ.z脞]e9.?v~s꧰Z(9^9) ߏTRCJ1G^-ٱTZ1i'mgw㙡e{?l0䥂2$7iƙy5J뷟Hgd{_!Bf Ekpf/.iOKrUVZe7xqbTȃWg朣*{Ο og0 # S[`9~#nb*2DgNrzz΋j05'N2+Z_Gx~fQ{&Oce%ȋF@|å!0ǵb#`ٙ&'Y6}vZj[K_8Ѵ!0"v-(@W0Tqz}?H1%]ظ毁)NZ>ypzFD O9i(tbV/+,ywG  ъk:)ʍ-LH@Psq Y->|~ sWz P<5W=! k" MK>kaa'4^LMI_XjlH`cyHKsi}_ OMp](kD jx9JrӺVk!F٤XFE}+-GGyl&y6F9 z!Ɣar7n .Xs0Z?0jK,% +L&~mf駩ɺn@֞G GWޠh P*օ4[vFUΥ #{YT^CXB[+M/`8f}*!)*Z(!~͵4T{Jnuv#PNnZ6]0k Vl-<"TNp7zgo T8KupK"ey0Z//RXt>ơ+q78Hb>7'! y AP+m.S?^&LW #=9-z@ E^6_GIi%xΌK ӣBTp7&Fr)-D|EOO_ TU6foXrz1tҦOFY-o1vZ̜eع+`tz/'bqƩa[^7ơYI[E `(t4TYϤ*kaMW yu{J([+'h_!}*Eۺ_^M *tWw0Fe[kI0Kki:@ " ɗ J̍FZ wM@RJLgXg#d>"+jU~8Aֳ$.Tsji 8k1B]RM΄t:ᴨW8{+#mre*GMߪw甶mz,%jccyC#'B4ǐ)`\cQlb|Y㓸h6(ɓ)N/Ntv rR,oҡ$q-CF! M?lɼp|PZM&o4Md;;4`z+.Y>[ia~{g#;exdƮLC:) uۍr . 53=v~c+LP~_ qQ( sYH˥cIc [fkcD޽=3tDU#ZoWD_߮5͡9NI%R«[0gN5imkAksa&fj1 TKby8윟 z92rHT]F90w7e*ᱠw3FË_"cNtR#%:`%`9c!H76}+3d ]3eWMt&5>?d/WKA(P=zmS3=J)a,2~ xk1fMR[ZøsAuxq-R;j^&rede]ú m+=orV.vM>pn`X}~%\[ZMPp NiGuﱣ|Z9}DS~xh@u CIbL$Pbf tsiݽw;;ibDR>`Lc~Fg9sH1]#1 \x"?K96Y[㐳(4Zϒ=xp `/Q";fV"*~J@H{6l!r$Y|.DƎj={S4\  7= t\ ? PeO?Qxf3"z8͚aᭇ$kI^TMxWCVH^jm  W@~~pV$kf 94%t FCO()ѤwY~b+ݶ!;}2#L'´.JuBzl_: !K+&˖<[ʧZ-FD䶪7(9ˎdbAĽ:)oc}0G7/9Vvi %(odl2<$/sΊG6qGR|T!GPhGl&ZC<-=Y{ \5's.ppf 'Rwr0}绐6btO\W=5|ħS"9k/{py}QJ]77FJf[ZR]gaEqڮfo+Z8ߏ: P4>FR}G{GUFBI],L֩ZZ]SxqMRJGW +{q6ȣ0)}ǘz6+B6ٿh5_> a]s^BT\t] wM+& rQe;sM<(^PGMgաߤڹF]oXV[_Y/Ac2^l!\`a\yL搽o#| s1ც1j sA|8?޺ 0:eܾߘPAR䏋X݂{QW3Ѝc2kC"Gٲ:an)b_m%B39e"]Vp vE;z-wɳ{iEJ`f.Y€{T~ #ZIJ]ZrD'pmR} ʏT]g}+lUV>(C8?:ά_ A↶uMutHGXI|Ig+%W.aB^H=$ m1|x@ݠb[AU6@DGi|2`^?!o3.*] "^|)k y@k0=MM:#w{4UF6B[-߾ v0sZ%5Xڎ8WFK .v:*h$Ɵ)ݪIHBR`QWF(y<&oop,gm£. WA4P!vˑh ,.fw& 9cHM5Y[GS;ОXee~fъ;KٳH_*) F |Mx 2EҐ*(YlwXF;QHقb)Ѱ@3XR]g> z2eꆹc~Rw`ЃQ=%5 KJ d]߀Eǀ[s.5z=&Fz_[ !f!yq.ZWF3NS+f -k,A\7ǻ:N:4v("Lgac[~ "o CQ=-RxR=wddQC@o  s@?K0V*$R*]a?_Te~gD@NB7wV99e=s +X{Ա"8c$^ha(:&VGG3<Ή2p +hƀDrأ4:- 6tTEŴ*ף28 ߺ)]x ڂ ?kOH~bɚJ/IL.'D2Pg)ǐߢAb &}[/η= gd_Gv2A1_l/pLjB; 8<GW*'v 7[JhGLC4ݬ̡IQ91Mb!i#uͅ؋(YP^L}kPa_K{aIJ Le%+st,L1ӍsO[Gta]Vc~ymu@d!@НD]3UZ Ն>TIRX*Hx|kQMw@7O1 [eJ4)k[Cw :nS胍,ش$z d;Y]kY e;ռ\C-y)-Q-| %Nd9%_$,{fѻ xEVן0IxFyJTLrBhb+BܺZUX{wxE jZ,.ЪJ€uev،2ܮQN"rp׭_MjB؛3=D?)nxo 41ץ p]b I*"KA:a*=Y3]X5ԍ&1A I"?th:\˧7ݷH[е#~8ؽP0Xxc~p}64` zhr']H!)NH1]8#TS~+vC2&ҜcoS|RG11]Dvse2QRQxܕ#`flvCc'Dur|*v&HR2ny52:݅t:xs'KVafs\v _!<͆==szjZ ;$lݕ;lbL/T7.N6g}@s޲'%B6V@ҋ' \W` s{s+YR#X3w.TЁhqSo 6bi Bp0*aݧ% u{g}IdT|l ˿asr99m܅ÇTPj.3@c**Lv] QGgb%PSםVPtm2/~[j0O4=lg/[T}jq: tU~_[g㗮VX?ҋ 2!4cwy4h&#rH哀ٷP V}g٧ TS[TZi%c nF/dI߃~-t>#Y&p:>)-PR 5/~"g{}\/TTf1$PB^VV<^p8|6Uᔤ xk)O+-}ȓQ0Sk'RK"str50w3b;UEdBdWXx"BELeLfe^h'oSj/={E ' <ǠQu?Q(}Me U^PqWjBN~*wrPE{K ])v{:H\ݧ`*&S(' ( V`)'VHF@RTI6)GXstŐ[ tSQ%OcHDV?cCềVőIoYAu.Ǵz?0D[\ Hr_I7J NRf ,ȲЋҩivy犯 6ie{vxխquւΜ ؛ǔR1 ׬T_݆G)_Xk<¤pd({k&<sū*ϥ!&~w=*1pv&ܸ߀q9IGFBs2'9E%hux`ٖᱢh}XCl|1z#WPOrƅ4渍;J{8ʞflL:uM+5Iۨk8,wtu` QZUW|\ZN;qo2TmuBf4E١/&zcSUySGnV7bUb+q: IGתJx{\ixi8i. {* pؙe1 y94Ua(B%mF];>X /`宨JhbIfLfqUx1ÇWPQ gax4'%iF I|j8Q Ͽl%1՟ V%q,VzC`Y[z؊}qmMRa"涛O#w5)ܨozauIv@c#IX-l6AC߈4 }j77T?Y3cv 6Ð):%#L./'Zk:{mx_k$ 1oLhdɤc%`k|58׸d3E(lݽ,$pW聃(RG:a?9ɐ4-K$uU(Ў|jJD0 KD{!|U: ƬPti~MBbc6÷lkV%8 J2@*MBxpDӞ\%p :} f7r\q;FSolǶB~;6X Ϻ\XH-; ɕ|@]uOx}clAYeK;Q;a)VIm|'"֠J0≅FiAwlC܋ۚ44Hv.~潨C B(,#v]Q8[`r ?Z2 q(Ieڃvx]2l_bi墎n%8zjA [Ł|>\ͫ޶se42^m+D L R&Z.%\ܖ֙ޅܴyq!|lcwOJ& u: <;kG.e@@Td FaX9 `Ho6D7:>9f:˕WSrwoXZpߺQsnֹf "RFi 2sOv/ ?PKj,-OWs\@)Mdv \a]W^/ZN@Xtw? kO2c9,1.@0]ݘkn KĨυJ@ޤ qQt#!_nfw"[v^a6Ë~6jarY'(`'%/09x_ׄXE&lOa]3\*uwJ93Tk|iǹn(l-"Am[m;DDp"ۖhL;}~5 _|V^opb4* 6ˬl*u7@)_14QΚ>ļYK{8w([>7c% ,8nk` 9KH蓼IeVӏAA8x 7tY)[[ 9>*㞯ZMwSw&N`VAz9Fd!@ K_^ƳS zv>R+mӗd`o|})5Y Bц, YJ6fEO>&"G56%C2̀ѥcc\< V%,z=MM11RtYUA UiwPdV_-$;(& ")WWxx;sӰF[puYt% whNn$\V՝P'Ҡ-P)V;қ_ۮy$ $p|A3i3z1S<7D0XI(1!6ۚم^]џ+2 =E-8o߰llZ5`Vm{y&>`"h#¿P %-=zcDY3tb[jj>"U;xRmM )02jNѱ21{7?.5LgIvD+t؝jhB<9 ܎eqXbwisvU')B~<8l-<ֳ7[Jc c_l$ b$^5 >vJxq$?3֏CdU3n /+fY ̶eOi!ڿCcUC~=+ńpU?c5#{gx6^svK3*ۿrݮ# ]d)J,h֓?$ ]zi-jqbs6$vOnRyw͒Ff*xo/~ ^s_0(?f-5@o@n08)A!bf!c|%'1"%TEè3wx#!{&5v%z=KIiveғ8 n&zWTZ؉~1=f;A%u4Šm.2J?Vc$7H ,5BD m/ZHٞiά:f}e;~YEɗ4ͺ6~f0ll6tۣ~J眫ОSeĬ #C) һ ,,&Kc u!jVwvf%hGwm|p9e) m.D"_s^,Y렅E,ɭ|AB&F.BB*0'oi, ('CXpv5lS^C@E %$Xa2¿S9ef|_x;)rq{?H)u8C2a]@3k}G'|C sa .Boۣ1*LgYZc8f7f044f60848f934be61c5aebfe33020d65224b1229b1545e0527f3af637d3b7e4d9e29c3516a6 2e63f8b985a17038023d038a775f53bd77337d39 d380b5e860e3cc79a3f77e30b43658319d60502d