SQLite format 3@ !.C  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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 ;;B/t,L ]/ HOL-Types_To_Sets:threads=4elapsed=20.903cpu=37.960gc=1.0047zXZִF! N]ŗXiɟ{a ױ1:rfnmERLdgt*@Čj2Tw&}d.ORs+l[y|AOA Sgܬ~r4=n-Ƒ!Dȑ!R6d!@O8r6-F73/G=G_ޟ9rޜ!{n|\iF/")=0",Dlןp$%J琏+>l@NW<qDncKV --@ncq#{I>BҥL}=v%kuS>V1;_59ӸcAacN㨆^&8 nYÜ@|_6}-Rd '{t2p%|?+P<ik@^=}5LQ|i.S6ĊL3׾vSyzD (O* :],ޱK+S@Wе,)ī锐fqP:5UNH#K$0sH`4tz{[>3Osb= ]F[)/fR_.CTU/@K,_Z*gYZ7zXZִF! ]ŗXiɟ1KwCe )wG:ͦMr2}+PByGSvKj+)irŻ7~Wa6qĩn/H{z5IFGZl}*ˠ>׌ňM\ŒLa~ 9Op\: *7t(J" \"(E5.qVhe7([k?gYZ7zXZִF! x]ŗXi%N b|ž4L[/yu,(g|Xqҁ`fO82Joix'T_|~aqPZדB{򾦑HIDKXH+0Cioo.IM(FPduKS]ݶ"a̓KA),v&,&}AurzY>n]veYz2P͡fŶ#0r? v z 9yC3@}}$Βl^N#m0?!\ @4J̸B9H 2 ];U_4_+zMBH#֛oq|rsUPq Dp= OR݁ ِpۏĩ/~a)la ;1 Vo!(Z;HЮ[1EU-@H^rfFR}Icz/؜elUl kzbP[]T>lz_q/ kb^d4ې9FZr* C|_7tH^}W/fujQ[8/ tk \V5FQYGP4@0kG!;Pn`B0 A1fAn3U j"cUnv>Ui1u`u8J5M@d ռ, Ȋx$r̗큉]"LnZ]r&۱ڶCyĨ=\k|Q_>;䎦L%DC6yS #e ]jPQH",dvcDXT!ҹfwYf;F6l q i&iۧ` 7=k_ q\A9A0!j^Snm~;ߴp:6krŚ@)Ϝ^ ֞2Pyr7%nZ6x*Sa1d iӉ7\)G|Rh#a`d)3z;PP/Qj&?G[#e|o a3D ~![P;`{Eiܗ8wbl#Nnp>j4?>-LYU9A@K ڷN.:AL(?h@ag\Jk WpհNgJەt#-ѢُJ폜l_++~55vk4/ 685 #ں 6Tddcڡ1)15_X-gdrl8f =IR{I7E_cNЧŽvcaENi5۹g-X*F:^͜_>Jz6jLz(Т|J9#ch%4o4=O~xbAMMV=ik Ysk@Ps}~7@!dr/_}Җ (h>&c].6Ax?.* OTXAF@dm~G{f6FلɆxuciEU(mMXNI͑!0>H2{}G֤3{OzQ@W>_8@߫iM|S|Wߌ`?~fci ;>325Qy~{SEq؛ <1@CҌc՞: uUaFob2C(-~*蓇9vK" X4r# qҗ~rŚVrɳ{q X}vExav$G2bΔ9$53{H$RzDNN_sATpA6=#f0;,ʃ+)gYZe36c218f2f1980d0c7a9f455a5562157344172344b079fe610649cd37f98f05ad7c20586ef43ee64 74523ca0166e9eb6415b2be2253b4d5ef2f75bfe / HOL-Types_To_Sets !/C9 4HOL-Types_To_SetsHOL-Types_To_Sets.T2_Spacesdocument/T2_Spaces.tex7zXZִF! :]A-MՋhvG"uIBm5vyK#ē3DtOǘI~mjԷe| %aRۜ#n!u.6j0 Rg^SUX;]6ݠ®F --'\0yvK;BjCU݂hgSn[ЛQn zWTL gQ,D/ȉ:APiz陎+  L@Z~/oo/Ų8ݓLsQ H< ENf>kܓʪ[-EXzMF: 4uډ?2vc٠-8ٙ2d@Hʫ2Sއ}1#6hmΌ3eXE&y\2S~A%lۨB[B7!_î!vV]>Y)?},B*X>-TLŀE&h"FKtO.5Pm'ҝmX>t  1יH&T+$O>7=lh%@Nr*Y*vt %!,*fW$dBm{oeSiZE(wGq:n\.7!uFS xH3%Y@AXì &Ɵ阉dF56.b ]-k|{ms@Y#y>xX:U.\j3j.L &_jnŐ )'漮N#]+ %&ml7JseD B.u+6!hgU(Ƭw$a^=Qaz渊O[ҝ#؀<{-E4;|)ԝw }snK- V688.9k:FX2P *d\o d,zI߮nุǃ%j d<]uE,|HVwtwK7± ɺ|q¦2f s9"=/qYvL_86րԍa}*# c $ 3OFfKV.m9aweSUޗi;Nܟ]K·P,,YTxP]Kᢲ&$0xlrZ#VClҬ _8K"<*D2TbFwwZ8bM_챁`=nhִf :7ŰN~I3 j{W [;A=-pr VJ5HPU58ć5=eS?eܼP9^3fIJPG0b!Bb,:щfaVd[؆SbM͆/ fqX+Ze Ek/4c+^'3AJ$_0hc L$ϓKv&&PC:% QeXlM2>)V~İƬvv>3ltS2WkȐvz^FGMJd]_6= wR +mnT&Mk|ᒈsoæ˟Wb091z&4\~q>ԴB1il 3qd6tUQ^г -R"4"24 &Mow߸$Pudq+k (Ř^CVN6Te_k?\:}q/:okXj@Y"I lFvI&E{]MMLN֭vx򋬆F] Ȧ}h`oEx"#`B0rZ@h]nK;-=vKQ.es3Pc p%L 5-C]-pHz1Ej3'*-=nKv=2Z8V?l1U?(#oԝbw /O.&JCT| z,$v<,ӀN\sc7 nItz 7ђ`ZwKbdKpu@5CB);ʿƻZ,_Ftd+)Khk6nQNIp \DG l3Zq"䀐7~KU37jh^rN/ޮ3RkmfXLXT`*K)6`{v|;1rQޮFJ?zZ*ڿXfkHQ$;Izۖ'ҵ+}.=~RD/D Q\tW}oPt-3iHAn  Ӗd~ -CȶJBa ?j/K_fXWM049P1#~ R roxܭ%M>3h,<MԍǪ,JF:p"y68O0}<+ع2p?(ŖrSg'._45 Ėfג '˶ƅI576-r*ֺa4csXSn ` l'wwJy@#LØz&4S1z)k6m Aɀ%pD*kAqУ47 d8; )p# z$W\"|4/cH55&/z[X5'r1eـ"{>M[ xѧVM,F W8z̩IROg!~N/P&ǣ5EU^쀶͖GCۼn4^*jCVfTn+.|pY4\U\sr 9` ?i̓! z\Q8f\,LEjyRytWgVXCZr%OZywgtB{-JN14 M6HK=Bje#25ɐ 6` ;>/:ʢlmkv^Ȭg}9>#xꃇZd [$Jch_ܯ//uz^>< d*-^.Kq(:#kslPWe[WuJ!ЯVn~]7>#U7I%W[cHR-R2M=tmU]Zջ 6ԽM5pK"1!8!LKJ<񳰪"dDؖ[WVN?'S5ØA0%0Ze(Td[S쾰&aP `MXn}opPj<,J~zv l'D ^~dtzPB5/u.P3 vL?IWUTw {7Ԡ       { >u T    3  N  u0G/S'HOL-Types_To_SetsHOL-Types_To_Sets.Linear_Algebra_OnPIDE/messagesE/S#HOL-Types_To_SetsHOL-Types_To_Sets.Linear_Algebra_OnPIDE/markupC/K'HOL-Types_To_SetsHOL-Types_To_Sets.Group_On_WithPIDE/messagesA/K#HOL-Types_To_SetsHOL-Types_To_Sets.Group_On_WithPIDE/markupX/SIHOL-Types_To_SetsHOL-Types_To_Sets.Linear_Algebra_Ondocument/Linear_Algebra_On.texC/K'HOL-Types_To_SetsHOL-Types_To_Sets.PrerequisitesPIDE/messagesA/K#HOL-Types_To_SetsHOL-Types_To_Sets.PrerequisitesPIDE/markupB/M#HOL-Types_To_SetsHOL-Types_To_Sets.Unoverload_DefPIDE/markupC/K'HOL-Types_To_SetsHOL-Types_To_Sets.Types_To_SetsPIDE/messagesA/K#HOL-Types_To_SetsHOL-Types_To_Sets.Types_To_SetsPIDE/markup</='HOL-Types_To_SetsHOL-Types_To_Sets.FinitePIDE/messages :/=#HOL-Types_To_SetsHOL-Types_To_Sets.FinitePIDE/markup L/]'HOL-Types_To_SetsHOL-Types_To_Sets.Linear_Algebra_On_WithPIDE/messages J/]#HOL-Types_To_SetsHOL-Types_To_Sets.Linear_Algebra_On_WithPIDE/markup ?/C'HOL-Types_To_SetsHOL-Types_To_Sets.T2_SpacesPIDE/messages P/KAHOL-Types_To_SetsHOL-Types_To_Sets.Group_On_Withdocument/Group_On_With.texP/KAHOL-Types_To_SetsHOL-Types_To_Sets.Prerequisitesdocument/Prerequisites.texR/MCHOL-Types_To_SetsHOL-Types_To_Sets.Unoverload_Defdocument/Unoverload_Def.texP/KAHOL-Types_To_SetsHOL-Types_To_Sets.Types_To_Setsdocument/Types_To_Sets.tex=/C#HOL-Types_To_SetsHOL-Types_To_Sets.T2_SpacesPIDE/markupb/]SHOL-Types_To_SetsHOL-Types_To_Sets.Linear_Algebra_On_Withdocument/Linear_Algebra_On_With.texB/=3HOL-Types_To_SetsHOL-Types_To_Sets.Finitedocument/Finite.texG/C9 HOL-Types_To_SetsHOL-Types_To_Sets.T2_Spacesdocument/T2_Spaces.tex   /C9 4HOL-Types_To_SetsHOL-Types_To_Sets.T2_Spacesdocument/T2_Spaces.tex7zXZִF! :]A-MՋhvG"uIBm5vyK#ē3DtOǘI~mjԷe| %aRۜ#n!u.6j0 Rg^SUX;]6ݠ®F --'\0yvK;BjCU݂hgSn[ЛQn zWTL gQ,D/ȉ:APiz陎+  L@Z~/oo/Ų8ݓLsQ H< ENf>kܓʪ[-EXzMF: 4uډ?2vc٠-8ٙ2d@Hʫ2Sއ}1#6hmΌ3eXE&y\2S~A%lۨB[B7!_î!vV]>Y)?},B*X>-TLŀE&h"FKtO.5Pm'ҝmX>t  1יH&T+$O>7=lh%@Nr*Y*vt %!,*fW$dBm{oeSiZE(wGq:n\.7!uFS xH3%Y@AXì &Ɵ阉dF56.b ]-k|{ms@Y#y>xX:U.\j3j.L &_jnŐ )'漮N#]+ %&ml7JseD B.u+6!hgU(Ƭw$a^=Qaz渊O[ҝ#؀<{-E4;|)ԝw }snK- V688.9k:FX2P *d\o d,zI߮nุǃ%j d<]uE,|HVwtwK7± ɺ|q¦2f s9"=/qYvL_86րԍa}*# c $ 3OFfKV.m9aweSUޗi;Nܟ]K·P,,YTxP]Kᢲ&$0xlrZ#VClҬ _8K"<*D2TbFwwZ8bM_챁`=nhִf :7ŰN~I3 j{W [;A=-pr VJ5HPU58ć5=eS?eܼP9^3fIJPG0b!Bb,:щfaVd[؆SbM͆/ fqX+Ze Ek/4c+^'3AJ$_0hc L$ϓKv&&PC:% QeXlM2>)V~İƬvv>3ltS2WkȐvz^FGMJd]_6= wR +mnT&Mk|ᒈsoæ˟Wb091z&4\~q>ԴB1il 3qd6tUQ^г -R"4"24 &Mow߸$Pudq+k (Ř^CVN6Te_k?\:}q/:okXj@Y"I lFvI&E{]MMLN֭vx򋬆F] Ȧ}h`oEx"#`B0rZ@h]nK;-=vKQ.es3Pc p%L 5-C]-pHz1Ej3'*-=nKv=2Z8V?l1U?(#oԝbw /O.&JCT| z,$v<,ӀN\sc7 nItz 7ђ`ZwKbdKpu@5CB);ʿƻZ,_Ftd+)Khk6nQNIp \DG l3Zq"䀐7~KU37jh^rN/ޮ3RkmfXLXT`*K)6`{v|;1rQޮFJ?zZ*ڿXfkHQ$;Izۖ'ҵ+}.=~RD/D Q\tW}oPt-3iHAn  Ӗd~ -CȶJBa ?j/K_fXWM049P1#~ R roxܭ%M>3h,<MԍǪ,JF:p"y68O0}<+ع2p?(ŖrSg'._45 Ėfג '˶ƅI576-r*ֺa4csXSn ` l'wwJy@#LØz&4S1z)k6m Aɀ%pD*kAqУ47 d8; )p# z$W\"|4/cH55&/z[X5'r1eـ"{>M[ xѧVM,F W8z̩IROg!~N/P&ǣ5EU^쀶͖GCۼn4^*jCVfTn+.|pY4\U\sr 9` ?i̓! z\Q8f\,LEjyRytWgVXCZr%OZywgtB{-JN14 M6HK=Bje#25ɐ 6` ;>/:ʢlmkv^Ȭg}9>#xꃇZd [$Jch_ܯ//uz^>< d*-^.Kq(:#kslPWe[WuJ!ЯVn~]7>#U7I%W[cHR-R2M=tmU]Zջ 6ԽM5pK"1!8!LKJ<񳰪"dDؖ[WVN?'S5ØA0%0Ze(Td[S쾰&aP `MXn}opPj<,J~zv l'D ^~dtzPB5/u.P3 vL?IWUTw {7Ԡ l2./q ұgYZ z5z0/]S $HOL-Types_To_SetsHOL-Types_To_Sets.Linear_Algebra_On_Withdocument/Linear_Algebra_On_With.tex7zXZִF! T ]A-MՋhvG"uIBm5hq- IͪśGj  f7:Ri E }%P?»xcY34Iݯj&甤Mm_ (c5tcvv![[ PSadLώUͭ&DenDQמ{Vs $>RJITڜR,t~7TqW8{7, j:)b=:[vIjN|R;Hΰޔ0SQk#r xa[W2Q)DAu,CJ^-rYaξdS@a-xw43prj#^Z=`,ZF[4+ziKJ4gt%>,g',ݪG´zhXǹ;A9H@(f)*^a.qiwB.Vv|*^2ɬ-{ $4HꤛGҚ|V.  5^ø%nEBdJ`ٮ=ׁH>r$ד> ey]n7Rn[bO"wCŞ}r+qgi-`qy;A!12?,2Rq:MNR#N}@ ?T\ue 2m87@:p2ACo޴o=їN{TY̲ 7m,,mڦ H/=3 HOL-Types_To_SetsHOL-Types_To_Sets.Finitedocument/Finite.tex7zXZִF! A D]A-MՋhvG"uIBm54si-këLr<@QdJ4iQ2bI1+ ^%U;pj7hv^y l{: @Wϊڼ_ 埻oAZvHw.瘎`KyuLv g!R/s"K٩0@^ၢ\C} ^xk;J[{ZLN#na E5 l(wnI7˽C^1"cpe<6R]#?W# OT-7۸ F[ZMYD+ 2:GzI_;W QW}O=bod8 }SFl+5C7_b,V R˄rZIG _|aX ߱h*`Zq9@4J{DWA`;8}L_M2kaR=%ԀɈdо/d|[מT2hx t')8}8$6ݖm_x]4f@  Ρ!(|Fm 1k7f)۩M4!=0zF,j 7F.2B,P̀IlF[>:iy3YIv1!fvt;"&}Fg6y8͠N9,lmhBrx,AZ*S>T(nm-3zhglY3zv~̝m,הߺ#tyqO:({?j],m!3fM[)Ꝥx͗ ;vmm qpCDLJ?jh`.ďa(]bvx׬sU\`x *Hq{벇p ], mkM-ȪnUܼ* N\ua Ju^x~KsR_X%R H0xh.oSU}*.*X'z "GO d'5ٍ=w 7R''PJ%CuZQ9>"I!WGeHO囹rCUNb=[v mPhq]& s~ȘmILآїX7Zeii (|l٦!BG_jŕ C"ìPVbzXF\,`l)@yH5vP]VgM6v{7caK-7AWxkֳAM*Cxu5sdKk1|(9_J%&q(;SB@Mmazq{<&)`TR 2eƬ6Z\vD0x؉MBA/il zߜ;''"νaB~bf(3!2@P|d;!ISv:o@*ƒgYZHoG_HUE<҇ΕRG mhfGQq\)5BPR 0.(7{ȯ [^鹺 jz=mD s n[7_vq=\MCzsѼ/nW2FFVkYG;YW _9gf|lVa.TK̇Ede ;t iϋ&Ϗri;.jM>8QfATDS-ȗ#P Fnq>ʾA]BfO!E 䙪t;e4i ^.0>YMu#9ٲFƿvf|q w\KW q1+HrTE9W_rssJoDt,m=Kq}:슬/7j>8*zɆevo40y'O~6w2 ekݚƛB"`ߍ1nZ*yҤۖpiO>nt@cp&JF٭NuG=)RzS?Lx KmdV:p$;Ft c9Ǯ1}~7{-'NaWɥ~=(:xnnmcUEQf]"oۘ[=}|̍2oͲMۥkhRo}Vc֠[9^3/ZZܧV srnO "l-t_(824-;J&}ѺٞOGqшveSG^nGEr#:*q3hExs} AY+L-/RZE퉧 GIN.a%+Wzh}PP\S'j!E~l {hn vFOOՎ,[ƙqÑkľ7Hv{2NlH`nPXuÿU!@s=ބ[@@~/ZMCp}O^a}y2 ='=̀ҿ]Z-)IuRvkۘ8F%ucU<d`Bm z8 c徻M5ݾSn0y &0tVݚ5%0'h0wΜS]/F.* ]/ܥuI#\ݣuJ9I3(^1r5o4 1f%*+.k"|MaTE >Qq@&%IΪ"=ͭ~q2)v &8GqI+ р~i5ofu~gԽUCQ;WQYU Tf6$c(N9|y{*5=_8*a!=-2Sdɴ=*Ojq;^1c'l @kH $ܵ z[WUUu/;6zo1SgVIjgFw{ek+η0y5[|Yok~jw -AKF05.:rpiڐAۅF2Oq;uBҨg_V?O`hSN'=UNU\;'hX1(|?\ο]k䝷(XFiZURs*yfx>Nf *st~J PNOCh2"VbàZs[VY-DlץzJ-4TVaB="죫),K-nGDͤ,'T}лIG}%K~w)vmjx.0[ﴎN8ilc˖0R]Qk}m 4g%<jZs%nWDHj"}5]_y7I &B&`^s-Yd_[U::6;b:I  cIXU'A ;?ؗLBEKCu`J `uD]ӎpĪb[|);c7QLaӔJ0GhSfiX@ƇE1KͱgMa\ɀd ̛sjsFbIHzEǢk܋H%ک]]|5m&R+oHeXqK4WE"q" a d)*(6!pw7B4}!({wr򴄿=g8Iv(rUX #RN}6FBbmU"g:[؊1=" wHkn2 ߚI1_j%y<$D]~udq7ISpBX4JH{Üϭp |0Cc7v@Nm))5~P8I*@7FNÿSJ鹰Cr] 4ӘX+y7AA A$UQe"t=}09yWMap9A?!T_u;>a+݇2+yجQ+~Cm ,|ׁtjFP Sx.􊞆 N"F;2ܯĘ@t,鑽4F-8S:P Hؙ7o1(@ jr#톭KC#OǵˡMm<>gךhuSs\pҧ*+>K:`/nN rZmBr̻4U?@o/+|}Fl+ ]kmmHXd夠 y_N"~ʋ "q8HյI2UWEиe+;nZ"Dj1S"oMew?_"ܜAPҫt b*drl9XU(^ZQ!?9({ 1D_A!Sиi>9mf%raT?V.م!)Hj߸C ;YP%{zKE-Ɏo2Y9zaMi8(ڟeWsi$=o/+eF䌰A:wBIC "N6\NPMs9kF军%z̯k3$'tKт"3=*ML9`3 ]B5  $|W3qv@Jc X6@%S)jXC&"TƱgYZc/C# THOL-Types_To_SetsHOL-Types_To_Sets.T2_SpacesPIDE/markup7zXZִF! ] !M젗OFK?1`$Rz$/ѣtj7.&_/"(fR qkqma &w[?ݴv5!^_1ieVHqo/[F:ף"K~g~"h)y- :؏]v!ݵ4{fiG9ASHzY%*M?nAs|,o=K{]F`lZ6ָ >+ QBB&kuz0n !U{rlJdkU~ĊL㠠6F2_|nL~lǙy ގ<e}34k7S/n{jξ@-bo|9R|T;&ɣQ.5,˪q/:&khj;1 !RGܷ9px)%y*n{eQ#VZ[ґ/y hU\Ay,f E43- > $=QOF 䪵)$ye2QнtFJ!P[g8t)߅SZ:Mޕ&ʗ-ZZv/\,txMz8}Knu^ktkXa"b< .DZyƐh3;y#@Ӥk :*0}Xeop=[)MI^nݓ:6Ls/ 4!4M!9uv SXGj?OABXHd\S`ǐ\Kp]6q$Ia`HiRR~ye5Ŵ|` 2YʠW>AXw_ÚWxy•_rOHZiQws6&91ӟphZ`G;4BmwbF<A@ff1#/'c_³SYV31@+YwF8{(6s?/!kQהi:Yai-6*u"QK.⏿~>,'M l&K$q&iXtrz#8%`N-G!x&I .bOy2^*-ml,]Z~k{1_mG'm\ZgFRLZN7.(V/L|d:#P/P<@/ 5] x'-L\}V+bX6c@x@SS#b. ODfFkrD"2.sT@tQb}^rmZ!8S9!8&uPF|M]1x1㹟\^Sӽ/l<淋BlT:UƤlQn:D8QPiO"5 Fk*^Tp \ su 4שּJE@YSdV |5SkY*9$% ʍ5pa J.hAI## ~??h~ qd|rgʇ@ Jׇt׭I|VKok*@:*Lvun?XOV<V6AmgYZ  -c /KA ,HOL-Types_To_SetsHOL-Types_To_Sets.Group_On_Withdocument/Group_On_With.tex7zXZִF! 3!M]A-MՋhvG"uIBm59>(};SA|'|D*&W} 3mX߽*s,mjFI3yLWPkV$2D+c7D L Xxl_d8=rt}ah /KA HOL-Types_To_SetsHOL-Types_To_Sets.Prerequisitesdocument/Prerequisites.tex7zXZִF! O ]A-MՋhvG"uIBm5L[1pd;Bq"j"ݻ`v ߪֱ` cMSe /%Nrl4 gyK5f}> yY`&2VrR!ߌדe Bi3翃7gpSnk}u/(Ro7i# `8 Ogv:r.fdBfsb $ɵxqFv$/aҩ-y5! #Ԡ8, 9 ϴ="BϮ.B3JR؊SXvM6DXV ͪ3*h¡W p!RlOd im|M4EЅ8/棂[^yi,8*KCBۡdS"ȍ(%Ud;\ゞ-n4i)>x t$ .6Y XlPR2TѡO ։0+nƹYpJ&`V?LqQ6,b4vq 1ShNWʳBC!yv &^^,}8&>_!ܲfJQUF(,^(HdHGwY ꗺ iAQoyl/'с綛HcBrϊѺbonr7_cmSD3^e`xkfZyfWᇒIˣq7}`Vo=BPܞUoe+ 䆹DiUC/}*,uI'>ppi6KLlex1ߘ|^AHm3(~ﭙ5y\\ݴ#its%;&Ȑ1?W1ujAL^Sy>Lp^␛PO@Ch 8!Q}L?d%хB#PwgdS&k笻J~ZOE@ʻ9BB7(yPTUnBN%ѮńdR/.+n}9A*@mkd(_H\pMcTX@ҕpE+2mEI /MҿOli:Oj0@ɓw\Ci%[%ZoYذ# at/R,2'OW+9M*("hםngdL @5@rHI?,oUq!P$[13^x(dsJha~PD%the"\kskCaK'MF $QPz GL x޻i*zl%r1@[9K Tȸ .30iGq ]ԃx".)`XScH]+Z0@ PZ 5lqFٻ'jQcߪ>OtqQ-F*t]$ L^'j!h>kK{>,]S.'s-Ɖ\KOj Q@oK ɬ1grFus bfO;('mhyx'QO%h5ÁƨIDQXejƄ}P5i. L?P}}&G@w{@РVUxD63wSA6J1xϟ˝ݲE&|Ҳ'OJ?rGD B5w?kxK3MʋӡiA٢todÃ7|䰽Kw#^]E-uTh vCRF?]|wuOZUTH\Q/8ŋHe0dj?9E*!^=yZeM6?Mu`1|]l.<CL_ٽ] {ĸPgYZ ӋSW*C\!xTL&rآVЬ>42v^qv:!ǡ㝑b0QKO;wd@h,sx#=h&um;AK3u%l83Хę'˙7k#8 VvL@{~XО%k DN}_/kAME_)ևRE.$!sc@vRbf:Ёs#BH_`>$yb޷ ڀC5a|PVoNrH: LeaF>煞E!>ٲG X@"Vܨ:MF6scI6=/U_εy @^hKpUc -Tp "=@^ed~X1nys(gnݯ<شbP\Ij]ISWG((yiC ^)jeW{Cw؍9@y$;٠V1ɤϘSWn蓢R"UƨEnpV wB₵H".*푖݈_oZd/RfړUM\(yH9 %_6L)E֣5&/tHͬC(Y  x8'nKD?u(ϒX N9VO,e-xؑU_LQ*i[I]LNx|<&'N^ַ43vxcV⥻ Qʳ9]%,!n+p Ko#  ̳aezB u@Rkj, K0a\aퟭNn3d&M(JT.YwE l5 ecF/#ddt>\lL՛$$o38?4YyW5pbI$Fm/&B46#wtHȒVHtv^ȉp";=tH9(ΰ|vhgibJ#t^UI}X<%}i+#!cÔ}$@%J!9X20y:^8l| 12ldvϵO*Cm?"hwo0or!Nk!([r1B`n&|ENߜ&Ո .j`cn7F Q:% &ϞQ6sacӰlX+=}}| B$ RޤH&٢(Ւ(/eB'Yn< jtZXӧc؍aߥ{_ZƚeP >/MoH7f1TBv9~xז[TUB%y6 l'%mkM]ɩd\-5b/Z P*M}`ǻ#?4\uT2/: [q<$}*g12h>0i{[{@ק5^əBPf(2/AMzoA(~5j"#tMj.Zbzء:@}H/W5LO>앀 OEb/'-@aNK;/mU f092L="lu3E\tD3x"֎\sAd6SW%mhtcpVq)D2D kH`[ޮ5iōZQ)EPX/W(>>5 5>_Vfm K .s%\'q`\}z}Q5vB_rj1s1[™lhQ7qP@ʪPIępz?Cv5!v(*$(ĿL2 sIӧ/c sԭc%,Tܟ)o޾\}x#BsoB 01yl)Ʊ1C}dF+yF)lNJ"ʝYU@ף8-9J_G msnnUdlusKnv9A~nllxa5R@ E2<f3l1@>J!ͮ[x}%BWN畻 Ybnθ%ps;d@mX"F\N#m(|JU[џAЪjٝ\>>yTK;b-}Rԑ/UNĭ[6Y;[Sb ̲U' )̝C*wZ񅝩e )[Mh9[V}*HB7ҿKQV%4E:G(n3 9v O-p#F#Lbx`,YDHD7PHӡI~cT~?vϛK)L)\ɴĮPA'ys_s Uxс4ܱ\.۸示AxjqNpA1d+#Ve 얣XaMp$H!)b;tkW G~Zbx5G4I3fWC8;k^9^?zN UctsPЧ6?4:[ҀXy3x~gi\cxF{WSMW>Ti`⊬KrÛ^[HeqPOӲ7Y0;bo@;kN_g*~?8: TϪRYӮA |#`2S+bPˇ3Rҟ2/~Z6t<-c'0T?2]>:i-,ӿ}dTNMI2m w xYn.]G ipis_$Se`{Mg oI[FkvWBg8*/?Nu XcXioٜxdt`1^l9 {AI NrH qkt#yEΉ~>_2=RL`坛Hqʟ*MY5f#S[1S,6,3]Bo'L zfV; ҍv0)yN^h^ta3C3%ŁH\^҃O\8K' :lb2D9|WX˽+mE6F}uu'!4+,iu6T\pKcaO.?̰I [M> P"ӏG׮ hq>SH 7|ҧҎ"vNf쎵x4f{60LGX N7G\ar+*9j)W/V¦&{\UFލIk0C\2G 50vZ{EBSV9P^>kqY`K)hhfV h+Q̤7hlNSy맧Y`of*7IzLC%:YAƠ Ha䅅_]$\~ zr Bh& VkLmTѶ~.' fp8:(o^\,_,"mҀ.ܐtb,Ż31yT ńsoF֡染$ǣY8N藉P_6CERGHL&쿁E>r䄰ÀriW=;揺)OSYHc NsdM8=3Ggt;\aiuh3_S0Qow"pHڹMS2Ei#d,'d Zf']NͤvK [㱃ђlb!˰hi}'sQxPiq) s#3]dƑ<=eu mŸOO$Wv(_riԂGUQfɴTT\Ka ~Y蕿d[z;D{(F`G9!}erͺ>/֏i?BG9T;٢@NIEѻ1gvj}LrFhc~ ~/o3va0cÒ>}LTޮM(t/5)[ũz~oaJ[@a )9R忐cp'ώhaZ\0aZHo":}3&t= V}қuVτu#1܇l^)e<-9@*SKiʊ'hU Eu)1@LZh$gC%agZ3jkM`Kh!EoT;\J _.1w+⪗|U)ՎHRUJu߭{ۯ#%C>,ގ*S1%7B#O1S]#΍w>h-毶83 )nݘ0sаݢ`uGcd" 7yI)ucJI=Ei`zjHābv6s9=3|"CgݬKTHHoG)*IOW%=4BKqPE>帤2,{VrˀӼP 3#kaeLuDvM/8U rO-`<=Ъ<(oZa5%eDeBB4 y+q\cm*/mşe}bo"gje# Qg26$\w:Y4&iFѯ q"' 쾾pp Y Uқj/H`tQRY)VpvuaM ~EFjl 7 ;FF୳ p"`"/<E7LEӏ| r-\mvP{ o7ϧ֞e.`Z%ɶ~qݸ<]Q$sޡR`X5hU8p, tZv7hgQ롔!v**rmQ$6iI )h8`- JTh&kMF3 LTx\%]O  Ő)-ir #; 7NȣG7ua`9)%6vQÐP|wq1<$:5R0T5V,U8d}P"+ m;YFqN'vWމgE%3,~m"Swos:`4rj_rfd,qp~"!殜.l:}mr_u B/ 1Gk 5H;0ک=P%UI܀ {ExZY5/䇓ᚺEDF@WBPzgYZ  u /C' tHOL-Types_To_SetsHOL-Types_To_Sets.T2_SpacesPIDE/messages7zXZִF! ?']·Iq n[:|&[zxpy*ePL ԠDs+R hjlo˱ M[ "05ogɁLZxp$ۻttq3 #<a\vR8 ,/-zm47^VlkϨ>ȶix^Sڵ~OȜp;zTX;s~&'nK٬>e.nӞMb hKwd`3%*9Ό]\4*I&_ghWVgA"-rϡP{iJ3J[a+~ijl|=e5x{JXN][QzCə"n&~fL@9IxÖ+xDvfa1ޘ3u,&jwفW,'A˵XpdZY1X9͈Ob[!ಾ.B%U28١f0j&qr{~)mx8%=7f*e y:|68QlJT3EW#|a幟 G9A2&&}e' 굗]E9}+~a@7O1NRɂyH\ӗe&@mIs_87({Qjl,BE2st`$@R&C]h]4tܲ1(qM>rhoF6'@oOxZ; GZL$2ErP%ҫHNϬБ-])iZHu,f&AE`^K o<0 wqd,kiӽw;jLGP "B$㨔3`*IҪQb`ꄊ0W3 %V(zIҞ;OY!Q r]q.9a?9_ˆ7GGa9D4I_vnQK%ya$!"Ƽ7kc|(0n"u[/.9]!(;x ~gYZ 4 /]# \HOL-Types_To_SetsHOL-Types_To_Sets.Linear_Algebra_On_WithPIDE/markup7zXZִF! @ ] !M젗OFK?1`$Rz$/ѣtj7.!!k+8HbGp@?Sf$+j}tJ!16LgNirүn10:`.iÂeX鴘\Uwyz`XxI>k<2^Cܱ~)MK̬l cc_٦?ܣsTc1S[$ࠁRyKE`bskM60),E6> ){SVKNeq|*Kʋ9>Sa:E s` _/DE'ndQUrwn Ba .þo y<_BB47:B- 2̓d "3$3DxD:2v,6 {s;<ӢX~&濩"*ZD}d#,YFJyGj[~{1{Jz8 d0*z, u.t,lЎ˶[T>}! DħS:XD_C'm yJx7-pX\gHIJ_ٴ &Nim;q=b!1j'1[āz 3;wlFWUKFݍsMgWCC @E U"_ :@]!NθO7/ jDB ]Rk$΍_DMNv-w㕥g.hIL*0d^owY40vTfeݧٵ$yPMYP P82[4"1 1|5[PtrF]zaW|4lmCe狈YT,k"ش|n WDf#.=R@jPoD&p/>#W{$Ub!>fęK\n6I/,Q,u g m= ' n*{x9^W İoTKKڜAz 2Z?DnGy`=\]vpbeXوPXդI5{"n`*O`% z|o g@,}BQiRtC8c,Hoo%4I'VVӿ,D\{_~HXq:x%⼂Z[o`QtK>zj dd p>y~g)c(:R&{䈥*!a #8 ӡy"xķдo&A[P3cq(V \Mm/Um72WdPP4SmC!ZRRՔpO\{Z=6>W$c]- &ke0بs&|(6S$g2s|%JoVFhQ?\$(|sBF3ٽ>j70=+؊}j'>*WxZS2٤RR<α9Kw_HG60`4&'e5%c_Gf+"X1ls'9~x\nFRރ wR(R_B9Oyj'L5Ocon`@ϑJ :瘢n[ڍs䤑|)R׼jo(+@T\4$"γVQŌ"?T:/-9uR6dCcz?DX*~%ƽ_Ȝ@c}&&!ud?K0DV-jGm@ڔo$;k4b^mNoJ"w124*ܭ!6za՞6~ L v!~+S{+M+PzKJb9 2U)N {7&"[ Z/1*#H21im[G3hh F)8NnD )-};a΁NIRgYZ  R /=' 4HOL-Types_To_SetsHOL-Types_To_Sets.FinitePIDE/messages7zXZִF! ]·Iq n[:|&[zXG>-l$3"\8 2X`Et5Mvp<*N 3Ώ(S+2}Ƣ}q)z͕0ڰMvn&QjNJsV׏:εNY12f+S5}ln#3uCw=(y9!.`ʪž5xld*<ˇ )^F_lvszqq0A([2h+~B7,zgf'c%h ׍P.IL~J8r,MTϊt/\:=- V!$­߂]ѱU̅E>1B2Tr4 }w "hfF'DH@(cqNq Y<++hRxeTcAoՊZ&""/G@Vj}|[dQ3b|{Q#v,VwC545wj&SI Lܻa9}PKBLiĺVek/%kNK Kl'!5?0.`TS/Z}Sr8{NL_Q nmߋ.Yfq>)"Tb3du3 bDel0wf[^'33)5_%DRh:n-oyυeH7KrDԢ׍5єHR@l~ o{2x/4xZq*^n"PgYZ4 /=# |HOL-Types_To_SetsHOL-Types_To_Sets.FinitePIDE/markup7zXZִF! ] !M젗OFK?1`$Rz$/ѣtj7.O QjВe=m䅐gh]+zFd4Ý!=d ;3"s58%! )A7f',ӯ]w_\MpGm_͆p<^[Yxw. 0ƦqšɆ$;fw 'q`,1'zSx4% c׌F0; X+I|!+?קY[. Nϙ)eވe^GWMbѼlKu>>lM+ "BqE}:7Lbzn~A+q, ƭaɯ cR)mZ#]֌=G'Bbxj%1{. U~׋+0ʈp,>4Tn}Y55:##[[̳V@ݚ+m`)`hs]/uG:j$} B^Dfe1 b l3^oљ-NfTr٘m缮_,E$wawP;,<:hR"G2yKMŠҁ?du L 3/.KYUԏd9,4p%khuE 6[^/2/FiQQnmUA{01f;u%nO`mi"p@xأѭ8 m;յ] g& 4{Lbr{]\^H/2S5Ovdʙ+|7A= ܒ0זA/S6xښ#/V%dGʢƷoW_4Ѥ( DE `r*̮_d͡E]o^>,R1 ZgYZf /]' %EN)oj蠷sy[ b;L5l6sSJ ٘ԣYoX gZHo6iB#ebUywr\+%T|sȏ]Z 8sCTxqIK{-xIeA{+!ޗ1ƙaևeC`E$&|b~ˀǴ`-S~̅bu^&Պ i{ȸQMX6S6v NQ]DlLHʪFhNr` /.+EEO]O "hğao9e8|cĨ $b&yW8 ,=SU!G;_{"}ߎX1Y4$xa48mJ8ը棆Z>m>37̢/5gmjaR=}`B1YwJ78$U ߟ)o rtoq=lQS4쥋8P;i{#{VM. e, ?8[կWBmI# f%!Z~T}A'XD7rV 쟬]u8YP;P19n3+,d@7nsNVD[$0V}%Hd3+A#~WNt 79Y]d`Rlu{`w#BԛAD)FIZMzF´†|J߆!_"f;zdG撸j^v6 NC^նS$GS8.4Ei@$7?AE4i? =l1N'O1[d{9^%n盠9 b^} @]-c?v\eζ_5x:lp>T76SBxvk97j9q>-M/u+N1f)wA1-][g6i_rjc<}ysxf^^jmf|3/ kX^}]۝,yfu &m|n|xG/{w P}.:MêӧQWo-bDs5@99(-  p3hj`L:'k|gJXrR*{ܠy ߋ;O3QV9xa:syb~uNk_,׵HaW)xj&b l[X%%) d'{aEE'B_!!;i 2@(R% S^K!e7~~}m0 kܹ+T6:U1_<@F53|!mPг~?EQʑ<&|m/ 1lyGOTz ` )hrsִrˡ^PqMi\@#vu~BAoeʒ ±gYZ/M# 4HOL-Types_To_SetsHOL-Types_To_Sets.Unoverload_DefPIDE/markup7zXZִF! ] !M젗OFK?1`$Rz$/ѣtj7.'5vlac3R#h2mN+%(8 [F[_8ARYk2dmh;:`_o>ĴN<&_VёKo}Iqo#)-iS]F=lͶF}G-uQj}^`#a`:넗`55M6:f\0O/]k,p6/YSr\eIdVl(E $Qo.^2r?gYZ /K' HOL-Types_To_SetsHOL-Types_To_Sets.Types_To_SetsPIDE/messages7zXZִF! ]·Iq n[:|&[zX:c{wjّFɳmOY<W?(TDŽYH("1ҫuS1D<ieGbϔ M`L ~/iaA=Mn9^*;BH,C=܂fT\Ӟ:HP+<ԟ@㺔Ř|׭ `se`28!F><,lo yƻڥvG$;L8N9woc]D@v bL1 o⛹0h;] 폃 pʵ-3O^SPQ!Ҋ]2#!*Nr T4=`X2@ȪAƌc7Isgy+O(h#FgőEq"mIpJ=p8_jD`N+R咦 kR#Lؐm #,kFCi%rpDۙ0^6.?5}Ə;JU-Zhy>g<I2x SǏ8-Ջ|^}}[J@/ ; uU\=k)Tpщk/IS 9r{DJ8~6}ܘw[jmCߦzQ۳$dG. U}>G# lI0DW@=j'97hES^](Zai4bs^<:4 }ր3,ڊ[{SJsyioM݇[4z,1ߴ\Od+Z|UtO?'\Q6R6J<×7?m,4#:ku%yeΪ\DbǃPҪ$T 9gYZg/K# THOL-Types_To_SetsHOL-Types_To_Sets.Types_To_SetsPIDE/markup7zXZִF! ] !M젗OFK?1`$Rz$d[zˏy1(<;$]B]G荕SͽnbcM&'7R+4 ;ާ 3";*y[@発{W2[ ٜ,3xѪ?=vuىU6jđRv~Z!_*VҙZvP 3 ~ɾ >ʞ8r0G_Z/F fejBC)<\OiZX ?sk\)hi2  HgYZ  4.c/K# LHOL-Types_To_SetsHOL-Types_To_Sets.Group_On_WithPIDE/markup7zXZִF! T] !M젗OFK?1`$Rz$/ѣtj7.1Rrd!h26Ƒ.wЀ^_$8!c1#S}$" =ɼ]bqJo *C "HHī7;c)p|S+]П̉Ů Ot<1b^?@ _n5>n16fŨ%fZ6{#bU^ˆGŇU</Ff!|! Ջ!ߠ ,ӑO \ :,W}lҽwɔwn| .6R qw&q1ˏtf[ *H_Wj8e7skH֗KXb1ܐB-\>p,jvcmTBFJCzbPkr#fSj?. (djl rx Z&qY $`6-FTiT rZY,ll t;˳?#ޜ2 k}P:?U3L0cqsXٜsMr]Y-άS;~*D3f7-,v' `ۺ׭_'~Q= M鑿Kh̥VhĖu!6_в;l 16GpťYXiƘOt3b0O!k,dslf>C^4F]b8v+MZTy]vp _RtSX7Twl}>C\O@BJ 2bI Ò&wZ݋#PgPa.qi4p tT ʝ3'gĆjI|bW?R-?΄5=昜5r:K-K]%#¥leΗڍP.Xd[+5SaiʰT>c@N ҸԂBmhgv>X-lcݍ= jJ֒3Wүga" 445Q&EW o&,CPhLS-\l.\;3ԢfaϸPgvH"eiu!P'_|,:fal M3Sjj.VYBUVSlZǹ +S,0^e)!Wd9}v.&X>j#UhLjmc}5Oyu4[Jz')&[ej{|D4vndRءULa'I/K' HOL-Types_To_SetsHOL-Types_To_Sets.PrerequisitesPIDE/messages7zXZִF! C]D?7 {?:fH\:N#{V E|ʓ6Z*JeH {kD Ç_duXR gdnp<`?THN 线ϗX+[`~ѥ! %-C\>:\$@%hn 9=q2dD(ӐZQ .8;Y6Wl,Mn0Cv`p^OlR>>ωRx4pdVL4$_b,W$2@wQph,9֯ci.DLXH`XNLvlBWqJk0!L}|U҄DR9}6 EAPʬl$VIKm죰NMIOa+냢_˭jؒFq2^C}; vp2 e?yjdt$ouM}u#h.N\lҶxĉ̒Ս] C4s SYo%QoYNzZ$ ɼpP NkẺv| `*y܆^#}:eCyqıgYZ8y}2:E0w:švc\WI4]5Ql{]nkـ^ʭq-. 1z]GhbpA?HLW0(vHC4K"7is"_L{gNo_ .Y;&Pu9E`l|[LB7/?vqg_W&rJ.];e!6 #^h'r^n_ ]H֯Ձ q AXB:Cu>L^Z'Sx蓹evXJ[D 6=J{D[%|< ]~dtT ᏝX~t5dȳf |YMո'+, `E hVWD Frqy|%-D0r9gkᥥìibUtR[@*V|:c0%Y7%څ%m2H tD1nX^~ T3BEO۠XV{}*b`LP1(FqZ{Dl> ;G糺&-pRWfؙtTj]Bm_ =  K/9`cjB|/B#kt’)j4PF6[ђ'{cpeA pDll/=:Y׎Rc*cjZ+RHָùH]ԧ#;$s Emҝ8MpfBjOʦ [,.3-JInT 1oi;@`yϽX7tG (S˘̷d&I}(>B AIR%GO|g]`&W#4?)lןh2d!:H+6S7Eaз_#7q 8b{zfSD+v}Q4{i C)w^jGum@8N. ¼^qΣzg$K/?ƐFs>x)nәx2܎)hn{YXpM>Rs(zZWc\qL6L[c2*F {K^& HS[NONsO5z_z;vu0*0I$@pE 1{5݄},(hBz K r^o6N97(!,Qy1kڪ+L0d8-}v:a( .紇N7nz`$HDGfNI|0Un{$h#G 6fmXOqF7/~~3s (\`7kTB韟[V2Ic;p|EXVq&^蔋~S"dX053V.HlTxRÚLdh}9Ec[t~f}Lu$»R3N}IzYw152S2!s}U\;Z.).#k | ."-?)G+Qx睱L .s҆}GfЀ̓BLn}iεbNVc+"g5X-"ٌ%X7v 31g&ٔn0cƆVPW$o^`̊)LfZ85"*4q,MᒂO! JB?7Wtcv}eK1`P wo8"Gtu{XVYAyXlptypθOPS:2p/(v{``!I/^hAu@L@ X9fhj ?WzF$O5dۣHiX6#΍f9qnȶ?]G{=Rj1bp.٣xrR3/O[/xte? 2r_+ph0o7X74 ,,S >Id ^O"*ʎi)I^ڏݍ'eKѪu=- klf?c~?ĩ%rm]F)gɀu%4-3mVǎazM0OՐ}}bxiɷ_a$Ukp 5us}uؽ?BZ*F#fmVh1+.S yZo&J9$tw-꽗%6'H~˨}еv}x+@bJiJ!T|ݣsӡlE)_c[:ӎX2 YG%0-k`i=lZPtn; s +-ߦ2Z;Чx- 2J'ݳM‘ 0jtj''d k5:NUU%?vˬ7sݺiK9v=KD7ȏEHoqN* 񟽂I>en,&q4UK4so:G:r-^Ahv&9c ",WNMXqSjt7k1JZ@[>&q+ҷTMNz$I_>Vɐ2ƿ/3D`%F] W@xkp-Y}v"}i#ZTyKDgo4u[z:`9l9d?SJMs _ ut Оw07u:@T&)#0Nc[5 H|!{zwFL䄌86x[{H5P7Uqyo"hfӬR# ?]lX0/4tBb;C7U]iO9_aKwFQgV=mFP볚VeN0DZ-GƑAuUǎ^V_=/z2?ǂMo{ǤycĹl35~*M]/&!jUz;*D:<(xٵJI`ɿ3.4)Z:q3N&s+W 6{gnC5ϽgG>ٙϑ}IL:QM8|6'朗C*"DYrKs,6rm|'[Mc*!.'&{a#IsbReصV`נIU(7xS-*p /^lVY󭝓_[t \i':*_Ղza>T-#ޏČ'Ao$//硧j[-O 1#X̷ N-q^ü(nxЋzmqBtJ:؀@Fu(]5|L̵=]D /i nEdv%V7iK 0[ ]^ŮW겮Z^& ^QƴE% sZ%AJYwemORg=dR; tw1&[rb($F,nೠO[;N-c荱c@:'>(%A$(bh:%0@MvNPk0Zx $kd0J{5K/#7؛qJ*0{yݧUq΢;;Bh/IMip̠`8[w),^7gϮ΍_ lhA"ō\8;?2ײ3CXc@=_3ˊSyXj0Alΰ)Ȇ[$?C6cvjzԌ3POI䓪Z2ƒ`.oS(400>!VWlB{n&uK5F=_ަ9rOaJh*hLlJˁH`uP%\9D˾c6 @i" & jX Sˆ2Zt@b2 iXпE2#z1m}JERkd?\ߟ$Z~q1㻤 (yIW#W*I[VmFJA1#T.Nx޼.u9[';JPGތ+bmTGkk}26ލuLN5Ot.q~kcТ}]/ςgyXOL@`i"zl6?NȠfVySO\GԃallvBwHF*fr"Jw>ū]ġ@Rru`;=RZ\6Ϥ.5Z GX5w| h.pX'70Hzs;0 BR'tZ ƳҌuo |dvqa 2s[xm'܏\ûP|%>xcrX^+^KVB:NA{L:Y{069ٽgȹs,?Jc3`w(=sLMKe ĥLdfv-Hqxx~Udw#ȟypaJ2FEQ#4՗ksCBVc (cGZz= z !h} x40T UMh{/`W+7AW&>j`r- CC3(DDXw2=_SN*ajmd(fT A* *ITG -¹^ЦZDS2mܻQ&1O>Hy:o-ٛq.PVxyabEnf=^ə%h(DJhu> lQl΃vuXŀeŅ@k6+8 GBGu4-_ 2lٌ׳.IJbN_$oKU\$oL? S"z&gj4^9a.>VE[EGQ|kGqXmYjE,'34 t&x 6cϋlN2"`FwK*>$7ikGh"+h{aBvyc*:YEK{%Bިct4ql]vȣ̨Rȗai`Y%YLD2@RT zCƾ4u Nk@j j;u ]H p-Sr[KU}8ƹ2BWyWf5 'pod UԻtfBwcB=Y,X$ᮐI%h$`* *Dxm͒X4bR4,7? p6ir`gw3 0˴Q-ɇO{E'e|~osdU)ov7w*.LjIH=y%'6s"; y*`ɿv?f$k DTާ.1\Jtݿ;?w蠙;dT݅Yv8}ǣ<>MH=uu6ʪ*\v!y'q\17u+'qؕkq£E8pKEë;\IC2rױLPMe~j9J>M&)Z*aTǾhtăED幙SeUtf2W`6BEfi߯/]|@7ت/v-63SQǑQGlPX짒8YaE4#a6ywxhC5$ٝ\)Rkq \tG9ŠCUmu.Y*0qmB%zic^!!QQc3[-!gܭ]Wkr>zc;ZiQ 3ߋz=)B7|Ё#<2\|NI\Ǖ5zF5CD 1=fЕG& 5hK4t)C[Pxڥs`pF = )mΌ?g=2sr(IȇH5bi(.rs;瘉EDSP\Șr%m qqmpJf!'KV3HqFS?KpNpFL[ NdeeYgXw0y0!$Jw0~ mYZEr7 1x?FfWP4JQʇ$Nj{1D ڷISPbQ ;!ZWbf} lsL7\dLz/5BjO[:il (A~piא'щσnuZ8_@.Z7ľ[B v\IӦQۺi%?YmuƯyCٹL2AD@9DxL?zQoxkg:UvFlJ+]һ/X.Ak8]4rd"0V x&8C;|1` :drܚ`DN^uN+YǛlsoY[ #{qujN\O*4smv߰;ɿ(EbcF+O?;p%[:n])+O;Mq@֮~ 2¹ coa4$-#bߵ=ğS}X)r[ *G $FuLRy@d6"^{XlE]hSNtl4|ze1opJeƙ$$l4g" px3|8ts“ŅleG_ e'<`¶TL:N& ^ckKJ#dK|d *+ mwDmu*뢄naCn co7&,b]ϾDwj*@)A4)tNESGqJJ+ZMEly!![x\>|Àn"(HܵA#Mpv7Kg!4й2+6)7%Y1`%~ !%8 7sB; 4F2ĽN Z&{sJ IZ?٭2At׿1Z$ G3 ES.D5Y^B9AN7#8/oU0iP G5qQ3 ZYAs  }*'H7^QzHp7_kѠY!0O;,w)EfpxQQZ1$rbaq!\-qaom(J:c}upZJpU3cvp[L@wd$񂄗A/nN.MxEZ e2!"rO HESc(9JQ/5)́?*eauCx: !=f I/Ny(ӮBukw!û {8Nhk =x77 Lb4aΈHaҗ38lb`bSԏR+G_q{8V, DLD2L|衕7}E>Ɯ)+A*mHǐ롭>8%O ]}'FG1 Ӵ#ZTp3SA|DzCp> Ho;EeM`gܽĝ#|oc xgx~]䤞&Z~vcpܞᾭ!#礈ʏ1 QtOLm'Ҡwkpn<+E(7| 6T|\-h)%{ Ǜ}#kba+#rG̸Iir-V=J`|!>p|jc?NԽLB[ÊEVgogh.5b87Z9Ɠ?!;}AO>C>9*'%P۝G9j#ɭkܹq1ƒP="+) 6ai*a ^wt )=nb~@3ʦD_fG&7Y'3 {+CXB'X+4iѥb/3 0~$yXIϹGf`žAГ\GyoNp΄-h_*b ȈҌR^Zo,A#n> %RŸ=$d!r>vq{Ԧ;;}Rm'MnoY#c5R1veT ׬Xj /0D/iW؎-,sl j>!# Rb2y|FqUR(zvC?\5pwߴ!7K&/hrmd=c<|.+ PpۘTX<kWYW*bia0vf qk:L}j(&0PLI fGFBv:boTeR(R;$-PǙF3.W6OޘF}CcĽd-h[wUK,"EuѽYQxA`XWFCQg7gM.Nae痳J\QD3ň+5p*V,H!_Izb[#Y0:LH4mJ le֘4aA+3ON\1팡 z2SRl>^  2rZ 2ovR)$oxu-yS܈>WqiqGG?Asguv *ic%Z'I鋲smvR}ge{%$nerD#Q!5}O8.ָ aPwwi^bDn 8f|bH`( ʶK8V0Xİ>1k>ˀ)giMK夒"8-Bo!V&7He9C*Ɋ84K R*kSj uuJ }v2@Z86|_ wڼd}ُ|H^qI6L-+0roڌUUnVtPSҒ_1l>%>SqfbtO|E?cvK6胻tCGSPq!P!3T"`ߙ2{=gt)vU&f eMfT5vި'}hf }SnP4RRS'k܌h>_Ndк*:zIMQr\h>07dgYZtzDݕ~ߞ.D\z%jx1"& !v\ߢ/oîan=k) W1#<|z>7X;QOk͋c.D8wn!\UA ņ;=Ѓ:7085j[IpwRQ€WϼP&H{Jw[/aG[tJpcc-y&g ^)^E(s.ٷ9$ˏ0uz~ɼ/:z8J! ֞-hHM!J1=NKcfyg/wLFQ0~Y}}'1YU&1 % nf%2TniG<"աA}7A+Q q@.zOފ0 S ةϵVZWѩD{]N6dkX:M#[hE%v 3p,ᾀޑ8 1:y:?䨀"hBdIWcVj9(qgXoZkPˋ?&ѤZa2y `;X03f;πGy_RC|}K&d0ƴQό NAO S߀JXL2HˊüGnlCpcecD\мOaQi.@xGq {CQ ).j9e0Kik9B%['>`|G0YMWjN '=2ΰC8lm~]WVloy GmM 㷀#;6UuAucW2i6s9|Y43ƪ-Š?\hTc!J< *^=f_ϐzL';LsG4,wR F6 &vl;^OFwbHVr<$8l2?> oX>BS>% [\\hޢufABB1ݍ"Vєdr.9ToBӤ_iԴ$HYEcc>ٺϺ?߃L=f˝d Vdc3d^ކ9|QYgHv `?X:j zyh^{9.~GnOÁiXWv3k&@/ADtDX.e|z'nHɺa@YQlԜNMW{_.{zes6Aw#i Cn&wK|3M 7;K$ (/`=?5Z1eAj+hb/^m܋G|n4?*i^{E cdԅG8C \ml=2i6$y8)8U^E4ckvv&u$oF`꺙j,HZ^QoIn2yfG|JxPd FI(aJy }JP?fAa%=u26VXBmgAlQ] JyY.4 !%ءh'E3hC1 gW~%sEUb-Vu&ts-Gkb|̜g#SN/k?LBuU5iڔ?1`8_[5V!|~]yìzzMɷ+TRl\476"kg$,4jN~V)>g*Ȁ\ E = ! )H-q7Qe JPg~]IUCF!B|M}OñcQUČԁYZބ:z`>|Rj368 mV(YŠ3g 1iȆC $J?~rm`+H4u#m@Uv/]WT*EY_Tp,0mv;hwgUPeU&TL XI)A= '0Ἇ;1( 0m*܉l¦X@x' <;57n>@Ro*aKn89j5jD,+29n0$!mښvЎGzxy ?JCb2 ;vc/T @<> 13Ć0/-.k)ӓw'9eģZWSkTQ k0*Bz 35Azhp;XĭEtN=lz)uo'0.mm2qB`+6cBu)dO!\{4Wno B֊AIOLD3t"0l-zqn4fR7mtq/rIߋ\Q[[YW! ˷pѱqI#k9pChE&[ r`̬[at qH;uVX5sEeƳس85Q@{9%;Ѵ9g 7N'$ 5V$cIρ6ϟs=Un9`tFz阎𱝩siF_k:RhB{+..ծ}Dq!.azqܴ+m%E/(-)D Z sD~Hw-ۜUZR5 9&姾f66ItO4$=fXzސ?xehG`6[2|VYǘ1mԡ(r:]RZO\r;sWK>Jw_.8J"J!5_ M+4t;F"uk+{}N#/$2;-S攚{u$kX Z215B4`K<ңU} ljG9> 'KSP 0x,el`W[OH{ӛ?,I8G;fvAnX_Y|v}WxAhdZVSK=.t $DDR8$|i['$0z $wUON9Z#zѱgYZ2+lP@ vPޢ\d * ! ! (꘯tS]),JS<4eI؇_ﭾU/H[1]Hp.wA~#^pDPཟN0q<6'5le4=EѢEFűW= 7Th `N6L%T[@r3tq,TZ'G9`N=G 3C5@T:=v׃&.~O\yۣm nG` _Û&^&&e)[T@Wz3(]:B*TK/N)ѿU|r:Xg?ku4 >;T᫸4b'0 F ,Uo09GqCpCw,~TKesd^ ( H b::@iѤK Wq-ېi7|Xo~ uLzp ,-m9'sƶ,M!JE@ PRW 6}YTJ6$̴Zeg!ٌq2CY&jxڊOLyB[ұ i 'D2ށPY%eoK@S4nS?ET \ЏG =Gm#.U0OGZ͸Kl(0⹛F<$*X9:Sx{I>G+y5P=um]V^µ^-M0F:M[Bҗx֛(@SuPs9a8{e~LjL=ɹǷ{ʝq^9;#0r}+'pxAyqGЀ2H`QM :nV,LtETyy/殰s,tqϻSSɴjtyC>u Em}w:үwʙivXT0W6.*ȚݮVZh %7v=.t䀵f' FX1V.i0DGUf荥P㠟>)?6bMV \BUm<>,)Pn/DoL-q\y3e;jEAHvd_~yMTv#s*>#ع :2#0H¦`^j%\) "SQH%_(n8kB38Guʗv,  sC &X-7^piwx2z DԱ{+# ÃDR»L>XCT 2me;3_[ R6WZ^vv^U'΂d2w je`"1dM{D:"F{o}' IO evgi9Ԣ ey!ܗyOU,wXC؝K(?؛ЧSuo.%.\ P \l̫-?<  8\Y;,㝭aq)]~vJTeJ%;#DܪU' ֶv|k 5Mu&5M/dK~'B\#, wJUX*pgW6Cr=P;0f(Petm4 uΣWy#_VC3Xl+y=Dxԝp#`%oGm Y[{g}BT2YY|XȮj:q! rK(Z%΋IU$d! xBL1Vx.}YjdMѸ/jj%ƧYp)a+9ܹe۫#IZ@9 *MBdf//xʿ[޶]qBKf.ǁZFЧ𙠾$LO؀na* QRvԔ}*ɑ~ϊgX*As=AOMA6,\ e)&itFNER) shEʭ~ ?yj=1lơ{s ^XKH44wJ4NQu8p]ȇBë]<Ƅ3f#J&萌fNkv269yy8_q)W.-ߝŃoxla6n9 bX^B>Gt%PQB&!x$[%5ӌj4+>j;|·ICy#kPmMipBvצ3hPO`?$M기1Kp;hIGTi|sM~h鹺s_vekL=ȟ^y'9!}q.E G;qkvbBK<.RC 9|iyˬiWR,:I;nm5(7a8Zv\w[O O= Hzd}CbE~Ʌ nCf F[Ŝ'4d+DDEl]kʓʲ(Fh݀l7evR}lj). B(SʆL%:6I9U|/ h4Orc>|N{mJDgK+rk6Q,1=,pw7eg_98H،^uWTA=9Xt?,9 eE!瞩ґ/-<+y(U*jP8+NR99$iL˰dsF5o%սb*2LD`$82Wyw恲"1bLaRײB2/}%3`F~ֽÊ!sgK}_J[[80;^W$ ]r:b j>_FP c\G6%ids %DfIjndX(2xSmc$q!Nc=K_7}?ֻ.JD5^i+~)RyXڊ+yL`&).eaaqL~. q$Gy A~/~!s Tj ] nk&/ӌԧbxM i^{te :'Rds^s;=)L$$]^ThG[iS_xYBv{ zH@r~&4#/curqXTz@(cx쒂kFg rgG4 _9;N6h}Հ"<aZ"GRkk(-kFgzծm1AC_9YNod{l5ȫIQlo,[pxgZM!g+ ))2,?lnIU* nǛ)Rl$&pχJ]6XGgIgŔ ̄WK fn0ļ>.j^Fr#g Cw2l;K=Y-y=,FJ' jԵ1ACI/mi>UB8b Wr9J۲VV"Y'SC{MUB]}jzA }<Jďlj+!fbtdJ8J atŻ|h7E@wϯsFy 9%\Sd]Xw"<[ :^>VsBcCSӞ H4Z, q)f$~x,N6r;@po5PI}D.isXΔזu^zw Z&}p56cpp=@6ڳLzy#q-o@vNlbYPA8lmjPXwr D;M9\ҖeiVl@Z>OoTyN 4Oԫ[)vH/x5itҬ]:I5]Ƚ pPx0e )tEg|-Il?SǺ)?amFO鿊[@`v ,SY? =,γ+.iuH1D -ux3UN"0|vU?YlQj&ا|5G} SҔVT 2ș8ʲ>%\ %VkNbousgFxvҾΗ"Qgl^3_ sl[ԟ&Y<ۊ+.tغ+E) ׳so܂ NPH 32S9`$`rS0XVoi>@/@,7Di,/9a%2BɻZoo\5%Is{5Jnsަ_Ak"ktןi &\+)Lҿ]Ƈ'Ut%i'ƷI|"f;RT 515E!#8 жDgzn|h/kX?/<91Tbp29CgYZFX/d޺#yH[|]>ϳw5ˆw Q Kr׆|[~sa}+{hMHO~gt;R^jZ-١ Hyo w |lT\S0M"pcbF#O5y/vwwM!O7b8 ^ЎV4?3k3gY t.@wH^Mg r gt0L(Qd5ZBĖx&G?҅v4̯}q|[Y$%P& }F}g 4FDh /mFҍ_)mGnZ`WaTzq %_ $/=!~)CX6O%0^<Bԕ9 {MqZGA\d8)`0 ٹNHe6'idŰh;w+ 3>n3z Ž?/m3efl-w!bt]977ΫnuGퟳo{$%ǃ4c31|C.$LR>S[4A6ՕϮEH=uZzSbE+`.@51)޶ca@V )fD_`L&DV:Gdﮗ|)2p&KE1s90v M)B׳\yI51Ӈ> DE #O<, sfTa5uwDzvg& 0>ٮ_5v(3m [38W%{xAT2b t? |,L_&Ȯa}X FD1aGj ԑ5LjQMuy&ZLn3QCiA+P]3G+a,\zXp MQ>akspD89`\RVΫ@[ZEٟ͟mJL5 F+(zJЋdĎu<\(;}dDŽgmsׯk;Ŵ!n j֟ ڼ~'ͭ;s .=&K[7I>z璻'"_t8ʀRx{HЀJsk*"5J'RT\\7vkr>NovÙQaF 3B{['R(۪ȏ)Rx):VeҫӾt\(Jy}:͇qEǟ %rn_rY5Y2/irT҉xCNA-DŽ]7Ԩ)B"Fޗ\;M|фGYDXda$bpC7!bKv"Bo0YwEceY})^i ֹA!SJNTlkrt7_䧴Ia>J?=5=VGEtEb>Ca]RW>AnUrj|pN&woC Fn|b1FF3T5N~9T7/&sKI)τq49Sў룒S7Ι ۳qGZ1-XG?j?5m);Q!0QN੔s3&ۚC6z8{a* Kpt/NP0] <7h?`S 9g$ֈp5.r@ƒNK+'eeCoCv;RB"உdv-3fi>@s{'"QNJqc=r%ʌLb⥔A!/jXoeqsLe[Dɒ..%o.;"I3\^؎rbX{Q$F *La+M86+UWTxx?-qs@S<3=Cى_j+fjiIIrr锞&P fXf ٴj1DIM"n.>g ɆƲ20/}C-OFg4fEzX!0͜O&f>kbv$O8|lJGc9RK&"]5^O"K,.7< }Nx4Z7&=(cي.2aP rݞDl+$B[ﵱCo):jX&DG'qfd=@)H2k ɋ{ͯk95%V yY;8Q@(iT4!Ҳ~#&4e,]j]p35qmuڀ8T dyer%\|j-=8 ďX0b\f U[ ЕO=~V H& ño:ڬ(q ?;MfoxL{$mJq e(P;bNo*n}ا,05G TF/ Dl}nldij_x={ģ2_^bmIV9VrID_$ ͩen#3*$!J↻@31|;O/Xl#ov11O(k$sl>/bt>fEL:w*R8 Gx b\;-_G1ъmXpSxt_2zU `g EQeXM?gz |!5fe!PݑU ^YH7slu_s|ȡR wis~Ce?Đ.u"~_exM͓ka 9߻`J{>R|Q#[;Hp+WsqzwV|]T*@Q,AX@'"GZѹJ R.wU d:oɆ{j~bERa!ѺFKbrm׼ǔn#}+.1K)ii6S@?<@ωM2Ns鏨V`8otࡽH8Wj ƪYVͪϾ#.`嶕Wouz>Ex?CjhPCLZYUV}1;;:Fs+Z Oy_-V^Q}_g˺Kv˯mgI{F>A*E1J0ZE>rj4)d޾,/M/(D*5|ŽjREe>_Z"X%20եj-o7]  Nށ(ƙ89|ܝeC ,I[Fd;\*۸2jCN\sqoM2]_dJ^Y!oyﲳ Js u08aqvPQ@0WqRwR@~L>cMVeQr;6G6a}FGxJ`"< (K gqP0fu+G ~}猼>NR}Hmp \s+&i嶭~zWrͭ;16_@c6@4߅/ǿCP6Ҥ5dԠ8oE奔݃k \Qn(l02 (U<~l9Kx a ^B7ϭ(SHS[xfr ңXY3X/>X,Ʌ sji I2<%|5ȝNhuz@B<*Q6E `|3dA<ݶ*r9Q Zy_9.FutЖ-&3`x>DAh&g)/#b.WHj3QKYYWۍfKYN"KLG,e|" c8sp>l' :&DtsS7lEΈAӁNP%=L?xw_"\  3\W˧z਻xi~ىVE'<_/ 7se5FJ.L=)YjUg ̇9$D𪩬dA}ЎSS4ud:m4 i?}?ԍ cuQC  Yr}KnҴ[)Na&!lt J5O&T&r d2v;E<[&̋IcwvFK*s^ 0 0!(z p8WI#O`;|  9{پnؕ~ܖ KM{  6ǭ![7-IRր5NRJ*N\\/Er8kد]6|j5v_Q8NǤ[kɡ1?V` O0~Ȯ \ װ4jDS5MwN}T}.G2JuHC_"E?:3_:@O䆳WnuPS*toG`Q'2Y&v:d= s7ZM}!S''| a S ѱ^h(]M2ZbKwԃ[xW1r ' PpԒ[4/hVMw2"DŽf$TjCu:UsS,R3k%/qGZxVu.6<k*xp"cU#BqxrF +N̛%Zt&A8/]׾.#X>3!oz ErQiܖW7ݾ^*Ĺ@``nf jH_VO`%DpƀWm8k;I ҤqaE"%CT@ c%?XiŎxOe ;e +^#R2)žZ@5rlһ_ CO;^N@8UG~A>>/Dc])z[fYuRzM&,' bvZo&>lv$oizoVK߄9QuIlH 8ӜX[YB1VƠ u~KNZ{Si3u ܡ zTNTHN]txݩ"cvYwoqz{}ps\&ޫ :~1toUV#8`<}qnu;L³ E~d_TPRx $dԱIŵ/c}d8Jcʷs,h_'b( Tk+4C Fn8n8KmT/=:LxZ+}=US\;7$\{v;&_2qd]9 XE8,xa`G^K( dLH b}-DjI!!6#OoYfQ15Mэ_0z%Ҧa찤 ڌ([D*5˕`_UJpP'"t5zW8ۻ13 T+lzZC,Cg3hBV#o@ w:y p'eS~p3LD{@ʸq[H~jӂpM6+p(lwH.9X: PU6e2Sǟvj2iKa=prI Ec[ZYS?l$2Q l<Z엸a>]c)&%KQ3x¿W-Jld&rCvO{S p^(AUa {WpHR2KW1tm)Eᖅ n&-,د#-(nJ-ԡW5?N6F^1ͬ\BÚܒ N P8Ow YEg\ENNj`ӇH1߹Ps63CQJmQg~e D сQyaYh(g6YrwY/? IǤpD:?B%,#i8eOqTz:Q$G lIxu}Mͤ3MP㺙\};:*XA2D6u9sfsļGҏT#+$LQ r*A_oSYlzw$q"K)EwYO͑;~&^-^c (TտFBY%'ґQՕcgVt`0Q3K8M) VbК*[M'Tc}tC#e!"!ad$ȫJ2{ zP`|{bJw,813d^麀 ٴ[G.C;\DpM9r1 YEo!e ~ܝɁ GV0ۆ'"rn>Qp4ТX.3Q/tRY~wc0jjɕaʽhw76ߞ9ըX1ϴ=_:FD[| $F4 T  Q <6tۯ?3Wq ot+cu>ݷB@]FJf)ݏ_soIٯKJ1Og,ΞKrU\3+?wrd64:9ItK/}7@#8 O |j!DzpѰK]:\@Gfrc$,,E)Lׄd<+^ |jV02/d@g~ɔ^ܓ&\IǸ@]Nk쓥x,P♲4o,895YmqnlxdJppT)0N&]Ɏ&j1`{@+~pb/cґFœڻz0˦ی-8*gYZ  " "F /K' HOL-Types_To_SetsHOL-Types_To_Sets.Group_On_WithPIDE/messages7zXZִF! pF?]D?7 {?:fH\S#nkPԧ+L 8GTg:fh@Ǡ#U6FM6k,B2 壣TDY; ?;LR|Z(Õ@#b3MiNp`f!--k?:<|X$$8`{-TD2(\ч"0hC{}Ws(FYiXC̏,GIwW,1.)n o$i.=x=?bתX=k0gW5{(%HyDY|8elBIo-璋؋0nIdл&}R^J4oEFN9!ӝseڿm$^!ňs?L4aѲ7g(d0|5zMhdc.{a,m \ <3"ʡm4 |zV' !i7(EZ{\zH{|Tѿ!ZqD)d :SW.m7$>VLo\Õ@yK#ǟ2nY).%'%D*6/uQjp%"vNKd-/7Y~zm2)˓BRA,M`1Y-AuW}boJgMdL)ѝcs6R,\jJڧ)+OPzs\,}7+]iYSqcԁ4SԿ&NT!SfC W ij%9]8") A 7ʭZ"16_fC;(?/t!~!DW> J@VsEVEa/ǯG5EHUa'wX1,vU\nMõoYY)q OȕVCO"`\?T>rR0Ou(c#aNp`<ڢ v2qxఁ"!4T8{OmT`I}Ckr2<epV1q1Fˀ,X11 {xj;5 짬1C՞9&t"_RȻ "O%QFJ]$7b ( m }FQ~JRs-dd/bGX ipIXb::Vcbs\,:vҼ < hk}t+ӡ{$N႞^w!=گ.ϼ aѤ$ƻ5pzyɚkNe3PW$q觅'NsXX܍}(.l@睒Pڬ["Rv@@KQd357Ihz=$Xzl7J $`j)$;BGNeyH%1/g] 2Bx C)=~<|~Te;nYgtHQXR66bOY'pJ 3y4bV7_z:+,7rv/B R6#Zt>AlhS1<4(5!-ƴ'jB,+B,( IO \՛ A j7Sv$GIVr{f1KMK2~V><WY4xG7YJ+2 ybJV:Kgvm㟰UWpk vd( #)j89{O J<"GKCWc!%TSBFKkZX?cL]{䃄FeՂ7֑=6UU'++D|PI /Pb/V3 E jU"钘40q Ͼ { i,$TR$S~>iGbd\*&fG ,M`Qxh# 0:%" 0dbb)dUDoꮮ qՔ:`*dѝN̨J,@č3 maH-OvN+"(WEM&l^{7|TޝjwQugDx|-?8v0 jd/DnoKqY9FkӖX&}Np0r)~I@ͽk`}BƒYQA@5ȲG2~QS®c`o_OBTRO,q դ< + mU_pK~+dڃ*:.x&\-Z;7~L r/P;ƋvF\8a\~E,= %˄)kd| {7I=bEGlmD/y{*Lp!8]чG\]M;svT*S$g;!ۉ;hݦU1rB\9"(}gR9͍]X )Sfeefqx,qh$y\Z@#Ms"T8цhWJlmV<O.7S|[[%HiOb膑f;#L`e1`STT' C糯z|vU,'pRQMb3J]7( i{#C*y@>@[n#@Wjۣ><+(*+,iuDn0XoǙ%HcEM~~N>%o_:X ~6ZhE7 ^<[xޤO о.+W|CPY4e )xt&ɱ~Ù6bPh!qAξIR<;{O $;v'bEdXEvzY+mcxDlq:'{||FZݠy*xf[tr^b^%@+ixkcsLx) dZ:Kl(\dr? / b:0"۴GRIHaQA)icbobcbvԟTnki|6^\$Ɓ7@SLEc)$V)EE\f0Kn(7crhRM)`2E<^#<%aӁSuI@%)j݃8s-5cN4)9Nzb&%xYo3-J=xLGCAz>Ë(ѡ4KGbٌ_$wD{/ :\As7&疊ya)2 )oR[it75x[ Vaa\{wr<=R;1XKhfeCb uмc+șxO/hɳA93wi@lU%.j u& 8=k77,uS&Nj`->uLJ1]mݟعL2UG\uĕ ”CSS/bkoVQg1LeH1+FsKLu7Y5<zox@Vcm5q sra C&Z<`H9%i.N?9jw`N,i~&ݢ@cJ#weW:&\)#"+Xd&R{^dNiěxp+6oO'{ +Y˰_9@P#"HÝ.X5oөc^?2R8t9| z̬G@_bC6Tq[gHݻ̛(9P(e17WIhMfp8;Uiq}V1qxKA ID`rF3H{tPeg3 qS4åk}LQ>BpI~d3[L&`4!@BkT,`k1ldٱaFö#w*Ẏ~|yv ~|FkP&CU#X<R ƦHό1:ܺk]l4o9v6WI*l}=܂_7}/E[ԿH2tޗX3VTkBFsyhEZLh9oM۠Pmt+N;K3JZsR*5d:ZϹu@ Q\o >é n$ TĮӰ^BusF%"p{Y<^ `&yMz7n(gojZƽ7(U-*#bR<) ?ힹM3-M罘l ' RGT{1q[)y^y~0ԍ!J11PJPԽhf09l"!7XQH&`3{ ټ$ğ0Ni'KC01{ڄw5qea$]Gm/K 5bTHT .[r>U9_UNHT%ۖRdUX/.EcQSRp*G׊DNI^- /!ڽA1v k̽GI4Y &/p7B{N-(Mv+X٧`E.vJz^FܶMO֜2w@93N8qn4i%,դu /bþLl0ahCȾOB,:3=Bg4y!8O):OQ>gYZ ""S/S# $HOL-Types_To_SetsHOL-Types_To_Sets.Linear_Algebra_OnPIDE/markup7zXZִF! !I] !M젗OFK?1`$Rz$/ѣtj7.!!k+8U.nŲFsP051yZAi%~zMٖRܗxl`a),at~gE~0Vq$~}%ԘYY3V,͸i4-'W)9ַ|m1W%Ͽ_z#ȝ-h>Q--JR{,[&1B;9ZeT VSSf;_F_;hUmL @|&Sg6AM$L%&K9هĚ>{긃͍\*flU z9R)v%)UMQ~%|5G+p yЭ|$0P msmlG{zA>;=Flk`׮ €gA.Y^ K #qwRwADZNORl~WD]$2Fv`0;}ãNnVCw2%| jm,s"YvR5|l%!y k|m:lb_?bMx٥]z4Zq]d^q8r(|ŶTu 8ж;د9/Ph"{RH`*0W~WÄqT Gsexg ~q 6'_񰠍6?CbKq4bvY1Z@qLJ`TA"MU[:`4(}M?:!Dv:r#aEΕxcV:k r`@›fFIT &@=l3(T8ݴck3Cks d:DeIhpt V b|K6$ 5Fv`Z M^XU4vnnW]d~2> ~}Cﵔ.CUJaj<>QBO(6UgAx :vgX9"f|L\CZuOCaN8pG %E8= mܫ* gKz_O:SنYDͷxצ˞ @VOl:5z~,#˽j^x^$ ?⧢_⯃|6H)qtJ Ëy lEϦ\zf>*O=W/\Ibih|qqt娿aEJpNKrM"L݋m*(YAAA:$8mv__֯.M_tO'p=e_-2\k{N}ts( &s ᗬ!cܳN)S &\,k@R뽞>)9G. T?i_ Pb5Wzǭ7B&$Ζd_T+K)R֍.CdP;3BG$g;Cd4 Xk݂XuZ JxWΛ/L_HRya!aթV(E (\C^S̉3lr'&,襺{(4LOW^޵LdG4Gzp݅ \7eU%jdeXIg hGCC11SWF':#(Or "”KX;74t@8k`ʅ:/1EJ..T:Mdo Q F&~DWR΀KZqcۼQ,fh/}F o8YE|I "5JuQحၿPVh@)c,?q1,Q.I/N`4@Ba,j=}jF&W`ˋ |6?B[KB PtÊQц-*p {:ͧCqB8ۆC/#oZ!-֜У,ZL29m~L=ryö LnIjm :{?X~iGѩmX`O ^$WV."4e$Wr|=p Ήu-E49VZ(NF1z"̀m6>]xq>&qTNM!4I@w8H`3H-,re9JS'H_tFe}h_嚺e N)@1ވcB+1Z#m6{"[(1$MLdQ?7#n1n|,tbQ _S>>\5,(9uˠĿ69£ȧz ?L{*qpɶy:aolJ? ( K=8[%lb:'.D>P2pbh! Hգ^3lgĢKeg~ SǴ/,3Mf >kL":OB.TFNشMٳaWtwL%-BUMkܬ?BSÕ14֓2|nŵm}ϩJe_9Qky0A6y v_2T j o7U3jU7_`EO~駄z99tLjE UXu=B{X;Z‚k >P#2BbuE>|r<6P]~FCdJbUlf"aw;##yX t+}(L$g4?GmaW"& C[-bӛ'&;3tz ui*(9MF̣UU+_#{7C{8OV61f%ӻzR"gD$o]vhrNavdgzkJ74dD |u=P-rhn,,=DzbTFkTPNF',d is4Z0JmѱUhX~ JMl_qȲptT/S2z ܀A<ѱ녌ťd.mgiY*ONZI8k7 SŞL:.ܧf@A^ג*_$%Xɚ CǩNIR\]"pO }FŜHb* =kWe'YIcv) CgD` 3#V(nƣ-2=[Ɓ =Z`s)H1WDЛPGL1sb%qc/;za eGY0V{S$lZauefQjS.mՒ5%-Y`E*U%Q,MvF mZK0rʔ}B` 89hNxM-$"8'u&c!!*@%(mJg{])#`Balk6Ѽ|q9h/)cL3<O|s x4% $ɰZlW<.ϷN^eu |+5 Gua( g:*R@Tqd ߱jrjn:.cH$rk18޲*VW|Al;_p $(Wl{Lz0g6!c]w@,j$9,Z6j1~* ,NYH;ۼ._<裻m %ŸI\=9;F~+PCXT!NvCR>7:UFSɆTȮh{JS>D]}r|RKPNRi҉}+4!d5=֮s~d?¯[s(SBS*ծ..B~I&. :W(V9|:cfZ35nKP~*b$\j,qeZY1u )K<Q}@=NF[a{^;Z- \\h*!ҍecUn74HPkgLZi0ǺShOs?諓OVL[RLiod}:>q5V>]=>ZǶ3)su?S#N^*(Ş4i*F |D_-sCeRͳ*׎ѿknRo4tGISx1#ӳ5IhR&k:Ɨ')R2pL3-hI3f4n=ˢq5KpAvU_Ox)DL{؊.^D#sA }KX5 {w2mhs{m%!m"&8?'X@\L>&䇤ey`<4e_/{ՅH~."e(н2 T]D`9@ >-A!I׈F|1. Ǯ9)muzybkاwS(p)`LVm#3jk_A{Դ̗(wo_i)W$gIys]5!y&(*URKļGO*xo9tC_/ B/er7 g(*ȶ"(4X@-Y*cTHG&؝U!TM#Ed qXUo=*6|@o8F) UYE4^(h28PsR[0cZ'NM3͚¸{1ۗ񇓻?z]hm0"죇NZZ9՛21+v'E$'W*}_i''\iAZPj(G+CiL:iB18X e(ܡ265!rna @Ӝ0 OxT *PzqAZ[K VUߋFN>>dkEmr,TC8a>h*/$:G8/`cNZqo"C !|29AXXR>m6Rzb0-)sDž 35ZѠ[I$rf1}\?3EA#٘J9c$l 5# r2HSc#yP3 ?p.FgYۮ;d9pfcXAИvIjWf:Z[rQ߱ΝP1i'9(riF9=7Oܞ: HpDuZɠ2A{=4T¬TQ{/wz#Lk"Г!.~B`DcP=RU;.ål}̀qςE{59ynp?u^5 M7'dQq=._d EyY^xp\:_syW"v\| {F@mBj*X@ e\HSp bavM3JCfvj7!N8en|z1J[dO%`Fo'Yi8$G3MPs,Kk[sɝhv'@J!}Y։D ck]isj"}瓯[(9K^;Jt7K/N^bWN@R>Y`oV;N$ \0-3\;O1i(^sN˛uqv5x~W @>Z^ JM\/w`DX.bN}<&<Ĥs҇hʠMU kN=)f6%q:G7rV#O7--zxdrEX9iKAV ۾ D8 r^F-~`f{[FN u(uX VLH2+}.&%b\kµugJ_k&ON`Ba(糹o ⏼Dzdcg* Fo3 `N<\'š;,LQcĩ`df*)wnjMxhFU`,$H0OM]sVLr^CA tU@UǾdž5`}eouI*Q g ^FN AB}o:I8AkjbSd~]]k~Ѭ S_V;խ>gjusaJ6՘b f>1ӧ-Đc$Dj( в7'3]G /U}- ~rFRA/I!8e8Z8AOC/"cYR)mTk&̚qPS^;}=$m{Z^vFE*^[hH(TMoñKVNCG3`y[N5#FuБđ+"6vHc{MXFI6V*1rc-;'7,כnHДyJq/7z?I_ʉ]CTb[;Bixv/"/[A@ipx6Ηld^#;CUNbrGLp523YYr uPD_k^e] >r3Z`Iզbs% HԂ3+~eޱ= (3@pᢶRA=H&:K5A|C\ӂn xC$^CeT*Sl \L+x BԢIvyׁSl4QA8X{RS/Yb \Ag:dCQVw9J`Ńd~hB^IڢU.CR!h)^LFhE/F2:r"@Ɖf`T=O,g 4-R\O6~M"h7߾z- O:B895նHYf֚/x /`Oh [T&+6W"V.|1)u8;pMYMY6.3G<7H2!4 4E]m@*7z𓻤 `2--RH瑿l\]C4 9C蛍fo<{jhs&ȗaėwu7\2tT PLEtJ|wof1[@d {hdufxP4s>IC0{jM4,Yw90,.6?[ܟ8\kS҅OL2~$+{&%xT.bɱCY& '@#jNn{z|6Ka쒁"B|hJܬ<`ڱ/]f{ģ`:zB1?BdnW2qp_/d"H{'Bx4\eZ:cԀP|h33Q%,?SD܁ꆈTK@~ k;_C- yiogRh9-ob!} úGZ[`5Cb#8F\ɇQ \'*0#!??\ݰzPsEKxBR Q!L>1]0 ~fyo;TV*flE6N(kdhF(^>AüJ ŢL2xJR}jupicl5Bՠk(V=AG"6@s'D'/@_;~{o)v#i-/h|:1V+ehJ,Y NJ6M63$E% e`&&CC62FN*R}W8u堟9 .3\GIbC[ y+=yjX@ %">G)g\ _Α#xl=;LX1N _h?1-%fC껻Ho/0l=)C~jձQ%yk׿EYw $kWCQo'U?GC5u`u=<=c(Sr$"e[ML `n_`#!5 +'V?E-v.'PYXOQܧBzWO 뻕VhUc+Y-@"OO=jI4AX<'`-yiX"ue3Ăhޡ׼KC Bp|i(F'E1Y#39JAt~n'"МP;I-ZKF_qP,<ޣ-SV. ՀN@)=0{tiYS5sӨ#w%\HB4^KGak.jp.'U43ڼQ'}Jrh6&/˫m f"u2GUd[8BH"]3#͘xFWh /?R#Ly>8FmaK- ܷUWݖ7>pVKGuuUan7e{An`L7R|jْ֍Z/ @G[YAu#3>U" <J}#)$%nUf!$jaևί8@ 5k:gI&X[a3t#%As{匐qbi ʏ Ň|QE| mbC8^BGa\9QIʛh`\ʙz?+d\ɾi)$g9=<2fMJB3LvI Z⤦tk!]={f [ l\MojbW{5#zH2mlݽ ˹#7REPWŰ|>IbH7KG2[Λl_Gw}|=d%_r\ŹG?DWq'742;J]jYkS{r`v;PXkBv]:ߞRu"LydV&AKD{fΉ?9\Ķ̬ʃidxSoϡ1`N+ ;~i,&1Ռ 2Y1~4ژ؅Rl_էz;P5+k[=w9nY= Cou,Ob. xl Z)XtLj\%lmU>ʐOV#O{f䬗isv