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 ./tTLD ]/ HOL-Types_To_Sets:threads=4elapsed=22.745cpu=39.740gc=1.0087zXZִF! ]ŗXiɟ{ Qx=BLgL/|R!~ `,۱M+x4z>m[ ?$o$m{ڢ,0U`"0#R#TA (2OVC6NV±2$nF8g(`MI`)BmA^K2.Փ=%]*/ ׉Y ۮFi=@Ҭ0$o5Xd3O"-mtSTpg<*H Y?Кpv2Dlrᬜ{2hi^\fzoԆRuHuv9R)_1$ø)5JV _z LZ4 f~[$%gLX?,5SY7h_$S1P$,ÍR m s8/ Gٟu\iͷN6D,>ttd?|@vY9RM7y34Gnn.B bp2]P:? %p/5-׹fKg؈&ܘLs kV ~^f]i7y.YZ3&c1~HJ_ΙSEØcì'0e !HZx1)0/rKGg{}1{v>9l0' 󑣩4Qdas{>r܇mjng*B?ks5̣5qw3{?b+XYMϥK9,nX"qRJITڜ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 2m8;+5(4"0!/-(#      , 3   W 8 e s,J I >  U1<s|nC/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.texP/KAHOL-Types_To_SetsHOL-Types_To_Sets.Types_To_Setsdocument/Types_To_Sets.texR/MCHOL-Types_To_SetsHOL-Types_To_Sets.Unoverload_Defdocument/Unoverload_Def.texB/=3HOL-Types_To_SetsHOL-Types_To_Sets.Finitedocument/Finite.texP/KAHOL-Types_To_SetsHOL-Types_To_Sets.Prerequisitesdocument/Prerequisites.texH/C9HOL-Types_To_SetsHOL-Types_To_Sets.T2_Spacesdocument/T2_Spaces.texa/]S HOL-Types_To_SetsHOL-Types_To_Sets.Linear_Algebra_On_Withdocument/Linear_Algebra_On_With.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?_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ڦ  /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 kk/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_ٽ] {ĸPgYZH/=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  c qk& /=# THOL-Types_To_SetsHOL-Types_To_Sets.FinitePIDE/markup7zXZִF! 3[] !M젗OFK?1`$Rz$/ѣtj7.O QjВe=m䅐gh]+zFd4Ý!=d ;3"s58%! )A7f',ӯ]w_\Mp= B=gMe]ZǔڙQ4HZ%,_v ud<s5 ̪ltYO%-_!4jzMil$CU}E%{#8Y|ߍh٪Dh`_[Fb8v`9s 褱^`SDҳ$uEf8-Bm6&@^=*Zʥ,1؀m78OՅm7a"2.>nz6>i訡SVlZ:t՝4' M??`)t?Vy -2ǎ(UH(yk%M4U~)ݹBI/hiZʾ/%1̟ қܕ^S~a bNv|9l7@98/X:"^rY8Xʒ5zfRkK{CڥH-BjZڴ+נGBlb iݢi&Ѷk4Y:N}&{h]"ԾG1bdlNY3_4SE^Aե _ߟxpC(ၥf /=!dHOL-Types_To_SetsHOL-Types_To_Sets.FinitePIDE/files~~/src/HOL/Types_To_Sets/Examples/Finite.thyC /=-HOL-Types_To_SetsHOL-Types_To_Sets.FinitePIDE/document_id234s /SI ֗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/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ƱgYZ Ӌ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(F[F"@s XYb6lFd',(m,[ ubOc<7\sBm( Z&ҝw/^oԥ&uW:bpw;+R(5ҟDlCؽ Iݔ1jNJUzVXV4pyTvr|d$7M>f'm b?gKv+7brC-]ClM'6Y֨6GנQCvtVoV)/n?thN~AǍcb.ӞnfO_b6o+?Ut{gLՄB]inĢ5$*l׽"="!= Ű$uglHM@<63s0Q[ߞg_3X1'8ǭE SX|;xy"޳NF6pc3*8GJ-><1-A&ς}$~=PY.ÚHcx&^ FiCs'ծ)3&@Aנ5l:$i& G3fel;5x.~?H*i,p*>yW#͢aLHY;UѫyyQ-a=~7H/$w_q 感J,B1VZ"1(zJc1Ы89j!2]*1`Aot>tGU!}cT˫ހє`6L6!OLmqtބHe-/w`HT<&ll8}y4X0ÅCٴVeѤ,3%c!t2{H ^;";@ ]ұ|Oo'ۺWV|7U=*Ѩ;ݑ!]>OۏU|zj߷N_`GԫX-m|KW0ݞm>Fb g<蹼.UCi ß%_AYKElj4h33@,Mrx\eAzqnT2f޽[UiY:hʯ^{&j61/q<@~ҹʟY+- @cZFJ0j!nsU~@cD}#A^d"oG;rBy|޷ ޵ ~=W<CL([]23-0 H7RC+>MvU*JckNNk(Kjsa6KTm99US;YD2?rʤF</amreZL<|,v^6!O *qL:yQ兮,_~e5~FDF++W4+tk$OPvtzQ5V DM(菵~|'MA%;B^u}LJ6f"M0\l# Is), b M; BAp>=7aZRl(%1> ë0YVT=xc 1bU֓LߚN33DN_-}a`L-ѧ76~cXǁryUFFtZ3UdlVM& ")m(0P1BylX_*/ o:oRm=RdCiw ԕnJb'xQΈKp^א{ȥ7iDjfˣ G|Vgk.ӫKz/B"8U8H0R]x$ҨVqN2Xk[f[ʻk*:fWg|bﳚ{lmՉ.1甀.NSWaAVbE0wELaB~4q9d1]dkQO ֝44\w@d2V%mkkG !L%@R3jm|QW+xZS%~ht"j0xZ* cƃ\Ae/R6D!Cz"Ki:p6*"eH$O? 9%P0 !lZN[+I!"xTX֕~^*eZӫT\whOLؓ뾢s?Myٵ[tT(ljmڤyAO!p8\B2 ~8Eb0Lo3i+49qbb]Ko _9̛ɤgP*cB߿eMkMot#zΠ5)j|+ZkK(9M n2I(g>s.ݵuχ4u k K1!_3)UQr I~ tKbfvڿW\lV\v9uKyAiEYM`]rge^32ƅuT-1u.r@LǝAK6ׯOpeX.}7KI6a͢*jb XqMDT!tYD4"1Y:Q:Ґg[=7US 3.PpS" xjI!D|J:نCdŀm- 3 `(]Sچm̲<Zf'pF1$SElFuyKj+H`9h'muײOFwΪbm38jK{7ygvɔu4C_J4[T$x(G&HȪ멽P2=(y8 LL~`A*cĚ b/tԫ ̅ݶ71>֭ۡp2j${޶}I* ivfFqsi5`^+u#fb{H/; ;g#e>u^v;w.!"U uUj (GٟwY(Ͱo"wd -i}q2~i^NqI4/;8AG3͎)By]K< J5Mϟ6Ko}LEߘU }K1W&]#<_te+Z>o2 8KfRqO fP0JF#vnv-3̑aX{ҲG(=!i焇iNsNbL?,|N+h?2Ek6dK!TY3I577~̍|,xt帊Y)-e?ǃp*4}r,>-[\(tv d¸ Fy_Hdy١+b܅9UM{j*:'%P3|qJ:AC/r-Dj\Gc@d`Rֵ8qrP,-%q#MVwyIjc%U3;B04ыbh@ECDԺq>/ s-f`"oy&!X5Es 6`%*~gYZ  c y)|/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[:|&[zxF V-^ DET 3U/2$OLcnP9Փ@ԫ^bVh7HvYQ.$XFOj?h,ׅsMIdJީaUb}$0eK}4G_^J?YE(6#6 9@@X4?bB}Xz`G 2.f龵݀נJ4_6U;tZ༒ ʿ" |Sd5KKȭutmU}/ӭ#nwRf Pݨx \2HI*9"BDSVVOyx !~'mXe^np l Z- Bv@gW36;Ku͸b˧cȮwbM*\v@1*걣·?zb{`n tB$:N?$Soxplyؗn8 ~zgYZ4 /C# tHOL-Types_To_SetsHOL-Types_To_Sets.T2_SpacesPIDE/markup7zXZִF! ĸ 3] !M젗OFK?1`$Rz$/ѣtj7.&_/"(fR qkqma &w[?ݴv5!^_1ieVHqo/[F:ף"K~g~"h)y- :؏]v!ݵ4 Ajd1$fċpQo~y[)e|{tU܈ T h*:سu#/ ˉA1h|9瑺ʉ{%kQV jKZHmiXÍGjRB5S 07t-iuvPPG~aľo,1nxМxmPXd Azgitl/C!jHOL-Types_To_SetsHOL-Types_To_Sets.T2_SpacesPIDE/files~~/src/HOL/Types_To_Sets/Examples/T2_Spaces.thyF /C-HOL-Types_To_SetsHOL-Types_To_Sets.T2_SpacesPIDE/document_id238R /=' 4HOL-Types_To_SetsHOL-Types_To_Sets.FinitePIDE/messages7zXZִF! ]·Iq n[:|&[zXϰfӍ rt,ab}tezL0~HPJ3C J"~V?9KئhJsPY4K@ۼ|]nMՐsDƊ̦萋<Һ PN 1jH~)uD n-7PXBbÛPN3=ó,gG|5[ML!aJ`wC9rv vY,]MC;^^sT ,)TI|G[?>&Go\h nI*V_^;K %\T*OMȁEڰ_dDh#U$;ў^CKb[+2d?BJzշTk ~b( W{YJd^_eMdVvG?GHd UW$q8֚uO#hTB^ߐ}.⦷[`p!f2B'f3\LL?Hʜ*iIMY5RT|\Zv+7:5>.2BNn1y^;gQ'>f's㠞*F]b I* OM~9$ E͏G VYp[\bG&&>W􉱁"bt"{ gYZ<9} hP]|AlC:3؃@;$ϣl+"!.A'G)Z]_``8OҺ֞\˦85ع$hCuN">?*#\Z,aF'[Růh-VН4APGQ;Y$nyIj?sT}>w3hMD!bąZFR6q`suƛKBLex:/p *'ʫ+h#|z,Kfv 7R3r9WLf?4;z6"`G.ĖD2F\JR\:Rg6->YVFmv❧AS]k|#XN(Sb[ M^!~arnLXVvʇ xU|,c5R9LRyb @aA||'{]FQ2lGp`Tq A>?qWbXL"FYr/D̬V], 1N>6.o!qa^hPڞ/!IU3u2?M.j`Q}VjAe]Ύ")m}E^ϰtw-?p *)FrVH^Զ7{3(1̧|^@!T'7;;P%F[PU?j_ǹ~kTk6VA}y]'kÒՋR.\z8qb?A#u SĬ\OȐlz (Cw&:8,N2^;ߣ#0$٫n[CB(!4l&UZ'fěs,dzUǣPA7%IC?T %P+u0炼~}{d\Z``'yn7 ~|\г)o'RNҴ֧)62yh4%@MipHlXd>.R*sEL ѝSĒߜ\Oкv"ƒ#?űP@4'1g%\3]r#zT #o~5j֓w![2qgG]^c_|@mlc~1'J* *^IE<= 46c50,0}QTxU<J0?Vi~(o`8R>Ȟ98aNA!_V.H8inFhq+$\_UaI if';Ke/D&`"W ^Ug@↸?B~롹bEu5XƼb>9`&KZMfPQZF dP7948G8Xr.-!F+#!£Ь0G"n P83NMUM6q &=dT'eUjHHSd5F2$fZR"cľ,w8Y;$=lP =d{TvVnIF3$CkojJ7p:Bt˹,9 cq98ȹe۷ly SGXx3Q)Z _1漓$s0pvWn( O6ղ#>>kX盌ijTgE0eDygg'gvRKlkT kPvrwDGKlK՝J_.Zs&1&n]|1ZV;+a PAhas'3ۦEGYΫ7h$B I|lڈ%^AV_W)DЧ_@R-[h,-ϵA܎7Oɫh^"S(uw[tiZz'Cܲ;hK|(ґ]ڿpE2{@[;,WI*=4>ef8N60 I[ &͵- _qz_c{]gkɂp(K% EIџ_j(״h<GM|"7OB7!ȝjvTa10M*H |(OoV!v - ؛CEsa_`Bl9pԫ^\gXe&,0a5*gC}9ca[#PxóIjJӾ I*!//Fť1t*P>U;&[==w7@4kH:'cF\e#OV\:3/q!B4~f=f0r:`F~jܥ.&˾E^Ya_l؟,Nr=/g>M~8O?kʓ}P2I-xVHSvS?j w/IMt-ͩc:5Vr%g?|×ηyҸ#\#2!CQevwJryq2Nv,<U[2`/{vtI`ۯEv)mmGov,+}Iܽ24ps&V 3iYMv5`tVQ,Rg>/8 pQBb~3sRD{c}yO$ un4P6"kO q!!1ؒZGgV$_ΰ(FOGGn~AJ :=f)EѰd=ΐMc猘qSdihZqMs ny)M9ݚ=J{+M->%BPvtFNEB05&ަ܆{ja8KΔWszs_.Ric;I2z\a`wxQ#taczKw\\_W^Fυm.J 9Ub˱u}:PqNNM\Rz񐎴O(xvު~۟>lNT%\*G-3cC dGA8\!/]P pJ0dr5yLMv̇8)^ps7¨"`1S~WOchL算%f& խbV*B b'ke[d=I$Ջ;tvs%v>xPܿ]V 3$mq=t=+ IN`&s%uB9#9ȲJ]ɱw|r!7?RCED.6Hd? Npi v~4qHlz\N"qy{Swнb< k/ RX9pjf-r;ۚ (ʱNh5Oۈ1!_tWL#|q,@Ibc'dߏU7ޤ RU#%r!_B GyZY:TY zfSL{GćƇ>U|N㤓t{ec~Hr36*_D5ؿZl8C<-FcD+,zkz/2־/,6aL*}>؎=-v,q 2zT@?FAcN~Bpg $Dc|Jgy+WB"5- k)ܱWwR,N ȔS|1Q%̺pxKtLΠN{ScEv|zz,nt uTArҬo]NyENnP 7OS(ZW+Yו$VNgIѯ' .ӺO2s>8b#kO,[A7%E.k?zB/Orh +e@poqU.T7Nd h`w~@Ro'8(jZIbm*OqJҔMU {y,4X(ٵ>(r |{t\ֲ3ANn ,<]Re?f9;y6#%ʰ: 5i‚3Ƶlp\Wq[(+> ~.@o?Zf۫[FVn7B+@$⧕ATPTxʛ f 0<'V,ڣi})on#?$AZ ݘSO.jQz+ cݥ`s ߥ>clN-4r;wcar%x>%L nŜ^vpS$:&hAnêvxHw3ES d$@ ngz'[ ZBqB&Pcm,<JBGiT#3JnV}r}pr4 "3;';FI3 &$#x[A ChEPZ׎ܾY,Qi[X8PR6+lDFv?df3U.5;/ts\wHD[£=?WI(AvZnBdpހ@;hǬ]1kVc"]ڲWA[RO@La/BGnJ,j ҄jEY.;3ԉC-vPƘ2ۧiT$Agՙ"!j׸֬\ ͚.b-6Ȏwh]*%SL{$)`8j7+e*jqDow9UemRSc{,ۉpS&N7?OX8>>B4 tώL(!C72<֚yLgPʈޝȃB`i WRͻx{-'&-nҚo-WJE{{Ϲov~17kp`J ;}2Beoră |e^F{` f~vҖWo^-.\ *i!RNiTڟH;""B0>k*])8 4b/ !Yz mκTw[Z-l߈FB'8'Cn^{pqi9bHދ&2-x?71qǨl}~"MZN]+/ oHnrБXubF:'A>oBGBat9sӮ%-"D ,;w0c"L4[c go֤O/*BeL)r|N,78;\bDSG2l"J}_ex_=w6'+ω_3ZAȄoDI ؏n`}V v;źⰶi%YX퇋ջ*9k ;$6 M-H{Ss.SwƑ %}_+B=@ r;q9^)_Th0N0./&-X)X~r{Ɲ Fo u;OUVҪKK '|KܨV /ߍ\ ܒLnn7*xw t쐢I̬meu4{(ɷ@%rgYZ8%eP ܹ2?g @ `÷C mѸ}eDyr?SyԀg> 9z dYd{WG3/3I^v1=e&5.)/f tךsOx~x5~:!a5jI_ `)AȩOg1@ Z',&^{@ (ޗ @ = L2Ľm*u?%/ S?Y;5`N+EaڵBBmaEMzwwyEhH':wfFM<^%Hd׸/tЋ##fZ21WsyP<5oCysWȳ<'A^T)oVԻ NJU]'qH(m|PH`t|_س0^lQgp6K/\ok9$Ť ¹im0}x TUJ/ ;&$g@O}z'F.7}\?6MJ` hQ" .|%&nmUP:=uR im1wS6!E@R)2mdGN]; $;-URHW_3L3=;쭻[q]B|9F e5GY[=3ab219ۅ$C"Oesgv5Ҝ_*J;^( /Yzery9npyIJfxa,rŔN3:W;r@b,Ӽw +9"I`URAZ56? q-3^z7] lq ;*mkmyT)#vElAJh_*g L9κ(sHj*LwO[>Q$, !UoWڡ&QHHCvz;q[;NO>zUly;m`5oJe*ֵVx/r`EKrn ڇ_*/  aeok Ѭʖƀ(4檶jK1-zHBLJNՂqQnW1ȋ{-zyc1+AU֍l[Gf9WmUZb=4+a;7C)n`əG89S|,h'r@hℿ(Tj09NloB;fx:o~|B TY"@d}8$}ʽ1T1&: JWMI(BW /0x!˩ߌsvi3{O36-N j6Yc ^[讀w}v }w{- ZEi< W_Izy.k$jC۴mxWglFPjc; +״W-pMDB<5 ">78.xĩ j8vsdhkmy-Fa>|V>s~xE'"ƹ4>.iolK:?jU݆73pIk<7<3Y%̈́&߁_ȷ|Q.+M4P24?Gj2&+5|L#_8Hm4@E%1yn {?~#χQLQZ25EZ N7kpUhSL9c&:NtTV{?`Q[`\s'p12{3f9\x"7ص:~)/Ri(ԓVAYC0}v[=5!E+CȫH湭=(q8lGrOjK릹I1<$PWK&Rk{,v7B<Ņ/# 8SSPH|"o6-E<1PMjƕ**1Ly_pdm?MqHl<2re .5a|J6T(L^ИD4蝉C%D.c:)R > a~,̎ǏI8&tw Q4ߗ9E]Sz;^@#Om57f)K3fm]ygf?,paG s0'.D"mqc i!< Dź2Eհ8Btut <-MNEy'V:`8ߒgP?"I=y%sƄWÏ]YUAZ齍E'~닔8\el@@ZfE %Ya#r/W~Vmhv!glMLkN{8Z>)8'Blf#!\4ǣ)qyOd Gi~h\Flla)V}Ώn*N4q9k0c?{ h"G1c_,b)&] Z1j.@|ɚ1@3Ul]nYh@׏滛|ؚnt (g\K9mm^3mx@|wpAUCފ~:[4Oa<I8!&gӍ]9p@iEnCp]$d35Dk6&DUf®~&x"oaFňpB݀|Oz>k4ʆ1fWIp磕崌rb!MG.R:vO\36uDZkdݦDus\-Nh3 "aWHTmLe#*Ÿ8^RKOgeK t0Ln )FZNQW\c}ĵmrV>v6yv΢~(Ur@;x-L˙JrW9Mk[R/K @WmCnMuyTD;Fp|Y&{7aU'mNjECZ3iلm:V UJWPViÐwWNfǞyhAGxߎCfH|ؕMpEp36vTZ[;ף]X_RCGT`Ժ]剤%(.I LeC) 7{}' zat×G&a"C68V<<_"dCd2u d~㪀й#; LŭAZA ,4nu c}2xʓd O§}uYtah~C`€]Vնoฐ&tq+@ZÕX@2t)hU&(:E ` HWP因w!2/Ϫw97"WR4VpV$u=QFؒEc "X. Z vGW{ԋ7vTц.EF[D\tJ1]i%/qµ5sLT K2JyZ5޼0ӭ\p[\ZcY HݴRO%dՒ{0hԁNX>҇Tˇ⋭h$gRsBCu1b&[TIh G΃R7ũJ۾aeVB =wJ]|˔ 'Y #Ǫoz 5~N2䮎Ʌc,dlUOz7%$}/m\D}dZ&O8*M>oҏn3#$0'.,Ty'Q #uXL}@Kύt/j=M>~~gznf}#.=fHWj\*q̙T3_Wڼ'0գyƕF ޴VC)w%}/|;]Ptv#*umi1Uw ApWl^8v*'` ;p.qH@Eq<֧܊ǝʚ!DCS!>zc k{1rɾH,n.dg4:n>].;zd^h ݢ廠#EgK|g{eZf.I%H1 ָ(1H)IfbȈj22~1; FLk_)lpp(ejmМ\QF̸2b^ kw_cIV˜5"Kf@gg{!?C;_<'/E½}Z7۰@RGR P ҺiH @po1RuDU&¡ҟn7O+:52i/4\j^'z\xNmVzXIunrʃh3ޅov-!%΁ jMtԒ8܃Wh(7R\:hviE~]>[uU#fsLE( &D4Y‡a LG@曧V#:Nȃ7%#9M~m'̆ZCWl?xMWxbUԲ^IN/c~cLj(xA*\m7gPQ_B!3o)?uhMaͿp,[=} Fy2mc=gl.BhՂY+p!^ X6PDF8_{OnHpqCz6ueDQ&0-W>3 1 :i )]q4Pc2@ڭkOtwV\= t#J%u }_?+3'0C;"{vnX><`E-w %&rr<|b*g}?L5{@?H3s洲ںn:s},NEɠ= 뇲5o AՈF?'(8h*׵(ZϹ@ YrVgX`,:yzǓlU9瑻nܦIɈ() n`9L_C,; 1* ceY3qgw}+У.f/uiG/6$YKJ!ӯmӲk,> )Ը6κv:Ew ?/!e$zDsNbANnI[gu m`3:ik3=Wl;Z\XvJH,FB ޮgE~q 1׺cMxڞ ܎`a'\0!]&+]e1c+#2zqV%taՎ=N<.:\{=X/1&|!xs|Kk]a1YWy28&؅ nC[0iT$ t`/ybz=E=5tC{II$r2jF| .՚B$5Sʖ(HX![S-覨V.vwA |ؘgԋ38 4Wܣn$id/~L+w-H \w6b+m6,Mec&V9 tnIEӾ2 9\1@- kxTy (z !|k9ew+0#U,pUi@pUgUrو؛.HQY?|rVrr4 1ފTvH'+)0-+ $s&Ց3vnL=ļ<@䓣@Xmx61@ecqNF|[t`DR!JN? jquގK,vyve6u&/z"#L쟏.ͺ1jg.ǔ_`@,7ߏP|. HBκtRklP-hJq*9Qkr R@ Ǔlݨ O6jr]U|G"rZkJ^2k1EhW(׻e=_)~yHnӟvd]JݔkdtABE$(fWROL! a%?9E3`С8; /fjF8 zL|HQ1NE`^rg ;M20o> gI`* R4 6޸Q@.!$ !,< SR"& %P筌*8Rsy AQ_K"l_hQ^%5ZT[/VOFUz&D94lb7/~o0b2zV4۲zh+- l wgHe$`[uV b_IwAE`k\nѪ&evN]88TL%س^B ?' FpqV-ieHy>O5%FD)z gjQn$m *?rv B it:hKq-w ~ 7? xa#zimf0͓שnb̚Яkб~ÞĻ5uJ0>;?9qhRg:AE '8^F0Y9mpiGl"~ln+HA u h_B/{=l)1t^>wasMcqc؆eAJU~X!nX"vkl+_|,"Ϊ,>Кx[.bWC0CKjIէx_{ e 5 +Uy+" @ 4@VN[@A8 瀈!P/|JUa),c%2,M R0x-b4LlmK޵ Ğp2ΣC!'18exJQݪ#kSA>%_G_1,% m4x.Ma+=SJsŧoz+~7 !S޹ KFhć7X۶}K>NC >iišB3~ ? D놴?l\s/De?.y;k}vW/S9?{?wr7Oڮ&w)˜Efl$^Eof|r&$czŁ]xBM{x { O_z¸*FZ£%S HŽ':"86{Bȴ.KYFFүEL[#b'VEO1ͣ:Fn. |Gq,H"S`UB.7mG^ԙOo#]LyMQ;ˈ B a- w"S@:12/Rjyh'^NVX2fdB}6T@&?*Ac`Q?F^{I,Y/Af;%`4 t_Ji  ɦQ,Fe@0?Vb=FNX.w붴ҫdQ4} ޼J"A>li#x#)ÿ9S,#su4TZDRq\ArC,{qr  E!5L:A0"fV{P֧ͪ~gvos 神2d[tF4g'sč{ݟUͭ(#1{_d@O5dkFW5ZQ$ zxҭؗa_5poAQft}_|}.I@B >͕'m].TDDAٓ`z`}T7 amn,N}Y1<kO{(+ՙB~% =kZjZ9gfyh-JG!y w ު kn[}|k%˘(bHQfbe AM@v1SS%Uy KƼD׬:h@հ3kHg[O0I" }@`Rwowa>W:~{T\`5Y[ǎ}&"=ʪt{GSG+ٓ%EC- }MI{]#fQK]SdAepK&kyIM+(@pШXkOàqR ;$\|V{]+-v=Ee֝dXh'ͰdOzFzdnѕd;DOɇ}Bt1>T~jQ6vLnY މ>B9P%4@MLi|k99o֨2_NL!4>0RHëv! x'\3)lE\y}wo%=+EbbC-Ocpj@juw_>e)\+0/î*?FA6Mx_')1$V( Z':ks08\f|Cd8;$4Q0[gMY=N-j{=p,yYG}My {Bű5!omPє߸j:ωmwTEd8 ,XO 5m[Ok3:yګ.41e$j!U*OgyLeQmfv(UFtnEn)qy֕z*"P$*D",ӝGl͡XNR8 ,GzgbMn)Ph}1{vg }pyKNr2mfl%HpEB4r~;h#e[Zqb^iH |ˮRF+50%Ԥ;!?d1Qx|frpsDx[h3+E!ridc/Y슯ևLq;5Q\&p竜uPψ?kԿ0+qOX2# 4 e'GH/h%^ Oh_^p xq&#ܦc{y'R[}Q-m~KT)+zdFtK2vYKvQ~W'@'h%Ƅ҄U 曂zKd* Ed./S7Y[wSҡ:6uPH\BJS !)($  Jh{WJ? :\OH;{śH3}|; 3W'k2Oj KĤwUlڶؔMe{v+ybլI-+'VaMa/&D L6S]j'&xE#!c'K>Wv@^ L?CڨMu* &l3 )]_EJ{ |+\d+j6V;_3ۣqei^@vs}Q8Ɔio-,_itL\o[gؖclH-LǤ-%P [|eկ5j$K8;4L3Ҿe"Ƈ]}PWaKD_#pj?Y7VelY:ԃx-aTLM\E[Ȓg[F X3md=AK$ Y縘k]z[N-%.]55f'^_2~Q"q(} bL4*dM4\$G٪a=; LcnO!~0K?8Wh ;h@&GKx!NH̋5 q͎\X8:_5W}ÛאNȱvL]qj3'B{ 93z'{zR bٳHXQ0J,/' U$aˠEw˾6D.Xqdtnc^GPRk\X-f2$dhKS!LfH7>GICYCr̳R*h/n^U'FW'It%@`^5 nkaSf5P,eKͿzI´UàLGmjT|y5FYouq߆;.X7y+˹ߘ. DW?pMeބלBVϴe[? &i]t~YƸq_v?ˏҴjPьȬmMpL0,ŏ5ey0#e0 Ӹ"!ѩ"Fpikֵ7<̅ "fb3r\n0g[Ma/} 1KFo- U] ߎ÷ queѬ7Ǘ ~bN7,LdFrרW8acx|QX0ANO[5B+g$$pYE((ɖ,Kv MUi~a`ᙪ@2v`[xoD1m;cX/W@Oy3PiC hպOkiMk42*}?&hR';.'t/-]y{s[9Ɣ]h4/ OXc :;5Jm)BGG/q=d96[q &,~b؞"F`ZLĊ\S2th_oRsf-4!-kT:MzjŠP2}\FVPPpUΈ۝s[R|b3iST%c$uӀ)ϼ78 2

B ׾=c~g? qMAdVjMK9#_9 IABFMix7a㽋_3;ٜvaDP]jFvnRJH&e xhN ]"|E _-8ic!DQX⇉oM܌c56hzUY>?W& _s3D;m5ԋGƩ1ȹk@q?’V?mv\`(uvR:K &T)G|N 95p""GQ2}mpPFg݁ 6}KrX! )~c -yeU?_~vt lNYs9xd`0_Ir9[Mu!<~OM&;m*l_b^'wj^sU"KNj6w+38Z9x{""U!rW3kGFۚs9UF0]b?1N_҈40fl,3^aH49u`˾Xi΀nŏ!ɬg t ǪK>9`iQvvy/Y8pNG(ٸXݫs#][V]o3 ;ec*;tVԳCQc xP1 6bv_:MZ>AR4YL JK@4QB&'p YiR=ˮ? WшnO(r?5u72G~] e   ƑΤ>Z9wqSh[e7C Kx8c\fz^,G,T>&Y cJa9Lq< Y`gQ^w`F??,P@0݁SϰH0г=%FKT#aȒFFHX#~z)>I"1=J*k:%|WAQ6?jz`@JQ!Q H-kCD7q9r _%RἴÐPTpcJ$7:M?Dڢ.s rvIn.S)|ň)qo66pZBJLJIAK5:Жe>bY,Xp&aeE,(yqzb Qx;t>OH=\\%}SPhuQWO`ŽBC|Y69̬bVa7c8`3/dAqSK@ ϢQ` rL; !`Ca2{7>/Aa ^"Рvbr`jL?{C?B|u TMsPQ.M&6|d5~. B#c/vCe16@\&(:-AO>}*< =Yb+9Paz bI˯իj#T]rv^إMxI}2m+"+G0 |B' ˋ@RO`\ް7@m@]m8A!P6 e0sg);FQɾ*(A Z؂E]Hzl.qα~ ;'A 5=vf<.8qY Dr.yU^ڍCg LP:H{X0 1囮UX0Ź<a2)dg&|²5ǙȜgcū)_kׁIVk< tryɸ[ӅRq{xBKI5XͅM}/~Iœ8 [lD`JL9SPdr.Tah"87xKݥj*ros5vLfM"ꛫ p QH1e\e7۸"`)Igfz1Y@vC)_ 4AE}[EL%7Ƽk[qL_=L (iLTMcpti /߯!~i?oLtc~%i}{ UL&vLTCs`q| vdZ^vdy )¿WE!tZfyVaK\o\+[/3qd1AZF%II-t @-X?ASHT;B_5fMJˁ04 _0-v*םƣ)wzr#!Py8U a͈y_Z͈\q'Ju84s[dF-x*u4.xM03 SQqrdbCoԃдEd7'x#@lצE,(6qZ[$7bx7zP -{耀^q!2p} K$!PHv$.;ydb[Ug^//Irx:xx0:}1,~~ ~PJK;zNYn -QBیN'djjۦ_gxQX_?hmAyl<q!8Ol2#\ hOI4!P&d--G<S/Ãi p"GMfp׉i,to^"v 8@`'fq`GOB)iۜM- =_qti"g蛊WSI_+#y}_h3FbCRvc/2~Ƽ,wؗEa-Vv}A 烚uL?)ހOup/9#|;TdsK{1i~^ڰm/<.l͛{c Y0'@/vp32h&4j ґ.<3s:3;($(6 CwdZƩ<[xhاCS]M" {IaIXʻńd[>-5ȣm]E]A\ 2 ϡVdjI12j9{;ԁO_"n~ԐO M'wLrVx roָ(aWw eO6eݻ41d8*lN:B:QpUm/r &CNtdjfU7Qbftsr qpMqLX<}^}O#RC$MZLW ^VP=e3L2[2(yi+UɃ5Nrcn^ ''>B.Aߞ%t4Sw_뎵En^:A2 }| (P5kp+WM7O>,)$jsLi=LBk +F@4*; }Ņ$Zz)?j "rLepȣDf1,Xl3ݟl5B[09IQ˅tf @Sr>Vdf}{sƇ 9M)=BwżXG^1,:YMrbڛ1QCxOn;_rB!~p0|Vc4'Ā~`M]6gc $K(^TRY gg&@-l_w>ECs'  hKFBr8ЪEN>Q~YRUZ\9ʷTe6pR>:_k3P /$G}/jv4=Br^Hk3?c BȬZ) (j`ÛwƩOvI+ :WCzau=]- 4㕞ߌ_NFy~/2vj$ߚIݑR'9U/:0ixF H34Yhi+/lعrqp>|ဵ=hqUojDoG0`4=\vY,2x_/ aޢyKM1eߌ- TϡC^2yUH7|ԍ.IY!^,S0Ԟ̳nn uѼ.yDv^ZJp.,4@]NGx_Lh#`CU,sE "<KITt \LEªdH}ψ09w2vqTg.6/;Du @;6T`AkoL=\<E Y*,z%㏖UX?Ge;InAS,Cs3 P-I};dKakWj20%Q.A!8IFUaz=հ0 |eTke>nyBu L `ڦ_;(缾B\W^YJt-0q!]}չj#>a].\ !I[B,'Q'(Lc[>^pة3 cSpޒn07UE(O7ܴy-g:I^UVEBx{$I ӢI+& anغ~R<ߏdpbsFZqa7fmj.#ᄺj7;UbgnjC~N}Rhim1]<"#W` +SCl{2mkA>x`6od^  gX77-( kD5KtE('GSԔ :t_/{9jy/(֋.Mh-]88P`xM!x6ާ(6— RJ4 iCLsAQyI)5?g_lI%1m׃ĕ8#s=bƑI1Ͱb͇}:G;0/Yf'~Pi({@@uV$Ek)j~z\k@jc>^ l<%'G)zyZ+-* OK)t֕d \UA͐lywiԪл%9Gܓ="=Ҡ~wR8AfG~THfI*q?No66~vxB lW:)HSD ;Ʀg 3仯uk߾_ymlh#1ӾRĀ ^ڸL* 3%G vHHF4 6/l'auY$/26u@5Ȣ38f?y-$^I*o&D&aDU1RLFXFG[qaJEhcǿC}r`e y=s;߇9fO idS~me֕}LCrj2S6oR6ŗי&>k󔛜BDNB_C$ ԕ08z$_SѮ6}_rn"%R{ RrCQq9S]S&Z c&="e<LzfysaܧP 4 At 3AgPR)1|0a7jׇf ١ E=}5pϚ1M\Cyܢx.3g&T- "Qx)(Q'ovNQD|xzWIrH;avXtIK44G DĈnd Ql,EU,[LR"E<HM\FϸMG&/ӽ m Bz:݉iyi8\+Cݪ(G! e87HY7*7xbtїSZ毯.VVOê?ߐ\2Էkpl&35zq>f %zT$Xˊ#\y}c!ahchH*K!cIz64yʗoCWX"wdD15`dB¢gGۿ[l,}%W4ٌ 0[>ٛc#1c `%x)HyVշZΡ?ADiYD`%4W.2&FhC.Z,''QV"VꖪOS9iuG?sޠX|mr[Kx!jgg#?)Lei1Q,{r (3t?24_9 W6XVB&ʵHt]jj .Dan"c1^Q˱8IJZBBny]P R&Ey7rTx2 a3R/Z=O9/dfѿ4{qN@jzVQTsM9+%N f2e8T|`7tp^S' 捜 D6,~,f1G7%h\[4omc$)2R`HDt[va0Z߱*ntK[OO^lG?Mݪne.غ (iۋ0N@OI2fV%OxT<~C!+JJ =kbOKc*ʔw=9b",^b*Z&;ppwʹ OhFC('%zlU 9S1o:SƱxό(Q}AOW$&.W% OoƆl]-.ɝf,=Gilj& U. P87۩y2}-V mwS2bCN8" yZKվ᪟R/5[Mm׈'p $`*h',emxZw+ҭ©AP"W"^݊)%!&Q0BtBiO #Jp͠pH2IlFpY֯~Y-=(8y &7]/|M3BK .6'QߵMtpw7F ѻ ^[YסvO[ٜun%d'zW=,,5Axv谙/iH9[lYʃUA6s%pg}_lAgF-ک!G2B]ekt5fy#`IYq*d-SjX%ApuYZUΒN'QrM{gsR㯃~ݛEb س(șh _kG1̜q J=z/ De\ ??0E/G~OhT c" C, 2nPֳ:< %HGC&~}|Bq nv+3:Jc͍P]'l}58i9]_ iRx(yfʚq۩RCm[U%ibT$6zLl(2yCU6-\zv0׍A9g8KC.*}_VRn~R4î!EA߇IEk_@8O }UB oq`Qhנ/3a6ڝX?Q I{Gx0Ng $s#{KkLso24 ڧ XgBD*BTi9u]mCqE=ȞR[ >" I:О?:ܭTfJ o1(ar(:`ص-d٧0o CiLax9%?0xhrS3}!cz$*~H8x4֎-=ONODfܰ#N|~J1cdLa .3r7_;w5e'sߤ[ɭW`\{ˍa)zrŞ S~ jYkTiI≵O$%pibksun8T}~(eʁVܝL|Ff4wu7 l=v])7]ULR1g8T,[nEJ`Js_䝑[( B-pGxa7 2\.YS ^Rw."!/Q__av1߽@ 7Q-1qJ2nTA-En"}q 7L8KsEΙ  `lN^'^02UiYb>GzfÝ{|^͵~ӊ\}|SA%3%QSHIggvf>-q *ޮvRE5`. Up/ w9+lOs~ V|Wh]S*kި]t;yAu8ghXyEcD"(w‡5N5X j xq}E(6[&29ڪ!<<MfEbVxatƊvZҢB4)SfoVQ$dYz]O*K\KC3D Ə{jOcxgb/ |;6QA'X ћeQCG酾Cʾtsdp>SĜurQ;D䚚*- Tg ωžl \ ?".]HO8'߲Mds܋"#s6t1g1˷uڦH9 =7Tm0J)9;̟?h E2ҥd:ҫ'It9Wj@iꇲIq& ;+w˴QBN}Ԃ&d*ŝ:ʊeR}0 wcQEd#~ٔLgLY~9`E5띋}ktQ$Gvy5 '2ON̝8_XF4l*zohEgL4[v[o^-/JE T$M/9}Oo(cNo/k(c$Y&q5?%}HҫRd{ε" VLP\"-/t5b^Ԋ|2K[MC[!Ip)zz!_] ٺ3|%&Z S3&1Be Ġ|s mmf7lXdP2{tƮ5ؘXvS<ic{Ϻy{xk"Մ,y;u_LтX F{y&aLa YnL?z BPƻty#~r*i4IjBoLnjN]{%j6>³iO*ʚZsDغ$6IL&N*-+w.orzuCϝa.a*&M,:iA#bp45Z~n7j;1*9Ԧ77֕ȱP,&3 -6Ze0T+Ejk4/0 b`^G&&՜^ݢɗBVۈ*)sp8=_v`'Bo'Ђa7HmI0pyШ)R79O;is?wEL#y0^_g )nZ<Ж7|GلUֱa0c.D#U9/7*5#;&Y.k6z <!C ХVαPO& ɑ"F4|G%g;*OWc?A:Edcu8oL^1vP.Y;Z(e=ƛ2؋MJNb/^eVb.{pRY?WcwGb=&0 ;{adQwic)V,(A(r:l/Տ1O(;n/>.EgQRݮE ?1⧳N-@ѧݘ$_~]Y&י}b66p#mom:J9ĵ>U-+fW*!5<  g ^#I=|yE@@>^ o QCAD ll1̜˼ z ?7Wew<@a:{.3-b^i>ogv ]F_kǨu  A%k?l/2nZ{a)nr}̫Ng0QBgT/[b`7vH_>a_/m@ZFuv\(M쬖<=j|5ebq(ZYnKfAn8gWE#ƯL5+\'~^:c9-m{U3ۍ2ȀF/n-z~aoE朖Iyg4qJt3ӳƮKN< RF K Foc>37z p{_QcbwLXQ۞WF l neEA[ 9wV}͟r{˚6π:Br<[sh3 i6w2Z ܥ6+$צ8|AK6{S"hUpTbֳ|huVl|~mD#Y8LY$- ̑o^G$[kgj1)*%ZͿ&ʡ9P<8ѾYJAl@X4hbKU0-w*֜OβoKHft8$~3lIz~C5@{ɨxvf7z\ݲ@ǸF)TY==F|Tv7z9 a-Ů GwGhM%W@ G'%Xr!:QixfNu`Skk=r W\I 8| N 0 vQYܢvn95YKRDϴMF;,eV P oL?BGZ_ݞ4!"BU$kP..3*;曢urH %b;x冀T:&w蜝ˎ!g&SU)6W+ae$j}3eG`9Y -TpڈJ/4'omal'wr5mv,,IwTgsFyN>=kU wF30%HD&a HXL5[=Z)2E5vL-;E9/_P#k+C<cb a^TCލMAhrO=J.^-QT(6 Rˍ(FE:cTWi=篕&E6#GE T19"LS7}S X.,+ҁ('lތVK-zǜѴBD0TCRaʜjT#ĵUQ |ؚZ^> ]p`^.J`}T~kAf"3OlJR80E˕'a ر2֖zϋV3gk(k`= yo`!T RιIX-,[ɴVN` yQMuI.9gǺ5(C>귎Y5-#@VT6F[U Vwdߴ1{i &_|;:^nc+]KE3'G9]X9XG*]YB{wV_Jo0Z2(v74ZDy9]f%+ !8vt%yqۻ kCNr:g>Д* GVmp+I;sP䮼JMsT.r:\\HxP&n/ ejڝbjoTrFacJ>U ֘E+(w҉2Y,{0c:L1>U <>(' NbPcCQE$R?6y䳄q1Ufh%6m{u=ڍ K`Mza[ʏ.Ѐ'Y1XG tƓi!vC"jmn,l g<bΦv{gqҔ7sW#@b42/סYHʣ+{3b/*6R1;}9? BFn5*pyFwkxPVD(u"6]'htu$D彴V?&nPJayw74.wqtq +hmt`;EIzB6GK6!:A.Fm.RM(ԴPN]DtT.3OJܦWqYM\&f^BûaRG#foRZA\`& 9 u"GZlM0UymPR?UK\^!T@Hj4B0^!r`'(+7,t iEj6˰>9I,o۱W6=q^~݋^>%|FM eRb6ЇdqBvqSKrWE_%wSw d|۸! D~O/Iīަf2TzPXcE WD8LP7I irXv^+@ + butr`&wYw:,B/$R.yuDl;H2R'rnpRQtRJ R=}ɄdaT)"WPrjݦat&O2^fz&ALL'EߗMaD}mf2.`&[5o/ǍӦ BU?AJF,L;C\D@EC9X4:y~ucQtv2 8 U\Y]IFb Rf?2u`s'ǹvYP% HůIf_ {odNvIEV6XNSsdg--7T eܮA,h*;n7  q.s_ gYZ xx\ /S# 4HOL-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~7Xx꡽u.x05TL:ebZ Qà7m>5 9rwQ ِY>D-h8/E%o$V.~7ΚF3$04f&^)`Xam_&mEγAu>dC9Cիt Xw ʳ!,Ȑ7pm m=ko{t+eT0֜hroc\oFÌS#ǥJmQ9cn1^a AHċAxv\$ AVRZXw 2(0{>;HS Dv$r׼*n~ 5]#4;aXk1 A ,Ǥ,|<0@л9^l`tN` p~:=A%D|7Vш[5\kӺZ7ns#qVֿWĚ:gdjx~oRc-ޅi[Ȓz̖GFyNCkX٧H,e b}[>AYtj S?gBś4YQA!{9m^eؤzP CG%L@h*ZB.OHdGQk CiE<) j+VdyȀtC﮴ӖĐ[ :2'W EIh]OiR!KdȆtABKVdgɺhRTUX@,5\`ylDkd]+7<>'`5Ǽ)&`{GF yqc nem9㊙B_+ZbgD8 :Z4cG2+3kN~,yn"nTfcYo籛,IX$`NkSx*2jU%k vDR{B>1QJ/9p.Os| *B zE2Bc4qs|鐎QŰ|ezela!-E&8{xP+ Lv0P--JtzT8b00{*Ն)Oz-c~w˩)èk.l.cM;3S !@[s9.@3-eZDFbx 9|GS>syco.yCbqMTJxb0eAq̡%:?zq wOݪoX /0Բ y$ L@Yf`jμz3 N;Xz`vM@"Oy)EQ~_{%CHKJpӪk/̋Zf~Ǥ̉rA"}##ףYYzvR7ezt!ޅ47.t|w"ixXdXW/ JXzɉMvz?A"D3Eli~t"uy>,aN9}:eLz"AR&N?w<P2 U]ҿ{7Cu[K띻 OpS7ϲaT)`?M dXpA뤙.-H'K:{Zb9y2g,ֿI|jɔJC%7M/ܴ?472u2l\Z4W׏i4cI:`BELdʝ܄6S;z(l>Y|+>bc8ŇBeYe'&?QtȰL%4ޖk.?#?X;5j*GTkIf('!+9%IBS2m [m~Gb b 2ƺBbk0袬}lL0Nt5#*a˪_ADKks=?xsw}-(2FKG?%r;ctsnDQ3 _prQQge@9޸#;Y0,œҍNrIlFq2 G+22džL3'y]-PܜEW X4/;9 9ƐQ~w TR %c/8x&͝bCh L1?55BQ ./eaOYy&NRuA*Kd]&!, -%l~aYK  n Ů8Ca3Qf(H3>L"½'KL_W0õ\p[i _nJT}vҰEo(ueozDK3m&YF(^f9D̷lzt]t|Z:MR9$4~p-E`0SܘਤJOn%߉586/")T峛-p\t3,Wɩ8OFI"T.S+F2{#-9?,\6"VSvtwkgQ Q=_ rը՞^ob3-uܝ6{ o =#:3k&ˑaO_Iƹ渞CH%SגˋYl4}htäbR暦HrThވMy^^LXZp{x Yd}6<,.y>. =O0zO*2?SYAlK>{BLx]9sa&g}c>0+yGc/)1LY׸*`x´nк1rc*co*Ƅoݺg->ɴMQ84%jm{;XI{ 8כ(u'! \ҥIDˏϼ^0ZaYYp!軻 Kw۲R!4eH|9Sg%VNǗHeKC΂+Q-(j&Q Ƅk*%\Ǘ7Y\n= *p09Uim)* jw8j±=&QhCN҅{/NՆZռpcn:R*h!n V1ZiHJOjmƣGqGݪk@gPjZm"~c5)(ؿn~B=~(7 o)eT7·+|,^ ޛnȨ⦭Hҭ*J>%q0:\<'MsAgvV&"n%'@.?νΈ`+Ͼ̕s3Du;9~ £1bLWQQ:oϯ!2Aq06Rp1+Wu{{r #xݵHixB#<%,N#V_ZU ;Eis>k:i\$yR[os_|*:dcR Ŀ() "oj:_vva aA`oPͩC֮=@WA_54Q5j'ӡ촜HӦuJߔ Mw++D(Y5T&hzD)E_.(eLۤZ4nK5JsI>ktXwG #*S^>Jm22ԡhHClLKԟMW̩ boyHN-YKJ2 0VeBEtJ?EgM гG,t`8" q@Ucz(,A.ȯ2꛶$ ewhGKwrP/q`e AwQTz'xj0Fdj ~c{w'Z9,YI̪s$霨dpʾ,V#0pq@:nFېVV}$Hfv,B\Rj8.%[]ݣcO I>S|IVU<khT'kH '#]ChQ&Feڅu#k ] 6[EF\qsW7 @cvC:tq1:\@攸Vs8Joe>,UV*o&. |鏛Ltỳ^p!6:Fwң+XX5F(RuCqsL 2IY}!ٿ]eh 3>/lAadlZ4m1WFSmn,O,n43#t&_d*7ޗؔj,bagZBa$ߗ 8{,6ܐs~ 9nޜiQs,dv1G QBrk3&vv\>vq+\AxIZ+^toj&82FXaz E?zUy#fsXvPQV.s`42,UB7Wllgm,xP};$li!I=/w`VMM#S<#'VC ʙ$B܍R wOǬ"Ňw:#`1 쵤l:`Q%,+դ#>^0+m6DžR=#{Qӫ\7$T@Ei\ۅWǰ2EBib£RޣA.JHDaPv_hDԵ1~_-~kOܴp k+UqEi8 ʣ䦑I1ҁ`4/~OmFH8l 1VIpГwwXs'WHN;\uDyiwG.#qxoyC.4zxroQn}ӬGcʁdM#7B:Kl&e˛V3^C$Ab{2knf1徰QLh? !$Y(b=SS8I!я\%3W_7=.Z7i '8 9+صvl"+sF>OfihXg2S P^a ޠ^'Ax RQRv 0K _G٢JK!H9*}Ӷi֑r3  ~]&Ӌ>V*3iMyτ@*әoI EެY@ +rGjg$P'UDyLbcpv#H@vuW~u!EUt9~\s2X6â<,#5(8kgsP!h)48 LQH XvQ-x)qdp;y8ga(/#!9]? 9 r{&`f?M(^q|$ݤ Nk ҈3WWtvi(f{N)g 91;tU3,PD |L`"1e]3l']yW5MSBw'm}$?XPJIRlpqhyCy%rUi%MtćjA%۰.P.{j"u|$hO|-E4F R:]8 8xpCwNQKמ'5?؉ zm-J9N@ju'ɪ^ ~E<;qFAl ꒵iW3v%Pd*feaKwtF W?P鬉D h.@&Z&^vᄏoi1c;¨ :q@p`jxgŠ|BB?(nB(!@(k8XzKD7=tVU QD?io؃_ꑩ(&T= )նR `TEݸx1^Վ_CtD9zVlSu{zQ:4-eYo&lp{-5a;e1K*-npD긷XY 5y&LI:-u:BM'B?p~1 X|&e5vnJ1n{!$Mu:} K}R16SYzX;:̄whҠm% M-M_'.F(~攏UMmk9Kh|ʳdRA:AѬ!en|HB` GI=t,A9txVkUKqtA.dhrn&܁f vL*nV#3䜔tԡp*<5xXѹɑaQ3"0G4yQ0,O?#}L"_ ttk4(NGe2dzSԄ)^N|. 3x%+;uR,28l(#~&@0;^_P{x?´8: X'"jiǴc!CoA.I]߁ 8W) vS쓶tB3:Q=6K;a%wc8L g`V~G@ܾ>a(9]LQ۪g1 TRJ2C1$\&|5 y[/Ƒ,aotޘ>E4߃^l(VJ|kV(@~׸?'7ʖd= ҐoDAAHMz <9?ĝZȺlA.SIdϫ`mM+ە4.ʌ.ھke+ro!cF*UمћBvR}c Ex m i5/ ӢTPlG.X[_QgTnTϝrM}`b0m8;"~l15>4VtznkGgN}R!(D?˔IDh=a0}VNɁc.9:t#{a=\RI¬7[ Ne[=C'I3= GG~3e*[H`tZ .- ܹK|Mͽf] ȦAER~isV"bX+qH~9ўmɳ)LM-/[SϑX`S]O @T~ !B6'/̽,u%},hC=@?oA'K-rT%*N#KKD3Ët97iU*@8uكAuj W 0;BXMo$ ]w d *V5|;cDNOʁyf@R:p-Pt\iȼu`s( &Wq?zN rg q=c /5"i{{2GsB~Q]_5o7fTd;n)Cfg )wv- AVU{p"O{m8nLǦ!sP^gYZ ]]t/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_id236R /S' HOL-Types_To_SetsHOL-Types_To_Sets.Linear_Algebra_OnPIDE/messages7zXZִF! y(E]D?7 {?:fH\!9ņiT鞖tiݺwru7>Mh=Ia)zJ")Hڲr}j㊈I2DIwPBj"nh P8<$ۀsNnV=+F5)kK~ܛ⺡P/%7vkr~#i*oE;ybdZx&JmcB׾b>8X|r'QR7q6Bɨ$MrLQMnhf)@NEtu$K : vXhc|,$ab>g ڎbcƩ~!Q&=lCiWZЬӔ֒2նbut۵zlۚcpMlŸ%-W gR- %-n j% cx>tܗPJeXE)ܴ~j溲E,e8> HRE8h 8+OIB06 IeBZfx3 %Yu+_bօ `6 ˑ8/Qm0հSZD0FjMkh52Bgf`8;mՓRAHh9'9# z4 cK~S#T#mfώPd=Q&< ghdf'[儐;9&љq֛xOPF}գ{Xj^_HkX=+ZyD.5 0 #q_0_=6kkYV'Kȫ]Fb+u6#=3/Uc֥H,w?m xI(BR-Im[2WSV߮vjhY54beؠV.6G!lgtrԛRn rwÿM47wmWȰ/ʄo$ l~MՈJta_O?{mD0;&89.%LAb3nPڿ%Nz ()Mí:Q*-n1M?>D?Kf?7)CB. RջW&e3F (=Ka#Jbu#p.>$F: .GVw̬tkɕ_/h|vc2eu1,h tE]B? B~jÃj>jժrPmQ~ߚp|_eM|bKKvΩuSHwLJ&\=i bVۮQYGt_F7:оVlH[io{xn 奙YUhGhK(D^4D֔\%A@?eETj}voMpM#}fʮQқƶ%"tjl G={yJpbduMKJ*Nʔ6:j# HQ/kRIIt;uIy2ۚGj߂gW["q&?OAz$$gUwN*훋/>fP[l4(U%;斲gW]d5Ez>,3 ދA:}>SFB[/M7cxgS\#3%;G.TEs+Iad{ [&%xu-om Zu ^0S4ڢ > }>&1@q 6(< }=6!%ވ͒&'fA/X94~I7>}sًkՓ%g E&zp:^H!s\m93ʏ4gcjӴs)Y${2Fcz F2dxQ%棥i`_?4OۨuY IGPWzv~D:DoEwSHC9 hk\| EW/":S*]li([ҿ{<1Xzqi9gpođ!uktC9_c4s҈(mKh%n-h\Z&Po3̛Lᆴ,OnTbKrǸ/[pr!E8ֳ7<C"x}W$ B*b 9hyC[.HoHEo*o+26#'җ'ѳ~P)^57O{%?%f5>*̓d 41a c[wq4酾83xmp?O]C)+3oY\ HaI~PclKKU::E8'L!6J~#;woQd YSebCIr  |GX-yBO[tڼԈSսMۈzԳ!Y6*xW;cv1N[9|T 3 rhhb?f7|!í+Zb hyo]tVy8UDTl'@ڱ<6 M#&O)*)`X;PpCs@'Kߟ?N޴Nbwviw*=_Q `x_Pmw-&bE\0l I/V⬴O6~l\-B7Qُᚪ GDv!O@GtזDZO!{N#+K%W3Fk$P/{8wʕIRñXT5 a q/0qn4;{=Wq07Kakp 4Eh:S'fPFV0A4؉W#U)f`;C+kŗVTT9o @bq}!oN{wO?N8 7nuO]k'g>ҷK޺f(iWΗcjhk3w}>6gs;Q#q٥-]Rt}%e ͟F$?4Ë;Q b֜keafg.}BfF&n(NPǻ̑"8L| ɽf>}CJ)b:rXSO9yAlH +ޫ `9DA61kKc"3մR9hQ\U?#NHw\d"ƙļUqa7:g *(/&@tG@TffE_챳>x|M'|`=Uŝt[Pxa D2Z@k.Wmi]q"0ͤ _.MAbkoۂ辞%16a~Szتɼ#yF<) Xlsn'Bh6 j #VM܀s8ORyu!h@@uͥx/$?k@ X h {CϦMV7UPFyLuڍŃ1i6OO0ݪ7S7P;3E4{4 Kv.tR}#s5r1-8Ë&ڬmDTjc7$Z.RHVpTA@%/Vbď6ߑWk(u=3b%t+j+ wSE붾Yxt&ƝP?g; ӟ4MR2ij:Vw@SPgaGq2 af|YoPAٻJ:]x;Dn&DzAM|Wm_Z3Ƞ ZI7.||/~60H;Gy+ObҫI,?9:JuD.uQɲd{l,mX)'л>4|nYr&S5s = 3@2%:h>[d+I:EU q/ukM[n‹cXI EV KSoX[~,ԙnIVM={vI}@0'Cni;<. b rl-j5E0Y (jHѪ&?pWΆ隱qu<*- < V[LL_c_.zav@ !*J`4 4RژcI =nj cQqi-rDᯡ l5]zj(CgX]${ !0cʖ7^Ez}@O/p-W~z#YfhTNb#z;zwV&M\hĞ6jixL ?(^Uun;=TEwW0=z_rw)68:r l}iF&Tf;ҩStxY+L%|]jά6nQحUQh輄(p7UF5χ68e}};&PAr=יҢ -Imteܪ;Bx )؏M2wOU[ZMj?_3|uf*,UFc=+3صg~T%>aV~ bw[_#X(fby] C&fHM :XɃL,kDZS"ca,{_˝̎׳snωFŴ%̨rBX W,5@/4qӬAУnKiK/v+⃚J \ﳾ5#[$y/S $FQ3@=@i3B^|(N)Xe|yD&XAqEANz"G+dl)AN@i?J[SQó>eH Q82ןOz%n;pIW':W:{ᅩ @X0QB𣟗yUENM5jOMO)7!+$].+iK7H-$s tM6'O|Gz`T Kν :cnUJÖVw#9 D&׭ *G85;KLѸ*~x? !&fWPJ:|H,|fź u\{)P=v24E^d@xa8R:85m'1kLg5"P>X-J4 ^B3An?YYߺ7SbMDOtjS*WSSQ'DTPi>غ>!ćE3JeɼMtp& O7^j4/BlpH8:mQ 2ǡc@:Nߴ̿L9sנE׉1D.\v@yݶA)MWQ/iƪ;Mk0:)%5UyNGn y,;bey%<O+ ǻ25 CSӜ#u{;[p4`аNE)=ΧLPNN 4FXͱi{< ,e)p SKe?Zdʜ2\eG|AVbNyF"KcfB_69a ;b# >J&j⍱)7l+Ä7Rwp8'3E DR\r)>ynI⣿`z6(Ko9"F9PYuS3,v.:vl -؄ҽz|A5TësYպHy7D*t^ |IInkdP/s`8vJtE$}n[AW g\w9xMP/I|:ư` RG-K"_ HsR=C_A{D:( F%Bk$ݭR?">%ŝE$ֈayC9sjx⴬;u5 ;7x/I~!A6ao E) cTc%okȺH$#1Anj;0ZB^'[h-@k*1G}!oDqŋy௎J'CḢC9M/Յ4P$Kpm7)ãu(իFQEʀ @t\zO ymQMr̼(#}tAz1E.: hiUj9c'cF{_Sj/*8_߂7iK|$mA7Y:?vӐ%BZeS Ϊ%iZݥlSJRm:)&l3\랦%3C}*"FlrL&H ꖮa6B}Lb .AcVWgjm{C-$P?A-/s .VKS*m}_di9$8aͬ5lP}e R+C,1U`2+\ &Y=d!ujT+G=p$/B]c牲h,Vg2xu >/1'eFVHBE/a*A7MBAWm!I%DK5* \P_CXN-SL~+EnH!<7@s7_-/3XnSz|/l̉*iϳv j,rpr^Hرm[[BJK ; I$gjzdQA ~g Gwkx?8_\Td-6g hoԋc’3yZ:voz7m< %3y_z58ij('M~ Db/4:uNIox1Ki|A3Ȋip>3bPhS-yÇ9eJN]=x"E.[6T}UjhL!"l_ ]u<ui8i3I0s-[&pe?\NG-xn1ce#IfP%([3ͺ|N@Ă:BMP#-g#=ЌIa@2^ M| zGG"?*ݸuG:\5/6vK=]?Nzpz핦mdQ;md-B{xxܤy蟩׮Տ :7'i`ETVɆ+: 0j%50*o~.+l0wTR4Mi`HxG"CCzC1˻0>X^h'UWQSu>Lj@k"_3W=ф\ #]ԘHwzdz fl|A+z0̅^V5\:?{Lā7)UI-4{kM26|.jM*ڛa VX}E^ Q/S;ۆ%= ~ޭ`*CCN֠́ps b_eQG] tlw_$9w⮏;ϝ~)"cԌWG{BS؄ Y62VX[Єckarc5fΏ:ܑgGꕦ3c_}1- !-)~~f]h8]L80qyl(Ut݇|@ȴd ֌)"^W*Ib9=ُ#: B65# Y=/q7O-&gUhFނ:OF<BiHQУ[ޱQh?i]80 ,H&]06x5<,UP<)ŞHk@G/IŢ,U&i ϸ G̍vˑޤZA6(ryP(C}i4wPH s$%E˿-oq[ WQ"}ƸעbXzooQJ}߀Zyki*K[,tTbWP36T"3s9$[!ƛt'=jE\ޮ\?9u^Z(FnT\{$P=#}gUW2Jϔ;_7f~V٢#`>ײڋ`L6mTyØM!&ծ5Cw3O ^\ώISAẎ*-SpY bt8MZLw?`]rMX^g`N!aLix:Cn #3jFҰ@vTob/b;x!~ىFЈbfz'IVCx$h qۖIh>r #eyg N,+45x0^YbMXL w{B0~61&nKg²pAޔ2v7F d.#P(PЦ~12Tp(^fHP˛1dUH٪f1/:4Bqb$[шZW619ʤyIgCD{L<~TÑ2PGR: `0 ,T9$?(ſ쭀P*>,9PG*{kzEb7oziu?R<E6MSҞ5:`e1rξl+.6`}|d10&pӈf4!l `lP󆧁SL2OtDwY.No,âpBaK-۾*p4W_mAGILaY6&.03#Q)A7Y%}e7ZQ-Q8+So\$[L7F'3L+͇i[6Ώ7[c6Bm &/R(]4F=5]Bٔ3ݎ^é XۋE: Yb8S,:*@cZl"غlN/?#J̷X Z+6w\5 B6z{!+ddo7 Hԯ(x,cseYyz7K2_NWx)'VZ+ :2=5an'/Ǎkp G̡\b˳j-ޫ(,>d'`D K T6RU?$DV{ *a8@Jݳ?XlAb7 1p{L`0܍pt;otO9nw^>c_1)ȹ'lӅ:ak#/䪣5b7LްE̻*l"x$͇NяVmV(dQO$k$.xC; O뽐VF_"Ro0O'J g}ϑRZacjjV7޳9&Jai 5^P6k<"VܷdIv=L[fB&F#,mv2j7,G4q(Y+Z6,?ccS`oM&-E kO{k{J#ÿ7ib`;/;Rq2}ʵ[iDHd)8)q&% !@@ <+Foh'$2E6"`*BTn yc0Zsd^u\e^r [P 1Y T# ӴL"[+H8g4+cnN*'>B]̧i daKg(ȲOuN='5yqR_\Vs^ L3 hl?v|Zz l21M_}յ7 ?)3/t2S(iðz[NrLN!z 7Gළ%^4 udRVJʠ][qJYx.D6aM.@>fD:\. BVXԇ@1uZ:,tvB͍4SPA?o2lR${]{CIw[eU>YqVHgm8T;޷zgnN/SG:8t1bXPz#EKNdFc{N꼉|앓B!`Tea\>dhi)IJ+RA47y`_ EH#}c zH:'mBJh]&t\.pS{Wn&͗J#l,>Wxb}V^#014,4W%Ͻ zR.bts=__)I{h#Ğ9Xty4fwqKwHS~<`Bx=<۬cRyd%8}h9ÇL 3 s}ͩ9]$qn>e+ n?Ozx}|HC1I ]5u^ZLxUxR>$_J.^FhU͕x5S+ oR}" xkP(s!"S*,kFAMNer!L}K|$BG&#6W ]L^8̦61UG'$2#]WCNT΢N dF"jwZ>K %8[:J'4n 9/_Kh#2hW0y>G˖pUS Am}ݪ%q~ ^+2 7!"C(4K,\d*:цTxE4B#0!? ќVwnbpV]fZ 8+\n 0s]&~u^mn4P"p_u «Yعs5Nh8_q^<_KyQ FYw>8p$~K[y ';T[0jswHH#Sk3a[ɠ$C^Wu6;S/@ ؍"C0bf גّZ%i85>З.'Lszo4y#|bhF*a3"Dv\H|}?ߡ|'tz $@=KQLm-zj8I,؀jmr!m9E&02YCԗ7؉dP]gw>Oj1 )PqxXھe];4 8Lqw]&b)!%sxIyu1"0ؔluyEs@ת $@($سb*od',g! _vzfe<8=Q&sj @4w"?$!QhZʧ;ˡ:I w6:ܧpFvBFeiglĪ` Ee-[/jө.>%A;3qaHы voFr e[!fF6qWyVɛ m!m7LG>B:eh-b1E:FNj V*Gkd}|eň>CљKh(kˈd`x2dcA虡O#??*\BMEi|Dk`09qΚU?p Í@K4WBcS  9./Chv9$2'Y ?;<6Mǽ 7NoYj~o7CQ):#Zpq1u: &-.&|7rǺaƿEpŪtIꔂrJfgHX'ӇIW8V]=59gYZ L /K# HOL-Types_To_SetsHOL-Types_To_Sets.Group_On_WithPIDE/markup7zXZִF! hCOF] !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ߘ[ؗ"H$;,~iV'\˘a )0@K18Oj/jE[7|8GE`M$B+nU`G[^y`wY!8bt*/9^6حκ;:n-K"{`_y*R/sNPFT.xB{h]  `FJ}iO^KZwGh@|PGr5֓Âgcj0 l֎$ idԾX8t/9lGiҒ$Qva>aw|L lPZgtJ8/.k&UZam-K~eN9VCYn~RKBp}3GjټWah苢m@Yj MG춅3$(iUY3 a>|N@f7#qʾNs>e;[꧹3۾{6U(@"{9['ණPutB^ٗE,4#!oZfwNMδ'ReA:CY50+bJ5'7]Q24j,6>ua^*6q'F8~A*P 1פU^}Q=wGm1mMUt4!,V$nǁiXƳZkJ1," ڢUPVMK{"]:zs"1wS7qUlv !^s@9x3 )X8!sv=KOE[ Rف-$I\Oh<άш|saL*sT5H`~kbe{2o3P-Ṙ+޴4%e%t?rP5q)/ѩ1LrS1]di [ .<qBW&2!CQ[ L#{Nє$]7  z=$«ØJ˔O]KL0/1+ Dkೇ;6{"e OqFTAA>s|NɻHw #x楐Lj]zTF EA.z#9>Ggz9d }Gyhhء]eLM1qZ![O|qp4Γ4kc6%@ZE2 ˞i~b䝵}3[C@Ւ{'m\tZks{G6]$]N5 +&,-΀5!ꅻ`{7qEAFn/WuGh- Nu|}k ఉ0JN@~)( K69؋mͲ҂4TN<s 쯡ˍW§/W4aj-`r5r5+7ow8Yr#",+Q GL/xogx|$\OUBN5C-*-_MEq9Rqoʮ ~ )O|M=b|߳Fՠ7p8lצhN>!&OA4(!FN}2 {oUH2(&WLj5cRu[尵9ZnDRyÏ g:1 ?i6op;4X9$ukW<5zy일#>I)-|6]`}cʳ4'@x𸞞{x!cޙ@ 5viqf 1VaN^OUbnH=8WN4%3Zrc~xNzna^ۺ!E٩+xqgܕU5##禤քOJ9A/n-|`\AdqHF2eR{e~5AsG%I.O)rp>6H2a'Ⲇw6V(g_ɚ/h caf筞̆܁\|8*PED`KYh]gP@_[@ `g&Or a Dn[z ,ZȨd2:kCRQ/m9^NBUQS|?iOH#*G_GMCt cW"!_;c{\ $128%Tva "zߺf"0UG-XPP^/Vwej,Įd2Wݜ!+ORiOr!9?!,82Q}M2- _ (|d~O Vͅ\<&^^X$꼊B?&"5S,|na>ۋyOsfmdK slk\lCqߨxA';E`!T ߙX i"Y}q#W(&2KiR5B{ C}LY^K47na3XߜH}@ ] W x|6I}c!hE _R\\" h4G3b})Ѝ8ŷ|y]tʗ d:%τ P;9xf%c-ɡX 4YPt+ی}芞sҹVl~gh $*1h|g89 EhEuhži(CG/m)bhhE˗MBCmkEQ\ѬRA('O*ÁEG#r07D+I@2ߴ xH%RC]@k:BYDb}[ p›0{bǮ2Lw1slfǶ]q{ywb6F\I50Wla(㚔ss3?]}F 6HȈ7)Tѐ UCt_/Egjg,II1ϱ l9>g翌D@x| ohP^?Е6G9ttEX΀t Ƕdf1BDFA>{(IE{2SUM6ڒt9<3#b !gs[4ɭ{A3V2Hlm#`ڛyGsh~v^;!Z![hLꔗN;=~Y\k)o:/e9^Ȱ9Qfǵ *WGqJJA$)jqT:0jC2WI{E+ 8龁 mQ_0*FQF=@j&&y6 .Gbu! .7jhpwx-h "M爴Χ3ٽ'`̳ilNbi׏ _ڂYOt/NURr7O‰ cu3/-ݝu&8kU #](8qe"' ޟ.|A#XV0ߞQ]餾W0t;43r=St`p!Rb2šS5YNM1HL5O.h^W8Sx/fSmvwa_RQ=b?S*Q!Z4ĿB+ p'uZ{4m {|SnioEYh>7h,^Htm9#h8(FѫXꭇD58Ǻ HN$g *2@6Vk8ՠ1~Xn>~\|,U2Ep"KrP"XK݄@zL:1Hd!VT5hFshHNQٙ{>}?kSouF+B,=YQ'Lpv Ы/fS=T  N,wU6q@m)8[|Hw@%`R~'TM;2׍I2qJOzx$/c AiM-g)֊&_]XcKa??ef[Px㱖$I2 63JʝɲItsi":o6N.;f?]'8"HlIq/:oJ.Wd>Ṗ^Լa6L1-1 Uag*ĺ22ldhq$#@R;Ex}Oarż(Kx%D41:eXViɰiSd3Iu2;6ޒ^PZ]\/Θɷs'v2Q=&/S Ug! .&{ (ffoսQQ\S?Q"1sHT"Xh}v^ejT~`nK{%`AFb@g ϝ\ך٨` qE7gJ@'\G7lHcpcFwE BM pWee iՖ#5vVa-Ij-?TPSf5QgP"N)|c;x[ME,aƳ T<uJXg6Ixjy K:7y6$X=/@2ӎfCQ6kf>Y<(tBI20.sp#2Ru2'H3#3'E,GK孙Q{3ŝ1m˼IUÅ bJxC+YRK|t[eu<WȘ_w{ZUЪ㼸RUӡӤ\3Z7Gɩ B =jW.QʾeHYԝ57(金|#WS0!ɘ tv0|ePP Jp^aoc9@Qe!bz0Ӄvٚ_\} u̜fhF~Ns 31'Bh_[Y S5 UE$nv60y?pS+Yzd3Dh 92zٝ_. \[C!,v_i;txwC֦gns&GD8gҧ֡iG4I2FͪITa B^1 U.yuh=n PDl ?4l@fʕ_ %QQϑ`C=ٞ$3IV[}&n *778G0 L: xKYaI,UND{0j2H׼Y[<ys"#uoFX6f+/V|J|^Ң+u9RL+)m.)9GUSX3f dϒMLW e\NKGz%a=Q<ߜ+iKc@}>򼢧Ȯ NIJW|˕2 sNŦ2EyRwvrVCsbu%XTÂh>vF^Jt_^sekS-Ɂ;c : #Tzys,n5%zq>j0荝(zk2ǫ /T'Cݿw USE݋+\FWjTmѺPC;7₷z5HtR:FWB>~H`U5 XJMiٶ9$ Ixr_B ?h!(T*)\sJiYYyEs[{K(4~<'ƫ!Vf5f8Md2p夎ՒC#ԟ6}\!N.K9,XCCOXDM5=N4#vRb0uӚ# = 3֚COM\װ Tt*fŁda]>dv RoI$ y,u%a^i;^JCZ\z0=b][*u~L1;j=sr SC:I3а!{:giX-Eaqkl"+JH$wrӣS"2ʢˬLGJ]%[taFE0"w >r^2`5%]St Y`JhBzuz}; -ztpۭ˂ÒHfk@C\xJcʛ62ǚ|CPOZ75>Kllv5A}2(1ɆϠAC[,I_R@g,ɭRde{֤).֫M`Le?]ʲDef jUm YMs\ A8/f0z%6v'P*\`NiUDIS۳"[gM-6XʺD&%,οϞll#~-#誋ArH7AgI[g=[M07ŊRT_S303.<2/uMoVoN1˿&US%a@ KfG# ;:I, ѐSuab1ߌS!T\u,TR/y{Vtgz Ʉ-N3hxȧF_v_Z`VѮ-+kyF > h0$ -`wnaBDVSF̭QmG5/*9b2 .Of߻ 5]aO=7&+d3;(U 'C vv02jLg/-T*`=0 t!v["ؤq$g:Vp|N4V>9z,šMV$00gJ87cs>`KSDi ;˻-]XܪQXZcfaawΰl> r c t)@V}_tY&9NJ<[J?AE~Hs7'zZS#@הPXjK75/ka"viZvV,v[n]ޓyO2lnR-tYXiH24 zGi {M23V*"ZQosQbBBZJ;Դ5kVÑF^d5lNK;q ʊ{N]2sL١mu:p9v"0V$bO:;DR;Oe3Xsw}J,>KVA#vM%#j' ]Ǵv9kFK}Ǫ*wN0$wb7)BcqU k<[AEplK*m=MltM#~)4/BuOĮ\(UM6m'p[_`+jaZևvB(tٲ|6^6~wO10:OrVM95n^%{=}uh? @+4> R5lpxJP3)cQd U? :aoΒC;QԯޛMj$ax 6*,'pHq5O|es7Ao7Y!6^dSxc ϗt~5'=Wڹŧ{ +,%X$'&KPk|CZrթkҐ <1#<,2TLDf~fs}x Ѧl2 ^ REdo}$gt'#KxXlku)W ) DRpҞWt,sѾ'$T^NTuN lB:ݦN$z=VQ#}& d6cc rH_Ӵ+1ˍlTg^M(#)zV^mt9`Dag1- V+|q<Ůe6M҇[(F؝R*9mü\.!$"T}|X/ޛ'YDn ^9E?MlNdFB,ѿ`yCil#߼%2+|^&-f{=Epڔm=D`3k1@.ݟkT^Ja>B>6H}}NW{T:B3Un$p 4Txa+A=(Uw!JK@Λsa#&+cCŕ/&A>٬ zlzOXf1o ^Rasac9@bdךIVp"jqHnMӣwic|5==YkFS}b\ΧhKqoZ>e GQ3?<{ Kn7ueZc(Qһ:~1]N;Fh|,v G?L5P\HOvYh4ږ†3] ͞ye2t z7*Vl;! ]BL0k{}-~:dlwp!K@ n+P6jpL1BU{8(AvMOW+g>>vDvCXW:&iBM1 V1(Ҁ{bA'Ysб<6*?$m DB1nwۓsWR51vK*mi, $4䯮NH]y.Xa2)+RV:$Ǘ1! ZD5Vu[APK'[hև0x=9mF[NA Cf?c$Kz|1Ɉ+)rل_Yv5(3 r}ښ-" rVqgR6LuZ )Ah*fV:CX<=_w Г@=i1%,lWljsʣHX Gz] 0|.iИV{kt49n+2{#)Mm FHMk1iYB偤p,K<T I˓T4~NEv+ hTڻN|(ļ$PAپ#t@3cΜc\{S%1W)Mh5/@|{erbKZm3}{sU«:FFEmMaOk> _ IpObK-{-U$l@X1?IsQS>͒8'om0Qe}oMp(@iOnkRci 451%F#Lԅ i?x_eq;qۆ/w}TGq W~3oY'egUUQ7q4w#>OYyo Dmk=dLK>H,1؊TRXU$u$O &-GTx\nE 2;#R4))Ǝ(] +W!Boh,q $ƇvjjJ& a\r@ +MèDoI{ '3<"/zu1N s'-k#!C|Y0ExEIF a!80X/o"4v_e~<1M)nʲ,7J{K#\R^=K}n֯Ƚ]WL<ٻkMtCWrUߥ3( !ߡ ԫO{+/j>ԏёϝXn~(Y<\h`u=:(Gt#?8he'_ ~2ղI؋ZS9E[GG} E\"KĈ Ә.-µUǘ7$ qG `U]4;hQˆkzaUi7{X~>-:ڋZ*/OuZ :1b~̔ϸ!b:ȹD$aEY*+,{1Ao,UD$$q8G܁S0hn5\nl;qP̊펤h3Slmj* $Y_?w!1rǐ8\L8qHƩj^jrud;mV!+hSwѝ F)(iԑ:P Yu/~`-i)s,@V[>Yhه洜8?2 #wbWN7?( Z/V6ݵ@N<T!%k;h^a^ 0DR/4ɌKnjTT>cq7ZI ^`Y T @#"DuiEJDAa>j,Х?+;WsUXGJincGf\8@n(w6^oc)"(Nw؉o- rۣ[o,}FV?|vkF]hȂ ʆ:ѿ?v|] J@@Rcʖo@i]7hj} |φEm[taXiQTE-w{I^% S}e>![pgcN8'%t7jmw::P2YB-,Ga? ~atIQ" 56Rà mjt 芚fı2V~ \2PuFY|2 wvWZcBAʔn##9_Y݋x/>(ǔReajR<TЗ="Sb5Q"2@ŠSspF] D XmC"wmRewJ ۑHlk-ēM;AzðZ (;G ~q١S*\I4 M3;lGBz[89]Vp#193]Plp26tKG<ySbh<hWٿRy APZ-W"կ^Ϯ^)r.*"g8[w' ޓIЛ*M怪`8sl)7UXwIҀ4gWw Fd]fV84%E|KK(.XbzY "LpY"gĹ+;QHmK:>6ZJk" XOTL%G |/$i@$~2q$/Z E2F^L~lxhS @j5r^ ]+S0}w^ĉC=n^J‘>o]^RށN],7./C . Sd875Ӧ/,Zv_TP96jy`O5.UtLKlA4J%|6 .?UK,m)xt‘Ѱ1+K6`#gM]1 j CꙸM -7z%7@U1`uC3TR&:ߥTyߐƏ0@l!孹d3Pzy cc88vªc[uҙNpq1-fZ6סu$yB;yVs)huqOWZ%Mkl{C*c4kZ)Y .S _5eM+Miot0umTiȘhl wu FCϠBerA5W~>c'fv=k;;ā< a%+vueVa_zgJ܆ yv8%E^F8`OmDY@|Q{,"#x^U[Vco |qWi KS^+b 5^_rfGڒF0vk@.O5\erJ x }p0>;H=-fo_ؑ9^ta$KXQ"Xl}&]3GЊ,Xd:\@f(mA\DyPf78G$Ir=xr2_AbNd)7j/wĐ,O״1aQ%2xk KВ',&8XqFMD224vGy0S!pς &4M GVhׂJ;_{c➓C!Bu,~.73d'^slV^iS/`qm}SjArviyMxFB\<3̽\ wRVQx[ƍ;749nN͗Tt*]EWa ٌLvgK㊄5N3w))vf2od;%ɜWh"F|Oq1 E)WpJK_(|;_ }N&f >S2/[f,6x:ļ yۋSMH>BuJ $"c^Zk|y"⍔mYGWb5Tkr]JZ]N{pQyXr0ZIFODU->a}yK}ےBeKܣ/y/Ma\8vΒ%/šD`F*\^qlڬu(2 764ɉT8Ր;"QjH1dN&}gr`C+l&U?[6Yz B5C|M-r^|OwA1 Y|-̧:5δ-+ey#būU&OO t>)Rh|cC tSt呮vMg~]ꠐ^QnΝ (anxjI}\2,,3ĥ t͚]iH" A2ܻξHM59єO{>¤x(ڒQ^5WE* Gxw-@YQp6/>EmnK C* 惓`N ypd5}&PTn[炱 C؛GB`{2ҵ[g>"-]ΑiCf)f2 `.9RR ދ7cLhqU x.ѹ4~Wtoѥd[Kpߚx'Jskk#Uޯ(8=|g1M ~HW<G~N%:5)~\K{qZi!NOl_bX.4Iej,1_:#jS^sOەva=loRʽ˟͎fNv&1ֱ(2#ɇ+Oi0tu Y1ߎ\x\GԞ~qZ\$lc1gD&x8%{+[.*+hxBHǚdPnaHeaLl^tm]'Z E()(2Fk$?ZKx7MUf: fΉ0?i!D_Œ]_bڭV`eFnڲ@'[^"GJ}H6ptgp(!"`Ty\ZZ<_2w&6F79K0jR5Ed*Rk~+R ՌmS5Ьz-3s(lEFgU9|#N.p v 졙,O j@-N䬮 юR5" mPK6ۋ^z  >P YP6R]CmMYJ~o+~%@(#g4ǝ[{IGXCѹPYyX6)׋C^TE Vhk"{ϜEX^'^Ocxщх noZK% WPclGUW dOd\3#9n4CcӇy,YSŌH Xl(DCOhG+[WKk $s0d\u;8qyY\kA$({EiF%x(Zp~=NA.,_=WX-i{0򵚤iV&p-Vĝ %1Sަ+ J)}F&^{ɕ/LNbCgEngI{2`T{/]cGg24<̟">rWȮ)h⬥Wu=+ Ѵ/|6ZE;׋f{?'?Wp`ujv 2 1{HBx8tq9F*yo}Eno Gvj"ە,FdYt:Q388; nT2G8>zy)IѴ)5u kU\yk{ٜs;RM$*0epQ2]x@? qveE]IhRbG{]/c:ͩ?x`,HnKj3>,VPN*zjߐ4#LlԸbuJ#?J~幦3RxsMm7N,:VFmɓCr坚>AGn(AkJ[iK?k(p3y3 `4/SF*aZ&!nc6"qigB2R%nmXvSU*aw8KnD `1MŠr[ ̤x1d>c2$[yЪvW8k+w!J>搥lk_ L*HX"Mjq9il)R7~A˨(F"Z+l7YQR6!@[87~X!t C#թo SD76%IU7m{)4;9`! Y2[W]D?7 {?:fH\S j ^?GZ2g ZSiHX_϶lHDG|J ;fZLY An7.e94-rP;,?ɴ]#= 2]eGT(HS1Ô>zȊͧjzz2=O <]^NS7Ấ Ibe7"pr}oA|1vOq)FD^ ?c_J仃^݄9شpsAjn7<1rőkfӂ:~'Qqpgf}Zr7%-P w " 0MEtӽ4GCFwd-|{G(K~Sh[F }'1$zJ?ʏ|x٥_i!/ ʾQ8RZ&0xgOh*d_CEы+Pxv;ܛ2Pk\,#$7E+?vcDfɐ.؅cCZvY ю3k|*t"I %߱sF%9sgYZ/K# HOL-Types_To_SetsHOL-Types_To_Sets.PrerequisitesPIDE/markup7zXZִF! v{] !M젗OFK?1`$Rz$/ѣtj7.$$-o}HʀbXi`{Lg& t;h+Bn }~6ĨGicO{ٶBJ$J/ѱlhu[}b&#r@sC" ^ɦqf~+xPB&i< eq-zǑ5 ⡖p6t,Y< -jMQ̻v!W#=bqR]ط!C/ie6Rw·uRPǫ7߅q 1SMZL?pAYEV\FF՟a:8x}r}FV x*>x>W :!*+u2 ^E ai}`t9-z&lNGMu܍gN22-UC,0^)o *zi#:{lTdfY72[/ŌgP9D5Lv\AyNYz`DT| uG`>Cլ 5R *:VFA 7R>cj:z^p#j ;De2 9 7C1Ei/xM5ɱFtR_!d1߾;`7ZhX0lp3FwEw,W+2w-[\dpQ#;ty̱Kt %ȓ (^ԼUT@dQ=쀖L$Ypjm\ D41?{U]j2bŪǴ(=j6dj*LoH8&[9ϐ,֒}9Fhg/j. Õw$n6) .]>.L5*UV Ձqr d˯%^Bx׎=2jCznm+od|SEͶ^𑱛 |D^&@)eWz!1zLgZ=f f8%iHȎYsA :|GO&jMkeUaSc,tޱ#`sQ-'Y\si\"Dj]%kq>k"ĠvQS{c d;|Ic$ޠ*B#~eT$(uVta\]|zS}buwg7DTLÌvR]R#pGʏ F< Wyqz;5M1-h={g3"B}ղ$feONQq\ vZA X~?! FQT/F ,v>jh۴~t( Ě [s*1A6eak83Ig)/3/zb;1E4"R3SKu_sId*"k_Dyq1MM}8Z'R}5b&(j74cۗRͥFu L|,C 2XtTSdO˂Gu`%4<[&$RvF&\Epx⧏SXb-w14~Z>}TCA=#Z=duH%cӁR _*Dk0s#fw#dAe]*4x@%IbiR%AFߦeAʹ'$d?`!iOm 5)ENG3jG8  |*O E(k~<.  !/]!HOL-Types_To_SetsHOL-Types_To_Sets.Linear_Algebra_On_WithPIDE/files~~/src/HOL/Types_To_Sets/Examples/Linear_Algebra_On_With.thyS /]-HOL-Types_To_SetsHOL-Types_To_Sets.Linear_Algebra_On_WithPIDE/document_id242$/M# LHOL-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‰93<*Wqjjɻ9eb~MPM&@4"hm Hg/4neoPWRt`{ݯ!u5Yll+y^I+VvtgtSinB2 `au[<GT/d;\3S?nr_,u'!TxьzJW.F׏kN?,Sz#)Y&U `,_0.o~Y5ڨI)}ȂXOw9P>3hyօˀrGH=x5zcFIS%:\nHTANcEԤQBu#\/ڭ !P ҧt^D^W}J'xw>6r<hf j&0B#`mV]{hNuk'/r5Q4q:!=0}7fK02Gu8(0/]ZopEfaB5"2g:9a{Mpb%Xaje8E |~!gYZ22ls$ݛ?އMX$$HF6$^⭔n]eDs7Z\2@)MrֹMh]%CHh҅ ݒr\Nrwoqo|4&AY=XJW~r>/L9$ mQ`zr_}h $&w5Ue+@3=yZ]3ZiHo+>Lr"#r8 EьrنuT2dw2B "9atQ}qGЌGx:c`"oW'ǁEFOʾ#d@ug{7b{mq~{g]EdF64o83FO<xd%^ErsuÕ.4$4hǮ &Q #Ŭ>׵jU GD> UywF+"f =EoUY%0NkU$b ׉6o@"t$!o1;,UWߛ>hl\W#5gfAm}fbWaWR$|w~p^o*#h4l=L&0Kب&o/*)>wҸ-o/Фg%M^ BmC9h`Rhh(y]Fd (+uŋ"bb"}HX:'.EUDm^I -xq"fzgGyKþŰ6Ś|:Jැ9aPDs,~ -{H zӼizSk0Ϡ2(TƟ9g\-L)-7Ck,"`D@W,Z7  Y5RV3[G='ܵ M˽i5"V_ڈ%89Ԫkx/s)59\n/PSxԣE ' S[G)\MJӴ K+0/,Ի [d2t/<_Rh[J [l/WRj jYJe6NC=rȱoIJ4,7c,JBe&Q5@@tx9rc4K7}#_ q.+ nI|`f43nGV2"Q ݹO%Ϝbc|eډƼr]Ttѝ&Y݇xTJڪ\[k)'ſO4%Sr"d}VI~wBu[}iCzs9kDkA^|h4ޮ~YxhǍ9V\hp~NmP {9,]v4uOwKdY]N jʏYbB̤1ir^'FZ?=`˞6Y' jŕ 2(Nvr`~B \`[4Q|OThZ1 O、A;JѫN s{_ u(drܧ6UwrAԫӵٺ9 Q >b>jb5^gXQ6d";q)1}o ƺj>wj)=,G}ƙE /l{bsN&<p8#:.4UD~vhЩnquK0qg+0ˉm[7euOT➨<5H[t^(:PX+7*OMkNҨCB!tCDt)JA_PpXqVK𑿨CGg27gu|ON+^.-"/-*F5Gw  y@-&\aI@F' ĂѪ lxƜGmZh?634kxw. M)A)U1Ѽ= Lv5zPڎNLy׿5z_M#\r&y7-unx@G&X[M 0-(e*-m~'g?O :O;0.uщ@CDo +tzO)S~mnbsSh8)Q'92RDXLvBMy#hvrD1Is<f^v;eUHǃCuA]6xߕ2# 3ꯝכ-}si8{ ׽h0( QޖMK+k"n:C Hj =9f{ٷތxBuw-|IZ+߀C)t>*nvU̚rR3h#/A (j" k)uKր#.=&[R"p,i<\Cr ;f?ғp^,LZ]Px".?SW$+ {} "GzbICn==?7Շ.J'եʺ 0ޞ%ݴz>f aT,&] D6aƚJӿ6_&ܹJ6@ k=XnȀO$}1fwr^)#6g캿v%FWTV/Ȁ)&&Hr.bDLzSޠfŢW *J7>~%0r$Vxڀ1Y*Td%!px"= *c MY◥viu4$H!MkƖ=fUVcs40}Qq<[`삡2^c7x묢4+GL4y>369ם*ʰz0%/]1eUg>sA'' QKvyx#<[dMÚ7l8;F n5hNxW>4Tf,Cw_\ŎXkW\UǶɄ.s/5PwC^>:3+$%2rN?KEE/ގV&J'-KsRyKNF(oGy5$ Ww#M5- > HlD^n@h.4iK<6Ix}/M#g;+|7,Mer7}1l<;Zb,0fvd H0+ oSMoy2|r#}nA7R$˱D:0~:e9N{=L%eȋrHck=71ZL=i1$:3҅|~Q+W#u;/%x&ӽ {vbP}zwMDF 9r/]"3103HC)]ŖI\:TrVFo)S]~NՐx iLlȵrF{[:Z(; LV\KkIzw< s% }YGr0FM$3ݪaFR`IL7eGcaG851y&PoKDQp[F: E%QI:q[%F1BTlDoTrc}.Y784Fd3uZD(("q@y$oD v9mIj3p~d7A}҇?\`Zđjf~';NP,- 뽰CUHfY׫}J9xlC5hRr#U SZ:;|Y?$5giɃyӨA;'(N!Ďǟb/id'q M%SvioWjAx_*1S#jc.XbAshWZ6ԬI\kUɬjle;*0.\Դ>l-Le9c n1:7`<*Y֦HKd6rB3,a?dBS‘*#*M5+D4Zji$"|Q89D,pÙ?|zh:_3ՕP@sl@sd yt)& q4+<.d7Hi\Dx"Ʌ:=Lnk{@=b*%:Nx[j8MrI!-Ԃ+Q'Ur+5 sp)MгW4jM,s|lFҀ|.E8=5L]'{.rZxHAhJH/X0m߬Ѕ0=9Cjl\mh  :+ܖX` e|e_kM!fP5HU 9&NH3Up&dN9{ѻ"l&*bHnH4{X"-eSqF?^H6yskl|1! H;a$4n Z%X3{2uPd:34Jtr - .)E2 M~O3J bKI/ ~"46墘=%\+yCit+(.Y 2ywݦ3N#X[k POWcS{5[D0.]| \"} %aB*y EaP*}rWzQ yA-tX>Nҡ\%vJ őQg쾤EУؠ:(O_Nyo5֡(ןLPCE};5RjZx4?0,p8:ܔQj*PZCؕyW 35kه( >Z_ `"qJG2Eln'I65:?A.5P(>K#GPh!,E^W'²qvy 08ޜkphEDTk^;)l.ڳ)^6 mDu ئ>] 0yEi+6s= jS_<ٟa=zr#DzE **(.K^DZW<ms2ܡ r5­vՠm}N}b=H.dbp(,|y6e<{]Ս>ȬWU:gs7\Q,>tk/x2rn bSq%ZtՎmS"˴8YiZU;AfLcߎsN̉w5'SS^A7Дq^ư<݅ܯF=+k:aDmnʛx+Cwl&uռ=Tۯz|kzilk2[q N+فT"#|嵎쟮L *^=ih29e `$A &“ƚwK20g9転=0 4'7Ԓ-Sc1z~S!"ih4 f|?&q=[nKO=2ruY0Lf%wkOnm+$gv pH =`iAs~dW0L9,ZCQd9)i'\ʄ$y:>'kLdCgߑnsQ{>=;g vGz|+=E ZsH6י&kS.'wk([_|#䯮;qsDN/@BCaNt=Hafaʩgri[20IK`Y8yT2>`\BS*#nUvW`\32y8mᰙQ{y <)g`Չt =~/GՓ3k+e'~Z'6qEg1T\(qS!`dvX/0n,vbO~xPǮmYuG#U|fu>N(j=D*y~HȽٺNga7GFK .eІb߫z]IDuV%.LFj6/{$Ly* ,%.Vs&0DؙscV^J+#l*RZO;orq!h G;&ߨُ(~ӹdhH`L3<{MOM(ފ #cT|N!D;/X$u=wؘ=-Mu>Aђ-Z}c[ǕTd8V/σ"#35<PⷧAUq8OʥD>xS蕖bpCՋd=yRD&^{;(7!;~Lj|0uIձ\n?p,Z y:WcK)Ʈ~ WH&=\N%GbPsP.Aw&8LUqަCDC7F0&oެz*uL$}7a܅$ˮo288_+A5Ή& wpeȰDɨ l/MEa}^jf.{WL^Ulvy+'ZOv=՜(AZ3K7>Wx3îa [X,v؜٭A/.yYH>gyuِ8S~vO@tqammBklFöf$jn:*.ĶtulI9%+hrgeR~qG-Ӷ֍Aj;t]QㅩZS✿h-XM2KObDp'G2 LZ-*g})5|S;_"y-x%8{/پA_|;M'uGL7wv)1%Lqӳ'Nx2HBxzَ2 D*j 8`1 #QAg+]>>@-*`sw6@maF}g4jѷX6nhH7qi5#΢ w-mڑ*+R5^7~r٩U'.gްQzPBQcј6$J@N:2#S B}AҿPgYZ i" /]# DHOL-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ܱ~) R t"q|8!|x@pn8Ҍz^^ DGA&7rsͫ;ɸIڤ(~"deԧ%1FwIN=iNų;᎓dG`|w+?CXgPDԷ $ixSR^yyfek= .:9A~NA0Wpec0r,u;A~0*1{}T=Sgc{*Z%Nl%ܜ\blGG})*IqA*L/PQg`'ϳW<7g<E GKosђdۖG߉|,q(M%21 p968Y+nbaiA v,752`rxQ^U$DCl#~s's5ku,&:]19Iu{c*ٿu5*(YJelk6R2I;́\4%Dt `"k_W _4@zIrd[9FCYr䆳QmaARp4oD'v"~K.,"  C% % 6݁0]O?2s"s>"+6|nk"gM ȯjfT‚STH; =xq3љ eӌ*v.%gxX Aw~edM="rX 2y,-ֳv/fkNK._S8*e#>"٠@j' $VǪ[Tj49 3A7;*#xR7ջ$O̝Ug@mbp;_ow"zC$v^>'em61Tӑ0e D3)).tw#%Q{) OayHօԁh/eR c4 H%El7IR*/ySfbȧfݍ\dsu8cߠ3$z"!G$RU'~:u>|Մ;eEѳJa* 6F87!]]$ GVmCBz)nM<}c5$O6Bhv+b_Pm^TvW?kw@^0V^1bsз/t6ScPpp-M] VR=Q%S0Дd_8ӽp"*e6b*:TYhrمMd^p!Pg;D;= $K*J.ЧdsAw 3%fv 6-wE:ڂcW>mB|dq;V`\Rʹ^(<ޮ%<Ȯ64CW;(YRѿK=($`Rr|x6,%] mG#;>Oa51Bu>V܏5֧.6!Hˊx˩sb, (?p5 d}gbk/y)\$z{rb'~6S?(GݍťJfQ$# g21}^* $h g.Qu`.]iii~ 7'k'vvt ց?fa̴请Vŋؔ(o4A*ˣˀ_hV᜵kP i/Ón?KC`n2Fd;<^P U#19@{nۆhU]Ҫߩg@8]1   d(/K% LHOL-Types_To_SetsHOL-Types_To_Sets.Types_To_SetsPIDE/markup37zXZִF! ]]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!9 ' /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`tCedYT؜72Wk|W"(cn̔هFeXjɟ$Dv1Mg=`'Ug1VDG98<$,0fTE: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% @mwK!DN<21 `/ǏV#|60-B0[qyYra:,Um?lCخWvN0P>7h0aMe5`4 2#XQsV:Yӏ.tU,X"]=hfZjֶy_U+Eoh+vݚw؂ Bz۔-}ɻwn_ᎭEJkoة8\kiآ*@IWCO5q'5X7eK0tAәD>ftNK?h6D%/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_id232^#/]' ,HOL-Types_To_SetsHOL-Types_To_Sets.Linear_Algebra_On_WithPIDE/messages7zXZִF! EM]~ hk.<VAHgM@*$bE_w#&,C5X#_e?CkfR_ʮƇ{ na׈>=PO qrJ+CVNv r,no[,Hq#C:1B ^R'<%?) +x4)!%⭲T=B.QY 5gtuHD 1^tM =t?r;߆c6&fRw#X(d?$ǟ t ӵ`bb\VO|mͽp1P)Dkd~q#TI'b^5.2G+Q}KwA@o"-Һ„ѯbá\ceXakɩtQ3ł~Ni4x"*s h?r_8 2u`G4Hdapry}мRk15l0R ~)/PZ9Ƞ"V?7};fAٜf #\x5C~7R>"h;DI>(oDHx+S>JZݔ?-|Q9 ]>\S)ѩ`(-X+ Aq͠lt~ءlf^djռ+V3V%3EiU:X J&n8/iǕ"3vɭj,{sf񩦄&{r%,2nSO\.j4|&p s+v(NCEʞzSWq̫Q q$Ҍ le{,mQ밟Xl>o(3봖X>gFNhor >\a0$A~ g$:GN&\x|p578E@l i0b%/nmvDtS ,_`2cҺ\2 >SgYZe7[Hp63l!]wW Jirki]~-/%;TiffOW}]-3oc)=G}s<59#Wc57}]h8)JE\g|oM0U+yk˛fY$yOOm\6% WY/岭IA8m㤍&$*Zd"q,-?}\?|G$=,HbGzUc6\'w6Lt)RT~{s//ԃ,&z>*A7$<Gs@YFYΊ] >F"g@-|}Ϥ3zp -Qfc}~uMO'~֫̈u8VQm!XsWKڛCh}WwG3}C?0 /{x>1̵p꜂+Jck/Asg>Yl<0x&0as`9>OE/E 25y_αUb=IVsk7=@Z'Mj&d.{?֌% L"( %ԤL]YЂy돺%^s4 Rfϓ&jvr OrH)bɑ0`)Bnϋe >V HCUyӯ枲`b iF)(bud=IlX]\Wf7*1[1?4XaHb1LD5O@dV95J$-O]2(MN8+nC ,uT! ";s.lI-H2L633Nmc9%0D:%c*f+jc:M|_$ġ#fU q{I WBħ]ͮwIk,8=br\U 3zj5_; / D}vUG~ec)h\P9r"sѬWxLXźhAUM#dgd}{\vpXߜE6y^ļ G6/M:i @vv'+6y}n0aNB!.A1oCڳRF1%~Eڐ)jYSH)d4n 2RuД "383q:2&U}(Bg-y9SVaT15Zܲv? SOn7h`WZydh+{9ѣDր;,pTbV}~.\؇ j=msF)D?4C;(Kg bl\E5YOhA3y >|Ӄw/$ѠUld)Y^ȋqPu6yl GsB⧤C adQKHx簂l6;.o \AfwS4nrDvdtc[6"=SS Hz3Q`cѮ{A#9uzqqpuTJXKx0;)B1X N"U_KeP/溌"DTNJ|%*uzA,3\}ٍ7^wH+,?#;%kDӔh IbM7Z$g)rO ~U}0&JffANa7CɄPvDu8pjdOn8̧8c-@ 8N".f9?&{fsDɖgN,NlL8W}¶kvƙZ0Tq1&!"3Wᴰ]0NUacG6Pٯ,ڀhRa N])aū-^64gy@V93I:E(DXFZ˄e5A b=YѠhDT`} _;ǒg}*]?Jпymhq=9 ʥ}as:2D¬]ix-Bg3g~G8ӵ}PYIE/,kD Nao J~i5VۦtO A!pp,p^3 N Q& w>ӮۅRCr2)w8=mb2Lm▀3'CV߄}mnixZF&߭*)[-H&BENbdi a;m[ 7i='9;r;7ydܰ>zʓm@s}o*#_Ԩ9/RtO*ކձm^?uߧ5!5mzR5ye6ʁ3MUc&Q6`G057XLxc[m+%wZQ+Xn܉Ui @Unx%}'̂!l ~35Vsۍ":mE\NhF(0 ^K@? ϋTShFI]_J)-p)]8\8nqC~*HtH;g)* iP?Tï8^Ts3BgϘ=jclg!OCNihqID4qa #Ec n()  (UiN<{Od:,Vat)LSUSBHM][?d,qx8{(+>qT&Md#OW_k ɴ3[av^U|u zP7V)SQJثխm3UA*,LdD#1㦽!1(v`JIOCg׭ \$m}Ug6C^sL^)Km_e^P. RXyAǘ%*Y|;CuJ p#C`<-bWBx}yR6E-c^MUA)*ǔ|~lU;иt~Qox8IVIR%q̈́%}ځ(:*^QijwQZO,>6L&)C(C!dd:5W#;%,u,{'e)¾q"s/ON%:cK_ dkpQu;\ɐnZ3VI oQ]]oY3.#aݣ8}h" So{#2wZ.T䐿`J݄TEA~󚉭/tc hA0)%=&.N~-Ĭ8"Fq"l m]7|x>sP6 S՘ETvKL1+2ؘu< qȋw0 o84!~q'BCt)R1+712aQ0 O|': [P5 zב}/$oJo(~}BY _MmۖBZB aE7Jb0dC;g垫\[䀈xM.}E% 5y EiE!f}, ?QQ9?>b%;qz,7S4 8%m~U@]0ȹ.20IjKߞ+zF( qJgb"G iJV2^4˺d?ޅPqXX,`3`q0[s70vM][wG}Rnk2 s#+ o ('E@>%Q- 'r(8I}uIb-Øtȸ{7|BwG DaGH'qH8/ݝ'Ô) w,vFBH!EWEB t!"h=l$gʉ>}uN%R'qhagڑ!'h%tE3XǗ2 '=+~,GAY OK]_j  P~E$,c2\?P gN-G~C26J0@ƨ}%&TՑtk?*KCj56 3u@撇j އL}B{Gh^;FP||+3 ڊጷ²4A}Ma'M]aJ1/3sn>'Wi%5i  ŴKgN;+yT"`χ7IxZh1ߗ-5=' R5K^@J]0QO)K_P2?d;KvTRr\qނ ViEMd!ok㈼y??xfͫ :{gh PJ"Bl ˈnQV=hwsޣGJC`# <)eVXXe%ʊ_ D0y\^w(R?컈naWb5Ւ@Xݽ2YB%eIkFJweND,ki>y[{+Hu|p"bd̥GHs1m++EQ49c |! Ã.I5\a{}vdXYvĿ%` -B;nmF3& bB5wHZ4e7DS)j@ʎCUnSFSJiy0 pnsMP~',Þ<@اb; nL``8Ιm5ϕkӾ@f$ zkj-8EY6cʘFͷ,\Zyڞ6'j"Gej'~#GL3I 8-) ^.N>IrſIv,>V]4l4zd-90A9KFD-]tU{$L4fPҪ\Ho 1enDctߣ;ze3a :VSʯ 9u.ѳjPy2'"at]܂P4 {"ߔ;@~aTO-LxAmϟCW%n)GeGkS@(48n-f< el)fM_ߴ$Fp dtQ(‘Ho(DY_rϻcE+e^QoGG*z`N-+ɬ1jWWBjRe ~M//6Ouث?1,URNf/S]'ax )Qx$v- Y/C5 e,%ށQRN7s&G "d"ȓaG_J.% (vx 0'1Gm#ʢrQSb-467Doȣ1YxwOB|3e?2F?M=kg{[쯘 9sf2^چTϥk\ ^U85l jbJNU:ԝ_e=dNvr[ :zcL>*8[:Z(M8 7bjGo#giGNI4=KN1榃`dW4RvӋ+Q|8u5²rrH0 %5k< URwRU2t3M@ .>OKQh{&|bPBl܍.72?{Y)=Euk7 IL*W'ߋS?+1'SlxMNnŤHCXƬ6g-_ewxh$mQg;LJ0d߳'*lmj(>\5Ť'2P\b],ҍdȭsXܼL~D .\A;M}iF;2ԉJ8J<}d0FV{\ SmfK4 ŹԀk~.ݣ{t `5Ct8w3#W."b%eTdWn-yC8$q~i09 6>1GJ=AMbY/7PIʤR|@eJMTy*UWsf7i[g6KW9{GDEoNO9zu&1ɮO9\. jSU@#؝qg4 i+Z&b:vե_uFA@!ӹkBE $Zl-931wl ԟ3JoFh<T)R;XcH~ ZFJ +9;ƥ۟$t,;ϻ9~Ҭ4lg9S@O% jt$ޱEqo ۭniˁ\0Y_n𭇼929 t_5jr[WR՚z,+ridE=Q ,>3 -_M&ժ]hւH=kюQ9ECPD'XF2aI@`EV]=t[<&C;͊{ۈ%r)JEG/uz^c}Ε|ޘƷPӇyP[0S+tYG.%k3Ys.< |o =n*È)!D3bB򟩨'ȼ\wg4LLF-lPU\VRnPGP5Gr5>g#^}*ɏ?b}M/ WV䖰k=qBW{>Z,JKA2 _o"Rw_FgiE7NU'w9ՈTQfJDvZٍl:F UU+ȕJʄVCi:D64.rʷSKL\GpݦܹҺM K9'MB@hT{ӳ0-U Zؐ M0܉ 9e&j($MTL=dF+I}|5W1FVP`EJ91EU26$0`t!>#5P;0c&>h4HA1"$9kחnkv~S:;'`;> $}o ѲrI~9" /X2< ɭF=CI`L<#`0 m$1i3]5t&`NRh/kX#ݜڼ}|)@@.J)I*OEy';o 1,h5_1M̻20Y,\V<͜zz}~OЯ)0rݯ1.%W?٣nI=ݴu0_4EEtVB )gYZgv\rq9^4xcp`󵻔'^m\@fIeRIy FZM+)~w@N*vOHrs|5e"V20`VN #IGi)H$felA wl+NRz£aZhnn05bhuaZӁ*{(0xFʆ_z|-EFpFzuf to Cf[{S:qK ܵsцjOa}Z/zbLl85O[ˈj_MV Z=U)S##Wϥh͐l F%hUugwy@{[vR3 =ݦA0%*Ds;Y5gTP ^^s 8XWg0<@Zc5E>M>*E9nlY8]WV_{9WxXHX zBK[=bL"qRrJ`F(X!AD$Q7R7Mש]kfWҟ|a`o !Cȧ|L(DEV?6TԾ*kr,!hT#Tq`aL[4a%e럙uT=%J՝+jDղ0QBF:RŸ[$ F;偟?:TfO5.j=Y{·{H8՗H:P;j%<&|^ k,q~t. ^,hP$U7Ԏ?SGL-EK4Ղx&jޓ fp^4~ 3ō!,%_Ff 뎼 ?(V՚wwKȯ J]+f?1TC)G%`_0<)tVuixRO{A%=Gz{=8&iF/.:ŐɥT;|ɔ2W}ȍLwW m"rP-+ TM\8݀@WFcB.\PƸFO*OgOn["_׽gی\4$l὚$SW [7-Az)0[ޭOi &瀑e7n|h7[ 8 g?Gw]"vG/9WbL:f\n)^~N \.γ<182ATbO 'ɸҙmU:4̤dP@ iLh/'HP'FS7;Km1*TA{3VYy0Iv 4pn[ ȢXnKOP_6K4 x%R 350wth-=Xy'Oc֍z}fbSx^1J:.$\eD*έ_>뭴t Z-$ok:a'Ex_ʥv`:&ok;rt^L[]TGkР2%9&AEBu7ߟU-J}K0 լ4f4S.!!L@<GUMSCoOZYXUm>+\}~+Nt? [LHș*c^E :aEޯJnAPp$DCԫU,H 8{1CY/̑νЮ3R =o٣MR0EQgfLP!1}E*=eeCXmsaIt{bblq5d*:!zZm -eͭ$Lݫ?杒[=c;2>aEhA|`B *nf!ݾ?Zvf $|2[oMjpzfpW )ݽ e:`>lw.8 K>5L'z'[ DijrzYJ JNΈY0cx<왡ՎVS[&r=iv1@Q26eWvG;g=P_faZg:->q4-Y0,hWMGhE t>xl nO3P~Ul,,(YD̾ TKݨD)D K;E(̄+bHRj`ǔ,ߊZHb)G( /C$I ! (aUU6uߑ6*KxgM*sv\|S-9F VLl7֔T/DXBpIH[n;q2^~^{lca,8NoOP^"_=VZ4= !<4:'cU0(C!)e׫ʘI'1 ZG?VU`sQ m]u(U6EnٕsOgn4 a8S)Slqo>T\Jwiun:D+v^\ DbRtUIkEۜliZ 8*ټ9培rQ|ZB6}A\bfit՗GK8%␷a X (KX>YOVVrH;g(y0H<,Ensɚë-~@,I-iӫ㻀1UzS ̚/`S/!#Ńm5SQFF6Us3A~4!ñXҸ$ܝhYZ9TM @pBtR`S"8C&Ǵ0M3z7/#D9SJ1y> p=j] Unb> CXWQ˲ޤ,wW*-@͹fqqyR2HzP%E,ػ#,iiѤ!<%O0c, P} LCĤ6W!m2Okfe_䕽 n z}67CpfSWǯoT\HAY:TO>o&2H(bR8fP$ְjyv ӰLM`h"t<ʷ($LMٲ ]SSRF'#"F '\܇󟆧TXʀ`f<;V,Qƺ%V~ (1D)eJd,\Z4qݙc~G FfiI7qGg$cꙹb92XPQ7+^'ݞ;=%S62/sаƾmb\_FR>q\dXM<MnަBKBvCV:"Y=m٣&#w_E-JB7%gY}za ݦ뷼kקiYqhn/bKXu`B  EtZ 񗣱)X7+HD#DG8/ B>uY lOgT)%RQ4ΖHfc PK[HVf5`H=%Si>!xڬ i_ܐ ݣYw~0[SĿ@;a;7zbTM\6IBlR}bH>$I=Qքh28.+7ߜdStUa]{1j q˪4>(zt(>Xu<ćwbr4,h%/)GaT-۩$!.Qݽ*>K8w͌+">Iv0Lh={D.Pm0|%CuLXULuHPEp%H[/B In29L>:y/F׈M*&R%VXDD??l&*`z~x,f6y?^rS%ĝ<'.Br(0?*ElAZWGycu`єO QI|LSPAoFZN2YMX}ct$?R)퉾pkڱG!GK /+\Aa*vTAڽ)3ݝ ϻGTN*{֯EJ~(Z;9qTЀy諭^[E'cwh=z6LIF*hS49-K 8AZhFa_(mѡUoeAnf嬕e`A҉d-DpC \%7iPwCa as+8"$T$"c 粍7<> rLLUx XLR3&\6q-]4#CY$zTky%V/Q ĘcH=~Y<@:Yz㬐>W/IHaGXh < j[EAh< L%A_nȚs ;+2Jk,F͋:M3`V" S/82נv>0z2X͚GD=&1E^w(6@{ "g7ή?Maffp7YOz\Y#FyX%6"eo/ VBy-b)4#?(e( G˩d+dz EI"Qd?FVM@x"']/񃺛 o&NZ?JMA[E\8'01왭g1댐uf4 |wA|>8r6Ý,6^<WD{&ilk7ʙw;Z~̺gy" :PE72{We#EU_4 '5J}`+Aj cs@'Lsd_)+ӜpP1a..Cmu=fF>D*&]@Q[B6zV}TNy)/)%Ws9UQ\P )1)c`'; 1u# Wn.>lLN)xO p)4çUk /|ٯ Fj'fbrq:2!a7:5+qlwQKy~{qfrtJ>/k7;eFT,0Pg6_%Q$S}Q%xYT/j}݌f%Ga&qYkcLxC ܴz|[r蒅YT>@^:%C)1'6I;v`}h/慏C tGc;u+v5̛5X u~ęMKFZ{!˓.0rr#6@N*2W k|V/\HDn|ʹsg.C;%@~OpK&T]b]:x<NFfQ(tiٰ$!;ȫ;@&H:ciNRRhܵoG32޸Cκ -8@0Az)=&uAӬ)^D ]S>uc8[ $tW+SZpf YD$p3zr!MV'\@sWg@ԏ)ZB=L BhM?7Li fmy sQU~nS}?+V%Wsy$=$G&'zUPA 2Irou2v3ϙ2^ 02Ku&ߟwp9^ bSwtkX}}c hIMkи9un-m `ۏ"_zt<`Z7Y}>=>(!;v6zmC\yd( Ycd1܂v0c9u J:S!Ejѡ+ٞoncoahY_Qɸ#W\u WpZ~p~?wE-܍G`si9+3gC}=[;:d܆+ѯ `h "pz6/k];i4Lds<~nqajeSCu)[lcLkZtAa78](Gt!1* բDX;sGK`DݫV.bFBu>Öf'ygYZ  +/K# HOL-Types_To_SetsHOL-Types_To_Sets.Types_To_SetsPIDE/markup7zXZִF! z] !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, ?] lNf:RJs2}0T5Ei@;|o/[GhHejkr+:kک ]>&|]~KK%K^D)|(i7F]ЀTg$su۟So[u:Ql~CoU; ]=w4eA=xVYEY-5ҵ? D[ҠKDz&"a!p+aJtDh+$x>/`n2ؘ-$^oh81}TcX6HJG@m*n,'%]C!_Z.\gYZ*/K% 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`yT`_<0:E? oY\ %V R <츁V?<x$ѱvHw+&b`Ri;ASlR۩ٯj[آȓF>n`2i `*b29='޼ݏ?jX+ȷ*re7c\R mN3c@ x2DRIcmnEtʷ]Y}d M )*s~*I|O 5̓8IړO,3B!Ht$O<{6gV{d2&oMꈙ0fmw?R77NK/ ^u>ɲ(V2ŎRb,z! 3'3Ow&WgzJ `M/862j(g.5$hfine}Ns&)I}0% ,Ŭ W]7ÚX e%ØE2!h h``]XLuQaX0&9T10k݈rm1fbuGSk1RC=CpNZ/yU1J 7k h>FkGVsmL"IlX0y "9KcZ0طHSO.f6;l2w-6['!kv*{y {ՀTIsv L+1al!*(}/J1<,)/K% \HOL-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-yxe9R|+ =yTPs\^O<Θg:K†絨I!F5)"h!#DҀߍ4\IPimJ~˹ Q_$erh[s|Q`:Tl 74Oe$[tn5]k6$.n~4Qok8dʝ`Cax 8c) B+t^H,U[p32$ft6v/% DBW>\ ~u DHGksIYDHXRAT@'+Ip*TtP:ty{nJ:ƃ؛,^ei* a*"22JX\wW Dѩo O ?b`8r0P@r)s|F.C^Ot2s8vQ2~9saWuWC ⑦hFV.LgׇTU-͵~Ɠj$;L P!iߔ$,x(iN2r2U{)ҏ6 }y@" OULr@/F@3?E9BDvՍp6@pXhCH,i {Bp"K;YZ*% ra; > wѭ"'ss;$֓;DT-v^8e)ppK% `{ 0?g(zRN3xqiryxQfG+}p㽿\Sh<)3հWSfU9|+PSγεT@^wm >-n10>Me)Uˏb*5R=c4E0ށLL]*/%3Ut"/_,>߁6VroiEVJÀħa*g2i\Л!>z) 1@m/n~|䤦@$P "U8iv!ixyh(~^ Pԃ{@ۄmէ!y57! _4KdGQ7#prCvCOE AR,\MvZKQjXIЖ[x_ADqZ`ϺYJ,͡nV]҅ 8$+k~_pHƊdԠ:z+ϖ$^k߈4*E]=MFDZEai"7*?g9E`SEⲖJ9F ( sb\S!NQ;g;)@3̤J1ywl ZE:6I GgeV?𙍩V8U5:'Pzu[4S!M!~Y)#_#+,b֜N{- Їj|.`= jqhj뛗$9n2{v!9gP;uW3 X јq gIo!/]P1[j0"Ώee3WdKlm!uۦ_7p~¹ lSdNL w>j-X]㛃-EV[{Ђ(IPgt^=|aX ғ}Ϲږ!RQ=¸IQDA wah 9ύfV#~)~?AE2Vp/g\oW}Rgg lgͻlg)њs7='([ks$e j|YF1ǂ?ԑ%^PEBDnKꃿ,4IOja`6C9_^yaΛoP/拆.`BCwkGz!)ΐf+RKP|taZiQ'6hp4Q76U\\CWZ!BUSrCu#&*DpL B,PZZQ4<Qø1?<;iD1^k$![d qh06|4-Re3n峠Cu:b.'!`2-Nӯ[֌OfE,Ә j@ݫp+(ue?\es]:c)ʌBi)4A۬_,{[5F)a-v>]kL*H=hjAH2haV إiSyl⏲K80ڦ}UNC/bdL`v8nXqg3PE/Yæ52L~h9.-69sr/>,@ d?)kr)7~6Xu$g4-pL a<'%io=VݞꃔCqFI| [GQdd>r {k_U7ǓݶXJOP뗋%Fc$wL (k <쒽/lrJ fk "9 C噑xr8 Ð|Hf#8QF'PLm'5L-aozW{w!iaVta_ `rŸ#Ka:R 7"{D F|ogo3 ӳ@io,la2!,]؇eS:J4 S`͖Bk*%b'G%@uaj(ģ:R<^p5Tk=T"&2P[p߯_5)[ܨ [om)<$4?e JҳX XґA  Pp&xɈX'8P*nlgn\ځ;` (^3cdOg]NHI/lS:A,]@>=範(+j '`WgYZ  ,/K' HOL-Types_To_SetsHOL-Types_To_Sets.Types_To_SetsPIDE/messages7zXZִF! ]·Iq n[:|&[zGEoR Rh?xށgg noÐE6xudaϘNlFӛSO,_Asc iz/D8[sWL1$Ɇ^E^ vr:C^_ʬFRؖ[APo̵,xWOime9'BXfX9`z06 ,&L= ^iaOuf _}/zE! h ߾󨫢UPzF{~6#YNj,ĸp)M4Iy85׈I+/A@ܮJ0ڶ%Sd( rx}) ގ Y0>ZobH>5 U;c.7IɨWF^BS>6B+&ሥInt7gR?RͿ@ld$|n jQiUzI<0y{qeOFϚUsxo &Q-gO!xqO)F1CO x@ Af6q.dɶ)]"iy*lȨ*7.AYh(lbqKh牬4NZūmŅ{Q /|G z ΄NKjۤx3~f~g:}أ/;5f0kJvgrCk?([ GzX ] צ{SY\fi$_G ܥh¥8;%L7ܤܨփ`aTKFf~,CWFX=9gYZ