SQLite format 3@  .;  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 ?=|D< ] HOL-Quickcheck_Benchmark:threads=6elapsed=288.304cpu=1378.140gc=60.9327zXZִF! }n Z]ŗXiɟH)0%o"7XgcRtun+[@3P9Ɩ9>j7%˅w>Q. b(?Jw[ZĨW6;c,S^+Ĥ=.K;M:o;(,ߦ5duG__L  M.{ӝn$E fKEi"T ".j/_߬L>Rg憚@Z"][VsN = HOL-Quickcheck_Benchmark  V_g_Uɬ.x%=jò[pK{бR"v 17~֋fpȁȤ"Y6;`{$c3e1bV6bЕCЛ]R~>K^*i~TNY|˕µApAS_ @Ċlڰ_%GGO$:1fv@Ы&;$ $ފ77 1B9ty`I ]F|hfjHYM1D#aA &J)~`L Y 4MP】O%ٵ‚tqOVOu4M `|&LߛURc"X caWDQ"B6msf~f>n[<)E(ɛ A^m),w6A~tPCG5R63zJRr;)'aJa,܈NǸ%8[q 򢺚;I0u/_~0E~*>3ge3V!ɸ6WQ%P[jS'|ܰL'ߗ%$J(]ygmt܂ :Xpˇ1Nћ|&23D,["7рCI|fl?SIT)\b^[ԺRQ'_N`I%Յ w?\?o!gYZ7zXZִF! /]ŗXiɟ1SeNk: ^7=Lb~CML /]@ج0.vB}?3 Csf)$_Sl6JЌMPeS.(o$ 8ԭ}|œ #V@~sodPqW+UƸ `\d,F1.rtgYZ7zXZִF! '_c]ŗXi%L&ör%9AقC}J(|dO<_wO;]^8Oݲ@"aK)絝l`iSIIn\4\^GkPx[Ei).앜쾃I'A_IY*yĈ7LV5H$9BR˧A{ƾ"NIvzK&|Pa> /OW5OyH5$&OQy@rFl.6jxy̷qTѲ*on7LDR̅:_<={KU5ZJsqZŔS'D0pU5|& ;﵉m,m,:ȸ`cw2 G6bzLO1e f QEIV1󀜼$sqvhUgΟ]/5kjLv *$kV_H/"ᾐiRշf&7[Y1\_4#:/@e:e쓯%-\$=93!lkO7`{ f*ƌ]D %jBcÝBNwHyki'ϲ#F],1U* ۅV(DÇnuXs b#dqwIKԹ=sA%xnNGέwG;K~jH3ORs悳1BrlkN|O7*&4u!WW)M德RsE@ :j(<#B$'` jl&BӘy#le`ADa#eϖ@ uC$SŤ8-!(- .,y)a(A@LnPe< ys-}+/Y/:Qe.t5cJJAUGlZر?CRO >S# Ga!.Ӳ95]*dNd V^aE!ȮNqva+b"`]ޒONHKVZ(vyqYAv:CiyfYP|j*O6+&|)!F^#T!WW[{J [bMtT\ոSzkћY* 6m<œ<]/T!pb7c& aBmz {9+^ShQսgӺKT!İog7zb5a%n͒)Oޞk$#!Cf nDzvN`\թ -`&QjeND_ x7QRzt=7M4`t2z2^İ+'(:Ǹ%U1+f`Y.#B^ sFYW@!h^Yrc(U0kI=Ys@,6'쁪x}0_ p:94 הWj xWqvZƈaJ8 Bhȁqk>dI,Y?X'ųcSn@Z8 "!&Av57Xq[TW-[e+})EqYn)NVF_Rm8 z$̺GDBfV.qL'WC+BD5=Qkm4?G,VO^y`b)Gr``NlN ˓|ӷٿфELLSWֻytl.}RĢu5&"kFzςiCLкTOl*E-]?3^< G^SJRBq}UPjFOڌyndhlo'1pGc5 QDaV﷉d:`pF"l-j _at$8K}<F,AjCkAPPܺvU$0 ܾ; ȫS*eHy==CrvQuhXB !dn_g0bL4Wa,+Gu~un '[1CCdzc<"Vm׾:5Z}/v؄~yM^, RRv6& *ѼlH6]AV߫8"[WI , WD;w>3ImT0:058b/ސIh,e~XӆɂD先;h_+0Td#id?"\(#LYdRR[#ѹ`ՎU ҙ2T2Z*thWE}5fʷҰ狛(IӺ'$=Ʀ}F%궼ވ]@@b~U`{k^A{G / 'vx3rY'6ntb cX 3Cyo"ݞJkY#0 P`X ^DVIyͷw[8u QQ GʋšOT^L黠H'&܊*c)歄#`ATC^>[z'Y$$kt%ڑ fjQ-pGM{c߇|<2VCYDK@'"޳T%->0dpy!翜3ܘ ]ZX]K?*yN9F姴- @oHsP.IeFT81zECH)K^0l{m= ^27{j:M 0ؕ|;W;wp,kT\ҾO\#%Ё{䭮Z[ i?ڨB8pjN*|l$Wߪ@ tAҝuzG|.ah/'oM݆@(PbK!|./pVdXQ%Ř3$dNb#ޅz f6嬷'@{d5"Gg]xyF* 旔^0HjGUxyC~Ugb/ĩ+y[5]oٷpY{ۯxCj5iEY^T)!=t؈]q~U¹q9\N] uve92%ǎ'k)^Lu1 #mi ڷ>yS ր]c'+ 뻵ݢ!Ŗ6-Dsmm:50ujӤWf9!kȬ|!VpwKq Y(03W-vZ_x"l. z|ݬDFrn)6 Ϲ%Nn?A.w o5Գ 0kw@<\ͼ&Q~ eF37D.c(NJP--Nt;a'1iVBG!&lT'fj!|YmX6ޜ]KJvY:B<`#Qey CCl:u_ w3bZTn J,#3Nۇ^S),1Ј[sto*%U" q0%]vkLWD& v9(#ޟ- L^)tsM8}g~y.3WUOwLlbIs ,t/+j i HP㶤r~Ƒ[2cY6nG rŀ¡v+37l|](5d<(Ĕ :+sŰyNۜE7Y,ihi ײ5* ]M}TUՒT#~7&g-V$(bv&0%wR`w4TǺ|U 6˽HBgkԄJ:!-k}^U+MXYze+ו(Mim,Ru/7t7n<(#י0JpD}Ly= Yxzc+U0 &IV߬xΕxr6'8QQD`-,)/Q?ßXi:t$wjvWX';y`!^gS^"kbYtu30gZGA*w6VO. pY璹lMB)=P^c62̿yM=Ȋ~L0]ttm|9 s߱;Z٫<[[Zecoi>w?G 1qƲ{sl[dN2=О2+w20˖*fHvDN NH$QC};ߕ \&r^K7vCi"t۷硹l|U/ '_|Uݎ]3lP1uiJY1:@gAZ?`[Ewڮ!O*:هJzYj">4a~>,2n#@2Uc5]_ogR4;.n:17 WIbEKHJ !oz, >:-o^z$J+`bj޻͙ΥRf14kH-F ZI iG9`ހ11ilwצb i$fY ф A626+ -SxL*^WQNBuM!wP=Ek;hEI,RT0#ad*t-M|Q[ۜrsf,{;!0NRvNL qcW]qLTW3ܔ3EoaOҡ*g)n'@os(òx Mp}L irZjv`hC?&9_KUcˠi4eWN:(]]f @Sz(IȻe4t'v!ԷWHvϾsxhIDXؽ|؊[n7'؍p:sR/e޵*bim\H4ϓTS#x̬FB;~Ɍg'aPmf+ zވfЙiy=6LRC&Bm.(lhs! Bͬ4"E ^_mYbdPqd,qSiy%}[NK>#;Z^yi$ic7h2C*BuKʭ}PpbsIQO9g'u^q?AJ+kIV m>Lϳ|{Ek%b#|52FD'M7e'"Lvj׹[[Uj*${a$ Y10|ӥSMr.~ 5;_H5m!$kmrXׅz ?EwDL҅smiTNJYlg, E:CwB#r7EQ/%J ^Cx{hI4Lf!oV{q{G#>4vΛT[XvYL¬6tkzUʢ00;L<حC ,?d׌Sٟ>4 /]}N1gd`TIGm" WRA|; iy>P͊4guC@$pC<)c 9O琺MJ}cuzO,xy*+*&c m+a0a"s4o ~+Q.c`T4/Ѭ2mިZNYpa,[e@AB7o*OO}ۭN>HSMhdKƝ"5ntT Ze0l8.ey&"N@A*sFnPЍ]o GͥjQ.ZMd bꕨC;je {R٫lsaq[3e1Ơ +0.t-c&TRm0&F[t 1I zzR97Q&#yv`-Ie8(B1"\)2NYҺr|7ԀO4hJdFgZEd m=)#A2Op@LrQFyk\VaINI#p+p玧Z:t<(1]ʫٔEȒsu@>SJU.4^š&oѫ"ޱᡩ&'pT7]aX*1a|cߑe5$`QnVN! ^qT}jؼoQj 6TO&VMM>e]E-;c.u THԀLP􌳕R/zx ϋ536{s/IF2Nx,;HZ+9\)FP~PZDoNed':ܳu[*\40 Ye 90B47rUtCAUg5+bY(ԬFHF~_8^*3('@9jɹ }hoGHk0-SOy[cO5.,#'ј8*%3AϱA{IkHjq9 TYPp#3>,.z|XIIM PIٯE{ q__sh<񋰼B(y-D %g5 TV}+~ք s2x1d?[Gb("bi;/F&`| ThYI&~kiO 2 q q> 8HƧ..B}X_zVXJl2Қdl^z\q2Y |Y؎SE*9*X! |bgOܵym2?N +5U1S 'XG'jڰ q͊<_#l(5^CGnI3]OJnCi ȕExDVNu  (T }DaȻl^E"KGć2VOwUvm5?w~sZa9$lEژU E'蕟U?c2K LLvݩ_3CyX:h@2lq^V&!r84hGɳ|zϾc1 raꪁK eo%D( Sf1<-NpdZv/`sU-av5oI\`mqc+٢ jM 'D8IX;5Z6Bvd[H`{䁜TTk p&+~~X7jwj2s;E tU)zH"Lj8qK#+5 NƟDRlB\^͋ŹH!8~7(rJRNu]owa~Wu xƗL [}EWEgЬpe3-(,ƦP1#)5)K.m'>7DJ| sfzc=dRiۇNM%7Ij, Ԣ83i>?Ā[%Rj\K` |1ΙJ-(6,i_\+X4J]v0]ҭda8:#90+t!qs B'UǬPl]`+IOP/ ]_GRG'tU8i~o f -3 Ʃh9-OА}VO|]}tժ[YmR Y%21lj/҂m4'[sƚd&#VB XN6#dڤQ"< ¥,d=±=r3Vt3%Y|)rsD/ ۅ-jV^ZA4(x4YOϕ \ ],1Sg1;݉<: KPMGlZϓӢD ;TȸkJ+pM뽞sM8 zK:: >?͌ F s?.\p7ߓP*.ΐxDpoȣ"zP,xTfMrhk7핌#7/0j8J8<03/fI؍}|Jt נ?!Q<Q(FhKG҄$PZnF8>Yj 858l0t+'2}E1ilS 0QEE4KiA` {YE7C-Lt!EW*<zY-'A6! *[NUb4:--b:&RKYR& KrŨ;3bA#=Şh)VR33yVrL 1-\H afyHRaO 6W;[iuşLq]'^̳usKՎB&v"Iܹ R *Gl3T؆~IŒ@t+j`w4XTWardXS˓5潱 ӿ9I`qss˨{r6 7Na=n ڞߙ!=f}E𪒾;O1l``Z^^ܖlo2T*hfVъME}Q5k80VHPHM,ؾB1ZYKH:ǗL`ziuZQL%̬$VN

0.vm3>af1G¨d@'f("URg=$]⼟}tG-0s&]+/{(󊙓'/?D-Xlȯ9Pl6STN7DܝDcRUZ,;O6<7.ۦʳ xkۈWQW+Ix-2n8~V18Dv%n}D afF ׮msBc GZIٹŘ@1Uy_J?H/y /."`D!>'?:@ <.`o 'eպ6Js񲢐{,f1k~gV @vO QSP7I1>֗sNu_|B+ZDSUQ{!C+SAqvd9sm Y` diQnTS mSGedq! XV',M8bCjk"aF0C:3K$u-F5&ӐUJȴ^ĩhzE#xK@AI74(ݨv g%{AH (#N?*O)2~5 wp㦱]2J(̀Z,}E-TS%j`-Mcҵ9W3r PL1qP;zFur'O fBO {zQ}IōBaVp7 q~VFC.0qGCf +)?ZHبdp_/e\OIe |x(S{U*#\k?9QGWU.aTJ)]0N=бuSumF?ejGS`2O^A3:d 5ђoMb&Zs<`1JVL?GkQآ(An{O:1I-lhMWыX/gnŤ"qg *t27!W;U; Qt0]Z?7wwM Y*<̺{ %"߈܇>A0ɾЕI3X/|R I!sMF Jג!3R._AnԒr.,1ޗuPh; \ MqnxJU5ncwY.t8 , ۃ=n8x Xt~O} ֜DM. >I^E)YMw=!|xVudl%P)Zy9IJ+8e F~KՅ.d7Dkf`r_ ,!ojvFX=ZxB 1y`l=]y7scVڎ;3y 74]TtbkP$Mm_o3/Қ9{gBKg@ xUwA{Q4%JT[CNV׵NzՋގ  4ӗǛAd|y `|6 P/i{OC#*EqqSPsr)YCﮕeXf]>AS;Yf2ԺHl29E5zI.߇!izbQqcۦec&?c&erg |ZӦU}+TGP)8s/dw6FT6X=;~<|>E .Rv v r:4f38Z}?LA<87hktɃ侒pBU؃u<ڞ-S)r7,#}q ՚כ&!T=MCLZO9aݤ)=9ie{%sBz5?;B.v0p n/%6SYxX.:}eTB_)J)ƣ/ygoq,t+A OlX%$ոO//jJIc#UW4#M1b~m/M{-F2?[&F]?lx!فZې)8KmD4 F@ ӿtس݆`qIv~[Le[0~&*'UVK [AM~F\ݕ$c _+Ra",I'6< <&Л(dn'ٟ.f&ԾnxCCY۸k@`Mʶ;mFr|N,݃E5U=ً$v6As(+"؉XۂjI0,؜mE#v+71ڨprUPo0FS* zT>*uW(y-\[@jmN bmj"G"Ẓ̌n(/Qf^%_78DJ' o(&,U6+֜;.JpntfR'+F b&ݗƖKRړĕrg$R*ؐL򐃣ku8h>Ίiԯ (*Vp Adu~_# bL\98/@I$'aN* E! #Xc Ҧβ3 "FV/5$1n~: 1M2%AJ*C2Ɲ} vt@q 94to9.t o_KI``^%-q|vdܘ!P9=!0P>ߠmi4.r?I ^uэ=e0kg|͸w^[NǺ|l) 4hMІKNꌆM{]{@څ.j_7 KĿyva5z;D=Fҍ;%M5/~:Y۹$6~hFԓy9*}+wIAj~RƍPU-.diO>E XS2JVKi!TP*H' 2א`U=<Yh)_,8:B|P^rkj9W_̘aiUcYCo%?.0A'5f rRKY.$ύ2)mpRà5jG3YBo $uLzWښfx ((Zs?Ei#z0>D\4kN~~ b^uQ0Id>;/ •g'6hAL4\[֊;Ytaо/vD(Z64M^J*{AþֲWRP2D1)L@yozFŔy4-G D {<a頥'n9o}ٓN"ӲUB 1;pVeva5O=XTC)2#%fȂ<=RXVKW\A5~w.^ 2ug!HŚ:󏇈dS#2у64nn5Ta6}p܄a dCsޓZ DWہ984ljF#Ir\KYP'u: 84d &LMhz 5#Hfҿ"p *k^VtL>U_7*B?YEs )Fo?X<E;%L%X'9% }->QnP *a[\ b#9Y%"dY2}h@۝2d'h#ä, h:=ͺځDyCZs7zCz@仛|TXߍH^J66ɶ m⹠1xR􌘝W''ib,žhꕼNN\}: @z%av3; Bں(\J2W~ @vxyoxh1<;αX=>`?N *Zd~4?j՝5~z0]*=(3dU:Se4w^\b9L[@Ot'\JY|w"ڑˮUɆp^PXSw{SiItNͶY>RԨN>:_àד k86OsOċ預0el{5| cxq6jykÏP[C;۱9#}}8n|t~` TeS`m0BP^+*H$R13񹪄7rMe|R2*iaDt[M9uKz~ς?Xdr7aac&Ԩ &0VO2r<Ɏ۷~E7d/&Rjq)/ !Խ-~Ǟ9KwqVQ5$Aʢm?=(_`TO?H<4[ȗtOTX,B:Gnr7 nU֔vAG;eCR>R8|2> i&Z  pqpZNWQ,g5M0c8R=Y ֆ=J`#unAAK Uח{`vk1xW Kk#w:sP0.>6%J$I-FzS<`e ϛl鼩QkStr:ab9F^I멱F UTx64P$iri/9clwPIm?}MŇ>Չ?L Mօ0xR睼:2+{cD̸D!(` 5ٺNAYZD ]& B֙R*|P؇C_"ZM}}ޣ9B.İƈrlot9AmUSJ# t,"]Ljr88.ϯ1L1n oId =\.g+Ij`Ϙ}Q!UgSOX=ڜ3 ^T[N{6&C=)wF)ҟ]^!jƻ(.]ZL( ɫI/O͑[nsFέ?Da]n1lR(LטJu$F IJB6M0+2|x܅^9~!QL@Ztf$cU%oﰷOgWy#^T-bjR[uߤyzP*]O{Mu? By:%5!>gfai(c;Ic8樎dZn6hGOdWM%P3d-4ctn2mw̸^Z2IU eWq<(J\LIH}^^S;ڤz$l03|1q!MDy~\;1[SLpv Ղp|RbFqʼqL-IWSqaO/oBT 2Sk,;שe>'џsO-/K$\ך_x+8Y`~ʐlVrX02o*3/UA:g^yf[`0Ha1Fh%-!dRU˶rtàvD>0iZFhBBYj=%Wxd.}AYNC\T;&4^csy}J7eCSQtgœ`DSYz Bל>ծ⮨Wb8C=pitޣ٤_&E``-3_zx!~]M|B8lA2$VΆG_Ra+eL63YLvҩ\V:6ez.bY-NdakH: U8t0QP'B mn4{q,.}P=)!dL4uUU`K-|VrzD;l%8bm6]Yq87n쩨xX،ձߕ{e]!*GhGBE)m׾n]lLA9h %z Ht^x N[^wқ*-[TE&? Pۑ8aiAz=Q_AC{~9*iˮVӶ?ML͆RZf)r~,Vm#)AMՐNi:+tWzeg,A=Vdه#/Fww3s6Z0G݁Nhm]sdosbC-tGI73`@ܩzUR[2\*j.}l_(ӛЁDY~{Z(e}CT+9{M6^9@JXYJIwP)(#B]xx\QP ?c=x_zeQuI Qt_ 'Ժ{KKot-+u0ryp)\dsR9$D&HO/*xTּU5X/ȐUDpʲR$lYP $_6MR^\*z'Ru3  I:9 RӽSo8Uq? 4CsR#;t4V"!a~;$@`K C>EPVNl/YWn9<{ꉐsObL Z0"8)3'r`:֐rO^|Zֵ[ؘNi"ţ tY+zz}.zr̐Q@Ju-Fo-~N K(cû539Eg_U*>C3!UIdհMc@aӽxs\Xq @n\U3/J`n7Uc4aF8/LmC]_ۍ~.1 ;k+>f(rJO'W^hbGX UT}M5v ,5db`trZU@\{3 |Z,D@X/<^8j8Cf3/ukKf?T>)Ҏ p?o2F;b}#x`/+hujnpxـ]}C'YG&jH=^$hǭiq`&JEIA塜$ L؄>)Td\P}zM8 FJId6Ki; v2oMy4^ź|ǖUVl9Wp.8my]miK}1)[= Yi) sS걢4X]9[Qi"1qډ}gb.:U٢c!=p>~LjuOT4@81hY$M   U`az0|_9OsYo׹HjBxDŽ٭Q:7 fڒhٱNZuw(E*# T8ŏ |$();{aIhq?ipR+*a HhU&j>:"^w~0j%X2jzh${).\ ~7/0.KL V!:P$9wi~ p jHAYa3jطO~ a;fya|L`CCpψ{ϵ*ҿ=[TN يj oI7j2j] 0̑3AQK!r K; T;S0-l:xj}Ul|a*k uЩ z̈ Z"u|sIJio7&0|\yP閠|KiA2ndS%ה %ow*5  zpD!/ju)2Z&"< ='qRZHC8cWCyt?5V͇SyolAP3\A\_O+HA^b".;8N21ZI sâ|Mu+]7{k(j{Nn,v?þsK%kmOab~FrD84*j1{11Hwl&D{D_B8A躂ZC0(%6TɽmnFW1XG:1ФyS𘞱EWDGbT$Н6z]畬e nd]ќhgyYK#^}i7%_;[}ռĶCav/\໤>\2杚l8Wi|F雛RC:pIj8gQiۿq)k6(Ueѭ1í9e/kˬ{j?W) 9g dDqŗ{ D;L8uEu 458z|XT@͵g :]⤹n'e6l1&8fZ7?g#s=l G;q::zD_0{ƺ]cZB_$gΚȿ((\fkXE?: 0_ǘ1(^ s] ۏ;#úHtA 8-K/tЦtD$}G2,Is5%7>Ȓ` Bۿ#j9x6@r쪩pS C xȎs`[^7d܄KxK |b.||2 !ֶ"'@ds *h3)WIWL5~.BDT4d|PJԷV1) gFć9(J˲-|]槸Z!:DPSXvOG4 :ڳB97W۠#r.#of\1PCX>6^,bYiBCv,M*io4̑DMqh`y5#靣7Lk.EzmY9cEÎį@;_ޕ_L)0n@ÞELQ4Dpͥ6YJgf"9Ǒݫ ֽY-,'Dy2[LCmдeВl1@.e 9q/#@a_oW'A0v.i&\ͮM~zz@;C3!`Q)7 z,/.1&(ҦɃan8>۩G9abvQ7pUFե!$9Uiwŷb&2םoI[ nRgk 9ѩIsp]xv_b囂Da ɊZd=dmϤ] @2Kse@l>'Z؄o0VݻFsoW Ss^ },(̀`#.<m Ph^;,Cu"HWi]H̀ SVKb@n[/ TYǧ ɑb_="IkdNC0BƠ)Q>`/hckqC} ]DD@S:x] DNc`קk~75Y@8Ԏ&_~GZwvfq`C%g\( ڹ`K ZQ]UgH:/I"{UdTg$,=cE$aM^壸Trx6/]jZRV'\ȍTqϯ2YF36RsT8o nH $:!8}%("5s0]/1OG k0 lQ}f$?MT,tvAQ#/yazCtbO)J\_@:J)5'yێzEѠ•?zB\\~-v%=V \yAUspGQ@PHOݝ{D(} "68f9>D(] Z SN (W %x^R{x8il"w!O C^^.xƑfs`}Uq&>+t!GNq1r.IOyRZiaN`hfF* {@rŔBdX JXtM@ =yx/$nr]:~ 7 T]œR@&sQ@ kFe"7b_S߽j)>qƋ+QsaȨT(;zbM[L3ËUe29:R)zGOq$жAsV`i4EG4N8h+ȗ oSқ1)R $3gU2ځ[jȂYc/VҲ1Rz0j N3@bKǰz*7* ͎ǫYAϻV.3C u3`\:uD.A@wmZ\uI[w`oN8(^͸WOds]Uqۼ:=R')cܵK~9W >>`,9 xҡSt*OUEY† #؀~EUb5qFbrHEvw<O,-ݰXl7XvCC[!&Ҷe Ԝ *jƧ]iG$b3}lw uJKt[wu?;FQ P7.꿐Ex˜PwpWKAΘy nd 6.K`1ftsGpezquVHZ7;'ʜ{sbO *t\r[.6M4hsf ߺ7/%4?|ǞgYZcbf70c597c7ac242887ffb80f1dc5f50731a1f2241c19be3f36616b14c5f74fb8791e46be930a98f f738d32c8c714829016adbf642e3879ffef6c4ff 2b6d1c48343bf30bf5111de99768883080e7df1b