SQLite format 3@  . BBh77otableisabelle_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 II5 L ]S HOL-Nominal-Examples:threads=6elapsed=318.720cpu=1359.756gc=158.952factor=4.277zXZִF! Q*=]ŗXf1-q恈ބԍW_8Fa/G`|X&9N+!3N_W%G\+==7^/WO䢙^?fZD?HOϢF{ZQjXVeLS 2Ș:.vKGnPa>V!2/,UF&gh*]t1״HkM| ~1mJܓjv8f19~ EO>Wh}cap-n+?V-:Σ!k!8QA.#c.wbKHSDoby+S!@\;&LLZfF\|,Gɶ| maD [nJf41<Q{z(NٺGhax.jOL-a,䈄Ü,Th\V׊8 l;7N^#n)=5i)?qe ~c;y Y*̗ťg#|9x-^4ZfZ8>YYF@$< v?tN2;0\}TK9wt hˌ{e%t'[tIJL!4?2h`K|ʐLX=f""Cn/0U(}@Qp +յz1B-)Xs@bGyK>א:Xl%68_UMJs 'ec089,F%>"?% 8W&lSdRgpzyh 'Rlc\Keve'AUgQY=2IbAqe6FD7h˽6ǚ7ԩSflHr?vƞ$^IQ`\nTfEu7vN.xs0g'*hFjKC:KXTF$ssbz뤸FDT  w[`ya%vܭxr& rfUQ?7.\xy im6E+9C0+RbD¢|ˢ&RwR^ڟv3V12MimE@: D-HuxU#yח.;X5ωMԾA;/>%<8?e>GbɴCî aE&, mA|z 3!SSzˆBݿ[3 =5M{kB`1 hޖH~kPGMEϮD>EJ ˂m:1u񛸘d\a br R|+έ P="I]*m_ =.2;ϪB{1I^aU&˶t;S<ފ]fՏp~6c6N86'3saC_%ԮEt2ْ`ԢZ˦[=lNg?+-lɅ:Ey!Zp ה_XaZ{ӓXpeh&mstXF|8߰);cϵVpBlEmդg3F@T YS"  ZyncztA؊yωz=dARH%Np|LjEo) lGm"1K'%5>6ȈbݬgC|> !ѓs㜥mI넙*ƅꠎ寜(yg83Icg#C4WG>pw;>yڃ <>1UhP6~:d5f-Bh4(gL&ʺGTyGݏ} @6[i" 03`ai]&tWT:{/K@/=v$e5ËmI+ŵh| ڊ[ڮ}s&nrٚع&{gļm_tvLI<(rGydb'Co&+tGM&".G~LV*ϥqwL/~t 4&Mru[my>ց\9]zml(<Ըg Phs^ō?Lapa^.eF6KhDCg/=k oWG]Q^Yi9e1NG+X 7TF4 :3y26)51 (} ;1+~2G"<*n2.]xq(R.aj* rf 5 HOL-Nominal-ExamplesN7_a\֕yr;mIӂ0VB4fZ!i2<#\R#79.Z}a UtV=Z %"Dh똓R]-*wlM48 | 㟚[PBVe al?NkdF^R= b\a4"ڶx5SF}xy߁Z85Vk"nGϗb2O a/樋pC{jӮE"`IP\Oc)%E8{}bQ7iR TMIB8ץHp  - hGr)%>fOZkzr!&6 i:̚w7LGH(vC%hDGOFmɢhR>D*)9fK?/-* $? uX0nBWAjmcTFʸ({WN--HHWQ U' _ "eD .t(qE Єʜ'_)7imQj:00[=Ko8czA@xSs9/#* (*БjNIn2{Fn#CϽn$f _lk#D)=aJg8hհR2,}ۃw8%*Zy,pO50`7MgqD;fL0pjPdv8xR%oB㰦}(DS)ghҾGL] ܞJ) Y'_N tp (s3d MSGI:i^wmU~)tmS<ڪ0܏x&z&YhEd2j=:U2YTEƅˆn P F% \UX;SR\M+ v6뻻1l%'+;U_u \{:QX[o"(%.=ȵ—* 4Ɯ+DQ+~Adu~v(B (%l\1BQ nX (D wKV.C_}{fΚ^[aͨ6zʵ˴bS f逘7ɱ&o8s#/^]]m|Dn5z4 WU /S0qA TXx&=|4fm&{3#'r.{-=мaQ<2n։A i1}?:\zOt[ DNl|veHRr>SF.4|BI.?i.; Hi>7?\A;S,es;=bU-@#a#ގw6x9x bneO!a}"|wsI9rraϖtH^n*;V *'$-95F; NAFw\WTo2l`"=Qu_aaor"aRT0u FC+ͬw a؟njkփE%Wia@Ί@\ ر)D/7QnX6 }yLkCorMeifYb,{W4_exduBn\N4:j*w\<R\;҄ZMkI#,j۝H/hl1@%XBbl[ko9(?=&c o1t0CJH]y\۞$eDm9'*fsIptQ\`k$%eZ}(*zf%C][`IT: ۴Ͷ <84IMë ؕW =73^B?elCֳr],d,, fd -Kp~$Hi15\fw"#b\κo5*'^jc$PZ(º}`6|j>xSUgXn{ך8J ŪJY"'^Ci1(E"5o4j F L!R#) => 䨟3? uF\h> L;w%F{[m/ŏ$qHvmΕR(i36+2a1"#_b_❠M'hBj([3f+s@%9i@Ŝ`us*7;8Ǵ5a C?ͻ]|hM\. 3]z{_ELzqafMBn4dy7iִr+&9= v-۫erGSQ PTR>1DQa^BVz@XrdUV+yzFچ>u>#-< at1nl_0z[̲GDAi ⧃fViHe\[B(&C9b_"% gXUh!lEXC'eá .uBT׾9 % `޿bJ~4#Zw3P 5`u>^$_ouU~%: 3r|h\n B/ 1f~'/qoYJ4 ]:F*z 7#aBÈʹ+5gL8wfrm~JJ/.KЭY͙9dQйZ/}PZ|B|k` Q.hhwV܇,S@R/#Ass+K&B0*fɆ?x&^~'.DxPYF7aH+C/%Eo#$Y"uv*b{ȇ?q։4Gz}$.T?[g)U$TJԞ7FUyW&:; G[%iX?~\O@VwtqEs6Ƹ[bDZ5zֶ s^\*@3r{2'ɬ6׫Ihx J(ԝ@m]Ί\yŃeg,8"J`I`7on5tyERoUMr2|HqTlA`Ðɵ{ )TGA{_⓬C9djrua9 9ɚMwj. Ey vpvp@YƤ6_t]_%p$9VS7ܱjΙ8hˇI~5ddv \(f1ZU4ha8O(qEOww܇{WY5b!SN!9転UW>Ƥnp\>N+9Q5vg 'nQ$c<"|/YS#|ooBA ;eYO>롯/g?:iySihcBBrxy#|jD[p=i,B^xx@e!x>5U-zz9?hQɰ@-sd;bٝG7.;i5tN ~/͒It=24|  )KiT쳜ﺧ*r, Z7\Rc+Rf`4j dk&;lhVuNIzOrnV>gsY|o/YIպ'19h B"g_L .2/tlF\K! .#8*g.*ck"\x7FTSbpO}qC>gt/)nS':|M{j^ޛ73\3qӓ)p$[ě|QM 8шr̰'c!u[cқP>bY),ֵeX6~8B[4 P-,`UH>̄=cF;LD,]if9ڜqwLZr+B1<1 -ٴڪ`+!}߯kpKxݖL7I' Q[dj4]ܟU.mf)rKǥ/098T "$c Ry|0S\3S8{:ކ koL |WEơ`22vr3s 1ؽ6F {!,g}\wiդ'ή6w8ոrD$N) {K $ =9u[QݶFw1%fI-i ͋w_buUΗ3/ln%\b2P~5ey7 2iVarW ݒ2x7 m@OYZhy.^-;!)XK|{BX;HG_B,]T!Хo?|ͧWQQވl !dO3~YT Vɹog/Jz’3ު !lQF&?n5ְbM ja Quy 0U\ y5?p[ς*6Gj( jE_* h*>+b1̓707v_^SRq†k&)QADmy6DdQaj,eB s|vVi ht~m+Ik6Y5it4JX qTa^V~b~aWˬnyFůQi6{P4܊ԉ;l _ %|M؍s+v "{J ^HY_iI&S ymr!r fEKL_OBdЏ 84t:DHBW?d*9wƦ7}NY~g (p9bﲰ p\ wIB,%xwoֳ&7jX8+̚}6'A-Rnu=dw#$ 9lX8m]J<}0boOh;oR!zm:|qq@Pi#5U~ft-1!fÄ%|/iv٣J̀ vu|@KuGhɣvam>Ã`ڷP*D}płO T,蠉[5EuQ X.%w^c"QXkriZ8T}1u@lKqjf`.{ZyRhŏ]]JGW^ok2 %0_L*N;/J=C^ڵ8jWg5^.77V7tŲCd oޕk:4_Y*\I?=@gixs1`zo0%<#/-Ý5\L!p&^ O<0:j=j 4zՈwAW.gkwb*Nj`אx!۫P%Pm&POYXk;3H hf\((mTܝT 8.gYZ7zXZִF! t]ŗXiɟ1ʹ l93攀Lx3 a${̟|B8~O{DŽq=q CV[D&0}WJVj)klސ_Fk5zx,aKw`l=$bE^NrDӣSnZ<::RLX*k.4 u0ߍp E^>5CrlGn`?n&F40cwޙ][$ O4UXFla9 s#*!lMtL,!lb(kPG`t7b!mA}Wjwwuh@.=rB% V1S60QlW.Rެ_.$rOJzfϬ`j8,SPېnk* H:͊ ^m4~-'K5'_c4.u%Ч+ܣO4ZgYZ7zXZִF! U^L9]ŗXi%96.P'B]Ihr"lv(XF&c0T&e;HmHdclt{>9빚LO85L7~QbZ[czI(@VE$WxT7{kOh.7>fyj|w*iW=tU P2"xjraeM}nz5Ey:fx~5mw]kPtA<[S1;Rf`r]fW=lu١osaiFR(׷(1/ӇN~svf$B~}I5{BtFwԎ]Sr' `R-`>ʊ-ѾL`v)BZJzE.cblvQSmf5Ņ;hD(y!$0!oYfk\\ (_pRtcqנԜCTw 㢝Щ3 ()v=3ǝ]2Qs m/UCeã{6<ꑷ9]hNT}? (?`6u_ UH$.̴=v< Xy5 |"L% NJ95ğ!ӽN+.W-P0LGKJ#g@j {Ɖ͞4va7ګ姐 mX62۹qBBGAQƸpsc6 ĺ&eOСe4Be;{(#%v9\M4J1 0͹} P,)?(-GW'*T7N6[yw»k>,ԍm@b +gx%ߚs2fzI2&BȚ4[ؘ(1NhznQa/B A,*[&hT)?Y  zmvJיF(2\`;~hcHVYt")s_ÎRsp灳7.bN.ԷKrM`Ɍ9bX)rҕQV C|3 G˯l6CO+S>7XF.3O5q[1@x;֑Q?purAqᎽ|tC s{2oC1FFֻ?͉[auGG^Zvg#jˇJ.oLZNgײQ?ɠűp 68*^nc65MC vyjj4^ ~!XMƊ}JMvUM5vQ}> =^%c! ؿc%䈃4B퀲C8^ p`J5,D c!1a6pUː+p =^E'fv8 }>x5r±A2Cc6.W2@2+c( ~ӶNgh wx!LWRlmڛr}ry<\!&=.G0=81>hl_RMn0dRtx e$zo/UϋEL@7r& *w}˖}V{>kFɴaSv땏I{Yȅ%vib{ljBvyg!MnymY!\[N >q-܅TiW.Ńر^EO\Be!`;ٽyh|!q6Ngs놧\J}\peS'7F/ mϜW۝b\§gOj=řS.RI2FDqN5 ND'„γ݁3hI]G.?4?%*yKDjL7-}nvI5uD l渿LjAP^o;{T=]WoI7d8L ^΍6I"Ty=;%,!ya>BvgBoe6c^#saݮar :kW_˲|Tf‹ \ B\Ln8zIokť* #1mK﴾T--ѐBgw #hȜOgJg!QfS< 6d#maodֆӔ{;,\ X=dsECv@]Nm$ 4ï]A©r휽QaQHPX)̻]jTȽN3 ۡCSl9gL0?>sd Cn7\@{V&G[3, =)7VsZT<LbOU]p!Jw蹍X\fχS$ybE֎ >m5%DK*ר9 Mfk*=oمiℿvw+k`oN$x4( k 侟UucĪ IT@xCV^n^O~3Nzl_4D%.D\BWk;t;~!>E~ lcBeES߅`߯=Yڪ} 4Z@{X$6I #zS̄MԹ'6y~:7ɒY݅I +'uC@_v=`Q<:e% 7hl#NW-d9YAOZuIlQۈvt(3=鵣s,|.s7Tx|z /Gm 39 ~֋Fb r"f_2B3)YFд'v}?r8㓈jJΚZ/`R¤8*(Z o([3j p=ƴEl<اP;.J!<:Jl x_zص#G+· dr*:#؅qP"1~JO>dev.F?B#~㩷@%lM.eh&$ԮZDo)=a!M[; ]mJ~!xJc̣:|suhZEek} D]W#|:бJ{ 4U_Maa&Ueak'|v|0IFTbW|BEePq #tϰ"WV!J-E!Xbu 6o5DJ5o·S/ ,$G!} %XbJ QGy˱,"eĄ0>;d3dCn}ܭR=Jiț3ӨJշ̫Юd,?i\.A@CCzzpj&stjq=GfUoVnd"+K178n{k#qʽD+d6v[wS wʉ$sK[W}P#O^D#7x{]m{UEQVtfX3d܏P*|tDE7UJmٗQĐjG;ZwGy-"Pm&[=eU҂ eͶU4XnwG67g|sz̮y4ʀ)f~HI&|*xĩ>iPifQwaiX^.(>^,yM}S%ܟd|;OY2!;s hPtƪ߾\ȷ%p.ZА~8{v`n`79v df~F]xO q;j\C^(Dc uu/T7dOւϥެhA]X;Tf]B;TBF,f& h∋ϓmKǵl̈ m3O4*uf{+`輘JWu;0HFeK*)RǠ.qk3cxLlg,I?X8Ж&>5C:DƃM-3/!B0gxs8zcΗx9)e!֒[@TIV&ygh N=R 8ش:}S rd+ k]}J"_>;0^̰B ɡFC 0+ab%.vhjbMMK2Zn{AAc2V] MLFxe$rvN1Dk6?lP8gle5K.MP_!^قYZ%mJ'^: h ,0t~hc$ܵs[pPf|hO5[gDG}Rxxmwv=`0r~hF@+ԷM쮂?\#ǷJ#Q ' ҥaTvpG{ug'!0,};RT]=kq@m8:Su#/JC`l4wv(7 ROx1~:xwrJrMW~ 4c99;I!y <@r9FqKѮ }i6#ܖu),b q\<@c;[OvYCT.,:?-h6'utR nM#}t,FC)׀BP,Ҩ9_)Ⱦlu*ÌTW-a!tiY<3,? 5a頁enrDbTbWL[^ hUD,LptCYάr`BONV_xw9;ID^}A PaVg_BEU<³aF^W7>7=L$Q'*]=))bPlz&ĢGL\pT"Ky!/ { p5msfWޏ{.E| d4\ sx\Ci/~e7eG^~"P!EPg C%*z7MTqׁ_J #_vl"8i Cp(gj5\ar; Ͷ*v[~>I+yKciR0M/"س; =Q~&3oKLP{XzCu&oJGhUݱ'.18hL&)&%%*Ec؅g&E8;&(qaxʅ+?i[̵M1S: ] ='/< :\?E Lp[ -P7` tX0U1gMp ρG|m^:SL+9f!ҁA[$=yM ::7 6jVf;HnA[렾˰i5&4Jȴ%*H83x|nP ބ:v AR9p*^c M#D]%wY|j>UߠO48,7 u-+Y50Ddi[݇YC5duhaVΓ'5pwMAv5xQrMP$ Й# ׍ߵ= :٩Ϧe1s#۠ ah_Db(o5?meýXU˫&k15R9'TAK= 8H]nEh7X yCmR'PSD1IRw-&4yrp5'fEy7"N\.~,I\wgy ^1py 'qod O|҃P,e^.:Uy~3[$s;O!ಿI[kUv%H gR`#3q)9鑙}@lA21DHѳd҃{^7'>]Q=5En@ARXZ;CO$WT|_`ǶFRw@. &{?3P-aFE#q}uBAp Z 1Y=gmm^+zy&p໲J1NZbSpNY3~ٔ}c,j׃An[v/+\ж3O2g4ф|h1/ѻ4 tbwпYoW\( ڽN~i+QTp>}TQ= ~fd WnN*!у{pXWFfg=:un+q׊{o&p32|p#:=N,Q@F í8Q~Y- 5M| wm)=&*{C*Y)Q)@%M =愰uYcW45&9[<<#_B*E)aox޿[Z[!b{#!4_c~'#YL ci=b-|GLbǰ_m$cۖ,z^{Kb8.4\-ܼtEZ& ڎ,&QL+5{UCgƬhF/ϭ!X-/⮲HD垗~7p8 QvYD RԑƎܞM6~%hE [.L{=ѳhE@yZ. M\;|5@z; ǹth8 _Z.kUs.99Zr]A̼ yfs iBr@Lml-4c?uSZ@{L&֛vu;0g.Eh@|uWWg㮝Ql)>U#vYeI2GA?Q(Tϖ wB}D|R3yB[ taD\,+0{r(!/ %x׸.q3v +%`3VsZ9B Ş qI dv8h{!-W)fwWB%Ƕ6F8I_O-zYU܅&=Y{۫,ˀfr/]RrzOӋ& @*]& =Zĵ- ZÍlIte:@$`kݬB7b_[gP˵{BiSaSSmURó)*_NkjccϽvDNX95`8L𧞿O$ri5Mv 8\Ŗ&.#KOf92Ԡ_+Ue_ h ;S45>8l"-9+ GxBxONs;51>*L{8I;c[FxVp"nMJGRW81Ay a_ VL_afމ Q%=( ^&^/ZPB}K낇}?|~ZYV4yHfFz rrK&>Tqm mK#o8D d}3By|2e28XvtNg-/ړҼ66w pV w^5'88rLE;`e]鐉P,cwt9a;O\Ke8 SxU a>R#ќ϶h{jPFr.JoõS6'(P  )]dO QX_OOhU>uUmV: CK0][hI.tW=hRwY4Lc%-v낾>,eS)2+n/kj+Bs FMeLy/Ԑ:T7t{Zu(McmۢʇCƋ5!/ãտ:~:&=R :i1IE"\lnQ7W $rōQw'tibqmmڏtυ=@AM,A~`4e[YbCE*&ҐS嗀/l*gx+UJLoQv[\):g$LAH Zi]{yZ*nWVz}C)+q>Vj 4‚!f2͐ՅbhF,$?4@aٸib]YH 'ϫ+6nQx'ԯzj2=LFC^B4.&a*> %wKYShGhzX\a+)NVE+*3@e;NIѾZN}ƿZkl*=b&EH`|wBerxGaU8Wm[BcD󏉓'LEg MQvDIOc"ޠfY Q 9|afJfU3eY~/Wy;1ɺ2x SL"}?_f SHNJ!k MYYAIoe=>͌pzPs:0|vהb3  hSkčL>(\c>">ChץP2 3:N%e^ZA 0ρM C~{YFuWٖ /I {1.BkH%Wm(MD1n8@cY"K PϨ}k% OeHl_E՗9J6oL(ZG~#LERsM`lQv%0-i Ѣ#ɏAx66B<0Һ O+2"6ne׊8Lhct?|`voY(#/WhFgPgl,ɒ{d22.7+"n?ptFae^N:@swoBJoJDG Pnd,r_#K^W)x1 8$5u_%|xA$?al=X|ҹx7ƅ8jV25R)^!4=Zx9ߥ ' n~(V!SG^ &9VIz[^dofn|OS6b@B#(IaȒ2 Id2 B;?񧑧iJP'Y"ꒉ'59Вː hkI#=|I.2ھݛԠLb#n?!tUHYKn^LT7-XHA!~ V?1eD)ZjIxߢe0}?.I MoYȽ% 70Dii,o"f$% Lod6=<VS8m+#X>:V ZZOpBmڧ.a)USA~d3 uEӈ7jYxRyLNU9 ϗjrniQwGpL>ȥ4OR{Ӝ{oH-Z=sdh[\K7GoQs XW:1͑ti2=bc Jz[.E4|&Gˤ*W[;Hb m0Q~0F y_Twc=m}:)yhWyP&3\iDD5*RY*<"$Lk"#6գ2 !FMjh.`撰'U|-2>c9x$hT6DI+oݬkd"*"=Br̗V֜eGY:ЗuQ.&E䪟_x=1*DypNY8mZx`&`$B`آ[k='VyN|nk䦋FQ2"T1byhN~n38M4#_"{$h^jxQZ3 sq5v5$,f5e])7p-kÎы;PK\-75,7FKpiwe _-9.VUi N;)[hZT2DB5$忣_HiDaZ[.2v=TX$Kc0'arg_Z^XHñ -KԳqcb5YND5gbBmLa)%x2G[7WďBJ J TD:Wu4!Ĩ~_6@w` Vg}FUu}nnx~uu)_Y~GFt09ycn"/N%TXewV+2sgԽF` [v1Y';"*?l5+g31J9Q3^R֐͈?0绺11Kq]GK_9ojFGs<ث*#8Y'9U-TM[~ʿ.}3YhL9!r EXaf]F0 WT9ZyWPYUx<xh(Q_mmD+$w)WO׫;W30@+\\ujC!Ff)v|i3BC!xG KwJFMg> L|k<\fp TfHm9⌂@#nr*`inpII]BcP܍#@0 I &(k9qʯ@{yfoQe#(f<w2Z,-Fwd3f /.} ۓd|d(qD"尖.v4I<`䮭Pݩz+w•oC)n2h kQŮ}9٢Oݦ eNCz=QUs/"Y ,C N"kZHG;_;@*ȏM7dxzisjipwΞ!MeoK]+ ʈW;d3ݎ/3E*1Nm6L$@=0>? Zy} SOvwE[ϱ o5ս"xK*,H4~)Q]LlvK]A҇'MP*E!ʷp7%՟ ˭o($횻G'_p3F_sv73-EB(9cy=\ |=9% e#S 3UqLs)*%r nyc˕bb4b5Mʟ)dԋHDk gz5/-%GY)WgL%CڄT1%6EkS@3۞{|di>S")=:?'隄*WTno1{&;~ !=kluTIhGjCM1CGʣ@| =t?8OZ1k)@ ɦ3`ˈ 9$\PN,tO dE0]\}+7m0$v72^ebutpVEgaHmٳ}9|NAta|IcLb6-@@Ж~Vo8D(FȞbnT/}ؓ;iŝqS$qV';??2AIe-K4 2JǫX_¬Pyhۛ fW#(,eHI+4 oHA{6DIaQ;*@hA.jq]ɼ$yds˕'ΣbU4Hoc?%٢}8Z7jş_eB~#dpw 2F-JD(xYr 23`Z9&5O`Y7By?{Ns @Or.?'E^p"ǪFaS+1:V욉c/9 ѺkTP&{"]MyFD 09b|'J% )d Z$T) [.A2BSڧU^ϲ(B90"[ʦP0_ᴥ]jږͪr@鬏ZLނxުy,B jt|!~]% h  p9=Io՚9jRwӗ1%힨|Q%{''-l3-1aZqc pth!fv8iB,'ߒ-q7.xiT{Ͽ[^).餅g}c&8CT_kց`~VbJ6o𨉻-ڼX]e,Jꛇ$Z@ 6ћO@whB<1Cq>ӹUH)B^ xeS]5_2ԇkތ`(5.^Lw \UHq/GΗ- 5ճoql[x?K39*HLd[}̼bh\>=93Ecx ޱf}൤܇31%0\-/qV&K-Djʞvwa]rgLGH6F.)ml of1#ML.QN[kxD=|,~pwFmٳ-hx(;"r!E'5y7j˒H.|wKRx̠WoBn2C\- u-hDOdMj ItuGkbڒ]2HX2]6 }ɐC|if$wP˼唩E퍪@9H@61cw{f1%>/px^p}`#ɲ8j ]AZ :Ū}!CFlnQӮoYK}Ԥd=:'O2𚀳j8] 4"0>+bmιNiGѼ]2%./4stjćޱRz:.@ND|a3ۭ5O5N {t"%8r-J|{v`tZ2 K5 :kpWytnϥ}^]J4UL9cgk"8F/5*Y4Ug^ؚէ_maJoQv))2 MCWPߙ5=\E>LUqnX1zTOyB6r_"<Csw$m*gV%w5Lutu])FT7V?jov ĨFţl_8bA㿪q^Z)zB]˥!!5Ll°{(.RKqV͈KŻGܣō}雯\JHȴ$Tm;qU谠}n ^FpŻcSH՘ߪpggYZ477498ccdb3f978a1ce4720971a7ea6bfb20bda7b7e847e721809281cd40042e7df94b0de64e4297 d40f74ab6c572f5a7c6fb839c79aeb7813dcf391 96e7d01d2e8635fd01b39dbd704355426dd3dff7 5bf5754f9e73ec03b0e7146518ee96668b945767