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 DD%t\4 ]]Echelon_Form:threads=4elapsed=325.174cpu=1049.464gc=97.696factor=3.237zXZִF! t]ŗXf1-q恈͐7ӺV -fw0w]BjZjfէ]JUgǖfN&S4q`\lS@oeU , 1QT=30`D,pN8e)LLuf4<D2uH2yMktje| 3fSt-0Lo! l xLphp!KZi8RQ;.p3_7qLnJ1ySGiS:$jߙ +?PEt`ϲ0PBZ",U+CerLD6*4}(#b<۟Dı\*EMb[p e٩n UCK[é8};ǟ}{^Ep8SKzqسj-#L(8-3 ;!>ett֨JZT:czUF?αVM1yV3g]P Ƞ>S D7aڷ,y{謷cznnB, "a!f-B˛F;n<#I?)LI (߃;i03CU,#8{u/ Cy/|YA d5{&S=Ű (zu}HY!{?n}F0K3ko;^8:QzN;ٻI:ÉS<DS1SM_{Y9}Ϳpk}:ֻ8XӝՕc}mK8Hy%>]ŁE]_C8Sy)U25-Ѻɐr`6Rb^-v'g[Nʤu))ꎘLJYxc~%SU@F?&_,au7X?PHmսmᱸX+B;haW*O=o(c0G;`M,B<ɓ3>cBe4mK8Zho_)gl_NʃkTsҍÀzT.̡_yL(-ʳ5}@.)+n[Uu'ң^gnWZEވH(߂ Z61IĀgH)-KfRWcΠi氽*31}%x(4MC6)*Ua"k۬yΟ]#pW.[զX&ط,uoww Bki*ӱƻ̗5y_<}GtPCR^ Fꌋyx1@6~F,lQ {x…A , ⃼7%Tײ7$.S|5݀4R(ߔzX Ȥ<[M/'cS"g7)I'j&p$p vNm z5W~`sQ5k[ޡU~l`G81yXaɜhUޙ8"(@$y5>! FWPhܺ.+ypn6r0#:p74; !҇5¿I4)*OQl\C+iSA RTs9F"=S". yZ}sʇvZ-OI俫Ԯ㸣>9j=W9YHQ3ؚF5B 앲Se-hpӪѾ"D ޲rO)uێ~U(vM=69߯~-^l4Wz\5TpXy%{Vh9$|kתV޳X h0\j !0Ti r5wpJG"teD(̺k1HRe6u5H"AVC_]^oNKj_q7 V_*Hw#O* a6˃`#_QD KM," y[Dļg%]σQI>+1$mˀyChP u\(LR6]^TGYL\fK,YZӭ9P:)ZfܐhAm6oh\qڌH(qCEAb} yjzv/~ =grvp/1p}uͳ?d'qVеR},AfiBMc_@o4C rhj4S)+9pBўx11.$ :,æ]6BەUH_|IՍBNVڼ[((i-E G0MK;Ty)}p0|=fhØKH,x:A5AiXWc"l]-bl0wćvj2 16H׌Y rj9($֤g& ;Z\KK8 Yb&G_/jq+^#eOcHr!3XDz_$Mߜ"";w!܌r_``` Jyt mdŔ|cYIT]9\U c2;˨z2s8E/0n9\Ͷz>_ z+lNN,{NJyxy5O0MtڴY7 % Echelon_Form bb %a+ |Echelon_FormEchelon_Form.Examples_Echelon_Form_IArrayscode/export1.ML7zXZִF! I]9 ! kHW5BD-şn+sJbJz(~w1 Z"'GQ pF  iy׾fCZ'QoaT*r[!L)u;]Pp.J- =n1Ζ TۤI \?MU2wvo ml0ݜ|zaebD\. ] i);Kk Yu$bWEM(׈A`cq+4FT㒪 ;s]iGqZ2_ܭW{JHLV3 ";'3x6~?d;س]5 / DW&~dAH-ݓaI EV-Q7Mv/{viڧ [3 ݁^$n!ulHN@ ,95؇(MgVKRҴwΦFyB ?"9ZMqt`c^Λ4"RZXbc;$N^HxMx|D4HwaL9_y!'n;#0 A2C=/.,j+r'k>V+Vpu0WL\U@[ OR `߇]LXWeգGX4au{#o v ȉn>PX^`޷GmŒȴvDV |α-|a 9H ?YҖ4ךQYA3Anxzԓۜ=-P .Z ՌTkX:Ea A;h̀ע*O>EE9ӂf椈NrYS1ԏDS[N]ph=6Ѫ3UI7eO`h@;o7nsOxtލ7ׅFxΨەБ1\#41MJOF,!NZ?5xBm.N3BbJͧ&cn"yXpB;/{R'cK$Y혋ָ]bօ 'Px)g2! 2%Ne_W̓GմxX_иo▐wkH !!%[VW:9]̔S?¦q즒MfU4sNW|* `'B-[,zNߟci%)g%زnݴDA/\i (טFȡ, A>,Z=JJtpn:JWoad!!&+rM#*IHfT~'!t- ҅&8hͩwPK"c_b+{?A,7?Ҟ Dx ܤiڑ+$؊ Lp)%-ZD+sS3V\]}A5ЭDQJr~35Zh!l05,dGc SQP eHg0N}ף^>5l1&x G3BՖڜYgE3`JE=٘t}Re=!f,吩} s92ROFq|fmraz[CٯGS-vPO7Ϻ)BLn༁Ȏ$PZ0AkQPNRʶ0hkJlJ5@G_}5uΫ{ˤ]ot:葺ڨ+z4Qmt3,pcC +ɭL>!G0E6 FZ8-*g5$C(🬱*t)]ԣ݄)O[p qBvʞ<b򇷁Pt.W%Sr^!Z;W䀩pAC(.:(ۋ9\u(54Nӣ R#T9Yni:>ߩPVD-o _]R.rIVu~X:3r{FoFͬE.*cQ0x+s1CzR-"W<>MCiC GmvYR>E>OWI>ekyqN<A{UTj*Է54 V)RM d$^ `jlԯܬǭȱͿ$—qCKwA&.t1Uga^$.,oL6_JS&[ 45ŊoBz#1V{RT*EMcFS]um::Fgd#d+>$KY~OӵQɎ|seuȝruz'Z-.A^PtNk/5Tۺ7ũ88w89 Ⱥ]xTg{Yv)M~臄l/o9A_G׾ >uPHy^&~þ:RGԥY Auծ( !9]\GZ5L/50|`L'ijIZ}O 䖨qQ:: m#SޱRBrh;˕p)cHȫ!MM@81 yg(өquHm>6i"7q[f#tJ+0 (NąDDKᵾ^c,R Ȕ|&(s1azd`EN ҴZϱȇrǨ~ao'p0\\CA-r$28Ղ2#=*^H}_POG 4-s}5ˑ}|Aa'׫se2]%ì^$Rl7@ 0+wL&&tt&X#X"'CdZ>u`Ç>/M;|4,A•QL](?OS"Llxf0}?K&=;,yH8R__6yIM!VunAơi2!Q74km3:=Xvtx-<$:.qiSIutS!O ڽ-RD9l0Z21%EwQ.?sY?"#E#_  }AЇ;1t(l]&3 BG+ȕJM[:*a[ĪK"dV&Oo͍$H8>cԿhWF?=>I2\gZZ|b|7j&>NPSf]*cҜ?4d,JehrsyS'qK&ka\py}ٿL*H:c=HtgLq"眺v'ZggRJ,W(-z:gF۴ȹ\ɪθ&|Ƨ%ɲjT9K}_wB \A;VCw 4lRG0GGႮp$N;EAU] H&cڸ=l#effpK0]dc>uic>RDh 2TfTnxIeKȏ}ˈ1kģq*N0&h##h" )F'qDۇ9GdW'[6GĕqlD<°Ic'Xd/ }çm:GJmN0 't__xСeATxvl(lJTObGMTyQ)TӦAZT"+= cj3ӅL}ҵT5s>C?ۦo4 ӏ*ߧ1G3 @^A7aCfIP`'!çKh HH?USFעdPz_$iv`M{eС߷'$-&pf"@o ]aI;W0lxts3%ɫJ^ e`yOa`:ٲDܜ34CQRVv@"t1NǃN~Ҏr5Vp;WO7L"7Gꥫ܁Ňuv%_5sEuSI~5E.5ド~jك3uFb M1.6%F%cg[-yrPFlB}T@7eтbu3fKzB,饘WN[P@FW $*U6k@/m5}Fb*:p|rבj[FyZvBD,gU;H-\q3+Ɗ:gEcĚ V-b߄3|H2ƌK(:Ӆ8- o@88cIr`5cb4.a ;z.-HPjLO&N#@9y/],%Ϩb!׍qr^Y*, ~,Oe˟!@ ?=}~ tʾyVa=CK>G ZSf#'gu)%&רD]nuECA$y0wS@>OLnO86[ ` v∢[=e'̡bʶ>gT?BjtpAiҭ%|SWĎ+kJ8[I!"ELݔ|gU8Շ dI$l$IDNr'>8Ae: F_# %7Z`sOmK:RI[Ly+r1ܴ_z)?)E2ϽA3mkhq=_bOXN/z!܍w& #B˥Or cj~iC9 8 JNn4a$}J:g 4}]̹LIc<+ ܰOЄ*FDXk\qYOf^DNQa֎qʈe?kAE<إ]J8N; I=ex6ozLB ,j¹ h {4VAKMQG@]~^TOt VR7ڏ5*Jbkhެs1)~H K1t9IyavF6y( 3=.=NC8ݺoVmˣ:p &nmn-^ #UAW](a.=~^ܠʴ(" ;*weƒ- VRL+bHSV5g/ܵ9J];Gr[uc Kh4$h|Ƕ9r}O'02niZmOU}aA2Vq)UB˘RF]E Kp.u##(uб/Vo'WI`7z783(8 m,| a)tCxj~.-Tn-5&8k :/i$X\*"rEX6;0 &J9b X$Z +Fհʕ"~eE E}𙸜gWHȔ ȝgs@iЧBo$HyrVvw' [S9yQ4 惕)Ʉ><y.aZdSdv! ֛tFwGfjrݰ<>h1da>1uJ MGϘE"dߛ1$V %iVx9%Q9iNckx<d<0܀-EkgKPƓ>NHW#h7,Ҁ*y6+"Rj|fs>Ft֕o ])mgJT3vmQEnf С e#eayx1BaWĚTZ?{E {"F,ӯO>WZGv?f.mjP|p™ZaTJ\Oq78mLLp\85Q4dnTۧRA3AHwՄHsPK$!dѰs\_[ڣտtpKAr2uq2ǿr;:XDh"L\M>{6?h|p o&hdֳ$E!+j(i+!>7d~ 2Ah Lxoh@0 zy#Uf4BzhC5Ȋ?ϝKrG BŒN'@_ ,:~yk_DaoEB7V-JJ o"4g.a`mmlؾ]}jՕJP/'4:S#*!ޚq4o6fΛOWnעk QANBN h-D.J; aE1'P3U3@TX ?IJ 5L0;KlZg/CSrm xҍu]uw))UCP\d_ 83]iHJ.vV{bK `"O'>*H.W*0|\_ZNюRDqo} .t1-%5nCDWYuMf$gBJ|zM`8:JI{(LBH佬д=7¡vSM5Jq (94o2UYV,yx T _o3{#wJ4/eeO'LB3 Q(Z\L;wH9cu)onq^ڿ m"s ytNj1J@Ew! bzSEsK%ʧimhU[q*no+4xtkvLXc[,6iulwIq8{ 8 #΂ Qc,2_sCQv3YǣߵNGEgNM]ATZʲ"mSF#4?lkBٰ5!ꖎGla5"uіߢ*kfKԊPH)흝afl$gQIYRLIODŽ#y;79 8ר HށkkhMF>k~V์G9rĉ(IxfM@Zk*QǴ@&xF8m' bK<^f%1qTGefRB g8 qw)vP TB]NߜqBœ_UYƳc dH(R_37BZjQQޖ-Aɵ1U긲A Kh!xk>84 rt% b0Gײ3B?Lj[MWݸ3,ꫴLtTtU Y[b4Z^J -IM'RxIN$#սbUM:rx*ZZ}}g:DlMk D񫵷l2Ĕ?6~GT!,blp!M}Qxw60>-[cKx%g`݄XDAX5$IxKt%hYQs7zgXr[-ZHvY-L&D X[t>ol&|ꪪF .HÂPj[DDk a{B ?V*Wr8dI*^Be*:]Qذߴ0j!}+ ]Z9~s\t8nPy}m XgsWIPTu4ַ `ou}DxS|B@®Vw}.u J&Dd1M* \D3&}UcKS lQGy7H''k2Ry Y|o)Eۜ S cԠUW65_d+ר$UBS2J"j$tr},lf)gˎW1 i'4G} ;XV鮕Yp^%-.XqpP&E+)`g'sU['1'%=M>$0q sw{@C?YCpC&X*x 9+6YVrW[/Cpet,]Uk&̓r k Ư8eJcaFݬc ?nlar@5)=@ \^Y✁s8r~F4 YPFO?}뀑8n]9ȵ37@N@O (vdn\q'eu] N+|BG1C}/1c+F"m-qYD RW<}kpiwBx._ūHjTѐDu<1zŎ3JqfD_ āe7dzmO3}N|QIMcBm[ #r*f^& 1fSp-Pzި9s%ȴ y8$9e'SM~ӓq?%o[ikOٯյ]>{/zlȐ).;H<.r H@A/ѼZ|w`=|Qk&a9A9(M|[TF{ΗbE4|D\7b 5u)fܤ@FLJH0Xg3/6$bO~&Ä KQ`gz]6TQӹuX )XÞ֍|TgƳG~womï355_w>hԳ0JzT)$E ,DYe#Cu $@K؟4jZJ}.%U}yw:+Dv p7F&<|Oֳ`2fPec0µ|zXe>̆cE4G |#pĐY(>xk|uI-?;RZyAGn>m$L4u JKP<&Ηuǣ&}`rxcΤ['#G}d}Kǎ/FĹ=rbQ!1P:9{6@r`PZup:+oO*^[zdVBڌ_0a,J3d{+}+8ke֎$j%TN=MsQ@.]0H4 Ii]=2)t{ $#7|a7 =x6I3q@?7sY,BDQTC.R`~5D/pT^h):*cn`iSJ`BݝIabPPɩq}4M;3*Yf6OхZ5ťL :/NOXDřL)r9zɏST$J<f.nڏ(x xozn Dm'M!%  _u#uYQ&t c} dx>1/CsH[0]KJDL׸} P*]=ZYjVLz}SLK5 Tsq%20m)T|1sK_ >1/ ݺuP3fRUVh-zfX1m!BLj=: ,jzZQvtڇ3yD=-AM)X۽c PqZW'/}NsIvɁ^&4H$(ex3Fs RfD&\Ӈ]!cQ`+G]03,o$YoX5VL/[!U TjܱU[i{N(ng{&^ ;C4͙>X؍{3pz78ҌT1T Uq:SɫS&WUM QRZV'@ϥmqs$BZ݅j.}GJ XIb ڭl,6*ry,"FN8<.w}wE鋽:|1oPpZf[Gޫ{Je:] ֍ J`aH@תt:CXeMs]uRi)YF`Xa#ӥx?җFO:5Atb؈}4'Ͽs%&Q /z{] ֢|U>9J̍u᎖CDMUKtPӾ sk0>ӽz$?f;d!M:xr7L# 7)P1&NK~DH 0IzƒIHHBtApڲRY-3O:ml]e]$|orbϙ&(lY-SU!"4ΦB]hm@:%q{3"D;y Aۏ0->߃js +X%LꊮCB[Re9EmEA\ȸbM%ql k&Q闇Ov~TW"sRtX#[N, t#'9#m^A-qqO-YZ:&pyq9.u#8]VQXh़Qy몎&f7DWB7xIrwTDaija@4g%QDA3s$>Yտ :ˈtآU~9p0B TMy}]8q$s>EȚ:U *9thf~Aw!JM oжa+WXJI<5\/r~K Jt =uh!M X 6 m3paa\e}6B"p8@bBג䦁IVSz[[+ dtԜ[7[Yj> z迚̟~tکM 3LHppF5sΚM=_DNWŕ |->Oq܃*7.en%Yijĥbp~*t02 3q4p  1C .EJ h/wx̺jĦ^ w4{x7p>|+[Hy gBrC2`dUhe`0V: &7dtdƌխ\ STUy\ն5ȅп0 BˇJxf_!~YĻWO'G'/yS8{ewYx \x ѕ9da^||<هOi8>adnK$!*OT=Q٧g0b(`G817Kx `T➮IWm;%7N3qNa@~pMsE|u2 ȉKK(5kN6Z&UsQқa(֜NXb%]V[u;^Xyb3 P޵}/l-$x@/?W@g,s+rl\фp! 523qey@#9f~Wج߬`Lȃ⣶6ʻ+!BB%HV>;oy˛m9Bbp΄APz}\h0s&V;=94k64GBd5{oedkܝI}ͻxB)OlZf ezK,s̠Zd/8yV@T1V|bݘiq5zE9dӴWSZz!G> :`aal6 !U>Sf[E[^]˵0qRƥ!l'Ӿ6x%P3C< ^\Kg]$ U{KC(z *1JzWj!K[ l{u@YeaƗK,.Ryb2P!1wMJhE!4y7XN^ղon(D$v}2[քxRq8%yX>Tc:HϘ )uV.9yV{Zj"p?ecI-u|ųсo/{mMvAU& s,-y|mX019 ~z{/N\O:^>@φaMe*x 3A~τR(3:yawM-BmG!A9Nc#8B?RڽY`K /}ܸ ^M? Wr}z cpS>Ոp^:V"r\=3d`GSSRd5.^(}c&F |TW@]z'x\w5*? =#JEE)n|p`a0RtGA -N 6|w(& #46aMڎZ °6O,a6ܨo۶jII)Ik2A6  xri1|I jŔ.SS7:+";ֻZ݆Ė%6r}9E:sy$B(zH7Y'xĝ*Hy:"6[4>U2K -o@c4GlfIrv)o9%?_B}$Va? }Y8MŋJ78E8~&Ȳ46NDEܰ*.4QpX}'Qn6WfI[b)mH\RtBd FvDmCabW~&Φ:RmaY9;#SGH^#&PfVUVO -}(> O썡{Пԝ LYUEΘٟÊ7Cx;L9.+KNEQT L<88C Qؽ< $x:*ʥtin)\yXՈcCfL+ܷ|H}J riLr7ݡ*MzakB- *s_f7!]3#h@o&3՟ YvJG6!6I2ɑNoxtNT7Tm6^830nq"hӞ|nXߢ5AY`7.u^r4(uvOvCbx* /G6tzLPO( .u^Rg-.L VMʶ0.A]WJkj%9OfqIqwٕt_7MT``zpΰag՟aqFA6=_cB jo繜nwKMna,&xŴ%삶ҺbwR6wkK$|u->2硢p" W]BjB^GC=i:Jot=ʨȿ.ѝ lgYZ ۏLcwlBM9R,#}U{\WSS pQ-.)kku@,tpj.f#v«eBo.'.\ϧw m1ȎCx~K*o:)&gQH*VmDzwLňu#4DELd9jw? U!_ͥXsD%x ܞbtEO͟fERt󪷻0OƏXgeōf'n>OLpbk!KB2ND j/h)V =$`P'@&"Ϯ0oo}`#v6KW[Ht 1W#z;`Su|Y-XX1z%壺UP:yy8.mŃoKRS~#{sí~s7ئ2- \:B/_)e畨<`1Uze0>s0wyY|q6wM c:h!ʬv+ij%KF{BKt5^o,CR hr+<d!\R]kF T_JphľRQk؆Os&`*l5!ugYZ7zXZִF! ]ŗXiɟ1˦r+g'Dgr>{pNa5R]řiwúƛĝ5`{{6(.L3FX}Qav*77tbw;*|Ӿ@\eY lp,&3h GRϡA>nZV~ `Y'9kqH$5mO(GWfhfHP[!zqjo%MWJqϥqz |bR}yU[ I$X[g2Íٻ=4u|[P;m1HfB%+p+vX<<7+}|f7T>89(^dl2 Pt P"M,`h[]2\yX^$Da:}bԣ'X3bl2NP4WW> uGd2QU2^?" nw"XE:zlH ._VUEb5RJȺ`R:l`SZoLS^H@H`uU?›IA\L}X{9gmN C= q@VXW[N5ߑ4fx 0l5}C4ӊPi8 {}#eL!q>"B !\l& E} /d%n\MYۈ1l 鼎5VRDzN]=w9NR+o i6D^0qEKyat%УUY+}4!{#WgYZ7zXZִF! `YWR]ŗXi%GH7Ct j,@%nf`Ic~Qݭ=Ic+K3p2`,1jG—ve+ #VR4NF'q9EoD9Ybhk5bEWBt:h 1cD?l bUw׫~͒R!3bv֚eEQ;b NN -DϢ$e_ CX-.dGa%:/..͵.q_VrT#0h[Y<:ef&4{HLp_p# *MGl \ oD6`tFI0G,}ټ\ eڝ<ˆܞbj&e-g'ǰ[U0)GSO+|BغcG]ػ>g;:T\AX|I0 b `o Dz8TrPn5CV2L-ѕ=сzn W <~q Hy )Z(YXAY!giꎣO`#NL*B[g)2VwA2P4RGg?ra']lj*tʐC=C,X%&aVB.H2mL;LGud^Y8):I?;u5ukq _ωEzËɫi8}< T W4y}C}.1O RW9y¬ S%OҔ@wWn`wNrof)&ŶZ#@}U1D!mWwhajM8ţ ݭBl/**K"h$8+ujk7"PCltՑ~R6a L }6vTw ܭBjt.hMY9(/)-xfh0j=Cd.+1Pi*Ra!4D/|]woZ=]E`iC+*3lf!3|I%De*ׄg[D.|K&8슁()"iW=Ky1Am|BJ5:H$ߑUt= Tg+"'x0|*;JD\2~]`.)tl3HRD L.1i`Wzl: ytwk-;H]H oɗjf~TTD@j ׻ %0^ o2ihPhY@s| 0h z,TEd\K$foFRX͛E\Y[27 *JI#9rr-Mysܠi@8|D$~wi))Y6{/w/0`% O`f\e9|`^P}.jL# z= [4 L:O}DWMΕY x=6i ,؄ ۸s8*k?:z[ .:lq E)~[ 3Ǖbk(M~(O$,kp$S(_yϓ -G;+[*?dtQCQ޿I^&9F)"}=JǀH(.S8baN:ĆkŪ+˕A6q:rj!_bNC׍!K),~ Fix>vؚ) jhU۸+$}XnDt#ql!)E6WZ'ҎN{P& FH.yq3j$7N*:,gn;szHH8Vo?FeVڨE#QM=Ua^P}7LsG=M +[noOG7X:xcMw|B1:[\MvWvxnVt: $w-2}`W9%pFN۪Iob\*ZV} wϛ;Č|w[=/h/ntcƚhL/-.UK_Y4/ejP/˳V0#Y~#'ahmFsoϣiOZzWhKY/~hfi<~V sGiWNLQߜf fn1<)߼ |541}r@ 38էF`Fj8kپ?ez!p{6 F5[e^7YDPͫf˭!IH뚚<#E#%4Cs/xnߤ@{L m Aۉ8C݊#{XOrjrl!ZAVݮ|m?{%8nt3Ro*6boIAA4֟3J@ noAB桇cp?g<}Y ^mdDwx4L̼*_Qa^G1NJqHv{.'*GG$@GmcpPזT9f]Dl;vT6(UX=Ab7CTv*Ӓ!y+[>Q!;i& X&N{yN]F4ǁ1nG` 7 ,o>Z`v&Fug/HJ#X5FJ6Vlu?g(ۏ5[xl:j\FOVgva͟%vy,SS2:@(̝2B`E%_%y91vd|TxG|UL:KghRhC&I`wɏyve]*ˮ6VOuxey#3=yɩg!lYdx` r…e5NhD+ܶӤtB鍯] wbXQ$FV+7Z$G^sVbgX6QgWCsWyϢP; R s .'{ @'u>>W[A'T9/!70|4 &xpJ͜Cնߔk>/v6J~bMaK$3ȖN(j^KP=QhhҺk֤=^ѧ,wR5dZ"sZ;7ȿن, ĺr9HSF(["E-S Lխ>bKB*;û$]0VF8!V\\efϿLUz)[oʹՏx RM "4|Eb| H,E&T!}ĺjqO "٥HuY7&[E@0_Up\Ybԣe&!/"kMdw D^%PPuhiiՓc@O2BNX.=b*E4Oq]9ͪZEd ךXLic_zfMǝoỄ!(.0"C-!G5TlQ[lWuWX[Q@`޲"nrAkݽNnKa&8]؏`Ielϊmg'h赬1TU3>\⅀%9, jnA!`ږgj1WNiUF3A9X iK䃭,-UZ{" ŠO8 &>-yDi$ᤰa* יwk|K'zV4v|M!@4Y5h\ QIu 4ZLf;; ,~oW芛F`Ӳh»h AzB_W4֟-[sx\NagnpTYEZP48s`-QaG A7XB]qY(3LCC E. Ų@U zheå;n3Td|@5C%^ ZEn0zsb D#;گ^xE1M8у| »\ضJې?E-Ə9F(|E5urU_hɧ D vy )ؖfH?lRgNJVMW\Le]@Ƿ޶ lgt踭լֈ0 DSC5'L]zF;r}S\1VMdczO<$CP*2Zh>3 w=9o/UK,4rꈝbfcTZOYG4&Ww@7S/R~/eBit}b`Q{ B<9ýe3ڟ _ 55cP܎mLǴH^Kw..+=J[u?X_yGj5_@ܱFL#RLQ.a;c(24x?!i`MV  =_BJu(քLG1sotyA'Rm`yO\Y."p>FqJN?W%f"MO[J.h[b#-4*Z{ų H\=O ]_>6McB􎮤LֱUVuJz^ VGE[O9@u B2Ν*7U73hǒI ]Rw0 JG0|F۞LD:~aKPϿN<(,$c%7L4U22ߣj'H/3P@LhtSMBDޮ)58uL<_K'H5oؕZOjƶԬ_nH pC%^?If㎠LЁh'\޼|ƩV *<^ŨIYEbM.Ek1W V^SY.Șal0N.?Bqu)Њy@DH6tls.o#@uټiMމ(Kru;8A-bb-낚iSB%X ^VĥHli0ϡeIԍ37v~ ۾ z%a+O[cӸ|H*$ |r5a);f{cLX׵q९?s'[&Ih7n :Y:Rt7+~DIZh.uro 1[3IF#~b>bp\y̸;R?1Mzg{q*](hx۩iD#Q莜E E>4[on( d!qF$O15fŻT_#i & mv }IH~k.:{<,]M.!1w9ܗT;).vr;6b$Sw4Uuau#^0, HnSL(E0>(0z:&O ( z!o֖ФXzF3c}ј+?wg5Μ*:\4t| &D FPᦨ0 ӝű) 5O/.y^cKO# Skiv s!i}4oNh"LM?Q2::$b]-(;\<>/fEz֋v'h@IP޾}+K| hLէևN  r%n&OBֽ:6/aR 6U>*x*6*Q {b5TRMRqd[sLHVp )I49-湄m_ҒL*)妙os+~O`oL/Y4V [*q|U8+RS%Iџ :ܦHnʓ*gz?i77ԛ ϩ}ѢZs4;vX^$5d%A|B3epsQ'puUXb6ʖ 1e㔞α, Z6)̤̅vJ)B}a46dP1ב77lk;RAlAG;f?`]}xT(>;z"FðW:;]6\v]īճB,YP|5hvK*fhu8AZlat?"t}FGێlN[,EDŽ!ڭ=,"8HiHt=.kzLB6Ԡ){ $|fySg%s!ٙVb{K3wgK{K෯j A0F-_ryg;1 a9iڛ/ 4?"ukob+0bK{Ѷi@#%n|=O^cNlߗJp< 𢺩<vB&ޱTp\F5Ֆ?@J \?A}BB!mTCt9ٚ#q|$¿쮗a;lӱRw6@ hWz V{M0VѧMzx3jW( .Dr'h}ҍ H*)j&0|lrLr/ߌR*mm;"2Zdd.R>hϾiWSVQK[;Ѳx$X2xƇv@Dc6Fb:w)i?ɑóOkҖII5 )Y` &f}XqcW&UɣgO"|U9&t*ZY+Fqx?ͥa415\5-@9B*c/l>M+"@to#EET0!f&K*>64ۚyZ3[{Z ֯EX V %&>sP.פ_ ZcZ=L;>#z8Y@]dU[2QO)0:(kǬ gǁ"CZC5ҥPa X&n?ߒM?$p}Id(3P@ٱ2^OsK sZҁZunu>AyS_A_eRej սY_92lrAS.B鈷0٬Ix펲]VFUߠ4*])D !@6 ?ΕmcKI%%dH$oFzJP_-v&IV{#k-q[Kw!FUT@#˩O5 l`JjlqƑX8CW`8c"䜮'Xeh8FbīQ4e% l1p [ onJ (6Mj@*Ьobhev"gM 2"0$:,{:p;<Wb= 5~C5=aT œB!$@ gF'4#)^\aƚWn+VQЅ>)Hl*$%WfU0ho.=<4LA\탳G]v{ Ec!-a৉lvhCdZUra"%W=d9a䦃 OdX7e"8#lPVF/er$mpŀ љ "[ek$~>g\1;+]eRG2 Es%CgYXF9*;+bat`D` &H@~|f%Ωs'knm+-9ޮxdl6gMlv GDwvdôTn/mh@whk]Y&@fѶD5}XمraDbC!:3o.}~[}LS#O< Sdks;)t yYٽ38xs;:^6j$ǬK|՝1X1Y;P &11ۮqA~(+/=]iQMd@C:gꥯ:a)#(tT*|n5dGӍzn.SV[~ژ\ w!Vl jOݏ@;Lrn'CuU -o0r!9bP/'M`807~3!*z&4޶X,r \26Zp9RLgomE#IJp7|=Ny<=:9Ǐ={97-U;c WmQ3eݤtN"kom]}u`4Tz㿩yVxK仛?8;^)fuYr /2J&*x ~v>IZԜfԺ`HPB7z) bZuS\gX. }U;?|kj?G&tb,ȧV tU)AU0Ix W_ LɞCt­F%(1߻8:Iz7#Y嵮 $Dƒ0̀$ o<ߗBG+Y׻`Y^Vt4_e1'h3}H̎"; d#hBEz@M/-ߤ6Hc}3 Ca6mH~-$lUS۷P GT;^H*z῝xnmr WezYIxB:~ JK`6M<C 'X{b4YQP&^L8\Y`?egCE[G36h_2LȤKgqi#YٰMiۮEllIm䰁Ƿ훎%%;i.;Bi",]A B-syXBԪus<ݵ]gKb VLg$厄Hc]ƽBXNR _Rsf" ,bm-h@:xcCPb4&*wě!xذkv!6Ө_a< P Pק[ :.~o_TZ0-]Jc/%'両.h:2 R0m鉲Xac 8i3Sj깓98sZS#۰cWBȇ42(pnX<00 6U$I{c6 iE5#P㱘Pq sYZ ^k~eNZ1_zFg$W]`  H-hL4Qj8T0"| lY2aOZH#owS@X* BҜO åM N =O{%O^A_V3/z-_a$nP+RUyygn>w;tebk2KQ/g:1h;<#E@;ƨs1%+b/ar /\_;c^O'Z헕GL~<U$ l]G13S~߇oohE=~:9 *)EvL>.ܪZ|s15aw7o:&;ҠHz'CI"Trq' si)RpEړYY1pGAVPQFFM]n2u:䥕Gq$eMBL$ODŽ])C cܿB?lyI(#Φy'lUtj~5=3 vYz]aWZ `WrwdBx_ϰJ{AiሴtsgI25Z:[q}GKV6cds<(ȶvey(1'ߺd`wjK@&k -\Ps^إn_X*<{\ ?)ɐy4ׄ4;SeNU T,B|fד5. a;eg;\x* NƮgsI}F!ۓ=ٺ3$^ӗB70"4wl߅9˰,#觊ÑXj{d޺ռDuDin뻲+ѐ2qb%;$.Fp]FabT m F{撷'e.^:zeӟU9/ƀzHSՋ`Vm2CfbJw"n4κ@v x!%yѸO0WAt]?:d?a PbIȗSsD"bNL2X+FB")P^fM jF*%w0L6G7:8KӲHmtso{,qQm*/PAMA~ d13".DME1zMߏW0(t9C9>/%{q# qe])tt@lykwl3**MWC k,PH#Ih %~3". Mqa[{Uv.I)pj@\j/uO-+NxqMe/U^[Ϝic|k)PN3Mjop\qqXƒm-61L}Arf64*[iZ߽J^ͬǹ.)9֦@VHG6_ޥAh &X2x(. ILY 1%+Tg_~GP=0N̍|4R*HRE}8#.3V (4o_6NVn9FgBr`/ Fp8̅E1_h)cxd,E2@#W=1>B<2;V5,MC'WYOnM.5<=f pybJ ;ⷈ*6?!#vp,FŞg!綱GO.-@-KZzOM11M[L7 Y鏎ZiN Mi#,:("ah}7|Ϻ7:l3CeU7twNi}<.ͩvo>s*9O@V^D_ͬK4hHYݶ d%xߐߵr[VeLң:IRMYn'qBo>ISm ?CeB;51 tn!֝^O1et/7 X t147q[GzsnnC+RU̧P<[y5wNRHcum%dw RvkrhFkՆ[xS캴R@l:0Jw8WXX);Θ@[bGVMw;U& y:ivd#aG|żfѧG4d }13%]nFjA\<_i+h]r%Y~7ʚY`(<(w\I1[J"nm,hXB$#/FSJ|]WْC@AMK7WL{]-2udžfqBX.Y0٦$>5SiJ23u\ N@Vk"5l&-(R yQ]|ׂo? bRrʹ DR0VWmP)Us5_ PQz9^BKe>%Y#O.6;.i4ڏTvʗI^辢4%h轍N±mjb^ˁgBA=$i]bp"'G]5Q?P"P-4A\A*6 ,L @pٜL(h익`%cDG֮[#gozM2~E"C)x aCpk(pwhE[@dոNQ)t癰Ky.sHzÛAX iEȋiGʡǟ<팤}' 1vL"ai$]얷ðV`X 3cS &7ͯm6.'b+a9#.IGu8&'jpCCʑMH i#ʯKK >4-Rl R`;ēhxN D_ ]a/3||_s#*P9K=ﮛᛦj drYޗFwT4`Tϖ붓5MޢwU.J4o21$?;hHQ(M9y;&TUib!K![V 䎄U:̠'̷Nq9T;o@T/ª0J-2 7dz)>N2"bq]q'0bFF fY{Μ~Nw*iapT^꟧#(!38m%L΅)͹)ls5O]›: ό?|+4RQ}#jߊj$P 4LoxY~a6czW nj\=UHY)pȌ.Z.^6ؐjd^mC%L:;yxbX܋A+9]m[7Xo:Nŕ:9gA Gt ٚbpwH<-i0Hhؤ>aZ͛&^^T\=p'F,Ьh8KX q3Wvje6q#@PӍ\#ڗ6X?eC-Qh ¥x2ʁ=gEqI}gNÝiV!_'FChYʻ潽I-wy4;D"CYcoPgt ?TvXQ&iͳG,]݇4WI'BNB0fQC+=*pRJ1 Kvky#~Rǡ5'WrG @ҩ9FJ] 7x(5#^0iB~3b̴:E_^^ЛcJn{ + VvqDv`NP\i2D{Tϵ}L <LX7u<I6 뷊[ Jsy$ 3{,VJ{D`M`fHcr8I7"+%ݖÒ^T"MT1ȏW֦AV̍$BC=9I/d>~ LxD%@zBK$~I_-6|ù9w .X2& 1 bpy$tct?n@?:UI71 _!ǞjYŻJ,Y\Upeؠ%"yJ6:+DF)q lhY'$uóAk(6\#/J>=yQQo -'k_ 7_d`7@|q :x]x1CX%>h|9lٞ]% PCMLा@r!V'sw%uu"wbp]-`Mdh V_ʘjuX$qBbRȠdf; '6-JFGx>CaJqɖ^+]JqC{7g g-d )v qh 0}ASg" *?!uOi"U?ʹ4 ;F8K @ړQ]%`p`坞L۾~-?n@w^`'>F3hU3hWEoauWھjJ%>!wեGDYКYP+ˡ HI8J+%h:9IS\brs{s4edu槱C)3uFoVo]a4' HeSiNn jePU:=Ym2ރ9&? U1TI{Tf+׎8LK;'cuwg& ەi^~ h2 o8UQPE$O-Yʻ >յ ^;nDI<8;f-(vjYڸl=]F}wC0' Vr{@h\k,ɄSK* XkO&( p?Mh䀐^v_` W:tWhZB6Ր7^U!ڌr-s~-XޖJA^јڷhbʾCiZh9& #Kʛq>1f,OWvBQ}*@=q]<".<,m Lr)G|}2j ~Cz)W~՝; D$׼#1=e~e;TËr^E`xfWw3 It |9 Ν^MbD4ڻY#mˬTNF^}bȣډ(ҵ09ӠMp$9_F YZx h)V 8W&Wh)'bݠ7FslĊ^n-q,֋U(uK*n݊ >r;o``; QxAdZ{)@:`i>"dcIgUN2OFv ɽ+[8~0=[C*v } \%^L/С7D8ֶ2$>QV5*YT/Cz#ݥ˝DڻH5Cm\O}W~TOY`َ~ݚ7<b]f-",.+ 3)q;T'K, . '?gYZeafba3ddb53bc9ad0c53e1b99ef0e1c9de04412f1795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b 605abb464c62516833505a816fca1fe0cc006c6e40b3c5bfe32489441ec431aaf9d01a474d3b7aed