SQLite format 3@ <.C  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 9'rlTD ]/ HOL-Cardinals:threads=6elapsed=7.812cpu=44.232gc=1.8567zXZִF! ]ŗXiɟ  Q ƎRؑ)x0/|>@gC͒jD>M[Ъ|Q-Sf@6+roTM:+fE7&BmLu%|mEb)ԕ7@%N邫~K, ~F@;Bh D`bP3E4j6iٗ|&(;unh`q=f1y$LHlOv<^BPt+) w))Hov`i}AB0p4δkP2b餧?&RNA'l>$pCIHYAPMްAEd+8QφSU-)Xk 3,TC4l_]|Rl&IHBI! [M9gYZ7zXZִF! ,]ŗXi%Pji[6/JOo{pAm,E>ғts 5ONsЈxAYKohW7sBSF!ÉU!f$e6{ԥV^ %;T@l6( # {;P/艣 :.1'ȫ9r2j3CJ5:r{ 0*-'^txoC*\LidLeTdT3xeY6=m,UKUi(J{Wʧ1'Łף6n&Z!۟F t" T3DmƢ5 ?J`poUxX Zod+ z~t% 6,Z2&Zɮ #$;63d>n4-ܕ+YfPp*[{flbqo_A]G38 fp%*-%V)5翶KhQ1uF8>9v"[MDN6Xk=ZVKiĪI*wDgMSV&pU ;lKx%f.152% 6^@&Hqem\sJE0?7ר }ֿ`Da-w߼} PuwqToN4'P!gE^"1.l7 )E~rcg>:KK\75φIϫ18yrͤK.cYI5J#33֏4U,B8 6Ɓ3 Sk[]n:Q_ݏ-mcwȟaqmJTk|.&/;\&jEIc΢}gݗnU =pR{ZKp4gQ,u07˹*NtP+UsPS%pAGH rUu֍gƧ'" vHoνRⶦ9W|dW(2r3K撶JDm Yj>gYZa3428680ee6cd5a9bbfd4d9e00f972125e802a3676fd26aaacd6460a8a6de2c25fb172171219d3dc ab3eeb1feb9ad89c49b8b08584c31bb8c8ae5660 ' HOL-Cardinals< 'OM tHOL-CardinalsHOL-Cardinals.Order_Relation_Moredocument/Order_Relation_More.tex7zXZִF! ]A-MՋhvG"uIBm5Ń!31 UF e¬e,0v[t\\}"Pη5](#'xңx8zU+AH~+`JȎ2l&ъQ}쎃{ x51R;s-+eZV$92Ϳr# 0yz3 ]0][ \_B-/c&} Cf,@ 4pG4ƙd9Pri8^C 8N/ڪ%A1틐Eǃ TѬX.0{0Y5_ƴJ+Ƞ1C2)􁬐D~-#!MELa7yb:yijY 0?w==_>cxG{Kc=VZ@.yx܂iXy@P>i(%2 Xgd!4s4?AW;W\vsBP/P|/{ZbaٚbalE#+6H**͌޷IbU^3w8etMq}s|m dH/,+p.ow {Aߴz4-Ë 5c}:FH88#d:o}/caN?i WRqRo|;*H-)[#+#CJ^ieh݆@3Cu1~ـf>̹zg 4R\"A+[ ͈= $5+bIKʅ}?3ql~`)eS9f;w'y&6⸇*Bn* %"$D*F4R Dp47Q^Jףgh쏧`L`pXo|][IrtdnV+Y7L~}HWy֣uOپx騟 PM;::6605,4+3(2'1$0!-,(      ;fzh&WV G  c. ! H   Q S Vb L%P m,?'O#HOL-CardinalsHOL-Cardinals.Order_Relation_MorePIDE/markup;>'O!HOL-CardinalsHOL-Cardinals.Order_Relation_MorePIDE/files:D'O-HOL-CardinalsHOL-Cardinals.Order_Relation_MorePIDE/document_id99'?'HOL-CardinalsHOL-Cardinals.Bounded_SetPIDE/messages87'?#HOL-CardinalsHOL-Cardinals.Bounded_SetPIDE/markup76'?!HOL-CardinalsHOL-Cardinals.Bounded_SetPIDE/files6<'?-HOL-CardinalsHOL-Cardinals.Bounded_SetPIDE/document_id5?'O#HOL-CardinalsHOL-Cardinals.Wellorder_EmbeddingPIDE/markup4>'O!HOL-CardinalsHOL-Cardinals.Wellorder_EmbeddingPIDE/files3D'O-HOL-CardinalsHOL-Cardinals.Wellorder_EmbeddingPIDE/document_id2E'W'HOL-CardinalsHOL-Cardinals.Cardinal_Order_RelationPIDE/messages1C'W#HOL-CardinalsHOL-Cardinals.Cardinal_Order_RelationPIDE/markup0B'W!HOL-CardinalsHOL-Cardinals.Cardinal_Order_RelationPIDE/files/H'W-HOL-CardinalsHOL-Cardinals.Cardinal_Order_RelationPIDE/document_id.A'O'HOL-CardinalsHOL-Cardinals.Cardinal_ArithmeticPIDE/messages-?'O#HOL-CardinalsHOL-Cardinals.Cardinal_ArithmeticPIDE/markup,>'O!HOL-CardinalsHOL-Cardinals.Cardinal_ArithmeticPIDE/files+D'O-HOL-CardinalsHOL-Cardinals.Cardinal_ArithmeticPIDE/document_id*@'M'HOL-CardinalsHOL-Cardinals.Wellorder_RelationPIDE/messages)>'M#HOL-CardinalsHOL-Cardinals.Wellorder_RelationPIDE/markup(='M!HOL-CardinalsHOL-Cardinals.Wellorder_RelationPIDE/files'C'M-HOL-CardinalsHOL-Cardinals.Wellorder_RelationPIDE/document_id&4'9#HOL-CardinalsHOL-Cardinals.Fun_MorePIDE/markup%3'9!HOL-CardinalsHOL-Cardinals.Fun_MorePIDE/files$9'9-HOL-CardinalsHOL-Cardinals.Fun_MorePIDE/document_id#?'O#HOL-CardinalsHOL-Cardinals.Wellorder_ExtensionPIDE/markup">'O!HOL-CardinalsHOL-Cardinals.Wellorder_ExtensionPIDE/files!D'O-HOL-CardinalsHOL-Cardinals.Wellorder_ExtensionPIDE/document_id E'W'HOL-CardinalsHOL-Cardinals.Wellorder_ConstructionsPIDE/messagesC'W#HOL-CardinalsHOL-Cardinals.Wellorder_ConstructionsPIDE/markupB'W!HOL-CardinalsHOL-Cardinals.Wellorder_ConstructionsPIDE/filesH'W-HOL-CardinalsHOL-Cardinals.Wellorder_ConstructionsPIDE/document_id5';#HOL-CardinalsHOL-Cardinals.CardinalsPIDE/markup4';!HOL-CardinalsHOL-Cardinals.CardinalsPIDE/files:';-HOL-CardinalsHOL-Cardinals.CardinalsPIDE/document_id@'M'HOL-CardinalsHOL-Cardinals.Ordinal_ArithmeticPIDE/messages>'M#HOL-CardinalsHOL-Cardinals.Ordinal_ArithmeticPIDE/markup='M!HOL-CardinalsHOL-Cardinals.Ordinal_ArithmeticPIDE/filesC'M-HOL-CardinalsHOL-Cardinals.Ordinal_ArithmeticPIDE/document_id<'I#HOL-CardinalsHOL-Cardinals.Wellfounded_MorePIDE/markup;'I!HOL-CardinalsHOL-Cardinals.Wellfounded_MorePIDE/filesA'I-HOL-CardinalsHOL-Cardinals.Wellfounded_MorePIDE/document_id9'?'HOL-CardinalsHOL-Cardinals.Order_UnionPIDE/messages7'?#HOL-CardinalsHOL-Cardinals.Order_UnionPIDE/markup6'?!HOL-CardinalsHOL-Cardinals.Order_UnionPIDE/files<'?-HOL-CardinalsHOL-Cardinals.Order_UnionPIDE/document_idR'MKHOL-CardinalsHOL-Cardinals.Ordinal_Arithmeticdocument/Ordinal_Arithmetic.tex \'WUHOL-CardinalsHOL-Cardinals.Cardinal_Order_Relationdocument/Cardinal_Order_Relation.tex \'WUHOL-CardinalsHOL-Cardinals.Wellorder_Constructionsdocument/Wellorder_Constructions.tex T'OMHOL-CardinalsHOL-Cardinals.Wellorder_Extensiondocument/Wellorder_Extension.tex N'IGHOL-CardinalsHOL-Cardinals.Wellfounded_Moredocument/Wellfounded_More.tex @';9HOL-CardinalsHOL-Cardinals.Cardinalsdocument/Cardinals.tex>'97HOL-CardinalsHOL-Cardinals.Fun_Moredocument/Fun_More.texT'OMHOL-CardinalsHOL-Cardinals.Wellorder_Embeddingdocument/Wellorder_Embedding.texD'?=HOL-CardinalsHOL-Cardinals.Bounded_Setdocument/Bounded_Set.texR'MKHOL-CardinalsHOL-Cardinals.Wellorder_Relationdocument/Wellorder_Relation.texD'?=HOL-CardinalsHOL-Cardinals.Order_Uniondocument/Order_Union.texT'OMHOL-CardinalsHOL-Cardinals.Cardinal_Arithmeticdocument/Cardinal_Arithmetic.texS'OM HOL-CardinalsHOL-Cardinals.Order_Relation_Moredocument/Order_Relation_More.tex  83"5َjN2{g~{閞_iH Oز]Һ73rirwB)c7E`9 'șɅqەܕ>*>ua0Đk s{jv\vB}`z4aa2'mўR4hsc\[mĔOI$|&b1ܵ+;XmZ32t_./˃7 gM 2sO/)w >|`{JOI%YUÀYת'?B6Ίm<|N}k"OBF6Qe{LogG̥fEW|D[6ǭe]<|O*#-;%j9i]{zh! 믁@f? $BD[ j 0ʵ⍣l 6ŽG+&]Z*M Fl:`ܺ?v XtiUAChNmg#HA$ܦ5vM8CnFǏ4s[2vTI+;* :nJm}eԽ@$K JIJ4.c$}WAVh4T Ld7]{XcHQ/F önoWdzVzNKЏ0VP]u48Lή~zmo1${4b"/R^]lQzB |fg3ң!R2۷2I 4!XUmj<(b `10 &EC</sTWN\mWiB.sEٞ)G,+2F4VMSr-dvWvT"/n(]Tz|ֳٕan5R9x{,Yl}b%vI:x ѱg n32ls$<^Ou%6DYd[S@cѰ_fDb1YBo3p)p0dX ɒS +h;sQaa%X0ѮRnE.yUĨ P=h8kSǨ@  .]l|NLU ;9Cyrɸ?|vkpQj~`doiHVЃ8B.+~T/Fա;ηỳz]JvRlV2uVz#(Z FX{wD` T=R/q8˒u+/qpQ\}&7a_F U颬m܉5׀(@Nq^Tx>M}rb)=,r߿4фI/%knl D0+&J њOݢ(]y177ޟ 3Suh$lZ@OEIgۑ~1 f2AzR^ZrQmR]=4p>r_ܘch]jwesQ ,2oZ]){z|>}odzwRUi:S@G6T5Or/^E >O^-GZT !x*2 ̸p.\o!qd*X}{+0"u^@%+A:gz^HN a6- _#%ZG=Q. zp,rvƱh\.'sӀI5fBԽD4m^Inj`qe= ۏ>F d1j*S}mб0P"c$FzleLg-Ct~x@hңPWzl#kQ-ЧQ2΅NlGmcoh4] r8\g}wMȏϰPwi׺kYYyV㰻3'',j LMv˗I1(nw, 64,/׬5GKE4{r&" 2}dźM8!M/7vduG)%S,pIKR㎷khppG.#_9cXu֘*l(f,$=g'{a_toqcS3[; JcT=hJf"udۉN,d@T=jSLOxLi{+γڧ=8bʃ 152&+ N<^1oS b{#|,KO.Z 6B"J`;K㖿R8LǟU")UB"jZFj8~OR.l('J0 ^@>og¡"Qs>Bg{\"MJoxCCcT(j\G8#re=!<8^ʘrO\4ڃ*{pP_SvZ0`f Zz֚YDxI##ۃG_’8J?J&W_}UKlKs:6S tB.ng#kfH54Qj<p01pgYZޛc_1'k G&N|!lAziD ry\l6To=qVHC} $wcZl)7mW5j57 bh$jӶ;|@ W^g=pM'_}Cŝ=$5H7MلOEZHqPMR2F[ENغU&ꮓ/YIh1Ə^ݩ p&E~J4d^Xs鰎5RDDcwDhXoc:h>֡npuO1ё@NՒA/π.bUiG2. ֧h段`򁛾T{q=5r(P0I 4+ <Q_#U¬&9CUNk69|L#)%~VG;׶m7F{Ϲh?զ9ǼzA8N0ӄ[ 23}AmV|ث ȉ<6Ϟr[; =\B\>r[TCvc[5aq5Yᭃs- ,%xߟ)+܋Qs< UbzރciIGxW3߱z;iB4;bxz H>^s5׶ E#1 d?vR EPџzb*|9wEJ1ngUٲ$5ڗgIHj'~ vW崠^4fD6g淒VA#U-~VWWD80hۛ2ql!0Æ&pG(RP#2f(c&EbWW@:on :J&`oSn )r+xJ93 ְ"؋8c)R^}f[''/A`j.aBT(8au.Ey2ha wYs:| '/NT|,h^`PJrl&y`$KHͳbT8I=} jr-Mc]ə5Gtxgg/2L8%~T/32YMM^DO}H{Jk1? ÛɀxS;A̛PpΗ]]0 \}ak6SL.KfXӟUņ97Chy6Z$ͮwBȈEYKA8^/@ZL6#2a͔MNՐ(?D?4>b #Q#z`cH~<.AV`ǧChIc9[qB;rlJSS[&VrLRK&|d j32f5>a_m䧀ٸsjGE7Zn&6 2?sj`n=ه2j1wY.SEfݯ5"iƽq/?ǭ,+O ,cw%B9Ŋbw̃w*uׁC( #Xw-DkaQv疐e exs/Osw8$CxhAn)}'Pa҂܉FF/ĕN* W'߾J:l*$V9Ʀ: -#׏/RtRCIS%FTUNAp0Kc-pҥpO3,ϛ/P\FW8pNߖ;&je azm$mEX_sjQ]ׁg/Vβq& HmFEyA<^q?2I$CćJv@S!YUfAۇl9wU>e^sCsmB(qhxm =ZuAUFRkcGSSaW^ϹpR/׽ :JgYZ kk 'OM tHOL-CardinalsHOL-Cardinals.Order_Relation_Moredocument/Order_Relation_More.tex7zXZִF! ]A-MՋhvG"uIBm5Ń!31 UF e¬e,0v[t\\}"Pη5](#'xңx8zU+AH~+`JȎ2l&ъQ}쎃{ x51R;s-+eZV$92Ϳr# 0yz3 ]0][ \_B-/c&} Cf,@ 4pG4ƙd9Pri8^C 8N/ڪ%A1틐Eǃ TѬX.0{0Y5_ƴJ+Ƞ1C2)􁬐D~-#!MELa7yb:yijY 0?w==_>cxG{Kc=VZ@.yx܂iXy@P>i(%2 Xgd!4s4?AW;W\vsBP/P|/{ZbaٚbalE#+6H**͌޷IbU^3w8etMq}s|m dH/,+p.ow {Aߴz4-Ë 5c}:FH88#d:o}/caN?i WRqRo|;*H-)[#+#CJ^ieh݆@3Cu1~ـf>̹zg 4R\"A+[ ͈= $5+bIKʅ}?3ql~`)eS9f;w'y&6⸇*Bn* %"$D*F4R Dp47Q^Jףgh쏧`L`pXo|][IrtdnV+Y7L~}HWy֣uOپx騟 PM;jlFБq/'Bc1O)1Op"8|;U}'LښD`-ȳf.܈ CC2'OM DHOL-CardinalsHOL-Cardinals.Cardinal_Arithmeticdocument/Cardinal_Arithmetic.tex7zXZִF! G]A-MՋhvG"uIBm5 * )^ Í/sCOFyo 6Ȓj䂹`X4h>4js~cYcVX)To,gS UMQ@/3) zzzeYe]}d˓60Iko3@vKl®Ob#CP? |p]hx L3yڙ&,(@5#jS?$ZS-rUqo ɱSfξ@07_hLW8]x+_هȠ嬨b;Dbe5;IzGj. l'w+L|BxQ'_"}{Ȟ1#zc@M<,H23aZut?PY!ԲBY6ubb9KJc[w`E}Z ]G;~2,seq-p\7:n ,KŕMUC@!Y<(-lȔPvp:>+n }wۃZ%{MTNx#ؠZ2+FP:˃4O;ɧinKʘUeچ`Ƒib 7Hmsue91KCf"绿FJP/uŷNYNymO<]l}Ǘ+:$ dEc?Ch.PwPN3 ķڍDt0 MFJS/|v!55,^8(Ȑy3 S&Fp;h-9sC 5Y'N3y[pzm}Xhޞl5`6֠¢7zIָFCĖߣ+hVF r?Av:oo/Ȱ\+ hb ܢ%T<~s޷!OxfEouwy0%[Z 0]n5)&Nȇ$[ߤ`tZXu j+BوjX;Ԃ$ 92EX** 蔚X|W6КT!վʄa=+, YU}SLd2Mr2A/vY)q,vww;S<gi M͈̫Lw::ػT]>$qK6ò]2*cC~~ONiVߜ/3:!p+jUqσC^'1冪7TL{DsxN-=)']|̖A`qxuIW| 7~;wFPT߹\S,Rv蚅&z)N`I/O($%ʰ?WR?UxAV'틌tK?6 `ϊ1,|& W*W)iYz}O ~*Qm=<"İTe 7( jcLI[锤rqhF)'ofqy^}(s-<?}$;HmZ!mE(u}wƶCam1.~JAUH[͝XEe52qV*>ŽGOnF`9q c 6WUR8 ~HAZ_hC_9%*6X(3?mL4/ճrAܴd߬&=~=ѻˮJYRffi7s6n%ߩ'n^tlr .~$EO G[}]ϜhAW lc7eSĞ&.fo݇zdRv]4HWNgVu^*K{΍m?~XbRΘ9G&F=pMxEk7})ز+ץLd4i}K5AClO)@k6xe&Op87AVŎLLIg~֒/ )Q TH)Yo|!h~OT"mՐq0rsd,|F#s`4#!;zG=6EVv#γ1$c nW+w4|ֆ8RF2|"ƹ#lL3Kk;+P׿_o<Ҿk - 0V`Sw䌯ӊT`A c9jmB*ro;"[b%B)u kv6\EʲC4&G2rRHCj#bAQ*@: w]FK7˰~5ЋVE"i:igmnK 2*CҴhq@:M\Deo [dt.̩[EY M6J6v+7!}H~bL̮/s8 xRY!b/-=iE7[dG?aj}hß`D&{GGLϜ5Ґam TX/o2Pzm۔_9 .=dPJ$ۧpHz%sV/ ҙH,;zzbs Xt,x֏H.6a! u_w(n؟b>8D, QCsepFP¡:lh<5IW)scz1iPz;|̲cFUL'k%REp*Ԡ|{h}U[519-ks^<9fHLUe57=xUU^u0HQo3767B0]Gȉ mweEv}.LP?Auw窱jSZ   *ks=mG0%.M2~#T_c`L)>hONd\R<*U͓􉵵SpVq8N`rUP1FwA@ {V*vELH`}Ly -`UZphHн! nMM*3I;b(,_Ta`M]gd+GjZ(>Z'MP(/g~# %#leJDDt"AkACxC =/H+T'nhh%cŧZ>Dnb *o%4j=M%/ 6Xfh;Zy.Sjؖ*Nj3z°3|7[38߷4*4];cm'@##Ne<Ű2B >}"8dKٟgM~5R{#KQM}gWyV*OSuH 0J. Mϋ\9B2yU|q~rs8"ia;\0CUs ;k=T?OoBm2il#YbI7apyBPջc&O!_$4y([#a^JF]qب}Q_mEM&iВ6pkJ4dfߞ%4KM*{XQDg{ ;ր[jսd3D[K5k=!{bkR4~G)![q5G\aή}/RhJrp8|"%l2 -ōe-C9OP*m8o2PX$mMg.=3`\[SeG(GddN2;*S&C3[8tL:Z ih7Vr]S H|_uE!aPML,Q: "7snYJT˸u ,·K'Bm͊R>ʩx1nk9Cɼμ cvaYP֎2#|cxE~_3n3<a ^%k2 w>Am\w0#Cf ?v$k #VE[ː>3$.Z.i}+.Frb;aYx\5* >Bf[KZp.JjmG6S~fAϋ%<~?pTY_ (#b׏#T;`ReU5Jv徖SBi#,5%X/q`lUWh8;s ߵ6+q"5O~-1EJL@5IpN,'7d+i\0J`'DنK@QUXtߌ?R@tFyN5}j42<0vIq6܁bx'z;1=PMsY 5V=ݯhS_ >^G-;$8(J|[Lvχв1bNXS{+''=N`&xyI-Pχ#)/cׅLFurQvM7jJ1v]K\_" [KH mvO'ݻn|(z*0=0*dmuѦ` l+P~F5c,6IP:j85X3^`Ge"gu.YI<3KEϳ 9Af_?Jr&J)0:VQ[pr9lciGiYoA+M䄐Pic~%/j#:ue[ݏͼz̿H64V%!@kE q'up ȐTwOV+n-~_x6iq3B(5gQϬp(=FMzV89CULTV%4=p Vs%H샙H?ݎeULq~_Nο%yYCݚ?yO6TL4>(AgYZ P 7P\'MK HOL-CardinalsHOL-Cardinals.Wellorder_Relationdocument/Wellorder_Relation.tex7zXZִF! E]A-MՋhvG"uIBm5lRHgƀTf,6dLaF)p3Z\ eӵn\&Qt"G(<`0E;r :\;)?azd"cumօa@z름NDz-z,,w (xv1X9._V2.J6&-o\Q\>zl }#)<0%'.-xzPfOb7?4꿀3X0)!>{=`Q;mtg&ec錣Ӧ ` &Zz B˶>H=U+)ϺlƴW}q~SʲZʚ˲^MoL2Ԃ>\oD0?BgOrC+2,M?|$v< u$J\1aj&_i[>J,~Bϓ,F(aYSm'P:L$9ZI7OiqZ"Aj4Ϊ~wژi~i]"~Fڰ[ KE%ửf fw S|4@1׻Hd9 ^nnCVs(_NIF#ihX2XGUoWM85wnrY誴q <=XŌ1>ҽ%ў;$:zֿ}ŞB/uRKc虅kکĴb;֎ ou1r҇P ̡:S҅V~h M)W~eWDNDǸ67/'\l,* tCS]%;㤹&OAr a[Z~SNn_}w3VsV}H9 YNe3X ^r/WOVSy9@=iHV `+Ґ6?d[!dntdvjnmoi^,xOwҾznL%B['0mF ?_9(6iHM9{NyD+Nr Yjގ4%r9r;!*$UA#yq*ݙRƸYf{uPabP uH먧Y w՝EhT*$39r.930{qA~(^ƮֳENw Ǐ;zΐkzߙQ⦛n)hӇ$VJIe5Xzft1 z֠ܵ=VS籘'S|]n9zh cN3}S̉)k_uB` xzQ. 򱷈q:샲^ wN;蓈4AX+eD5 *\^OI)$bǫ\džyA>)F߽xY0@ "]OYQEL|^V͸BA4{GMQf@)U>P~9^HhGi+pbu#H`-JR|RtQ$#Svȓpsss 6J Pw$۞9 N a\I).51m^B=\zbt Eſ[&jԔIo:Er[N}x@qm1/msp25l5iusN™ xm&r({9+L3'`ZXYs+-빦Y0]MUQ)yDk;8w!gnwc..*G( e+۬砫VX9/#Ov01'=4yѓD6 0[-j}`,y}c$e me4ڋ&yXꉞD8 l6J7N:vaBT9Fܲd$ O\5a:{|?Iq*x*?B: ¢Ci<9~-H?pyG[e8exȲ=f"*7^r{擨4AкkbѠ MX,(u;Cշ:*G7<,8q|v@L-l2']&>'?= |HOL-CardinalsHOL-Cardinals.Order_Uniondocument/Order_Union.tex7zXZִF! a5]A-MՋhvG"uIBm5Ń!31 UF e¬e,0v[C⤭H?IeH_OC]˘ËZ>VmtA"]ZmLKv(+`ad'k#R(77x/(sKR6EJOC/'ֈrd#yga2sFm8EJ HXӜB)m@+h-D&_9BSoc׌ljA7j%5 c%lqP/33颡a `1:]P{ީ'ɷE0If{f.l|d:4"td\X}6;0\3bPMtC##-%u Nԫ' A.ary6[Mv]iQSVFmK>&JRO4 cKiH_nJJMHp2>SHnҔ$$iDǥkw  s_~x鋯J\vPG*N. -PbHqT@}̘lԞeKp 21$>Np#9cPo׺-TF r e~|kyj{0ޛ0OPp':I-3*Ca U&鴾?-#[V d3h]~@?NB?h,%h/Tyj3<}|6}3HF&ZEI4>U{IY DLe-^JTdE?s/\@b%aekvdه{%Y'ylfna&L4lqV4D!4e43q$Ru]YgKnVZs4R^@ uA!uhjxfsEiva}~L @6t[%zvդKsf>๫eEcu?+decą3N92yYa}r~gxi7V:,{ɵHpv}QYpr6LM0!+%^dy#mq)ՊI{4V8V@7C1E5 S\}~L(1 w[ωgNj` 5s#iKv8b{d?ƴ;TK+1cei݃v}=ܫw5/"8?SofܶU+- Z- #g%qI⪱I-cI1"b$2>f妮6W*0yJdjsB/60/Њ3qf%B{"\>V&?I췳zbSӏxh6χ-"\9+_CTBj3[تk@Q_bf )'hb'+[kb:COw%6$apLLjs&}-fRM [< q^a&# {*xHlVUSn źyH;}DD^РMyuu 5D_;" z}9gH<#ov]h<(h=$Ea yfk*~ O鮽Wl/!RUoݼMOd66#T}B?{3FO doZ=pr3Y?UVAppFݘ= _(q,E m4ˇ<ӮNзk<:=MY3Do& |_k>qeFҷ|agQ/1]ىo#bՕS/}\\^2;߶#BhY11UiaRi2v5nV1QoʲYt3: 5 nnNM [5f.[W`E$2Y$'[>Rp;VQf~`xUkDwbHWr~l4$S;=i>x{'I + s e'ܶY+(F2Hk;x}9AV %VZlq5 Fڎ'X guKk^<^aCogihVUU|S1c.Ы(MfW&ǂ[B'9?[!lO5o`I`+\aзnoQyI;Tazk>;YC*9L2* ko)<.*CL2$[#1Gw[;Jѵy"F?6-Sl!2v@>:/W$073n !G: MdXkUI)Da"Il~w&ޏxHV>Ў%;ėĀL o^HR)έ2)MSc`7+2 ,\(68,N~Gȃ+(-s^ vS{:KE5,]eӨΌoZ%STr䗮Xp @ꑞs﫿noӊ&=zm/5t;u-YA[ %h $kqۭ[nz(-bQm3IO ^1)N-<[7\w1\#<[5q\Isׂ6nƋ7C3Y6 :uoZ"juBhN[3̳p2G-|lu)}y̪;QۚJ9A#~>OM*-5C'Ǔpv2Ud9ʭۺgcyMe?S-+fnTHTQOxl$l$#n?ُ<#v6h=6-Yق  o6=z$tfUU\_ޢ>Tp04X ^!3ɒ2…)zV2g~+6&= >VP᝜<JQەBtX W1;J2f.A7{:,@z]Y5!U~Rs-po{::OXfy9RxGul?#L<|W 唹Gil]I\B/ `_MEVAM{FfQLc@4]ZKy$FM5dТ?wF%%n1U-sm'v#nڸ :-¾]$Ħ P '$ 7W !RҪ(q_fK㖱ZA@ ]%p";2IrLLrem4[^?*fG A.qyƩOfQGc/ʱv)_ʨȥ]. NPX~۳Td_3b!G{/S-ɣUvȤ,,`0hAJ/ d .RCªGtk= 4Wѓme !Wfϋ\| ~}gt""%&%U.Y?2#3 cVdVD+!`*8ЮtؘP""Xn@"j [s~pFW`e."uX;?ӝw6LMy-=pơ`+mCL 9}U-1 eI١ע7kŸ")z޾&ҴŘg02nNoK^9yNkڮK]ULsQY?0h{:M:-8ro-T!R L0{mA Є`๻~0H!M*ɥoNQDž@ԕDE2:y<zaqC5 v+V)/PLhQ}"-mf/% 71f~dt=6QۡQOQE$ `"ϕWA%|[LZ`PɢP?: 1 0Xo~+ )70 aqF| {pϊߚHh?ԔKa3yR Be̒ f/h&rO˵d>IVV'O߷[\:?@ݳkqtm?QbB@! emqַ#l6 )m괆|]' ;IxcSF^ʢPzT+['Sfr;G%Kؾ0A1@2JF={7h]hOS.QB X\Icl>mAD\SLw;Y C-"0d-<)O 繤'Ԁ  4z=̈́Ҁ3Q (N!ΔZ ?|_EKf6vRk.ơYߨ3aׁye#GbKbleL:܃]կ{/kQ=zJUɚ!4 &O# ]yN&1K!)Ekf=cL{l>CY\_e`J6z&s`}HcZW)FUE*1cJC#92>z .ގ&\ބleW"]p@]ʗ /fVi̥R큗B0I^hK-F (~%%^l7qnN,ܘWza\AI)7, 8j@na.Cz%t)Zk=̉!k/$OVTa 9z9A"yC#SW ):mo2B=1:WBA\`ߍY*!='n7ɦt*-&dGT%ϟvCh%=P] ?wH# dG#,=31^>ŁzL! ]J-P~q6B'ٸ#d)\/H 1R} Y!MF%`LiRw[ugtKC_+^uG[2^ N&SY=MT)nɞ䆪xI.$}6cAt89Ra0Suђl~\6  94\Q@~j:u캐h10f4Tf9QD:>*tikb9g/JqKLM"*3/؃'ezy QWeFuoJks7 >eMaE󐡚Y;:)cUD݋b T{0"n8 o*rU4I qeMaGT&_.F(;Npf3؆ݔ2ЛLydM;lXd“qo,of#-3AS G,|428Pd:s2d`":Jo>sÖ-? 3O~vrHԮ{$?U!(O%"ԛM(*zTS5_`FD޸qAT'-Mg$ CJfjûbdy?*Z,JZs"1 }ߡJ739I7I>oG!j @,>įq/OZ\j:OȀBe+߽d9s v"FN2ǵ\B@占Xp,8YcHbS&dZupDϩ=^dc/d ,\l0nKu>(>J!t:ώtJ<\4ށ-(W֦ox^tםX8cTXާֽ۶<ϟ>J'Y3Q|:ֶWB~cZďʁUu5_#ˌ3x7ǔaX\vhe(iVbj\RPZ5D?]ND0bWXI"?-|lxIw%e_⵷y{pTyabBֺ9(J .^\%)ҒEy#)q,V) 8!ک:tIp8 0%"I]eUD, "=,l'$B= deSU\SB*+摗UşWRP4s(%_ R*5JP*ptI"Բ:,64֋cvL-CDI8Cg}XTHX}i30q} qF.9 l- (f uta >>ؘQ)-S.nKoIGEq^1TST.2Ҏ} Ϲ⃤Ji2ΥS)*WVw:]F݈df3®#oMY~Db79õ~XKTOIz+I* %܅ պLjY5N{ Y .Hb`g64EtdoʼnMI9{txyx^%(F\Y%MH?']PcV[QL[d}'^v-ځgL+p@Yn& ":ka( ׏T/wv&<DHyЉ8'4E goSg+hg~)nRDrN4JI(8#nD1&(M&dʁrX((急kWҗJ"&F*DitQ_NA#VVڪ"lpdCW[{dT![XG;$t^`ngʼnbGh&l0EVz5yi9c53ehY G_cc;W8 ][c0QQb@ t pøLŖ±^3~E RM!@}jP_ReTkzd*I%U'5@<_RT$~ŕ +9ќ3M>V~PllSvhMKlSč}NR AF>B<4$zZ},o(c|(יQ:GT<50bl|A_ jHkp vH<7I{1^bhGuWONDfGt糥t T!f3{4J-]qw sʏqyQvCs|EiLȟTa n&D,| J'xwȫ]øp&(@ G'gм9 2v6nʀuTabqw.i'bS%o4u`|`)pf $Rxڟp, &38[a6 oib|m) / ˚KZr|8H) f+ CCM-Y5}V#_)[' MS-vaߺD\ב4+f) _qrHF!r<{ojɩ)1~r{uD: Q!GhTbC.*Dppzhm2UP\=7}p`'uAZnl& o4FSBѷG顓YCV@Ӵ&t4 BdABڣBukΞ2cM}j3 \[u`ɦsmM{Uh1ձj8y~x  %+zguQS]>fs6Fi NpޗoDGj s"(A߆z C B>_Ob`)kbK]8hKj$;Ay]V jo Tlm.}^{٠SL^#s}WV0Dڐ&lˀ$iebؼٺ`u yka,/yY8h>vQ \PgSKdI g0>v1XdEv6Vwh pƕ'KE(m..K1Kpzu`yNvW,c[+']o)򇟛1`K1FR~|\3:;7x*^4i}ܼi+Lߣ%j#! <ّLE[DŽqK+/2{9ڧь=>3ؼ}h?|FwPU1L`/淋}Sɾ'u`ҭoy!j #6aX7'K*GL#_ė1eWY+guȄ|3O)Qn @U*9fR5OdqgotG,yY>F$%m4'xzPLT2 VčxuXvvHX1.¼ cVe¤d6b;2PP@ԏ?KpC=H]_^1igk-㜸,L4Ⳗ*f.`^9E:. wa09wc4'Gq|!<]f>iFT{Q^о b08 d O$ͥ3KM?щ'8#FYFg$"dّt9si 5iz1xnDmܡ%}fqx̌Qs[*JSIJ]D7( L[UC&m=8,I1TmǟqH*Ab[!noفh_e>NkB횎B%bj $H4R C/HbdBXઅ׳CZ|w Nǚ1I\<" LRx䎡W>fYiifw|asAQVdRJ!HkV%jc gwhMuNR֜Vr@S1lz*_7gϱ0eîu%bPA;Au<^±v=j[Fxt$QW))4>TѸPGgYZ   ^';9 DHOL-CardinalsHOL-Cardinals.Cardinalsdocument/Cardinals.tex7zXZִF! n\]A-MՋhvG"uIBm5 *5Bn! VR]Dm3w߹-qzg0b#@>Q"JV SaD?E `ءt{h̠5iN7߬(IXT ,ӡH0B ͔ Rc[ɃsX%^nP'D YNc dWw5ӔEh D-AKu'-OU2^5p6zMW'YL#3\~'d Y:=ogBuXyZd^ %u=~Ae+͙MT lqjݥ QbG#ztjֹXqYB4^h@M5k̒0_OdH;Bqg䞢틥*!5޸Qzmx?x槧Cٙ@)[jZ-FJP+9xٜtvĐXC) U{ gTbcP281xFl k!/%KM cCD <J=+:4j.TluTLU zb:ijI_q@*W96*;xZǢGoq;uzi=Au KwM[k+ XßcNBe3zB-:?`tO~1>uګYn2%k_ 4Q$݊ei"w[2?7 ߮Po< k2N5<$0B5ԑYeU/=9 e#J*gRv ^^\2-RMιc7n fA5.:R5!m uf۪ԄʥZc1(fUXiWDbtX= fLNU7xʴw (^PUGA;rD}}!<4k _RHדrƏ~l@ȍѡ 'aVOUWh'T?gw}+&ʹpJ)N[JE72xp!M1}PݑU,!NaJo9d% Tt`HlR 5l}go'-yK LdrkU{SrjgCӚ_\llP P]@޿՘1QH؉YNNm(Ois'hh氧^i - 39r\h2O/p&=u S8D:D/<POۯPG)Մg6e9 gsr-J5?ަe-ZI }_whnLS_x$M["~ T^?;-+>``Oy9EZ΋c{p ima[wƄmB3YOcwgP9\tM^х=#V#romԋ7^>إOcb:"h#mQc$=!{h4˗2'ä+FUMu;g K{pQםxbRR^>e7THs6K2G l%)`ŋA&_Dwx,1K_&ļ2]Uw 4*[lQK,~f%SXNH8/ٌ@O4 y{䙥65 .Gش @ji1mjkVPEp~kak&dbTAtO(yYL$ d1De9qr1ͩs+ 'ʐAŽbέϿR:qkŬQӋiǖ/R|nԊ\Q zc yp]>].6onPӵ$bTN)>R CvGFaadIWsz!j#]B`'%&B*SuU.]W_;wjw㿦 xPD3Q&!R !cyZK-Kn(rwD_vAǮaGSaa0XPl>K"=e}Tu F9q{Wjz~m>&ĥ+lF >‚#;.|*O}XK/zw8`8z=EbHAFVqe[0_`/_цKzhv7o ;8SU1h @qիHO4>#'gRE !L?i|(Duc\2Q0x)mEzpN)AXz9w ccvuyP0q lqu 9' {VMN?Iv3&An3mcKvC.Y~ZN]Uj;i4@Dd/=y̑/q%Q=0IzM۹<ї6#|kЁjNj,{ܖ$;ز4.jp8h9QB޸ҵ7TSݖ||}Я [72urj3C-=P؂@Q Kw3hWU%zhaDn'/@Xx :}0w}s+.Gڷ_Jgf͆^>>iZi/|$(ctg[@d*_iww;< v(ܜA]=c^β,߲A ,?+ T HУRA^8?q6a)\>{s(.Ki-NFP0B^BodӏrG]plf LcZ*Ls*uO:l[z;8]֏ԋ@jǸ\Wh5r+oER:zbg 2p*wC8<ɇ5 .n/Dw|AQa(NN@FL?&^Wؒ 1Yax G"CYnl~ &k|*54Q\X%cC?-XhGv$r)x'T ,?Ew>7}JHR2I΅@5Z'"؂1{2`2 X(kg2F{KJl##= y zD5=mJc ώCiYA4^Jm)p)EEp.݂ktf(!c,;DzAi&6 'OM LHOL-CardinalsHOL-Cardinals.Wellorder_Extensiondocument/Wellorder_Extension.tex7zXZִF! ]A-MՋhvG"uIBm5lRHgƀTf,6dLaFs^$_X xxr<v|&M$`p)suUiUl^!%B '>^bs;PtPaީ6jIq*t2^kX;vbٸYzt=cQqe. ѡAlKhi~/My !L[LxĢ+ ڋ?כR_k<_nǽD L܎AIyΔ;MP=O`^m.k7F~K4%8eszۂ;Vn #HBl4_\Zks mi_4]ę'_J'Yc{ɦARb84J3z< } 3JWb T'IS&@n׍Σ n:wcew@U擳#ل$I յW'e[xbI oHJչVıɠg 2yom|iތFqy ٸaVy^/FOu$+e;VUo}:f`oUEV9Hv )[Y!gZFUzn N骽\Kt3,8yfRPڛP 'IG HOL-CardinalsHOL-Cardinals.Wellfounded_Moredocument/Wellfounded_More.tex7zXZִF! "]A-MՋhvG"uIBm5kA?PѣTeYN8]*[pEkWN41-[?a3G,W [u^w/"M?-1 O d픪LY+9tTwh2(~?R'Fha% 8T3Jlh~Wp ԃv5yc0ٖR$w;aFGW5T#)?PU9m7`{F4'5620p%rW plį9'A'F> v EzgYZ=J]~* H u/z&(L}M( s>2b C;9E2T0ofKS xCR~9!$}O 7ۖ**ݙzH.Kuj5-X@H71H2PtCSKzX1uY$K|0LI(Rײ!_ݢԃH+ b`L>*OdTfu"⇼{&(T\H:O"w6u=) Ux c I&`D3܃ɕS;A5kNXWA BRIBzpo+zzIÚdp}\̌96V6#@<}aV"DEB{!v: 4bt|x~1EHc%_V'SiyB:;cw)ѝ0[<z495SfxlnUlGޫ!FFUZ6e2C|n&͑xXUaqJY˜Q?7L2b(BM:T0-H)l%lzOIfÉō'Vf&;pV`N_BGAU_ze|v'yܻO< xq6;~<;  $ştהGoyxGǫ0s6Xd!BKC>ͦ% D Tp$UmS?b~$ݼ{Zv v3[R̋mMcگ!h?">mH9Xc3j9:~"<6GZAn{L}սe˫QI!ę(jK/ۍE]p RkqOm'xAD4ϰE >o)D*O2ύЁ*9z&bbawk00jNnј0ƺ0J7+J<{WXyɓByfؒѨ¨xcQwSK<"AMߘ%%3KRYr&LZIN#\ϻ%z!5=2hɝid bOKĦQt~,mÒI?FgȖ, a2 wֳ98SOS!+&tTe%Bᣯ#.8\hKhjmSN?O=_o>,+t/14 ep >>n3a}[ȏwϚ 0X,U< 8YT[ewFZFH\Z RƦ|XQFIrb:K(vS)knt?o,P%HiG`"YQubO"焢;ڿ$KAc^&riCKd]U&+}*~hq.CP£W:Wo _Ey:e&;ۦh"gqf&UxY'ˏw%y]1aULsq+̗AMj#Puݤ>?h<9,rD").Z7;'/Ng&6Iۂ[vnWeKmFpA/`# 7ʢhq?Q b.J+¼T]=YFnt{ nBd{ v< 6E(}6M$DŽΜn y;R}%`MOp6DzyfŌA!Dy"Oڼ')b Rn쥼(N2 g~cMuX&sӃ$7WIdw2q(*QjoݴNŽThjXaE(#Mu6]yF疭d"&fsat=zKG!v37ӬהX2nBzRH|Lan~T;'H֫^~8i ~ږ玶!8@ ~ɑǧϨ: LjrKQ6HokJGE.M =rWa]]xjWzjm|?w%<@K\~ʮ)%%g=o/v]a.F/jnv9b, M2D8F&Qmp _KNc2_qRƭ$p`cJ_ a k;#hԡchc.dm,e7ŃzQ,VǮ_ s/Gu4]PwnKtK9U.oY@UG$TP k,25-އ'Kygp'dW߫<븼.aho@)/g%AwSY6 g%hق ے gc~k)"ίp|Iq"favk4kA.ȶᇐQhktخ"zW1lYsWgl81Tk"^Aם/"3O3GߥkYɩ72ؙUdyXdkcr# 7$p9y2mcglJ6}T̯ ]Tܡʑ!fFHHXC0>1ysk`.n=wf+; 9^!SOˉ2 7`-/1G'_ݝ'> e t-@dVE"_]" O"=+֪_}0g<n+ruY0:yJ]+Um|VSO )w< tLysK|z `E$'kH] jՈޏ-!Ѿ&_0kGqᥔ z k#%wB䮬9nr7t  0H,DOCoCun *&hVOhHqk>6?iϿK\<ڱoe܄+az)pp/F;}(n+M-w ?_9Kd ^n<?mzXDdqIqlK,v-v42~(reC*\v3a"6}T *qm0o[9qh,M_7T@O^ w5WXPc_:vf˒*Gn$m]4$ݑqB!4onE~v:>ge (֧gUNxt}"3q|JyIbbXM&nL[sKP; B$:"0@ΐI t:Vl; %QDT]S"gKG5#rآ:h]ƑB"jyQX Fr?a0?ØS'bǔsj{|'4CYūo n%Sn$^Iv«/[Q5E1s,h{f,%>|0)&1|gYZ y1 'N]#?KM KDFK i嵆05RA7,SĵG0JK Z9$:T6'_Kb߿Paͱ_಻nop ,8RèufۙFzFȟ1!^ԋ`HiyY4MK0n&{173#M귕#w5+fYUvp1+MaΌ/Owy(^kOW>٥Y}D>npwMTG1/KsnҾjdi& ~xȒ cFb[5w%ws {ڪet$%;DV !-@v''OcLcfl9}iUdp$5Vlv.w>wwՒ.lؒ2q=TG*"*%;>Nފe5vbLIJ {t+zZKVvmr9pVwbs֨: T4+X:lJ+v\.][#Q*p̈́'ϰ*gOt=l/ (vDl.!ԃ[O~Ō9 6g1JN.Rt2t3g S==|;MsʋvbF#_V߈uLR O]o>aHj?yz?`a>qmE]n:{mE%)S;mβλ`k9=YG|`Y ͬ~"C?fwVn_(ߟiA/mmj]F#\sub)?A:XJui,7`?;Pnߴ#$4ln{Q2Po~H7wd<:>$\[p|bq Pf`~a:12]qK>murp/ZG] M9/x{:رAL I f{`r_58; &G8hh5؊QK~::ˊ '?i1xQXc#amHT\o?I`հ]B"vrمtV9_804@j%m $e3 [r˯'aY*q 1o 2'(/x܏[`Ֆ! YFJD4i*SI@d%LC{ J`kF edĺ ݮDw]үB1utȆq9x@wZϋO%0 u772E7qlʰ͜,̌eqEYu_!vUx4 )1~o.*vff@w9vP͐1)_,/AV3YGNo= dulᾏBEes_QӋ6/TQ+ޒ&)"ZaW" 40/fn~4L8{)UKxt>?kD*/& lF}_i*!UA׋X>d(z}J6O.TEb.U&[Toqx$ih rXឺK[a@D!9"wVur2%؄ |u/nLKy0/;z$og;iR:3_vnkfЦiwG{S 7}vET-,lQs81yHZg-!5(q@h%*m}8BW=@$Vj~uX*>u1ZA}6t ]?l=g lDס~ARP΁%0֘*A@\ebiTC- `Ш@+a):iRMzxؚ- n2tTUb.=:!&V >P>c~ %x|1er0 RYJ jq6UY,vlb4#%`45c5(W"I *n/֏2?ӹ/-2鹠v\ܚ. pNҤ/MJ'g+*su t{E9[y?2G0.s;yPܳH[>%vqb|}yECO@T 5WlJ8@+!]ȴ6xu)֞EOl3*d$&JqQC‘RZ5̦^sGK v:W?YnSz5ecb_\6U+SO-͗3XIb"|}vJI<,<È$9r.Ph0l63M$gJoO0pkϣTpEf1,>n?kNE:^NG|mqϪ vc-8V~R>F2"?gS9/.ƥ%aC L{̇BPDt$۶$]G! H3vҬ(#C_AHުR(9@vm1oN i'9PX[K δ^lC*:ٍ^sJTycr:ȭF-I|E3:Vr7:BiFS8,OUx{&;C+JٰT 7\4I3KxjW6 5VE,ѤwtZ: s$RLiD9ԖR9' #3܌0=&ƥXD =Aܡ5K|Q˿8mYAu(Q@2rȳp?]gJqyod97dVpT($&VNwMhXQbϣ}f/=X!3eڤ0qi#Lj+֊?{xnTNhDu4'XJ`K6M4$UG4o [[uW˥՚5)a'\֢Fe/k2lv7!Wf-WQUJŗFɢWI~2j}ai,>d c)i 31S"ЂqT{EJ(2o]b9֤f0F2_8Pu#Ee-;XtQ]~Ga-Tʽ$ۤ3gO!QFևA(!zVސ1svrP~gi4:t(~ݛ ( 3v7 M?jyF+NT3 P O5$6o4gTNZ=2b/ssZϺyod7r@ {AHg f{#(EdtPkiɬ_&u]vl?h*EA>vQJWż8O(>%!N:+EӦ6f;u R^*j0rFl5nے!!~$@/AL&DzB8 DS-r)%̎kt0tr& Kl 3ze}C8GsN7o+H=&iW;ljq\j>[ݩGߩX #jeKERsghFh"vS+/,23܍2~z#d@BͰBCNU>Pha *608s4[ .&@a#J8NM$W[,)_oFjҤ(uouZ_} XVd q1?V7j`ljSztý򀝇?$<urKp,xx iwc`ܬG`[j--{h7^TkyDpOM@~a٥b;w1I$a$Q 3S1zӅx -)”dmNSn_M=VZX:/kήDs=-'ΦQ"AvLMq@Yy.[ 9NeeC*Q$3*FgI pyv4uzi$X;B*#U^GNV؝| rRKZY˧ݏ$RN__¶TE  70azSK~l ]vM M!n$ۚ|Yzz4.p =QaљGj̔q KO![-ۧ+y uPe*gK&$(4\搿.c?WiqKfh{e7CƲǐyNv wkz?1Ymt,qy/fb#π,b?;#cvf ~=|6mygaVњk14d/?/Uɹ1gX-'_.\끜?\ ץg#'68^: ae~KԴ(@Q~m= B/{Ћxq5[lx]۱ql$7k~Y6YC\?^8+{LL+~IL4 LRV[bo0 7;HRHBC㳚fK P{p.e[Y.)U0rqf C'H! I`0oI &EL|t:$F@PmsfAp1J=EHe7|G}C,;a,./6.Vmrµ!K#ru9A3}]SEZ7WJy ])e㊿n8X 6F~di  ̓lCf#Je6s/_0*M8>|YzU LdC*1%>~̃l89H#:U&iH|i ^yNVR_ዽzP|t/&M"D̈́IΞ+ 19h93ݙY|H='2{Iv<9M VV ;䪬aZFz}̼[jġ2s6 ,] ߐыackS'KQJ^gTo0K(6a"&v ]]*9=':vN{:a[+=; EQmEmB5_$p^c ȕ{+e0; \ڳ!K8YkYB[n9))+2ajYR0hjB &HX=m~DAimq,`Оv\ifCg$qvBL;ot'wٸgڟ.Z(SbŰ-?E^s5݀I&>U@l/ڇB3%4Un}څlX  C5ՅR9GL' gcs{PKgJG p9r !(^j\EE-XX}#Ʒ:)P"[+$aҋe F|od~%amI_{ӂcV)g&ɾ)֣$. ] 23AʺS <6b7RtE6[Ja($+n/]#.{$ ]< gC{Z QrKPN!@m& g(G$ 4 nwb{LCwnH)U u:6W86g*2fDN-FGb4UE$,DUoVxA ~PW6Ʌw(ׇ~h+C $]8o1\}R;f)%bIdkT}&Zb QL1 pzC˱iV*N"-'F(Tr{0k͌g|H]UUjhw7gdɻSNquh·H`72%аa6;MY Sho=סu$B i}EޯPbِJ:7lz?ATyIVt#F|]B%0ި8ݜ\.{1iLz UʦELXy,RCw ;ď`-29Ͷcͷa(˅Fg5o %[l]MUpi۪;,|WCMG[~T{dWr V(j3LKTq(m$ߣu-KH<a5#|p:-yfN/($\҄H𾡕GkT$+svS}MjY\" eP褍F?ưM{.u"qv5R/W^It?8O ə^( :e$讽u (4N6a x{1KQuGCX.>Ig?x|EnY}wzqd ے}TVTaJ|zӃƳIݱ߹f?8H)<bq! _ C#^S!*TJeiW7 >+ډg`O7^_ĜlTu-a/lQ֙{~y';eko[uT.t|TE܋vO"f3ɼSG/ CŷZx$Pn+ڵXxަ9Dȶ_IYCL0lUBUX PZ/X緮!sbUp1FvK^r?뎴, EJ[(Q3qC2!K->"b߮I isy7=/#=zZҷ#<@[A H0:?dh|8ɫhtȤ%KH {!Dbаs^/Xn}3[n"57x''A˧v2t1"B0z^EejZ\*; x  L>|G)rOHOEὀz8pGpB.ĦOcuidI2/z[1e :maS.uMsm y Pd>좶vQ L!d'UIg'j=4J4|`/!=0}:2Vj_˻A2QrMt%s.Ԗ8ꑳhNxN w;j^>~!h$'u SBwsR-El7ڕgB\(e{g VxiZ˞K̂=q&y+6* nK!8T@R %I7Ec:+)+l_rKtD+5-.dM% 6qR4žF͚y(aֲwR%E&)*%^m`<=#n8[#"uɕ|IAo Ih66NcbZ`eAj""yKُ3G;R…K Ll cSNh*_H3gj|܂9jYour& mORj#Seɹ4w'p!%,z5bNg.E.)d&;|p`po sw)6F7ŇIlTo+Z2}T(Pי [򦩬( KgPt+kʇ\}x$(AU}O]5JDԛ~ˆ[JdhP(s# Z! UZ@Ns U\gV0prg!qM*_Ns dB~@8Jxi{2CZf.R+%{ AYIcٕ"L!f /N⴩,5(?Hů U2yl V" .+wW7s(%RC.hpP3I/>ޥ 9"3cdv4XH- s}.a[vSUkd#;wtUw*ɣ1'y]MLhC%' Rւau<eeUmJGmvRDf?4lNj;jhne\ T벻;i%gldCʻ uے̎-t2Q2 pWF$sF0CSqjnT6 :̒:+I—1g&ZZ]6e*}'ŋ8Vχ:ڰ%O 2W`W A of1S0rG%4Tfφ)-T(|7 tuyf~W|ўH:ZYQ.z|&e3PJbE=I.27W`>Bf%Nic^XRʣ >6xOn*ᆱͅy1[ [VFjF‘pE{-HK/DnGb'G 5Y>jd:żCxO H,U0(dvB {Q]fo[fJ@B(A<h8VD4Uu{L:eмcd[B>^xY]T~iY_0eJdIl.NQ piL\m CVRSuV[w2m2&Ʃ(gm$B``FYWq迤K9C4k7"bR4L;||%J kTk )tnT0sn_ϒm`{.5oMőT)y͹S@^i ̙2ּ:M v€ű&jU~QJ>"5lVuD}D8fSrɀƫk`+d<QL9HtG볗|47xLokڤ-- w‚e?m*9ô뱄"tiQ7\3ALs<+! BBۦ-*BȻ%զA//%>ZRGN1 f(JyC 1Я>j< VSlaK@&@~[` P;ah}9Ҍ40Ѡwh~[ۢ>xUѻΎ)s]I'׹Qa =0&"h&rb*= NbP0zꚚ%f7xX hZɰg+ F`eMEY܀7TϷ4"<=-0MԄ췮E/}p\gVF2GRA©U}E9VEvLA&ಞoO~{8zlMņNLD ӈ`< / My%jrl7џ{ 2eV!ѥEigi/6"(:#_,ʧf^D$>,QrKU~[ (Du.-E1^4" 0%Kf_km22n*f;Ac20_@;E])ߋfіj>(]x9lEDat#z2Q }%!r H}X DQ6LT%n@@3 Gl1}h9Y dҫ%35ɂ`$qvb/rtKbNݻq(EV!~'6mPEkV6fZ[z.St 8*e!sKpt0@7 0NAxA!:oJ Vdu,6Z>Yud@kp]+ 0tPQ|ԕõ57GNƭD=c*nwԋXYD }ys{mHlE-cj;,}IV%Oe~'`ی0[d,5,7GW$͞+iT2d敋R1Ddޯ:7~O3W\zv>DGfcEdS5p ݖrA:X?VBUXKN1x_1ѻrC`K[Ǧ~n'k 4Ć'祁˟3_IӇ‰ױgYZR{bVƏfz-/ҤMAߏ`tڸ] gI~KĻޔa6HKzXbO$߄vqa );.TF4mf 1}d- J!ݭۄ˛EnА@O<fK,kb `䲲2ps189eH+^C^Wtzdz'> h80ޑ' y`^Zgfn^ʞ'A~d>eXɻ%kj'>XT^h^i': U2aIMoGI[e5W˔1NʱצnKKszPNz:͡z[l7.l*|`{I5g2w}PYN cIN+$9mƶ@BRQGhyᡧp {]S~ VV@ُ*Zs-]Umhϑ7ѯ6O7aƎ3ϯ|?ɘʳ1"Q~F̴0N^ϖ\1 B AW`@řp׎nc"ĝ3HEdnGp'm#\P O{?V:-$E/-v%:|. 7 ]mY9˧~}d. xt]5Ǐד:#i)E&nyV,F ;k:ȤA.5Q:$7L:+?Y䕡k:jb\vk5HVӪUpޘ`Z+؍6-e#nUtm!xՏ_GzL%'1wr旀2 8螤*V1џ >]v뛢"D;C0VVcwۇueܑ Y{SLZgJȮk#a>ơc4fҶoԉWf`K&~$9}_\{iH*V+]va<+Qe@ 霂/G?/P hwhƬK3oê;?AAEvP"&<} ҃*͜f_{+`zaRX1`hhǼb&) bwEDe/uĜWN{m! g$RTI-3# f6笴0:3xN$_8s*OIqsxpؑq=zT[+Ikuf$7sLa:}s{1{ժ%[tKľ9ǭKkyob l> +kF[j.g/ճ{[jG?օHlϟQEpQ߇+%8/j ˜<GS`B|d 5rLVts'Ay[L]y!s DB00J;Ǒg]G=-pBK%5'YݼFֵ`tϣBW85rU:6Ӯ4-MHe ~֘#$\pENЮ1Zeo (i+/d INXI<P^55\Q@ Xc'.L#!3Tv+%oa#eHqtē@$By x*kdžF^qn.b*;v옘3ź!S{pBnL-OxOuS/~҇_Swf1Nֻ̹*0YZP51Ͳ'ua1j̍ۯR Jo_ڿ0ѣwD\<_jߔm/F6QȰLA^6Z3(_4(@$-|qBWħhoW rnߑ r'0Avcx: d{{ZN1 lǵm A}<=R@WJ_R[ɴ^VO\j8niLf~(YF:Pfam}x<ۆg`-WIQ@hi#3rт -Y6r\G[?}3WFzR(6xkXNrO(*OC{L. 1ꕬ,p SblcXtNIw6bi8Us8vwwG>DZ`{|d.&׻+swoT+9jPh4J7Ɉ>B#HWQHZaQRc$bk JCx?KbSӆź O\Uc+-\Ŵ̴y$JfH*~+ OHXEyb+i"G HŁDhr(9s8<}Lo^ꖲeF mJD]_$GIBC-XVʏkeBƑkor"1CaR a}3SErйt׼q+؇aS5B=Wi\_4:%3.Ae 9T:_nJo7+á5JCicиg"k}W)&Kx*Y[8ٕ6ZB  \_!w-"Q4wpsĞL)>YYV<<ϨcG 摳]'j ?O\,H;iP n:q =JX:͍k({gQ8xC "M= P,T!DlOmA1 [V= KcKʂ{0Oo pʻc'W &,FEL՘MH:>wcAsf)"U 4rQ;aѯdX)^{\'ѷ|X[r%ZR<( 4y٬kUG/B#D/(8XLgUȧp5}-~ɸԱ |oׄ Julo }!-a)ZZ?|vR5P`;o6g1b[P^Z-bd~o1{A=w YL ,g0>Ln~; xYn_%ǰnˌJަ/ {L#;r/&#LTsFmH9`̓88LotۃPK([bwWWAwA?=Td5c C  *^Es^ 1DD^0FAOx3:V 5;Y޴SNz,M2||O=Itu fnoyLb@b ]=l (uAV6|m?sJtzR.gh`rFj{mH!jmn*yZѶKƬ#SukZ?o'Ts$+ ,N?[o<qAr)΂Y`\ ͍̽,X,e%E 7>'~9vz{&.BM #y4>G/KD~7L< !?!ﮢQؽ4gPk=/_jF:m+_c~QFk?J8ȁ0z5Zzz9 ctXzk4yiwaq^,WFCQYC} "> ߶Je_SvߕTdS5e[5?×4po,XF _=i,s`Z]^ÿD 4bKv_7OM͙`;$CEcr^OEu6*~c[ʒmCzBF_|rtK)L™m1Xx^Y0.K'dQ (@ŔʲYb9DiӈBb@m=0#Y4`Z\_gEѧ$3W̾"E#V9m0ZqV;d(P蹕xP`vR`rJ GF!TL@W~\t:y QA3Qfȉ@X=!iჂ:g ԶZ .撊dzW1.ݮYN}6{0{ė5ao&iޠW2Dm_tw &UY' C.)PwELr<ˢ^`Rnu<\`ʸ7>.e{|7Lg8CF`4;0p~j:rYļ/x %-1U"9G$1w!H=g&̈ _2HrJF|9U@,:m֐zgRvK'trlެw綠~P" ˵7u`DyP{cVy6g+GۤDd>!F]CLV;#d hҦUQkwH-|6^bTLIAa-S$se~o4_]M}zץ K"!ih֯)Pxrw,ÿ=<#h1FmvD {دfU6SUaDe5zOuɊ8JoZFi:,ig ]| g2 HPH+]^q?bm[cXyJfDvJiQ 풧$*<4_= Чqb LHh\,K>Yᕹ0}v}FM[CC&I+=E[~+mU_!?x &cM&NXNAu85 /$rl4+ -']!94 #!*dבmS tI.MZ̛Z`n2A/[~?i*N-Yw(e"LC9:ϋ%Hbw3=5MKK14رW OCw̛-8ďz͖ZcsҚdoߢ~.έz-kʪ1zj]3_68#>N[ŢdMҿ'C]nCG6#i:#\ ?IRخtb;RZxLdʟu2ef1>fO(Jva㧹 5W#_'fXUx%^i VsJ2rW5m@̏Jj_hֶh!J_NTث%0O>d(~Pq27VhaV' )V;| Q5\{uPQ1WLt> &boBfu1yNry% l8%j43СLpR m <\1F,k(qh"P'k1mp_%(.>%J/ћLh0J=v囖($OJ5\iKɊ45rM4'ЃL6*oMT[BϿXؒIՋ֚XԄyE?%q{})q%ؽ$J>ʩ FG0b!Ԧk':v@9bƩ+3gӨji.}Yp%K)cԹ@p:OO4Tx ,Xgpg_j_[[ .)js}O@huV,!N=&|'q4)uϥ7[P*kZj҄_B`iRT%)qqBaK|uXun ,%tR qW:R]Bbu մ,W>3XȨv\]Ey\dKT½t:w> pi/*#B(V0RQD6oT8 KHՕ4=I4h^ֈf" D:DH7Q"?]r)cBVv;.넻/i`,'Ai[ _(@AE>3&9/} ij fUd*lҡQpaBr+"YC Q2,&qCm2xKzE 0Lf<؟=E u9UVVeʷ͆VTG(4Cc9]3O"@䯗yi٣zXypn[3$Щfv:&qtƜ'櫚$+8n N!tF܎)NB()pc B9/)} J'!*!Fhs,8, \5 َ ,,g#A YnMVuGf:y XmaqB>;,Ғx?2|M6zd6I*:8 RV՞۞e-AѾ#iFg7~WWK1#ag|BO}``jܺb2E,+䟍/ݐ.zm Y٭"|As @>QH 3Sŧ@(ݨl u-҄ |T J8kAcb`ZiqؐÊ6 vE™KgjPS?x@_T,{6XI 2F(+v;8? "E$;LP$ciM<:UY/T:]9 ۑNNs>g,}!1Wlδ3wФTBP@+I^ 0A)co%;Pc˩<5 _j|QO>:,DuerʹZXb?+ \+)tTgu˟;&ۍ]v1zZ^-3v[!#- QL1t)`aOXnn`XƎ&|J+B~harƽJk c/#^q])5&ooʏ~!I&뻼n׳#NBNb8G>MBxj"gPÿ֋!U$ah<Jvϰ#8]A\1ܴ)Fo9 7*8o5[ |P$EP_7_CX+;u%)? jbk0MG97BDFf.bL?č(9.ƕDEJ(Pfy ̯pʎ|*xI]J3>z.>'Q,t0Wt )b"+.S4kžQ x3&ez$6;W6^%cR35M/0kdDn}_Sz+֗vϥ&ϑd( 67K mGU+WBeWK[a${몷\EUzy\n@TL4KR^R,aS`rT"r) I~炰ЅhZ$|v%'d_taXGq||d)Rn{֥AB,,.kt3.3n07<5>ȩ X^%onj+choO?*mJB6"9NsM#7yFs-q ^54n'S‡,aVZH:ӫ:8GEg$hΕݤM)SȾM׎ ˲$\C-qG''KiPVA5y-T&^w8`>)+dsAS5K#TEVүIb P j)tЋgQ:Ҹ^x(vR# K`y_ a~3ʠ&[\sr.P*/&,cƾ5ӎ;8}cPf^eI*[%N»䮉}q؊s&٦A@=TE?BXgWqzgia۩ eVT2D&Sx1fyS͌.@{Qشo,lJr.4Yx9nL0}Nv|X=5vts<8 GќnyFӈTG"Z B>zA M;Sg(hQ *ŝD= 8yu@F]r *^zjXK(ar(Mሚ O$\|_^aA4§ 3e7mYLQDBպPp^8?x#^u6ˡG(hWZ!&eyFyu  \gr]M EZMjwLRSyWdXA49R U x8pt 꼺ϗRJlǨ vqr8l}w5r!e#C:J J̲dp@O6ܠRY-O?sqwepuڵ! j8?;uTe:$?6U`c7ŚxqzezKmXuLဤ0R!5$ZCΙB):l.ϖ;{]B𬪰?Z;V13|,xTg8qM brʂ{&̐3dgI;`vx)0CKqD5x80Xp^iX{)tler9QO~'BW;M7 PTg `O]%Q1l%_I1ᦩ f^/cK/?r<2G#D(:7I,ke/H-8q DK[[ e  ncX<^7+bõ2"cvB g4JG\sGAlM[DN,/ԻYc-q`* ZyqECw70ab\9isTD1qt)Qv\VsWR>XV)g ,x3A \7Sɾ|jsDkp@i/ G冓k״i[ތ׆\c}=BwUH+d74\JFwK㇑ xw}d[_He&V|*9n;*(<y!>|ٍF1n 1E;~ >I渟&dgiy3ä#^GxLI6ˣȥBA {2YThIz\ 1k&y3,N%yizE-d"7dY>}:1{PX\^',ذIߎUt(.I{t7`jmwB.VE]6抹- M$KT9w8KoȡvA *obO ACINzCPM?5o}z9n z8uƟnxzeݦpnr9pMY,ptNc.5l~ K/XƏaU#ď.j~?7eӧ9G5懳;-ZOSѵ[7 fPgSby2 7*HAaZPᝢC 5xpr4F gpӒaBPz?OQl 5*0&t'MlϱB֩lS`E"8RgIu™.)$]w"qW#.JUAeIB+Ge@v֮,@CτP)kK7Π(p^}  jw FT FY/s-w/H纚#%hz3'x3lPæ/( [ћyt<*nAT[m:*+^|M~pf6C F !erjMwb,(y`m4'k<2*SOcB` C ånޛ7$iG ԁ.iu_ 7_4s׬([-gg̹V:\ӳSF%-Y`)ԌcQtհ33=Kȡ^%.aP#ؤ+&Q܇\CuAzѝc LF,:7D"$en_dXwέAoLJAq"ϝeETR'=WY2 faߌlu\, \Ś!]A<< Eƹ/ y >J9Syml[ۡU ¬aqwR#"xyI=PΎ򝯁+P@lv\0D8YV#ס:׉xA^ _ *)er%|4^Kȿֽ̙q6)j-C03Ϛ7)`\@Ke")&_R!<-bޛǸ^^4m7Uu^ɭeb)"N1|>A7~Q,'IebiML1IRwĹX~9o}IKL'B2j]߳;GVwhG/xxo* ZF__'eF|BVښPC$3gI]k{P8pR97Ί_rZl7n?# UI* kEwn~kdS2!Qa{,.}Gu0͹}T:#M˸92AXe ؿСS2ָ3ȭrpQLl UXŻB?.OM;V%p*m9+a,L?6zakFfxj'@k)fsS((o)11%)`.](6>J.mD-5g_# P{-W@cLˬhB/dZ Ƅ@uxYO\'5Ecge-|̪QzwaMҿg?'aYIH e#XO+Mc P|;t`o*/J!$IT_ٰg zӉ)"hqOsƛ%h4q NaiI~eDɹ F\IF.Pk6QΚچ[IP wC[lZ6pHO%M>} P0a|i^3-vڶH|MH|+5HǑoCVƎC$R$N k;Bq;Aã]l0\p#*bOz3]`GgA~9ݒ7z }sm"}Ua+@_2/,"Zp,߽5J񗲎dϢjIW&'V-ъʻӸ^J9ǿ#zG.` X@}I8 t$Rʵoo.V% Αvk Xh㟗{5CBl*( #@Yp-j kY蚑W{ƁH*Se1JvguKʪ?jd3@Y vV4.lb>w}\ݒԋt];2t Fd7 ĤOa?QH2+o͆li6/yKJ#NbhDGdZQLxxUi(ٰCB 5ux0M<(GZ5ZEKv#j2"q$' QosbG 4 fY.zm`$Vk}Z:*<*4Ñ5am7{Ȩ=, "MRҶŭh\!t\XVoi^%.똾bXC۵؝v&Wۘ1 p 61h!rl"P6zd\N n`ٺf<2C3f@(;u1R+7_7/NPn<7|aZ,i 9 us}$>AחC <Pf#2aUTbi_9/IS BDj~gl~QbX?× = Pr%fMBDgG $cx%6J##='t5ZywPEu(1~˫ E >]7s,oӳSLڈ`r8b-/*p&ow`͓VwO?hSC$0"/KvrK,O2tEc0@p﫼;U^T&Ib q#81,_^̱RDX@ e+t:Oӈl*R攣F=3YHױȷa N̖n$`yNR.*F@ Fϒ7MOa3 y41;pd@, c9ەMl3WFcX=u~a Z) |QLJﻰvSOzE2؃O{9&m'YY4Oovb{g|O92#u1=Ԉ)] r>3hb]sŒg^U QL77n`i'W+w~=܈yRodAkKVGC/@D6) Ri|poepi˝~"]x}/ݎ,*`B淀i[KQ#<Y9cGj@) Yp q$KȣeN¤j5Mނ}LXht]ᚔ03 *Z,9v ]0K6 @ݫVcG 1VjoUE7%jI?xGTEjh⮽a7ϛ,0MuUgu%u|p—ǯGب<CE$ @PiC&`'L~'jϸQꕖXh|9ku{\/9 _c{3|?*D_2A6{ ?˕`bQrfJ(XMb=Cި$RNY2Ka1lGA@Ϊyu(FV*]/`#pj r  Ae!/ŖQ䊦 +b.vO^'XT-_ hR;Õ<3:;B&H4Δ]x3͗^Vyqܒ,pԭ0ooe?n03_Wwy6}YZm9ldv'oQ~N\IVKͯ2BRv gi%+r4T ^gXc<3W*?l(zZKwzE8L>Ϣu=|д4b.yŢ)Ji= 1 uq.ׯ=_ U]r`Om}Kʵ "D 2pF!S ~ݣ5Esa|(-}AdrSQp2hT9{8ci[l9dk2 <EFxb mSo *d Di ФH<{H"R9'K=^{>< ;9*oNƜj^Sn{w{Ϲ1r8XgkmT:=[^.G\ Nd +Pa`*Nf)8:^mwXB`́12&-ɶ;} P'}~3F jDxY? `GĔ"q/|uj{KBC(Y #:tT!͂p|yӕ:E&Mgu`$EИ*6Co!ᎃz?@ڂlQI^u-+b ԛoaqs):UbI|M 4@,4ʬ0a/"@ n ዖ6EE])0~<@Mu =(R,,ɻTNn(ãG]~DURV[~V19%=IKX GZ9ȿjJD@7טm~w)8Y@0 }׵:V 8(ݐq z}A!%{!PEҒĆ[1+3v]Xadp2;\b9E*? B J?<,gC o ev \1n 0їӰqNcƴ#HͥAsy8-xPu=HELȿA\:ЩT?vl UiIlrN,|T@3p#UT$SREX鲙j]ZIv'c 16sC4<᭭FnY'*X3rQ;wN)ϓR}z̧uKI"Qfo}] KӮ& mA,+RCa*$$͂@"i*tnפ"*6!to&JͰºƎ첆d$d>B#wk UJnPZRF;~ˣhؠv4^/vSa"*࿠ֻwu\%BUĹ밁$?Fvqظy$6Tui;I<1mGre >QXn#ZÉ* $/T2Rbh+bL>|wnSP{˲8yh:?lZ#G/ 9rR>cmzԌ[Z|uE\<ފtK9D̤d1i>۰:]PI=_m1FFR!ޥU fNf&} M)ZX~Ai 0C>~'{7;3-.OJJb6f3$͙Q W.pG[sدO<;wgW$%p\%yʷa9揞S굝TCbJXwyQTԢg}+4a־oW\ӏp$}VX0ۀ^HP. [q={Ū}zvcgGUO8ܝ3r 8& *l2 \ќn#ad#Gz[wd=uK?l)Ifg<=-׹Oōv؟GLv|F{Pg=`,ʋ>@{l:R.6IѦx˝CK]-cY\d~օ QdVI,kg ݢ$2>ŵ3RPs/"3}/+9B4 DpIIp#ꩄILG inDUo $ua*C^|rms >ݸ%A4]F:nS䁭~*,q)ֳ*p9EiܔQ >n5Fxm"0Ya7g n^SNU^#kpV'9 LѠ0ɕwb7 gX"h238V͘@ +[C3~(ԩ6ފBvX"Rj*͘x~d(\qT]y2v&0;E+˟lr.y!'AԍQFֳr{LmhL$o-dSccZWRwqe4irm,"\NA`xCGIop yH>%Jt_T)xBIz̳L\pŴтP> PОD}}dS0zu*"mo8UvA\IF8^3y8{Nc?;}/x-F&BWpμ[5ؔbȏtfS2NT Dw5͵vq|ya%b'q*6fE4RxFm,p,&6vBdD.l";)թ'KՍ>Q2A=Ev\ֲ&x12LC8G*eBWjENz[nwA!j{7I@/HUIe.[e[DH)!ۯdE 0Do>ܣQ|Yyo*鄝m]s!\x. WѹA'ŝ1)y;CǺD ;xjiCLniw_tԂ8#\h.$œ(=&-؟CLO,rXKz:zy[[!fRExX:7ꇇY>97yH{Jc@Q%7.Q4[~d_` IHojc)+Cpgu6?ahnN=Ff:סWq5aY0: i_r]K ̼炇yAa>9ukX뾼Fӎ*實w 's!Cv9O 8  sqT M>پc~^[`rvBPz UKrٔF8Қߞ o uigƐf4RA# .zNWfF5SkE}/ xw0(ӱ_r77,mp dfBMx^_~=+H4./`9+3ԗaGsY|&p4O\zؔLzٌVKUE؛ ũۤ5FlMV1lz ^ ;$U I7M9.WG)vo%"k bޫ{<#9띬O 0;;)m4^^<7_'O5HwlMq~ukW%VɶɃXR6dd VMTt дA qh(*#d%"箚&4&~IMO ƵlNžV% ;Tҡ6<ȳd܎wˈeRmL}]0OlteX6ѝ.6k笀KAI,MIY:ܶ}qnpv{v#j y3X TdݍV$?8mV$AKӽ?d=p{!N_jߙ“ M+gYZ U 1U['?!THOL-CardinalsHOL-Cardinals.Order_UnionPIDE/files~~/src/HOL/Cardinals/Order_Union.thy@'?-HOL-CardinalsHOL-Cardinals.Order_UnionPIDE/document_id234 'MK HOL-CardinalsHOL-Cardinals.Ordinal_Arithmeticdocument/Ordinal_Arithmetic.tex7zXZִF! 褬v]A-MՋhvG"uIBm5Ńu Ys5aC Xh):ZYo~!9@`^ĕ,4A%Iu[$PTpPGȫ0)t`*y'bX\SMcXh2+?Mavw@nI6ly̫d݈1h2|<《yuJK<|Nu2ZAR#b-.)s{O:j!^>}GwP {Nw_V) h#ҩeLF)~ټۜV [ ⫶sxPmXY3m=z:7_EUrUw$],^EbzA_ X'`Bl^Yr;H\EZk5:`o9'J&9c C"Ɲy ׸/l[3;-/ 1ⳕR } l7'8B|U[[?+s\ ?pqYɩ_=?O)o<gSwcTB70bWzO0ŶRb DZw#ln;;83[MvJ>20]uedk>Ytkb!wNW}Zsd>Ch0zr?RA@Q`W-,ʔ'R%2;p3~)go L|M)۹Ȣk@3 `S79zząWG$KIYH|܁__>Klv}K/uOC>LeIe  ;I@C - n[Ct8l8;.YZabv=*lcjIl1DX)iVHuQi2Hڀ2Δt>^w*D,y3Χi!D$r^mpD"i: f 9AcGrpQ;76 %ݡ5X5:p [u~ͯreyj/ e-^ a]UЪ}+IZGVm$*{5˿}J݄3P,u]ٿnv_CXL=0sjLx66y==ֈޣ*ڨݡ`,Gs] )(7\<`4e|[sV7ԝJ×5be/qO;FWp)A|˳\ 03լ)T׍t=6C6!+ 'WU $HOL-CardinalsHOL-Cardinals.Cardinal_Order_Relationdocument/Cardinal_Order_Relation.tex7zXZִF! s ]A-MՋhvG"uIBm5 * )^ Í/sCOFxpp};5[=kӍt;JBĐ5F"aWdz`fe}ˡ?Zv}OP SO4(,g<<9%v*B M}LQ7tڛs_U-j E˄ PdOш=,n݁擥%6x&#˰P3O٧z^QcL! G%"-Q:1kwrB7뷳(dx^j~Mùp಴K0u 1ԛp7YcE\bMsVBbEd= '\DKrX,("2n$ J!>aҽc IpQ{􆧠\Ri VGP XG:hg Es 2 tO|ҩ|oys bKMv F緙vMLjmPZne~{g>0iy"`m]qߵb#08%֑]R<>[' 3QՕ% B Ϡ/0$K@*ԀOoؔ@F PmI$<T|h*Ua6)8Q@|tYr24%HlO=dz #Ǐ&DDVk`{4h|yOKt:\҆M|p}xߏF@vNQR&O+׎BIV#qjxR9Q๼X䓀9;g,9 W(=%m CcLЩJӫ"N3DEnp7ç([y8dCѪu&ZTHDx 1;R ZygTpt7l[֡ai oYk2Jkq)k18TeE&:ʞi s[hbs͖8#@k .TbCeO  Zt;HTDK:ŌXH.iHlEEM0>@q#4NSD9_1$n6ᄜ{mGgXTlogDz^WI=DUw]uOUVoΦP.Ш3ػJp1x,)"SNbiY޹ ^͊TEEj jFOy$ Cf]yOe(֔|yW2K6EqǡܱD-у<0 σcះэSW;%jO~)xwcoh-R4{ԕ#&yXWƧm?^AUVZvR2&$RmnzV"&e.(<1ˇiHI"@]U] a"Df~m6d!%`zrS؀^zI9s^5i${ ke[=ꀳ=&8*(,#(sFnWҧb#iչ&Ec8>LN(x/ӊZWu/_ǬUƂ_Г#L V;؎ND$||@u#>|Bb׺TeXm 6V%3<`1 0K~]54d3%t3`T;ShG{ӷ"U'X!DH{ F |hb%BJigSB{q.ɸ'5h*.zQ4Wsny u+ns5+kӔ.-6!% :> pB6c`lȒEsu.OmTkIb0h[gXJ6Gٷ^|Dt@b@9+m.O{%@խf$<Qп|)ZoZɯhVG{}5<4'_1ɛ%C_1vb # 5,| >a"Qna_BCzyv3'7>WmKf@BfЂzfAUvp!\cD7r)Q?GyA< 7A2~n\OR# W*_x~a9ynՖvuAQ/T 4,gƏ/Ԇ,Ǵ-aҚ-|+kchEһTШ§h ^E)u<ȴ@d+<֯E>6 :UG{LӔU&u0FGMs԰х\*Lu]DJa}<_ZK#<䔒5puZozRl#^ gO"o`ڀD>2;}Iȃke<(O]^C$T !V5Q(˒@$7 3oڬ3X \ΰ810_ZWUewvX;_H4i-;%#KZ=|wU;~?v\ų8<8J5 JwAQYWAW?7*lV2'lӒ GcQ% c-.ⵆ .u22C]Ww q-"4}.!5b]̕C9J$mLtJ9P׬ܵ@LzƱYó7aU7vK1`uWIApJa7eajLIEO?f?Jď9pw'R1qn 29 e_]dx:*oZj&$5oE#;3SD̩#0jqo_Pw gi6ǭA2+PxILF?rQmjG(ݩO7 .QW!F2-̭V6a%EyfㅛS&>SE9r eD* $sF5.bqW8H35X-^w %4}HAc:lzfֽj߃J,^ pd"ys"mxdAy໕HQ otP98T}=k/Yǚm<@OَeJB6s3r/)phIuعn,UyQ^:R˜ƲXsH+AU|> '^30L1IAoa9#.f).Uz.7 c/!6Mó@E->PpsO`Ӌ?^7\뾟ՐLM%s百 A/5Ì4nufeyIeb篽ֺ|a1 e~^"l"s3SCW󯄨*@5i-(.ɰyIZ฽Vs ol}B <ӜqIF]d Ƭ vu5+F^> -+뭪؝xѤ4ݟA¨de%G)hQ? vxF1Ў_b"cNq;9ix[E<>6 WK:"v2Ә/慉~**ħ5`%B-ȚJ&+L[ە) ?1J4VN`\L)|Q`ds11TͳK[:R>jHh; IR2ɶ}VzW43Fg7ZD )1JF"6 ''d ƫ6θ, 4gG6S2 oȼթ|E1F~CAR^2'jʹ]P U)p$EH].b0~_]7iE){a8+;7D$vFp~([$!>oFD@_\q+ lm+5 1uz@_ɵ#:&_I0Ǥ3p2T\ivS&:3 m̟A PQ=:&燲Y D ΚE69ڻ3<()*2 '4T!5Ee-aS1S}K*8hw 챧3K`'CrkH7FxU 8#@䳇ܝ 41186~̱:Pm&o csZ U*͔yoQNQ7~O sw&M}ٌl {i7=UĨ[3VZV[!f`|I3?+Ҏpt x ]۪CXtgXU $Śy Ȟ _>hݺʴbH kOpoš \`@s7_ă-GN3䋷C܋@0ìzwos3E,ڒʢj{Sꅗe ;!X^+jc;8|w}.G˛d%5c"yW]FyI3u` J'&hat.#MV%G&}mgVBH&JFϧ)UDž&]mh좆-@Hk)?2!4?Q0hAEP #AW[~ f4h'"cNAX3 '(ڌSS^ AnDWՊ+Ic|:CH?+s&DTOp^WkGs{)Or|LX˙z)FQ%({gOI^f +k[4ӄ.jtZ >7%bJk%"`7gEtM1+nrkaDڽ3̜~18dKauR$> - 6Ȱjz:~|2rnɻngC?pe0[džm%∺HTFb/8/u`vjY6~'g"g9]99Ca7Ă6iDNf(u9{3uoMgHpp_Z Ftk["e #Zgbl†bٍ|ogom, 7þ{E$ Q 97%gM;iNbۺεg`ji?BWODw 󸗅it0i̺22.ѢF3olxx:'Ou~Tj61;hE(YKګg`+9k&e9̒PL<~D^U5|f1 erw}#/G{V+u8⢳iADJ_.Wτ.5Z^ڈvKA =̳Nē/ -Ʈ)gZC&Kv3dOS/4SNȽ͆) oU;nHRy{R#BF3 ŸZpHJ%oJ,{"fg~`-TJ@.˜keQ`b!|6F'_#,.^n qvN{> wb{o~ST0ˡhr$.adv͊-#rxo !0Zԙ̗nFA/L }E@IV'f+2Ќe˅(W[h=.{d", DXcŨM0|sƍDXׄUpAĵ{c`<"ztz;VܽrA𾅠FҐ>t1n>n XRT, oQA-q_$Vr2"-2 >AD(8 &RX6u" {Fټj݁;h-qH445Ѳ'}%cB[dž&mQuO",C ^!sTHd_ KN[E\|&J GL^, McqqgIgX6dm\-3;!&Nr2xn‰ G2_@6!֕.H` ZHg1;?]oϘn`Psfd̓{g$^9\ |L^Y%yXzR']o@MU;?U]},`*VO$CMS_W4ݐX<dJ砪mM٘k=z| _ a#gj"vu\ :ɯ[u>G6Q[W 9E9щO6`2idO c=lgJXku93eذ(ҿK9A2\rc L0mn9D$[+^QVسhYxq.h7=n" #dH_CkHJ/P̞PM[i͔MhXD;i7>'O',\?Oqё GcVA!7܁u?NaOaRE%K<'fG3}Q+T1YrcaĿ\tְ9b,@ GɖRHÒ ysAM2 8'"Ýp0*/b֚dƑh[{2*tHT/l`"\޵C#'3Y~v3!Y<;U 6fuD&܍ViQ`!j\E%IM3 8d6wr 5t7d-h;g!4˜k٭l8/ Q/()ݹ K?oXrPKx@>EEBh}B0z]aOR'c0g,Hw$]q:8>{/}I$5CiwA.ŗRy.g9տY ؼr*in ڬ %NdFv_%5Wcw~6,fҍiNc?lHq @e& a(1:Gݐ Y7IԺDX(kmOM7 -y0;fKy?+@Fo)YOOR6OzL5KL ʬ,S3W)3St/N v/Ȭxr׼?-XLB"@o俥.'7GpzD`gXw m@5KUbQH{$>‡ t. "]=+c)f9ڕ c| wzn+Ð~j`h*;3-q֞2*֍9U٠ƅ9Sf,Q>X(hK/?BdoEm"ߴTmu0˚@?O58]aji԰>$QSOCg"6-agƈ]B,'׍ "*Nj,,yV;`7 }cX)jd|lf uVvuB3CޑdM#8Ŧ$SM7Tazuzkʉ U3 LIⰲ`O6"$OSdhkA=:N "NG96'WH$]8]$.& #! eRw W﹒Nd|LN"}I9]6j"c'PykY `wީz Dゾ7ő9(lx7b^ ʀa{%9'y?> ysپ9T SzE?: BEX8͸N m.'uA~c-rԵ3Qr`[8͟EOY22J́R +0+H$ӇeϠZ'+^+>HY$H棾E&ǏՍDwu?31qƸX\^\{ {O2ku[Ki(.[sQhScdIcHu=j=ib6Ou{&{̟1j1QN{>}f>"]nn>zR#h҅y4sh%Q $0O9rgxhyvt"Q_n<.M$y吙ywaRZ^~' 4p+gJ P0~V6+5yc7s-t _VrK;eԳS|Q7#x4=mt<|`y2txĜ:jK_M[-S{Pdc}h}u#G\D5G8BE?x e- 9gw}t͒VȅJ#=AU4/垴E- @,X)benhB1 Ͱc(CGlB!_hs2Z+Iг];B۳)-gEJ=YӞ^yrR|kRϼ4$CY 1P$DZʗkB+g}͌}5夷,sYe~JknW4W1`k4rBq~9&ҷRy6JJ$cT0vȴ{A?aCIP(܎oB7a ʒaR_0툉qm3ICXUSrC>Ck_+SpL`N!5FtdHV2Ԝ-cxeu!I-ƪ< Syj/pz<1`:[c`"nY%KӦ_gVcdn:[&oIIƥ>:hQCm0ۇIq_Æ H}ǺAzU;Mmе5}`kV iq-69z{y#%}\N '̚,t[duԓa ?$m?OCa rH2,chsE:[nIT#koX>#f"-MVb05FϢ :>0D p:k]zYen(fR(Hd`d&3A nC ~}3q@`emUNMPUOTNM S+-X'n%ou좗LE֌vhB/Q|kCL|?Wzu <n41VM׾5C|<^2dp; 寧 ⩵poV uٌ8IǣձN|9qKZ)Z Vq>";`Ȭh\ޱyY<7WX#GѬx08Xӷ @J(ntQrdcC%:߽߽TzE¡F)LA. o|;̦alE+ G5 دSIsҲbć Izv`P%r`$"눩g;ZQҦ_تXzG*VYnaY̜ 2h&esZ%FGe~RоVǯ&Y]üz5 #(_2dǛ@Ē(vt+!А)/k}ܪt2?yN`oM)laHLt\9pwRIB9.ԪzxM0LP6wo{:AMtYLJ1B򁕛rgyH;5[WCi4DGd| e )şt "†rM KJz %G F5|5, [!ո̖9Ij}+^b>\WEdRYDa'>ct*n9 7!~@Ebye+6; C'Ee4z[^!VB*Ze5!9j"{9>Z,YFlpԟPE3TAVt۫pMLv*%l UlLtx-nb]߮'F U ?+VX?ĈPo3}Vzt'fy;J8?כqփ7c hTÌ~H򨤯bnm4n}XO_BE+xQ\,;m ޿x'iˁW=0"VHfT _{ŏFbx _VLzFWMŚ25chl)'/ .XSiid=>;)ə9> cCjb8į(Px*4ބXF-u%9U)h+S+ :d ti ՚6VE;`L[c=I96p:^fN%c"/~ĭGoy·]Sb߾}砛Jsn3ޕ1ƫ:QܹJaH_$<=nS>swwu2̸Y.6KHF2>ݻ>*Pw枍o%F.(ȲiB3nĸ写x*7l.Ñ[}bǶw?UFI ƐBà9WÝ?y]VOvIOFLR lv^ gw2E&SM{ISC?t.,>J5=(}CꡓjPv7ɓǦUnkq^n956Ogtj j朘9Sw*umr~VY敕j9"i\ωʈ@ p_,mmVůsPG<oAۊ&Q|=iJx Z;)MQ!Ρ'ܙ%W1 Pm28מPُ{Ժ<NeL{{Zwb'eid@tѠ(wPT!;)\#CYXD;|Bq& x:}$̛ZRKn^ ,Kb%ƈU_nᄂo]g!+^zz1uܗ[ uvZSߍ52mWi('|?v%NXi! fLHAй%d}^uE|FTXFQMaTbXKOL(}㰎@0vO2=ux: %3 $Սvn&c1 Aٖt4RS#F̦nܳ\VhxQ'zx@@\0I{)naE8+ш2D֓xS!Zʰi<uú罐ZlVirys|-֐r*p5 Ӄs9JJ7ǗW4LR+[[tǜ⎯zANUQZ\nCagu:~B屟s$UgS6Ntxz.v Rz @ˮvqmԀ~[5?ޘPYɼ=W)Tlh'8ZN"seZ|3>tY@E@6w }h};d2Cwx'q&g[m"_ #\x[ҹnoaIԿGDePK<l>@5]N VxFfgh8 06y$˓>&veUXX;w\1{NsXhe@%b! ^'c:lk9_K5Gajl3y% Z;,NDld[2!i`38+B_Ψɺv-c\ 9H*@'eX;?g6o5fgFĭQ{rLՏ;D /FP}_"8fFP7;QDQSG뷅"эM; Й+ZE+6MŸYʝ5x* [y.d|a 0ל7?&Vi-IY˛պW=݌zյ۰mT[2[$*+q(ND~'UGT5ߓ㭵[x/g~6môMyYDOw2fNTA4mFt?6o. b9+ H0(p!Brm$D}xEvv0SIZi񪮗OksP7d'ac|΋o2d$+4cթs Iً~_}@C#JT|&.I1mOB9}9sf/#36U|3}6sb6.O“a=\Lt4Ui!)b9>*;jc 㘽~rMS"$eN.v-|)7VyE`BqC:2a# ?Ů)cB }ɴ$h UU/KW wrX[5?3Wok6K鉇|'v^GE?^6Rmz-ݏ.xTۋ蜆<aziG񵃞`j!FnJ0733+F[f~A22XOKzSo.&5&1[Δ*woc⁻|NPm$\XǬg1~muⱜTx ivoң]Cqcx T\R lЄD;v%nbFKAA6}L>YR}&%mZ̝}MUXYxhg@@}D\ko^-0v{E@X( nђ?ZR& Y5ƖY Y&h UљsL_~Eɧú b[4r@,]ө 4CbH+~UɵACLُf3!y`6xH/?'(o;:Q0B@W CluHba^?]aLu_m{ߎnC͋|>Gō8h0_Cf)_L+Z`c{3MW[6mLKS sa 5_ᄞfhY>޿iuQq O$0ewMQ10ǀtΖ:j6.SIʹVҭ:D?0gta](0v9Ι=@IyLkZÅ!RZτ&iSOctr"ep [ W>w2[֪oՅuKjhTUa/J&,!eH$ɖ ኙYo"Sf2Юy} ͈͸{j-Ђ^\o=AfK]Ut$VY=?M}]gis0uRE:agְ/X.urlL0 2 -1jkR!߾{Q-B;$E+d% 9K7!dth]۝a] N '_т8' cl"Bx 'N4A|)^,TrrBo,fpdHQmG?B%O5ƃ|/#Ci2(N&=y=`[>y8 *[ǵ|?hFH;3K+/S$KM{ʙTIk'BMNM)X\:E8Bxsx?DB`ʑR 5<0k=k7aDFR5ִw~nү85!r-؞=[1A" {sfz*WV8. OήO~#ly_R?t]]\l~sAJMŽi("Zud fL*IN8 {Ww+HHh\+2͞DE]uRB\w{2:na KAPu;24S+:7>Ɋȳ_MR Rhr3kR [̭A%lCby!4DL=zB W׆ȖHlIe&Bˈ8O52i3="/ yHx9HK%}9`8qƹ"^e6_+$Ho¾J~C[?1.AVjTA6/|P/ .%pş߰C=N?\g>$;8^:ROIx(` L^&$+^Z=yYLhy(u C8G5NS% ܼUaoa諾<^~kt1%64J¸cnK$aHS'Qc՞jXC'P!,#>c oۢ7}{DXI NwJ;;bd9!qmk@ࢹWh֎IYi_ zA׼[c$>XäwΝN%$@#,* >IrSeܾi ڲFбba>unX+mi8(2{p ferb.ub(Y )BM\hBM'TO pFN4 R=ie9>M6GZ@qK~$k)|P[.;\Kr؏QndKЀ}?U,@W/4y3Gw2 øu*E+CDDBa0aIB!58H 0™\>m\留Fi|EF<LsXI LdMdhkEhT%xRINpM/+B/n>(_%R734Rl@wxYy r% dr V!`P ?̊sݽE$Y.&MFW>hi~|"NWQ_k/ߛbS&Aμ=3+>oHkyϠKw|X6Iq@{pW2Llz6CS!٦Z4k%A{ 3ϲt^u\ r<V֥lF]G95g\`6qM"e*a@~9!xu"i-"WVk04[ٵzGx>΢\k5)}|$iɷ ,ܤ8n1~D@WiݰەO@Gk'zt29ow:I ȶ(1#g1HEn*錀BӚ-bwI}v'JvHFڵr&!yJ'##0Cn govN!x̸; ̽nlp ƹ3$ 95D%“@֦5컩4OAO *tϚӲ ?gu|72lԒٛG-H{|Ȼ>WɬJ -D.6?Lf?eejwX(? Z@:wszQ֣WPgo)q30e0@W|` 5hW{7MWLb 3;2=dԓ[.Sg7WVu:'Dj4zj&E%*i@W+TO+~Ms5Ps>ΦL<`(柝9Q'eo4tN<ٔk&{C+5Qy*[0G-]W(%F5~F2VZkVĴTw\owRi( %T7H:H)۩5䏼?- y4\I–)Cm+܅YU^Ӳ#;"h/ƕ"Kg>V(aF{D3ݑ\X`A.3p32j|ժXzoq9{ZS3Z};[%|m6sWUKN6/΀VΊ& I vp^o?KnUd3Hj!D${ <.JU]^1^0>]D8hD>Ǔ3o\y/![ kqm.z>1u ,pFBQ6_ uͫ{HD:zRW+ =%\_h>/x$-pJ]ߖt?v[Jb6Ո~~`wܳLag#)>`5p`4˚HMpaᓛD|!WQSj!Y1N!qz_^^J^QpڎOlԞf vL\@_lpshx N#'ͣcYRr4w>GO/mqUP}W|>rڞ{fr[QA`)ĝOaCUG BaNȖDy=x8H˒$ OK,FU]D._UP[egm'^ oiUtUO~(tp>SCLmu8?f ҾjQNֽ&Z|Dzc;p(2SIB{5ZuSQy+i(V*Ὀ` >$c.jGZ?POfԼX}/ WzXUR[t@n\*~?b9Rn0z]. { ,L(jvݛeeN?j0T)%>YywЌW͚c7}?]c }mTb9Lqʴvio,0Ѹ(vO 2?OqaWP,6:댫F9¹~`Du2FTI)c7Gԟ.;z/[K{t9z%7x0g H-}=OHQ`u~f$ʑ]RG'ybi!doТqbڏ? P\U-;#ΘY)SOfEp}`fnz;I_uxUϹjLNm_0'62 2b_D" J,adBCl`n}* KȐMbkx(ry6BmW nϝy{%%2i(hc/G42v|ܹ $;Q8k7O9p\Řqdm֫*C0 HĶ`DD#2gŮ&&U}Ka3{S^X-OߜHଵ2<ߓ3 A!}P<Ҫ:fxnd wIva$(gqm-}\V &f?O Y Vm`Ҩfq2ET2a'Y2;lbLnd8?~?Voy?wKR??Sasg@) gd]q,SVqMQUt%)x+~vL48^mrh];PqH8NyKz*gŧފƨ9+ ˃g݈ß+ZB<;xB]UU_amȭܶZzkK3#D|_j4Zk8tJ^O%RwD3\}i`/ݢA03+c؂$'cd9ޑ[PJ *B^ډz-Qqyy}.w} OFamZc+ \鷘G%#mͨ=c x E9cqg[̳lN'{rZr[,:VDFM~9Mm dw|\b}1oN%/l"W$Ap>pQ97┾WɌ?8%.DlzxmظyQ?P>MxJAd<'mz0L(7& HзV3;h{m4X3@P)]`?ݨ9%IIdgTI5Q}"o+]\N/Dh#v^ɥ WIڋ2hV1Q&4 `Et۝Mfo,bJEEb+D(IW,I(ԁ )Ug2'Oj ?[)A4DGelP6qFk$ ȗ"楎.c+k\6,sGtl;&bd! X; Id8xʦC%łF,^w+`t7!43>TufEt3*7)F%[%χfI`g#_)Gڟk+aMy\&_Qm*UȇAvNy_NVN޵$\1ٚw0UvH@'`*ecv"^Z .bʣ})oU$ D:;敕u /}.X/u{`a8=| ¡%Jl. U7=4S@Gqp>{[%n5o%y:U=Nx+rf-)wƛnCk>2 QB KR{hV8f2 LAzEV RB+In 菡LPH@!Sj_r`Z!qE;PKq2sy/ŝbv \BHKY Tq9{rXoʑ< %qfןeqdB"]ޤzO+OQ%m=:-Yn"^sM14vx0$iVYKaz|M}L{oub0yKa8%!3dpj{B*j}p]y-VQfz&Lw|],CaD96{51ZAgqc"Wdܯ/c(%=;d8@A9)Cw VO:$m+)tw&j:Qs`&V>1LH1KTf0xL N9$8`& _Tu,U?HDw C?yJPnf)ZOѕ IX[ar=8>He h'He)gUdvg-RJ#>TN2>ƃq-6m7/.Xj=n-ٿ,>EjңEty4`l%0A(=m6?~5U䑟2'? |n̫쁞N :iȪSTҊ&(ׯKsa;toKǕ X,+]B>PO~;{Y|J"I'U穸jL+ ?jP 4Zo pNC]^/5,ePKXW-v XݝW%΄UjaI^9cѩ=@'i6b{28I1Lr)1\p-*9k@*K뭽iA%dR awWx8I1DfS׆8{27BIU" B(W0k䆌J~l1ʀOj\"$?: }5 {yLz*PNYMsu!^4"s# ķ?5U3X$݇@Xxk FXdEqO:&x9 &Y=gRT^-Z&PGVS~WnV iW".[~hN20ʠaBk/F <]!sΆ t!?و$O[)YXB1Tq!R֎.]Ū0RA4㲄1; ;wK .r8Eju Hz<59ܵQ=xayq7oQ{Zd#J~$k뺇Kſ*ZtAXB$wM24-QYFKU_'4Zѱ<ݎt#Hy𛕪$ xυ0!m୪5o\)wG ŦGu,A Wd1AC`s]Xp!&Z-9QEWډصHXK4c+%?8S3 z|P7'=ee%Gj^7h;t~ O '=Ş*(A9:g2GMw>xF\$@Gͻ9;]y|.Jlav%Ŭ9۲;rȔ1?L|Ϡx|2j5;yUь>}n+[Sd:q?J`׵#q@HHFGoWyj޹{p"Q$\LAXor;ePFi lh/`S<,HgYdwt}.4v#gS;[W_F̐D<qqfɰ 1ՁđK5/n#P`IfQC)] %*!*~[ٝlݰ|'PQA*ô-Ioa#1:.*2]i-w sq9w??\?2f8)Ѣ\Ʒ ~3N$JI-4^Rչ-'x\6,ӊW@׋s&[9 |1x0'Fk!zh2#39kp $wZX$:u fmDэɽ$ѸC؇^̳Sm<'O]~/kZЅAjY SC5=1æZuMijkAݔiVLT(~F?čJwђ2OvśbIS^l.$2nG ,Sұ#Б-R \  i*R5.K'Տ` xV5 U9Lkz:x"}NPm 脭&=7XGgD8$#6Z u%(c`tBV1ZR~ԓ/p]h?HݏnȮ[%j@ioKp[v̈6 Õ-rW=I`X,=;zH{^;(4PYymjpX[ƐBʒ:](FW. cZ|N%##ߙjn,ʶzzs'!-_}Ff&¦&=Hopm,uHvA,dY}>1hA{PLG2 ,!фKd:݉:TPžGT|F) 8&$g Y JYzc{(lP#qz+\5 2pK3{*xr χx&f]:]-7sD8- 钸v .gDbj xܞ< y Y<`~X072PѰvxxL?ӛr#|ڰPJ B}]?I#;1Nhj,k牺i>DR^nƺbCI[Y{|',',Žiʰn {IU`њ =cI$/G2MaM $c׶l,7esXB Ba )Buo寡:~gё!{R]tD:w"+|4-V@5dYA{e84N >gwAw Diמ2^@x K"[ٮ+q} ˀBhʫm:BrlyfRl v65d!IE:x 5>!S)7 T^?]7_# Sş4j 7#+iOm*۸&aBƚ&eBr]b`jJO/paZQ}[YUA| gCgCUT0&;"RG˨+sT Q۪: tg; l7M<£=@ gC`xqe3gQa7(dKx-/B2 b2R|7@ ~nڍ =rDŽ/%xWWg/nE3hkibe)CJtkHp46 mwY/u5Ͷb%q"eYgYZ 7 W7i'M!bHOL-CardinalsHOL-Cardinals.Ordinal_ArithmeticPIDE/files~~/src/HOL/Cardinals/Ordinal_Arithmetic.thyG'M-HOL-CardinalsHOL-Cardinals.Ordinal_ArithmeticPIDE/document_id248'I# HOL-CardinalsHOL-Cardinals.Wellfounded_MorePIDE/markup7zXZִF! ] !M젗OFK?aVUMs=V[FCc!z]j+H$n'2܁j g&H:NqD7BJSŵ'rB:KK[ +xC><7Ļ?5̕nӻCǐQC#8HR?P`´T^g`w1˥E4z8Р Q^"n#*nn=m|}BF?()^W0 Miz3 eıdp5| T>% tz\ƬpWwl48fݑ⮚Q(HaŘ6GČY͠G,Tۀxo$eq*pB|67G3a2$CҨnW%D@rwiBe`lB2|K`:.W%b^tx}wPSJ4o_~P!:驀5FomB@E4q *t5,kM=,h ױB2(Q - ": Xbɷj ¸ -9gYZe'I!^HOL-CardinalsHOL-Cardinals.Wellfounded_MorePIDE/files~~/src/HOL/Cardinals/Wellfounded_More.thyE'I-HOL-CardinalsHOL-Cardinals.Wellfounded_MorePIDE/document_id238k'?' lHOL-CardinalsHOL-Cardinals.Order_UnionPIDE/messages7zXZִF!  ]~ hk.<VAHgM@*$bEsy'n o2sTxA'f suBɞ}͢n?4O,& :2^IKB$WN,ڋþNKYfS(;dJZZ0x %^N-^őUU|ەo,%<6̓ԷT6(rO;vA2 ,D  X V4lnrgYZq'?# |HOL-CardinalsHOL-Cardinals.Order_UnionPIDE/markup7zXZִF! 1 v] !M젗OFK?aVUMR$*nxq;LVc=9=4. F M 9MOE'MZ6 gsn:9[tIo TtЦTWT`H양E_]uP'}:6 pY`йͣDY(U'k($kͣBxN'jʼ@id-xAo``x/?N|'$ר1'pf@Lݳ;jKK٩{xdGt$u~{,\YrNHM@E ]KčhK=g=4rgb.fsT#˄_ى3qE=~ϜkQ0Jx6M~${{5!n5uE"QkAHF/fA8_lBa9*u+$S(;^.;qA8!:G$7Ժ {0w!a On%iNM3]+f'zTޥ^KA*T#I$,O#|Ȣ{ f= A˞UhJ2@>Qydž& u .Cߊ.զ9{6,F}f+s4g`nnB:-B(G1 !00YfMi|ZEmޞJ|S!QeEY8Abn߹˚crHP pò5[e#្C3VE(ewvW5/ScWUdRO[IV XEG"Kj 20)K*gu]X8_tщ`L^P ?aÅ(+0XSq`Pg^`(C?65h5[[ ± v[M꥽_(O}*@4OS :-ɗOJx92dS^¸~zPGz=uqq XqbXsHU-P7qm"-C.WtJjoұ L)Sg (WU&}^rhi~q@@RoNJ$don'g3;7˖˩+ iD]G:>%Md# :_ {Apn]xҷpOlE aT?dMQʬ)3jIzAꑬ<6?uK 7o}Q$'19(UQH; !>YMej 1ayJ3 ]2K_<W=id!XohHԠ; IϪSٜ|_3Wj n q =$5D L[)+3+3eڑiۅDsz{w[|Hv% x1=!2YzlrHӉFtC'q%F|6^t0WlM<׮H_dkKWV/~+>(sW<=Kݨ{>)q TxRB-W>7=4pot(j+ Apl{Lд|:jAlC*H5Mz78(J(#3bP&}KC҄Azh鵹U_Wi yl `G.An=sXnEKrcS藰oYNMԜT'ZB&S@lkHkǔ6\гm ua+ 9PrR]HNSnDI&P\ tS`} ͐R>N^~w;E:ծZcC÷gYZ*m,V*# xDw5mD[(o?4nŦ ^ @E"5$իeVcKN\{Kx7V+o T|wL4Jv£nna8גbI3ל"l*so@"蹷w*26!j(\kyU`t5F1j`$/HMGZ+BnEc2T6`鵐Ү&i.MEneLJ9P M]E+,OEh>۳$ew5u4 'mr,4֓q'P ݴڨ$)OxVA/&NYI:z5H >&sK:xxϬ,ށw7 &I/!gXC9zR am_o/v'ETHp{FBߡaGLC)ca̦fIA ¤$ڻQA9ߩ\@cpJґ¯ _;m78 f HV: rn$dxha 8v?%%&9t2k|,_5}dmƽ"AzS @L*c%^̅s{[H捖h[l~gLeYC&=pw7d FO8I>&+\΀B!?Jx 8>wTր 4C`>5uHg;3NɷD{$$5ڌ=E?OrJÜR}:NwUDǷ#IaV;sO+8Cj+GIƹ^BLt`">~J ܿ^)JkSGD $1 d$m|!UC[o jqa?ݫ]{vt>ٙ]t=bNg#ğŔ!^1R³Ο҄ 8tz=_enfkZTmy}ʥÜv 7iHTu%f B-m?%+.{r|cs/.\ L_0cպyk ~~Hlʔ8R#1 a\F -`]vx9: <0 nŭ#D.?bwm#'AFfN7 jC2g[[Vke3z<Ω47 Qp|vhc푝yji6Fv 7ONioXmTQZ0_4&U"9+AHXZ*;36М^bv;mq :xY5_E_Tz^'2kq5WlEJa7sKI8^ٗ1\*#oV.`ȷz;KU1+ 6Wk[TXܿd n_n} 7XtmUOr],3u@8g*Y,W[oŷGd9vt2:-To$op@nudP=q7x&64F[rTsn+OFNcϨ˞Y\#Hb)N& %5";8oTK+՞&IXYf;Lw%5澉˒=$\#'Ş&K؀Z|b,4`ej dݜB +Lj/L5!6wpQNh&'RT;yC1Wє,N("BGѬbg'A܂xm>2v| $[GXE>\J =m ] 1&;82䁎3H&0+E]%n=5`ԯ9av+!F)(,(.'iui/ ]zm[ X S2 ȍc-"e*KR$pngdJҟHCG9-m@/ݶ?睤Z^A7,3e;!0/3xEZGﶜ{]fŢ`L]xYl 9w(EpV n#]t3Wb5#;)H:Voݜe,3] \^xR@N:eB&xPwߨ|Ձz j[K ^7PVxEYH'ֱ1PoaA8{;BҐVQ<(:|v n~g=s}_Z*+gi YYGDG:>kYJ0m|r0 -L ] z_l %t]WCRM?%ԅxP]XX|@kOH=+rEFAԟ1JWX<:Y aTg ڇR k@V8u6Iq{\sWɯHR3c /᧕Hr0"3&Ko"Ub!yɊUԳaɮe:\KΣyT=9Ca9U-"Aż_tOsIB2L2$죿 rVppʼHخ#"gib̂ǞFԓà}DϞPT2\|8kXϱfs)m,,}ȁ[(SPRDpr;=̀ϩ@`gtJGD4X 2 `E4l[j *m>X8uNEȂɫZ!P>o6a`AhT&, &TB- Z݄uI̡2{Y[/`j6S-r&\ eh%+<$A[ KCcI QȘĜvb"&T¬)@S"B8/gu<¡@ BKfE |D{޷eq8G9 Ziɮ}Il>dx}KV݊F[ԛ;ﯬ/?06$S@ziU}>>-ֽ눜A/2=z?cYi!h(=u4|S?dEݠE0]]f8qvPg \]aj<à;fX]v `VwA)Pg(Z!$chԂHP4XДOvsev8eWsH z5YH]Cu{nY1/[ O'WΫ9RZx0kQն#mgAeЕ]Ds_0w6 ܧGz B͹3,IRɣÚJhהkXŒiQ=ʔZ0@ ^k\ȡDn"5~1$5ǷV_  nO Q .Y'?c"Lԉuv(*TªF<ҵ/znaSPUa#'l[+jjnKl, ;-6*q DWxE~WP-UApo/ջmR~PF$gN~/¦תS:Q1lEuf&yM}Apd,p&{Qz{i 6I1`Y=d-.t>BoN*㲿W %]A'ƹeL\RvVP/*JҜgj1NV 唨J5K!"䉅PYCH$fB<+'N mͥCAvi?ZlY 3em܂gΰ) "9FlW|mRXяRMjGEe*k,QeU0*.Z*4^YV[ͧao*'m݀^72`hڻdq6ʇNF(c;z`Եۛȅi;8:Kd`%S]:[ELׯmRwSW:d \ܴAMfG k }75 ^C5 3>s^(A1<;0 =JTZ%i{1pAͲH8PH"P3[D#L*3%O鈯9fYZAöPGǾ#ALpC1zrȅ8lKcT LنY`|YwyBdS1k(" pE||4GrペplTE<2`#nlŜNɨE&t|zM{P+5dO1#D[` a1OƆ_ g~WO!,;}$`Ysv @nP^\tT) cӅe_,' ,}.DU 0yzo3x~8;K1dTx̫eMH$ѝP&!*MPQ&[Bchn|Ny@ /{2cdW`,ZShUn `>b;PJv HPOP8;UD[nzM -=oʰEZj#SXX5 RBg2XevU t\"Љ?J&}`ß"r\=Oa߱;^RHg mOSkuw8*&4nI Aŵrq2֤'.Awd|DTYj!q5k# 2vdm[{9BmH]qeÂ!*x l0¤k&F+/b!+f1OA:[u> ZfYMVC4@ Ȑs  =6?;| 2"bhIa\|CV}R}p:i3=I` v5n }vg]ك`|7{3SJTIS.݃ⅇFDC5~~Nq^@sC6vΥJtfNdS1I?ԗqp@}G{ 9ݘ *36ǹw-4fOE (_ bZSK2 |Y?[·ޣ`HszUt%- 3x̾0uxB@!p ~M{4X? l#z2Mͧ "00ŒJ} ۲vIlM.h^Q+Zy+b. EG5 l-a&}L.c/iŢTQQno3+b3qW~:WG%> tCԗTJ=ff<"THJ)Y:s tH-8s g:i$ӥy3*?0&B 'bޖrdſb9V܍_ , ˳{:F;"i)Izq'xxᬺvyFH/z&7|`.V4Gapz{m5d·v@^%'k+N.1'pAZ0?EqC |,Y^<e*_>HhLVoEwRnuFJYF{n8oh0`QXӗlc">UkA".jU<LŮNq'y@: jSf|`#mSnŖz?g*c[)gRkS&8T )-&^$_*܋صJdqt걂 ǒf{@ (0J]yȕj;Eȫ k~-8@ꂮƌP*8o]RHzҖ` NM!Mx@&tp!!ʥRyFRtp*ؘ\LD6W+w oYuISLIQs"ʑ*ӃwjVѺ@~@bݎW;/A nSlh%5(P<~\G4pүd9KH\?sa@s뜌gfF*zo|Ѕ!<[tyTndpd] BVq/jſ 1߼,KzړT`(3pYߋj<^P$}SBIЏ+Ź ' 014{yr]}dM%aUK wI 8}|EM}|mXS5;p;H( ;O)"4߬a(YJ60_ҾR6oƟ_1NLMk#Tv^שd]:}NQV%9Y=nȐ'">)+1!gE׶>7T \{ ^y1uR''d*/2Pnb؆zUA;m)^v?m[6$Txb7X 4P&@;.K<~YGA~bp8D`/[6W}6j[s!1%8nkfy0Ўp<,ca i]n,LT9oJNUM;Z@,=cGŻj.K~mD zKw?" 7 Eeoo^̪6|C&&l3ݍ/9N"VxeVGSH_|R+Gs^;Š b#%J9bܟqECѯT&:jR!2$ο $N"OR\QU,!=ĥϿ--5m:żݿjT;f1ڣש?C4Ԛp'*)S0 qrx Z(g'F;^"WvR2G{&º4E2ka`ǀҪYjD}/B!CYz̨ݞL2>peK,NZO8TYa6eӻ!W0S# 3]O:`^ő N_ Vs|zPi{m6$*!Y)V@? 9g[N~#QE"q/l`s/: E }}fU}T,Gmg&2+l5K/6gTUٍ>P_`,.Z$9DA% C:^B$aJ? KT NMlgk?O-lݳ>_C:}E:@'_V_Fa805cS<ctx"lWp猤ܕ\)RkI4QUlREGG,$Ln` JqVa09W`'dgDi%AqX[C眴F. ?xH{fą>ok_ 7Oy2OKsh) 1mިOa.&ם.μ<84QWJ5!U4F$/xtaCݣ})BSbG^"=LU,9-7wv& w ׯ[pU{s7ؚNj;h#?N 6Lp swӍS mE {ߢ#w|XbDl%aI|;tUJ@`0 f$A.7ovp~E )-S*AUvib4T3i=P֣VLZ(ޥ@4Mcl3Y8Q(V& "mF5iS/ot=+ܚJ+ (/ōݑv ry:B*XWlviVbpP[om:.ٸJ31װ'C= o`1CQ3cN^ TP3<,QTŠvidTA,XT!ZS'Xqö ;Ŗg׺ZhL=N2,HπmQv4#R_ <2H2HP- zJJ^MgU`*QoO,^;'V@zjU^Ĺ#U"n'.[f1j9Bhgn$nCQ^\;E>%_Zhdk\%ǬxJf(SXji3;KpT)/Kl< Ӡ=+z,e7dsTμf* ys<ƉoI ːԅqţ(:nC%FV^&}4C)A̴#w׃^0 ǽܩt]8}>;(6V<[UжuwIFfS@+BC7IB@~q<wQrq$}7Da|}uEmXpl2Z͗򉀅۹#2ڗyWkW_Svep,62<y5' ΀2Ye4V uLzlhHLHO)串=,/1P"r A$"'-#+˰[t'08=48bXõp}2O53vl Y$ߦU{+{{R0ES'M*,UӥLF*€%7 t W*$@FPUb3oFoeGա<.[ȾBӈ.uD285]Js TsߦhhX[$سX$0X2p?I: ;ڏrQ{^ĿL1?nh\/s7.2YPF֌.qOۣ^Toq'v6elۗO5 |v&q$\B,`c~Da%iFSݻgN8##u*'oLc/R6z[ #a6U7NKV)oFޏG,tDE~ifmf*%"+5!qthc -ܺ&U$/ס*%˩8:RӘ lAzxv|cM 7F]fn@qqΰ0Be ^/`4(N,"ԃXBB4Z:e\5xdV9 ?BAd( NPתGwqwCBqRݔY"pRrіF'Dq@+Yӱ,4}5ݽH(^'Ŕ0ܳ-v~ǣ2\QP~%uIY(֝W4:pdRaTMJEh} \A \6vܢ )>.{=I"C~]$K~i l8iGS~R}ɫmgYZ  'M# ] !M젗OFK?aVUM>J ػB XqH%$"P*kaTX5TY_w{p]$MfS,A]]CN|Sޤ9/ěD-Ă1Ro6T|Y?.6d#Q$/]36{ص) O VRPXSBp6A- ][3W)Ȓ(%eϓTC{_=uJl);clӺ񑿌$S/+12! LLLk z:c wfu5iI|0 :LG̃,[{/1xޘj#Sf社m*R9wŰeKp-NlLoO8˧%{L>X {d}+mEƒe.ՖOXrZzth\UZ܅TqʩɆ-I&׍颠'F?Nn1@coP>@'nIN+1*ӭL.Bjr7 fp+"/Vv[: ߒԸTfȉmv-SO) l^WDأ-[ f7uз0qq]uqxj[@.&=Y[WrfK. hcc1R [T݃ hMA4kNKF[*Kg yWjN̫&>%ke1=ORBh|M0'@ۻM07iMLJt8؊vӣAZ^ugìVZ ӫPO5.̿Bkf3X` a׌0.wJ7(fXx)'">CG'xf9@`'/B`}{dlߓGTL)uC@3WOIxݛ^Ƚy}[J ϱa~;Ra ^ *\3<{^7=5/1vp[TZg=YN%ݐ߹6 0nk᪄ڨUf;S{ o{In[x%s)DTS#i]t}.l]i0Ѹ$[^ѸX Ѯz xl:z0Rѓ=1jaEr(S^Æt(n&ӑV^F >9$Fsed%,-eJ|P<=wfFP[~LH{&}zI۹ J}'kt Ǵݱ(wqnւzs()USz??WgTTyL9^8ֶa&};&\m'sƚ_aowWtd DPa|˴©Wԃ#h4 ;LL^֨f+U"YU&GyH=`om^`d[aâd*&v&c#JX-kiJf5N.9<ΥM3w` hU$x 'Zef ]l-`(HAJ/%zYĠ#\|Ö́q^h $3( y**}}e97`b{XY"HA]\Sf KWjtmlF,bZ.u͂KƝh9*x~ 4  jEa1QDtdK>9k~=<N'S۬g᧼2R/S'> TRN?ϕ1OS}~uCC^%˗GgNsTa~CN$#Z5Z/5ݩFZ">![LbHs[b>5E*^إˊF(e;>&i~F]?~plbg#Y<<K+CH(wcVlnX8>lĹ4-LUwrZ ;gvc 0YԾnj!d-d=A'߱tcr'\02Xi~]&~6N řpi}/fHEja7Qȥnh2LS\_ax3#eW@ˁ,d~Qhhhvp}C-"-# [yCGTc;0 x#L¡s]ڳbo6^MnwO .qQ0ͱξ؝{ȟZ\^{RâzJ@fMd +| fyeev΁7zZ2}CȨtAQ;X*|2= ɈG1‹x2s7~8Y6QrX5M@5DlI8Mv< }9},)Dxs3&EKYݥIL(-bq)YꉆӪ3bL1"xb\~.H|h+я\*]kd6$MI+@^҆m{3gk~.Z65Y puܙ5H75&nYHxŚayF1IKj TTuS)ht!s7ɇ}`} N@@U4#'lB6@CvI) 9&9s%ȗft DMV?cܔTfYc 1/CӴp39W}W7Ä6N=f',Vcvv zƝ(Vlg~/v:! $XAojiiC}rP&^CgS]s>a+@!j(>Mw۾Ycm'ՈI['q U▯!8r ҿ b@!U{ozh{) X S VXz 'W# tHOL-CardinalsHOL-Cardinals.Wellorder_ConstructionsPIDE/markup7zXZִF! #] !M젗OFK?aVUMk)q<'U.^ _v,w 2ݛAu1SeX&z]8VZ'q62f%b/߭cǡJP}P}LWo" 3S͹s۲kyvJke)jJ`Jf\?p a,2{T[J>ybzAyc-ox-mK_ŸRƠi/f!-Pmè6?I{ZXOب"%Z\u3X0li`Xi rm[໕44(2QW4!eA_Cǣ;|A4^9쟠 )@&Vϸ}!Jݍp|ެ)3"hӤH3u׋a+2Sm/^['؀D0">8nZ"Qmh =z" *z`-}b`Y[\}J'#"i^CW˷ 2X :}Gn)gL^I IiTa'G ִ.#+d}rL>0CvGD\:NuH}+e$Sߜ~U|"?=mu(!y\7#_qTUJę>HFCjg VX)J@r ,~gtS_OΠFeLBqц W^źRv/ΦM7p{a8VI~4ãh:(#fֵ>eaCc9DV}K<$[{X6M-sd\雁¢atDzh3-6sͬXe̚l*'ˆ4MT I4ch# %Kاb5k'4/lH*W`(QucWt 0Fs\ V 7 .s'W!lHOL-CardinalsHOL-Cardinals.Wellorder_ConstructionsPIDE/files~~/src/HOL/Cardinals/Wellorder_Constructions.thyL'W-HOL-CardinalsHOL-Cardinals.Wellorder_ConstructionsPIDE/document_id244S';# DHOL-CardinalsHOL-Cardinals.CardinalsPIDE/markup7zXZִF! X] !M젗OFK?aVUN˜tX'$ʟ)8B3_PŪ8(7][F0s3++*ǻ ub5nU^lfIfN9NϞTC͋q$O3f bdr4Ё<jZw4ёkJNɗZ *&%&egYZW';!PHOL-CardinalsHOL-Cardinals.CardinalsPIDE/files~~/src/HOL/Cardinals/Cardinals.thy>';-HOL-CardinalsHOL-Cardinals.CardinalsPIDE/document_id252j'M' \HOL-CardinalsHOL-Cardinals.Ordinal_ArithmeticPIDE/messages7zXZִF! 1]D?7 {?:fH\$2zMF%ٛhBXJ)XdT+||O;oiDл58ueoŢEKn"-3&|42B>܉ ۞%}@Ir0^St5ɍZuѫoOAyz.S_`zXDž,#U&O2R%/Krl3 wקAHYvoMCލ)n%Ix|vf\֝/7D."ԺLˢ+/XC )5 Ag`s("5{_oP9L]kI0HZ.FVAHHeX-8z :G$0Y" q l33 JQ^YȬ2`0m?/Y9k:SopO$:b`vruE5yu֔>c z"T2\C $/!{!8Ok`tC"̶I-I+ÓIg r|Y!LV W_֗ hhAƞCRj㍧g24}j]CO䢰zsH+xcq)s-xf&uB,'=+Xm'DTy!/'M%Ct%J?3baJ7|,O2 !K5ԗpp?!J}tN6WL7XipS-aJTt5}M Ց,1W$K#reY#j'*-L@4]A-EqoD&a_ u!/ C8i2|21_>9i 5mZժJ4vIAPz'f(sQ-ot҇n8 ;a{thTؓl"O.۞,S& nw\<;0}(`UF9ݭQQpZ>ˊa{ɄuMug/w<$*>«a<[+ .i(9\#P c%EgYZ/q>%S.D(D2gvtkgK+1_ e/uNA?2,#s5aE1 @۩ &2lKΏQ0ș/X3ތe QCۂ,Z3@vACIgYhQ: 9O֬tur%X#,]P}|+G:ZwG$ M"րө .=@筴!͜ǻ}0`EƲJ5,kf olEb`,kïhަ@mgq@ '* U<׃:fP粶^5!xwCfxda9mYN2Q=z@g)hqb ݖs+q3?qrF3lJCw/Eù{^ d),B,XET[ #bΧ;b AJ޿Wp1jԶǾmh3 2^-̻j  <@vr A8v6+ב8YsPY͉~BKEiѽO9A9u<!๦^N r#96Tڦ-LJc<?L{M߯}`rA@9Fm4nLDq`]XFiB ]N84gҍn~Cк/Yr$X^\(OKnh Mu!h0(/e&]TA_Ƕ;>)BSizr_p1$Qģ7AEf֪[6 7t1{p s_l*ήDsbkeJMwwFjֻ ^Yy M5"wd , dR̤Ej) .P,hp+ iiqm=J4< EڃhvJMїHN|2i)lv`[uYgz^^fLC-tbbH.ۋ&W?jQ|ڹ*܉`K2`љ ?PϋHBDEh| ܙfJ8#ƶcZaLѹ/e1A2&~'eSm S\(m|v u ;ABqO2U{^qtO~ⷩ\ D4 /KVr&;)KYZ~Slȟ%d< IeêG`qH%~~e ^_/os@1(X T1rEVr;ܦukZ̎YӻcZ]!6xtTL1\vMq{ZH4CZ tg l\#RϽ=[]\Ԅ 2rH }:/^8odnIoc8V\v.0v.R!vPjiq7l8X6Z/ 3_#GoG Jh)>o嬨8Ij*<4nœ}w(gY$X9;"W&ݐ#LycHZ١t۳߷,ɐ3J^BIMJk&bJ;? 3ʼd:=I!EJC@9]|kMoj I]i%E y=5f$mb(,,^gCT/o=osMoNˡSm&S;0[3+xT2d{$GNL9 9$,3Gct_@4@wY #}U8{A:V1GҾVЀUBRN(!U)wx<_!c opFْX}[bY6V3-T:.O떖~@FWqcVV4KW<C骢gXF`džpR_ݹ E 2Wlʡ5e>3 Zr`ǔCAlFa/[ EkK͹o nT&qAQQɨdKnb%MOU1JEmnߗ&;Stۅ*v iGt932)Iy9,z˓w}[ DŽMqd#]u:}W!gR|,;esLO_uw wT Ihr-Oa$=vRnc6S!3V2&2V[֔/J8׷`kWBIr7P__BzUd$cB@hY!Gh6d0+^lKeU|uw*.h?\w(]7]V -C ڸobrU t+h;6ݣډ0rgУ]Rn}.@SPҘ/P*\*eXys\ e4]}%WKڝbݑ:%x{>(=YXJQ8x;*`⟫|1:lW'9bT9b,\$gtk~*qR|CMEJO]{Q?1y,5: %`Tl@tm,IBEeFu8Mz']Rէ+uq {~rQGJw<Pz= ՘eGu\W< Ҥh2G=oz1O-( H`3LeN$) jVɣ?\j?69uxh8՛0ŧTZ؏x?s0ƒ^Lxp4y;"Э W1_ *؋r-] ^>}-%GyrM'>ɔ>B;v \ I;Cއ3ؖka<𨋻|2#ËH>(}4ӻY9:!CR.yeDU<; u\\`Fl#9  Mpnvם`ӖVex:@9ϚG4ޫs :P<]q/@~sc4#/,&p?Hӹ k;\bK-on:QOyXoڤ4Qu & IOfqV27޳*NBkEYdTNUيeu3,ey>\)zH,$`kܗ=kGZy`QDn[F3'`Vq,f~dU/2NsEhk>LPמoV8K#} 87jٳ#sQOdz~"m/u/IqhLca\343DAjs= rOk )mIbo7*1sNubж>T< iZْ+T_֝ Nc4/r._ )9tkQd˯̒)Bk1rR(5k.gm^$1~YH܄#(i?Kb@U'7U+}Fa2l*$6KK<Ɛ$,:IBFLQ*N^Y۩Ƨ4r{<<9_WZhПPw]@ OGQ/+At]g]nI6<%UN% G^u/zh( KIz04(MY%#9OI:MN1cTqf6!~?%$s3?ꚐɱWږmߩ[1ggE!p@5:Da*zS!&/Xu ed1Y9\O lqQ:g쟁̚QU]"3naINvq9;l(byh̴{Le7NOm6J,S}Iidҿ6 7u]c"K9|yCǝZ`"'p`䉽$4|\Iy䫉OBK,#-; V6HOxԧk)=YsN}x8'-\|㇝q`P֯qVрk_E蜁}.IH&`l~}znn̦e!!S%!wReKJ['•~ga<'nyu]..~,puPl,CP~ M]adVݚG.^#,SWo1,xb%GAUtvD7`O}qՉsLtjqfPK$oЕywmϘUcGS~ahD] ( YP,d.k'3e ˆ'Oe|>$K]q N.܍i@:VNV б`"46G͟-lp'}> ¾,|Z:?S`tޖ4Np5sL{2j 9tWz<^uRo#]Gri8)"at8tg̺.ؾ;{׈OyQM:`نFX\|RR$6_fѰCzLZThAS1:Uӹ@7`Uh4 [d0r 7]c)Ga">O{^cо47L%$s&G <^ hLԲZ(j8yϳ/<n1$l>KjJDyx>Bdo_nKYA ޲f<"bXt( VvRXU7 PYphWzjp̣FnDŅFy$x!YT[~|fEPd@+V&=m}"s3?v^kNtHsP x-8D ͛3^S=`F3 gjqr&?1Ō^2h.V E |bzüJaPaџ k` (xEZxT6P%f ?cl٬B674nlrH c~O2aBR[ p,*N>bmlQ?f DNdhE"ė1f ݩ[DCG L'Q=⶞[Syw:&gzG (*g"qx'&ȳӍx3]P~oJQ_ϣeDV#v$ϬOYʖP\d..]UFsESǁj!DsL |ަ=0kя::_IA|j wEÄ %/?"iƗwiWl̐So*arPisVjQ87f9m!UIa 3]2]mj/n [N(b~4d% ڜ/żC&fo5.!{CyµHxO˟{ARmVBaof@0rj9IOB\f&j0V8˶;o8!w98EjBv|) TηA1c5c:BWN钪)]) r)s~B9XM7RU^驑a@_jՄl0 /*z5M&uA0^$nvkB CxdӠj\z2ݠ.ckte?.5)yvWWW#b)HSNe+eQVAj",3Q s# }mi A\96he%ֶY@1&? ՟-05 \3dL[J%g@WNxa/0݁)Vl*:zJ񕠂̔M`ǕzFu4uY"2nX (!ꂕk?<6n7n&myȫo#eQDzmsMKcd{υ>œQdc{~-PY#E5xizgDm44TqlUJm7e݆L~Ô U'^cV.M& /SsF[c=6 G:L5(xj9>ow-9,轱FrϠVGx*Wr2k- o#cEd_Zv$|pn. )y)Cg@x^mesg OJ&[wKjzd4'Tz y'nWVCFt%2[9 5 %|`y >{lE}UR;7s$" l.w ;FP^i޷ 2,x7 }*Y8נGR<(T6"V*gYZ 0U$'9!NHOL-CardinalsHOL-Cardinals.Fun_MorePIDE/files~~/src/HOL/Cardinals/Fun_More.thy=#'9-HOL-CardinalsHOL-Cardinals.Fun_MorePIDE/document_id230M"'O# $HOL-CardinalsHOL-Cardinals.Wellorder_ExtensionPIDE/markup7zXZִF! -L K] !M젗OFK?aVUMk)q@/X]17$)P8@ \&E ̃yӚDu'uÒh%FTpotkm/{E=Ywt4 ]Tz*.P)}V's|xv[lL$7,V F>o!'( vB[~Qh`A`6 h`ݤ/ AUZ~e&kHL+0AbbCõc4_U_ _E8>F\D QCjo}va-GUݍԈ7ڤu+"0l|IS8+ S0b8"g u**<'^o#) ~#dG1ٮQ,Z6cщ3TQj,i柿bwY$Wh%0 cXY֪5;eٟ9@D*_̩e{O<̇TYbmtWXbqmSAA>ƍ={Awۣwf׌~9s$ ̡S=/Hivz/]Vg,IHO'k( (R:7@[Ao||$@ f {sd]\vh; قcR"J9<)Ӣ\Y c7*nޑĂ ޏKiT3S6Y/:ecr@鶱qvkM=}gDbSW]|u7GDNuq'# ~[ `mޭ+Il>%}T+ 5T\A( .,>b488 OXA1H"Ei3ߎ{vQl"WMⅯ r6h p?.(mM-)@-T.  39\ РWH tS'pg8NV[PD:M&߽Oh\T,æ"Xގ|_$8C4dܘSCgt'|HbҴ2b@ņu?Z#!YgjJvod,{2>Pq~b]\wP|z8BG_,49n8 J4(L`/Bgkב5qɿq` =n.V{Fȃr1sx>3=ު&N4T9z#'.r HL&0c+"t♿hvE %SrIu?/.({|ᩛ+*!u-lZmJc/Nv%"91Q%.,E;F Mc Ҝw>:[8k[4a^kᾶeK3QAȭޫϿMINW48NBVݥJ(/tfIߓ‘Ж$qi uhD4mbkKp+.."n sʎ .򌍬K~XҬ:"3@?Hy}=kgi8 ڋ@hxcΉةB=@cv-^dhً&fN Mjt鐧c$szʊ<2t4Q#cj&Q^=A4K1@Iu oOsYl[}aMi<7L_PNXSFFxY`3>q7)cn@g3=>_{E}W?vT>xnL26.HD. LJH LbY&ps ]굂{kX U4eֈ=*類y'?r#BDTK_m#\!H>X/@ɿALWWil2a\D: O42L{xJYhN^X7V0!pjS3=K؝Pz[D~"i.Q%7}=D2? U[\&ELU(^Dt_cn&eIw[/\)5U *$v#y0Hri z o_^!%S 1/DocԘ9(f'V VF>6O~:߆*%,^Mo8{SzTAC^@)&a;l!z7JIz'̍Oz(gL #}]EOfy@!{wSӕu*Ry>[ HMK\E}G%DhZxy ګPEO #4aE=z̺o]vuQ"PBsD:XBjQ&Y?RQ?p1GGU!]f Z!?HZx<8F{:JT6wQ4k6ƲlÑ^v^-|czf6.Y>\jٙVDZMsp8-9>]Ze/Al)YW m\Ld.rhT`(X޸\Hcړ>iX_5.MZ}Pl!)3d(_Dtt+Qvd8]&xj]G\z U&꿍Y{/X)0ite~ojV]҂6(94nD?E>< | I IʉTtSW-/dMQՕx}Pkyaګ~lL,GPl  z7k8_ sMz\l-a3yWjztTCZe'_˝?N+SoB1fjF~ 1a(ͅ rz( _rB-<: *}; +X ygYZ ))T('M# 4HOL-CardinalsHOL-Cardinals.Wellorder_RelationPIDE/markup7zXZִF! > S] !M젗OFK?aVUMk)q\YAZEsDvHp Re-Ul4j8}kU.ͤұNsq.'Ȗ*KH骕Fo X9^1L;־,F#>fuUdSzRԝWHO&^''3m'`.Vۤb:HqcL'{m^%bsŁ;L3λ؏ʸG1,Fe>)kVVK|9$D|zh\JeEv'%κ;P& xMN"ܲ>&mU ^@ T «F_~4Lה2-9C *zǖWF:e+dC;u*Ae^ޙf-{v!?}\Dl4Jf,`ßjKұpPGcD}!^ $ɏ>ZV;3G֗2/]؈Y~{l)ף{ߡFأN7A#>5i0ں2'c|3a_5CaN⒁/?xt0ٟk"ÕhV8J -m+ rQ[D2">w$uINk:x5Y)VJ/`1CHW wz#K7qOꑝ~8 t8 :_ qgGLr/R6|1ՐoXp̽7SpS@*8`= 6[ vyLXc`ۮ3kV[YWګ>$P^9٤Y||ƌDAHheNUFrj!0V[Vl' w)mx$VpЩәW/LEe9% v{&&gK@ 2$<3beiC)቗anzP(e]|zS/@m]{rloxR ,1:&J7[B6Grv>hd6U)V Ic뷟wP2ʰ s p[/f_jid#яPJ/=F,VQr¦֋(fShbȣ*9b^C2_AwZZ@+EI?vH1#oY(m}ܓE?#G(W1[ O1|}8iQ p$B+lF!yY~mFW %p|ʜ[#HOzs醬#L </x|Es ̲]UFA/:::>jjt ;@*\2 ,1Z~AS*6K vF(2աkJ~ >Z4n ^xvl$T\Aqv\1t֛Ŵ޴3WB~}k^Tw| s!i9}9/96|>sx}&{LK`]s#$TGaҙŊ?EAu Å8'Rhծ{2Iev^Nπ|Adx F*^Ktm:l,<3GDjuvК nEC4Ă;^}z츘05B9?)Ҧ.qKpٞDr$;}WXj{@`\㜹`^oDcXM2x(k_"tvrIvA *߻'N_?O3 kXwPq lsZ/3 W>|,j*QdAXaA? $5鐹*+.&x$d<΁ug>:K :9`k*3}*S 53lܽ뿋'{ÂZp z}{{w"̎uTO 2 ]PQ5t&EV7>/qQuk xr8d"TuY*.:_1CaWʉuz-^kGlIJqD ͕OuX~Ago[}ڀa‚߷ |&696 $dR s}yÜy/Z04sh]֨FG鮹CC/RK!u`s4ofrҩ{氦hFK*Bj\ 6:U6jVy4yby2XO7wRM,)yF_ZĈ_]`]lb?N̰Ku7^E%NăcyBB0B}QgYZ  w - k+'O!dHOL-CardinalsHOL-Cardinals.Cardinal_ArithmeticPIDE/files~~/src/HOL/Cardinals/Cardinal_Arithmetic.thyH*'O-HOL-CardinalsHOL-Cardinals.Cardinal_ArithmeticPIDE/document_id250)'M' HOL-CardinalsHOL-Cardinals.Wellorder_RelationPIDE/messages7zXZִF! y]D?7 {?:fH\9pͰ]8t%RYErՄ Ro*WWoƺT@j1@$yCĆZbZ9eYJn,Hr)+* B)G-xT@L H'!߯d ` UDԿ_JIpL(fS\TL]tpAR˒+CU-Trs,RG򍦠>j@7xwo VﮄIXK9z>㮫P1̍5vm9uD[߅EbŐ^ 2[pĜeߡi#==F9X^FV".py ު6 ꎞȩse$(mY̅O.]#02op6~K'yӥg3vvrC H ܰ"s>:$.Ӭˊ` P&A@I4E4Ҵ֦:X. eg.Ė ,$:gYZ 44I,'O# HOL-CardinalsHOL-Cardinals.Cardinal_ArithmeticPIDE/markup7zXZִF! >G] !M젗OFK?aVUNt[ GPiyP92()֢\"݅lq]tiȱ X^]xNOO!H\36u@#cWTGːh@RDٖAۛ}OA,yP[ S5np&[m`^"`AL,0NF¬}{f9I|lifdnD X-Z0Wa xB;4J$0GmA neĊ84_b I ٯt *uq}BB Yh}?$/ԝN?)cCufsڥP0uF]$T@6XP1kw~cf,-V1u'~B?x&:ZsyL~ &MQNdD l{ѯIB k3Ƽf i/7cL͛Ч ghZ }e}%P_T[\k9*"L %@K?PtPBnwŲ68GXa=ܹwplJS9b ~)$>ɩn@ ɀ'`c3qbaXUYTpSWC>Rɨu[4٭1AgᎵyݾϴv먫h dt0ɚ"?y*:q-=G[0n땄>@."=Cߑ) #EeDq1w]Sx1Ƞ h|8W68* PsvgIyGu;寤+Q װjs9vɰ~?k]caF~w7y o8*D}Ff17:>iUD0W8ڍUz'@nCuk©S,i^j53[vP瞟 g G !en)'~Y*>;>%^ c!?VLMb^EmTi%vx*ܬ h 3Gؘ=B} 2()2| ٞNi_anKͨ xƻ OB!Z !)(~("x*-3ӨE|*rƯ'?89}oX: ʼI,q6xqLܙmQSm-79J0ЈL/]9bFvG$6ћf/HL5;7_,/lᾍ\HEQ{nYR>m:iVV02aKgv)TڗIY#:[莠48qօcT0b%h2v [o^_P7vHs/]fӜ] @gr2;N:i&%tɻZ͆I,pОbn}:Q~doXT|AiRx$x>tm%0E!A6km@kۿ;kՈmQ~mP[wjhL#ʫܚ!? v0ٵ.T(;Si0(!򡈪:t}l<ɱt~hi<w?aGZ=Qön߇ӾTiEOiccU1&b*Z`Cp4qP$l6eQ$xa; jK[[jbҺ5Nũb1K%Y۩? kEzBv#3zws>{(Tpmp 3\㦦$ uD򜸫i/'m7Zi2FTꁩpGÎR qlHpe7ZďmAhHԢva-Z5PSͩ8IyҎsi5wNE _kRA?a7/^) (ۤFۀaU&c<s53MiItUw1DmAԦ3u;cnqLÇc"([PsNͿ1|6]k &:H̓~?<>ܩ@.? a\]9譢i|HS+~ߤ#(Mu"ݦy7/XT6<,fWEn!wŸdsq[K󎹲a\z ğiZ%byV C_kL: ߟdX1:!#5S~}iFTG{r`)U|GxobdCJ,=})ջ9PJy;5w_J b)`>8M83<#D*"T BCpՒw<֞mF:Az8YR7;` :lF'AbEQ`eW 3Xk&l]9_gF16?r54k1j'LoO?}_Vz0 Oıv`M;UӅh6Dwn*a?rHi9Y`FH0d/o^sjAǃg {VFv br}k]w'W׎/5%3zp i6ƢXdgM];b,M^_X" jE:sPuV\5 т4$[u1 5hפu7Ag0mh71bH{r*[KzDBY)zOzJR]=ZS)k9o)61FoOn@)^HiQQ_|0pJJ`؊ NY .IL|fUϾhmM[LTK=ba׉^G\*P1{vd ;OR|Bq5$'4(On @aѹ Jg#>Q^FeЧV]e)I c\0%ɣy% pZzsV}ƪݹg1]Â'0r +j>nD)<|lKK~gYZ "f "n0 'W# \HOL-CardinalsHOL-Cardinals.Cardinal_Order_RelationPIDE/markup7zXZִF! ;] !M젗OFK?aVUNttDjnoc; 6BM:&Gߐ&u ,_@-,3u +=-Fں9 oǵl{؄IHN!@>|FTy\Wط* \ބ[vwS>ꚅ^W_бoPR[YgzN:Y5*}w!n.Z vX1ffns$t".aGe!Iζ6O踛_-85[5ðcAϒ|.:JZ--,Ն3WRj)QbG@fW|%K.6g"v00y.%i^4̝\(P펭Ji8h!) aq Ym8X *a]lxpg@e W + R։ !+bSeTv\NJԙi|KAտ۽gǧb<"amr(ɺtikxS{VG쳽[pHR}(+T\Mể=j<U^۔f'Hݯ[ATFPWb<ב 3;Y[fNJ4Ɨ씥KtJ 9q`xe"h1".xdMju-n2Hnρ.e` Oď@`Rb(umDepK"- 3*΋倀ۄ.*y5j?ٮ>BJ5wO[ jT9+ Cj =)IZvfi2ů%xLfpY ׳vSrsU4yl](خ%Rbqx R2[,&>D{g#Hxd<>yrk ~gdBէ?,_h2{;kj`2Y]&`hJހiYKc#.؎e+ⓞy'R;@ڧxtӖqR6kx JlZ>cP RwwK`DWNB7w7U{PCK"OaǛ3H$Fzjt avb.WhU$qTnP%h*>ZEQתn.e|M*HZDܱ-/-" &! [70$ЂO9يiNDB(Q"Q ,q>ݷ:W<"t3 *fh8xp ۳#deIz1ny}D+$\:w`و-1d.r0D +qopQCtk) \1*8ɡNDb8wnzy]?<^m'<\-|_lv:&aޟחKcRywC>SJSƛf@ҎaBҟ6%ȰͲS6, b342AQ8hwr2E|fm¾DRf3#bi٠ߖ^k1C'X'lbf͐/j!~K spvv6<Ur|U`&aaZa(ya7>J6l H'ˠ-HDd'с7PfY!i|rWI"&duapZ1ԄFJ2N+z>k-Fnb8:;]hn={(m ³C]Ÿ,ԪRhu *;̟I.'iO6Ctθ zj&Q,u /e Qp);(L:fY6))Wu\;EDA)+&GOR[ Dݜ%f |?<ۂNGao_2Y4j3B ,/ +BS&yI'Q~D 1,h"ȏVzߪPJˆy=t3PC1`B`,8LVr]hz;ѿn{IZNG7v>8nJ3@3bw=y BSRKGrtaMD,p@LwJ`}DN#cqUoE?xd 1$m4mLWTwuڜ{Ed d4M|fVⷬu=ɑݦĢU16Fݓ$)A܅򮧍>n(] 2jvT*x Iڙ ߨ'4 )*dV|BE/YIdZ>ǗjX` Q4,m,ehx2X٭)ݩu'qArWq?Ǖ@(p;ar~& @!-t6֎nT9׭Nc'_6"u(o+ن#tN{%4>?f.DWtQJ&a?4`Aj!0-yAKΏr_=ͩA/sn MɃI^0Nhr%s2s{r`4Hэ/ F}Z֢ej$xZaE#OV N8%k (s=8x՛͋զ*JAb&N zgYZ8mcIs(>e _nqwQW*.{3G?v*_zFLaV,}]VL4>MlVoLK7pj{b].I ߰!@)r q' /nfCMLL& [Gx*7|AOn Ȯ>ZAL3=Upy^7&{gxk j! w68oV/-Q[ϕ0y$:oesA3Y2vV`hh1=0)y, NLA ,p3wps~T 29żcj [ L5ʮ}B=uq$ì,[G۟,Ȫt@ ;f۴a/oAܖPDڔ SdsWf,´?<Rq.!ߍElN `M&h#^d05qR_x]E5.~IzcQS]gKr褸uїWYd.d @N;E {FrY"E!n)m %~mpL%OQ<*/Sw 81 )?9@k/Hfdkz׌-fEŢͷEZ%ЬaJ,lqn?|2bXh _xHft)\ XpXsP)7Hs E iXI㠨 J}bBܗYroFvloRr?(7yRɳ ]̄N,QNMe='JI*?8@xU%j“([.> &\eS4>uRo~Q}SnR7h&CqY[}~ː,*֛# ӍdA4&N. ѕڑ'/^b/ʬBsvoy|ڇ {YoJ++bN{Xr76銝Qǎ6ˤs_!5)I eyO~JI+' h8|w'>"aIEy;Ah<=;D?2| ,R+&-iQ_dž ti)PQ?LE?vfnkꇅ@U?-SD4X?$f{RIm*awmb,NOk:]M/Nw ǮG,;֣v]ť8ēu _ Ji<\~]<0zqX1f({z(RPBӧޗ4{IzGiHܨ(idʧRK|D2׹FkF,ˍ\^٦GSM qځc˚Y]D$x- oA udqM4Ydl>R&(fiTcܜ }8>&ovs1 Ue==]KDa bkG?N{L˲tJ'ɻ^߸SZ&<(M΁1f>[&|E?:0sZF uk_2ZDBS8Ar  XKNFL*Ep%]^5KꢲsE} M=ӟD,Cf$Zi |q7[v#mՃ)f՝HxWa1()'+P%; P_t 3_ڝ| pV@0G~ ğ_ i (EZSeՈ3*}uy6+% lܨ9@$2#_ÜygVmlLE~_a!Xy_½]L^͗hٙ(L_138c)GJD%*so^|wR5Xuer3Ƭu2;WU]$LPlՏP8Ů )US$HPzow3\l cᎺzگ1Itt\辒Y:ҟ7ܑuƒ 8wfmM5!n2/Z%KQ߻nCltqA&'s:TzNUF2PҠ`ڛօݹfduFM_:Lf}|ܽA`&VAqrϥ˻imwC1RʮJ: A-z)ӿրOq n~˹,+ 4F!7I] d3XsS9:*3SWd2ďkH3BYdeƍdy)9a`ɒ45QB/LQ5U5J]?Q1y@my&c[,!udo:sZ]4M!Œ 'hOjX,%Gy%.JJ X\i|Ts.D{Ĕar À{fֻLmH9,I]|PmWBӇ%X̥O?qR5C*a[[-YKɖXz ED+<7B9ae1z'_ԗ _01ܾ 8XH#K7Noy`Gvk̨tY6zGLj|B:;ɞYM]ŒmSZFBDRitQtX0q>Ux9CPri5<&)P?ℷylG~QV]EyE)%?1cto't7V1r,d[&XVT6/c)O* >p(D8|# AP|Ê#RZ04ea7IG`i lG+C7rdtNmWGlUaZ!%e'tsIn2(䋸sPwX'S;W ד>v*=07J^*ZC^;fRF<'u\SI[%Q~woCsi4<JZgKJ7`|?Mz\gO1kwV*~8.(5[Sҏ;P.^RUohh-2IC/:8{,l|OtKR)^k 3gJH[RК6TgsNNzb\`'nrjvv&_vH!HaRu'FD'B?bzRJyk 8̈́5I+\'(¿8 G/8ғNiYC2PNxz6LUH%9ё_%&إ-`+iއP%v3qG׳[Њ󸎥|\d} d0i;FANAydy6TmP]\y0cS|[5M 9iХ>c#ެ=v"\ծfbﵟA ,zr.Z7;o>l9w8",ś&0gB2!+I5Ǫ1\ZG'(Xwr3k2+j`,x;gRʖS `< //[„d_tHDf} ǻFw$sA>Oϼ3dXo R(7Fn!`*!B@+9d~\¥"|\Oa'ίXKG:Zл(˧&9d RKͩTml@M8p[ b8?ܶ̽LZȬ2n>WF P?$c7@ ɔ~Ivuoϲg]@?hRGxhTq)©O'6[1@<]CUXRH,FDh$+O^.Hhjb4=ZY[8i ]Fj='mPKh~kpXQ$i۔k)pR[Gʳ 4*}Q7] #:zkfYw4g6ѫ{T{\!YӼcu]u(̣ՙg}\E[k\uZSHʭ0$0"@Meb(H&kp $ fz/Rd2)Z$W<G9}r9)jDT2HGY\2e倄H[a @qqՆ-d]ׇ|}l])ȡ/zi]QȄ#^T5MWzFa6F*&{nwnK`I Gy]M;םƙ4 /F Z3fa ^t`h vEhHљCE@$*hs:4E2s3D4{.eV$IK2V?,|Tdtu*Lݮ6G'u+];EoJ(kKĮ^J\swDCPey+Z7U s eI .:{@gA<7 [Z0BZ{jx{]}3~W#Bg]KxT ^6-)VrƘ&l=>Pp,Ѧ.gAJ"2e_=sq+4vl}pOVZKe pX&=RuQQTgZ?pS\dV/갘O)j}NOwzYЈ,T/ 32>Bu^tPppMka>~עa&kOD$r9Z $% jwC%-* laz[@6Ls>N@V;2-o ǏZ'/]z'y..D :;p?b>Jy*'@țtw/snȓs>kG߱ꖀz1qCj}:SGjo݌O;\X`ihh mDmЭ]~>zkT/c[ 2]"u)Aç/ b\U% q|ɀl l~)'|;]=, Ĝ&֔EāIoojf4!Dmg/$8E V3S^2[5EMnp6zԒh3wڝ~Xo=O$}GͶ%yKy97ÓD筲zC'2 ]N- r;TfPPKs'uP"3^O7)k%5IOlUV129_jc%{TỴsZ{x" 44 4!%|-/A+I]ڌJFTB'_Ult\8)ON6|*nZ(PlrƖZ_>| [j#Qxx4Q4l>NEZv)|;OG+mVx+1h _3PeyH[WG`V+5H_| {|˧9jݔQB>‗/N;mf*C%Ldl]ΤU(>c)r%bH"+-›u~KK,{yűR_N~Yؗ)14nyÜ؏'L%]>- ɾ`RDŽKRDmM__Y}m?"ĉ`* <=rthB+48k٢4઎w vE<wj"ZmHr}"W"'!BO>92Grs(AC6__,l2muAz +vJZgsRvHM ,$6[u/LCe"K<6 }abK(EKF: Վ9 m.}!k?Xȥ1:36iI?Ү1ɤC@}VK}iEiRf8By?28p'mu{[Ucvz1I1}CKi W·Ө}j`BPcgF} I+T|5j'#|^Ƽ^ŲFw4}M~d&?`Z$#5::^$4ktTr|@QcLj6\K}brI ^6=T$?.}9+ &dthg#5νqHfEn hv 7|c{Rbxکߌ^\ɷ#ޜ (]0T-[R>ȍh oU!"HpI`-y\<3FtȐP| lW97W.KS`Djۖл R@'+ZAp?+M%[Jf3?ugzP5 F4rg"KDWn[0_ˋ|X Z⃺y9)HI|H;6[1 ЄH&A[ Uy7} iqU)d.R%&a'c0pGm馻Z]:[P wm݀1Jx'GqiOa b*3céA㚻*}kjiT-Q>O]2\KZt=}@>0h*>'HZGW+}|'I݋J/[eH7Fլ|D4Y<|R>|~ai6KEjڞ d'tW 9{c)*eanG 6f} _ }.8(5qv SU~=ς1}|UqDkG.٩PzvVH\ѹaU&(^FVH}E{>xcn182Tm C"dj`NF}ƮkABx!;}p,pqYyݱmكyTh"|P\sS~_.Wb\x#gYUs澻XdQCBסկspp{跻ioOw}Gx|XX3\ l$p.`>lcMT}:jq|]JZp_֛n^}"GN#֤'aWF/t)ll A Zą#Ӗ_q գ|5P.)YiC,v䫠;;M}B)`J)f2WJ7i]>b1"8=|{]q?%qi} JM%d%E,]C3]X4}<=ZIQc#?:̦yLh25Q1%=(Z Ys}zeեf0o),<>[K nzwb48MVA9B:ZV)aQ[5wyO|yJ SBu,l{YZ$-$OBmfA+VQ  *.=pKTs].0ar1I\h \n>)\O} TJMq ㆰª/O>$__PՏd :'EXDnH}uU$5Qn@wd)mډYX- XA?&,=x܆Jz-V'"xJ9|bRTռ =z~.%ݓ, <;WٛNV3vz:߱$O J;; V~R,`B updjxszgYZ  3+[6'?!THOL-CardinalsHOL-Cardinals.Bounded_SetPIDE/files~~/src/HOL/Cardinals/Bounded_Set.thy@5'?-HOL-CardinalsHOL-Cardinals.Bounded_SetPIDE/document_id2544'O# HOL-CardinalsHOL-Cardinals.Wellorder_EmbeddingPIDE/markup7zXZִF! 9] !M젗OFK?aVUMk)q@\^p/iq*pTayxPMC:4_@iE?~!Z] 22waX[#qtkPtzf;J ݎvDV[ 1/sVV2=(r#' M˧@6Ϻ%'Z aneپKrXLW2>?ySd G=0Cr9sI_͸ +JJ!h2}MSh9iZBq''@&bϣz[!*wwЁ}O"*tbQdJ%`UZM)ĬVÕ"OS 'w1e3̕8fj!fyٕObK?Q._PJ\Bh #TM3O7lB>?.-s`,'+TDĀ/aJ=^NPOXuRi&}\%N\2kRh%|#7h%0uX?2,)f7i+ߜe>QѨ7w">3w6mP|2 zsɂQtfpeb sp^ўFZkɺ>[MˊʢP]sD1o~*=0cuKTQ[:!?At̖-{ U`[yR2~㙚,e2 yW^WK} 1Uɯ|MJos <ʃxy/yGSΫzɴ1p_  5j,cNj;(:%Á +n&O8V{ v/֟'Y](Q"~9H] k8 +y15@p'P4F4[DQylݕn'b}ʅvĘ{ rT]W}w԰Hz$7ÊaaxǾ =nߕV/r+D))"(yGU G ݐAr=0N*u5]E!o1a,o*:rg;IgKbU6Ig, ,,nb|-|^$8XoQ߫,j,\!Bj}^FD?/2?$10A*meEdn,hnj4 Rg(8s*7a!x)Bn=@cuw8ɘ!,?4|W=FWg. ԭu8cF{T/] z>gt瘖5+}'ĩӷG'9ѬFJ#t Wܚ"F8%H1'ClRCu Pd3/X`r]WiDR Ѱ$.x aG6)`I ǭ6 .q闱gYZk3'O!dHOL-CardinalsHOL-Cardinals.Wellorder_EmbeddingPIDE/files~~/src/HOL/Cardinals/Wellorder_Embedding.thyH2'O-HOL-CardinalsHOL-Cardinals.Wellorder_EmbeddingPIDE/document_id2421'W' $HOL-CardinalsHOL-Cardinals.Cardinal_Order_RelationPIDE/messages7zXZִF! ]~ hk.<VAHgM@*$bE's' ^Ί褜@;7$偨,2!kʓ\Kuyb$wH@} ڞN;HT O8}~VjZQsU\G'B$+Mmȥe8Xvp4agu_dB-xS{TfmQ*+.Y Sj/= C,ܦ10icA^l Tyo^Oh ad]ycw=at畤Tݦp*אlK*9 2c$KBn./onJB%W]tv}n6\s$/2!uYhgYZ lV k:'O!dHOL-CardinalsHOL-Cardinals.Order_Relation_MorePIDE/files~~/src/HOL/Cardinals/Order_Relation_More.thyH9'O-HOL-CardinalsHOL-Cardinals.Order_Relation_MorePIDE/document_id2328'?' ,nz iX[:j]375)VLTD%yŘnFiIVHiϻ|%0N/NMg{&$> l7*Yhv}oF"L9/ڕ;X8g ޡo@H!\c =M¦&`NIx홹̙T5l,CVM{l=ex(16"/GIqgˌb0Rf׌6n}P[{ynpTv')E+#cppđRRDU֟v! \I3FUZ*o͂ni$VYGuI^hq\G/Wݷa[t)rfx'h@ż omGmr\X`-&(Y=_d%*c@j3]ӌOBœRdh#Mb Ș7U;RT=ahLIjb1qL1U mVCApbpϏ%T $fϪ6Z$s[ɟ1JH$n 38h)9G ;јW!(}*4MpnJ/_.,݅эK[9+6I@}Nza3v4,Xu_ Q@<%J[Nu*aoINu'5KNb" xeAَ#1xD^ŭ=[H!0SҎ[(TPdz.)'B|㩌3`0%PGb,lǒ3^6%(MmB/:#w8{%Et;`}ϯHȥ qz]\%ʥGAe};hv:_b\AcbjN|Mpq_oǫJ{sB,LѢXnHi -Zo׻u)d`{\aN}h"WWj;`1Gҧ)AQ'"B];6,#cVS(C~Ժw]fFQr utבZi #,g]2 bfV+ޚsƫ6T<GqpFlDn6&Z8df"#v!1&0 m=S3Jg^*H4[6%qoEfP90N}K$~R/؇FFB pOF6 [H)͟&TN՛5F6fP;F欟 ז텢>gWB+>>M_w>蝚K`pQIs l'|s%;ReW?~#N,au]8sJFE!_ET* *IDR\k [O =͜3x'³osz< 3 KSjeh+] rl~74?ɜXpD@+yp[B ULG.n37N[Q}&";ؑryC!.VՇmweV_V>S Z4p ."_ʹZA ׆K4 W$cxfA^ǐsݱMrlF 0e0Y ga (lk Rx9`G8LV9%r;;S/M.vAx-aݣ~`MD8?kzz,QPKz3=˚8 -Z{^0(T"T2KVЂ}N͇ ljoݞe0kցLL\L)Zӳeyt_տk$bz-dm5ܚKE}$i}(%h8%c[>M`BGݬ\LoYYӎBTpnjEf;ЈO N֞׷Iqj]x[TU@"8 o;E OV0#itdwaS]>N"7~k#*b5c{Lo&6^?3bAbn?mZЋX5LͬǢ>4 p_6c}NE%mQar2;C4~MK0oh2[uBhQSNho]Jbqicq;j3L./ ۃMޘqږ,ꧤ@7E<Pt{M(/irX[=j@~ą"ݷgӡJN71cx?鯟C `իH|)Y;{ 4x Fn^I󭌀c#:id 8aG{4gRLY ;OeozL><|9x!/wHi82ЧJ ^QXAO؋OqgY7AQ|&R>w<ے[&P5B[ BeݘƔgYZ