SQLite format 3@ <.K  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 r/tdL< ]/ HOL-Types_To_Sets:threads=4elapsed=14.519cpu=28.360gc=0.8847zXZִF! F,]ŗXiɟ{a ױ1:rfnmEQ n~}oƀ{nV"`5u|zu4ZoE wNkQIU 5Sh2/IVL1b?>b/,@+̄eDKWc7P :z@h#$?ǕrfM25"Y#qu˘ rjg,LU8ز.\.@ʬ!,:E>'2dwg*^h'y| CQñ/ߓ"i(C-\jPw߄2zQ7'À:kLu2/CI[ZYnODKtϘ=އJ?@BIfs 0|Mq4`k  ,W? =Η"fP"п!1sH$GְgYZ7zXZִF! ]ŗXiɟ1KwCe )wG:ͦM]Paߟh闖^q{Xkc_` 37FU~Ҟ⛣̌l@IIDJmυ~FPX+(D _.7p 5J璷mo"hB*Pzw|MkE\k?gYZ7zXZִF! T]ŗXi%TW =lΚ?'M7!֩t+FIC֧yu`^ t)j$C0qyZcmO'j9ά/:m Q`XKeHR&̠=#(o_˺<(% mcb;uݫD]F+cP3R8#@2E S-W/-~r^^P3 >g\ֆX⬣1&KiA-K?`~B}[^( 81`8ox$sTNj5NebQG3od*-l)|O#%:%0߭boǬ)fBh}<Ύ,L:쾃Q~5t:B.q]< ߕIW[&x4sR| S6)\*&ls+f9Br~01xsTv&WGP$_~ţVdE*|i@>sT X!xռғNɦg5J1Aj0̭Y_ %AYL-ǖ"Ø̮=f)'WhAʺI$ i0Mu>81Oy@u2) yƸ f2/A3-B$V k˪)Q3`$̰%'YG?ػßkIMJUMNرo`G@u;\խtpL6ވ9<>its;Qxœ r:m8Kug0swD;h/Zh -o4p 0V٫%!Z[ѳ L QH"Xz CawR tuYANzx'q:Vn28|wdUrv9K,bɾA{$G?kSOl@/7:zҎQհ 9wLSLh yY)v4f Ѱ~[5RTKIG)׆:I?8 c9 :͜>Д/:qp^zWS0M-֛ןl.D( oQn AW1B]. Vܹ0MZXadKi%UdqmS|FrP`!yoP#0[]5\k@WȔEZ33]M*[xLp[o2ch o1q̦l%j{/>}lCh(tnV]pK2eOL,- ?=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?I:+4(3"/!.,'"    , 3   W 8 e s,JU I >  1<sp|C/K'HOL-Types_To_SetsHOL-Types_To_Sets.Types_To_SetsPIDE/messages,A/K#HOL-Types_To_SetsHOL-Types_To_Sets.Types_To_SetsPIDE/markup+B/K%HOL-Types_To_SetsHOL-Types_To_Sets.Types_To_SetsPIDE/markup5*B/K%HOL-Types_To_SetsHOL-Types_To_Sets.Types_To_SetsPIDE/markup4)B/K%HOL-Types_To_SetsHOL-Types_To_Sets.Types_To_SetsPIDE/markup3(B/K%HOL-Types_To_SetsHOL-Types_To_Sets.Types_To_SetsPIDE/markup2'B/K%HOL-Types_To_SetsHOL-Types_To_Sets.Types_To_SetsPIDE/markup1&@/K!HOL-Types_To_SetsHOL-Types_To_Sets.Types_To_SetsPIDE/files%F/K-HOL-Types_To_SetsHOL-Types_To_Sets.Types_To_SetsPIDE/document_id$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"I/]!HOL-Types_To_SetsHOL-Types_To_Sets.Linear_Algebra_On_WithPIDE/files!O/]-HOL-Types_To_SetsHOL-Types_To_Sets.Linear_Algebra_On_WithPIDE/document_id B/M#HOL-Types_To_SetsHOL-Types_To_Sets.Unoverload_DefPIDE/markupA/M!HOL-Types_To_SetsHOL-Types_To_Sets.Unoverload_DefPIDE/filesG/M-HOL-Types_To_SetsHOL-Types_To_Sets.Unoverload_DefPIDE/document_idC/K'HOL-Types_To_SetsHOL-Types_To_Sets.PrerequisitesPIDE/messagesA/K#HOL-Types_To_SetsHOL-Types_To_Sets.PrerequisitesPIDE/markup@/K!HOL-Types_To_SetsHOL-Types_To_Sets.PrerequisitesPIDE/filesF/K-HOL-Types_To_SetsHOL-Types_To_Sets.PrerequisitesPIDE/document_idC/K'HOL-Types_To_SetsHOL-Types_To_Sets.Group_On_WithPIDE/messagesA/K#HOL-Types_To_SetsHOL-Types_To_Sets.Group_On_WithPIDE/markup@/K!HOL-Types_To_SetsHOL-Types_To_Sets.Group_On_WithPIDE/filesF/K-HOL-Types_To_SetsHOL-Types_To_Sets.Group_On_WithPIDE/document_idG/S'HOL-Types_To_SetsHOL-Types_To_Sets.Linear_Algebra_OnPIDE/messagesE/S#HOL-Types_To_SetsHOL-Types_To_Sets.Linear_Algebra_OnPIDE/markupD/S!HOL-Types_To_SetsHOL-Types_To_Sets.Linear_Algebra_OnPIDE/filesJ/S-HOL-Types_To_SetsHOL-Types_To_Sets.Linear_Algebra_OnPIDE/document_id?/C'HOL-Types_To_SetsHOL-Types_To_Sets.T2_SpacesPIDE/messages=/C#HOL-Types_To_SetsHOL-Types_To_Sets.T2_SpacesPIDE/markup</C!HOL-Types_To_SetsHOL-Types_To_Sets.T2_SpacesPIDE/filesB/C-HOL-Types_To_SetsHOL-Types_To_Sets.T2_SpacesPIDE/document_id </='HOL-Types_To_SetsHOL-Types_To_Sets.FinitePIDE/messages :/=#HOL-Types_To_SetsHOL-Types_To_Sets.FinitePIDE/markup 9/=!HOL-Types_To_SetsHOL-Types_To_Sets.FinitePIDE/files ?/=-HOL-Types_To_SetsHOL-Types_To_Sets.FinitePIDE/document_id X/SIHOL-Types_To_SetsHOL-Types_To_Sets.Linear_Algebra_Ondocument/Linear_Algebra_On.texP/KAHOL-Types_To_SetsHOL-Types_To_Sets.Group_On_Withdocument/Group_On_With.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.texB/=3HOL-Types_To_SetsHOL-Types_To_Sets.Finitedocument/Finite.texP/KAHOL-Types_To_SetsHOL-Types_To_Sets.Prerequisitesdocument/Prerequisites.texb/]SHOL-Types_To_SetsHOL-Types_To_Sets.Linear_Algebra_On_Withdocument/Linear_Algebra_On_With.texG/C9 HOL-Types_To_SetsHOL-Types_To_Sets.T2_Spacesdocument/T2_Spaces.tex  HoG_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?_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  E/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ߪ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ڦ  5/KA HOL-Types_To_SetsHOL-Types_To_Sets.Types_To_Setsdocument/Types_To_Sets.tex7zXZִF! A]A-MՋhvG"uIBm5uW ~%˘ETj,ha,kd+,ݙFhޥx _J~5}g<.%d dܬ(wjw9"?ܩ(Q߬As8c'bs;|Hs3hA ɍbIȒea]`tk!&yWwiev!NܒG%*Z%(;vv\a7.TSgEA2,:ځ"ܜ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ƱgYZH/=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@*ƒgYZ i - ;5i /=# ֗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'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 P/MC HOL-Types_To_SetsHOL-Types_To_Sets.Unoverload_Defdocument/Unoverload_Def.tex7zXZִF! <]A-MՋhvG"uIBm59yTI  YDIeU 63Eչ@vGij% E8Y:160b};dkS;Ұd( %1E)E>>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@WBPzgYZ8y}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>07dgYZ?)~{q$_bP@Ӫ.^, xͳ8v5&EK}F WSPel5wnn9=/-TFYzQ_Q?/erg|PM8/3ۊyŇiu ^;fՁ~REAmL&I=nDk\Ǵ߁6@HW:+Nj.2R$Lyf j>!M~%T$&ZÂl99֢S'ƦAZ9%Ҫ&eb|X^oD__1Z>M -Cg Qш_##w7V;!OM]˜*}T$-sMp>/̣f ւ0͞>6RMyoS/yOK|;Ū}fĦQv=_MmIvYH72il,V:K d^?^"pnrwt e^P7mϰ=O@ !x YjC|o%نPb(OH޽_rG=evIL~J]*sDSH:" OL5 |ʓקr̰8Z媟`RĢsvrK+yMVqn5H'*c:#LG48',8g20] 1,BnBMvzyzSvÝ !4E`shYY"ZeB'ϵDڀXy92bX1GU$'#+v"BJAz r;NwۜR\a9/Ht]2L u&?V/TcL@ndre%~y }[?nD/hƿ|іyF&fE#[܊GL@"jt`}-'.A@ͷ%>=>jLD<'SxV$0/Tj@.FQAdX>\3gR]H 2iX_@}dU-PD#jW2fw%ɂ΁O /ϖ;fa=̝Di:BLlǖxT8wB MN0eOiGGghh*>nw{ҩGűI( ~ssGQW!ʾjUV/4$fkM*LRئhm}6Qtݶ<u -7~BWd/`V HVը 5{[ւb>rI+V=!טap *-wEMYm?2y)@\B0H(~p%;|k05C3p~LfZJ[8T:|̊42c5V}/\+ չ Kb*|%9˲]R |\SƐD[+a|Sl֨E+v񣼹vЌ6vue_gheqr 7AӮ- ,ëU^ خ:EKZ&2>)i#{\EӋ0TKnoDq>bBgu\8FBn k uq PU&MF \_L o^G7w*Jz= QF|٨_fAVB]H7( څih b 3TߠC/ގZ,s ܶV_>[M<dő*[AһXT:\_FkV< r8{%;WyBۦoֱBjCgGo)5R3 *]ˣ{TNǸ0é<˜apZ5l/*7p#7wZjjUA2;av ZAhE!p1qf@m&/<.i5Tj@(:]kg1/oוUn)/Ei>@3%uߟXKcj;ک){XM`ղ11][I[ebe?$™nf"f^SV0l2QץZe%~(%cgg;Hik=gtWб_0 |llfZV1T%6\~ []pמBDc6}O3p[⽵?y.(a#VA!s46SE:6+/O @n?~g!;Y˺5$4oټƅʛELLRĻT洆)H^fBp򞲳i~=t2Es\ЕԥlǖHNF1("^(̍hU' ~cr,<ƺ-Ȧ?DBVƕһ4=. mEږ/<I)two7 vԍNdeYqCZ ,xD xMw/'$(-P&n/55a{Nzqn-"@bŐ{)lqJxcz b:RF'|L3M8k˪AW)*ϋSs~}pJ2 ksX~ 27_͏$@ζ3:dogJ8F1?Q|nm ƂK.ϠhL}5 !$%?OA> ݮ˱bl'г\i3.[d2k.j5cw1RGfrTo) c)}S@x>N7scTl}r,8bp*MJo,3/?ҶD 6K&,LBϡ-X'Fw_<|q~fI[)y._Xw*p/`g@ER~v4ѥ5Q>r&{_ӺH֐QܕqKmMukog~>z/ߛԟL!Fl܊p\|01~ T\k1a*(n󪸅$Yi/19ʗVC/>x]kU $~aCl-,T͸Fz~%Od]U(vC6lɸܬQ9{+Usm[-iB2/Bm@P!N؊l&g|f+rzmw+3ѾS[]PXxj羚<*vjL >k$ppo7[ݷ뱙\r^$Qߝ'ȳNwH>OdvUG_ <2֫R%8gYZ  g 5|/S!zHOL-Types_To_SetsHOL-Types_To_Sets.Linear_Algebra_OnPIDE/files~~/src/HOL/Types_To_Sets/Examples/Linear_Algebra_On.thyN/S-HOL-Types_To_SetsHOL-Types_To_Sets.Linear_Algebra_OnPIDE/document_id244/C' HOL-Types_To_SetsHOL-Types_To_Sets.T2_SpacesPIDE/messages7zXZִF! ?']·Iq n[:|&[zy$SS$h¯KA#?ϋ ,.@vxm LӮ?x)D<:R2)_m1?|Uc}HN1(UlK[r O6p3?tQ!Y*%9.}5*\ԸKXp#F\x5ڕcpz@ OLgR!rAnO<~دh9!IlN3!5iU[`lD©1׈@'yYyvgrO5Y]7O{rBH?"4)!\ڙ25Y(lRI? }hE6(ޱ^ ζq5eןs: 蝚iQrv$4BmX۝y*Cg( `*NCuU^`AY%J34Dl@S{'akwX}m.0iVAt `"؄;b \ T8RgQΧSpp[A Mt73F)`3E|$8%ㆂJ\j/!ux Z8ǴAc9(*]*6ONM}ҿOY6;/xb?++[o[fƓΣW< NykYis6b{8"\/kfnQ؜+mǦb~Fy  h0z 6[uםoah%EGM /֎GbvHy{N S%R! ax آSƅ͈{E.VP }{_^2f=-CDN|*Z8{. %ʸB27N<"ō6k&4I0r/jtag]MyQcp}Gl{\-crGDr3X|kH:1L(}AȾw @&[Jʚ]S%-O"NBPfT>ʦԔ *cW2VHM, $:YVaC"IDsƄol^Fw/BtzWgv 7~+vy)1ᡎ$*FГGr/JdDѦvѤ;VyL #F? nLAȰBٱJ51ʓؽ)NL\ )t1+!iEa[sh/a|NQÓm|5^HGJUAS3(ɘ{zk9Dgx132WQQ?)at<<1Z8aM\`A ި-*\ɍ*$9"2WU&*cyL=2;^Y]"/a'/9Ӡ( Tp1[^vZ :_E͘Z8] 'SG Bo_@j_8}O1!d[WLaLdu:nhrK6l |Bn+ݫ4bʢ5 h;?h'EȨwsz/8OfT=5uZ{_1o]#aG =3BmHooB Է]BKBuM0* ʼnN?3:+Rvz&) T& ق76=Wae'FLT=L J8U_ࠣk~.P'H0jKB)jb`gQ)b_uxDz68 {mMgC=רk6Z)]+/57?ޚUNeRA0P{Rŕ]!j6F6;ZD*RjDgN@N x̽`<@Fil\_?h!%s:Mfc|}\#.Txu]D ϸS9fD .p5)jȘ5r뵤QHdéu=AƇl܋2O$EONGV嵎@2^)QQh۔n_sp&c$3.Ktݰb_=Y܏#?4GiH2p1 o20|p룏Og7jM儢ՊWGR yݹ!ɜhPd!ׯqY4f5xĊC5pqNS" &MP=1w'3k`ҧi'xJP@j#LL5A:On?NM!,=|I*nYaivTa8[IH0D+2t`%(`2A?c87ʐ]m= 1l~׻eXO.,03lrW Ms[!hz9SnЖ2:_H];`{1S. f}ږ/JАISOMV+ !";]?!Rԕ @ )v2 aȂ{|4UX>N2J X6-rog3u3L9Ս,CНSpǐ7^vbOsPtu= [t4H#>b<@C <77P <@e:aB 银{w' Wr -}tg*p{H#K Nݒ;FJY:S,B'yh,i;a_WCNk~X)ǦZ#.ꙟX3m~ȶ]-@[Ak"יhHpX6ܞ[}a +z3(̀"8A\?t*I){Al~DY3 a) n@!F%uti2uZ {YG4&dD{k7"Cى/.]LkMoQ^h.i;_HjQlUd5 8hX%վˊ,?dV݅q""l&nΙc)P`YZ8%ŗGշ"K@%] H|d`5Sb@n|Bn5IonB :?$`%O㠄б@nRXyt(ߵBLvn=t5&P8:D=` r]sa;28u'ń2+6ٻJj=wYYO1'vPk/0N=mRl8_٘EwgwWb_źu+ i"#"N(tʆ ޫqݘq0AFpc2BPkq4Z'*CPҤ wBVO8(-divtLSQt[=֛nZY(Sc6#*q,И (}}*CK NcOKhsF;*[etb?VZwʥz+m2$H*+(H*K%X=}K)l"0G{)1ӵ5Id9 q^?h4qИqQFwaDId=ِ!)FQ].e09M)H:)I_۝WPR1/Fx7uBx@5|/zqFM+sso*8wc˘{ ٪9&AtD#J↕VE)t?pzI>=gGfShًgdVEvwU[}Eo UҮiNYʮ_pM5tԙdJ|Tթ NNTFRdluC8#ӈ]+ :qϢRl)]aoe _}Ƽ{4HҰ=Փ=y  Mb^E* yfD& `BAc-'4G߶b]߄zڴOXY$vg21SiM;yi4&OO|HȮH"X_)<4n &dz)QeG/jolC 0΍)Pd_yw 20hKa3.#uwpId$K ;D,|?y!njATABZgVPۤiQR0U\.`t=hkZ~1s& 1p*"AAhW3 7[s b~hQ cqR:k E'Pe^Ǐbbn2$Ս.Raݎ!PFtj8D?u* !FˆwfZE D,m(Sw\?ՙ?E_(pf+t K4L 頊$iq7rK-[ǵ\Lەyq%N6!ѻ)׫##_nIt Cۘ z{,OJ=HL1R:kVNt<,&``E4@CGMV*ha(|S&sWwUH{4_ĵ OX0D, (ݫ<'d1>[Q-ynȌCj0B9!Wn-g!p% ۣD~?X"IDfPѕsKYIӻk١v2SKm׎u$̣IgL[yv00RDCQ(0?[N[Hb#XhDM_d~7'͸PQ#2 F29w#]㪨d|-pZ)iKk%uGbxa2jS.Vު"Ok"=G֏ЊK{+3!CFO::aãZoŕ<7Z@If)pe !O6rLSm 'qI^Z4zNآ{Sxd69Gni||c-8\PG 7Y' gU14~W' _ЊZZK%:vF3brɰFԌ * U9 NcQ@RqE5i9\fOWcjSI3aDtw9uUH]{GNc3BC\c?qY}ޟl`2m{Eyc.}G4N'qwepXʪjt|1NRņ/PLےtn{i8k ލC#IN:KgȾ2'Ol3 CIa1*Rj+frQn~{Opv߂Ij 12Öϡ.쎦$]̶U`+6yčHGUj:),ڔ[9VAF`]Y>b&oSH.JЮd*(Vt˷-tbiᣨ^턨`au7Mo֫-h t]TǙg|ԏRC8<ϕ6GIyw-(~t֒$f?.¢w>&-a9 *,1. &6s[ux'Q&W7Fb'Zr#0$IѨ|o|I- OESEG1gסߞ'Q$!je8r&v%-Yl)Z^ ,&PL-JGU!]O]O3q}0vȬBߺP̈́B ?c}Vur!ȏa*1,LlI*C;fjOĔβ=#tݢz6sSHkZW(vVj2zpӈ\I̢cŽcr:_6UғѱFHH .&^x[rkOܒb+.p{чڃكq<ŭ?95ZQ#"V{ro:]'#52FkrBV)ۉߺRAod^ GP§­?zg]Z0AAͺxhouؐ|hxF{@͌g_OauwmqTlΗIj߮x^~wS7з?!ޱ4{zoU޻Rٳh2rk"uF,2K(}w/mzM"Ű|ic<_C«Uq"U ߵ,m`/.*\BDA_7=0vT=ߨĚބ@ \Y nWDW8HdXӾBN>ډե7K"`u3J XlhBR2TLo!nTȸ}JV>o#V E%9!7xp2}wy8do:d7 fMU&k'zL`n DMqѪd&ۜ5Ɲ)`o={$uYo-_aG`;JVX?[&.TkrSs5 G胋T;3Z\`K- dxA vU8%l.gy/o̐ 0V.b3e"-SU:":һϤ tP}<%nWL+N lKͻ.Tf&xRg .`خER#kC,cpmVo}L;Osw#mB$FS_s2&=|gDX2o@L嶟lW?˪MYLFDEV# 8n:ب< =T_wX"u[oWzVɶy`Q){9aw #G"L{q|.t8X߳gs);,Y@ 8r%WD 1ym֢ `Y-i~^'"-npmftoԂfIjdFwsl\߈{RA 11Y鱡'/jCYnU`B7{?  cs/1b_*_<Ľ/00Gu6 KuKJqAq%}dWATOWT v<( Gv1 '%F7ȟ8$wa tO1n]$妰>0=#7\k׊ɒ9Y),T}1-9d]Rl2l= s_YCp";^J |j{SGұ~YyAjlw 2[+X6W 晙A!#a, oxE+ht}?YR-PljdKS7iۋ\֓(CE8B{ޔ֛t#-E-{3}iLurqG53piw6z^/$ la /l%e.\|Au qn=ӯ֨f tVrnа>dԟDx'M0]"Zifvx|Q0CQԨ 稭C"]͌,Υ Gzg E\bK, ޻K ̇ E`h3TDȭ3){ebܬ2#^X'idp^bawp?WIV҄4 RNk"9[v.l2x@c mwg̪-U@{R<6^wl?? bʋ8tjX= w~,[#.}DeRg~P|B/BU>t\ <4ܿYf4<^#a)dʽ2fF@|p]-B'm|t ҍǷK _$Qz.]"PR4ôr HI+T=7C-HdDIͳdVgh_$T}Wh~q& tCKuE9,i]1䎝Kqra+~y$A|&Uqh0E~˅xx'w?qϓ x!#p9{++6PI"x +XGvrxs-H>:{^uVu2{€|5za-8ݿjlE%y;S"s|u*ُ u(3*TX.961nJ+ǿ4ELmUZ<ג<ۭ~£2"̋PDܶK[Yhb.ݠ5}#;" ;d<oza&";輦*y!FO"\lȧהq4ć .;Q qG?1c6A'1BnnQaEm ӱp0Ep[J"k "&bl3iYZ]]nHtVh8da_*.z'K{tbwf"tI ޼Yy0]b֭W:L0 K̮ܵJ|gvwI((4ڣ|?~MAL#ZW{^ul  %ށn#_6>G2;6)G,,v^qRлP[943(3*Ѫ |n9}ѕ~I }?0:ZZE,D8bߟ~P⪉RP_FմhQBUE Em\:sB*O' UB6(`E2)^ϟQ2UO{'3b5"sD);`Ky] {EQكهn|x/1U~3); 䝎d Q}noݸ׎FCp7>api@GFtEمȃD>,tIxZiv-"8 eYd5ܐ5"ɲL֋}qN(p+Bb.eA5En m Q0^b>zpEt`"wVHo@'YG*Gy۩Zݓik6Oع#>!T!#,{7Jfm|r3LݔkW_hMe;<;C.>kWټw]0ͪLȔ;eS_jDC% ȁ7; I7gN9BqUhRL|7i.7˺l!V86G"ɺP}\ݧT>e@_<=J>A~2wK6pA3hR숎7 |Ϣ`V%xzU># cJ1dܷ!!ZQk@U: Dmx𶯎o,ee~$4Q~4WK1!&Q҉i-Fm8+:ֽs0edM: P|d8 n\k'M-LU{6˼h\Ş2sE8[k~R%{5clY"9Ę֖FHy4xIGZ1MZ8,[:WtuuҠjR,5*E}'M9$!2s1UWsꞯ*ͻ{JњPq8NS2-7YImu5_!DkgєQN̞Dւ|woPY iX;IiiveXO&>,jyQwqn4JL?]5TF,gPDhoh#ڠ7AՕ`% :[s؈v' 6[>T1/р!g3+jHҰJdNM9[S+tQBr[n-t M0\d(+I) mWۯ#Jb Xq㇀.˲wEMqu%GJEC1*vgL9J;aZȝQ1S=B]Jo~:ǰ>llP0} Ɓ>2\ Z§)(\8P^c 䠕\ҝ_,- T%zf-9,)>Q܅87K~2)8# =bL.T(Մ86 ̮3{CDAFYÑAQTKD>s~ަs jcrOJ rh*8"Ȝ. X"=S^T¼DloTؐG =#y:UOɫ]+" rLmGt8v\\5U*Ǟxs.YSH -_W'2ٱ xh>W:LPo)Iײ]9X` -΁qF]uPi"g̼gl Pŕ`bXT Pp$kj; rk}kW5UIL8bph\DA)Nsrd_ӣ%TNeCh'1fX &p\J c؄[fILZPFャ9:W>Sg#r_0\}n>XrZĵt䔹K$[2PR\>]l#fz}27zJ:mP03j\W_XÞO)Kt w}a6^|=$y<2-(AokuiN"T84&:gDNc](/j3h#Z$V' 2j515vq"=I7%iG~&R##~\;+0m% TH^K$ۖ8iUWl"I/#5979=ks4\H>=U!7scaO@jY~!8 O?uپ774Wb-^pmOŶQ`6ʉդ@*.nbmU5&ƭb2J>aʓHT@h3{)VOIcϱ-EjQ>9 ^e1 )?=3 0]ޭ8Dm̒#Qx5LLV[vX`% xS "K rmC3C$XH"TY.UxD Ļn4, #*&b.>&kP,)Q~.Cf@Jd0t|ɀfnl9r⻶]%:bfcO3D|h0UF6&UƏw19=]jsG9L!?t|:VZ2bذ |~ ,7@em++ MzUR[截{7*䣩rU0jMu]ТJ匆n|rU$% XY?FN4xDxG8JVVZig ؈p,^wO୅aʓ.:"`ȍ,bZ?1)ZB^t2I=J6E6AAIU`mČz7K -s9c.fҦ֟|h % ůp=KgKӹ Kc1;Ig ~dHeNf/Q&t Akdn7:\ k:u,IOc[LwAq N6*vˤZ2"yUUi#mJViZM7S7 >*_HxC<OOV VĄ ޢ x̮<*;e谑a>0E< RCΔ<. @n!ԟS8dpSŨBto *s{;y.bֿ."Gmm={}.K7 >ˌyAwL']}/ݫδK:,0tHx ťFXgCQ*uBb^%=\$ٸ2V }@):wT8O 5P~Q5eN~:yTlLd2{/MGߢ<0-hyJOō% =`+C%pS%9S FDل-d|% c[Y*v:Sȍ"BՅ㫔'QK7v+U:u$ Rf|ޫ yq~o%Ya+cCMƱsS{$B垴2'DMy b]-z;<SxMf4dwÍDtu&6~YxxIGhq]O|ˑ)#Ffn),( g>ztO|YNnr]M@;rDknkLnPn!vdPIV]B]kOGŖ\4E8i@eFp}fVCυN_W\ˏOբ GAI (nDM$ ̠UBUtї٬iFg5Zhl L _WZ:|XY#_6p2)E;L4':ܖ85hjI&.)ӎhc&'_]h.L=im+LОbA1?A[B?ʻhleM]՛D(! rr%I=z1kEUP,am 3fK~حNh5x * (=B늘騁aC/Eo( ?I"PQ)#ie2:JÇNTNo aք׵عUs>:DY𔰒Fhb~i9C ,cKX4oHp0źd[͒TP`#fA뚅oZmB|}4{;JӨMqL*/T@s74-hi4_;U 5izml`1Y\_Es<3ejQ 5?(:|6k)Q^1>w󽑊ᚢÞ[;YĞ*D JFIHv+11vV~!;NO!D/I(:6Uo#BJs8~(w\oUR> RKXe3 riSǡB0pY F)`g/4q3k1c]F1l#Kr0O+]dzPm y|d1!JB*^daڵB8AW/q2=חӕ }C(ji7n' >P%sh vh1bE`DŽĨ^rɡ4KR3l㝟9h> xg:"e''XLO݌ ?%;SW~& 2B '2Eڔ,}91e[|t"jYPh>8e%r46PѐO¦'賿/y^q%-2MSBw}dAHOjH9 / 6Dzt$;;t@T|p<՜̻FJ: wtDxc0?(ϟ4ӯK:I ]2w6v0bHN*[ 8 ztAo( n7]i 2Ye]RjՒ ȭɈbW?JKRNݓ4kA=B1"XMZY ۳Upw8ՅMZxsa SKԜ#-/tdi3w[T|,W-FpS3|V!@Y;X1\+77]ɧ;8{A E1mEz}/"Qa(VhgC%]0v7lJ:&T k_?dmEkqDH$sO@lIM:(? )G* A:u"bEx+cU%Le(*7[OEfmQpv*}~ޯch;Qr!խ4Fy4_H5OfRTօ_ALQPȂ+zn M 8ʦ[ KѪӁKi{vVq8I4^~*.>:&EhQ Ar=? 6go~)0D=K0;4dGp]ŎT}aUV֐wz s/Ǒ[٨.MFɊg J'c``Ov- ajS47Fy'FMb?#bj9#F# Z EeCA$+Ό4!`OZE׿w9>XBHAL8OfюՈbyZGuȊu/1vB%Y3y@C }cLZ{"eޓp${Tnݡb$Vժ4ھLcxf^sNV7$bz~y' p{|1bo8!P&ep7#6L=tCŝ+NW-H I,6EaNM'.ӭٹEeYPuih@&y<3ƞX 4RZusbOeVxFC!42&ֲKsH}Sl Yg`{-JCٞNJQs,~soanP4Y8g*(M^8jC}\{a [-Lgad9 VO}Ƙs2l{]$_P[ M%kD]1*e~ x)*.泚Xg"zgy|rR>'ex,. 6̈۔ĥZiX.nMxL cl0|ʼtQi/KB {Z۬AH]2"|$j@IHHEˡ%$0axv|~^JHdO&A8ܟ;"`; %'~qG8E6duGUf,j&d]&{z1 `*8'?5juQbbƌy %vB'sm&*MTr3%#*ډv% KIC.ICA#S}%#'sgـbˉF%C۟ IGyJ5B30{$H4Oxm3aDmrl,N8\gPX~U/3m!Ԟ37˅-D(%vP۟Vu<  ڷZ7:\HLm) }ܽ3M{CCxlͼmŁoݍ}&vOxK`g[#` kOy޳efnq&,ƿ(Y vR@FE;HV8"a/]: R&9hxA*Y!UEHϽ@ ds&Jn#J %:_;x  >G,WRǼwm(d~pMH<מ1'l}p=5*d6!>^XUbL/"`i-t':HtdXˁdHP,='%]904|!d)|IX7JHB9aC+2XJA.ل SRȣ[.PW`NLXBuM]5%ܡ8E9HS2O*Hi٫ԂIY] :JWG0>򐢩C9#]4hZua653_n1m_bWBo&CvqoV腳'O?"ef-r1*vhQ\g%$.}$T6ZӠֹ{F7{wv.:H~&죷)1Fp*ש|}XCL VI!j*adhJk1٩{ө"[U8Ikܡna0SgK)s 7MO l+FpdۣG1Ü_gXOߒ |8*;F}2W%XcgTjIUGj̶V?g NFt0 5R84SH&>fhSNT:PbmVE/s:MNrjPfz'NAGkGOVu5"PCQ(j}~ܹ (aJwBx0:/H.6\۔tՊ30=x[$=|E̒BnEu=y/d8ݢLw;AK$ZJΒ G P7(.Э5HÙx>|]v,^C3,ܼRV^vgQs”sUw:e KEB?K^ ">kö(ߵ~v9lLUV<ζ53P;L"ś(?U^|) ̏8{P{vic@5Z%L36;0$( D)/]'`T__pX"xp;p.VpY }@X[EDwpC7|>9IRhQTDZEX0utt:,^iG<Y,gS3p\!= ⪏~a0Ih'M9%8p>,g[ݓ=D&+nhK/5=x9۞Q3*׭|&%'P#(egFn16 mx@ #I%{N]VP v7TqnL\P&j!\ZQIˉkP2z϶Cf*Է] zc$(YoQlþedGzHC {Z ô,sZ?wI R2}bYnq lM)|fp%F=e(,*p{ҁ-W8P ` 2Lov3Z O݁'&ÝA3iuOJтBIJ(nk ;\+{h⧨E{Iº7LrqLT ȶ1q{ a \]XΛ@` Ѵif,0SΨ&!H3ou|s)Q~?^tz cS9m+&M5GZ,ZVP?XEך1KU x@pz'/Դ!7H/^yȧ#'Sw q_ .ʜ43ځmKVNb=f֞74A/J6r|$S̫ӣ=|% u2Hgqӿr–RHcjRA-\g.U/:A1.튗k𖲹ͺXpx =GfM}CRAWΡA%x)  {=?b$E?:I!KHQ33Ѓ%?RȉP3:fErQ<^-|X;xDɚ(,.6e'ApHg``Zכ4Rɠ9:T9&Pئ_v9”]sjphtX W2lngbD!۬B3BQ:˼4:oHåpJcnQ-=ʇ~6.Lw%ײEzb~L_pc[},aE uvuDRgHU:Xt?g6@@rٙ9|T_D4< FXs$7`P.<n> +ۻ௣ -}1)9eK)Gc-VPI\?hEbBc厜rc3Ng}% X"pRߘ $/p1QqRjT8S#1L ^:bpb !K_hU?~ae (z\_|pU­aǖ"&9'WʰbټԘ<9d[Q,k62`@FO}EVw[,i7[1]t[~n Vk;8ð1~to+Gl')Hz]M&*qa҆XZpM8zK x̙z^D5$5b6d:xsG|ϢC2:H.LW\tp1.2Z6D`Y0#*mKD Jb^R&:p8 ]2Awвov=*dhI7F9.twx.ou\ᄙ7;8pteW |.( + [  t XRQO=zKmBv^۞wLb]]dg^P?LmߣZ{$3ȪM춼ӛ50DX~;#Jma }f/omsjJ'D@"HbWx 3YABA[j xL|McşٔVlj_3a:F4jHڌ&Ӂп [XަXʯTn J0w5C2(g/JWiS,Պ~4Xh{m~_rY`J*"uT"!s-Y;ޑB U8w\2| pG#Ř9ַCm$(u <}9}Wo*G8JjgpYD1@PE4>.;Gy]B{r(j +n%~"9[:[lxG6>댽VVW(mlTHV)O-oSMZ _Z95)i)4W9I .~-z3 =@jVIߵA!>ΑrlP_B6ˇ!~U[c|N`)6>?<s]aj(Duʽwm[oӶ2][p9@B+Gwea&j5sn4^1qþֆ,WVZ.#!|<ӿކǍ`A3YZ;+@NgPrZsE|+W,ìrj 9]#qNܓCYl'*yE_n*u9&kNۛ5}XsaD#I aH. Xr<)7-dvE ;G|G!Wqdv<1hFB\4O!=\s]B!dcEԼwu)>qCw`¿DYl~6=ڇ)|' ?(m?7 W;yӤxNH2dWm-B;Ⱥ掽|uѽR>I%RefAb [te2 ֲ8x]#3|ᆯS[@Ek쇥'\Yƶ ̷) / Ro]TbB.ǭK[Gxw^U r9<;Ae}&`о%LpVtLLgvK %8hS7H7~9}Is:{#~`') ἙZI/Q:< x cƖX!Dv^hT>n0zoo!b ̫bsb V}WL냖*gFXUrt,4![P"nn0AđrqKttgRdGpne)] ] ͫ"Lk d;>d2ġO>lD<\IJP7[5NR1`ldӹ@[(5:_ZRLibIהA}sa2c"N7潋hmFƥ;X3YK&jl5_U,%4FfOﭙ_YkgՓFF)vE'u\i`>LSD:z 0^II]g;\E(-95PH/Z*BSʍ~WY]kzd؂X?ښ:H1v9ndJIjZok)soՐ/%/ D5 a1_[חӅvb{6QzD> ~>!T6*s]8Ci:=$btjvWHZQn(yP(בERbQ1#U.&LϕYAq/NI/ZF`!hsm~L@-)uK=ʃ3 &=$Mn4˚oȼ/c6Zey^u<\hY_]P7v]h{8z .F #ǯoߦR6`1R.|W#OGwX+l,:{EO5gi`7Gzś୞cF{[LzE) lg ÛP-d898p& Gu d`T,oZv9B6JnbA $? Nu4 H=uk+ ?#8w`(7؜Iq*]Z'iZ .vZ*`@LSv A b< 3b-^OD27Դ.611@~kW-ǒ@+oYz-f=Tn9fr6% UG#h;~0i 6hYsZdUx5`?2z())('T?!}~:}~/߄ չ&|Mbꁥ06'lN@P@)(8t>I ݐ=X-5ʒuVB$b{Wy.ryj2"=_GLڌR*^'CCo3úuOhH'QI/]z6AQeHJ+'V=m7dd d8U i ȯ&,5L#AN\,."+x4o=jl. l5*c߲gn.qeZ1wWOud$%aWfI M5 WY \1AԼ/ DgT#ZFuOP-1'gK~I 0V@I#AqW@z!9k[K8Xq豖:(J3XAX?/H4^k8[dI߲Y8”p8xe0]ZECD ʴ>F>j9vӑ_e@s@N%_9*Lls$G ֣j$%Ww*399¶T\&<[]`WV,*TLi^ξMvS*N ']@^A_1xMO,xRፁ)Qh76b@|W})ok(xҜ'zc;&2(tzM14SUdO W`;@u bPf1 iF3}$ZwVXDU*1dйjT^@!$6Ԑ=.,!`7\.9|I/qŝ">p{w,$(; t?̪i#^*U.N_BMT'LR@\ iO@C Cw(z05}"S--[xYt)޹ ѵx胭VVٹ 8XKä6w/eRt:]n|;io]Jx:Zw\eOgmUiέ|WZURg=j#UF|bFEg47&Gp౼uW3\Q5J$ G6%R UZ~[DM1k/!{ˬ#m vƕei,Q 9ΥrN5} j]wXޱؚ!NSyQCd̈ǹ2O{_OE6yB޹~ qŲ"#AU mESRri]e:1{TXM( O{kA)<݄Ce3q |ߞA:Mɗj;^'OeCvz>LাrRl}`7nVRyhVXfdb?|CxYfIJǛ_jg| &>9:Yprg\lD/%OdR枃V)1X zuzLQ¦_q oFS<9~gStwa* %7;LnkF&!p\yudyu} %a6W_f}J6B5gYDKx]|]#71ԉw#{jg ^~1jLzլVBb S 5;yTi>a2 8'om[)2$|z-ǴOGCe3qu#b% O7ȫ M.b<_;jxƊ vG4>._'9a2ujղXM~:}*^= gk2yR8G0\uxX'{M=xj3°Э\^]8StkmiG34u͠Fyo5Ad}"$*J/jE] cR$ye S7IQЇAV K ARoҐ>9Ȥ}uc2ަX,:,=AⶑLtg su J%z%<&)Yk%.SIodE<#v<>Weџ/]l{QV*(3N"\ij{ ㍅k3Tᙿįy{kM'p)'><둕 gȩukXSL=̃= >Í{FB,u%Eۖ&oCnTL*sL(uĥJ.s~%WS .3|Ħ65up`'UQHT~mKRZEYݡT$Ͼr+:|#`__ΒѿwqQ@]u)ӝ Q$9s1DP^;2KNԳ>'JoAq09"q\½;M_:wz7ȗ3zw7b5S2`}]wyC>̰RB!K^Uk|8֠OUSz(7rGk~$ϝ >G!c8]Iךּ^ETE@yU'4lI0Gvп,O Qβ3ǐ.MfND=LO8&%zI76b1Rؾ2+mRo2.i| / N*줷 DPl[ORO`mrW Ă ,û-x&n(A KәNj1 H;[uAH/J9sD`,zM~,/T!u9&I]-ue/0}_q7@NײC$cj=ר󕢃$ނ@HZ ywk'Pk*ٱgí-;=6bPSع"&K8~G*}.LYfy-w"Q]hf\HD!qnd `{twAJ&<:otvQ Y71(qqJ6u/auEK)wt>>cZ j)B\{,a|ctRt:[KFw~P$u2oSZX ry|eKnV ֑_|Ź>'VcSW bFAyLP<֢yg6$"d]£3~,Խ~Q"I ~hnRJ lV. A(y"*3^l+@41>'W;m*ՌT~jbRe%=@s;+#;@RT`I'*@+ jlѴR2L~T >TנېG6y,c &My^彸+Q  a[msYp8MDWsqJ$/ ~PŭγwL%,m9f!:Ƃ.P{{5 H`& iHGl`qK l~Ȼ:^)i,'Oj%řu  ;UOl I6>h&;[JI@nA^I/K}o@MµTksWsC|: );ʱ8VA;L% *露]^gW XvV ٶ_Fu]. 4mk,7zP򖫎s)%] ypW-,7)"6"rJN7 /:ugwVgz!!1d8D[V\6" %Mkb<(uw2H!z a%u4n8glnrlXrgpgoImmbc-Q^Bi8ZB2)/L xU,^t.^7ER>P7r/ Bj_2ed ^ ' 웧!9X8^q-yzOY9*'|zv7p\5E?9| b2/Pu$kf~լs-YbGQ\u~d]e-ó h 2/[ɲ& :y8f׶8yEr@c-/`#˘ zQF@&6O^mwA[.zS !|Es$>.v#EvZ{c_i)MI{dȸyV K`25&OPUO0 l~|yV[>t]/ʐKmּzRBk͒DF1|öz&H%Nńx\lѓq7 'o\t[q(:H[fZ5P >vDƐ"gy u.sn Hz k4űq5kLL%0GnJhwX.]'@]`wT^;41vۙ<T}5Ф~6.S0`BGt31v3'^74xSO"զI4hیZ0<S 1K e#ǡO}<7 GandbO0"6l L \_ }y6woykMUϢ>0xg.9\)LT;!mS|62X#B`<\LRz)wO|odK9t+d~*e>7Tud/m .\wJ_,I8y^]?3\o˜`7S ";! K401Nł a6o+Lgp:k{θh%G I˶|BLR4ޗJkcاcXy6B/!Mȵ@tJ yU&s1Zi! أ [7$mma˕Tbw&Ph%tY5AC/ Sl49oʬջ2>w}ͽ?[;zRk ɼD.2^]P:d[n*c. m'$* w߃`aUzu*R4a[gg ؎g[Lm嫁+DSqU!Hy= T, Lb-_m7XKB嫥Tbҿ Ѓk9X/y[Tr@ɃNΫOBÙ[D7,ƚuHLbqDd~" v:oH } 1_]1y7afś¾&[zaH dY5Y o8}VqF Yo vH`W G<9 *E;m[/3쒦NDo-b3v]V=5~TF=2"#">S?=gNw ЂtD+Vt?&"ӊPxg-m])̛(s\؏akNsS$b: {w)>.!}%4ܣjkUuވHžFϯnt$vh ߪr.h3+b5TS~e1.ʅv^Fjl dby[.LM:$(JqoyK;ow !JF*&lXe;d`̸֟RB~J"hr8X?uUY4<YQPϬ{G5 Rks]3:g {|Nv2(j,%g>ZM/cReD~CI=" >)x> _VdҢtևH?pר_g7vG . =p|7weR"mRWl /_e 9<s +P%&/yT>\dd4*'͒Su%K l\fr/N@̘]bkraZ&Y)Ox4C07EeO p_)~_fr"S*S)`0T5!/Gݟn4}b-=:HOBb_ިZ &`Y;δI*2U0!r|!õ-3xs0ͽx'# S& 3u#"plAc=e dcok-"r5r:#OFָ(}(R؁ eyp+*s/.%4%(kE"̫)Gq&ĩ əS|Ԥ֖k.[+ҞY!?o"f*8yRs1 " 3}gmdd7W7esL@pn]t=yxj ;2ݭ~ ӣ-sWJ]) /i oᜬ)e].ZjkoXV|w"k6`Gd~L=E:mpe_n!1KLkgТ p\(-+E2:]7onE ;;;QOգuM#}AZeY!u6}fʈ:AV OLf/YM!b!hshqxY$cLuՔPPq7%/ uaԝѬw y> fl54i}.)GSZH/ uSjߙ}OOyKp9t?I !dXF'[E{<0عJX#9~8"vDO0x=[\K'`7>ʺGaw4Z[M:nbŜ&lR&<֬oasv{SW[tM \[TFD"R!&%yv۠Aߠl <:)yYhcHWEQXgvxִS=E m|+Շj) q}`\ؾqY2:MKU̢)|RcA:C[5Ծu2!3.:b }h' wf )b= =ab0DTRp#Pd])r-CLdWnPPs[/kXGT |r0☚?x=S272.knź5R7XwM=7cExh9iJ}BU6 E%s撖bG 6^pSϮ{l6Z,}69@Y8mJO?VôcvneUsZxpUՅ9:i7 "r'3k)0 ZWvhA,]Zhi0s+F}i`y {r QVX]9oӉǐIاNy.ǖtY YTE9-;dfL ̇\r$}οP0F=m9tEqg j0S3;Hp?C!)-+-{ ٩h-o61(-I XǧBrkh 0ko'G]i}UMݎ(fm}ۄ^. =XJ+ۇ Gѝwōsٹ-]y73@PJnGWkÀB>;f񅘳т垤vaRR7i]9o 1^;K~fd2D@NR;4H} =gB0 h|ޓL ,9N}MjwЌUoc+[dd?q7u0~Ml9-m7cMÃ\3Zq.#&nGgPބݯS#;u:kM "OGy&ׇQH5 ٙiY.) #(?F_# n6#/@V66 fh%s[,{ҍS&Cj $@GpY髁`$u7 :Bfk:l ,b u~_o~]WAi(}@VU?DY[)\tȪ|4 #*W"[ i=K%zgf+ۢ%xa2y#}od78nG6ajMUb >* "N0 +yuHh)R6Cgs@Q:OA؅NjTRG'ӊá+{$v"},whL{I^D"xsy +3{e4$MَM߆bdEJM? 8 6]ǼIacZԂZd &DO˵NM5H;SlMZ;Ĭ>FU,zfJ72l3aIv 6)}7_:[{L. `ԃy&1lހZvr@h}i]:o+R| ׽R4[E'3 I|[D]\ߟ=sq/Xw)3ՏV"y-}eY^Ox)u2_ҀS Ȝ\JˣbLީ#O(ڳl OU܁8m  !u}TAinyR$ZC$h^pZ _ -A`}עrZ@H RZk|`\׵Y;+F4ZZ㜺g/[4ɂ\Zewru -Kmc+Eu~+u{yyIs Qt2UCOr5#kRԉ&Q P,슘[pFɶ`}C }iZ=-شM;/yiuc2M:+RIL!CyWmBm=3DWb"5DSB:Ja嬱N7m^uAŵVWO765F_X:K:0e"|s,l@m:&hejRo}l[n{s8lJD6xcgoJ]h*x# |F\9dGU#;z.uR`}@FQ 2۸?M51˧ &Inb1S`{9QK[eGj.WT#A0:O I 2S iVSվ>54QD k9FIb#6mx1F[O )0@á#`g搃ʕ J}Fx,Hd*1Țx@ܲf6~Sgj 0Ct NcfH'].?M^gwy5܇!gK`)eI"? _RͭD>Yd6h>A}O:3HI][shV~6;iM2)q[P~8Z"+3IE[E]$m]YF{0 g+r4{>So`k g 5WcQTvKmFK SSB [k3\<+' z(կm f5GՏ(uPڇ*%m|ƳǓɯzM#uۉ&u9PLw #jö p s,رgYZ llh /S# LHOL-Types_To_SetsHOL-Types_To_Sets.Linear_Algebra_OnPIDE/markup7zXZִF! ] !M젗OFK?1`$Rz$/ѣtj7.!!k+8U.nŲFsP051yZAi%~zMٖRܗxl`a),at~gE~0Vq$~}%ԘYY3V}~v_<{FPqurN<]YCst.A=xAU)d/ Y7K> -tw~=څ{bd[zd< b4 K#&5,xSdw?<){fxL, p^^Ggzt}1^D)R~7XV1T4A4d&#KVդ2:ghΦv^\kC*17T{.sm:*@>t>>`&c]kFd V]3~k,scXsz4=c4-Q6Bot -C҆raEbtiv+wkߋcF@!i] zunVUz3AX+hg̷whcOdntӺ݅+'b'xz),n%G7,ZJUj.1m*5&)H kYi=gsM;MJMUc4]e(k?4]Zb,d~zD_Vs(iR_ K{Ў*P/`}UQyÖ7I߁b$79)6X}w7t%Lē!s ;}`%YD+`{zm SQ&[=fӆq$\%a\6 T$= Zߖ}oBCCA 'jO~C]wr'U@JT1_D($N$`ͧ- bͿ?_8R^WBz`Ҡʉ$ey26K}'go\JMy!"T\ H@*Mh.&}e.Q[D/"Vy8k34;o ?0:^wO܂{9OkN? o A@me[ ~3r>)#0i*QGߒe7:sO%d( b%*\sۧ| c&搾?YPቊ&Rʁ"H?FҦܴUƋD!uNw%8lzǬV͘)0?O D5q5><̎ H(5;0t&G t7iV&̃TȡCOl~9[i@"W15`TpX`:jYAY HSv!8Ӧ_F샐F;}W Z7P19D1.2c&&j'.GI3OHƗL7~Pq?k'F|J]#L\D7DyT,˸'xb:zAēiѦ RZkOVrw F_i2T1D\YAaP@S?'>7oMX6G 9bl\>}ts{P}Q[6QL"ְZ{TN֣~)VMwILLkEx+) uHz`9؝OW5H;hU?xc&Q(Ǯ=@aᅄַEVKVnus ) oԔX  OnɺqA 'TSf>h R }3$n,#>W8Qsr:~ɃHo2e5.jh)贁^g"9dʡ莻'la֌mstUF" p!ɶ,ll%-1[_))*(sUilܰM+_jc`$4Oֹ5JϔF;g,S"17`e uo?o.AjT-}-SNAAܗ,+('\X >H,<6u' sgWM(2[f9_ LaUqHi3YNPxGAFWL-90:jqY^ȧJbc W̬Yו!۾⟅~` U H7guϱӻm&[lWt 򍠐68M͈/3%1c}` PsׁIZ{WjE:LVLτ_*-?4E䌠Ҿ;5vHsdXsRqqWgyKiap:G>=C.’RuL4{b>^كoݷiZR2yt^ .g)ݡ(|!^o~`vEzRO5-AuY %(QS"# T(Վs_F;{s[ _&n*+!:X:{K7:?.gU2a_Z}92õM*$SO.75M>fD*HfשL@X  {#^FanAx5To/pÇF'i|5MKL(~hJT1UFx+Rzk,]!yX"4K yNtm+#3:Ͳp08L .O p+Lk6ػK/G )Z-VL+Gpgka 1Y}Nkx.$MlzlsӍ%qe{'p^rb/dk[6چo#6TQ~#BN9n`4p `|el)uNPt0J(,@O4jv9tDfl8 q hk@O/Bu $6SZ1ÿn)<A|z@ɨL?MWq<<@pb"G`+Zm^Hۺڪ.:&o w+v;GGE0ޒ\ќlQ -|@B7~KYF}Vpx`Y]m/Z#lދW#0L"G0TB[ež',Fq=| :4Y㘝aCqa_jcrZo9^i|4Wk(u@mt"E'HKchp3®_Ĵp?xx~ac#f~MqwWx<R^#3`C6{2Ucf۶GlH0BVO~OwC7L26]3q1%lΪe &u.0 <[ǔj 4\+$v!?y)UP YL*ʹ  FڏDDxO?&lW~-O5g{х/c? Պ) '?s1ҕ N%*PG {I-/J{@!`k.N)RPw9z0>:Dp_湩Rw , Ɋ3{gU?k;P:R;=}|q)Ȃ[&˘[Ur=z?045hHg`ld)K.6| s;[Ч>oҲYq!E!®`R3p=8pAMT=7GdY*+5kHcn R=@KjcY] +JѼ]ҷ6Ds9JY3LZ_›rËQ0@UU/E,!_MwCϐ'o!1e V"76#QOJQ`֤Hk,ժAXE00O]T?ݛNe8=~'J+ש%ĕl5wg iA2(.eLa'N}K4:^?`25U@]i궢4֯sB.-d,`+;:{̉g

L}M;u-X=CؽsXærY| ۟] 9mAcTRʅV|C, Z#%Kf Mw1` vvF\;?Mop^|̤0.;cPD0蓰]B{+=ɗ pKpdSHQ?avՍ,o2Tp7g&۱29P `\a1]IżMb%5T*^݉Q6ѐ_: :rhBW|`T?Jë%Xx3Ԟ_=f2-9iEzXпmlB:.D([g! ǞS)X>xh9L5Ko>JXN-WZ }ʚO~(3|[vN|}S8?_wZup!ծ5w.=eb_8Ȝn2SYkMZ$C&6ί-jWJ2/=H8iꕾpX IMW /&쀼epFmrcA@eC,Mu[E|&8YU Fz.*Ш)@)}kdu\H(T{{/yG]q`]L>v3c Hy"^e(]'R:J',1\EdϊSGX9Zjbd]8%ct8w~?X"?RC%LoOje@!~#{SxfVxM eZg_|H0D*RK4;?s|ҒUrx0=mMyRݣlxҔDgys/6qNOw5}!Zgxwp?>f^&oS"fs#/kʨJm}t e6]]W̴iPD) pir^ [b'%UJ`:C!SY`Ò:U0x{LPm]p `nsqd&qvJ! ڐ{^3<[crawoi&:v.C0@t% FWH]em)3KV@Y2.rrPkkh D{gs7F02Y1 2<]~17.jcm[7GSR$2;^ )NųNc|EA&59% v\O'jܡȋI%}`e㫇p 3$DŹc iӐe2{ :g"Ou/@*K<g.0a*FV.ewe-F5us}&Ҟj X[inJR`w5y t28?jbSKo*y@n&'5bOܘnܥh>Pln5rW B^?VB ̇R/yf*$PW.,ϔZ3? z0 B=L2Ra |(}zUda̡$HDFϒ :=p ԀͩlõXAԵB*߂;*(}PhӚZ& r?7*73hѳDQ\wP2[x3ӱTkk[:իN7*6y vZ@*97^ˎ`rt\0N翴x?]ur\^U=Ok#* bəNP{Qȃpߕ$~ ;ײc>NⲸlG1VӉ| 0o 'mvMoJ E tݡi%[vhg*RSo[+T׋_ZeQ8<$8v~45W9C<_1'hQG]C=J.q׎t^\tT,87a~܊QM?:^Qц?__C*cP 찴uC B)}Oѐ;"'ѾLђU%]&s'bBbNu.J xzY*X頒lY$Gh)6P @:rq+-7IH~;i8q3bK;`>a1ֿiP`l ;;^#iM}כD] s1ÿpAe; ɖPݏir[M:2qpAmH=9DkBlqT%sX`n~!?BȘBa >-Q!dA"㶎H.{f]n,3 A݋/Ʋ$y ]o肏t-7; /h7;sVr$5 oK`m  鿄E379zd iPGn sUh"ݒavE!,m'-- F6鈘E$֥z=T6=$?f9};jX|n-j 7 +#5HKh7hG1}o1t@6-ȴQ L咮oSΣ}kxj"2ڏR=]v(N0{ 1٘LXSa7I} DH`jk  4d=2&!+sD<nwNEx8ZtnHގn%+?%>cB諺ře7%i- Ԓ2,C?ҦQomooLcO/e-uPD{y^\a1!%&>7evMkWy y6렩 2X(V=I0F-bx:D;b̯v}e-=bovIm?G]UօS;ax:F+~+養^Gs5=7=naT瞼r6-6a^rY)rOeJ b>"?zb ߐ1ia$GݩpUJ6ᨴrW*mbG(vah'9.ˌH`d!%M-o'-n)Je/TQ!Q "%OE[ o^gz怈ݮËNw-_S2ƥ1\ EeɇHjJQ**P¯gYZ QQt/K!rHOL-Types_To_SetsHOL-Types_To_Sets.Group_On_WithPIDE/files~~/src/HOL/Types_To_Sets/Examples/Group_On_With.thyJ/K-HOL-Types_To_SetsHOL-Types_To_Sets.Group_On_WithPIDE/document_id236^ /S' 4HOL-Types_To_SetsHOL-Types_To_Sets.Linear_Algebra_OnPIDE/messages7zXZִF! y(R]D?7 {?:fH\" xl BhX^M;$+}[ EDc1Gmn)4<4wUsY}W p)>;Z]}$:Hz[1x@UC2~˺wNNuO{7KJ~61` >`-f^ȍ OϮ_ߊZF0@ǎ/P2_^3]#!\0OO",NZ79ѓehTĊ+bw"Anv\̔e* /Lkf?0M,.M~3'~_ʰ0~qvnG63&XvnŞ9ӂ_0<+M" ϩD_#M:8pB28()tk^Az3 H]%` [loNDr//k3~}K.NGTx$X9r9Lq?$~Y1eGu:Xp 3cG+v& 3LC[[l(O$/k|Y)E*瞰l~>5 ~O*G7cz$yn~\Ip^~> t>x>%ncH ѨONKaLVaM{%>a'I0/vTBtȧެ)+~AZ.{jQ'(=s '"v>L˼6fIJ=e7ewޫ<9 (E@{f耆}b}ԙ88,Wwh')p2}Q1'\J} Ĝސ= se/4FEB07Lc[vxPzӪL{v ŚZ\>ŵf7?앸Ok'&ɔi aF15:EAQKlǷBq5[ɾ"׋|!S!󹮸ŢnF)q92TCY_k\xD w;M3?7@JmNn%Wbw$Ɏ [tr`< bzh.xT;!`LvUKX%83(NX @$I|5cCNOzI,L7HǢ`ۨ.Vp.)`ots: U"c7Zpeijb4}8.v#j=S`&=op1xwΟ2Y ٴڪ?ھ3^RQ<\^aލNĭ1aߑFV8Lm)<޵Z(`]t,Ⱥ)e u[QБM=b,6'y+I%qic%_c('+ߡUaO(gqTPE: "Y$7KzZE48鎪s;4Q 3Ffή,1GRP؇}RF<{mЍgPPc)͛Q1SeM_7섧 B.Oj舢 kM.V)wldQlV|} ~umۖ#Y 1ݵDGo>hX@DpٍonNNVY۶cGD$G$R1MP%"`p1Z\+2| R-HFYR@lv+hyRkϚ@ kcd0`zb(g#?9aEngK9xd2IQ'&{n~+[l?N408@2G< 퓧JO'#' P>pHCp3!oh|?GνS! '7BH}RfWH0f!j@c | <#,!}xoTKwCjɨ .448-)<|kw$DpW1;`ا xV(\d]bFG[4n7ObA;,Z\"AωIJB[3N\CPFL Ta3g J6qU4>^R$PT͜Fuc}g2U,z58z?g4I}F+_^у>ߕ*6JRE 2(}Yl /e#*h9K%!xK8⩅k=ArQ0'4*8%j3 SVy@ -ͤ͸ʞFR/;^)Z7WkXC w]o`6暪0^SCaUK3by!@~!Ժ'3T7]}jq=a: ́rY/ΣmФם Ss.` \O,rThU&eI|:kΈLx_`xnqѸVjXPav>&X|!8&-|$#z"BHE 6q )ܠ!N%!UEgil[C^r ʯ/E[Z0uWޤ@=(CXYQ_J]PZŭlt0RDž<38r,&b"9JN,sajn~T P)MnDM1 L({|\-=& 7 م櫺ܡ[~Ph8\2T"ͥ 倥رǒؕC+{Rd"(M {,>rV @-\6|dz,huL#e?1Cb%m`T$(Π\bk!]:(=:~e!Ģbfx$#$3;nFxIa^;Iy.jY|cojNJzt&(9.>AAiΕ:0/N숑-KZfs<ɦLyE ޱhcWzSˡwߤғ\,ʌV,C|<nQS}S`lypAXTi JX8)DRR3Ek+nL&0N3=^ V6rR6`a'7BS\rѣ7o}G'+3'1sQ&4Ϲ`dFOt]ݗ_JaW6j%rgmz;VBslW$z2 ;dKL`Z\.j4zhBϼnq@+rw[ 9hs6'="T"2ғ ipG:"%bG.vLQ*ORp8M~;3hp0* vo8 WH/g0)*ֲoXk"PHɂ{pkny  .QY$ DG$x1YMr٬" Zf|G Qxe0зM8nXZ^RUH 2ڐb̲b v[ˏu5MFeΖ.&) b28<7PǚRqX Ӡa)L\aDфa~>*zP}Kn`RQ>{rz~҄`!Z\Vd>pee rKɦ{4M2WnS&qE )4ޥAtrHl*1i왺AaGoHd jK+v09f߁㘅8q,~Q<1ݎQtA6s*k sDySW-I]AzHEɦ b&k(x!yqrJd7SRp?g߅PIqZd:n@pm۶bٮ6^M\mctuZV]>b/@XS/!fg#&k";{qC*VKIԛm~j!V*Q/Tч4;٢1%exN0zVd ټuP"i[Lsi>ޞWߵR)gW P&<AN=+In0hJ}zq0EEה0#h2k>,i{lGJCb;o_K fP[\2+Ҋ0<:V ::/ =jߢ1 NmLd=9 DJ #yl*YHO0ׇHBo|orZyjT?ZC{&z&WA$7ߺz&(W{WduH#AUiy*+o>`n#OsAvbl\^p<>WZ@L:pw t{Pfs@#Vu_KXQPeh'S'?jzے HӍ/5Ix= t2>ɤV1la>?*0klʿ>C\:;cn9Lx|Čߒ2 ~|p54u ŵ{\^3?W|,ךtwyP @ZRb#Q!YV`}7N5YI )M{/1Dfi/ؚxY8!ފG^ZϺiIxs')x8i3$WuT(0+%$7Sd?KW1a=IDǓ gآ i^Iow֬x8qtj rXa"-p8X/䎄`9P;5-LL?) m꼮vu:2;WGyEFth[sV#@=Rh 29}[*$)>\< uj F8eu݀N\i iXpĝ[P?K*L0\{ pzw1vf&[h$Xd\Q{P%I ^Htwv#{5y=\Gm:}臏 a<]@?H?mɒdd!C,RT=х Tx{`N^ -`]"c4.H]<%Y{|: upp f!"HTa;o V TৄP=HQt1BqѬ=h:n]nص#eQ1j|<\:Lf%T·˘f/z*DX(z`%"}K +Q@뉻燀[H?Ͼ0L]B Ysǀ r ._A5O`|ёsחdȼ~7!|:ڌ|>  | !8w]rз2?݆`2zaaYtOx G 15AqN"47Ve8xLln_et fi< P[VfjFT -ڧ9wt"\;IWG{Xʺ_谞Q n)ёzWu!N #q) ].9lWA3)DGuD+:[gw^J6{Gt" 4Rg3.d!떗TWlda 0n"tYF6i)6b|Yꜷ$Gb㓴G&p;O׽ ('E3kryҍҊ~jE%n_ ٺ蒐> Va,i_{Bd9wsH$fge_;0i>8bш*r#}Vy4Gh:n79̇?u@H<EמհRy5FX64T <+}QuRYJFR"9;-~PֲxӤbAR rC85ѴYa &*FؖW#1;D2ybDd`/^u1Pk- (X-M&feQ69ChQRu6VJ@vqĆRZ50Ɵ|9##H tzb4h roO)g"`3ƹ,4nj;<ͶoGǬ.@wAbr[U>~n4LoAJ5IV$<.Q˥ *,WRB5d3Bwף34h>6#\qNdAWċsumH7h/mB gE6Er4bSNI֠O5Ề*ׅ=qi#UZUgYǠzI'k[p;2PvU epR)-+ZhO*x ݯĹX/A"avMF]N> !prq{lݜҶ!Z9ʸuFTHbGu"8b]d5]^Ɵ8Dn|.N187SDl#tx֖֩x/_4!j؃%?q _4ou*d9c! sUu}{Rm;XSǰY2t1\<"((>,Y{MOr#jR= p;41>DQ$ex0>~*JRXb:wlwҗ'|OotN|Ģn WC#'  TFp331y%ӚXNJZn|~z6 Y55] _W( BD:=mnJ!ŒlI'z3a:DswoJjMd_Jt<. |U?,bǰH 'OA_N,MvF9D' l_0L\a'Q{a( քlgI#FjQa)2(8eWԛ=ד~Io(a17+ШivLy^IaȈ q| Na k׭'~8 mD*O5k:18 e09W3›Qa8NU#B]bAgk %=,Nn"d-R4esws -,P[v'47 $ANik[M=~xxS&k4@;AJSY 㤸43E†|3/1RkT^.euk?0%6p4'v(\+[tB"zb]uTGb$qr>@$z9 ,@?O;N~7X6y􀢨eL0e?n_8̲ +nFL '_ Cr]2v;箞M;U2,$;rjsP|Q-]kB^䪃(av^ Cq#wkY!9 ~^q9a%- $1^~xJc\>4y)I 1 |xcĕ 2TaIl?#/3õB j/S%ۨPSlMB*2%)|{dy%Ztl' ‡(徝ԦeѻX9^u WeM]q20FTqI7[ nQɭf[Np29zA޷&OSMPqZ%q(Rxȿo/dhv d0*{bhͅi]滑q>F{oYR-?Lz= :yt-݅9^_ԩ]*N[%(,f9t+Y#]^"jSˉT ϶K&tkc!_\/G'Yn m UOAͼSl ;gn41D&(z A@Z. CtmٻMJ͢$֪r I6 'lo}tp 3YJ[*äւ!s4Wbd(̞Z)qojFj{7q1'Bџ zJJjEUx52<á[46.Hl!GLt=a .Z,85 -/y \%c?/穰$j/) S9 u…' ;Ǣ"M/S_8ImNTe1:ԧ?OCޜU,8B.mp($}U0D9wD0j&nY5-Ej ;%;IXD7dg)iiW?jH%C di[bywᚽ ER3c~{`¾&$N$g%,Em蝁]a Y5vi}^oLgqjbL93Wr%?ߑQe$:wUvk2-;^bv)`(Ő,&6!DsnƋ@.A/9r?auV&Ō%ˊb>*Ƹ F}&õ68f|/3{͞"-I 1&%o4D%x!b]U},te߅ӄ~z@6N \;%${?'຋Xpz-5F3[IYs';1#CpML%jD8v[y48w3:B- E+F((kB2N% U ܡQ_pvFhcBKf`k5YG^H=93X%[\Y)M왻Δ.N^D|e]_hޟ!@%NrNs̔.]tKęf9XY~ě3U^g^aSvދʍ`3 }s 6 >޲ݐI+Ь2L4f%:x%Ρ7x/M^M_"2F͆?YHD ƙEd5BiLBrTFn{̥}vJ^'Y31!MW9@=Rځ_͖]E,X]֍K9o(R uO6Ya8ed~j|\6x4qdы  pgI>9{kY]cvoUcAw}o u?yVWTemm2Wp-iEE7nˉ]A?+\91Aa*"?:鴀k7fU`c5qf }(yyE,ZT&m!i,Ȣ)f{fSy ΃A!/yT\nAZ@ ܎]&I;v( G_҉c>!5a. [qiR)5(o[ℬ>ϵe{ޛׅ1KX/>Xw'sP.@d{H1õ'_Ma_pX}R04 ʊErƳ튾iٳJjܹWaDepB,9 K*#xxM5= KЂ<E8U`ZW%K]IQHrpTAeYHyxT{,<F0_D&lcL*tDL%Et o^)S砞)4Q݇͝R,E7M![0A!ho V'nϖgYb<6q R gc1('iv9#Gč/P8}Yntg[$Q}ai_RSͽq@ϟJT#NYt@r*I/ژϬ) *CY|)+t[ncG45*,*i\H%۹ϳ䎁8kvwT{+Ł-](n/߬g`ieZnFfxKy͜[%$.#Ǚ] HDKp]a9p7pE} 2gHG u9ozoǪEYM+ftcM% c*h #a7-<:)<> :2*2wȯ;F^iS+Կ٩0{$%kč^^*lM]D n$( s`r ˒Z4Z(xh7+:Qs&JEbWѰvt#d].6c|-oij |w< .ЪHTaU1 Mi3穟2&Q,i" `X]7FeҒAsM\CPf7v ZEUf6)_lF7X1Z#1܈nTM f'Lo%"l'x~t:n%k+{~S^ !xքToQZF(bdr.n2 9xj$ T Z} 3'4<{`PfK ˂#e[[*$n߆pzfٍ޸E+6Tj;f$H6H9f-iI.44I%꿵*? Ld=ұK'ٖ:zFL>bE?,`B< ~D" oxIsMkL]]dtlsK‰mj?UN7A¢Q*xcNS9$ѽ@4Ẁ}_z.-&flTpFwL0ɞ3Q$5n[UFa=J&]_ R;xR^ZO_wur@Xbǻ}}=>Q8lJƁl+LK4)(en/~5u6?+6{Ŷ}l&st= U K|~cѝڿsT^_WiҴ;1;1@5_ޢFGd&@TJ'\p$vG-}qݖ\1kno % *M6]>ZcƕB(gu ˜1$;M1wI񯭪Mt]>^nmZBi캙w=y^3kShHbX\u!P|!J״oz`I,:i-^6T )ĠE"bbD--{.[#y3N =·~7`T8AU?'N vٗ~cM_IDXʹ " {}BWL ?#ם+e}RFI.g|{RGKN.bI)Ht^ RO_{yڪ_[՝xt<^+`eIţ[5I@r8'ݑ[@M@wl%Xb Nbox%`OԼrW,M)(v;4R6 ;}Ym8\ZJk NP$]>al⾼] $WuW G2ĕ된~nvz.5ԯql>" 2dh'z9ojS]YT>|5UpVzNPJDws|uy( Qo-E2)'r\5s`!aHeyJ]4ң 4Pr˽?*4JN=!_n9qˢUXO"j Sb}YMz9S8EO:hhIf`Ǎ! @!V"F%PHJ7>Ϭ-93zsP@ ~6S܎$\[a[HWYe1T(^㝅'I'0@$WCNQ)#̟cޥm2)[У?C3U75]i/&NRa|Y8Qcakuګ /%S&B䱊rAN~ 벢p6&_l\ 0KO]Tp`o633lma?ET<@Ż&AzwR7kǭf~RO޽yzq kI+|4'XEN+ܼlђdȿ yS)HJQTak7;@^o9:D3,VSJpX9d8Emb q@)U;L4J@Ǻ}K_/lb(B-2i_1n^|V&axjeFR W9GOmf!Z? cW/؍^d᫳Øk* zr[ljЍ (A%ߒWTQ}GXBLV#eE,Ŵ@GX1-[n@M٪T_&EDz =RT-}#^S4mtQwOT7A~ID;(ʣȱ`EǮԼii7b}* tLt][hG0<4M%(u'@s2!Ŗx;tDp8.۲E#YlOa[~Q؛ۧ/&e^ uU.`n$:?s;^ֱD_H2ʝ^.>8Z.b$T`&g$ߵy 劝Q."cƒRC7ޛK9*Z 7$\~HR!;׍D|jS|{I`KyRۯ^۠B [_uS2Ub,?{]CkrЉCRs2Z(s4zqh0;)LORiOgkF?I -]}ɓ}5gx3&4c4lԜ" ِ~H n#vֽxİX'dC ۊ,39`)?FYcTTl>/I jF݊XB+լTہڂZ?4QlԳ=2ȓE /\UzC@V//2qT혾"Fah{ʞ9d7gYZ 444 /K# lHOL-Types_To_SetsHOL-Types_To_Sets.Group_On_WithPIDE/markup7zXZִF! hCO.] !M젗OFK?1`$Rz$/ѣtj7.1Rrd!h26Ƒ.wЀ^_$8!c1#S}$" =ɼ]bqJo *C "HHī7;c)p|S+]П̉ū`oIhVw|%Z~=)85a1. HC`T:l_90CcN|j$<8t;f:ߝ4Tq[*a@O \;Oj&H~rHf{%_b\VW cڡqNG&U{ԚM"-C:T]rh{*m[k\ah2|?9et`u 1j3i0ڃ>/Vߘ[ءچɎ$[`SvQ t7l iu6̅S1E?фS^t*WqWU2xwoVXa}D[_9Kl \˛ZS[h)ߩwBnHk mŒ|s&LjAJ~H+R%dj5joh=1'3_e`g˰bic96ѝ"$ oE?V';tboUdF[H]4gU=?(yuJ2U yRA; D_,5a.׵.a@ÞHdÌmrz@S D@]mYosT[?zB!/u, qDj m&.'y.ChE@sWG0i|h~Yw*nXt|䮷CE[v.Ge€eVQT!}{0(V"WWBIUJ7 ieC݇k) X<]{7g Xט/2?aGᶯp|'ۗJǻ*%^l o@!5fsLw;;)mn(XFchTw> "}{6[6Bqc<ISa=l?r@8ġkڔHĺoZgC~q@ E3>m_8-4DY\rJSbU(%Cδi$h_F&s c&wnՈJmĬץ{e+U|ߖ$ԢS )5,m>4Y5qm4r}Zoze]I]oh&# a0:ѹzJR:byt&mI+IA®o? g)5eLbܰz"|GG1Ee(FS>"7'\T;uslVtyi%}BN2,B`g %,USmb2=D;anH61Aes7ZЫS)oä%X8CFq*CY>C;ߜ0|{,,aV&UXN:iǼxۮD_!Trr8 !*sl/#*mEZGP9gd{!z\4p?rtvIa蕮І xR㕼Ű׃M4r(,s)ܼ3!-RHH|W0~m>uL7U`- [Ӣ=l 58xE\B M2/j1#<[oʙSlX=42տ=wl塄<(,([0G궅*XrbV;\5Uh]?D$н+qVNSAOy??]x!)~CArsk-/,l$lVkxN>|9n*eG 5fS)BS/i "O(K3c6\0~D7Kė7l{S. 1W,ƒfkf AQ'91' q%I"ݴvZ*ˠ䉲7/.) Bs![`m>4Uܶ|ml*o9U(h<}N-z{q`7h+3++ \v@C:?`͔>OMp7%@NW\4%Sm@#Œ+yISKE#EOP{uͨ'<h$?e,Gb(6R33$b$t}iE_r}qnÜK%kt_[&3. ֠ myT\F #|e!nTW4Eΰeݺ5~4j! a&dXXS:jUtwI  wlv8KǑ`:B_5IE#zDM3!¸CwP}TO[~6WbO$ rvqb&B'9 4q'b'磣P3"V+?ҳċY?>VG7R?Faix[ٲN2(Pz5M!K *Dj<}+''̮l6)yͮaǛkah @&ܛAmΡSb7v8d~kT#pkȵu4@< o\cs&d /3 3ɶ5B N"m_5flܤ{@_{cV D50(O:3^ QYx1cEOlw˽僶ޖ)pROXr{*40ԘT0̾0¹TJ?ws_24;U7.yP-q1o4A҆3\z=u$K9A8۱#,Db&l=mm'Dk Ə 7O~pT)CcT:-.I5o "O=FZ.R.lw{UBi'Dʯ0ȭ v -odH5mQ>j7DnQcω%TbrxLK;hp,|S@@ A`!5a*%Mg!`tgedȿeC&R󮂹uY?oYii{GZXbڤH;Cܧ.b)C2)jTA1 cڮGV|C. PW)b㊧fL}.U%-DQ;nx#cvzI!I]y|HQ 9 *¬& ;$e9搾KilhR%Jv0 G !lUM/] ~x$`d<$p"P|)8#P_, GP>'KY8,..mQC@H#)!uhj[Mux X_h??A\ssPDQQs@BtLF|"pp3+QNsqѬ s|oύ}Z+kS9-?@aM.HޅĿZy}&GW;C԰_K9 + #JA:kl9h@e|u y_Qd=|E?j:ceLL(˴ .:k"w2JS8 k︬_:.ffۯ:.bQxefz;._f/#X{]- HB`zb<[WaZH YHCiD[,Z"STrьj;+Nz_Nn )NUmzA$\f;/TRHÓM讕 "7V P{4?%+UM}P0\E5GC(%;7$PPHET{y$[KbbcW-k5beGѨ 3a6h!,2]ĵGz2wq^~2@yq˽&^l>Jwx vCҎ| {Yb$!$Xb]M'E8y1P9k>ѩ @6z&cfbcO?г1#Lew=:KRG?w7j vC(-FpVKYvTѝAЫ jګ@QJ)x{ 0`FjX%8:f h o,Bͫ%zAXJz)*̇A%4(\g?VZӬaHU'22vq19TEq-eWiCs-6`ۢ~%C.EVwl="D^#5AT:M1q ,+[#8 kk&q0AlXG\ +#7ȢCһV  $5ZӋ˲wxZz tCn*3mxqTM%]\cǐr\~ &G:T~H$\6&C/Zf+>l/$s;$S1|_NF ֶV&&_M'uRw1]iaF׈uEp/5#k?_#ۼ*CDӜ W_ERI9dqV/mJ 7G5KFmrVT2ʧǰhɒV}m26Eˬzfxv6 '|4K9-7Sj|5x{ ҟݧ~쎬aR@M3jLAVd)U=#h_!@-i֪~V+]珮Ry$J"2)D}i]j~8}bu 7--a4) ٧X)T" cH5k^_'!8\|-])5Xޤtb:Y~p6HcZ_d+h!? w`W'1|ia=[ mM3$(A( v7a_Ūn0=Jp5 DC6rnk3גpQ1 i*zKq'nfI\/\O tqEnՇ!^dl?m9 /L '[V ]Ծ0jME.$m( gayσf7&UGlyjq= 5|S7@ߖP`$BRz(M+$LtT?Z Xtpq>I(7J;du~ V ce˃`ʾ&_ɡ+kFtM4Hi{'պ\" |տ=syB3q'12o8>0s^nd2("X{H)}NYq+P(iAuxĄ:88IlȣP2t4f 2L 55jES@*}'r'PP%ǫ36C_T-9Ӭ<`nPkX!HnO *`~,\GS?rG_4e+znd.[E B4I'oؐ;JIKSk|AVC' 6>Tm_ΕL†~C+HDђBmXnJ{jnJ-٦XZ,3؇Af횻"I64&>qq%~Kba6 X7gyh!{ ><'P#2"0mA<\\f#/(N?%c)i9og H/A9t9p OPկbT+ R8=7cwGfO01/b' o!d'ޘ.[:+D0>G"dU?uX̫ =ą+lu}ZMj m&f\hb S68\GZ%[=#WoibČKsK| ޻KA¥#>!'IBIc30y[fؔ9T-|}p p\}Ѳ?xWNfAC/ Gt@Җ/`>SB֫{RWuK^}kT(T;8|V|"1ޗ[ M%{;1Q+,K o MW46*Jr)<\Ӳbyc~}JHB ; K TW <(*[M>Cyu\gN~:oRXYa_g⇚(2v ٕY~c{!A$2 qǢN0ʤPkFA qq ,6s-s .t@-mKMŗ9t|夾R;ՕOpNh=TB1k䧞)7.2E:i[5%=bQTV81yr" OxAgm0YO nNk0rp$JÚ Ϛ0Jin0;!Y2wS4KGe,"j!. \ܲnƀBޜ e F)Ir142R@ پ2mVyU1#Lr++Ȧ M_I젠QPp vNhPbBpQBڡڤEPrU&\U XQ29RM wn܁Lz隍fjI| D5NC&V4:$vљ8|1*KO7ik0tn96KzţMpUPeQJƌO}+"maw%oҴdp (xZhu`zCfgP1E]yQloVw]+88Ip{`|ngV;n9@|""()=wAi+*3h"xlCnr +0:fVAdOY{0pFO{B@5×,iiqB1l ހ}a8IE0Fxȱhp߂5nB9s1*[qK79}ۆl+3mҘBX+*uAo$vr7Уt=Q":g)sLˌ)S9nl]iOɠn4z-Us_A8ȝ}@ %xa怚?~T4 š6]ˋ#G4ƎVE+~ B/i$DѾN;'+0ɻKY((un-̲?ʏXf}^.q|F`?l-}rN"FZ;bwjz] {1{xŠhY%+K\*Esөi蹧8,Ջ\sܳpsXL1JGP_LA pGUd|C1$}K]q`5,C Yw&$ETq7_`}<xϪ,ǚCT>[D/ (y 2\˲1Yל?z4 -̥̦c 'A60#rmJa 8P\mb^`_|U-RާCYQJm]oH<4'@Lixtg'$H qSesCyZEQTnzIEUmU w6;h^EY@;z,JzXQté2XH iQ‹-]"rWݟQ?9_L>6ǰ#/ر/ =H|`}X Aoڮg4ď(Ux`]=GMdM yDAfײ?@~ 29dJHE!ډ6bֻw`D:Ijw-ыjë`Y0;/ow zDjpPO.M*"O2A"!b2y`|-x^QXXU?rݐO?+dAANt-O x9e}4|y8Q3\pJF1yM1UF͘ͺA4⿧}8 aC .U֕@^b9ˈWKhy ._öKtѴF< v4/IVMPRጯ̿R`) NP~wwq&{z[ _I_tndE=z/r<y/,r/KWH-'zdi(tĺ6yPaĞR57&JbFx5$X2,bZڜx򨔏_!|n"3HѰ괜9ϦYyVƱ^ɯ_[qsĢ&O ZeCI #-|dI)7kRu"4 ! <0?$ e_5.M@P1cXi2"|d/؈R&+$Z\[;n;(;me86@{MȢU/gHb:9aFɐ~mu-2C2 2T;bN'ˑtm nBWN&*F1~Vܐo8#4 g ?XܺK _ z,UAsjrX Voex\S܁~)$Yl=5i!8p m"\443cB<{ D d2( s~5g".; "Jx"2H||p['Ky_P!, 2ȼDW'4 זPw[`%*s馟1Q,؎e|ݕa_j@`'8EG+x1?r##z+Mln2ȯ3|*9=ștߑ7QdQqCodDFcZ ?2I_@Hqz]P|+LFNg=[*p^WX F<,*Cl&Y k&VkX$܊_dٮb_ςxW2tS&CeA}ya"ajCF^V9۬y3I_נPa!֍$\(p~6͕aP:t\ŮӺ 3pOw %iNj]f7w횥77 cXKކ]/_,;*s=@@@yT x`Eoquh4 D3%E$R6-7ivּڌsP]^9%GfwlJ]Q .#/ `h Ħŷy$*q G|E"-詻5:bRHugoQՔkvv NXM6>ABR & pOX(OiI9cxh؆BhM.mf7Г$z`i HV+>5}ꈟ5njUT#}ޒOOR,j{կ9M*jyuDhpu9IU>[h]he 9m8korȋx8ˠDMPe ;dz;k c ܣt=mMϷݶ$ ~! tUq{o쇷u3_# LV'# JMWpˁSS:bo)ef%\lj-;v- j}CB^g0/i)xdI[5%Pz[ Lr9F175ZxYhr/ ,vosmKĪ9Cq}Mo->~xjԗ &g^Aurl:_rD5Mkr[asJ>Je] [̎3!Y5Xc|m"2lT%H|v huG1#bm_iCjc6:榽E1L I*g;o1'*tZ/AVaԢV*tmVLUyk_Bl%x=Ru eԁ g :8˧O3 Uoؖzx<ҏ&k[P- ֭ $5'ˢOpN: ֋ e2l /=~'$L3WrNѧ7Ċ.'ܛxpx&gC:dWd)ݑٌlYݔC'XrUVf` '$MJ* b`f~Ec{"*Y A*ni.#W S&wj%I=յ"c h y&tB>z# DDW'o&yzHMd[pٶ=c)%XP"}nsz _6EWn?%_/ Wq3k># m-p0(WTv7+p:ng8 8s$1v{bӏ:P~%kk0[$ ʊ9gB,loQ{W`9h'ʸRE^4U::Z DeM$LV&v T͈q1,"naxJǥ>sdy")qy05d(,h`ΰȇ  \!(0C~ynֻl>![2AH|:.L89ҽ%SK+:{bE̗b$'{_A^2׮ɶ혁S7 tXN)=gY(MoZ6}ssp'G7#&DU\M`AO,#--.VL[[,7,, Hbe֩ {{" K)ޕڈoRPtb%@ +kSDVy!wqU"8Ad]oaRPהhcYa9&.qovI P_`uD`cTq;,` D4z)  *"vCX%f¦9myV| bQ#\D5i[, VKRUGqPޞHr9gRN#@[8ւ=&FFE35zm8%Bskj%;%VNT5P'bF6[ y]Ҥ) ٸu-gBl(XyO_.I1?DzMd5jJP.N( m ݀lm;Dt;}wM4ڠe<H; )Kn8bEfbP]UeM?_@{T&/ J"tcmb2І"/4_v2[rngGnwONT#" q\zVw5Ҝ3x\rlo0GIc=H F2x l-ߊzt|1Ws9_g-+4VT|dG^7a+oMzN/S%F ]%dsDv-,͑6u KUYK_aB 4>Ito;/^v.&45r&@ ‹D[zDޥf׋i?*0OjYA>.a cE0lH],C:v=pȂ*9ʒM'C {i/Zzp-~I;jW@n_?)ւ{g2{u y+G+ck. R%י ?`j5 Tet|Te~&%ڭ,&K/"dB6d,ӌ_?Ħr#tLۻ*Pl-,C!'3~O n8Xf5plukQu. Xҝ$uxyI$vF;H_p 0  z`LWAkAuENXiJFT|-LcKp.Z'`U7wǞdօ"_qE;9',p7;0[RDQ)rur?{çrQ*˼PE>4׆\uTuϯ(R)VVEaSYy\qqȻ5ǩFənSh?BZBU~˭X=|?~kqN{NI.W[n2HEv$M/"DI|,(+g5>q\Ŋ7oNq iK*Ng|yYztD50&0_[2N^ϩ*N* l=WM"JE@t˹Gry`?үQB6R3| 9YYQ X ib ̺"r?9ljM UIti\OP/\ũH:+c pԞ0)|2A~<&ʂpQ ZyuQVE>0r{<16aт긱b\^,+թ2̄߉HBL8h>B|[*\l 9,5<>٣-37,,kַ$泱UKǒxLpBD QYE7%Bp&z'ؓ늅eW k﫝~B>0XdoPRJ0ѶتٟfŬֈކ\@,X+ 3.cbkŠbftcsa(V)ǠS%SJ><㸺h.RKW$)bWvb}mDbiN`W>/X;{+#&UĄ$A+FNl;ɲ} Bʼnl;kd͎;3(B7ZH@\&&Mr~fIٻt̥e/.oj 9o nmi`qKޒoLP+Xb͛k\dLc |kIz|ma6 ,[)D2s=!a u@ܠ~몷ͽ+ٯS߀C5~WkCꛗ?qpWlbq-_#h>:Cr}qFh ʺޖ16=72AVSNDthUs\vn 9pŞĂzc 'tI| ǚ Lp#N%*AGȿ{7 `L\Fx $w:GeĠ%`qW8 d[ a:6Qk] _ƕB +U89\8wןnuQ ɇa1TDm,ͩ;v:Pjյ|}1o%wĆQ CsWàxfID<Lbު mn HNm.5и9:՛`On>`\#H@!|LA0QAnʹO%VDvh_6Hfե>q8-XT&1;!! IJ{FD}L5rR>fͬjtd׏bHz8SDP*{핁wD]d%FRƮ<+u>|" 4jH:%4y+0G,\é q0A!Z^I&/PLȆp|x%K)Tqq%kE(Dj4~yCntwg.6Gn5j)݁hK1YK/vo١OYF. kwl|?1kKpi؅CLC-W%BKd{ɦwDs.X5HEԨ+Gx ~8xz Dyf^g,Cw׌܌-/gYZ ` "`t/K!rHOL-Types_To_SetsHOL-Types_To_Sets.PrerequisitesPIDE/files~~/src/HOL/Types_To_Sets/Examples/Prerequisites.thyJ/K-HOL-Types_To_SetsHOL-Types_To_Sets.PrerequisitesPIDE/document_id230F /K' HOL-Types_To_SetsHOL-Types_To_Sets.Group_On_WithPIDE/messages7zXZִF! pF@]D?7 {?:fH\AyL.ک74[_ˢ, GW=.*^-' m%}u``T3h {%ݻն8h:9ȥ,D)?Ȇ@""ЀWfzMH.gLr/0'{2/jDR5 Q?u n8]{Cs%~)SQf7u?AEqoIXJ>Ao2zh\f2Ă(YX7 k: Dq2x'cK G-ƅ:vbn+Z7I_Zl͙G!ʅs}7 RJP}>.S( O{X جb]eCIِEHNKbgf3/˥0zzJAI~UEs'5F{c b'N \g?UapkkWmL1( Zu[b'3Pk I _rUZX"BQq*.BIw yi2B)8ډm!O#֒k9V4 )zE/KB2񍨹ѿ nEOcq[ۖDE.m@.kHΌz-TOqSQ >%z8!~Bò!{t'D5{pb`A%3 4 9%&tyyIZ.[\S˛O3挺Pda/ΐGѯ5CB]N=˩AquKz1it!-Ѷi%h~3ph#qVՆupfF.= $F-Wm'_c M7ke4HݵU WmAy)J=uͮj 9x9iKFݼ6J"ntW ʠfl[O ԇYڗh4+pl7TIL缜?䷝s-]\r?f}|4ib-̬pǀ[s+e^6J}u?PG,}g 8f4;5 9͜0R.f+Tf*ָ-oI! =l?t#;GHً~Rm)m"EυAYn5EeIKR-LkY;FYO#N|vXZܧS3fS¶&q@!" *Af7|jj@pjN[cfahBE'1&Lqb)Wngd{CZڞOʐ(XK"4@UلM;Ȑ%˸\1VdZJ,-γ³~>3n} ,J} t9:k٢fr >p̧ CjIo@RcY8;64#ފ>mQbzX][)[y9{.G?zfMŅt(ˈصc vSs@`wv{%VgFinݳޙ A$[$Ì?/pFEaq[C6&"Y*+0yĘB%hZAyX:!AB?o;8:d"Z[\s4@Wrɞx/Eēa*ƱAgS BV|lP^O|.}Fqm^JT$AY֖q`>\4J1z)oݣR䐩R…[]ڥ~8gDh#N2|#|,LAq}FhI_B(w]!Cħ_%w 3^nOiEZm|eo;֪һ2Ў{_ burk&rH ##GgͷdvǞ; ncgDMoX{NFlӭ$cpV)DRL&. U_%^ ]fWX/U-+'Zi6f-hLx9]-e'a+k#sw:Lg!G WWW]]3.G=%>)!PFe=ZMfG~v[!u.u/_0< #&(CЀQa 1;m5镫hɊB9nאL(mM~]6衱2i^r"ãA^ /!V=DnO PoDke ± c]:DMa|pż!ft4e)TkNQ]w> ,{LZitYPZIo A/r[^uai@7-H67y<͉ ;vqO6У}s ֳitEjl^3(^ظϲɺ0\qs}Ru]vO}Xw/(# aU W{!}儃0a7mĖj')̸&mFo(ϗH+FyxlTq\xVCPrPWgLxDbޣS#Pշv2xju*g^aN ~sYncʢO3UPՒP'[2 \{q[ZQGhyw5Δ>[ARʞ>P|APvx s:GsH8GHQ塹;$wNG9(cyIP7y!6/5n J#nҘGU]q*$3 ٖ$pJ,!ƙTœS*- L&zH|JC鏿0?[@E\XG.h[\BHͤ lB3,`ՌW,6;GkbޫYǙwbr&ep&8̯PvUHqk~" ǯCQ Oj.=*=*M.pfv}Uuiп]sU4cuY胭l!eJK0=UAcfRb#j,xRCDW&8(U tZYO9]>#D.S}tgeN~8:rj!AzGWdG,$',/ngZ]衣{`t^b`aus:| W sݣf ?#A4 DgK [.#,+lc9 Va1K~%P̴@ 6 Vk}ZXRi:g)Wȴߣv[oDlp3|| D\@4> 5~BicX6EM 1"@hĈ,L#nQ՟([=j;Q`'HE5eEH\c^!q'ڸng3f/A>lvK QvOJT99Oo->lధu>7ђ}{2ݓT@m0F_M,ms~_ԔI[|yQG#w5,+b+G:o}[]ǸeC&:o0*#6K!Pʊ̨,嶻0͐׋4P;y^UGGHj]`!lg~2yhI&&{ptF2A^5췤 ca8 -[ҽԌwTY*orʜ*;k䎆Me̟;gwįw74C3wV~R&/1DL?P(IP;'n iZF}2˜F! Y< n亸Xddk`:U@Ë<9 >2fc)fkEEÅ&V}^CB^S8a[;A7JpPG-_yjW.OhTܗ)5.ߵrWJNvXdt09[\}iPSI75n5B?˜mhjf+̹I/* l /4kp݃, fSt TQN,Fh:Xk̛J|X{uhnOYih=N;0԰E*.ko9?3ilbL1L_g~e"t%K!g@"aԖ8twz оw!>yh^5{jߚc(a$B=J̖-)*xEw}#O#FO)-!2P]Ha$%"yг1j{K/bPB\[ҁl_OU j~иxO36 _z5xOa դ ۢE&]9Jh  ZܔW2uo^Yj0Wji-D s[O06"!aЁo=ַHM!G؉䞡m[ Z?,+T~5qpˣŦ X L@Siyև컂d;p}@M#Wެr z@gRF93+3S˖*..s_^4e@ ;^㘵 Wz x l&њIs]nIO -:,~/!q{&sJ>LYt~,IڽÈ/`+cL5DLm<2_Hl7e]mE6ddDj:Y'<{'F޽,Xx孢֨u%ϟa/LӮ^ O2!aEs\R-fKO ~|d/8촷4El (+!o"MIsk/hSL Qbpn "9a`MRɢ)~jU8hhzcqpAGW5pows~81jˍFd djb*' Xӌ_a=| /2{oe%WP geO$R 6X(elBP-t=P5rCgYZ/K# HOL-Types_To_SetsHOL-Types_To_Sets.PrerequisitesPIDE/markup7zXZִF! v{] !M젗OFK?1`$Rz$/ѣtj7.$$-o}HʀbXi`{L; s|>!<ैw|OY$WϢ헩-~"țϣ0ww茀 tP=ܹ3`ę Ĵ2 7]g3TJ8K;URP4W~٫ͫj@ۂ Gq^A c)gdQ|J?pH ڬJR*509ξͪ'4꒑EwzQ4! NN+=K)z  NbbȐ;ƽth+ZؒN|Ė3tWGFOꆔ3TQN_8&w3&̙R.N.k)L8̺nD_jXAou+SdJ8Unm|) EpUCV0aiOFKӗ28Z{yl]IS?9-·dQFЅMpĨ9j׷3Ԡ:Lg=F6= ʮ~+CCbH%Ի=!e2SeYwYD"1zƁVl+2SNQl,R]MG ;eG) v)7l1 d/-"س\ޝݥYg^& lhͣ[Nh1%v|ș:)\Vxrr0m'Sq?b@"}x={Tg,J5@HO!TZZ~Ot+vZ-v90XB궑7lV<ɏu_[Dk*vD̫(4 ăxE crL_[o\L &QQ-6jUs/EᒅH9ǜ$PϤd~I\*SY a^ 5*|#p7%48*H!@IwT4ȃ' h޿}ܿ)Lի# &>kiO~|̫wcȩ8AlGou+@b A) >d ($ثh1Z'=O}=(|$l)Ğ%4pMgCIj[fY߹ˡRfR%`IvP SHs!{DK;)9HХ*:8^ZES:'9<ä *r0YG綏\䮎7 )uAꝺyS~eJdnz:^kch3q3w͵Q-FODhƗ_P`5jj3STQilkt;x`hSnkov&AiGU c/ s[aAˤ:9$|4"3o])}$5`J[d@C1u WA2d>@gDM ĆGP5lb7Za"FsA:H?"ԴF ͔ႲۖaCN lFSojL-x];Nॻ̱ rQ?IU;0;W1f)sP(kS{Sil\*9*0P&u%w Vn_z|JN==&ܟBr^~Pւ ^zF%*$o{⣪do|K^4K<P p=&G(&IN/=D͌Y$ h$^ )XPd ĴN<&_VёKo}Iqo#)-iS‰93<*Wq]-H솸2cD6T)Pw۳jgx^,C0 1-[_*ճ,^aA:tSHdwcT,%{Bf8U1O3!kU/ډGrs O@%Ŷo&-՜kN_8RDoBDUmԩ;àkS_<)h0F"@hˠ`Oq#(5'N#/_+m)&Iw՞&)ȃjGE!YmhVi{ocGLٞ0g6ذby}4(oKz!+>)S)j+`mD%n rqNd;W!IP|rTU>@Z\=3B~Ї%[߉%IY:A!Vp?X!t9]T m;cFRͶQ,؛0B-JC.A lzΊ} A+;؁>3a:%MPv Q0{'kXiM]^۱gYZ1 ]RɘBRgД;Bu]5(z5B=G! v9:+a8c>+JdzqFU3_k`V"v݀&.Ӹ>meƨb9[ sU؄!^Wa7A7h)8( F x{~55SW_H8e+/|G QC !XfMV/ _T0`Ci,ashGCl4;G":2},Yp[";cT0^KT۽8>g?VfRaXw(!ůpo_˴!WD7 &ߟ&tnE6*5pk$Xz֧XWr;Ќ=|i/Q-l :B΁3UnXdQ,=X?z{~D_X=h29U)7ZIgQ|n[숱( TDn6Ȧ +t,Dn} *K$/.տ|c &֠u*br EΩ2N^9ǤC)VC~ ]"7/k j0J0W_'BlgLx3Biq@Gs*0~01x2ˎ ic<>g+'ezkώT%jyg׹@q!GzkN|闭U2O>d Ba0@ XW' `[OOVs'!GûxP˝K2:/ia^$,Տ0[1|Ԧ6Hӿ?[dWFTe@kLQ%C"%Ỗ x:*KvB:ڡx;cSXPl5k~^ڂk}2^#^N)HnDN PicKm4aº+#vt^Sż#[ F~c-H`Xq[4RRѣ E19rQ~48[O,:'`jA fu y5e~ʌCPyNTM`h䒯LNgbBm6W}wܓNN|`3bm]aMKyrs!bք fm#y`<1Lz͟L2v-9Z~Ž}6}29]2lEN(ﲌfӖ/ hKQ2o je1Av3/ؠ͋~WE1?I "gc9؈b31yo"Cd>a~&~j ][P.%)+mC{Ba.Ƀ_5BC~ [` =ڜ hl>XIKG8"-=Ky ?0u"qɲ2`xti?Pa& n`e_l:ײsBڔd)Gw7.*";S#Qd~>l ݏs ~1S=XX-P^cĜA"&7.` yrw/x %>L/7yEcyavS21*0ǩ91'6mnwM3; h],qjB$6NOYoօ5[!iF]Cm@t_0IMML-`V򘉷ޒo>wZyj:IZZ3#m( ·#C|bSzwYp`k/.޽;Q^ߴ5M!xӤOEѶX5u>eE[ilsQ1$A5'j,Q:z70!MIڀ:9i 6Od6ûXlJY(*nktbQ$سٕ9;$?v -!JTEd(_*e7>;uQґ;Og4Okc@wVQdmPK^&vC;A<}jntp@%6o/Jk2g*tbLp% SF,Q1}w+uJP&rK0YfZ`ag)^Gh T?FeQ xzA*xo$j(WUg10."8ȑtEmTo je-@nK?LDZV<_ehj_1eO5aqZӼ֦Hvldêr&]!gvdHZ4P墠ᔈ=="Btw@\]TmmϹhKDv\i'-C}(&;>x}$ JqU.BbQ'6mC} KZY& SCq ᔪC 0 (|W~ @TI͜~)!i //O]ߣǾY"0 Ȱ>Xd 5P㵬xpbߠdJ !w+:Z#l+OѼ8t=R`g"2{.E"oREGh'<-:7;y.\dm |lP6dQS7v n-&k({쟃#t d5Vvv+= NjKq&A!O?Z"_ѥxAʡ1q6&]oAA']4/݅ Y-YCVDY@P#AW-"2sud~8ACRNey)h`x: 8 -u'{6!c>&?C!Q7u F;ú>uu >*K;w036kX/t=GG%:ɡ#xu߬OYP4EKyI}#^+Bc>8&/vD=i(Z\n뾋K S-sA.:Dc&,ܟ,͉$jWB !"kf}q:zlxϹI6W,H:-&wcrFDClwP(Dp,j$r¡حLw6z<Pm_)#LJ3N6WxiwWisVo`3[~i EO^N *"k1`oo?n%3#M[kTx:ehݲBaoMhvoH 62ø2#"Ӯ 52@ӐqĶ,A߉-V!em\웎Sri7tp;òBA$`@,WEqd''ҍߨ!qۋ#3"@Ei"߯-- <"ܫk0RBi mx FWlx9U"Kݕ̠֔oue5EFfDf^D6(LUglj>9[_M!_bSõE` L\ْ/M A64`UϙU@;t] hA j B~i#IpߓH +4k3Gl=m:Wi(i.WEE)]fcƄiv~d5ѿX:k6EvƤQyM Q ΅pkO*)1S=pzؿq-C)K[~<3+Zp@;ݦ_i]_>&?8FlsipvG𩁲(9``f^Bu 'nTus-\ …F{0!MѥG0Z3fCPx.9=v%Sy(hUMvA`g Dt-)cp2%8FEk|9Y8AbwۚUALmuw3o#VI&g4A&˝e" C[cCEKBU ]phKpgj@$Lds<.]o=ō$ٱOd)Kݶ;>@Y)L* Hg~+,r8<##GH m۳<;6t]d&(@gCKFJ_ `]²M":D}5%|̲#_Gpcit?Y3Ex‚`a)詚m(|%VY`Y%Ggic[yՃP ܤͮ[i7AyqUre[pLP'J!5¸b(hk8v˩J-|I/$\jF Ȅ2i+1T8Dz> Qg8u23H_[il5Nb 5-,QƥHW|gQMR>Q&w S{PȈ3aO;F|TabMh2bt'nM^.voO!^E,0LKzD5S y+rNp@R{sX$9n(AX{A]v!(> @c*p0qG!(Vq7hOv H(Oe\HD~L͔L" l#dJϲ5y28iDo U`]X:c/ӉvqDAj [M7L7l3Z7> yW/[?UYu^ر'N\3E0 NFXpEMHM8^w}V܆ԖEU'!>+#3Jy<3jZ8>3#D:iU}gi\Ead_twQT.a|T*wXn ,'6io$¤9<WPdݘe^|~% 힛uQI SRLI{6$ɣ9)]Mdrr|VI1eT)`Ds0u 咘}L~wHG\x5ՠ0R:QM.Q0 V &kx`Ȇ@O^0ȴ`c6C#iBBGx^T !ǚ\EAv%2>`gy?uU'vROly8oT)Y6Ǻs|z{PǨCB4KTTrIEݗ jZ' l]LXgŚ#ѧT?-"%CW.*w4B „ߖWL6<rV2'vנbu ♆G~^q~:,Eule`:R@pw)F{aYfc"m@_pfJjaήwJL*kBY8L\ҳL+- ՠb=pE9tRdvw%X)ytcC $muB$,꩖=h^F,Y*Lǻ$1e%# _V+{op嬓lU=9\0E` >!aJT\0r:ZZYo3Rrw}K0D%[=>,#8 3y(#h#[ug,Iwu`Pwi_e>JgҒ WnDp`aJx6Sac90M(/'Zh |jX|@'7aE^D(H'rHLl ?;>jA>:vitaJ*ht]bKt)KB8+uUZ.BQsN)uаՕW˼qdiN{Q75]WVsjReֳEc6}z "a˪ڤl)KPܢ|*LӜ kLL\һZ۳HФ&o Z d~+ 1G.MJ'a =#d3z82!<µU  =܍A ,-ZX^όڮ#b~=9aDžO=0 &1h#<~c!+)Q˭/-dOjW$9y8ƈ' )5a?<йljI x{Bp2)#'׉i$"w~ ~cEB2GIЄ e|Dly=cOۂX_(JৌZLKD3Ve_vdX_t9RdHnhqk'Lhp|7tK5OAgqT1xLQd8z?a.ҲF8 n`2ic5 k=l_ Zi\?|LjAz?m< ^q5"TF\[ܤzF?% + V/7 cEANO1:tO1$eB4ap -| EG'Kbe=;Ԉl**+3iN,&"0GD1SL oan&!ߕju3v)Ħ˨ u>ń>[*D 2"V&\ݍ/\bCV#i/h䖫#^Is8s6+z`)FrNL{E ʆGd\ tFfq(^z 2W,0-ABF{H>YN߃EfrdR%wKh_{)sbjwK1;7\}j$غJ/P cJl  +X6'`ƥrYt-ڒSq8A 3vDelpQpݲ>Elڡiڝ,=]$y} _gw*eg9+w:(H |XN$Đ>Kty]^0h;k+ṇ-:YW!Y9Y F/[}rCDpsBAɛۜNK'_ q__`BotJhYey( c&F̫`6GCI⋨q?XC#l0XuOԚ R!nGÀ፛{f'?%3M>33!o--ۆ*EJFu eP8D+ <ŕ$3k5w3`iG((P;P%ym0 _xFʻBke^;9_84l, 6*>PMdb Z#:%[e#?uf6!,Gy#K;*O2#'gO୯WxgGm5&ß/H$CMRU}J=w),ynd[Y.P/ -.2^9ͥ,^=X)&`@ӶǗ)X7~.LFbYz]E!,"&v ?*3w܁_@iՋ۵ٕ"%._ BIZܞ bMMQ]]a*--Q(l9A܄ო̗ $-VpOe/P9H,*#h_A[j# Gh0F\Z1 Z=a d0$H|hD}7\ +@LL7 K`~fH_p4u ?83/Ezݯ.@+py(^ZZkziXk0U*J[s&G!u6GRby/4Vܔܶ QenDś$a 9>b¸NlUٞܶL4SP Bym$o!IkW#]KPz{ }΍oXƜX3by2EDD1FL7[ A<SnnMNJ vTZ8VG~R*[%0ͪ<0umtL?s/^8L2**<08vP7A6\0WJgPZ&N0PkMSwC Uk^+\f#ѹ]] !M젗OFK?1`$Rz$/ѣtj7.!!k+8HbGp@?Sf$+j}tJ!16LgNirүn10:`.iÂeX鴘\Uwyz`XxI>k<2^Cܱ~) R t"q}Uz["3z:cc\CM|X<{"`D`?˯E8(+Uw|ul+f tnqrn@ELKq3>bރ?-"ބ"DfRĩ,<Ñ#\T~|Fb]뒪7_CP/> ]ʹzD^W⩜RHHw+®I~fz㋀CzR,l^U0x98ټV y˧o[kqa.l{wu)RDiƞd4KiA|-u`z(0eHF^yF"`&A! @duEL$z)FԜΑmgyFRL0B8XrT?m8tgi7uf<^}e =RώJ+'u|{30]s|0x"9~r㬙s 3kZL+ba/ mi6VZ&*L4:b][ɘP.3l ŏ9uZ>Yn. h{#x.-dVh7$nh#I+\{/A38zO(C}nQsFjEb#j3=&A}duN.% mZrD$Z?j\m ʾg*1_Oy?H8u;t]#nAn0b'ЬVy܆mf ;IVbG",2/7\&S:#@eBϩ3zG5Z;$T{kT<9 C*g aOh,'F=uC 潶:y: K/Ӳ rE'} sM/ PDE$xJ!W[Az@]ᴽ*i^klOF. IJq~h9Ӑ^9 ]FP$ f  ^}lBS^Eٞd29(z~L({GQ=9&d̡L' Yq5:ԗ K#hђLHn$n~f/rƯcn۹=ALcI%}\ށJe*UI^ZZoN0m㱆`_ ؿc@U;Rs Lv`TWWOw5'[JE#p=s90*e4s |85E)>$ҽ}{Sb~tJk0(w~2HT&E eN,S( ڿPE~!8-!]Tx a8i :rLЁW-CpfP&^ǔliB@N@~tyf R Qd~m_%m_,t1jNܛ涃fcW2NJvj={] LR 6$z2(NE2MF͞xv湸&6`i#y 2dmzb۝Ar,1z.7YU{D2td*-S' F\!S CGŭ񊩿R3?•Ђw ¿>pGO53Y~!N5{lwgƖ` ֚Wi<9ȗЛKk\EM;k`6+/5(1d!DJe(M첽!R#Κ%Ҵ?RSv7ʱS~xڣd2MMr4̼]#vcԬ' :0JZK:tW!?lWU-ɚ׾ng->- v#cc~j6nՍwm0Paz3.R:s{'SL<2ST >:VIx#hc jA {X᠂[1A2; [w"|4ХMhLCQʘpdfҼg'G̴3W2d GTT0nF*?2y]A7]uҕq}OvTj^%T/-W"7rX:B5,U5,>u"~s!B)5F<-h15-"i um+FMCI^ BEMM90SM}׎]+o+V^KUX:xA[yF^&!IV;L| $:wxl_JQ4l&APu\wEhǯohP=_愥r0zg+cKf]shg b'צ®3SyAM_&}zK>|Gҝ!.o*FuxP,L)]K}~ɩ¦.,Zٵ}9Ah(FwMOEHA,ә{n61 rx i4da"iIS_JnMEo3h&ZvEhA &sJ5k :rM$I Yn~M+:G`b .z41|EB ㄕwuPQ^S5u%i=gaQ{=cP9F}1Y'2zXj]WYA VdI=67+xmקYşMka+Y[ h\ĥҔv%&7jH n3{47Db*qЇq`l8wuvzOn+zٳYO(eyJjXV: &3DCt0   | h(/K% THOL-Types_To_SetsHOL-Types_To_Sets.Types_To_SetsPIDE/markup37zXZִF! a]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<>OcsŒ39 yj~h %cbQS2}<%^͒K̉-V]!)%8r཯Ah{-Þ-fl:][='x?xgg/L0Bfvit8 ^8fӦ{yD n3q> H`g j\ TUŌ_IbU2s+]AZ acxenU-m, @5rB=\E9[D nqeTY A4د=6i!8 ' /K% HOL-Types_To_SetsHOL-Types_To_Sets.Types_To_SetsPIDE/markup27zXZִF! D!]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<>OcsŒ39mӽfEd| ڳ@y`O">p#*oE:@uœcYqɞ!w#|"b* KC5f4>$aRJ_I`t@me{ƭ*کaa)hr> 5h> àԱ⊒v~^MX3~+\ m?۫1<@d;d5۳hEXE-쁳R+Rʨ Z/q5.%C6&/K% HOL-Types_To_SetsHOL-Types_To_Sets.Types_To_SetsPIDE/markup17zXZִF! ]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<>OcsŒ39+MmXb䂘rT-#Ϡud!9xlc9yx4 2iL.8w\v* u%ua{Hv,2VR 5T? ixwS&SHWǬ$t͐h%%)GfRSH!ѡ rMxdޠ0iS05U ;IT<-ch@҅vYZ;`:&:2(%މZb$9 c{M7h t0gf [B%ƦEZ3J=8Z|M,ޑZ2]yWn 1q }jE'Uldj)UiF^+PxU`ﷲȆ6@ǟhݧ-عs\CNG")FlfsU.VNA5D%/K!HOL-Types_To_SetsHOL-Types_To_Sets.Types_To_SetsPIDE/files~~/src/HOL/Types_To_Sets/Types_To_Sets.thy ~~/src/HOL/Types_To_Sets/local_typedef.ML ~~/src/HOL/Types_To_Sets/unoverloading.ML ~~/src/HOL/Types_To_Sets/internalize_sort.ML ~~/src/HOL/Types_To_Sets/unoverload_type.ML ~~/src/HOL/Types_To_Sets/unoverload_def.MLJ$/K-HOL-Types_To_SetsHOL-Types_To_Sets.Types_To_SetsPIDE/document_id232n#/]' LHOL-Types_To_SetsHOL-Types_To_Sets.Linear_Algebra_On_WithPIDE/messages7zXZִF! E]]~ hk.<VAHgM@*$bEWQȑysSN-s7iTs02:<:JuY˯8)jmVfF)]#Gs;wUaaR IpMrG dcj%j,7_2)4Kf{SnVgb(ص޷E2{lPvĈ]e%i2ƉBaB{b=-2 u_{'gieҥ~Uo'.p V-Ñ4Eq5ɉ7])X DQ8-3 msn+ז%? 7Lni2o+uWeoj7ըyzqsӷå[IJM,%i,-:K+0FA]FTv,J;a";٦wsF?%S߷\wB/&KM$HohO'hIM~T *7SB$Ap&3B7n P?npG%a gwOع~"u50FW\ˁbgfpbjoN?zoWһ)ʪ:6 LIէ*>iX.t}uq3N3g0%-UIk]8ށ{W|MPPփ7Wl\^y*_tGM{Rb47&ٚR79 ܖy O-  ^J :ۖ8\e2 V m}${$LgͺpN3>[ߵTmhhl̉o ps~j_êt@3RSBuG!{F%B'R9T>>.(h oǫbez5/h(ʫ>^>df4Z`)%2P,팦QŸ[l66gf!㒕OxVa!T7z>Ynψ fm ֤JVHX3޳*Т;$XG-|{6-kj9y{[w}M3MFhhEֆ2ugR4=T oW{R8 AnGTn.¾H_.צK5Og8a,f`0m0 ; |bMtTG"O}%Oc PgYZ SStk˜G3ܤKY" DfjuEXȠ )-$  "d~>`bV 4])Ր[T:e~0d% LB@ ᎟}]ME0pWzy>;rB+M`~{[)1&@hؕƇ޸b/~ YxZD0M@7tYڶgN[E "|mXeЮaL! >WV66LR ŞȲۓD*l%/*]<3?D4^bI8z`tWZAg6JmN#+#Moz=76U)T%R/r*Yk x@1g<݈_? $bXA0bH]sLLU@*+`{jBm ["&GN$8}Ȏ-&ޝL}Ef 1=?]Z|̯{k,ҊG]?m{BjC 5r3 ky3~@I uE~=x q S9 Zx`!Jf#e5uI&t0kKU,] Ka۬"GwaI h1MB.B #q$ч.Ն .fO9 R&wA\sYb`$2vR3&I;Ax3l6?fA)~X+r![X}vv<&hJ ka4!u6%B%E| ]ؤ*,VLOd[~wJe/dzc4V[ |XV.qb@]7̠ gHoRy'm=/捻ϔ09!Ĉ5;i,`LYzRšY)FoY`l}ݯ\?`iL,`,cþR =dL8#U'o8S~rrE@H-ytUnKR!,dx Ӟ`5H$? U˜ g2_ۮŬt]C6*!;1Zx<tn$wHnslHC;Ѥ`6*уVu *B@ڐnw 96 jO.c~*@Jà迾kwOr$~lk>Z[ %&ʼ5n_~WB[Ţazl4(TѾn%Qqϛz:5d1 (cVv!z ӗ[5ҥ u;>QrѷTP2 |as*`lr3݂OzY?_ͧqE[ehwYw`'[i:f}}'r>*5 lֿ͞1\$qe;m mۄbM q@3MeR6*R.τ܀,Kz~TphϛT%?ܷby$Ƀ,w/<&XR:1|baO>Ҧi֗]= eAo32wOw2 N|IS;Z~pw1"+SG914sԫH'3eAsJ%{E9 ss?{6ƧWd8;= [dIGjM YcuR %EmExR.oR#$^ )l0Gt%9&-a os_PDYLS2iI.7#OI*1T[lV;q$ Zc+wvy@|~ꝛVl-;HWVr]~>@e:ǛNyS&C 97h}uz)>ii&y3v{.wy\Jt##ž%2%y:_߷wPoj" r > ŨSId31<ėYY\Od^qWS?:xԩ v\Co]zǡ߿޿9C|F%-(`5;03d؄81붅TH4_+hřh!>  3re\0g~6'L|+޼pw"~/}8ȵIku?GA)kj"PjfK8F)* U5q`d[`FcO޲CS8TW3?`&ZzWC@JDvoޕDto¶+.L:kc*Ҝσ (1mU,h;+")-s&SȑtO^ oqq))f_xj쵤Jw~/ɧU(Pt*˟×ېbw`5"tO \iS8:ޖU13st dPZâK)e7V0\ͪvA -x+e2 ([IC uTV<0NM:,Y^qˊuQwޗ4@Acz(E5U\7r^]l56_ ~e*@L82LCp^8īb® y8<9 JEғsُ,=6 K/Z~cEUۮt5۔MWeOJXݯ Z6n L8WLWNXD\ֵ/FNbA{Ҭf-B12͖; 0\^,"1k:\} v 7+QRO@3Ѱ"?8Ԡ:zAj kډ+N r{QʩoIزi2`nNa|ih #Э2ˆ@P)sicJ٧Y m.嶆J4E\VN2vc7R@㏣O45[mFq}ԻmAl+,9T%a5Z쌒T *o)fd|#q8,aa[@`ی&m yAҋ" <`Ġ#x7wG(ή-K[*X#%k >O`0ג?3@9#K(K =cs > ]~){wfAJV^,e,T& `KFsJp/@ҀŴv.ZBт ث$r˗kY 52v9 n#4=辏b +?{Ţ3ʼnˢJH>{$@mDZgYZ7 G,s῎31A#>4cs5Z} E9TygH;_2ݪN瘐+AV>>Q_KzOJ>B䊌mj2ƯhLb9/th7.c8[;FMaaOJgO|VQ`b;wR 7L(&I U:-A>AcՒ~$/~cU=CItPrSX ]MGQuuӬ.}g@dHd1l $ePn-e%ٔ)\Њ]ۭQ|u}(zs^96AQZf`C~&z@=ـSPû(aA֥?V{RsE."E_E˝g|F|d #)U`*<]i/p"NjD ! Nww0ݚ'zo+W9 O\LwAr1p"l~燛:/)P/ zq" &@~+Vɩhv[%'Q"d6QS$#(66?u2\/%/UF7Rn#<(F5L}ʺu 86Ce~h+֏ZץWF~TP7s t}Czyr#ĚIj ق2*dYW %^ORa s>˝x2>QJz2yeDڞmnގl+\Ι(8)|Ja!eQhxUWnW!=) Y*k#S'KY.`H+Lme7_Iu⳽]ř*c{[ԼaSD!C^̃d(>@ADhbÜ=gVw2{\a vv5sO蕼FXijz 2@)VFe J*Ly"#&M.g8H+.]g3^z}>S#RX/a۠YB OYdnjPs*,07)ΗYOص߀)σ Rxlޚ8)vM02jLF{>urە+ WFJCtCnŭ s(ؽ6zM1Cp4݂o5Y.\/:tv=KZ?)No #6v!;ȷvyS;ŃE*giO޶B BL ac[nɭ\)<_9 Sx'eڰ=~ᝨ甋ouc0bT ,UN#ʋβPzuIJ5ѕ5_"v6:Y˽?X)0S XcW>Q~[pcJ[o fr|!{$6,]XYQ{ͱ%JiSj( ~ '4H.X j'JJz/;lҴUݠ1Cevn٢?",IuXYp;Hj5k~PE}%(n"]FFld;.*:5,lInt|6yȳP*7EkoXڭ[d7뿨9mC]uj@vk'Sm5nb8ڀ>vp )v$-P&u _;[ C8dy!+;, #^}$W.T ET#xGu{ cBq/Wo oIbfοؿ%:p^~UV%@K'|,aw RѶsIQSOŒ,\B5q(AK )3/r3?@z8s\pz- *s{O_/k2'͆7Q-Id|(>N,\ȭcT!RO0EklF*'fWݮEee 6Z:UIj?ה6Kr4'`vzYokirz,7?FquZ-$]}|E2Q^h;@܄ǟQ: J.y9ꘉ+ߙZ݂^9pj SZ 3I^w(&s6'?.#.G`UY")#aĝcXذ9z![\M*3xkΜ2aK$ 22^hPtM8jy$pbqrS z1qnfE_sE%¨ Ť$XyMQ$҈C: ܲl:Ҷɹ}=s)#DmbV,FFz:|Y1؀dͫ"W(S}e0nsܯq&Sqpk}I :K~ ͠fE}O.e>ku\ ;Y2(SPXR"OoB%}’}n+K)"Sgrt@ٔMWÇƞ (4rD#.O% 4,cTGKӦA^BPZ$R~ IHŅ'!_z$Yb!C^eu]Y=g&@.:"/Dq@;_Zk:n.&2 Im桨Iv)xhD712~,^>6|5b61w usgNz#cQtJc/]cpiFg8m 63XWA!2iӓʐ M!EiVKyk;ʱ%0~,IcZLpNZ]$'S,`!,Fki BWR.'/HWP} a`)O%H̽YAY4vgˏl0as [wY*p?+גƝ/ĢKV 0Qux ${v)13;hWC?&kUYԪ%/~.V WAsqu$ȟx&!u&EV".C:rE=#jr%U[4j]S/ DxyZ'ޱ趠oφ|X; 1PJh _T  (3B'g u֡'k @sTz9'zh4dh6׵|(Gr :[N\Y 4f7388-F ;h~u ףz}dT"cxdaUI%x?9P`e0~Z$MѰQ=u2B\VbSh#K}ԋEnaKmmKu^U~xPK6JY#Da&P;;R{,@op/{ƨթ{RdvkOd!<[ѣ+;hD1kD\)p4z]iMar*.cbt@r-@}Ң-;t/&Ǘo5rHFypѥ1{^SQpJx綖iEs2.r$5 U>{zsÏF66+\_ٙCfvmi'[}|چf9 ƤϷGy$crĖdO,'%̀Ad{#%+&_Uk78cD$9+D HƙP_sp'Lwx>eَK.,x7 t$ Rpqu̱ 3\6FPDf.>xУ@_qg([メ ts`UdOqW+tc+3Q S|~T_m£+y[:<( Z`qNҧsElk_[0SF&ꊠ0Fr-Ӳ`|vɏsVm~Zb4;5SpYŅ5څ>D4 /L̯|]rȉ¼";P;`*;(RRieюJK> gz-QvMxk$ (gVݲ8.u.3Z׿V4TdlmwwRf[\&Gz{IOҽ*[ޥ'Rg>yQMaN+5/I,F?xAy@T,>&Je\b22(Zr{vPdV =fm$sCnln6*, :}+{ T$5Imh]\1uf.w骃Y.HJ4JίUVP> H|P|m#LĮ$<9:$˽Lv; 1T l&}$6it;؀/6Xq.[;_/͂iRd+65Gk#_?Xɩ8*q./.?=8= 6P ,q5!ɘGoLܰZjC@Vln5$!ZA=[4^j8}tG`'E@n1lxBBb]懟2?gJR2&>xWDUkY%n{`I]׼Ga\^A#V2HK+pȅ7@Yԇ B$_!S|^W#Cg}d2Z4 z˙ .Lulwr4Em,*Ui ]|=Q 3pv54yn}(cElks&get"'gJ̤vf%ApȠtPmM&%j$#L(ϲB vbgYZgv\rq9^4xcp`󵻔'^m\@fIeRIy FZM+)~w@N*vOHrs|)緑qbTts]9eZyu7YeZQFbL`&bQ(ԉ orGy"S({HQ'ާ&MЪ1!Ak4:dpU^A<^0e*} n#fH͏{m$|ۚ&F& q PDLK BClg|1l=\aƏeJ(GEncYĊ=9_A0 aE}f 1#>]2U [D~ O`w&*0隭l0[sT%!1_^l_RbL րFi yV?o%GcVE.#Q!,RB6m/\5 ISO5/m@wWȮZ% tU7iFF7bXK0k@!cIe[/.,P$?ts.(Qҡ2~b gJ{6YE $޳le'lhkyޗ`gO(c.Ҽ/9s!OB))f&Т|?;jOH`t۾ZcdۤTUmХӏĪG,HL'[Ši11M%N"ŝ[l5N{dBR|g!h"/3]jRd9d'q9n깊!rg7ִjDߪ#Xci = ux2ͪi[,XL׍Jӭ jٌ](_nV>hy oR䴺e\ᯟ\T`9lMpڡqѕ-!OpJtjIlvkĈ=Pr.OB\g? q=_jw㨦j (؟=lg""} @kbT"ngH6@(;+#GA-`ϓBc } w!k4?!6Z98kEJW=!F{҆_5IpLOz#5F7>ӥG+hDC}Lt$3?]%W{Sˠk$ʑ~|9̘[~jO+;?@hj͏?) OR\AU_938GS  X=l[@C (p8X }NwxAF!of$Z1='(ZcF6\o ]`WPh;n!?bOF t~EFoaQh rK's;{cVuLjyhAC_5ʶ8j%&rƖ?͆*L`d?@jW ё{WC?Ûx'EL1/u~lk ݗ֧B2|%3h]^#tay\rm{].bY,T[d:^1Y3czmu_GŖ=CgȮKoHYjU@wW>sd㚧3s,ER[eL|dv̿dH&+{Fy)ĄV^`dzmͥ{^ Բ՞'T,KʄZGZVoƽm]qXtH}u6U$^"~xnbaWF ٠AŖqgqa]NPC{JyOy=㘮fQ{Yj7BQ@DU=Ovv^ՑESCCxIf(W /PK*iJYo޴)o$}rXL25oG[տW -kcXJz-"q@sO#=v|ҧt1NaZ' ^|-` P_^xc$0) 2zO{kN'}RWǑ͛2-f aL~uԐT-c+_M~W:#H5Jd y9@f_W71&m!/hom"42~L ;f+~3쥒쒸*IbD<'Ρ>G4 {韲K淝n:Жtb@ݎRS=!.TjUՍjgoS}Iԝǫ)x!܁vqu)5K2Sم 핉|0{R +# qJ\W(,y4Ô:& SL@[;֔P3tY$؟p`9c6ڎiTcY92 V$m}C0bRȬmerC6 ڹ\Ns$OscRd`AeH6i̭?>NoF#n ܢߵ +6 ,D5= FwVz[^.Ɓc'Kj}0NVJ_= 8 bV 0s,?Ѕ[T&}iISrijLLU݅ IR+`\V$A"dSМ;K&]=PKu{m%aC_WMWJnerx(`Gy>ukX 4Sယl0*({@ 3xđj~ƈOiQU6:)"\@ a?+{cתͿzp(?J@DyI#&~ ٣ 3VR|Ʊ7 Ki-[85:kh =T݃T-ެl7 @E_>X3]jw6ܽv;Uiwb5KzBVdXm5Sшj/{?hjP[I t!l{dT[mB&ӕP| $(F uBp#z1D͝ɖ$֋W'z>Y"4 +"QUUUuǹ}ko&<= gl0$NJ/Q.ںXy@!{"pmYd YtW@[0>bi!6F^ݘ*'<L,,-']u_tݩvE[ &X(wf`_<275BlDė;'D9XvȶTշLگ=Г"e&ÈG5Sݺwb~.DeL܌hNZEJ>#āX23叡ڦM$^c([$'Tk+,дM*,aRG1CSϐ"^]#&͹%} cˤy& 5 C;\S-*:}6Pv\)lK~lbaPd89~!Pvgԟ}٥V[QW2m.RYiNux|5N$ E8 lX\?bBr;SI6/p92&.1Xg%U XЂ^/1|v0tG;Ae`sCqoܳc0M{D4FR zKelX8W)iJ{%?ݩ;Cu.If>C6^6Vㆧ.fH`m|%Aex(<*!@ƱDL&;H6RC(hź Vp\ss-`/R̵vW3SDTG9!+A炒WXvPF=< %d;e6O: P;zYdUب?UKP'߰?ÝDm¤N9`ٽ/˞f>L'MB􅞛'Xsql ^pYSS(z(NT!)'˚d),Q?XUdI1u.*B:] ^3vѓTIOz6た \&JV|e{ O>/?%-ww[=025*~^Fy/t49pYKnD_@#q/辶͛ru%NHb J }[Y󣫅uPHd#1!@v0\qRo߬pYKw( V6А&"24,Dret˵3 rUaHC毑H{ߦ$B=y 0DXfE_B/ Rs}'kҬ‹ 5l }RsٔhVyk癋 Gvew c_qd3dkIW<g`nݲJn֠HFږe/tqۉ`Ϊ++ԯye) CC~,@HeY]/!8ˑG1EERCrz'1mQ#bV5lj]Pdu R<X^4 C6_ /E'w*y`/ݨj?4vFՆYi,{+w W&ZzyϷ?VdBqJ#DWW/H[-t9[=K[Υ8"rZBPq}H4o>,ΚA[TE Vt1FE!zyjbX ޺a;;JmA C~RvG4WXLK3$x%Dgi\׫&%X D?x)xz Pj(Ǭ+h$eZQp[}㝡c u=T¾b K_a}/ɤM1T|]9zSC:]N2gj= mrMy4|q)=G8xE!,+8πN5|KDh <׫OǎۂCb;C"*FzD#`j9I(?wQDnP. kOMmURM%MR N.ov+]j~OB e)خ2 wX0/n'A'Q.-*9[*\"m3؂6>Ew8ZW4MAЀ}1typ8" k!UZƿ EՐ3*pvW|\&cKmL# /m;[(F%N SV( 8jfB,?5e/Y1˕rFp׋ %ߡOQ(Fӣ$Bkžµ;Yӗ9-J5:4KAhϡ|:uP!!JKt- FHh :+r(Ry-k0tzWNWyo<^59_ݑEYcoKv{0HPY *R)wC̸^蛯yJӐM&pkI$UVaG)4nymiqn{ 5p=AgTkD# Q?3f^/ki%7 `ʁi%P|ovW؅br(\l@'H,`u@Ooj&!{Yq3Pu!Wh]a+Ȁ+=OL޾]i zNibiX O"{/k6D  YpPٶtD^+c)H,݆MVrqZPܓV *Fs5xhJx0<~M* <`MVXo>6^u+uu~zZD0Ƙ8'þ꯭̮<ɴqa/;7Yx(Լ+^j' yB}ìGl1-OqcZ";`fQEqzm-'AFVf"F[K-CdKGդ ^b6Bza\"ezTlrc<=.ٝ 'gYZ  +/K# HOL-Types_To_SetsHOL-Types_To_Sets.Types_To_SetsPIDE/markup7zXZִF! y] !M젗OFK?1`$Rz$d[zˏy1(<;$WJs#DG<1*rq :ںP&$X͊A'I* :.?Isq.t2PJ`ǔ%n`Tޭ[Ni0n? Dnq]k2tkcjMYL x@ qЌJ`߬EE ^ʇBtԺYGlSO'-<l VkݢQcmT7+__ (GK8 N+̄RcJ"2E ކIia uMWgk9շ$|Eb5zz{I3E54~l*tDTH"( ?N㞋dF\!MA~.ap}Y+ontP$=\@obI:K#A}<i, ?] l4f"dܐ$S LN&MOT8NeE[Z%Up(zu\;]_w긔O/n1WHpp෕~v"A?E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<>OcsŒ39m!)::v?R\UX3i M`E!H@H!&B ĩ^Sa) `&~k5RdVp~",iG/5cR7d0‰?Э_^Y`ʠhҿ`&4{7O},;Ű`]~-OcDsE ^բ͑5=b nY!*eIV(uYc4"ə-%?*qh%;535N8q.%N^ŸA/?AYD)9Ѫm@k~c? V59e (:sTdֳSCʉFxFd^s1D-&ry\C.dym5FiE`:Z -قm١ҴSRԊdy<{胖{|4rep<=M"u3i|';@kԨWm=(!Q<5Eb\7 @泏6s登Ԯ$Kl;N ^%hwR0uQEwDMCYm3oWmi?p6U16@a4cە'OexyH훭?D J@c7@(4եcTɥ<Ȃ@F;8)/K% tHOL-Types_To_SetsHOL-Types_To_Sets.Types_To_SetsPIDE/markup47zXZִF! n]s#A>E:lSd>pYdm@H MO7YI,WP4h(b@G&1UkEeV?k0Pۉ<>OcsŒ39mfF@o"l?T&XusIQh@TKEPʖb"j jp*xjtP~  Ny%:i]<+.1!)}l$h%Pʶ0n*@cŏYcOZ]c?(=ˆ4@9!)qg3Jm$Roq%NDCMȎ߾sub:3耹1.k뱀X4k(|v8U^f'(ǧ ԰}#69?Yk9Ek~U%X8/byfQ~߅xxɜϼ:ťnׁS>\axЏTYsgy:x{T[?淴펤EOp~S9V R`t3#֓)FUp0#Y> zCX1bBp}iP%i:Uݪx%/at65 ͅ f `H*'W~O(jW9MzISb$eH'X+z˜srmҧ%I{Y:p Xs_#0h>.G9sޏ8mf8MW^[,#%c>jQ :G]MV!QJ7ÏGQiwm^2 ~*Y(b3WjEGĪ!f3%+mbݲkF(t+W۹+$Fhv52M4o!5GToy7c*9&L#uk}Nԅ29PۗB]! b߹|l Iۃ]K.̆.Q fns9n6XY!t ΡX@Ζ!3Ή5iiS>\n#`+=]tyn$RtL`Rź|Ki}Z*ll|~yNi ~Y0_0]GJ0d` M+ -tB@{a>%j8ep댲t0oHOBBx;AW!\ѩS\+=0zՕqJPy~C|N ݈@9E4bs͏t6\^ e7\֤r߳5O949 kWW%TMKJ9eBzf(BdfZ2т/4 ||"q:6i"kޏTI*`6Yyrqխ47O-@;Q):JݫՃ$AX$YG7=0~B/$/!8Z0j`ˆ+< r EDv7dĝs*mg^Txn!+t6V $JK0zΆqMv`'@;ML)Tr4<{'T["/s>1(ι(C-vHU(Ͼ1X`W\!E s4"mGF9F1w8[taׅ À _NU{? #A% WaS2

,Veْ΋Lc{ C%M ۾j{$<6~=4 b sZ, Clool@J k ڴlC8h`Re_~eQx X5o~1stB@ZrZѾD٠*}&.Tc=yQ 2g6ta ޛ~V~ _%_-:=C fl_.ћ EZR7c ;%nf{Ѯ*zߣ3G2Sk{/C$T׵ܣOwZl񯍥dXws ԥLO 7ҴPKXN.Av|g VřHzW-._QBؼ]OʖAdTu'u*צܯ&Kh}Q՜QāNJHgT> %΂[ay@x'"ꄯwA<)t-UoK|?(z?HNY~B-Eut8V|V6k XkֵuI:?՚k*q{@`6%, we/0/ L6rݬ)!` XB`jH##R>w~ 1pLq.حó9FЈu>@X'ȴFL䈅u`0cKDooe~c{d@36|6,vW5n)-\Kj=d0 Pӻ7=#º$Oe,k,A?Y{)hFa9 ' m"3йWa*VO~qS߰a0D_> =~Db\EQٹi=ңFZ'H[s[<?B9[oRwO*ԏP61mάP $Rv\Lnq35uvWe_[U9g~4@Q}+T mz_Dڶ8K׭BoӰ-gn ˉ < O]>m?3B03Vd-YH-0fE%) !@~E|rr}wZ.Hvu$Z˷S?Z:,,Z,b6M:(ӎuc.NAGi Y/(!t|qA'=VDc3-;Zk 7 ,#^/o;:fl5Ve/ZOQkBcvhcáI^|XL_HdE0C˭,Ȳ)2Uvijr߅-ڏQd({i`"( Rn4{ي 2p2|LӚw.+|j͔N-Qx fA 2u_I™:#2Be`ޛ\:=e&BmZQ:EfähTIOz|ܠ7Eom/`hQ4-|IaJy̍U5ǃRξo-cq6 Qk6Ew`|nm8I`g𔖹C WBY9%l^GxHk ݎrvsʹQ ܯM5IaL0L0R:)*-! +#u~X) EnpfZ3sOPkDp.wKcIαh6hh /ŸjD^/1ӷ8+%AG#fQ}'m/"m=R\UnR~@^!r s(cp>>%o%RPbe8C#[?inLe4Ur^ڎW@ eizRlfToT!qzQJ(f`T]5R1OٙqL<jI"= ZlYcf$Daצ{!s ٫Ѿr;0u &p+WPP֫5vdQ#,[ }Aap¯qcl!^{WG~hS^YQ{eيbǡ<"a1d0?2ڶ!lYf&3WmOs1B{+3bs6H)C }XQD0?0Kzf'"mgYZ  ,/K' HOL-Types_To_SetsHOL-Types_To_Sets.Types_To_SetsPIDE/messages7zXZִF! ]·Iq n[:|&[zXP;L8s )@X2&OFuB Tv_0)LI)Qig`'1.'ڶjlLY|M5E K6RO!Feػ"PO,tQ?aZmӫM`qx)w'i6@m'rl5}!M&O}: M0%cQX,킻( RQ,DfC!؞C"Ek&bt[1ƇdPG@qZo"㹍\/*G4W_؛mJ̀K8Z$Zt!&ou%f['Tx fxTi9U^gYZ