SQLite format 3@  .0:  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   ]= ] HOL-Quickcheck_Benchmark:threads=6elapsed=304.210cpu=1472.288gc=127.848factor=4.847zXZִF! ;]ŗXf1-ĚEM@ٚ|3 5 !8- ^mE;MR 3nIO˼^7fπ}1i ;8vz*LW{RBnF@?3#A*= PpgbZU0n_MoӸΡƯ b%0*l/o%<{eI_b-%7Qr4ܢ4{AsLMV:#ϾFA^G PTܧ(#_" =X[H,ԟJ%#[COa bW[N:/]eKD/X}ԾSpN h0o'R_nѩ֛.4geѼu'IwA|/@7\0e8h3g0uu?b],rgY bU羇?v֯z.yOD%4&9GdV&rA3~~eP FJ)8]`q!^ڲA8 񸻨nvEJvLȖ?BY).|X<500* 5~&,DڱgYZ7zXZִF! /]ŗXiɟ1SeNk: ^7=Lb~CML /]@ج0S2JbIdH_w-HĂf߶[+$G^K)x[h˴>JݓRYFO@&)$u*55{\9]g[\)/kkKL$܆ `tmpMǔ5qc75X8?m -T3_w'4p\T?jU:/oxy/<Y')r@ mVUX!y}ضop\!+ qdncjrOJ)}SfR^ߵdZ 6fb9_aǶפPFb1UxcfPl#|iCƥT`u ;ْZH#/ h!Ÿ膋 gLGQ(v͞4)qv^<V ]VK%YC:tCΔgO9B45)t` [ ]@SӪ2MZ$r*{0!d0#f`w /Uɒך"v=T{2up+=eI+Jt S-x{`A0+Y&-h̆bgOF_yiJS˅Q+zDI^ın@!X[- |_P ܕ`-++Фg LgQR e5+P ~I^^6w\m^n\mi`NJAO#V5x+ݽht:u C 0? 3ݛ@0M/G_082]Iz-;vu-/pyNz3nZmǘ~q:웰<7#3ӱj; =rsm/uF-]DcD֕.Y#̲>*{ع*u\1LpLOl:s{>⋄H}y-Kg* HR݂ |cYӶvËeqN6c~R R{G^LD Ѧz`vݦ?%S4}`HsI9n M$_^kd3*4-Y . &$,Rݧ(& !A-?-,s5b_sc9=iF6Vi1}O'7^Мy%!)FAOc%#Umq2x~YLHo>9g)xPH0 HҪy @3{ :ketX+J^ HH͞^U{` _M.%>1Ϊuαe+=s<1OF̣#{1Eټ $)],0ܺ~~V. ',ùCdnöM,b;Ot-x M%iı5Gm#A zGFx \}6uȣȗ=" ZI\\QQJ,rjy&'5:ӉL!A4=m@@ujLfc8|e(hW`IQ7+]5+SO SG鳼bG =;pl j3zؙ ڟF/r 8-"JP81G9%.jܿ?$޵*OaC֧r@ Mhf_D!4QPX֓`pC8Fhea[iWJYQV(Tj{ W9Y" {{D_!pԫZ᪾͉#(A8JmX&2.~caqSu$3ߛKw+W6nU|CӲ^6.joxբJNqЇ\ y5,^o<Y:D`<7?/ʟI6ȢߍDyS9B%;Gm 8'iXZ7\Z瑃xlԦeɟK:8akAzSG9ހ<]FzEVScfO<i [x,; 'wpc[] ە?:okQvZOsd:3Ѿêh}ti詆$Iu! ~`nZF tf[%\"צ9t?V(!KXO[@C6aQv_C3S:bBh(Ccr-9o g z {_Z$JuWȜLf W@IC(hujUT0!a'kBЬKUᯬ]V˕ς>u>HU.+WhMD<&Tq IN&Q% "z!$RDYp7 &% a3XYTx7`50K#\_-;L+s4RЦ95TTe]mLøe؆hIRRzEc7 8E4߭>X-|<_7˰z/)_>{pGl8I ؋\2=놾b=Z%hMtikr@1 "gItdzsà z;,3'>`hwj]BJM"!\74!1"$IWT (y Qaj"2y *O*qXsMF.9s¤Q}\GרL#W,ɲ 㜳RE靪̿>o.:Vв:s2v*d9Se>4v%2^⤚ z/R@F}H[<Er. u omNn"T'x8ﰗM{F5Qv ;+e#R5UBZfrV_q+6;.2E[lR=4WW6ImS|ֹHyD,9uGw~2()ghͅ؋07ƐѤ0>k@TPf䅒Np h+5l%[vch7\K|wI8oZ(vu-Ǵ]ǝ-jsWIևkl,"kDrZp:|9.03Jx)2_+JЗ,XC4US!89m&}- HnqUe-FIO?daJn\~MKY0Bj(0:쯸{Qj^Lⁱ=Ok.2_ϒX^ ϡ+}{e#ݳnʑf|lU>~dyVz OO; +M{:&R >ezӔHbU `K囮bJN9rx%|-&)N8GP ) Xt> DHzx g0І8$| ڡ&CGwRU,H [tҰpÙ9!m"MRR*la)z)nk5o5F,b:[lWn H͈s8 ]-'''>HTŃf k/8t%8|\ Xe:],((׫EൔjSk밝OVGjtTM40i!%T~^'K}i-; s%gpq%uEyuozqUBJ"IFx`w<?82Oo6.9MQaR,椰f(Nnՠ//FtD&3]S.6 : e~}7bPR/R"sN‛)dbZ4Ht7 6D.d'Oߎ/ޣ wwr0QzH ]Å&6̺ʆ6o>~OY@)oCᵽ@T ]!4|Vĉc~rR7s-x"Ӟ5ll'n-\"J?CE2 ?(`OFfl2EEo0<؀ξz jTJ ٺB'Xd[&~z|;̐$ݘ p/E^?J`e~$4G>ޟ,Ev&H YcX (L.BEI'ɯBq,ƒOw9Z˜31>~'_ _PUm{7,fSHZHw&#Y-l &x$fu{VENw~ [o ŭ@+wh_d:㸋AsG`V<ͨ~ݜƫ?<נo7X̰mx. V\` zAa EPĚ5?no kHj9ݢw`J >e(Q##hҁD iNN~Olb9މ!ve Ae+\XK w@::rjs3j 15RvFc)Nj Ĩ+aٰjq֢;/U- zp8,(}b[#\T<`iy 4(WtxV^ϾPaM1#HN=,yAT\;yyVx Җ:2wH٠4uDm&FxR.!ˋ(ֻ{oՠ5\D*&Χ3Tu8ṵ qG}wZ*9(^хs )]HX!RkHOB *8^'L} H;ʄ>П*:\vj6_Ke U|pBW,΍xq9p0#jk]f{:x,xn5iRmi;n/CWU[׵*37$k wDB_ukp.)#BM܀3qFZESeR%@n Sh/ ]N, DeŎ t8J.^OQ#l%O+go DZE/ ]hg!UTSWtھ\˖}JHd˕+Z;Vb3*z{u996 ݹ'f56`>m^Ag rQK]>_+1AVy)?T| ?e:‰veXGhHf2̓f:w5qjI7pmLm W%9uϡ~OJlN-bbd<+jyc?8QejтF"wu+ҏN 3X7| c~tdȎD.ܳV^S +M17ueZyW)MZynD:wP8y(Yy+ bS9POFxPKokH}r3༺9ygNS6S$d :pX['ȖrfK I1!+,/ u'I?Vn^%] - qq7rcC 5I ϻ% kD6dxA>ݛjzQn~X)X|M܅Rx9`m؀h^^{k<5DM`tHʺ}z.[]_"W&Cq!RC1ۘӘM(*:45v1M=/ EVzmVeFTFh6nϵ_)<ۜ+ ;)A0EIí *Iw ~*dwh&t&)tQ%q.t] yiā^/\aH>fǜ7;"I|;<-JO,f,]rw. ~yC=MԳK᣷?+)W*c7z_Kł9_`< "aPOL,̝.= "(k;Z`u%d^dALz¤).Z*A<*vІo-Dk} UmEBJA*ynYΫvj#PKqmA,,n2KT Y5Ioʪv;$r[ lawLE3~}|rp )HBk,AuIӇBjDsn=Ҝb=e[XVwnP׶K!MpJ)=+:SV{:2a"ek'KGׯt+\淜1&/A/&m*=y.<e@zഉlqk0 fS:5.%Φ&@ڵ&G+N߬Xdc"7k2eoTy|K8LBh(_֞ۅ)i[*t)OTRo1D?Vˏ)]IJ`uЫ{ &3 Lb~iK0Ie 0L&ߗvlSƧt&o?R ]㡓!e|J/R!X@o=d 2è#,ކNNYcHvyF?"ly L&vdhG[u]w$3)3*Oz4g5!x|Yn^,f`">ppچ#%!]ۼKP%t0.%$a3IAaiImu "kT-R(h"fd1S UWɿ:?L# u7 /1cxԜZyʿrF){~'{<|PvBgQ?RYIюZ]>;"#۳,?$tgg#SwtJP! y?>)=>B>^gz,=\q:^ nN&=da\k8Uպze5sWtt` &Nwx_~JYj g8" ϴbv/!0i,"Uq2{YƉGe}wSw 9㢌`B5m`|㸪mۦ>DS4ZV}W wP$[j'I.}vtMqƎ2^ (ٕ-x/$!mɖ;dw'H(it>J뀀L5ȩx6s/+Y3W (ֻ'hj3 'GNieD8?=JɊѥ-LO䳑Ч{*oPsKH&EBt)]-5լ譖{څ/8GMC<'|X#w|R1cN;IM}`NDô#D_=^^ L`#-jZd 2^e2D6#u6'՛]~ڑT9,R2R EA^<4a"c_@l30v(JoףhTF~dVn/'ù&񆾻Cx^3WPV;?VF煚tQ7GX5~97Pzl{{X~eK@;P= umpv 2^PZ{T aٰ򇡫7ѪD\FoV(Ju>#I;[Up6i?3z1 P_8bQ{%.f8C0b޾̽ q#8T L;߯Jƌ\"=@/\phqipE wʀU.y"s0G FTB~sb6jjA5b'Ic./oeV!>/g/;` lCcf\:߼SI O#yE;]%h$Ø1f eSi#;)n#Olj55N;Z~3Xڶ!'s_HI&~ |Q%^q%a$Lvb (5KeP`%h b@e t&7/[8A8Fl%R"ХǍ*^1d۟Uَ[| 9>dž1r0W,_^N6VN3+E#XJfj!HP5փv!DMdznqk'#WaK_NFd ާM0("*q/9\p:-!&AKNU .צh8ݹ0c)y7cAb-Ӫ9'T5f [e$y <ԡs"wUUA?/m\Zu3ۻ=X/ HpsȫS$9 @$jYB:7:aK/<7C$˚G }\f_xeHpzCQ} waZrS)EDqaNغ! ^tIy9K!c[0/// )C 5xɷbSJVXe1zԀv~3\MܜZz -~$DCh ΍D13ow\yU?+V|8>꽾^*ycpa#.aѮMF7+X$Iy$ 'O`ncBXaܙ/ۇQgoQ%vܿ1ZYK 7xmhV tz0+4V›`SBZ?LEz~* 'EogMW]D 8T w4w#W݃>WY)aȕ9k[bom,'Ă~5v/$u(1Bt(/̭!lYp ׫0ޑ%TU=g., *O`X@ep6ee m GK)OUcF0nE_.{J` A%^9!YO jmiܡ'3jEU)A.rT3~Vh^N,gi9UMȍ́B*Ys^$CvzfɃ;oREӌ1Meи6 F,՛? 4۬XJTѲKob`M)+R6K;}Q^*@&('EY li;`x!hJ%} k?KUQ)(o"p䧗UTcPgϕڛn,O@V6pvsIB ; ?_^ccH4ڟPچw\@/ "3WtIa!#}XCU+ :*Oxɷ7oF O6jNib>AØ/bZckV@OA/벚㔛:N[mgKw!01ANUe0 I}R:AEQ ;Tj]rl||tWTxtx0&+gSTRߠ_e=z1lSE5xqdjhNq' 1ҍ d%*+c}afQV0_ &\NmӛM\HpoS[P>%I'eKz z+ȋ$/XdI>_P#!Ku&T%`:'Z">OOC >dAh^Ft)qٙT"y8ۨqḴmMh+)siWOO|bZ;JP,XeyQvƶϼqV>ڔgaE=R=7P+/g3uez .8į}%@{LWf=iECnrB8{"lktۭmvĪ:Lz!mxݻd L6qG[Ɋ]5%c4 i:cG!MjS:5ԿxD"JRB t _yL|sWِrT>;+gk5Wb^VQBF4;]/dAjcĵʯAy ѡRu| NR Cm):;)Ӫ;5l9uw0D8 ]_kdGU_jP(JҊA]RMbt{N;шND3u P"sfU-z/P`ᐱ#K*j́;/xnY 2 e'J{t5XhިKp?L}k~JoL,!O8*K "Nׁ6|E7\ʉ %5`GiO8<d#o-rQ$&۽ް0fC+k\ Λ!mzA{:TS}ږ)6~+%9՘;%&+:*VjOtܐ M$P~ˉY+\r,9`-dO -)o 3{Zp)֜' T= c2~M *GhJ#c ETΣuj0; }BcHVRg`0L9yn+$g[qd_0w.k,]':woDo5[_ ԣ2?FnXv1zA8f*SdQqbLd&]+RX ~ :_ǹ8.S%"x[Gej]Pf)#BqAӼMS~vW`d71J8|Èm3!axtc0P\Re>Um_;4-GJ[; x' FlG$`/oˮpVeæPIJ*UWX;4x(\vawKoeH27p円Y K E}ʭF/q@6nwhEG;'!']pRT JB?9P=Z|5_ȏln4(]-3W9*l̓Gq'pKHl z)x"ڮH=̏SF.osi\zZ!'yYi`5I\^ Y@uX-`KxBhScb7A f7HZP%gҙY ABZFgWn_ %M1\@ϻ%QhgrƖguE@&/@G|iBCcȫJ+f[ZbJfe1|znZ-"pJڶwF \o4PEE ͕*:-jOT8V\o'HVF Є ̔uܧQꠧ_9 $xԱwxv fWCo8EAQU5Y/ hZ~aRGv%zE k\<Nf=1 c>+٫2N€:4]h43qf}6jQ=ںGթ{M>y)b{~MˍXh Ekϛ€'ܝiM bS"rfK(ќ{Qkd.K? ƻb6>USP|C[ޓϝGQg ϚN(^#Ҩ*{ڝaѦz-Dv.i1)V ~IPQZ]]' vir{O2l xn NDXwA]H 6H] 33dvO7ײb=@H}Аbpo9Kp*Up*HӖ)\MGWL bFW~ Z_qQא}C \TODa: :ArVmϝZoċIN;arبҞP[3N9 0MoJ֚ND_-qȢ-mnAݩ&(9L2{M6( S.cv8U|Q,5/Bm ]ׅ)M)IŽ~߉:z/!;$$DzwO0 ZguoB WFZ٤gpH/Un1ڋ^BXya09pdB &竨6Ke]f"G{pg!U'D;Zƴֳ=ۇW^/ +t(wHfEj23{o^ sF_<7!a kD,FHR-8é &iHd]sAJ~rI M)aGyu_ SY [$->[Q6uH[v!} HEba=mja` n̎tGׯY cJ.i}\&5"6D! :{"6y2o^P%v8\̊@Kj3 ߛ֭uo)pYE(;byּZ 5)@9l)wA,ImTAЀV #nfv{]Ї&ł3 /P>Ң0+S8}!X^y+O) o6s /Ik7bj=>#w>MKtf8tcS) jS#S^3c>cFz@*$2|pc㣦=|LLd^Gt,+J6ѥqg9Fx{65?zrOݭ:`)ev#1UfH.cń0:!kح[.hwie 8IЌ1D+A >'mlu^PHRE|i@?ϣ/]*sJ}ս^DSKC -hF3bccw%LAZF%:Ww7D 8_=y 5>tN8J4bf88Ȭk8UIaÙp̷y7˛:Ey.!@B5q5C/!pgy^b ?OKO?es¥Ӫٍ|BЈcb=ؤ3Pf#*>>* ˮ1>$n&L`bƕδ_'ڟ)!,O2MfuٙfNuȿWMSLd,ZbJj~r1wf#}*?KH+U$&OKC};fjsLy?Z4\3)z-e@3ajz=}Tw:QpS뤭*B)_9-r29S%^ՋgD[ Nq52p,h|@df8xg9BJ[y*~&ߞsjp=<( e s)!Zk?gg*hE 5гa%[ ݦS.ȃ_PNp"9n BHhAwBu 3<)Cq~n7)G=tIࣙ8#x.4JV#C{g9]~ɇU=u(vl&>u`]/AQx(0YτpՇV^ 4-saC%)u싎AuXg8PԆu "Po3ԓu 'KoFyFԬI/[W ̠ue 6sA52O9 in" ObXǥ*ͅi:wN>a4Hj'ƦY{ӝ bT1Q XQ﨏LzZ~QV4H$ YPlN8:F=vQMɬ,s<&cU s3}!kQ:q>Jv? p| TGq;U=۷1UE';">CW miU(dZlF1LU -} eQ #q ha>dQ.'!75_ej vw2*P4cM [!~KYbϐ'lMA0hJhu:une&oeg^ M'd7zQ-'UC7p=*@lL%>M~$9JF5n&l}~qh a'_v!X|!y\# 0FfT+%]5~Y?/*&+(Cn0GpmEi>Az*-5;uT#')Dg$ Օ3"4Hr-ƵA[1F q&34̪?=_l˩ǻCfBky+cqV`)ˠjbjrPu|(o"sUk<ثƣ@P:e>ENe8뙊li_ %Vw)Ԡ跒-yeS6#;jο#  dtA {,: WnI \4|ZTF WuxQ8 lKzR і$?t)Mp:!38%F|AsJ1˥Lj^ȥngƅ^+>v -_+0=xǃ[5LaʹVK"*T]vZ#43Bc@6hLvK]NkToɦM2O5Vr dՠ!J,3Yʩ7zksk9),\nٿ{NYuS8-@ک Z<ۥ2Q }e>xHfJ3眚ئNB\𸱸 od D(Hw~5;pl!\_|dH4#+1 ctUga/VC`6?bdpR [rFs5# PKeu)25T^|y>:[ǡ^ݞ&JċnPȷe,FMPbOa 'Ccל;Qą}z9*nWģ~|:AiՏrH)/9Shm^a{ .^Κf/`*Jvr%zY,C+h 'e>HdF-iO4I>lKyI 윌7Hmw!˽HjQA~a B6;ta"~:K#*/% >ah鈅= }ť<66D~cPۇXE?% w{զ @|.uPd]QTe"ʎ"S*" 9V0B$NO[?WȆ[: cV#DC8 (Y*"Ëf\~ ;\ .ľBf?\}|$Jr7WP)Bp!V:΀Jc_tnԍVcSQ v\IX7d μ2Ϳ]m`ˏő<sA<12u]{=Nbl[x^t~S6}e)(n0/ח1dڃԽbOT'.2%еV|=Տ1\;^~bN洲55߉(5kK0J5~ <L= DhlERvNc!|'Q0e=y'KO`\@mL;9mdr9?}1NJrZ; ꘝn"7Y% \zK1;CpΉu!FuD'-ȟF vg*Ғ48e\_|8 ¤-׵j*?f|/?X׫Ѭ}^R pO_tƹ 6.A4!LL?~"8}!6ulLJh8v-㌤ySV3挅O6F\Dc)Aa*%p6Wm ˙CYnID06r{sGsz4j'=Ȱ3oY!0#jLQהCFh8 } WP׫֥Qk1O󬔛K%^S;Aɂb°W" e Pxi52\OIo\\: /!^~~ &-CWĵ"(UPF|[:K}.^09&TGu|e4_j.9N@Š b ΂VtM l4%KZ+q4"AEzk/m߶; 3ht|N*NJNW];(䎙;bźڶ5l*]+9 M0T HWdWPU@n ̓ op2 >jAWEF-P[MEVk$PT‰@6M,iY "ɠ VEb0`Qli&}yWSş杻?ywB{xKiu?s daT [$qv.(ei/zwFw5LuaJ8[<%.j7g^O-KH`KI߽r[bua!W%,cɪϨWU>~L PrveOt~J[Sq10E~c@(&5B3ZCR:uZ'Wes=jE%KopYp7 frrMōa PׯF%ĕ!A.8pST%UD}Syl5zd;fbqܠgR6TxGãXy~T9>V#W_ ȏYn Kř IX_ 5~Q0lN?wĉZAdOX a&.=LڣNDUxwkZړe/,#! 6@ceԎȍhLŵV/@O(v8Mh0/g)|! JcAI.޾>K_&9D={'.XShXX㸔Di3&TA`屗IC'ɹ?O|r.=s ^rg:X2;fUV8Ic0a82fS2~< †Q5.#"0΋ h<jVz"F,ȯyHORWBZVq-]V;z%mL |nˊw`hՍe>&`˟P\ʗxO_KL_O zxAluUTD-ro.MG$)[̭ɳޠf4c}Lz[[k맅a5ǔU}+ĺezN&żd7x)5#^ )p07vE#9&'17C4o!l~^x~[짘7auu6eNЯ~Zư$Խx0LXZ9ؓ#,^P冒f3-{|51jN"Ky g]-YaUO%AGz4i2wy, Gʼn@K>SeГF:j_zU@aM(q)B=G{# ߑ\H:RkQ:xJ#wH^X]QCMG &#%;Sĵ,KOG_7^yIPI# }An\Z[GrPg՘Iy/_c4VnfոH㌹55b(1hJH 4ڱV:Aaa~K{,\Ƽ/{裮tSiC3Rz=-֙QZV%@B2y|/8 4fJGY4֍C$EZ{VZ8Տ(3OQá#v 7 LrV (3s6qȻ1@K*-F\02iSLg0.!u,4Nh Z:& %;t" aEZJd0qM1LPPb*lh}n%kΜc V|i=xjFt =Ux Mz<{NؙE@Z&H>5qfPcb I|kwY߃qFB;C ]6[%=4/>LϿwU"p-?'' _0p\$`3m42H"B+_eH1ͣNӇ[U؈ siAQًrcf9^]hwU?3-QغD)fF.p 2sq,'N h.?J/.>-$ɏ[ *ζss2"fzj8KQT;40|>'NXi/n}Jɭ4ni _# >3ncΙ(0 qр~Nv_=ٵrfD!19.nC4~$61PN&;ںLѦ.{>ly$ V@>9rvxMI">z3kpی&Kwqy8ߙ7MQ+聀wAv$7vK HH,[0K7(a. c@iGt^&kr< =O9` g wRƙȕIhFϬ]I{U&6L k,&ذc6WI.8M|q "(9}Iݘfdjjemli;Zs7[Bmz/;Z}e~/N(^ Y_^tPmT1' _<W|٩6,V+%IPrgqvZ;6#$|r/Y\^V%KؼDȋ' KkR %Ͻf.hpj4| LԆ*.΂dbWg: 7urV@=Yt3N Lq'MXAe3 P z`<;qW9䀛}Sέ;;'c< _9tLYxm7 )y pQK I4k2"cRc|O>+?jwOi ,|S aeX') ~:mW6[V09c#v/< :{$jร)5TWk_}PwƗz7Qd%%NahfV?#c!ԪJlTqš225L_37dn4*7L,@,9}Io%t$NOl)=8~%]RШÙo:h 5zhmF@ZV~,n&%V{"*P*6滈$&ЎzS&8ԉxF=v r/ OyWy[( 1C,=LDЁ 0ǾN|̴$&`R/ q8^?@!w( On/H\'OѷEr{[o5U.DRŐI\ՠj2Vܹ]t^\7Mx";J8*8w冽7$_,')Ұ H; f૔T2L[;5Д9C[> HٝD 22G@^6RC3Ow0sb ƠwgO)ε,.Y d{3փ;~t:]O 7bTuBM딻rR?.|j1+dˬNꂿ>cQqRY@qhL>S-x|F*22+s NS;Ϗcrb`0/*c\T* yMa9HڪY&b`{h8ί~|oTYLѶSDNNt6X4tdYj G 8VfstmsEJs*Ũ;ЉoMaZݗY:IZtisd:~D`;}1,v%f3AAT {nw`]BvCyċ7hdSw-ث*!Kw9:zUf%h=&6$junM;v 䓳{PĆU.+>"Nh;ɳJ-.51l٩5)22Qeb?ߤ*9p1~$xbA؅Fxd2sq*?W)%Ң|:D|as]w^i%߉sY%%)"f'?\q|F rL{ITŘ )Nznz?% usL-ሄ6bOg47_K$x/J mEs=5ŝدݫ\/; egOpvK  =k{#DKyA{ؐ_O6fs4<՗'ѐhUePS>!M[Wtdud7 Yf'݃]IWSd\ gT:-t1wsiJs4g6]T.Yj*5g̈́%uթa֍B:w_œDG7W/X  gi&&&)Z gUQp^~_@{>ɜ{L=ؿAjxUt)!ϮXkL5 Jq; Pt ŧTXzn@<$1E*yC{v٧A)O;$c#ٍ9Gvβ"' d6+¬q/t<] x,taG3eo`. Pȼ=YRKC CΩNmB hYj_3싷XTK͗1CD`\R%{*ɥK0"=$d x!R{J k︚G 6Κ XAfil-{H7c!Kք,2rCf םoV=<4.\u)Re6ѝ&LOĵKUa % OwkyӮsDDʋÌI{s⏒f&A00>t_~FrR?3 ֖ͅNws;yؿ-0X"0u,BCV t?B%ɖo:e. !mN;P Zdd8~rЈqep~o/40P ~U6#YI—O.`s 9h!N:0p#|d#-7ZR_cATSFV_Nwix5wwj2cHIy\w|z4\N$Yt [R?R/