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  r rf1, ]I]Jordan_Normal_Form:threads=4elapsed=344.159cpu=1010.784gc=20.276factor=2.947zXZִF! F]ŗXf[&ɉOW7IÒ66y2bԖl |F֠BQ;Pw#ތH6Zro m{ʬ9"X`W5(僶}W Xfs]Gn AKrsubk&O8C3dHFu1`:q8jdggAvI +C'E/ ၴTjCAm<gtde@O^Id"p3 1zQim>MŻ 1I?IbgHBsn?'v'ђ Gf B)b媅&e~V"_?t[0$bBHĿIdewn6SH?/yT jlA]D N\4kWш;,e IQĵ\_nb (bI?-.ӏ'(e'@7IҠ"Y')G9qSr{4"mD8xk=zcoޫ)+)KJ4"5>6bJƆMzg?d_!5]Juuz+ՅKH7/fHDhhԠ{&Pj e?6 j̫E9/tBΘgZ$Ծg⊎yR@ S֦wƑ_ qI<[&wISe_/n)0m:t]&ILSe96\ZK E)h~(Iԅb#ˆܔڤYx3"y8.nkoRfUKЈgobX Mc.a6Uw:$&(i8pJl2oii=n tQ-b{;ΰkW}[>;NF9GD5G~nd_J= V2 $ TR?-ƫ<vv:wcn?Z0O2cFɯip> \:;QTc1I}JuXE#AQ奵L* j5gٱo|]2VDJ,D,%6py+&gLL"m@[Cr2K|+ ]" ~l6lŐv)=*aHqA2ӌwJ8 y=m9 0Hc[ JZ D:Jopށٵqp.XkBR9dLe%B[Y 1Y:84\]H _ ;"\f0EJet@avy{  EM,I[| O.UR#jXhb8֚L("h1ӠJc`t4xUGRI/pPMF!&VYٝ<[8bZ*[+jfG,q9\>_lxP5('f5IGueX?8Ŀh@ޡdja.|I:s{g>d&oSH0wfEihb["dY Aik*~s|2R^G;~ӞON#OFc93k3^CeSLo{3$9!d15nvr>Unx5jO$K9sh7W XK޴]23U%9 ѵNtzZ*)Y?]&껇'R #4;LWMre##IB#r0XNNx\aF$3 sY"!癚W!l[#eF\45~cm5"װR$ŴQ" muF*oU 6^{i%倵|Nݷ ܴQy[G"b5: !FS^E`2|ynd .k^r:mRtٲ&TcoFէ9ff{)U@ރ0~_A0B m({d҆ݘ&lO*5;қ-Vfo"G>'?WzZ$Ll;2o!t^1jYyn=Z6Y}kJb4W5%$"hs=@\O;nU1C_w$5g-7l-b$z7֢/[RvZ>Kݸr'fvRᴛH1#v}Лcup:L||ewHrq)?u/"O8#FB*:0-s\CTPw BCo=;il: sFe05hFNْ{Ji@JpC(XHh+liyQx˜-YPDZ4ZwJQFPlCt n[+ oϠ&u{mMux.OjRuXF} Z#G٨fWYsc֏dxAIUKauۙ (BE ʆE 7) cwev{*O= =Ma$.` yßj,4WLJv2)k@;"*z̄׵ "`]؁ һWfдp9Sċ{WV"ߒlmN1FUgߌ s1#\j|şw rσeggq3zzN4sb{vjAJ*CƷ,f]FM,& 7=M$uBX1Y}B=*qA񢹥v[yn⤩G:n լ /p\mީK:ئt4G m q%ub*F$!֫% Dvmj @D~UJbJ)}_;6)H$O22@Gp("OnM59L_vSp5}3_""3h ,h/&D<^ھcy=%#, @=/F#zZmgO^/AGJY,.Q+Ưݢi7ўmr?_^5k_Fkg^(8w J0qru1TN#/ k|BѸ9/ƪ'roFO#(_[*5R(*+ JL!mƷLLf@tcIg'˪_M! BXvvP~Æ!ņަtIcl]1؆ߗDSh~Ga?)laZ*Z LEh}":.3ZCV$CS'F#, N%JhuэwjC!vrsXk8j 'B[9/K<+lN Oߕ)`Qe/$yժ#8/c}X|fLSD!mޓ{6-oH"4ڪDg?sGWQr 8r RJ~_>'r2DZ18 ~$z8U}gj_" 4۪ۃBDJ@%TC}x` ~jHIkR"Eٌ+)$2ѵT)0|LEےS±*>ZܹG|y'_0"eE>-"~->♘ ݼւ_[>`%k ]$ *X%JF\,+'_Xϕ hz4 ǫS!"D?ؠ Fq8EȜ >ۍpks> XBB򔢇c۷l71O*m;/1E5 an@.LA*?V5eL єOH]~үEKS\6w]LŐͥYk9r-$vǃ7c+<0>BԿf?. pR)<,= j<֯.f*%<6J|h-]ʼn"bQ]ږT'yf7Eu"'2Ⱦ֛ ӑy6LAIP9gEPh*W1HH]Xȃp_k7HҐ~&8ˁyB>WVrs=E0^"Ӻܳ(sWc co?$FZ#otHP=g[3A<=ퟶ,f;uUSP>lZs]~Np!a}dp+Z:4`6X QII1oPGފКbM_ Vd︑;.ΕL/0q|ǝx.(\T*H14AD"rފs5w퇊0ufϜXPIS4RBV,V|r>Șb ]jCz[=rE=2rQ7ɼ#SK1ؠkcdt{Ϟ;Ќg.-׷/۪\ AjPcHDe DXQ"e;7W[17oYs@B53:]UHğn7qD H_Itwqj':У1WhD[fݼF"uu} n$H=jjŃ<_ftYim u"ШF?^򽗱)1$uTEm{0OD핳=Pk(|q.qΫ&դ}&;Wcq;@~i! k6U?GGʙKOT:aEQ8((ɢef^?ͭ3 CEf`'\'o \+@t ;߶T=r"%Fٲ7eZyxu r>dbqXLS1$Yn cX`qܺLvQ5p?&F QxY;cήe^i&1R8uzJCRK!皅F k%]& 0y _$JaI\X(25>CKd2,TJ#杵ַp7(I(C_bc*@sI&ŸO3qz!Nʛ%Kșȩ&{t=k*/2?هB[a}bk]h&wL5 #l~ qCfxl :-o}8՚՚kD.tyYMuf`ieB'o Dy$q2)J>%6n`u鎠B?!Y3TL y ̬aA#- ฼&ȯ be!4.'hW!nLH3#5Ňw`WYku:`A*;u@t ֏)2P'+ Vכ; C(ԹrȲVP@?\T纈Oq* $2cSfV5^^7;nѵgi hQz ,!W[#7YjGny3&X^A3TOb3#qᲒR o %!}O %Ŝ>*D@Bx.Ÿ5a6Q} ؠ׾!1 o8F$aAxh FkKA mυi|?3r6<Q*JsUB=l=m.Yк9`l)j r8Il)i0nTb)uhVGƚjkg&pa ~UF}0};uya f(t!{׊?KNO~8*սӡc;80AQdd{rΘ%\CHߍMdΖC&\%ӑW/}ֆ 1BEs1uq/ɘ=܂ܛM ߧJߤA3J >(Z&8cx̄OK 찜Q<ߔ]2?'W*%r:yb"f8czjFYlSr=q]$n(у PE uBb\md^oJjJm̀$Ǩ>YՓ&C+a}=Μ8! C H+z\:tҜmBn"J:0 ^UQU4:q%gdNi|={q@ ynve{NPNo#.?'_Q,/US;{fD5D.U)^Y)`0Fu_0 xmRbnq@\mj\Pg`п!&Jk;v1nÐ ] y{RM 3 M65rP</)>S2U!plh+34*|gz.e 2"ڠZ@ΩuM:wp*Qeo; j<'Xr,z2FVVqGF݀x+0ՌU~!J7b.ڰ>.|%UABWɰ:vpoe'h8v`;9 yW iYHK.9>(4PaQjMh:B-H| ]jPk*klӵ_TŽ'$ÙSHFڞJ;nγ ]mцc>n}VϞZ|SPhl%` `bg\wʖν,\cz4WoJi_YsU7A3WAwcj_:>BֲYUhGĊiۦ).G}v<7⫙ :I7hب%m6_tFѸ+>&%: 㚍+ZLi 2qvV^'(Txo)G vꝏwǀ\sĕ3Y94Ɋ@i )^ϻl)WhC<`Ժxp@$g]hk\NBՒ/@ZQ@u d`.HabZUDG,PmO( _|6vSg|~Yl8C qqƭflB9Cd)dPނBhUMJ2&pBf.Z.ݐF!3K5!z+CRέ3T5ʛ몪C!띵|ZO5$9,D l TUh±[0Tbf?\*^Y^LKQ.5Qxmʷ׵8'V"#>T ՎY1cRb5Pb i`u[ǯG./{@;H TpVl6m獦F\.q{TU]Li>qj/Y6\%"q~ȄވsMY*JAzŰ s1p }ZVE=PT-(*"Cml 슒]u,WDCQaWkT/et8\mgx'zOxU~s f[lkyn|AfT]*/T4?+k EXTKOWTxAލػmkر.j7cTt >x' Ii$BlwTťԖ.)>Lv 2M߂ ,LܺY GQ>vi-R"?k$K`%,0=@Drž \3|&oLa0 Q׋ Eͤ6N-)p{#(*] wsh>ez%X^ۥCzMT?PQoݰVɬM(j/BFg%0K]LᘠY6(ԡ3$twcB v,D+|m)'@Z=VRoÆ VAdx=D] bƪoO 9<.Um0M0 }PJjDFK/M{n,9bf6/H$5W$y@,"@QF *1^" bZՎPt{>a1&u{>&I M*:^QGCp"p¦{XDS)Z99}7@*Eܟ 2 0t\,6NKFtGze+[B+&Lcb w(veSq5՟=¿5~J4&v "! GnL }xNBUxk8l _z'W[I-(z0I-)B6Q:w .Ӳ.{yW\rZ$OpWlԇu!AjL f+ziH(62NǪST ~]^N)2X^Ivx7=3`~,QЌ ī]d!ϭa(5yO1cҳ?yJ9aً#$ԚL #t՛LiU>M {rYe{[ oURcp^eCPb=yo" s/\uʕ36WՕN}g#R^(%5Ӥܛ yoK 7߭Ӛ<lT05 &_*>U ;(Wըl3 i@Cyq'R'/(Q:˭2,f:+ve"zn`PR`l?WC| 6ORIDo7QҠ67$pm1wk*e {%o0zqB <џ5x>Խ `ޟW&4}^cGt1ߕMЄT٤Gkљ_N$7՚/Nv)i<$k||DLb{(i2hJ t G&׷< vԠ+]bYk\`}{mGNŻkE/`q^zA kMac3TTA2\<^d&`:u6T7p \I 0:<>+a6}TVk"3_ /HF >B,UrmelF `;cN5{sNDZIF_J\hEW#}ϧ21P{gY$wFa˘W$iRESE hOq'-9dTaoLڊ. ~5?Ek$ <ϱdCL CsɆ9ւñFnd)УF4e㞓xiE=?wVAG{&_0_ȿ_C+wXRZ4rO#/pD4p<|M&ܪ/#-g@lijZKFd|ڀYnVC!GPM.NLL+>!3I,\qg(]mDGh; /(-?T>̵ea<(rcØ_o6g`xMcVѯxFCg;Z4*dE\*n^[g!,ՖƟ~7 +Kti>(6‹3ؽ؁Y Ƶed9$^w@rF 0'n8n',rEŘHY+X`59 yf2f"UFT\͋867L֟5)]NTnOmQ,ؾ(Ugʯ]fdFƝ :#-|nIMl;ve$2U<,6Zre[u'IJUbec1D.gP'c4S -pl~dسMU aQa0A[ZxnWPOo YqKY&OBy+(߶n{fM?+)Ɛ\;WH4(t͉vsɒ/2|s/@j4A@ra +DM9d8VvSn3U b%$ { U_{` cvB͖μPAc](m~-@+YyKmiqN[yѨbNCp#)TU(Y6$x* h Q)<;NyTGÕ]x`5Hd%$?[p9V9T6_R6zC%1Pjq MٱQYqzϢw !iwia_;Ӣ@PEO5oh/p+e}EyX/ P n5nS8fSkN.u{ ]P ,lFł^5լ O({ood7$_#E2K[lq YBXq"byz@?7Tߔ;;.>VO²(5ug+r}}tɸFY3QWF̜*[x#>ڼFGUk Bڜp U8 dseqVքB9]Cb,dTxSƱ ׫I:jƣ[/Ev%ߓdqeAZ4Z^c\ ZGL.'^ߩ{ =OĮDȞ_lx_VODh>5%B3oP8>cַM%?6}3k0!iFXgeL*x?UKXp뗄.j|B}4NmSd'(k=R%^ Iރ^nWlka6#%Q#i{e|ۉR~ZmB Xn2drxeOb,<48,4΂XWBvr6F)}j:F9{ ـ&b=.9ӎ?TX =;a8jq{g[ml8\\r5)mGu}dh_bݾ>̋i{4֧< 2M$aM~šo%>D(@tW!ov;^jvP M8\0*  |IBJs3:Č-U#WnGJÃ7(*mz~gO}J##Šlg~?=0j-$&(AZy/OX'>& .,ԾLyZV'ӕ _IE,aGe@FV&yn4iznOZh}+z7GrIqu (7L"W$ڐ BA,ӂ 6LOdEQ/2 +M˶vN5щ:2&_?}No*+VnSR܆;4(_v+g/JZ)IF9rcL4ߵ9/0ʳ'5g} KoFHpŪ"aQH=k" 5QmY6{!=h]+% rt녟2Lu=,ǎL49Oy֖*&?SȜ+194p 0mxԶ(aGSn{SCaIVGHUeRO/_pt œVp9oA}ӫ;KdO!1?Kc9OqˬK/#xE{U pEU_Q:d'jBOHm}_h#-EF(MQ Du-{UIZsm?S^A ƗQ\/qbJhۃ6F5n&"E#4 ~ rR" ѱh} 0V Q_C!2Q.ykGngJPt]麀 Ӑ7d>??Pɇ4,{5 ).^3**eʺNY~ED "j4#dKb߉f3&1%ԯ4M8.x* @F:P T'0Mg&G.*v¢.rd 8Yj;P։bC'jl`Tl y9x[Gҁ7Y"+arT](H͛!n}jOF#;«D1L-BhP+jVU&@"̻]sqijUfOW:LPz>wSB/ےAy?J0궰ɼF r%kJ cf$Ww3:y4Twj /#F6fvr#m{W`Ԃ:{ f{?H5)2(uB}Ķ+B7/~YE 0I21^ Pa b%G}`jnn2`S:fE2HsY}:L݊l%O]pJՔUam~֣ EŢPP[[uI 3I0quQ,,,H;t<}Mg1UBONiq>4Ś@h۹~]FW)7^&>E (k+FC>(LH+Q?<č*i$=sP7n fFv66co5ˎGeU%@|Ց?=Д)R Wu%iEX=jHi\~hnPpJ iڦpk9a9r@QHX+}V=ubea%e9Y#H[AZN>]*a מW@(v2_Tx*Giد G;'hƎi62y/(K?zQ8d8jbϯ7Z'S;+x@$SOղ} -M>?0n0]|U 3\]'kE UF[ÎsA^V(^:V$MP}چ^us'4Ubg]$վ6`*4p?PYaqdR> {3WӰM%U>]  6igOaOg)5at}kkhAJ^fOo(=UpGÂO;_oYL؋Ʒ\E}1H/r۞ϱQǞ3AIF~gD:WIn^qo0!_jU>"Z=u:@b$4keQb%Hqk?vk ɞKY8#αv^ \]o%9$zqPs]A'r~=~1*4LqJq”xoTهU-KX2kC&% _=U\a˿Dc366-Pv=MC;2*ݠ CH5ҕs VDgLA`kg$hI!RI46.0Mw̙lzW5 gYGR~-eݩ;oeiUk7U tk>+X1:Ư \Na+y׷f2i"(:&ͧ|?(UO#yY̳mn]#RX٠i/qoE1] l}# + *$mtgS#Ȏ io"A0lTX[$w<%r~x|ـ\X Au$Vn@d/LqrN W$"[=*@g0O;r >k-4䕲a׽0LOϺl{+Gb4v`tFWJB*h@،iң]wOO0̞H)"gS]Qx 'U/_uiNQ>f&oxT(xEWbIPJCնGg9:DJ#a^/Ϋ>yW6a=H1%zl@D|XRiπ|b#@Qk34LG;p$jLf\!t=@BikΙ vXA`<PnJԻ]wx,jy3~"0ϙg :b c}`@ L[;y?*]>@<$SƦs߄ˆ({gH )0^ 벼@S݂~U3XXFMo {0rz6k /`~re2#CiM(u: l66$ZsJFD1P@[$h=<˻PAoSBC3BZxl9?ɗ;%i/]xT-Ɓp.@yϚ&̍rRÃP+Ge_65g%qDlIVcc} i9irij7neqqEhƩ=J8OuD"d;ʧ O@)0G§s{"X>DƄ3ڙ Qj_+/AƂJG-:!cU"(( ɪ##o^R O7c͛uF\,sփ+HsɎ= 5SP'm9<2]vxa豰܏`?F$UT}= @U)Lo|m$.3&ptr >]Z(F1f:+Kfa[<+.}2\cFZXR!hZ{ G[[趤KS63ScC7.ڙ)> (`%IjYiʒJ5:7b[shakSȐC05%筓dB ISϤ1 ;9WUwH$o2}YKyʩ끠R0ұ,kGÅnp)&,M:Gt>*@;Bi2J`p)͂S2[D Vfwtظ넰tSmbE9d00 dC׿"WsC;;3VVGgNb0mi#LmvTQ~Kq"W8.P"> 'MTs*sY{B4g[m$FSufNIg8O6@ĉFa0І*S٨a|/y8>,iڮƠC{퍹n(,-B˰> NR!|_ư<-ꞒaWͪ7maWi-|}ȰUV,VՈToԖ#cb?%tS>"y\+M)F恡?:980Óe۩VwC\ FP;b+JjäEAR*@LdKL",5!bpF;4>Jt_3BI'UP>Lh`0,nWPDȒn!2жԈC qCu;Iy ^Hlԓ!=NHb^,;>>"ͩheM*oJ, *("88= XRQ 6yy L dpsVՉ ,K*̖_ ߮[ kO^l[P{66A]W ^t0 s}>_scaay6Te$G b}ڈ8x̚j1LQ|?[x l^Qvۺ)诙`o%2ٵ% 0l$53$ǘ ,bO>mc^-EI|d(ߤnw, 00F)>N7yUAp7$F9wc_5hʲ :ʚ@ {XGwuC- ƺHeDisg 2!qc& BQeFt.,p0M@ 5U9]'?xz:)&3wzn~ǣePHr$<14}Bs?ӍOpIh7F~w2J ZcH`fMD*O౶>.E* <يZl> =_%B; Bm(E&/ZzwE-9]/nZ{aXEFo=ҋcƥ(jڇ-eTtԪx \az<2݌ܲpmn'4iE[J"x`{.hP#ݑ_Kg_T gHzB{^Id;~xs1_➟{soH1yD &mZ+)f9X|V բ&Os,Y]_SfsuMVBu_Ãï/+Rņ8/i}nM#X%ۨ[AРs wm(ETS4N_10v/=ّ e(O1ԇD*Zљ7}SNô#[Hƹ|AmW'$yQ=3u8,VS ͔|s:r4;n0%))5;I^ ę2zfZ71Riru-fn@W$-(`PkAnVN }96/Ea8Nż4u\@뤘> -+:=u@?r݂t$S[_ \=-Rciƀ.:D:AzdKŅ'y2foAJ܏#QFi>ii:;1HR{V™ *f_šv0%=ԑ=q^=s`| ܩ`nKĖ|o?b& P[mc3~̕VJUrWLrA9kFc0 dVF%'$B-5R3p%){ZE3"P~l} x!Oo|N( g =2]Pb ;{6?w@пދh@;ª=0s8mȡ8-UgfڽmR[<E椞qϷeGx6' H]$ uFsjjD?Y |k/^08ZZJzvx(:UG[f*$> SXl U) 0pѹ^~*acIZܿ5{HISBohj*Fh ˆskؾQ"xm=-;.UQ% >0c57onu>ȵR12u]Lȭ۵t6eMƃo0N^%  яՀNgey6!{ًh 0?NO ʿLg L7k %NWkv)`H%G}jou_b@`;'3E>jۜ* y?W-]34!vTUxKŋD$IԔwx\fq&*r-KpaWl4Se"mɹE /6F]o2޽koR.]6"u8lU%K5G8YDXU\&5H_/ Tz=~ctD0cS`$JJ+Ļl]TO.W\/Tnʁ_E)Bf㶖h~0`%K\l8w'LI@jtr L<9z>w/,2" `{ 9-iF.$ 0H6EVc_~K}o(ʽu%x$p -T# $t\>7ْA˰=˘,g (EIs Mv5qƹp U4=됒B\űX,Ut U:ȼGSfjd!~3>F *05rO=/`S%6f;M. 0W~6PRddعA Kĭ1x_'n5f_xL]+- c,ns8COf1Q:dh-}<-'/WgU~U2Y`IÑX#^Z[꿞b]&E{ڗh?6￲}{?5ݷ`$';Йc#xH>'>^J3Jgv,őXtXӉ5 _c٢Q's{9z |M^0")˄kS[%82_fpCr@dmgx)wWS&u0AtTv0rLmC23Qp I ;/x@zqhK-ى3-i%M\3MRm9agl _ KVOKs;?K=+"37\ykUL[싑hEd53 X-a'ٌR4I菀 %Bz ?G 'Ҳj@H3vHsD}0p?/= :$*̀m04M" f>'t[svA`:yr9wUڎ@G {~} ϚDqh+EPOO}T(bzoI7~ Y 7)Rj4]leYRʼˡRo.QmL&i@RBVXybH# 6"kӝ5?'WL 3ጃWTy)d*?ΈWNՔ J) ]EF89z|ՕS*#^QG/x2o>E <܆"~gDC}1=J?!Y.oP6 dGj/^rΘ4Fc`k; F_ټIovehpd"8sƴifpt "W35Y^w Hd}T*-Էd0&*W(t6:Y4PݔfėEafQNBXb#6ٳ}u0}3oĨo"f B ؒLLbB5 6.[gdB J$aۣǎN 397*0@bgDs,x5*uYpRlHe FYE{t=H>~Kz,a69aZ5`:Zzk@#v榙BLrZ?vJ*rpɓ" òl*а)UvU$ L4,zK³(E1m ӊb<( D7N]Ȼ:k)>{)+~ %O5g621k9|_aq!KJk}>U2|;̀L:E3۳V,˃(a|0G!.ws.ΙlaVRm5theS?rIc^j_Z/F ',EX^fv3G& `_?N `:I@sr5qdhc&fy)`O$#TpMf>XRRI!BC?HTP ވߣ0#7څ+/1]C Տ~'U$+ g}gnyB \}RO@\1rof^P^[ 3B8сVp;,HOGư2!j 0w01:۳ m vl2aZ5k){¯0R9"71|1$GT |U঍Wςqbѳw;&Ci7m Jґ.);A_wejFsh/FR/NlXVCXٿm;bqNGըAP& {kێFqٴoq#E~or#BYE`]Fz6n$Җ`42%TNxѢذ{$QЃoE,D n>Bȩo{L?[^l4FicB2EE@SLF`/kB%$yz kȸ-#D<͑L!YnK&_$\/J2OXٿJ^]9mV]HbE +VH kIMi-8{Z mҴDX 8O5eN^3;WnU6Ȫ,xR gd5O*,toFgy #@nCnmp%ݎh0DdmJYo1PJBoSO3ܽ*Hk} p6RLnS]yrWps)`3Ʒx޴}x^'<KU QNeuw%HKaet + |*˷>\ԜG781^LY遌ZM>p>Y􄰂ڸu`{.c -3~dƾZ4Э6I6`Ԟ'垤R$y/A T/ c5 i|'_ Un>VHrhE~"*%ڽsH+||lVrzG z_M̃6\c~OcPJlZ lt>,DFLYMR"iTA%Bb\)c|P<p&m8$DU<5td:)&?J}_kˢ+UU.0PuF Rؽ]`A=Q4M}L"x%UL\>g8 8ыHgYZ71adf6522c7cdd7a7139c0355a1df4a30905b81d3853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 83ff64ea6a2b070362f9c43e10cd0cdb2f17973f f2c192cd6f3f44bc765e1f0abe3a1dced3efd4fe 207a6a1da5510dfec4c58c083dbf6599104a94e0 b1e591dd0c8cb6f8a1f591ccb139bfacb93a87f7 4b69e5305d488844c9f39a5f8b82ef5b0768f61b90b1cc8ff3bbe7ed3facb61b4d3f08475a8bb93f