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 8td ]S]CakeML:threads=4elapsed=368.318cpu=1076.344gc=125.060factor=2.927zXZִF! 02]ŗXf[&CiDu;\#\)E9-Ch{[n&1;ƕ`6HR`$NU5H` Q/mK:sk7]ABajW:zd&lZu"aצƽsa_/iR=tnTX:onkIsn". |( UOJV򕣥 "oe`AB )*+<8s'$Tf'}Ē==F% \$r ̻4˗eW&Opit:BʠctSu)I>˫I,Yre kъB9_ꌀ<X;ÔF4{H_& 3r>+uӠM-f/.Bh> ͂q)ωx84heRKf@bJ\g]p3LSYrSD]?QyV@FS {6o?̑ž4 l<^p6e#rm\) Ϩ2/d5v@JK{IgDI(@nG`jA/Bh^3L&cd)4I1Mye[șP$ lZf9ЄҨngӸ BZ_3a~Drj0-nS&JLG@ҷʠJvO=rP=-p+>`7e5 ɼPlݒ!+z,? =ےM!Cd˯8V8_"b(N,˜e;6[~)lC+膝PTy8[d^k i?R1xk1=NB5myȇ|M/*Bv>:>Nm-//4(9z~sXa4'x]JTl"6o7Aw % tSy@'J99"ƨqn(| IqӉa2<\l!F nSqdhPJ<Yjh*-.yLm䁝J$X}X&2"z( }POtjek=@g׃PLg3<|G VmTT(hBmz:iZV34--2۳?S!Ӿa;;Q5.q{ٻY̛vb?winZޯ]p25< e1`"fr%#sqSؾ1 HA-^ Z#3}`T)%5V ʇQ%*gڱ s+܎!Y&J:LWgW#R)9xeR1yHq̓)/͸̡m.Dd;MdEGNO yu)Kܞ{ -ڣO. /{K"ZaWeШŹD9{>%5TJEJPp}J0l] 8EqK xOM78?lRPid*}iO%[S_樆)ta++   CakeML  ׿ϜhmPESpl7iK/qó29>-Hj 0 |h:QW9XmJk&*]S<\V!E Cs S`r~5U%OG^ ǻKƂBCș] ]dZ|xj W54媾pb8;R;[9laNʹb$C=4lp- !P Xh/ ᄉ1ٳ"hr`cŽR\RbGzj8Mh"WYPNQq 3M8 D09O*5*!o: Rg3E)֘w#Jw/ օ?#L'eM /^=VN%CQ(w~]f)#x=Yat7s+T0IK>06Cz"kn:EV[]]G/f_}6J0 Մ'Y'޵}?E7؏Qc$bg>"f[0fҠjR^2a uఊ1RYw},"?a>:aefΙ +Co۽ )a O۴|5^n(8ɤxqhnAsɦa? a(*c/n] R0D/ѩ4g +Q2cpQw󷪇{("0[Ƭ&-I*"4Dy멍?`G>U<ёPqd7@U(2,,,<}AgX1C 93d|WyB/rVH}f5B$o6_!NI;BŭAsdž~VM 3,xa@&/zu]M4-QrR̚ Ɩ+{H"G#_ Y {m{YE)_P=9mj뒕c3X93Tsr<^DTUfN c C0zâpJmbS7ĝMVhdve5\=KGŇ})au+ b }V nNWP"|7^&Q(<꿦(J>/oE.m/'օBR&qbDnB/إEOJQl9Z.My05ߨpҹ91*f yM׺3WӠD+ V^1gvd*۲mr.2J un:}(gVq=&J,toƝ18@ I%`O.&lLZ?<:1<ٜikHsA}չi>SLN[mދRwY^Z槜q$YƒO^zʏ!?gQ3`!NI/}$LN)[=b0ycNUTP iL1p&WwU"tѤq- Z{=7u,eЛDTyo^9n0O4c }gɏ;yK6 ܟ%sDx = 'hCJ(Hg4u,^̭gGx@}bKpdZ8xYiPUflM?}b;?^xݭdpy:'9LIF##ܢ/M?Elu;ܪZDk}$5_/tj7xcZI=%X]A.ٶ1.PCy>ܠs~][XoSL`"L0Q~mo`u{e*zo qݡR['`=Q$iHO2\,]=Ʊ׵%eTRxA`<;@m)aDxa d+{X@zhc KRn3*%kqt"tН?SDie丞ӝø|GJeš퐃 vŲt: ;|/<шrw*V%ʍye9!c[]:HSAMu[[燡3R(5 ذ37^N@ ;N iˌ_f10vhT $Vgd1P7oCŘZ}U[<- 7nq;`FGۤ >qЪe.kަrIvcwy78 lQH6ų>#?jg6ӹed6q.[n+b1HGgb*y15pWHư@JIR SĀ5hTX`-@F{ v͒4 =13N-5%kfT^~f>7|ˆzLƑԴ0J}ϹْV6ܲ'.dlɫSA Qp1$ΧWSGW@oE{XFbe?b/ـ,Yw9$ v؀10[B*s%w#t>hÍ& ` zFoá[[v`:+JRZ݉ r*躩a:&d40g{b\7"FwyMjdXN+];P{.jR7TW_SV)wGuVIngC W|x6;S>Z_cX#w&S6d > 8ל١,B!uv*?F;ROSC.!d+H[PI*Mj6SQK'mEz7[><մ=3ixW@&K~kb+vbr7gӜltI?nyڀrgE.gYZ7zXZִF! ]ŗXiɟy3 >u{b|ߏ@@s!A&WӃWB0';`dYW0wv ABeF= VROgI=?8^e&ϛQB}!VoMGyn|~J䶑)ꅲX9,=×F9Pd r ?׊{m@J}++"a&ζ!\qɍ>YY ~G*fXy2w:h):d#hWEp4s3:{3džE,t? N?Ex9mӍR9$yq~^fa],ziuJGGZ*c5ЂZ`U,(';p Xt5U(I-/X0X9gY #Ӵ^RI;۲~K`I3c(x%%j|!QDr7:ÔZJGv ClGaбjݕƶ#U8q^O<3q;:dYtP͸ՍXVPXB uUcZwܰ6#R>H}*ei1]ܻdZ/ Mc][?]-T4JsӉ_ `vfpE=)nI tk̦\zez:T(}L+Jfb%p*fH%(`YĘ| gIXٺ8n>]'?6D =y7`/[G޷8VJ t *Wa{W "RllҼ1` `aH$B&Zo;Pg  d++O1sGKk =kOO.SX̬HJptק,.Hxqъ]֨SB_[+:M/ @EtwZY4N5tJ oQNRθE}ϳ>L6\)ФXdEMX7igիW1xj|@8Wʰ -͕gYZ7zXZִF! 秪iG]ŗXi%Gf| O{Aa}}O` ;-L,𾙒 LS;M?GSѰu,@&T0ay턁_*J ~%}2)|=M48]:ֹ.n\bVlMx0ЄB0v-GO2kC}ZK *%&V%דEɍ,a/raq!b{=[ -U(/P~vE2#rQ0[}M帓&o~`a[$oU8 x}S!SV$7=r4;VR!% ECh78_sؗ¡2Y[/b.b/A6EexhKx),c6Rl+&Z+&̚MNx3]~ -]Gװd%*x<@ `G#MOX AV`,V <9,IV7jM1E4:ʋX q=\cq}~nўxgHhT/hen(෮a ȄNl 6ƯŞXʐT3Z M,72>IFQH+{#l̠ʼOC庩A>)q?zco 0κ` KЋ\j~dmm 2j)"wسv$6VwI.1/I Jg)tެ1SS Ff9QY>u'e̾dߩ}_wY,$bPh5PZ>X4 "[%Pw{$Qv}uh"5)ΩB DB`ueʼ+nf d’s0Qtzdo\at7 j Q8MtAǧB GYf`EK*)ރ⫳dU%#tF3Q>I`xy=|-7AŠ(h8j/~3ϡIҌkFc_04[ԩԵhn 袴]Fk쌫s\hy~rY"Ug#+Utb"١t֌8OK aKH:4@\= HOGPxoS 5xSfl z r7^*Hyb;{'1Լ>vDAY`@]vG| -ΘrP*V*۞"pBJM7^ܳf+"y7io+$C/%mC^ iJR,M,-v镶u>zٍ'Ag9*=HJGxܭI-w9 ]VNФ&'"_f*4k`;;&TF4"1N\AK]Yޱ&w@q/]tlBNP ޵4y~&*<4wnO+&tH޺S-tM.0«L,c?eDқA%Yg(8`=I($q"܁(Tl\6laoUU(+ۼ<4sf'Z K8_MuR26e pxcdZ& V7Cȏ-&gOQlE5RX7~vsY #t<ҧH2#>AG-s3gqdƶu ,~9qʈn~nr4p[0EJ:V9̰–rlz= BPs$\Tvl0z eT7m ]w'6Vehu{' }EֲS6>kiUu]Xahs.Cܠ,((^b Gfcyy_U}9x{w(G7z_>φMl7 -y/*wFśsa\M[x]u߭2mbR{70/ݱVNOj3Ey8 Iٗ6SG`)j8̄^tM )HHL_痘#kjE ^/O?Μ 8 $i (jxEd#|Z+u5IoRgFKKìZ 1cfU/g'T&Ez!iĢ|OʊZ$ūiu%R^fB*"T[f{21)Șэ`>=EJQ$Jzs26i:LnhJW :@ڗx9\uQ*YOgP5C5[=We͂>XA@&W'O\ x51psRTjG0,ԻfNh{ȝ#Fu0/ÐRn-]/O3u;b(mjgmip EB5W.ߊ0 TPMIM" m|<3W // -:P8 3q̤c+u6! p &m{ lGڽO}ȃpv{T9Y(.~17:ش!96p2qg%Q/|&DK !PU/-.u ׭3 (\ +%HŠ.˕B^רm/{i'D;b%8I'$SFj DFfbP@5:I:T`ۙͷ "6s5S#FAФh${5FR z2H,aW YFN*jZAg²^lW_{mOlb=ItXafx̣7):zDʤfdyFHYFuDkؒLn25$r&rϼmap/]rXNP>:]s;2+܊V>x(),S#1ƫ7NT`[] rğ \~*7T@Kq/:p^ +˸"V 7MNou6'Q"4I}^D1 _ǘ? @CC"?HƝ|Aixbzbgn1j&2|z!P3_± ۛhi 7=E1^I!:?z&IgΚ]obwdW`]&*a~9~IyO*MQSE=$q{9qZq:씀2FԷ!?vf ^î`WhjEM]|J%:\݀ щ/N2W`&|qߪ0}7p }&.ę5 ƏC0Xx1{|جc03 *RM'0UU~Zv{`ut@':5,+/s,r@<^YÛ /A &spYI/>VM3B"^>39)Cq^E*fcҮgR$[.8Ht-ړmoGMD"s5)6װ"\qQT?r39FɽF OZD ?2 ,*hrqdjC#ѢwڻP~`ԧђ:\_ v+5C+9T8gZ{Jk(\$`h A)rIv-N,RXD !|1x=.^|pǨj Cs*Ԓd a=hlÐI5? IU>[Uy;[1;e< yM0RmϑZF>%s%+ }z~~Z~^~5EχRѶڐ {>p1vk2Kl2dGcѵ'߸9wj6OXu;W =h6-s/P+0$f4>ݐ"xA.Wsl@d=HW._~Pۖq ֋F #bnT8M&LZ i&v=}ra 9I5nBs)XLh01Ap&Uv ul:&¥YF2I~X7(.c k<:[]J mT3580أly&$q[#dӵ5A%;-\( y6_Ѿϭ~^5=-B.nk?TI>8`@Q"}16^,h{0&0ZUqJe;£w u9QQ5dp",(h,!Y><#(=8 r5 Q<:Z#)|r[܅_ *>r {:GDf̮S=Ȭ>Y'M콏YIeBhLGlCp|d\e"QmS؟uOvlp=؁+QSZ{lKW{"O,U:J3gp ۳2f ux~kuLIPmh]i;^v˫*{aN>DEN,UkJa\TВ*>/[`D4B).y`)|j ~lc ,-֚ig6H:y|av+G[ W/ȿ/G wEH{-?(gK],Ȣ4-wQ@UQ]e %i4Ewv.\0xՙCd/u[n`雙SR=vQ E:P;b!{֔MSwS,WI{Z{J{~0І-њV u0+dP?rtowUpDz; O p%kSjʸ]% FpM EҷgJF2 bնSFҡUXݾD /Q@8R,hy4גˋ+O؀>ʋcRa1Tcr' E3k. !g]E+,aEåb7{rz.UA~z6#6Ȕ۔pXv7?ͦxN{&<۩0ÊwW=DĤVFs$]Wo;ҝo?|!EKd&eR:#P4 Q fBub2Kw/6_eBC)Y9$l7o|M' ~z=V0*2sJj) NM0ilְ(UT IA^ ?3ݱfbC/9[v,? "!aeyӐg<5KY>%'*jj \%+E6ju'uRQ*cF*= ۥTHȨa8^ĜOݶpvd8×j">E]bA[8_23<,SaFfn#?4 'YTJ@}Dz2\DYr:7J+Oxq~=J [UV-+}ցxp)>vW{bm weZz"(-0 Rߢ&跷Q4G% N䛉>6$"/mr=*ۣV Dlk.jQB38 pC{wP='`%$P4reHbE5$E承AY#mkˁo!(4:Qml褵BNCȵ?'M&?Jd2 %1XkH!$*|(+ɊROҸDG'52Xnik}ܵg`ֈwBVuϕR?}'O;9+%$^ 49 ΁wM?.gBnR q?PI|Ǻ]" yŌƑ4g!)ܳz<-1]SӰ>rK-Zx}?:f ېVM°zDWUnW=06_FR-5k3gfLBw,;w*OMG=w^FWʛ|6["*h11qH4bB;՟-彫VC7ZZy2+tʂcrXVbV_o;qu ?\(w9Ԭ+^6 \Gj,mJGC 4 cPqbrq'$ؓ)E0z%c7,VaQ`W.꽂,ȠE^ѳuL{R;g֊@*rڊ(eǍB7?*#}ua= t.XTL׿>gZ-=C?O_ EN}o^t|mY%YVd*ߍ\ZY)׾NjPV$sujq*K-5moH5H{Nhۖ G}VضPL 1"Csr!{IjVA5CH;{--"CcSٜQW=Nd`t3[@8Hj4t{4욮8B.Gd #@`i&X_$P,PGOI{=0}j=TaxgM]Je.&n3Q\j|=w΂-BmǓ ɤnFhmf6rmO0Nk!@#v쫖tZCIzVt}ߵpBSz6=d~w] ZJ<][c jf)XRwx }JcPI _F#5~&bƊE` ,ESe6O」 {:4ڳ"d7\%o?R`# aCLA+ ,֧>?M飩6[</eWߑֲ?b0(N#=1vG^cja2t_}%>y3hT[vǰ=ϧ[T F]C& ٣:y/֔*]߽oiGLͿ,*l5>Y{smcdSf "oۥ"b.8hPSȳ ٟQcC_!˅M,Zjc*&MRHcV}[_wGg%sBT+VV07t5 _t wd~xaMBAxؗ#Oܗw@xOk(#FCrرjuXbuu2t٣SPVy/G_6kR31; Pynb袵Z]iZ Ki `:1H"-j?ʔEHb5yNy.݄PJI#_\${!Bqg=[ (u"%ŤRߠU b)WXYӳnUdPM9Je 4IhAco"B&xрn*/N z]G'KƌbEdvw∞ޜ|DV+FsXthowey0ӨEpg|KsǪd5渨6xS~܄v#BS Dzc%2߰{_IWI:8fBo"iJB`[Ϯ8ywwmxQ$hp`H 2F&ZUXBNK3*L{:X>`36eC{`W,Me\@+47 hCHAVeji3V) 0b9n{}B(ny;.1R3sU=mG<Q kHZ r@1i-P9Y-}W(,/֌o0.|BV0EuRyw FUdU"X.bQx<Go4g&m~ Dj7@}6- Ow'C2^`k߷%b 6^Z~ #圛TIAiX*/tycw&u=2=uVԃV5N 溿t+Oଈ;3S$j}4$?}DOts#o7ɡ)mOmTf夋nRZML< ҿ ,4g!xDŽ W-}&\ꀜy|`kBa"nET`AW{t2)yt}Ƿ9 @ ;Inh @差ч.)W:m5|(!;e(qYqINJ(]MИᶄ雺y5؍{{#nj:lGW>7&!|Ʒ)^OlL$LS}:;b).C NS蠔' E㯰-LVACŌ ׁ6.ـA(6{={֥DGiS9Ue*%Fz$׆H1Up{M5^7G9G.8XK,Tb)S4&w؄^ peDW2goO@D̛2}Fֶb/gLhT1txvL~Ga-@( St WԙȣߓxwYQs дbڒ*BRGEX59_wi^?T16:iقtZ{GE@zK%TP.lm|qm%DίcGs/VHMa#a=1Ў{z!%sƺ$̚=s1vqZWruA,0uWh Z[A(=R VX [I#PZw¥Fi&2ѻRߣTA!QABHa`!J}Q" '[ʫץɁhf!`a iD!}jCZv|[ ͍&/޵0qR-M.PQH4~NN41?].c /dt$Ҙ>+?1a@!qǼ?Osrt`ZW(qeշbp ՏQ"$|AB ::IDx}yA O^P&viw|ơz~\;fg W,=湇lPE?T$xݫQج] 4 n IiZMIE_§Ȃk$>^KLPU 0䜭nR]0)Ms= z<~s|PlϾS盹Ao46w_!>_Kcē1>RݺݬfS`e}w]S8vzCg#6= lR]] Z[}o ֜ I<}c5h}ܩzJ{oQ'\Оű" 駟qVb1JyݠWiӝ|ۻ?N#q8rPRa$1>ls RNw%p%TaLqH}of0JtPnA_G}JJ17v,H6Q| BU4FM}j@v410lP1=+NA+HQ^Q"%d|_} ,O$U\4!/[}2]&|޽xhZ->꼓k(ZW5 ׅcn*_÷hbXWTN}(Az,,MV7/ &kJC6µ钲uG}ޅ3ƼHP>xdOKv=ڗO!xQOVũ6.uKo`^7B(Ee+f 2hmsRFK&vc(ϵ2F̢Xo[PIRsЁ"v5l[aY;I~OQ ̚:-`̻.qbJ0A]|tN]̨&SF=Rz M0>+O<`ӵǯ |v_N@ʻv}Ba2[MHƯGtqInOd+IJa4tG? ŶLW 9 `8lP;xɊK-Ӽp]R ;Hl7KCQ7V?+.fD:BSJn6H*8hӌ]QSwtdaq̇ dLGg%EM=iu!a@D¬5K%WL68=} W\6k c}9A9ŋ+RQ{?Iq~FHzjRboV9\ hrÏKQYtr*mYWWX^"X i[${ԭqM8ƗG H$j V|pO&1B N&'8o AJu|P" ='@ X8+ OTwNFa‹A M(kHN5{oWgJ,N散(5iHha0qV3s:!$ya?ʮ񸶜g;'%/dnѦ8/bU#9vc듦Stئ5ϿGMbovn{[ۓ6xDcRg70eHŌ+:ba j0`Dn?SK$K}sxٛh#xk/FOys"EӼI2v\|h} .d.^KvMZ<A4vn&,glnrfI[S 3!iMV,HŮ4lUSPMNe_N!ArRl@p`/̿"j!`J O,lͷޡL]-9Z4DKy7X"ͷVUbbdz=]iHs6&j,^yM,@9G6gldNO(CSo~LqH⢔/rs^S)3G[GsRfFܾ41n|[}ܽU[nrF408_ o$D꡷> (BtMBXw wԱ/Y M5U5m5n$$؅^9381( 6]x^㮛9>yOr`ӦL%JwKِ쫜BYYD H uA5}4TԮdM*C+['so;X@.<ܿm P "ftT}ۦN{jM{VKWn" 9~ ʱZPBKpny\\)y 4Y*=[}ahMtrDd&1pmXV_p⫙Zh8x&$7mF3:0`hi>$%R˝2m\/16o:{=hit*R26ʆ̛M:)4iͱ;uyʂ>$~yvn}jjQOKh|t%Ÿ%¤-L^L~n '(;Ha>>!Έ\5XO}#̻'N1WfGvuI kLaʥ}2:0S:v*d"R''={;1{ NG e[aۭB:'_a{%HL4*$"mj۰ Q_[UM 7=ʴ.ik[S^ZbVar {d/?; h]k&Pl/rDcVJ$p^M&RkЙ5_ Q,3Q+K^RӏF=>rv!?ʛY/\L:@lbzO`oz46-|:4(@o=u\zۑ72PA+8qlUB>+pV1x^ Ed48'hF1Xހ*$],6s;0+UJ;I /l8Z\VQU_qk(.O?ɖ_3bMX_d _ZF߄tI"\E!-l3Cy[2_FjAU-](OX/ 7"S:fiAa-Bu3}ruR!0*in-Ac}ڶP<49h`>h,2hT䯀oUYY=4^/sӓ:1c'9tPYܙZ [FiO,RjX|D)3H?:vC[Ȝ2wlƿ]}Tva0C|0ȭR8jdz1]Ss>qtf2_s5sM&&Z&yx7|eV[HAe}N^[X||ߒOIÁq.`8?(< _5Uȭ P<:,0 (`dJ'b^^8(N'~(l_·dD҇ηEM1M[ 0BG৙d*W̩d$M~.TyfIbq677QrᄒBi:4m2uwQ݈]یǃ~!Xki{A eZs0ySM2 9Gy; iCf Y?ko/uΨnk+ j\TNUZhjL~F:!!nTB+pQ,q0ݬ[<"S)b]hk#;Mwl>/'Wnr8WbnsFΙ"c}E\'(ѕc}{ Gr3I 73*W-ѲJ~#<P-(NҒ A#PIL2MH (@lc3[LDae(WSW/H3H*W'Vrc^Y!A==]16WizD;[MoHw0yO`3R`]2:A.]2Zn#Yp;<Nc36(ݧ+Vd*Ae˽W'V))0dq;OMJ Ѱ"蕵I1D 98!4踂~B'UE k(9aXRM+ [t2 9&qE=E 9ME(ɫw5tUeG桜f6a[vդ|t只 /)Ƒ(KҾ?P4W g@ͅZvSuPh+Nܘ~LEq[Y䫒Ň 7T;k bi3G6nN0xOSHd]\ѵ4 -:e>P^ʨfw۪,ͥ,S0*O|7HÍ6xݔ\Ϳ1P${49_Wdx+t|Ė})F Ft. 8NQdkWt@I4ȶsa~]ioaA*ݝga$ 8"7fw➎v`H+ih5 *V#8#9m?d6\J"ȈZrY5Pi/W{Mn]yLH4B=DF|ừT^8kC33TNzrޒjQNDwHYroiVWI^M.;sժ;K¶ . O)W[/ @ 1+LKOr5ڤ".ᶅй3 I !JH3vJG@r3b+| j7Uq%Pcb6/P}r?a(Mb׍NIctZ1(Ρxݾ#Ts1cxCY⨥F2k) FݜRBM/6TyGГC'إ? 5cS>-?|-ܶ9K;9JxO.%E)L#β"Ӌ<dF 4}yy>0+וZvxzs-;1>7 y $K՝.jE<֤B;x纇/`yI;J3X}ITIFO,Bw2E~ -g?r| ~ƒ7a ku[BjOLd\}e ^,V" 5ۙy[#R >UXG-lOx#u*ݔ47%=xb eM" 0nV0)kUqv&K3IݓL2P?e|=f tp  *;X~ؒ?͈+8 ⥟=pk(Bjܔ1J=nj/u_a*'NѫIcau#^ڵj': FΜl@-z\xjEt'AԖ"UPP+chJmU4ڻTri)Y=J]$_z~-GdWѕݛD g̱F`g3P ;WtN8Ru/َr')@QF -\IW]Y $2RlXHIpddr"`Nn.Res8N%r-JA=@7Cwݘ $\Sd}W_'fr(DhrbQJ=&UK3""7[ɝ󩅬-7"\fߥ۳ɷ#K@75ر_#!y LrB" 4H_㉉ã|EDRez{XE59$iFE**Jp}.|fQ}V&f'_%TاF%;D"y@Uzׄf/K.[PkZĞV0 ebˍ=Z=Ρ󃢿Kʨ\GWU9H-ԒF5KTR};a5zF y2s0˰'ϴi$ȋ I% BBcZdT@~honZ%lUmfS$ W%UboUΚ$PSm3)jfKJa:z)N7 R$m.e ˜O ^qfg \ֳ_KBZg ,-f\mG( PDz.A8o[*>t&G G n*ҧC5Bk?_cb| n[Rғӧ/'ynxTy֟Ӓ w?Ymn_G'1Ct[œfv_c#%>Ki?QrΩݶΕ4cẏ"#՝`vLj䬜ki5<~" ߾Vjz"Mʗ~ Ƣ`Mo>gS{Mk70L2N43Nґx[ 9Y (UAm)zSyaaG/11=,5^f*>s3O mMOyn鵷r7_"Fao{HaߖjG !Bd8' EeҋF*OL2M 籥|qu 18"&Bʢ6t(\*K5 k ni59wMn30}ښ;,D`,&|d3Q ⧎vr[[c`>&AKx,e[U=(kdrI|sx]Pfݯ$rJ|c.k-4bJE6uQf,hk߭~hvp ^f9YB"o;sJel;x^i"͇OJ]C֟Zf_ `Vӊ3kTg8S}UIBK\Wok~gBiajsTjP?y&h3|y`a}WW9_rD{aTx;(1?W *Шr\p{s AE[QB,V*蟩 ҎhvF>`mI-$: /^|rs le_7ɝWF.$@R(-(6GsV?&&&1Bjr!q?@̟\ۏhzfe-$ &P"a-ȇ'c›L-G|?6qĦ]L&NzfbU):El0i~ȂyM`$6x5ݴh@mSjlԬQp֊%yxDp?c%}5SGiNڰ(ejBEH"M1Ml{ǸyOLJM&|r̄IYY{?Gc-\ޱ?qrIr9<@B\QE" ='v+nCY8JՑ ^BNSBLkYɲYO~KVMl)tぃџ{=0UPC :)Pe^0GWS+0tUd>u s Q[o@݌bޥnr;`}BꐨLfD1vQwuyh˩Nz~vsΫJߤmiM]Úiߚ;΀!`b>0Vzi]} DC'AQdsE2m%}hP֚Μw,КР!'c38 D}1oC1GŎ_wsY8#2agӧ%uhPn']MβL{gYZa449a4f3d17ff8053b363e71fe037f1da4e290301795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 6828b18d7acb2c1089fb292d28dcbe3bda6680ff 58f0ba1ea12359595455396911235cbd6133c2e535fccc1f84c50c43f2bdd8320447a92c2deee26e