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 i7tT| ]% HOL-Quotient_Examples:threads=6elapsed=25.630cpu=41.037gc=1.9087zXZִF! d]ŗXiɟ=QzX)qFCkW*g_˴A(Ok| ϗ]1 7n(h⣌<M׺\ Gʹɛ{֞3<:vˇ(S[o(H)͇1,Ew,iF/)K 8on&9X5휚x`oBRt$"38 (w`?Ntlawzad O}[ZfC!񭏏 ijO|К-CȯG7I &)y {S7^Hd|옊u5i9vw-0tw~#~Z5rg1ٔ`t`c>݄r0BqС?(Ȕ촫Hهo'V\_}OQ(ԋzE% El_tV悎IҊS+R{?u 0]4?⸬td._0m뙂 j =h݁[$b+3q:v\ 7'Wc'_,O"fMU2>6 *Jm37΅D@Æhv*@ ".9E #871/8ܡpz865qȨ"+w /ܸ}@rA 6-|֗' B֜C#4%L'~|klqY٣q;T_+,PJ- 2}f z^Yg̔5js`CmtO 6[ض:Gu8.$>5L)kKóN. H1 z!=` Yn7k*n9K 4f^x`؜hE}̆.uKjZv}'O,J]ȗ vv ;}v,Wir0wgae6 ^եen֡qUDGhbﳉcѰÀوꐹA dSWs$;AP#YMa`6nV"sХ}}-d z3RM9E~qwxPyT_7"fD\o >jZdtZfTNM1hd_*L\\HykVe єi}C1!57MVڌB2GE u vDN?ݕg`~_-),RHG"?rQYɖan $kl@BMU"e^'~GBqӆ?.n^rI;CY")A.^Ejkmzsb43ͪj{ĎNG,9M+_ }hjcHWiJ׮gMl_E͚ '77h ]xW@Z΃Wvԕa aNvcYFAi{9x[J­@z[Y rZ !I'`VznqԒWe*<[Fא]/THiY.#n}V3f=vkv.mB-M4::Kw>mV,L.~smsڥgYZ221c5a76fd5c3d9c5ced982823b21255b89bdb85314b2178d6c03158f9c84b2630cc69b9a5064111 9325af987c821775600f0a5773feea39c85e86ed e9e8bc6ea122225977f56653d3af82bedf48de4a 6adfcbaf48ff6ba9b7cb0ba98bc3896f2e3781db fa2c93e365659f9ad7650acb2f0d69f90c3e850c 7 HOL-Quotient_Examples;^7I# kyeF9-6=X/~B~-5FO ʼn/naO7؄)dP *Io4 DR"ż^'<5793.B*F jWN|_R|YBW0ȵ@F+J[9egYZ7K% HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetcode/fset.ML7zXZִF! ]]9 ! kH ~6ң~& 4E~A3I3?BXCi,ncP)~_ֽ/`gO)cv7[ dC\\[m_- $NEtWl𶎥Ű5^`~C'x$L&TF^ k/e:OSpwsRꙜwo\aN.b 6y#KK5֣\"S 4Hp-+-n"}[mXMJ{Ώ=8&ɯ.~]p@мpKk 8gDT2D6x@WiEuP3pW>ul٫ɔ^Օtu(S"VsDNQ amE60}׸wBD(tki5a fK5/ JU t}KJ^MM{%UFeߖAA9s7.`ė*ie6/:jV9R;bd +{gYZ7M' |HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListcode/dlist.ML7zXZִF! Fx]9 ! kHCKt TLh0qWoeqsŴ47! Vq-TiTՍLSl[*~Ax*M}~w8H}x:@L,CEAcÐeؠx]G>m/Xݪ,7Ȣbo:lTC|@piY>j37t٠^rGmSEËheI3`k={y-?kyD z 2*}eze:5Dz؜#~nT1pUE7{}!i-mW}^~?$[/FKK 9G 8Gn0_HNzGoX{ +歖i+r-\٤DݐAhqߌ%:ؠΠ\=-OOSԼ|C:l^':8uWhMD^+`W\@%?fAIn̰H3HMThgk8ApQ <[[5ozٟk};;qfi'6VS% -7뀜w,6 ^8[}`' w>ݙ6_ʆSL 8S VbWCv'F[ہ(B,MYMpE HsߜLgJUL_<tJCe}<>Yev¸9T9\$4[6DJZ=}#mDo[C;vˇ)ݍ*Ĵ9sH6ovf ʈq)w^=T;qk895541201-',") !    7 q % O Aq ] , Hd ?:[ p% : eC7I!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/files4I7I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/document_id3R7a'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/messages2P7a#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/markup1O7a!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/files0U7a-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/document_id/K7S'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/messages.I7S#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/markup-H7S!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/files,N7S-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/document_id+J7Q'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/messages*H7Q#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/markup)G7Q!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/files(M7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/document_id'G7K'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/messages&E7K#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/markup%D7K!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/files$J7K-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/document_id#F7I'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/messages"D7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/markup!C7I!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/files I7I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/document_idN7Y'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/messagesL7Y#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/markupK7Y!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/filesQ7Y-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/document_idJ7Q'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/messagesH7Q#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/markupG7Q!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/filesM7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/document_idH7M'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/messagesF7M#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/markupE7M!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/filesK7M-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/document_idE7G'HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/messagesC7G#HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/markupB7G!HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/filesH7G-HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/document_idX7SAHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetdocument/Quotient_FSet.tex^7YGHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Messagedocument/Quotient_Message.tex f7aOHOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_Testdocument/Lifting_Code_Dt_Test.tex N7I7HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Fundocument/Lift_Fun.tex R7M;HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListdocument/Lift_DList.tex N7I7HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setdocument/Lift_Set.tex V7Q?HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Intdocument/Quotient_Int.texP7K9HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetdocument/Lift_FSet.texH7C1HOL-Quotient_ExamplesHOL-Quotient_Examples.DListdocument/DList.texL7G5HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_Powdocument/Int_Pow.texV7Q?HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Ratdocument/Quotient_Rat.texD7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setcode/set.MLF7K%HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift6U7a-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/document_id/    h^7I# kyeF9-6=X/~B~-5FO ʼn/naO7؄)dP *Io4 DR"ż^'<5793.B*F jWN|_R|YBW0ȵ@F+J[9egYZ7K% HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetcode/fset.ML7zXZִF! ]]9 ! kH ~6ң~& 4E~A3I3?BXCi,ncP)~_ֽ/`gO)cv7[ dC\\[m_- $NEtWl𶎥Ű5^`~C'x$L&TF^ k/e:OSpwsRꙜwo\aN.b 6y#KK5֣\"S 4Hp-+-n"}[mXMJ{Ώ=8&ɯ.~]p@мpKk 8gDT2D6x@WiEuP3pW>ul٫ɔ^Օtu(S"VsDNQ amE60}׸wBD(tki5a fK5/ JU t}KJ^MM{%UFeߖAA9s7.`ė*ie6/:jV9R;bd +{gYZ7M' |HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListcode/dlist.ML7zXZִF! Fx]9 ! kHCKt TLh0qWoeqsŴ47! Vq-TiTՍLSl[*~Ax*M}~w8H}x:@L,CEAcÐeؠx]G>m/Xݪ,7Ȣbo:lTC|@piY>j37t٠^rGmSEËheI3`k={y-?kyD z 2*}eze:5Dz؜#~nT1pUE7{}!i-mW}^~?$[/FKK 9G 8Gn0_HNzGoX{ +歖i+r-\٤DݐAhqߌ%:ؠΠ\=-OOSԼ|C:l^':8uWhMD^+`W\@%?fAIn̰H3HMThgk8ApQ <[[5ozٟk};;qfi'6VS% -7뀜w,6 ^8[}`' w>ݙ6_ʆSL 8S VbWCv'F[ہ(B,MYMpE HsߜLgJUL_<tJCe}<>Yev¸9T9\$4[6DJZ=}#mDo[C;vˇ)ݍ*Ĵ9sH6ovf ʈq)w^=T;qkc@#=X sŊcGyyzr6^![4؊Ykv1Z gScQ#/>N2-tF gYZ 7Q? dHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Ratdocument/Quotient_Rat.tex7zXZִF! v} l]A-MՋhvG"uIBm5ޙAvcia&zs(;^ⵝ:gN&a,޴@vGXH։>\S#(;ֺJb^>Ї\07vja(\ЬxYa ̴‡9cd6Bʿ_B⢶Uac$vF]Fn{ol |CjfMB)>rP%ď@5fǡ<+fvTdѰ>f%pa2+9)O' p:|4 X~Jq{Ӗm%?|Y uJ>)kK@9%i 8=Uq t2  ef-ob_%y2 QFP"_k{#ZxAGm-Ne݋r3 90{J6I?c:^o/}mƣP}8fH(y"6曈&^W;Mf&Q-y_Y4\b2p/2UQy g4\|Z޷[l%rjZ%QZGr2b춲S8pٖ}V4É&}H+ok\>=ķr[HAǙE5ɬҎvp{6|!qMž M7 n|r%k է_t>$7 lzbMd2sвH$Z[l!E54RoOυ&m 4&^R灀~xh$pٶu U-qW~NsЌ)鴌Wt\hzO׹~-Yd3E©5?Oz'R_j&QNNIE:RԴ?K%JXmDT ^.p襲h]Jΰhp'K}}N-?&Ln[0`{=}93I](ɜQZnаYMt(Ckqb[ uYw`>̙_'Nwh¿׏y"1dpurt\y97PHԙ%;5Q8fkaTWe] ~(0'9*O.֞Un氷YhS['26Ytz] GL*|(#iV>ASFNWA'.^S&ȞT +H滝B3u>U_t8Ae7╠$N-CϹ.ylV:Hgj5,X:3rbD3fc SJt)nl5TD01NKpK/tA Z]"Ԭ|$oB-3XDDdҽO=@ˌfh3BjF%YIIt/0QPT'{hAm~)s(wL_9]8J/Z)Xq)k~]QfD:VFgxOR`̂GTR+S|:ЍwkDP!#<]=Mh{/g8)J[څyJz5k!^QSDeTv@߷| 'J–rc^C|#wZP=m1{N%GB jR0Qz1iI9XяU/gb3Z}{~q"ŭS?y+7 0qxɁ൳|;Ћ%~ 8*;PTr☽k(\o;Sm(ilU,c-/2~s)ݾ>>؛Nu @:<,Tb:BOv؋W!0q7=_t>c'.zb;n%Wǁ0 pn| YxdSv4&jdTT/j?2\ž,W>Bho(g/0G&ӛ4֠ZޝΡ^~gL-RDddlG†k6+.\UZH\Aۂ/83AVH6\Q 95o+eVlg=ڀ9ghRz$#ҒIKņ< <3׭bZ8s, B6HLr*R2Q<GpdDZ )`bHAg;/eDMΒ +Xr:@Rp9i v=N?QQR*_5p=#w&IzV`,ye0 Ddl (NםK1ö߸fyO1lu={}Zwbj)W&OÕkz )hJDhWM6 5Y1*q+ [ym׾w'.-4G's-\jYO`>46F<  oW "ܙu[deĹfB55ϭSz$0_>K#犰oҲSlVݲ:ܯle=6;ÍDt]Wpc#FgYZ gWgF7C1 HOL-Quotient_ExamplesHOL-Quotient_Examples.DListdocument/DList.tex7zXZִF! ;]A-MՋhvG"uIBm5oz%ZŅ i]@QX˄%V @sTanPJF嚧qg1hGHl HJ+>:Gڧ2xw쫝Y-?Sڡ`6HٯGqwXJqHȮr* % {z', X+YƋJϵOtn/iE8=(k¸x'c~X? 3j긛հ1N`l([5KM#J M@Y"zC aLK9|>dRT%4{ak ݀R `XK3|S3yfZ h21MU'eq]+;lKc+EyG &0$JM7n8C`6_u37\9=‘J3Y /[@fٺIUd=Mrd7>"Hs .a/k]4&baT C|Li]*#fw5\MCKho&R2gP'ư4Y7Hlź:[rL;QӌTHԩ\[&zS>d:) ;EG5NB9PTR(_g,U@R B>`ҩ8RGw~[3{B&;MZv/yi&J\o;!f@xD)}N,#Hϙ|Ysk_U$ }l!{ 4}}b,r6mJRtW"%"yk@eb"]8F/o:渕BrKxؒs[de_nI~!JJRP1өƾW{}jicWP$ gXmKAazGUe:D"lH?[752{l[3m*"EN{R̈́N/g4dWz!],o[}q)q|N^&B^nO懬`+5`$/$IOefQ=>嗣+ #)꽥.zJ a;Ztk|(RU}xUGvFw 'ܑ! `rcBjOOf 2E=G[E)~̾$u_oW&!sb% q&m>u %\(WAMOB6,s@əa&þcc-XG&d3KT:L~7V@nCtk>AcKw#-q.8!b9zqdeE\o mV0(=?H*i"p S S*[>IcǤ[Q|Fo~:S@羊b O^]I dW,=l ?/c@9 30?~ XnT_(|hͯ}1FcW7y>!=)~gXgw4*V ճI٭֏!j+hYX:Y?SW!5[NzwQG p?!u2VI(cCT"z@ϔ,bQ5bD %p" 0esamV| L/VS{<>k.^0ҙ͌641\4\fe(y t ™]|FkW!5p n՛RZT6KzNLt1!k ӹlb4DH|GCt%_`p0O-=*Bfו:v[Iy&R $jfTz*Cqɬ SL~;]3Gqee*`q jН>1hKUYˑ(jI,Rhb0۠0Etv)r\(v5zmcQBäzٓDԄT˲fQP9or D&5V-@#\^|~Z>&OO X!k/Pnᔊu!{zxo"初>2lb9$n;)41|iZsW6qFRtdF|@+@G a[aLzgs`|ơ_{+l7Q,Ez }g|/*LkYmY1@662yZi˲X$Z8*6WWNяح5h!DAj8UT>ѲޥS PcU]6*gYZv%|vDo@ת[|;E"Qd+y#J2̃uxΠ0Ja ME2 wF柱hu~e(n,Iho/6ZcQdMwpAm='n ?sSi"5=b4X6tXg/c' eHmԌg#^萐1֌9}_irhyHgOd=f[Z{N.w CϷ7 AG/9CV[-;~3U3MqxV1@PdCm:iR= = @r@#,b+pxߤq#!"K_B=]QnRtǽ1ExaI_PW֭/Th-)7Ev\wdZq[dn+,hk{0QK@:Q;FGlg'`ImSgzQsiXup蕋ZjU5Xm 3#Hc?'ZMo:-i'#t l`;0(搏@x:gm6[ּ L𧳠Ì_Xvfߩ %5ֆK9x"$F X=ȟٮgQш;WyOw~B^;ZOVݾ^ܫkFTd$Oh~PZv%q TZ?3|¹dsL*U՚CQO$19t3k=؝5:̜>+N1xO94-Ffn%ƥ Q5G#<%TKÎ}f8:ckճ4 V"$le}Tε+M4n뉽 E#adR9rh6@4@NU)'_Χ;t!Oyq<Ő2v[uDA7g)6$Y[ρ+\tQYG,S"O14F`bxt%pq`wc ׹; RfXoW;Icb2b8p$~R?msԓ~E#8u|k ߮e)"Juhl,z^$b=%N@.\˂-:{"@J '9n#R3v͔l58u^|>F^w,͹G3]$Z&)2+Hlb fT>u`CNXɏ}Jw:̍ax* -:kP0($آP؂*Z=J }ȮKwW_^ѝ0|ykqS0vS]mf(2#})oQxĘkm!:B` jMddcS7/ϫLJX_%? y:4_?aWLCwLjѣn,E<IM6_JðL}?RT3q|b-ވ(_ N͑/>,MTLe%қ`rCڑ؁\ǂK;>ⰠX 3AOƙB|l[zWgmrڔ; s(ϯC|ACN +&ޜ@)6sӓiv.HT6}@,r_a@7u+s bbq.s F}bvDτ6Bh.%>.wEQEcɔ/<Hg1e(Q AXg=+'ay]G7l!S/W#{?„C1Ήw;uQN"~ 15 IKCK oaU>VY;LeQn~drx }*.]Y} '!%s,9(wGn0S. , CwA& *6v+e yckXdpQX>GPE+໤Dgl*tR3<#پ4*X^`Nf a2ιRLjfkjV{͟ *+ޝ/#tȞBPP$y2VdMuJ Gظtt@.^Ozijд j 1P" P83rC5h)2~U*kO1-:/q+H@o?SQC BsnfyZ&eZNQcpM'd.co*ΊE !0[72sٵC9FuցBc#6'RkԃZ*@k?@^\p |&czJsJgStqL.!R|+lmWt?sy,IaKdÌ5^PXG $eXվoBL5 PC33Mɫ͗*BOW"Pi KA$L[x8+u(Æ4>/>N.f>'m,!A{h])ă@;kƺnoQ[$҈Q8r*e?ީeEKVM]!/FJt\֏@#uĩzGvl_9V*Qr7Y!24!'>.VB{ wXB R<?^e $9$khv(rRU:w^Ho?d8F1)}ɮ"bk*tg5F03ڲ908 GaQ]0|p7:D]~VC,غݸq; O 5,8(N&?b@Sc-N+dVwȡ'">_QsJq2EQ34NQvԉ'YwO{x@48VIp_=<Ҋ,1)pNDsU5n?9-!@Zo]*)A7IQɉjcO6+3MEkhoGbK  ٺ"wȑOa.ܛA*%t'fܘ%a;EJ^ئvu ʸY,IaB|$=R9=Rw= Q*?Upn^`oqL 8#: g ӄք%DO|-pN$ /n[^GmĶ؉wf# y|O?fG&y:e9&7GQ^M o^w<޳nq$!$wFvoc&nHbun6Aߘi:Z :*i{@D^6;>j^d*JozHw@\ѧץ9wsfT,>xb6Y+K +Jo\US vn1 2ur)QuMb9w$gEN`?_Я >cIjKI1xB璘!t񠪻^Yz)hzo ,yÑu ձHx-מA6*~WGkqg0R@Ɵ4B%$5ou>+wyGpW/4%Fnإ$SoԵkA Vy$:Zͷ~ז2>~W}_dձzPbJar{c1O+RdœQ,pN}'@"Psg2j]`17+G/rI0΢R]_<CԻ1_{!NƘ<'|$|{B2Q6= k3J/{kaxA` ] "z0ZO[J-ώ_0֐fSFd~,PY~Ŕu>O`|sq HiRl8!.J<U@gZohwJ}i᥏ E$m PbƂ-^Fwx|<:>,9M4Xz>.C3q)"4b=>:'ٚtuBV%紊Dh<>סs`+ y3=:p &pЁ{5Au;s29EGSts& ,^zաUK^uYe)E-a6ҫߞ}LV J'+ HA:W:Xݵa*˝S㯪QZl9$G25 ;"vdi d-s!D xA(z .NfhWBy u &/)B@8!gJ-3hv벬4~E^ "›0eXVڣtS?+:*|}^%g9fJSieR;hrO ({t}ST"p {qicy"%W\܄C_~b3iMthUW}ִ2vr42O}E/&fՂ>rñp #qhbY"b{k2r]4u=q \O{d6ծ K68^fuԲü&z鱣łX_a;T]2)ԅTR$8[-% 1sYR)04hSOD Xf(Q9%HZ^MV@iN=Rr.|@s':jYQ);ujN#g ` ^vFYԾ2l_'^> B[F .n2 ru7-%2nňp}CIԧV\̋QsNwmVr OӨ}k1hVihz{GX7s ꝸ я*biJlxnfj.b\ wVߠ[ţr #9g f(#G϶(BZB`U9"'Sm;PGSq4Ūe %WY2Q0!G,>ږPz&J'Uڽ?P¨Z*$[ *\l3QSU& ^WsMQD1PDz}.%*v,ӓLFq›o2KVc{Nf;(w;r7 z~!:'UJZd+/J#<P?_q=fm.vG{Z#9Ҝy=o08'o9G !qZKHHǤN)v$a߄믖0>!T͠tnΆ9Tԙ5nIJ 4XzDzBo/|nu-3̲qEA_Z~zieW@,\'\Y4_ߓ]մ$Mֲa.Pk,퐯fmC?zBRO z &np\K4(C >^&RK$G>JծBj,ؐ!IA޸E鳂4u׶*T%P#Uv,ǀT^5rx)eu$8vsi!ɧJUϢ2xf]ܾpa3-;XdHqU9,M@P 5&T|V~ 7/rS5-DLYl{= .򉊽sskq,0kB]#\23}=rPb8; |!{nxEm#T4hg,`X4:&ٯ/rRڴ- [}J^1f Nx?7rh0(l%Rj\I7c^_6J *d -7#~ v- Iڟm*i͉jʰd˧\CN#x]h]wEeu#G`F+Wt7ŗ alLÜ=t^rja.lJp&"V ZDP-fMHbs^L_mpe+Aq*kz-h_,\,1?Za9xzr)&oAXZJ̹(g*|gcq"K]KﺇQl߅ ,4nTcى ^(|+4)wmjGO!.@FȌk#di?slףr;8Xo }K,D[R B_}xX^8l Tc~b#BطjZѫi&r'qO.Z>}(85/ED?{4;<pq#n;/~-}LȞKF}dA9]'VtбwD/.ROꤧ!4?𒩑^I{u!G| sevߍnu' }s*jm:I&bB+|CK`;tYFGbUwB?!0d&Nrĕx$3ϊrk:\iU> Z<91}U8]#]|$QKF7Y 78fec5H8b}Wxr 6|8oh#ƱgYZ  2| 7M; \HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListdocument/Lift_DList.tex7zXZִF! )]A-MՋhvG"uIBm5#2O X`9; w6@9Gŵ}Ƣ>!Obҍ%>LuɗxV\?z؅ym4u;7(/ʥQy9'hny@Ȩ吶Ӯ2\o7R}moCk٘ϥ_<^{b7d9xٵ f܋(*e>Yvp K͘[ M˗342d\%v:RP)*f X Av -"o9ς~)Ę| \~36k,iRqZ==<6>/5F14i}V[Pn1%mL˨@sgP_ⶂjkTRi#+$;Xcde:/m/}(cy^ ZKV7qt M/LB 3يCs9*w gjpb[2h>RLo\v^teN`)NW>XXd/C,MrXc >Z@2((1Oe 6,'OIPPP`ӾSXil|:uz´ W?nΐTU|M%+!#nlA`Yk{OP6֓ik!48\"++?y#gF,| w> !>vzV&H/M. bYDEgQB Tp>T!Fvٖo@ĦëX}KD?>S6= 00T0ژfdBh_^:,R̙Tev{;k9b!fdb1~M,dl?ZC?Ax]61B8Yi(Ʃ[>;*t&ۣO}Dkh *VdzC*JOYnFtJ1ED7B4 m߳m-kCPer&[oLv9ۙ\`ߜTGui8Rb;WAjZ؅=v͗%pGc=‘hLƸ~ gĆf K{=5_dc_ E ш%5ФhAty%MgWz%zk܅MUgmzG1/DA j>w Rx"ogYZ 7I7 lHOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setdocument/Lift_Set.tex7zXZִF! H]A-MՋhvG"uIBm5#2O X`9; w6z;Ë"!T|ΐV '計gQ<0.Nu mG8}{o]uTW]lՔ5b*]cE ^DɛiʩKeT U#۝kJa~bc\}.\ UU3 g}"u{w O 9ڷV-"M8bfrL%f=QDZϬG)? 氐a{Px~rUZy0Czm1{@AʹJXi/v%1PS>mT]Rڛի?mj%^ϵ"8% LKz6\|jS \߄Ӝ3Ͽ%mVP 8oJ&(xĮ&&svg <'gS@s2s],ȑ-Bv͑TdrbYGR8Q`ѧ5I!+W-"fNWwPKD>?mL\wum6]Рbv:j1b[ M>9Jqt=٘8XDˍc$?oc2Qr@zߐX}+|W!mj <;d䭪1DIʣYjM⫦͏wNa̓F^֑IKwH[Lm d@>{,eֿ+"w* h^. , I,7y1[A%On<˫7K'biv5^=ԥd1`72^ªC^\FuQB 9RmI@ MM=kBP)㲽Z)0vSc13&>.P7ܹjFuйNdB|61PИ77/Q mg5UqoY1yHQlwfA+'l{_Rh!vs]l5m"rqprr3WOJԤ*0uf34])}F(D5Ksvs<[vT%$ npt+:=kxeNiD \;!C[w͜i3r `).BBAț A+h#uJenҴu=c(gZy@ǭ0ʣl;hZ6XLktNF4A\( {'!aJá7[ ӨPƷm EQ}{#+ȴ*Qq܅^{ףI8(9ǩ~ZqU3V'\%-Lo\yƢE ! S;b`+{S8"CM<g=hhUFx-ItӘ japcpK@Uk;FZ{:~ YZ z@U\& ۑNg9Fʒ%L 5 ghrr|R) Z;k;[V_3zu zDWS'\bꫫ\j8"O {)Izşz|_HQ-d.b}O"X"SZڝ([5` 0DZag29bAJq5cry26"[bWdnJJPwm!ԧR$yރ_;tH/@7ij@'I>?ӻH+b -&N^uy]nHqp[VڔZV >v842r? >ה~#|P z;L[u:%5 r{׆@6"IiR:ֈ^.ckz;pFRʓropP4S%gm4XT*͏TK|W*":8jE+dJ<z{ew=@MpV/9y~\w%f=z*Ej3UZ^s}囟ȃPplR> n.؊OQhyUf-_cʫd~aߵcwl׬gW&G-qc '(3 c(FDRYFzIŜrpD1.diΔXLBCc+1啕gvUt;\]Y3r2J F 'Sÿâxl<s‰: L2Vj #Z`Y;( AE+z;Y */@=t}]'W(ӧTli4wIΦ3b[{ ]d-z5ױgYZ [k7G!\HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/files~~/src/HOL/Quotient_Examples/Int_Pow.thyL7G-HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/document_id666  7SA lHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetdocument/Quotient_FSet.tex7zXZִF! 0?p]A-MՋhvG"uIBm5ޙAvcia&zs(;^ⵝz0_~AdI׭ ;%gK`>حLiyM_F1 7WeN}e料[a@FS]g @lq#6}QJկ:0ʷ"Mٔ/@c2Z֙h^ g]H,D )Ypr" 88 FƦCf2fHxr,1ф{S]Hg#[+ZK:@V1, 3#7(UѤSqu5VMSdRl3bd` 7YG HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Messagedocument/Quotient_Message.tex7zXZִF! ]A-MՋhvG"uIBm5ޙAvcia&zs(;^ⵝլa߱ 3xGITެ0*HOɂ;ţ:9אnZ X+p5 MJ˄ma j2$s_qV6Bkby^fc4e)HSb]"Zo2>'ʹco[*̅x=1%@ק 8F8C!xGLƺ/=}^x~ꨡ&QzgzڿYwyJ{Tq45 dbi /4%ҹia>vf}N,%VC^ I QKG.f}FYoIS' lUJì JK@n) qMtl!C&iJG;Ux 7aO ,HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_Testdocument/Lifting_Code_Dt_Test.tex7zXZִF! ZN]A-MՋhvG"uIBm5#)(8=^enO1Y.䋙S އڊf(4  ,`/8I|:N_B=~#9UB4NE U!Drn=^0< ?bFmt-^ %.x/ X c"WMI_J;Gd}ʶ H&cG:}}{tk=Zz PU'T Lqx֫B/hb\`')_8m9/u9\] xj!Yc,]+tE¶yaO~b<rܟ!mgPJ4tU璣sƟ8˔Vة0{0cR9n7ך{U 7N5pT/t^xjڏʅDM & oQ+̱'߆]=vvi bom# ifWѸ },8{1Ԇ,j?@R&}$NiyBɉjRw(nMIruq_NuNA;4by.oWrB &ݼ$X9b'#*Ax :o\E~aWRa$CԂjjv^?/xy(i0,<\Tv KŏnW+sz]$QOJ|q?aDBѼmIp0ߺ=79" 5\&FbTd\a 03tf9QV';|Cx>[!8o/4&PЉƑ/vEkgGVW*h gtſEEg[Ʌ9^HzŶL6H1ɑT;YFq^a@jKXWEM GzrO/5lTڂ0 JWАo0ڭ/s,1Up8u% }) /x EA*}iޕ<]YvR.Ij}^NZ=il7Փt2r;>Cc]$7/-9Ւ Iŕ.g2i"2Ŵ(evaK>k.=rLsz*XyM7K͵7aX48ᓤ%5a׫\]9mPwoD+I(.텨?]]2q̛ϏJgL Iue3!Ь@5P/D|9P)\oxUD p`¿]'DT&?eaOR^c79< Su0韇PW[ɺ@+U2766/ɏO٘gG⋫;6!LO>?lɴ~眥h#%19 +Ni֕V tB xHp S _f^ D0~Uߋ2&p]!isr`n_ejϱq "=;JdĞ])#eמ rQ~uM'5u!VHbA裬7)9H+wtޛ v..}Ds)ՍrȎQGߛ#0v&S݉/Q!{:!0]#2-ԫ_snHٍqze7H<{]kʫ)mGPrǂ>gYZ DIө$>Wye`:$j2ѹmy'vHSS= 90M.e* ÅnW+͋u1֜_q4v{|=$Q<87g.P>.r~n<@HDzH 6fL/nlQp8)Uɦr8aBݪ70 rl$)[ V˒ٹ!0u?8ǭ!4c;0`%~NBlf=~c'la)7? 5Z.8=t:.t7Fz՝$1$W6KMHۚoptf=z-a t 2`u\qć,j]-m"{C$n.Ao7F.լtJɂk0+G{ QEpqBRV׀, B!<`&|qrǥB-e"6zk*5 ?~8EITSScW⑑jȄk-кh5qFTdX?Ļk /pzZb=)' gqϔvOyE(X!P$zɓ}l/ .CӇ:HU9&pK^߾_-1 RA#CT<=2Mi? !aKDŽbyL}GpzwtBdto)*!~`+0-Q|;݉r-ҭ \VOHJ!ſ`(g560kmºzt5A>/~l.%E%Qmt%4؝n VSnݾ}-A{^=j(4SR}ͰV+LG?V?;)^/tk/#R-W<Q㋗z_))%9=GcdvP)2}U,*o^Nj,sT64;DӐDjcgitPPd='YRp0ϣJ2^\)*hgY č)!/igE]}SlKD?x'u*$J[i06\N+Pz1=S`۾u74Б|.6gԗ1D׍'6ЂNZvmVw 7sߏ A ڨz z9YSƱbhA'bgoN|ǾCyY#ѭ>&vz@}ik#,X+rSf=x5cn8~c,(]5EsadL8>#e```}7"h>CVaO楱^ nA2A˔vf\DgJƸ^3 ?ϲag^P7LvF!)ަBnZȲmК49fe0 ISyg[)%T7 ։MTd}&q`RL5/1#[KZNJ`G}Oi'iBiE&,|p(]90|g1pYS/:[Nf/QSO_#2"WmJ7rcu̳ZݾxY7>_?'NCzeRfm }ɒϭޫt>+OXm% hZf.#{Ì(lΪ j%;M})h.rS{o~QƋ¸R;I7F$c^ :Wu"*CxZi2TX #="࠾=6/w,|}@,HGq=fk2q|ٕ0>]G[H t6U*F4ߎɪ'12m 46IF37SSxmX0L]YgcB2ڳ(L}'^ |:?B/RoH;x@fg@ W v<2[mU(+0 9wJFm~Ii@߆H?FRz0;MS窚bE֡͡۴v#z mփKicP6/$m'c~d0.F^*7g'Tװwp`OQ^ݔGrcฅdz` _ʰ/c1{I=Ut1ՉE;-i3f>iqtBb&@CVt۸@!*/Ʈ@ 9ުȉgU(^Ut(L1(Iv?^$SYHqH2Dbo5>ꀤj'uPTpu+9"鉄?Mp阮}lG[#Z. z"7F{3FVS#jgYZ{\`p7j&s ,#M2UޗB|pWV Rجˆ #PHJX޾EcP˙4{r(Ɯ2&_US]OU-9#)>zV4]a4sO״*]}u.r"&U8IEU/@r& +5F}˩&2 y1_2{|Dr?K302қ|ʨe%/0''w5 3m˔JhnjG(?=V5cDKI9 \]\ZE\aFnm- pJU]?*^1'Ñl0Y5vni:b=K7Мr{o#]A0AꉆIh#o uLq!_J/c!hi3GL6?(3_%Aw4{}*Gk:y+IiQf89 D nTƿI`g4)-VڎˆVxQ%yRD 2^㻵NZsBȮE&sWo*p#Qygک{5t)1KPȚ W->ܡ|!A0'qbH 6*'ʆ.ijD%c 'hKb{c潺ı_=:_w,( ӇҴ/m2q [y&;E\-|@MDzzt#{&Go5&ۣ[b o\8ֱOU #h֎ ؅k ЗH^;=2v ƫB E.hw3P4-+iμaa, .5hy>d:+@GA9mI$^B2J.~%cHbi- ⠼^9G4Sc*=}q?rZ=O`}Ҩ)rEx5l"C ]e=$ɰL@KTVt=)<|IhXҺv%΁0x\KC.g#o΍,=&mI}?#!up.PbRe0B7U%C=)\W?pfvFC%.枑XSUW>3BmN+iGOrU^6T'vֽ)!ƲoҨf֠+ա4.L髑D>Em&)Pfn쨅yFWѴ mW6(~ƍҦ7\>\#J]}e!4%>@!\|4Zs=6S])Sr5y_ѡ ?%/,}c=*lYso9IQdgVME9UjC rk?} o4sn`K]|:ьȪ8裡)Ed- me:#$1fac:+ g$?!kq[*Rl]0-1O jpD(+aλޘ:iZP $n";7F:掼">xWވi^Nii~~Q@( 3cfn6JUi [EQ(>{$,`K%Ϛ{Z{H4mMYο.θ8cURŦKNL0ÓQ(~ٚ(RJۂ[^$tY:^UMs3gm!L2ID+ ݨ;-\(Sj\ ͛(YwPfim YݰA/Qu%26u<}1xCvHaC!((v#F0mR3fɁfKu?FRaZyᄍ@gVCSHL5qJ4I $ gM.lou +C" z7[_Pǿ5 QoZf5 Hvj5x5e׻.`f~uګX-5Y)2.Yg~X\$(#fT7}['D2+#Mo`~wWNmD߂Hg~ƊZROP̎FI޴ t>.c<ۼ!q!J:G7q+$qWG>跫wm9wdU)|5PhYO A]ْRdKH~ɀ!_ r-6B\"i]b:=oC<&'6|&K4U|fS daϢ30 dϸ͕|d'jX}Wt>^QyBj|hcq,*Z-; a-9O4X-4lb`2| }O8B/U$5odXE g9nd OlXA&"0Po W:2kD Qrwxj.zԀ|_+UAMs>1{{@C/ZYk~ej3gš6GsDp; DeXǰ*PN6.*?r7Wx."|  =s/A:ߒa+YNN; !ϭ:"V_Vu,ȤhS綁,"m69uwG+yx e\Uc`1QFňW4IUB:kziRU4,!4YO3# ^+F;|zf*n[-bF)Ɣ#ؤD V٬ܹ'^oYf;46O6Mُ,k"QQsmLw1D%om()։(XMbTd`%@/{IwLȧ=J Jm2M(/T&qt^lT}. [@&%V5,xziiI3||B=jO1E(Cl~tM4*M]_:Ic]lW,3X#P'l!b!1wxN.@-5`k1ѦnޱtH}? Da9șB#iY5X6]_ ÏQWJrQtǜ출{8ӳ .ă(2ZIs<_OoH3ʩI VmKi(P k.z{o6)狓 FTPڵæK(O3AʩG\޾πldlt?ED1n)ak{bZkBK-.l"տ_+s'^/>W~= 齈*È # Z@2ZeqvϼNC~OVnoMFʹC\ǒ˻2K. wI9fm[ |/C&b7j/>Tr֐&`vב{Wm9r%x͊!#(PVV?P$2Y ogqu;~v< 3y"eC%1^"jW-Xa%S)tG>s<|}ʧIF`8 eSZnsˋwwRd 0-Ժ͚OS\,tV6ԔBP~b{{B>/8I ,9>j\"K23yu Ke0ő ޞG.\maslGg8;Jj0^3}4ںd/&u>w|&Z@t=Dl__{mƅ *V0B;) EUrx#j=좙R|Cjd;#:^ -G*I譁)9>'K2`|A\c% !fS(碑N`Z;$}I*ҥ '!c+gt'.!5 1YՂ>K D=4$VL8j,%O HdjVORܥͣ=K8wBc/-ZTB)6Š*TJ!1&MקR fn20wSa嶶Tp@G tvJ@ *?3c krAybN/`Gl8rX^ tBдvk BrU;C}nҋK zVAƉ2 ` vêOO\v(>F0ܧ6-LqC +DfsuH%WYg-Bv0f$vSƢ [ jJ==eXQON S4oD;u:L<(NԿ#^RK7baGב"pQ~cu5jPΘj7hOL 253͂00[\D8ZYXw5T̤:/f\r?򫩴_2Kf Tuk9?&P,iXxgU IT /Wyb9CEfiM 6 AYC&ש>W|8p6 uj72JWgŭL U 䔵ISKmsƖ|'dH% ΃=v^":XxG)f_uwUqL:x )[U`w'tS(mb%$ӹ O!@Jq6lP_H͊ʝ:ᠸx!>3~-I8Iʦ]M?BrHR,ߗ!z 68@Z4Ǣb5g{M 8o aN76˸}ObkFdOQQ6 [Z1ЙC^ O}8h3_<@1%zE0 Ьu˲,Sv+ dk'mS;21Ff h_Tn-|@S4|b9P zaDk4OMJ'L>z )vosRqTPQ[sT0K8Ǥ(p%7>cEL%LӂSwHAږة&zj.~)&Lײ,9K> K1` UAaU/ 7AаCb}g#(sYV5{uI󢴤ߖXzM~sC:A(}1rh\ۄcYƘc8W/}gNDk~?[>L$db M;*8L%`XAU|Ox)#ܡJ n |VhHQQqP9{2äSqEZM&"%}셇Y]?P +<#0MÕ8QX4#*ي?rq^" 1]*h/ɟ0 9E$~ `| EMZ %Zv QԜ}͚J^oK})2OLM*+R(qI_܁r,^pgpR5˙S&,g.*?8,DF'T_'f=yk[F2(meyW-.QǶr$I,=@z-]TLk1cQP-2MeޯXkD58*]Za+6@*״tW䉳P?6xyfZoD` 9 x у'ߧۑhX7%˾AC 7L7 nE[[LG9SzD.x/G]̐yId_m\ ~K鸐0TpcÕ4u 09q7h\0qq\= NiOZFT+O` O L5MtwWc Kh6渒g_a85SrOc!h`6x.Ч*ΚQ\摵o~Y7T#҇Jk(ɷ6ÎJ7J/ĖPRMU*ִ_)(CJ6* a#Ayr?ݺ|1\BG+/̄IS_s%Y ne1m3V,nAx%ϘZ,e.tҪ8K|ms@Xurȵ.At, ^׮*PxfTUɃD=kևyL㹔e9J?Ot ,.  Ƶ_$bX2 [W ft Hg)qrH=.)Ex-m,\nvK2Wuz񉋺 yܓis`gjMWbyS,Y=wﭑTnl0&&&NSk9 a3i)C"5rGQm%G3Xyve F^ɍfͼT`sܓ#l><$MvT(͝qc31'=܎ĮeO&=6U!ϸ4ޢ嶃y E jޗ&*'&it'.i kEUQ<$>3gxLFuER @y.)AwZVzjtSk&_B3ŒXafUJe4jð5F]+W [U"/q?DR%vό/V%k3?!s袵 nqxS[Ły.8hBB0 <-,ZA4pGn'W tk-DM]'5ߏj65F":uPR(w;?arEvCQfyN_-bcI\~Ul%y.&]wA} W޼+4e>[ 1񌸦?顠ZdsUm7cI>zvÐ#o]% ]_,/A/\(5qX<'lTcsK*W!"k_rN6L\+y\i^՜-G#|r@JH:yy QhڴoVO=܀Ne ^^mS?̳ܵ5"KSJRG2,pBl$rZYdV DPe<g7T?z՗ nMIua}ȁ~mttp,5ؒsrGp:e$nY!5ꌴepmn+M&Q0*YNߏ ok8:^`^}FJ.+'WC.>VcI^w?0V8SÑì>vm u{7P%vM $Vdώ&FSMF6Sm8`ؼє{4ݜO +AF#Lq}9*̼3'Y? Icju^q݆_`΄glog6 WILT۫K:xy2?"ECr0cHW Z{:Ɇq!Ǿw}p5]"C$a(qf6nq4[ݡݹ7A`dzF0/ ~Fa@:;g t\dN4X s>fQ[, ˣ'2q^v T+D[inD{kx[GvN_|t5Qp'Sӷm92yh# IAiZ9wdtg Ryf˽)ڶ!9#o\j""`'\8!FH* m$+"-KQB,3V=Vu뷄v{˩g5Q !#h/耎hgJc%MFqԂ~veWvljy7"ō{IQxf$K't;@?Rʩ&+k1L{&#ђWa^cH;ɱCn&*i9?V6.3s7aB>"ݜY|wDK7lvR!ϮԶH"0PZ^8ln7u-:B?#->yficf&38y`Ou6@A/4;^n8uq֜48.~;@9SD]M-IcV=Zo6/{3+ctC/:sҾяI\7ꑦ:m"奎yvcY[oX$f+`)-.Rh3zc GXcom\@U)*~ EPo:=jU.UY; a>G_aeC-`pMMOOLݯ_ X:GEL<9ѝLLgG'p`]e!h0ca^,v=ITG S%zۚRbԯO_;c$u;OmM4IJ6*+A0;{8t .tf=a0U ]SM1q&7lQro2WV@s .OkY\o)t RǬ!zED  *yU2Ҳ25 dhO[{;^c<߽T_L6%d BI[07aSoO@7^|G]:[d?edeD;=r{3Ɏ ¶$@2-U@" M_~eEDd(? 1ZGy4 ?ʃ51{5*< >B4 jD +wXKA&!P.5heHdrBϡ!Z;(it7jPŊL1q/@] \ lO/0D|i.t,E{ O%]x] \by-~F YO&U,bS[zA c"|4|[[_n 6N:5 Ki(/(f҂8q"Cmuҳ,Ec)餻,֍{ jIߤr֦ܝ}[;Bm7Ʌafcꢜc^ب|i%ºiDngReG }հQW. k:laըʍs³Vf~z&Q]b :Om/ƤX"-0đ3R @j#h͔B"ж &Q(xz kY-),q\ٲ\(`UcY4 v>k CP35>EfoGe^z\&A{Mrα^}i%W*`xQn}EfF:q|p:@hLٞ @Ώ[jI__BwevR9"i.*>l+*%.Nk>kT%u5 Ť#;\<8 ?\X)2t> Q t)|nE7 zp.z>d]N??9I\5W&v;Jɩ2nޥg,RSS=ذqoIV/h]@=H{it%1:[54.nܥ'|w: agVz#|w 5}wvs^b7)xegq'[?$eIC).jg?ڷ=8*Y9)B)7at%xsS ׆T1 ?/@{dČPG$Zz&i,Q64VY}&o|n0hA Pk8a$].7mv k u([- jA߳Dg'!}bM5Dd;#!)!~$;|O;|Gڕb5c~Xi}Ő1*187Fiu7-;08O\#FU)'3OCu-H[[a`I(p;>Rɘ7Ľ5Ot,n>/R >~it;&/ `ݥVpnBL3LfyZWև'4堔`DEp*4M{@ X+n+'/o[2z=9@d\2 %j(ߜnmaXH!TOZ\bWd)ڌ!2l *{pX&iZ+I|$2;1P-Os8Q h?əqzЉcqVv' ItBk/pP$灆zyW 6qr 2&{u|v L)# Ǎ _+{I{`#iF>%iZ|+!}@Q ;#P#[N)9߉}EYxe5X#.UyRwjsH]:+ 'x[UG6 V RKHF%$-Fn/HZwtA/ivA@qMdDת ]8T zEtq?<\AwpԿj2:'H|3XEviLcp6hQr\J_1 ٖ@=1faޭ4SrON\巐͝ ߖ~iN(V쓲/IA% L Ze"Z7rBH~ãc4b~D,fy1fV񏂁yh ɛciN}BAB6Q×.$lqZL~JEPʕJՍ$J\UOC=܁-=a gZ@0|$("KpL#!r,L7; D޻[V2;ГO=|rBQc+P .cOyvd_D( SB684U+g2+4Ov`c}>S hrCh4_ a CHsM K.{'-'|bH/_eHnq낚I`^U\;I(ɛ]5I~0.a9ly_N[{rMd`kf풍);ή+RkIekۋ[պ%D36ⅧQөy0Of<ٱ4nPz{, $yM/X2ݏœg*1*.{㦯Ed̥M'*lnDB)ءKZV*U(;f[KC06uf9z[-z(c58TvTi,<$v0kKx ̲SbSP'sR~g$6/zⲍʡnp)) (-HA̼ܯ{ I=i02<)V o*_ȔXdpsv/F"#^0WF6/eYl"$F˗"YWB6MtK1ѬM&6N8 Qw9x~?tV9 :|֡UtA{::yxb8Ϛa4.Gs<to2D)+p!Zgwؚ:X:78c93̢D陇#])혍6/0[: H| OL-Bk{H:t_hH=Lm%-@gEN=bfFK\  I0 ҧ8LCdg iZu5~=k*oX 8pIپ  4S8_y2x"۫!pI ;Eq:(X[AyoЀ,Y1n?'OT]<#q ?}g`[#Xa~4/i!_5u+rxK1Jp=ւS#`B=،Oh`t8;;٬#s[>0YG|`NJ%RIo?0h-creSnn]i[5\`$1إa [7I`^S)1ʹ0QDAjIeIML{+:Hr\ w!SSZn$Ȼ Iu)raO#]l\n𼊠7d1mfzZΐY!,7̖KzZfHoRa{_ Jߛ՜uRY(<*PWS۲(@3L0.JrP^,Dj IMG$C'17xLǬ^8m aI*xi:y6i2*:ZH4Tu]bq }?pޯ#<=S|[ 5Ŗ9+77o3uCK:0|_u(u5$^v:ʑ^QLJ2d%ZBPl`8V)Il!9&cUR0S.0*r:;Zc# 5 Ik\n'0PԊ v+V{+fsNӆVh*aʟ3|W7VZrl~1s+K:u~ >RsnC2H)BF "b\F(IR{Ĺpcj\٤6Ӫ~A̫z*ǷjX` BxSuyL˖hg~?l#5a/*)hb)ŎqO6ɯjbW$CʂNO1&PHX ”VhOUuscxx%W<҈SiAx4nj5`%C'ͤ.^otn/vZjYM5܅\m mQؕQSot>FE]GMu0Ԓ;wDoo>kzhp M\3k}qWIS( ά_6z?2qK&PCN Tbw<`""x ]dg*c%fթ! ْ[Kyre(˜&CHk03ޙ%r-Ѿx.dgp;; KF?I_MQy13ny9p9VG2xJQw:M*Ҋ<9N#Dj |N!iּOgs# %f X:[!K24$|5W?7WrrǓ&5E~ȗY&{!{er&/|] {j~I1ٗyTmj52Jٞʔoxù6LqV/";:+l@"HB']*J~h'~>(~m_4-(5;$[ n8Ѽ3fత35H]h5~ P(Q"1M@ :^%5FJFKV3C7Ђ+l)R ڐ{ñ5uϚ58wF*Q ! #6nKpc2v:@t,gYZm>/}:~q$)Z1m"ځRڞ$@bcX`2$ΰ"k8fj:`w4TwvH3?- f󋣔nS4"}M)lų\oIz9r,{R1į\-_4v)h>s{Bupf_a;M͔&7?RVFnn3҃uI2~bFp9։\GQQ2`=!t7g| ?ӫ;/[]Q;96uh=, $2b QDsn:v]T_0% 1Ni?8%+ mh(<*#ىd*b߁i QbF3LPt鑛t3 8/q* c9'%$O6x.nDRv 3Diop /ה&9Z®! +66. r!A*r/AR+KشֱjߙX!"V_B˨.,\.j2]Ͽ`vUD*l.%Z{VرtGǠkM AH鳝>nFmx)3$_UYdrӘR-}h2¯VOu%8 WMK^hfQzd&{<^_9@jjzgo"w[Jxe YJH Gb#sK*a q}TsS bsvfU4r顄QdœkiX`?j*gVCslIۏ2hy}|(Z9JLFV8kGYtw> }vji H%93Bf%bk3=ߑpL-RZ'6znB.$d0q.'#CJmR^ӪʓfwUi~KN{d~=iMU |s50-:mDR MFS[=Lj)O##E[7C%A~۹s[CW 1i-7b8⽳=[X0i':"Ŗ }K3l$c IQgT[˕qѤ3Gs !?*b;&lk"o<=2P/o\n]J{zP# v}ԒxFبw?822#,0txc ?N6-$ZXLX@3 a@YVɺݳn!^:&cIS4k8g1;O (6c,=%FW^ش A"B1Q6'\]L>*j.{/  1 gL[YSO76}Y[AnkA\EYL$o - IGF('  dHcciH>׍J5!́.1-e $d:g ySøt{帽ݩ6W|/"iEMގnʿq# Tk *qK[g,S ䷉=E) }M=7%R|^ j>I .-bQ.#G{Cy NBK AW3+! q.Z"c{ș,KGGQpk(kX2@Wxg\)tx`uwAYSP]N|=m.8:S.xPcв8X$KeɩMV6|h/ 5熂 #hä]i B{e6Pl#?^nCKtul"0d/}>xn(A?.bɍΙINp?YFP#z-P *1*:X6@D$c T#6&8IOlLG>Ds꟭t.M^UOL|#b7 p_bX{=t8RA]xi˛5*lR26^x?ݸȄ$yЗ?yT6Zl ) 30$..9jnjvA֜!{Gu 4n+wٙwp+%5pu$c4׽ږ2X.%.}Ytn{[g#%Wة)<ֿu].]c9Uɻ"'Q:'b2F߈L'Ud@1 ܆u[LMl:1yP F*+OIE{g_ ?Dr丿@:]yѸgq,lnA@uF(R(!_ ->1m"pMp+QP׋.ـTRz+}hxl.TѝDx@T"}"rZS&،bydD>XW{8)#"smZ9~AuREh,ی.w̹f4j.%?ƃ(c n#.8Mr8&яrR?dB 23In3TJXBORB4*z+3Wcz4@2>4@L nfQQT.VаMy1}Ydӑ-A$wM>胰G`h0dc!PRRu ͍ouC8Lxʦr"5W >'uiU79CqCި'!D;ll1-⩒=KJ=5_4G,E_a)C e7\$vxY, ,' ypx&Wi=(wB!k 50OKt>6uF6l"Jj.Mme4_tsg LyE/:BI$Hџ]o"]P^'[؋0ۄ}4LW(30w.7 mǶrNNd,$̧G{ HO6xbjEN jXG0O`DQ!iabd hĥpSİпrrǗaVAأYʀ&im+Flаɼm*&_oR/qaQv݇صBEL7e \*d֐~e+ϩ̑ |A/-&8uPsYb,& "լy>ƤtȲx ?`pzc@=x8b"\ՍR~]8fI5sgYZ -x~-O7M-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/document_id670w7G' lHOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/messages7zXZִF! rn]D?7 {?:fH\ gtKoN`A*][΀ICɺy;DȾC5CJ!0%ٮ{T#{c."gTnB7˦U%lYn> h[9GmJVA1?7dS0,-uUQq87^)!O`{OSG7$=X0'2^N˜Hj$_z/%@Q'Q-%RB˶)2OLZv!{pK߽fuƅCrP֗nM5JJ7&mp VK1D(cY>f Q< fmsUst+ޘoѣؙ),2py,9TL=DmIRyk>>Z6ވA۸tH4e# C*J~YaȮcF9]Ѝ8@;P(/ O]~ D+3;2Ox}t nhm}0{3,mTHm%3|`_pec.Q^K׏?8}*vkR7Mi#-m4% Ui]_ $" Kg9j\fj^?e"UA)je٫Hek[w*Zm C I-nMBİ5,t#q vDu>Lf4fGl{BͩaEqǂND\vG4Ƥ&7[p+r2]Dj So6*9ili!|.w'("ʃ zIдwX!^mN9]r rOτmȐsD|l}*K]QP9CH@_1;Wm}mEbұAfac0~SV>k2R x !'8@ю_ mj<&Fsv/Zz6C.E$^(>B/mG72VxC]Ä(0$ %9CY7ћS&Q.kv\apǬ4=УGw=*#-#ImMYX^oX7=1lؤ.` mw\TN+'U -6 Ѕ@.(@ tn-kK~goGEV96NAp=]iF>kI OZMܜphDMW~Oa.~;sRm ic(I_UĘ߀.o,?y709I~~c*Tjm)"59ZPXbs߫RQWAUw(7XV<\} $c^ʰ^P%naIBJTLjx p?˾Beh-, ?0Lؒ=$ɳq1DzoXxYYMp#\8-z,|Lxa&Ӹf%|v S!+;$ F 2mϬf߮P8D,Fw^Gt4G?ÀYE2zyLkt>fW\熒#^L?K2-.sV8갅{}y Ru,;!3Ց)b2ngt9~{8p7hx~tB6bo/ޟS-N^ܙ y x5!-Y' +`P'5q%L\h]AJgwJ2h_yR*[=..[4:4 3F̾Q!EX!LRi`tt߱~D7d14% {FUDa(V~+CHCBÙtXTߋHYHOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/messageswriteln_messageserial=10421934line=52offset=1253end_offset=1264file=~~/src/HOL/Quotient_Examples/Lift_DList.thyid=670See theory_exportsname=HOL-Quotient_Examples.Lift_DList/codeid=670theory exports 7M# 6LʋTND((YU ת Ux߿Bn H9ld-èb>? 7uz3^{rJ+ G'ҮB/fPJߌVf6w[i*:lU}MD`#$R9lz 4KDnL[+0Ōya1F4l鄠O_A' @FV{)8ŋwj0Hg'15qhW=eN4w%wOoݞVBRB EȲDB#= 8EX׏J3=$窣KLP+KNq \ud j%0)DGP->&WkQgGZBpv|!7ՀHԇ=K֦LRXV $QԺ֨zN|o#R<>z`-bU}/8{:v>R0 ;^z9Dr:9B>-WހW1]blsnkidPu~'}Bxi,a v>m 0 ήI^,@Ҫḭ r:q{W 8n|yEroLjI7CN:RMNcN,:3tFe70SO%AYrݻd}M'4TLԨ O`5iȹÀ~o`(wk+a-{0(Bx"T4c#Fb\J/WvB]dn<>jALj _Lb({aF"}TZƋ:c$$ү**TNkFF @rW|͚-˩pZV&"h@a\iI:`>rx> >TUEr +(pGۋ;vSZ@'6>*Rey3dW[VSGͫ@WF&hw džOB* >cۓJD7uu&l:,<&s5b1Re+g7}-18 LLʢVj">kgO:]mSlU?*.bEN^А`Ja2+O) B ] B>5p y+$ !/: #Ψ#CHQK@aVGXLL^aRk]Nc(*nXA )qCvÇE:8?:^|L[-XiɋCRCACY6ޅS7?€𩐗)&Hf7@?#!ч*O7˄c?yťmuVG8)6yS&|As Ÿ20r"zt ~3^"nDe냋@2A.XӅHEx})&;?_s_T%]#M? Oe1H_wa "WV纐Ҥc8騆*/&v@mNQ)RE 3d~~# JDY/T"rŸzM؍2p t]%e.-QSgYZq7M!bHOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/files~~/src/HOL/Quotient_Examples/Lift_DList.thyOd%Zg|Sm^ ՘L^AF),j Ҵ+юyי 8E;[Ƚi?m):NQtEom#ή[x]ٲoU:j451w:|>5!әm*^1")# o˾)9ى3)ުmJa@"[l :@29 uHuW [hc-Č`Frf LqZdb, bJܑ{OCqKX$̴,LhJ`N(*~y$^<$C /)?M f o,66>9F~Ҹ Ev +F%br(0bNmj5S?9)W*y7)VG)e7ssU\GX/B514#Is{vq#+|9ßy$*Wͦ*'1sl[KBY >vZ+;2)阏PG?U ~ WsNޭNsrtk,qV#D=G6@cK%yw}30AẊ?ӯ**6Q:}-߆2V%+C# E "Wx-;&9%!^hKAzz7q,.G7T8~o$̕C5H矂HK1Y 3Őd;+a,˃I! |8uIٓܢ~G]taO.(2c̞uuى\jzMQ*հt}`bk,JfЧnK eE^,dsa\2Ir|@-:Eȱ8:MDiBe>/wI6);E bo M0Ń^)b1.aRg2Nu 5jۛFO|JמYC gSA1jm^bn)8l=눾,6#<}j|j!L ljrf51H/:=ζs_g a'q}$)DCKl9Ne^F`Shp#F־8a?[{ӆZ*:\G3Oh YNcQg$a_وf)^iYjQ57dr&B T*0R6GzU>,\n);d@[OLJ.7%WhB`} 种vU <ȗT- y{-gHAـLܴT$VOqR )PocdKIWgL 6 yx .~.k1A~Q'y,e&:`mD"T1e7[/v7Y5Y7``!`cc=ҀiCP\ {l 7 й^bx&mYv^ȱc;xrd~1C)I;p|%5  }ԶdhԎ[2YsU' JՍԙ VF(ҦxvR;aҰʼnR=j~`{PBUf7t`MvxE\`Ә\e 5㓽.S/ՖReN*zgV#d(.a3A?~@ o~Fktbf'Kޮ'.)v؈Zx8E R#a|:R6Ъ H|Ӧ?atL0åXL_I`7ů &U5x{'V?r%qK5]3Q֤W>E1Ə(k-zH68=d} /w@LDξ9ᧂF #R&]X|Kp$.(Dݯpa*>.xu;p&P :DL6@{N/nMP6upwXS(0.0chj6Lx6=ܱ?>E RB 7VrRvcFM %~H%.|ueaQ`wűߒV@*#m1>:LZU*KϠ(&D1o4$ swlε wV; +W K.}=g. ֬fb9H(PЇϚ~kTzќ^<-D7N /SΦp_Ǻ;!zO))(H}ϋrLbgp/u'P䂎M;3%O`؋_͉KkJ,NCP^&D撆r(FYb-'o 9BWKG]I 6a˖z/ibU7I=eU4%k:tXtPYJkMN͟w̆x"Z[Y}\ |-"SM6+g}+`i ZzRs8E}%L)xG-`XeqbfC-ah?p7-a^{>׌{ $cdVy1f39]f^͈*5 )Ԩ`9Q)!m8:3Fl慍 ,H~_0ӋgwsONqa:4C͈~TRks)t?̅qdtTps(<=t]8Q=ٱF窪=T6m圉P|vh8qaQ2휔p9J_-?eWW7UhBmd7 &\Y"9IgzCB wtrS*xwc{Mq;WKdO.eCMmW*0%NႾR$~Fۇ=J Wf#aB`+H8BgYFyF/y7yX1=j< ? 8VxI+hY* BnTqE&gbm#Qӻ6jTpտtbĂ>ފ|vz)m9^k d%NxT`+?Iwa !o3 (2&tdȚ(9=8; J "A-!pʓs9bw踋=YlD&IB֪5K:MZ&",2 GBKAmΜum5Q!GݱK9E5hqfNN~>Inq_';6? hS\0Gh;:hIHM1+) [hʵ+wV?=!)֍ `/jyu2͐$P,և@_ۘb 8JvĴ&75Rȯ D sQEZMT;GW܍I@|@{Q`** 0G3IJ|P!}˭aKlN3z1R .]oՏ2:7~'aq'q@۞NTյ60rO^*}Rnօ5ҁOmRCQ[Kۼr*(P36 J[6ʥ-sC7Cװsqբ=/\v٭ QYMPE}#8<8v]ͻF͋PG>óBf+\]Si$ؔ7 J3gӹ9]cx9okː`^Oh !lVD?qholh(vsfj7Z,SWp`uػZzټ<Q/}  ` &j4M82-> :#νD Q7ioZ+Y'+sM*(!e@ d`\#MaM_O7SzjeߌvyQ63Zs0oD/fY:lLhKi ݖL޹R@smydAII0CDF}Iq=/cjTPJ z3zpnXebyQv h'|e,` gA*  5R{٥EZ!G-9=&asL39G2eC},6c͈lHp :ڀs8<gI2GY oFdʗ2/N\zm`:N࡞RKVtZ*jZ I*ږ/:L._[c]p3H-WGeEBQ.ǻIwq/հNwιgYcpIs>8Q.2ל?BB\L\؊N Mp/>jӡQ]UAp(r&_4-QWk_M>VCnPcc1kPbiyo*Mx$Xh\2ܿB{s#= DyJ^5[/i=9qj1;0|,gΫA,dQ)qrR }2ߥ$#ZݍK]r>e#R6ւImׂ/[qǕ}\vju&A~ o7r(|n~,=}x)-t.{ (4lM>`%5Qsba\ky {"LQE;cX #6U\Wmsp-G,І o}T+CࢩDV)rwSaw?5_(f=7 `Tgp+՚` g؞e*ibIxt2\(6svX0orĠf.P&[ګ,n-S~Bm3;Ѡ|];'<#=8hY^p)L P8N`w(CAА Y ]TW=ml|H07} X+ѫ9k6pzn$E JNkfX_!a1Mm\=V2.7PyJJrBj ~Y q ^e3yJ} =7U(a957JJǍ0;kIs}t66ʟ9o߅Ӧf{/wC WKĈGPqCooz$\ԶUZjI^ŚÄ۽kdw剋7(rfjΑmIDVh$?Y.Tذ5gk"V >~@C|uRg0j {-Rs u=;ʊZpMIEAŚ"n-VhB{i{ұ^DcL1l?s\ZN4krls#/e+h&<6&ֵc;.QR۸L*?"^ xiz(0> 'O](8&o`0$n/F)Kt/7 w@%Cyc,e7rص䔾&=9K$n1TK! t?SoY؟gߖ_^aIyZ5c ^VD Vy։?NA5;m0ؾ2]F5>?rFr8+㱙'~0 #sF\{"tCZ}(s`svzQHqfn''N)[ܴWM^41Gkxe!Ȱiu :eߚqmlWöm~k1aڲ)(8tٗ/'mC ,lܜ%uV`sl|kjV]tb|?4Ba#̱cz5EvW5LIiJ<_SϣZL\!ɗg\3Hy_9 |:fT ϝ_M$ !Hm QB ?H/4bV`Dm1'D=O1\gj?`KȤ sa/FKSqEFgJX[- r",Ɓ9B9y&s'E~/݊ nAIqJ66\1Xj`'WL~+RH:PE"EbpԺw):XЅ%Tv] <j<@QlZf! wszqv‘sm۰CZd'n= zy{)8v)bE\K aS7uMB0Yh5-g}~ TI^^9eREn{N2Fcj,)|R%W~CO\5 8G/e$U2'tg(Bm$d:Od Q6,8/7?9êDh:AIѢdBZ)XLi)3GDCPq=uGLڇ5hˬC銃wŨCA&㧊4"pr:~f!=>٢')C6Q:E,yqaڴ萢C\i8VgߠEi#Gիy&Ihz} XR PAon+L5'& b聽:O1^FkK\![ȶ_YVI;{X ,!5HRXlg zj&M> FC {B,[eHlҰۼdMĥ)RpgaUKBuD޼.-Ƨ@u?ARXQw[[ &yam͉^^E, BczScRw@%}p_[(1/k u_F/fr5׎״SztKjD1:ϿKT*[CaB;g,oBg4\ۇjȑ /oƦ H$شF4mQ>~7\\^8(HYNM/!u?站5kYA(U\ ǸkmSCiۚaY¬"=cޓ3gyERbvC c"#*v]t)놷~ye*#ANi 9a@]lJl93679jlN*_0nI=JJI Bƛ߁ 9u澓>T"&JX9C@=l$Te}[Ju}1*_PX"=- )S!z˚u4*y|1`Vj; ))zx N4Tʮ^ixas՝#C_LBNOR2|mށ*7=|]86ш ozM i^A*!umGh毽fi:< [7:TU@:Œv }Szl+?O4*M>C+q dW60FuX;մE1qyػaAmZ.u&B~VLg XS(Hq[A^=5m1'! cn/">̆ᠦYbC/?nK{UEGk̞nu5D8d0G«yNAexr2M-TE|zF5%1.Y)&=.+ۭh4ď=R3hߪ FZ)q OpMk3'gc4PX|z5FψDFlB$*RT`kx B0Y\NEÖٳEZ̿,>(\uiLˌLU^ _|xlQ3⡿~FD? ')$>6oNOڢTVU>nu)7B*46߫IX5SDgZP:Esnm0/23$]CaҌ96)&D3(p﷜6IGn k5{E{ees3;8h붽L 7b&2]ݙ|r AeǏ-BQ ؎pmﻚ̙`T5gzgѫ.0!:IyB4M`LVHFp#W%N.Y+@6!p?7!%EUѴm'L ;L^!{)E͐YnT̑@&zbq?ɢ{ 5x0UiʕG+Q6mQ^q]A 84~OIϓpzb,بJm:YW6I]oqCgoB4:s~ϦuMS&_dFÌuRpȶ3t|~U`5;0|KEytR~(ԕaWA(TQXp:AYΩQN7bQ=ޜ J:*9ElK83*w`&0=7IKQϯ.Υ7 O 6Ϙ\"0z#9ÃpII5ʝ0J~rb&xd窅"o&VE#od0<L൶{5fd=ҧR2pәņl(4T%sBEݼIWF>n$^o :ygs@rF"u2\B *uъ(yS"#^/~p c }7Y!nHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/files~~/src/HOL/Quotient_Examples/Quotient_Message.thyU7Y-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/document_id6787Q' HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/messages7zXZִF! z]·Iq n[:|&[zPހm 93\ s ެqG:ݤvTҴk[_wۺP~oIu+`1^8оmy)וP+ PV3w[/| ?re%T800 we\ J M0wnvV RqL"4Ȑ.@8I(,h UG@ %\tZʤܵ_YWysb"z70]Qѹ/ǚ̃{I)Z 30|`UsǛct\ʀeB/IQWQ_ mـ},@Azr0&u V!@m9RU-áfbpiohm~x.)gU^B*]Rae9Rz.EGUD6~%QJ튖\6Jf" Ƽ81ќ4E'DMK&];5M/8{N7JWxVͺ 9"hIcU4FyZԡ q3 =HBHj Zˑ_sbtjX"<>訦۵ex}DR…h]**{v^.ɟ%rQ>kHNFӌ`N-X)2xK9t QhHPMga`\씞qbv{)A9NCЩ>@3;`jq{;3O7Z:KpiFr-pOd?HzYCߩ$9M~ODj}^֤yA S .5Z~e~!fN|+ჿ+g19(&A8UzSiGLbRBIejY /䏇[ۈ(UߊWa6+mX?A\M)ˎ ̅mopIeW_8n?8L˾!ח^WqiKuqZ@"ޘJy} 8ݞ"yk`$ ։U}UR%Gܼ"Q{؟ ݩ賟ףVx%Q_wfSq#c߱Ogqb. EDŽ7;Jzg&s7P,]9ַ?"΀g)]mz=m^hw1Юe靀T9F7nP Ⱥ0+z~4&&!}lj.H L: 'O&<ȹ'^o^“d{)S'wa%:rO%y/ENfC'j<_ 9<Έ|*L DtCM ׯq[sڟ"" rVc2V ;THÎ' 8r-Cl"ppiE^$iWK1$^Ev'Q>a,ɋ0_HJɀU_|؛pE!Aܤpup2ʔ!:|r)Yy/"_}L"ƏM&io|M0MseGA)_&‹gpUK@kvQ  Y2@ֻ`@L)`бҡ&[ T] jOzdKO uP!H>GEX)MAI+5:ݖN4)M$3I>,a%2FUUHKJ"{ 3!;]z//TE<.爎bȶ!\d'Y.4$a6llnْ`EӒuѨ*!@V=G3jec=B[l@@,/tMG֜Ԃ8 W@L9m5^*0[#I [eǂOzOʶT\Y͇ƁgYZrTxЅIK6-(f+muu %`k XCB$V+yA%3ޤ[L-)zے} kL t n2b :e#rni1< FJ0 ɏS$dKZX.~K9 頿G5g]ADs79+'_hK:>M#76 CE33b&5bp(+_MnM?ײv+Csi&}Y -_~iiJ|X"g1YGCHGRVϋъf[Ƌu@0#&MqMhY=EĿ,E؝h%bACW2 xͨ.n> PN~It@c0Hf, 1y#.-J(8Ӈކ-!U5~{ЄNəBC/IFaٸg}f)wR9#=0v%L_Mֽ?ρaT:Y6Pknɗ՘lB.A4o%<ۇX]u?S-7#DG 5 1sL$r|VEtu>koG9|-~zglE1 :UڳR,&ߩV9g|rUPUG@›Sg! \ Lxԉǒ"P `(kV(iw3J:4;9a,@zgV{m,ô/\ޣz$/Y8 AoR 8 f91/ W5bjx/z$ 94VIULqAk钴 9 K ۏ'yR05\v"vr^ ~o*$,=">ML*F<@<gу"̳׺|!]~Ʉ$/ȁ~ar &9G6< l窳'qXj)16!qJ ]aDSs;!mLp~F^!y|H7ljA0E2#RP/Gf~>ݫ|? )$&g7PZܾCQ/K3Qmq \=⸘0nFoeb?%Ll~(GxE|sl KM{u}MJ,IjkWnYm .1K_3`:)Sfk 9 ֠([R@\`[^ҵrE<x㾏Pn_ "R.{G؜g]171˽d:zeS63׳Z?M &`O^96ԑ#NSkFx0X_8SI/@/zVQF>T@}ypO.OR8&ЃDl_1hE.ɰǷ UKȄUurg)H41F5x]wvҤ׎SH]<1[vq܈}n ޞwgS $txD%2ơs9e]\wd9B&ͤswǫHўH\TA^!Vsב7]"Q>do w~ytpG6b>ɛHʾNet6/zO9-ؘ/UDESʧ |?(Q-p  *u+0=PB7mP:ߖI|a0u~C3uQw;֋̃d::_ %84v.W~'-ӑŒi:,XG:C\אY͏H}Z n{+j8ą뎵R*8L\`vOdyu0vՠeQ\9mg.K͖88ef ha:3̻<3EX 0lA#FV{9(΀kA"xQy{nG7oȪbKd829I҈l;ƙ [j4kkrɞWo@"U`-j"yanh `c1̬;ܙ5ģ}$uHyف'YCG*[E6e T=hS Q7=ܬӕFX' |rKUl3G8L H0P_n6tnƹp#8rz͞Ȁ|nkXOغh[_g,83'7 ZA+zv52ϴIiA| Yz)AE x1-JvY\Zl3#O_ٟ(&aLڑ0JԜ}*Y?G7 [Nlm=I IɜR*]\3FH?"6.2rP4y6|I[*f}7.wF& @ h_\`Q~: a=arBgQeo F2 sX8 >'{  v 8Ÿ t0a&S /鲢Oxu: JfriQ x;:DAp P,i(9(S_d9 +I$+ UD}k"IwD8\$|ɯk3!G ![XZTrDi ]"4Kq"OQzÜA} snVWPjKY}CHpV!qjmvdÓ}1FE4]cG7ym`APS 9"BޏւlXGu\`l[ G%QK?Yg֐0e~!d @1LnjANשRI]6ޮ6D$mlh`Y6Gk(rX8lj:ߍF1)Zj<6 tfMeʶO-f> ^;G\ru1;ӽqTEΒ> -fٶع_"4#;.s4?θ(Y~ːa澝FI"xЏ%]d()~fֹkq2Za%U23}T F{[D0--oE!^$o{$W{eyCRs꓃o|바v(v9aٌwXZH@MXč0uMwt- hvyA@@sᤶ5):Q~ Mj$tߘH?`]ŖfJkZ==g}[`۶Q&DÛLOUwBSP _-ﯙ~v0gP9U%ȼi67{W{nX\g̪q!wm%λd23潲xlKĭ © R3EBW8Ų}yC\JIT/ 89Z1SКׇ6wߡ^ŇƛhDka̢iLr~O@縱 BDAWPu̔'{>W0;ϗU"{[8'Lom=n@˛y7lq#7@Rd#*C.?4~zKWx0NOM>hi&:)X=*}SPL/CR 3D=x$FO10xterfnY 2T}jS6{$:Fde2= ?A866XͦgUʰfV?kŇʼnJPGk--`ŠJY$Q㯑,|z3 9Y[[N, H&kZ{8Q+pCjڷSC?sVKhtE.TKϚ`@ہjsm +jZU_T_8ZX, AY3(;Ve,՜qM{ed^X 4U`y=$:n~ 0L)#ߓGEdMn #JI%?ΝqT |<ͯ4TՁMi':߾x]zفkhiwx ~[R_rmpCtOȭ9> !`B[, rbQ^x0o7Ohe'xZ3I`E_ xO]p0ÈH`Xp`n u^D]A3qDŽ`7'@{ ۙ/$51]%m}EZ:U bA7C'k&T si:0es}ۓ>db%O;6J0*ֹ[0$"YޡVGJ'/}=lCU}U* \1bUw]op+x ]kղkk <3K,9_!ٰtd8`לIbNY Y`Sw.Toy 8n5 ȓ˗>P9N0CPکe!zf H%h035 V`$5N?2gtaVd {QG3i*`j Yŏ%1+_7A5ҫJZ+5З"9=zDc9?)l55vaܓUiX Hh/;\Bfc]8*iF~glNqND'ţM%8%+`꓌kI^ѸVۄV`l@剻 !z*ݕIY6w Cqg4=V3JP({(F1v'(Ǹ_ji) !T$ #lRK`+7e~":Z3tq-F_\B$N&bi\im[3Iɋr$Ҏ \+*GFgg(w㴿w`V}q(P#:{Z}ԁ:YU/Ԇ39d<&OW'^MΐH֝?\g\&;KX(zvN<7 Ο!txH`2R[g W0Q"O $hf&j4:`4Qz@uOjxӺ3 :cVK`DZQB'7T_Ѓ=~Z˷r.uSiu# h67EG3Ag~L*Oφj._|$}Iͷ93*Dk^iu"\RJ͝6/AjgC\0c3԰ -"êخ7\wQ2g 6 &)(~ ?J58jǛ)Nn?G?}x!߄ ^IPmCECPHvmwK)( 9AWj2oMWx7 hm!6b5<з鎒5Ez:c{I,3 c33}]_ )@,Dd=.څZ;o~˶i`y`"ESlS%[#_arNQ;D>iO#p$Ea)فﴍf /g`Ƥ(kUG'("vX*>R@{gYZ p pM7I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/document_id672H7Y' |HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/messages7zXZִF! J ]·Iq n[:|&[zͮB*ΎEg`BIHЖW1j׊!s8C ` u ˡlނ YdAmv,aP_2-V=#S*ҷ6LV2'p䂣7Z9$/8)$!+iIw܈Ӏ3B$0ceZ* qG*X*EUŐWMyِW?U䔐w29Ic40iS0o^wBJK9r7|ȏp7 r-ዃ#Hu~;5+ e{a$X6s2!&FF4ArvJF̈x%}z˴uP ;Y^ B3RB a/8u癉/B#'zڏ,ц}6^A[}ƕ$ƙ \1 X] ^g.+G/iBGB$Yz6nbrAW :I}HQT^5{&lu@h@deq'Ǫ^7hG|6GQ- 4IHZ ⬼ݝmJRhW!;<^ u֦w_B x<~Kȷ%SM 7.CMO1gcx=FRB SjW>0ਥKPt7UG bUAT*Ϯۋ~) kYR}W뷗Ϙ &'XaR47`O/Y7Bƙ>r,~@ 'wfY< z ;+7{M>j9*`h3=CH18f rhq؇(>JQxx4~JnH2+³תגw+_X?X[]0F&S7:WHEp\]@z/F7=Z[0>=łϦw."eu w A(})W5Ȫie_Fqq`TW l ػgYZg 7Y# k&} ٳ0ΖmBY)ZO Қ`;fHCݯ1TB 'Et8h~&JU k\)M|V9qjx9[l$(Gni 6Ke k[M^G%Ս[(Q~0TOߗ48laeȞ{ ]>@a|GCʤ ]Ϣ4}ulk !ØcCpU)}\IasǢٺr+/% !"Թ)]OF>v7'H-!I 0Ci 3 [d:*-NA7}C酽^Auӟʹy~8Zh95!=o4ޥN ^ky%_'{/K\^* 8?l)s*hSXC=?){Uc%W& *\[bd ŕC*c6οuVlҰI#9Ǐ j~VHN6 &BqGQ\I*KKB9(r$,ZPVvU,G3HAsK[> 3>ӛG4Ӕv}FQ(#F]_%.~͂i YkܐXYocAcW'9jT1񳐘6NQ>E&qɔl(& _zDނ;/C)U?.t*xH6Ike}p|̸]=Lܯѫ ,܇ =;/`YMFnnB{}0߾PݖwMExR 4Aڼ\x߁̿ӢcC Caskvx:VF_+"w7.huӨ DRt`4۝SŰpKrjRNTqWJDX4 5Q-X_g@;QQ?"=n/Є,ɩr E{ Ehzk3hl\/~z1Qp+oN$vw4q)|?c$ق:[t>_n(9bX. *a* ; ˵fN(_ }*4kh ;J8wVё~mϿzRijr:w |XbL|#o(rߩ~ &̵(={$~~$W4cM{z;6fXH/N6fRB!ʥ;|,/J40LW]-OȻ Waҹ5yC/[Z%OCt+?:mÕR ~0q|C#ʳl<%(-t(ː R6ǒEJz1 W9 9ODpT 6ed#zl~GQ 8ƿS+c؃ Fsƞ5CgdAYZw/ k []'F>yI YgIsܱ Txe.WeMk2>dHr/-:o蒭ZߙkIg8۞̛( &%Y:)F8-sXV֜6-$r`&~b}B'l "!7I# DHOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/markup7zXZִF! $]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$;X5S}U$+cYlJ8-2O(. 7Z֐`_bfح;w<yhj1UߨާmP2%(iNgci*tR,ݬx]mR݄kaXƏ\t SETe6 ?-͒tö}:W th2^ZJ[Y/ ؜&v,!1(Tw+k,f-1C$xXl᷆^(b !'ڲeTG2Q>.YK3H֡:QsYY ~/gٿъfc-c W,>ȋYSEݶm@DW8OQD] 4 S7I7uvN2q\TP?wW>mH-CJ{`IC1ڗ!_-;ԒcQ+[F>~rjAfTq $ |51R)2,~:L~)z*&\ݴw1r3 1&#s?#ǝS/MEI{QMAFz"'vHhU(S|s Hm`/ OpL`Xl>JC?p7v-C{qR8؎h\O lXj4*MuJ*v9I[|NX^m1 %>[X-|&Π)DAj%(`FuU^ uM|p[Lx?橪xsRw2YM8 IU܂ʙ]}XHtQ ;ky/zCЈ/W+\xlPO xzJxkǘ霱s]SDAGilFϲqȌZ*ڰzZ1VnTP)It:1k] kzy!T6†bo(!=Us`B7خ3Ưy@Z i EJiַ` ׹?xC9(l Z-o0 gyHAb_=ā*k][øl^ҼC8Y]Fhm}fc$1ܫUXh#U'%gHAz!PT㷕"tq bzڊ ~xFx%yDшw: O_M>]^˩}5^!Np{ K+N|][pHDgDk1 _MӒ@uBY^ץiy` ĉ- uUlpz,0"#j2蹁݌BM{Ofk)`AP!YjsXWkU2q|3H\Wy5Q~ 6>Cib/vZK7Sl7xAV"^8ֿ1҅*O`D0\9NJZZZjuQC~)C<)rN~[evzF Mj ,еNL%Q7?s?氜? _:+*%Q6wojT;GeuQT(ZIIU(4M 6 BnnrSAׁ1}tˏD2 . Bk5+68fFl6_`Sݽb@kFɽ휐WzIB;)YiW8=Ҷ̎8'! M&zzB> 6{P\pQT|F-/@rVr'3ɚ{!'P/ D=ݗp7ls&`տi,L%ʇZfHs2 㷮 qMs%(/Fsh|Z|8K{%vU*/+!w.2IT[WCpATHO[ja?)58=B_@s1s@ڡjvl7\weq.+hZTXeDDQFy,k<[o?vz" 6VpSҟKݡBhCRZ^g[B7?t*D !1!S!>Hb%i |=T+ FgpٱUFBABlMcE;̦KR"Ƚ U-_x\zɰ~y'%5NFO3ڼ`][ Ej1rd!m 7I!^HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/files~~/src/HOL/Quotient_Examples/Lift_Fun.thy%M 83}QjE}Ej?=w҄6YNaƇ ݱ,D? ]y:RA(yN?@!*.I3͹Q;ܧl3%uW+ȡMw@-,*W/#S AK.\0yo)|f~&Ž6]3O$̘,NGL{\?+ Npӕ ! L)תVhIÏ0,EU3B gZ;h5.HO0,/[]ަ:/R;i*cwW _|湶W3qTK) 4!tmHPa^X5$L2B3|gG,Nh>FxM(B<*QUi 8BC0sc 댅gy Ag i7gAԫbx0w&J;OuJD/:WVC ӴTœN~2Ivf?m_@ѳy? %]4=WUtrAEK. ّݟ i'Az^ǍUI' =;ؤŃ$APo#04l`rn3bQ] (q _k5/Mu,N.kRmD^x:F*q0%qPs߶SIfTחˁ/(SHE,Yܼ̔[Q wܝs9)hw[PA"8%rBOnׅ%TF#=| Cyfc:+;X;oV["6*~b4 <؏c9 N;G=gxU'*$"iܝY9F?X;Ԕpc~,*w; wlIq) QUB >͒6$ѽuRt9*w:9s #E-Ib9,n ' : WyܳĒ{5AP{k134`aV 0m[g-W7I3L(-+\#V$ܨ(-JWd@i1 12}GdGz:V9ܐ_nV7 ue8D{b@7m2 /#Ğj@ 1!5P_O=u }{ҙRZnit=D|ټreQ_ $lWg=L j:!h; kxP5颷;ÌC@BPE※>n57lK<-T\NYae8Jj ̒ j/ e[Qɟca)Fi_O6 Has>O(ӥ<1#< LREALa}+._!Q/|e\@QkhσβQU5RcM k|:ȝ*f%\XL5Av̅me~Ӈ0+E@5(K 2Z&2E%zCv(q}@p@2jxBFz`k ʰV3dmy2P.ZaI瓠3 pT 㽇tS^ ii1f4f6%4]9ZL>]N7YK= }=$1qX28__ǜc.)+qRPVd˛Y>4kTL2}9~OĔ>eڧa*?ic@Oqx`7"k& 1@|i"|(R$&p'JSJ_(wsR 풹U][Ě2 ޽DI4d*b,蝱r3t6dmS3y.2^GPt?z]HvsYh-’jc]$ޖwo YFfӌ08On4X_oQM*A 9G2 {M S9A(i>,PG^xH?Wr\Z]E-kaI0ڱ'Uՙ8 %gYZ  E IO) 7Q# HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/markup7zXZִF! {J ]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$eVdٲ$KmA 9< (b$/,d?$rR\_suqo y5"F6ؓ\s| D5Nф:LU$1;M>ԎpNkqNUbRnVr>UjҨ&xH:"NU4Rh.b (>elb^G%u(7Q!fHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/files~~/src/HOL/Quotient_Examples/Quotient_Rat.thyQ'7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/document_id680&7K' HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/messages7zXZִF! ]·Iq n[:|&[zUzN?w-#O4/تC0O-䝈-M}ްթ#biEH]Bb) NBѺAT)z{?sԣ{ٷGgSX,U}?ηT~9MGQ6EJZk꤃Uya]Qܸſc(lW nσZϥU+#B+Dd8*aV`1 I3 %RIJu!Nb谾،gzIjL5CpxCJRgsMHMW|t85{:+|m7E0WC$v,ϴ.s]8tGTPȗkZ?tJ3G\cd-sQ-4 Ay학*C@RW5 ̴] "߿5Oy/r5QsPϰ6z+OŪ9\p~.j 7gYZ$% 7K# DHOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/markup7zXZִF! At#]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$;X5P]Vz!b(ɧ&HGyYsY9 "| 4Tq?48Ttv5‚5.x0NL/^Ԡþz\ҟ˦'ER~G (Z$4wg[rx sQ05A̮/ް)pxN.]k涐.g ώ/$x&G!sXnbA7DJyNq1t0*ԣO'DÂ%Ӝ_ϻu#*R; (, 7sSZXp3O>/hF+`%+o4v(Цz’/ _Q@5p I9y?*i_HДƽNFLcՉYLQi <>-۪Wrgƿ\F)T(cwɍ,)52eq Q՛ZC^T4 [ ͒C YX 8Gh;z?IR8eZm&4nY2{y!ep cI[Fл>`ˏSrVp˔d8YHAs{a;XeQ?LbB1RI31L0e#XT :Cr`d}4&kØVa*)&CFT,ZᙉL1%xź|daԣ}l"݋s!nd)~,LؚIZEk8_E5;:iTw ka&/r ̲>Uf̔Z@{ۑ&y5 'xHW-IFLYnMD`kp!ɛ?9 :-i64[6{4Á,$[V|IWlV+6c-;hфڒ.*1`]bLfXl ]7^ x#vZs%/4jgYZ$UًHAM& $bp=XJSXv=*F1}"hz}0⵰-ڒ5 I{ &l/߮MyL(>:U$zY,3#*5Ra;YyQઑpgةxK a9;d])v3 pǂ6:0s hvt$ZLmgk):cTaRi\ADTsk^W-ʦ}nkB{؏tӿuqnG nN R·qQIz%dզ- =2rm•NG3_QZքUcدoiA郚LvDzZ=S_ nm*Ü?`y3.D*B[aYuC4ReCm$AXDwܿgF- 2ʶ8R1;J3UyM4R4 o` ^I  9_24qVA 4j"Ϣ^|` 63< BtkQ^& ZJQ'E ƿ'Sʇ<3,v^* vgk*#%E9ܯYfyI!;'2BYyA~VYIN ╸w$ e\v \sh}kEt hr%mr&ZNvOnɗ7&dotO6h^1u-xC!L‡W$[y;12hE1~ce-D:yL969Z%fÝ[ v*ɝ9VRa9u'N*d=GQ (]`pf=YiAS{ߎPHfd÷>}EaY_6յM_9x;S{\(ZrٷmΡH5<jh-59a ֊[J~z3">j^ˇ^ѿn$p?И@sT.m[f;JT{`O'K+&vgybRK\u9?[ň:BW98&*0*>˔Ne!2]0> D a>^6]:i C۷>kIe[ ;wR\y;9T@87O׶:T1ǎ zjT2B58& ׫i0el6pvn(!`HnD< Wd( ot~xDQ=$gyd& EMRnET i !ǎFȷ.L;fjQdžRU5??OێQ- c$g -9?^zTYf)w 9+{D(IJu=ʍ^>7'[Ĝebe^+=05m \ u$B'r'/0ZRK¼ۻK.-X>ӔCe0r{<8Ms3*GuaJX& :ʱCt뮈r kSΌz:ݙs<&?ֳt{V~Xlp5sbjjk4f*jt 3OJփ_nnۍPEjN)(\ۭt6'E$%StV{ӵ[]b0F2q`dѫY̪Q.qnXY?.N\KuTR ?h%9`}|Bһfrj27넠&|aK!8HW=Y @@$eZ ϶-'BA} La7S{irKBXwnzK>Tkh|i-(>:UyM`/_O*+&}:[4x+{vV+5g炩ϲZ5BaqȵXyUMƳRbc9 Y!?Yg 0EeEB[kqiٵ̧9SF{[wDb~Җ %n].>^BT1_Vg?Tknm8"sͱA~V-hǬoSJ_I36twӹFx^ :dI{퇽X7H#ߚVlY,J9$CrA8ZQ/'A*j6~z[VgeVCRdJZJ`,9fW"BwʙȾ=u6CÒ$Yv;#[b@/Lw7VءPt6q~fU%H! |9b0+eʟ˃9* ̙&s١)Rp20YޠObA^h3Ok,v"?u䲖x!6F-pJI&:dX~ ېW~ɓh$X~H5n/0ݯ4c&|LdC6 |T%o`M vYbbD&"5e188ROI`!1am2Fbċ7` lHq"`t+7s)o\z)/'pG96"Q"'2M pB0̂mutCl6OJ ϽƢY?CgfUuTs̘o3tXCSO Rc"'f~`s=B˽AK0@es||[@wGAjoW Kl  w7 igdd6M/eM>ʑ-FG@ƂЛ!>/axƉc3QcSrY`>sA `/HSQd:ʯ4%1 l%:^ qhn:Uol">9-](p( *Mr9N伤5`x{Cu'V8B|s0!vn|cNdu]"l-^XDrCtHuҪq>ʷҷȩI*W9CCD>DT/| f\Տ˖E05\md)DS#O v z^GzD̩Jj)aN| ĭ^`Tob 5nQ@1)51@РZ~]-`fmpM#sP ,r2_e5Wh!R"t6K}H.RSx(9'DۜOc7~ -1[?Aʥ9ܯ*nDTA8K솔fP]RDDRD JE sji- N:pݣɢ/ tba"'ʤhta/9Nܺ]y$Fի|Kt\?"hxH WlswԱu.R|M}F{b:c^{b߮ >Bʭ0WIvX2M}(֊v?S⏣)d1O``AƋWtT,q(":@u0-OBV7(Fv@ޤ? ȷQ䑁 `?Ç]ǓD((;,w3E7W5xۛ,{(.%GjYEYF[Eht]gZ5> h٦hM;G2jy6)czKHh7{@`iˆxCK؆UQZɾ)Q31աR1s0Y_J->A¨~%?.,ԳeaAL.!U:ՙS$VpF Vru3 ivXS2åTMc?o&] h[8yC֔j*a0ZW\Yi|۶:ЗD. p8+fAGUM GЏ.[TY$aJq~I"Ua)o'M희`MGo_17-dyJF9H#~{agqtc.ݟ jNB[>Ɉ=iRS\.d px,8&S }'YJhIj* uzk D^ob vϮ:bUW[#qwL풉e )GOTϊ| pGQI%D@@=fBgf=6 U+U_vYr \Ǯ1@[BY(Wps Yɼ,5o!8p)=~!+vqrx$x2@ǵ<9\7=Fl~U̺//5-SWUqZfV}?D[sI_'+?C0Nz Ieqk:~2E ř0Z#QG`یdPF }6*˽a808noU⚧;W;ˆ4"OW.V2HS(b.M#.[II;Mss{-tWf _7OK#vWLbim٣#[x昦?;V=0Ca.;eL&H]c r% xE%P7\d%>!"~m'#R :]q\s ^}>鞼> 3]}̠1/wҎZ&`w|)ɿ # /R'L3Mk!oʾq'9X%8䱑>D0'9\Oou1;&[#4%jM\5﵆PB:5%w,uZW;cE@3f}-3trA n\p"}H_x~a/x >N4Z>H!w=;s!4΍oh,gy\// rd>P"L9s'u3{O3!Ue)c|ԱE=0A^oÎHz˷ŶKOW}8 uv22-6o}Ty1jk5%&>S<_>򶍨 aKN/9>+v$WfYOF%d:>=}Y m1Md.Q8wP\F`{>bO##ßA5v_[]s}'q~ mڨ:2 x :~g= R ~^@XsL֗OVLbSV c_ynzLFș%|L}}za~PW.}E`m!uɉ^#psG~وJ`|IIhSe_W`czx8 K;@<ĝ)E,O&ZM%^W^.V,Up jtnAeG4b#w~s@}p?BuSuw:4u?Fe$z4]F̆TJv8KǭzZ 0V0bE&O 8pCbF}!q ECkĂ JPCfi6}ݞ?/*\<2#u0U!̽uav9&^ X$H̔b$jr_{w/M˱ L.ȏ`i5k`q rGF\q},lFpZl?Dא0@~w̵L>Qѐtvgg%O&n}H F̙`#7E 񕩺 rSjvqK ޴Qx);0 T@mߑN(hoZD%g䓋 9*>ŸjK ^]ٟ'NT9 g+4FYG KkƶK.FHn^ )andS̱svÛگ #Y{ Pp4%&@In*q\|W) 1gtL {WΚU[\A5</dÎ>&< `L+Hk~1eZtF7رgYZ&Ǚ-Tqk^T.[tY С6"ASBכę 0S4KUR@:cgy(@apҎZ Mؖca _(c߀1;-48Wfl.*@iiG;h/et6&.y50Q(Չ{s*t k*\`S#!E>򨪷lNgΫ1mBp7 `-\m@_-U 1I 6HtK*l2>!U@0n/I nw?.<> 0ºy;nZIaJUm]~>Y.IoM^ݐ7˙R^oa2zdǵtc-!9/~sTE؛\3.'i5dbW J:TpRrbE?U˻j=֫z0[ȳ%%3V ws. w!Wӹ)S^ Iʄt~ } 񏍈JSᕑC&^-=%KζcdX x}ՉW{j}mc|ʇ\tiWϝUI] 2 2 RPIwNJ~}IVg.P4F(wmX!MP+*ErM u@;MnkˆgBȗiгN@(ݗ Q i4[8d5V>癘\cTo/_䗐;}NOV9j{rf>Ѣ棪#6cdoa<|ժ7X]RLL)q| Mg4O%q ;t͹e$QHN?Eس"B%s>W`S.Q>JSSv/W+<4 !i|NZ~CCV/$5x^v{ h DKkb$+r4DyEǚ0h/_i+a,̧()JJj7j߽jnC@\@wJ+ơj\[qg_01tKֵ}ԉ7$6UdR`{xmZ]OdxG_E%=p:d҇ij~uS]Y\iʭ8JG $Gůܼ~!Y´J}p7: BCEItaɹup"md"G(uc%mʗv {zCρ5Y=ȻϼضD<M}:])K ! :I]u_ʭB<ؤ;H?:@deʅ?HJL~S2%KZ=mVD"43$* l"{r2O4^ Y F5ȆNy *49%S읞+=FקPP|H$㘈I`$̝ҹ~J v̹iBWKY*I$"e@!$Sy&`*$Mp eM)ƠaO0Ӑ,)U?nnK/vޕU{(P:*#:us׮^A[K;cPk/2 Gռ`T[S#| &(lh|+T(+gc֧twAQ #PG8_ݎ} I@#P]\Lh !JGG=Q*s͝#Tك5]$tcB-A-]N1u-'| Rce);Pg.E |^I'L=B7`q"_?gƄ5BUKy?;pʁY7U-qsErI uyj)QK6>) up@5}ɦ,Q5p2Lz(ؕMa;JdDT̞0=}ޥ+`د=SBI?y>3),M -RxRA7Eᗂ;\QhxHp]<:*]nM̆Ap~g$תy̡)#oJ.pQvlӧŊ  vN6!_s\;X>\HHl*K*X60n(V†Gr!KO(f8qtyK>`]BGԽGzu'U:a]3,*p< T$qWі8͟F)Цg,N&5rU5&zVCB\3nH<%kCrFbJ0L0Vl#In!$,<| ~yY3 lI| /&{p,I);*Sc{,,#XaSVܜYF!!u 3SP=hzHQgk#.0NʁñKk_V7)+@ABƂJDho|vRY{WK~QEXÈ@.(>9= =9`#9ڶ~먥Mw;=^K0T{@eh:ʒPk=F?9{a"$BryI۠po !L4Vn}~}zĬov[ obzkMCG+'ڼ}ϵ3Uq"妮$lY䗇]E*j<TCE<}lXQɒ~|FSKkBhB9"ܼFڹxېt*)G _Z-&|GUߧqK77CGF'sFpyQ]1ʡ8ZM!qp@ovgEdۅ]̷FdM4 "l{٢oOB|67^3H{KLqnnUwBk-+ޗ"v| oQy^#lry9D*5P["tj]<*ncVzK :}q7nI^Iym_t7ږQkaȨZ_ɐ;'>զ@`ԥH34z8m<4bXmNSMD_~ni'&sS@ D l59ctㅛ6mD̫axoLA 6R9+R_g$N0,:ȿ;rpARaC"%͠=> [.h`ڶ[U]׭.Lmwj J>GCFd]m-|yYZwaev-RYЂ ߹F4dך[ K&ehzXjU^7δaW\Qu M6Q:!j]yz3 s e@4&&#ShɻIC}; ᛙx( JVIN"8bFkvT_;HoIru-dzem-*_]lڍQ_ϰSeIO_]T*Mv5s: p6-}9KQ jFW /уe߶h>1LK.1j{$o}1 ȒfZ#B5l{䃲S0pB{~KM"=hѶ*Ƥױi,*acU4S#0j'{)S,K[ f-4a^\kUyȵ4 <.6*H;5d&u9+HqpRC52!1;4w]ZX˿A}U &LVg k(u+1shmy]eBۻUOGǡȨ1Ix,/ ps0x僮ԸFflIw,!HW&nЅț<႑xzĥ>.*lIi(M*7K_\tl,ǻ{I5pA4X' B#}OΊRd4u";N@an~COSnfFȀź:+&8!Jg@fAcӁ_˺n~Hf@[2u`\?ߨ3v?[My*yΧk FglS0?8dX):Ϳ_`]󢓟o8yEc=UK^J|i;X$HAB)?T*TdP(ЙA^w K{f-U~@:KH'e)z=H8Vu Zrӫ}5ީ:wUa㈹*gUaj΂c~`["A=A9"ȩ曭c],;Ǜ}A]^xUGG8˦޺jc̄[|,زjR$*Pݘ/8[6if!;[3)v%6%gO[ >Bj2D;U4¸yGO6bwƆY,TVyR[tx84f EQ#r}L"^f,@&]}RN K.r}IzBZrZY&*+i, ,-R9%ҋZ5A( ׷v?F+88LaeX4qއ޿ <*輁`qj2.RRWqQX\r#"{gp >wΖf"݈PW MB][MEx|^mʨ@WJkD?]ƋS` Q?K ;v*&_ީE 9%JnNcY;:-,Bf!`vёvYϑċ2SPn qsY=&yhNK$%T[.K_[ۯ ={._40eoӥ% npFԜDC;M?Qaqv''|Yf6LZ+(4E+<4 BV"S n6/"OËufb8_T E\xکDa\C $LI`]є9 ~C$^ HjHzkz Hy20lw ;=f5a)چz5ՔqL1Զ\&&K5}ȭKׁ~׎Wg԰Bg؍ wpTR7A$U5,ż`hq!_òD5]3}u#&Cl߼z7mbѬa # xݴ_gm";YDh(Lwv1[S Xσ&NqՀ=CI浛c=p EJ@¯JQx݂O; S:f)(|E%MGh7#7* X}{&'^ךN$ɸY t@Sc >D6|bmHrdM&'73v:t}|F5tEՅ( m5V'o=YġÇ4bĄ;6 ^acfza4`0{o3^88ZՌJo/85ñ~ ykFo `b&ߘ.ݤ؟E|xubqz[P.P8LJ͂FPz0c0I-Id@S-t~[;Uy0A+j TX3~O~(ihk☎ ! M[jt"{/ӎ3,/& W0;" .'ժS-S sܪ7Rlϭ6 V#W 6~@W 3fnj;-cKFhwvNYpƇBG_xޓF UKM߂4k /Cf .VikZ!. J ](o9$5y!e\6(Jj=yP\M <3\ۤ2ļa*F hӊĎ]эkĎҌ'YoF[yӷiMÍS@ԋ~FSmxWcU gr|f&YD|=p!&!Bg|GatvS;^T.һ05aާ/&)εڰ45$tUC$weL'ÜjE"w<2مY6sciG[DO 3tw *ǭpk}Q7@~z9(quy}ESa#&mR)"^u!uyTxzBÍsZNZ>EMANP*C%.{o!zo"2$%i(ʶ9?KvB';68 ZIFN:DhM޽˫0ACAf,ElFP;&H`flT{Hց[l?y@ D+…Ӭq0:1IO .H-_,u{c+uxebq:Q׋1p`\qXSs5&@|o?舭X$!~+Q+BZ?ѕ"Ş-Ezҷ0aZ37wQc]n¾01ދ rAڳp<͎%;OYXn22]ŦJ'gQ&*ҾcNWWqMïssfC uf q+ 5y[NLjbeA=g$!V4L ޝ$wVO&"5ˆb=4>O0y M ~n\+m7DvbSsK^g/` 8kD)'hàw^wS8KzZqL:9,[C%UU7JAa |ZzsM]PQ4}!k81z7LM?Cvo_|#ms`29 =^5܂Tp.(iȕ#pu<~ jHpun;(~*6gG,+‘4Rwm'ϫNlcW"yV#%< p=W Qb|pa!Γ\+Z`\g'v?Dl{&>th8]$ۭNdQàҼo:hm0PuvI5fO_JFd^Wӊ{-CJ,a OޕtW=DQŲ:o9#@rzzv NO},CzM[2L)ƕ2?dWȰ|ג %ƌ2MkV]IvpqRU$8k`9\ze~`ٖ).:#Oc-lJm],M*%NWS+cxrb֜C}/Q(rLOttŘ e/n_O)q*0l܂U湻cNz2s #V#T>?*l|3wʧ2-foE4؁r'|]E\@=xu]_rd۾F3T-6&zV!֊3Du@6O|{6D;O dٵŔ; ]U-h&/ko oiY}j-[]uj$cGƊ;P,]:QA2v9ڇߛ\foԟˌC ~_P!~}Zh>%Hx綵Ca3ü *Xf)4aŧxWϗD R e2mA ~;;ߩa9pݞU/U3Mk0!$wi{{iClN[j<&XA: mͿi2?Zں,'X87]z9%$}=Yjm4g(yڿ*Uī6ʽTcN,ө6ݣ:~ avEfdhS "Stє?ϊlb)x$Q뫸aGwVmp"[¡qU!/-q;ǸaRR`=흍.}( d,VT!~(FU;xqהl) dےQ4_F=;`]:3<ǜ'/G ӟn6DBYϓm3؆;vI(N\9 Ė~<r4VhO6:4S^nn`Pk5V|FY:_IM>W(QNj|=!xzpajIN=ez'ܘc8QK"!Wi2Ix{O4æ"gCE!ߘ:ƁO /?6}q*-!(syk9(ig)f; |22A^4 ?P -'Z8:CP>-/n..@h-A*z /g \I.xNvȓ O.Ү kZKC ;HT)8n 1 ް }NL'nqh٣E: Q@ +.~Ar%XT@N(FJQˬGxTj opwHFޒ4ǣsp~X\sSL$+[,4+sG7>:nn<`m[m(pQ#%XxqnZu6Jꖧ|˸%04w *3^uC9~n~aMҏW%uY!{Avܩ!Ƚ*F+.ST<4 5* \TAAQBݑ X#D 4aT_2<5':(9'ISܸ(ֿ | I!6ڂ]%ʰ@0J0 '\ʬL u(y*ŔMpA˛D\1f:|3؆N Tԓ߉@|T 4Qᘩvtop^r⩒@-GKw&tE@,}SQ7*e0mIů"=",)N4zw(5U\]ҹw;dM-S[wŽgȮPR*kI1.męͷ[M"$ "Dfs}>; gّ~>*{0 D`\̰TFo)i&:bZN ,$yא=Q$Md> -qL=ar炥5ӱ2Z@96kBD1Z$̚KHi3Qj6X'a8^!KL%?RLzۿ$FW?UϑV4;%900$H2CXM2쮰K[Eomg$))97yD`yS3/qFl&M#5?#qp<7v6l#Wdr7)‰:d!tt5JXk5G#tIQGfi/ԏS*փf uV8:u@x&Ϥc1}SP X?XIm%eGz^n 1F1dp?yE [MHO]БV]6n|sf?}h ċJj;'A  ;g'7JOvu I0#cNaua (F6JgjZy?Kk۝JÕM<L6G݅,1]+w6j? {!,uӟ{ɀ72H:,?c;3fzDRYt&"eG; ~8(64O@ t̙㒁|ma۷ly. C[Л߲) y %E7 2LS9Ë@Msz|J[+ #[[DJ 8^nmAΒR>,o Ly?жq-tw7b8mݡራjWCfuS>6lW%7(ݸYɐ.a: R*}& v&R[YQ {!?b^;, ?`>?|-MG& 5ʻ%'^ʭ8ӏnG#d}c)FR '5\@7x Uq}gnw~Y"(m*i^wmyc(ڇ]辫Pٽ\Ns]FS)#$9gv±ɐzxNCT:ZE}Oe"|#e% d ~XRIWNq7jGn?BmB/Pte?GH"87|G²r0*jaA#7߳`7!\O(Qz!!xY.=K[x9H1Z LV]H)/Ru$!ЬM.D9KR+ h [!ǝ@ȉ̝[3jGJPAVL@G3R[iTl! 'X ݈ʉׇXSUX^~s^f{/0%&&V{#QBbjz Kj>uvLtu; dʔhCSZQF{`] b ">%6t"JĢYr!csl@dTj҄7N5xU/ O%_`pLڧv`uI09G^XvWT}&W}{@v?o9t]X#;SfkWG?oQ hČ`20Wҵg #T0Ecӗh= q[,uϼnpV+tYȣ}P=)|L\PkQ-Ǻx%nTI*A{,^+QTY fBu >?=aqjL]o|?[j.<:CB}* 3DJ9܉(K'4_lemE9ݵ@wua@3}SD CoctW#T}8&!<~H_lD噪;n5gZ/rQeT3CGN2/dpĭ&Qs-Zvzs$71n^T,%O;4 Ku_8{/Xā^6I-,.;9@R" GW~届 \*4Z:+ޜW|ַ+e" ΨJ{(/d ~a<›R}QZ'Vv ;"V2tryD F)PnB$qv< ݼS_8C9#^jY}$rjI2a0@^rh>g~jSJv٢:҈{7 p[t!kۏ=~ĥzbXo0Lgű&nVw=d (wg:A }%;jF:-ŇR]{Yz 䌑u$zԗ&=F½7PO)=νAXWJ0Ņm|峼kNfWTKc擇C<աjLSe{D>DZ?ɡXAy戱K/.-Nrk1#k|nŵΟ=,[!ZC*ȇA+'LY-E a3 U'a-^uN~l2,uYIװx§9OޠIx lBq|1}ﺀPM0Ot j7tͼ\2cUԍ ; byì+@d!iF]ÔLE1yZ mEBjzc} tԋ1'fXPs%s$!h&NQ!?$ ;sHZZ{ @&NI&K.d}-N# Ty lWɳj2@ `Q2 #$o^>X 7}2չs_I(L&ۮ8] ($i p/#>."UB4Ne]ùF3Mg;پfLPs_M4EW,-F:oP]EUW*$CUE b͸XlԊ>xHc*PI-$L_WN9eOQq8P8><(/$YפݬZWrLx@>>FU@u-Q؀ 0x'6ǓЊmNBPեa$#JjMHBeJSaj%StۦDb젏KXvIj Rpf3)@..^gI4&>Q㨵[Y+0| lԫhH5rɍMIwnPQfMq?K ']0{Di^LoF (PwelfR68:sK>4IryD*NO0?כH7'-!k,h1kZN>0k,US[_m6Ww޾@A ۃߔƩTƬ qGc}e׎֘R\@$ם3b EljR:ssv R+P!%5p|;Gݬ?GfEv 0g[85d\-nU.N̓zRSb@; < `esϟڇhnv>NGU/¾xR`e;Ўm'T:њqҭDq_}9W_Aj>:;`&iu"qh֨׹zqjszw۔8g^fWT0nfOljKuD{tIO킪|]U*x :m̒Uݽ<eOkQq Ўopp1^PMxbJ}+z2cqkvm6{l\zh 774]ŸRI]h\ȥ@l9蕹s[dlUG_}A|$*c>\/6Kkl+ĩ1m1#J!!O(7o %?aSc0="$rk\q;8CN7|Tv4VDE/1C ~\]z[]'&G s<%8%>A:|_vk| Td'|q0:P&ߨ9=*)[ClP>iboV)Ss0&ͭyC$bY/TڊMԟjX<ζpJ,Bqʓ\|F?-r}*zo&ON1 yP@=8R[+&si.7Sx~ܴVǕ#k,Y}G̤R"J @ZۍGvH s5o~IfF|])Dg Cp zs9ncv$%D'$%Ź fQ`tS>2W) ,{uN`=Z1G5^c%3(x·npCvAdf"' qnƗ %fK")Ul;k]'ۨR-"\5|xB#%G@ 79׺.Q$}ϑ聸.6 7<dg~KFm8WXB{5zyi.@ AN|NomYgAnGxfz %%`@NJ9gy |^fh:~D:pɼz A,IhŦaYΎĠk\Hw"dg=2cڳS+,6. ʵe<-Ś?./–Hj&>糽:.Q3/aKrcԴD]&+$~knIPb1V@M\؁WzN5F)v/-C,|5 FS[#M k.96#yZv7G}[FG##BE^8,1k(he29{:wAq1ʽ̱Dk"r U,ﵗ*䴘K^{6WHp)KG'*ut/HyRشT%ܣ匤V#08>0õ^!#םU#4ܽPp2`WՋ3 nEbkCLA/n,;؁Okj=(L>]BA(A;@QT$X}ĝ׃Bud0}PG&bn;-/i6zr4HMlvIY|>e`|>\9Aqh׾׺1r)s>w_QZ]M~%Oi i\8OP,\kQrTKso! m~R(tI94CɱP\~Ni2j`d,+SWk= ZEƫ:cʙ[a#\BvA&J<"r@TXL܇b/TZ_ݑ)4 4Eɹ d{Ń / !(ېR`oyKVY:i;@luńg[id8ZV3Kh2$2 ȩ,uAr$%4ߟgI5Xj0fa6 T`')KA,O|7A1&Q?4vWX(-j n}5zSғ Q8dв7}Ӥ|y.pB@-#!;S `~DQF#u,霯R/#tj@ *+E(8I o3IV >Hg*mbhڌn0,i Ji7PsnIP e+fۓQzS_,Sq!x7 w$o.G ~)*nQ>U+PcS1\ff|X+}cf&+J1)yG?zM_hչmXġAB'M k$,mENPĚ{}_,$ ,~Cty _>2x 88w/J+Q^(8{0B rFj{{t șp[lBL>Z .pDhGGQIƘz54>V-9yRv~`oz`X-((co܋Vp!~Y bb}9iؓcR+7K7 } rf}9PuZ|/j Pe7;?lk]Cr_6յnAХ a=*?㚶.J qB):4s$)bߚ>yǼzơ!4\|`}j ')'_huf`z b*,)1 I1LJft=vg.ӔjPCy }JR״* :׃dͲ8;e?p_pۼ-tWc׎cN_.3)tx0چۏ7/l rT(=hE,A?ٿ!fzb!=e_nIwգRT 4ܰVyo8(6 zi%\=@" lb/D7&:r{oluEcL%2w22[a$_8T ycwd3c8;>lЯ'{OUK\&R\a6Dv9q{mNKtˈ-0}QaL}oWK9NJPdOx.1B0&߮W:p࣬rlAmSXO+SVqdob7#5EwPťp&fk΄JY% /`g{NGyT?UBhNx}7{lSX`buNҘplU/oJ#/8>˗YkV9D)Pr}q90t~)ix0_+Z²>"HH}Y(4Xkg298恹-톖ߠGƛ?pS9,Y VyR7έ~%T,x\WU8ȅX Fy\ C|2+P<5*5AXukI֛Bi&D պ FԲh&>O=hS:Ek7 L͌'1J2\x$,h @Y aR]x:y[pD~4;)8{dU3ry ,Cw>|FPOdFHo6R9htL C3DI|$!\vi( t-Zx7bne'ژA_OX$M+HbMGyiyRȖ|^2~My%A51񆵸5-vmCvԀ ɦd&J`re9u^cpBOƨM0z$_"ÄJ'fJ\`ߵ7"O>\K$f@2$R(#˞PЁh>[`UDU^ۻ2z&YF<#LW4;K}NUm uj[r#Vq02KPp d0 1‹bMg@g9KDzAh=wJBS >7dd%E/ tze^QՀT}U]NE?[!s" [ips{ OvXFձn c@IrE#8|6F p!1H&s&l?>5LY.w QJK2"w* Q4J>k =;L]kvZ_Ot<9?"^GV B4zMwK1" ^`٢:i?G7D IJ+4GigCQ,}=d<™kqx>N##r^{Gɼ80A-}(mU)l1:n4=fI/P xL>҉E"[JIGc4Gi.x$aoR#arNgUE.KpH㙨S pG?yc`ԞR8 qWA,_S~ #&qA1%ihH/.e{T\a$^_翩zhR&V~|wحY;CNhX*j@P,̾# _R'Ws'Æļ+>ʶ#*6#!B q  L!-.1g"O=F]j\dUzN]H^YdX5. `Yr Q"IJ(޺a֢oa6~.s3oU0h>QcTW ѕGhS_̝4\:x&K ㋽c fq)8)@7/{BQr >B2U9tsiȫwaITo&n7 Oz:|ow@v~y? &e 4器|ʛ#+ӒwI?xO]KcnYiNlj?p1֎j2 Z`rƉ@THŠc2i#:Ϯ`)tjgt؇np4n$'%<Ȑ8xź]jLSjvfe=z O.(h)4󜦻%GaV]D B6n uc\EPMjX -C:f %Q y}ε4a C+Ɱv&qɶ{Ǝwy[. 0~*dKeq>8Q }1T&M!~3"4𿕉>/lzdE>4.j~C4[E*wGQG#jiI="x Li̠Қn-2}a_z4!݄ѵ8}UKodEi4f7Cלr{( vuUo--:uMG8PC @&ʹy&A/L{F~R*fS3T7D*/ Pi N )\j ?OWXv U)$qi:0fn[y0O[P$Zx[,R](&J=eV~\3@,z@c}tςUL.Bæ,!krn(HHiar1ֵv^Z.Rp}MvU{@z> il{_kb0 dgg7T3 Xo茤V4ՍM{/ I7xp%>kG8JBv t]kX: D+j{NQ$D(遲^z_+^<"'NձU`]9mS+'[EW6CsHEE ^OsEeVh)'-7ҏZ(^FGiįaK%Qf:9MCh`q1~1Fb@E u3@s.?;HԤmd?[ hg/Eli[t/Ԑv]'Ĩ U/7'S~^%bU;wNg#*lԵhx@x*(*2}e.eV Z|$XIVC.CJQ뎽yF#d"*>Rl /2Hs̚B΀⻟+|P`^](Z#f ط`HP5n^uR y;W]piڑ͟'F-`_c;A֔Elyqol:Ck{_55bI=*0K%DB"6k靿S7L Wx}؀:&>r1[EZLq؛+F£2쥜"9~H25pe>ޓr`Ãsh66 8}X8JvCx2 {%*9 s]zh=᏾QXT~VusYF|Şby@91%zU'THm 3(iс~Z{ʪ cpycdl#=!" ~N^-n=6*e6x!.3J- ;Pк?j>K+1&;O> uɟMyO"6ҚBd ZJGdYj+#SWJQSgbM `wEYc/8!a.M!{I<TS1Y3XR%PV_De@ҹ QiR_+y(jW/1Py01(Y>;tLJ{;H!c`Vٲ%%?4R:l|FM4$"iu}I:dPn;)2Ul5O8ryJeytv.2ZfS1Gj>F7&$=2pۥ%ueqo翫!ۑw>CBu6cϒ=gpռDDrzQ|`|q]鳅PN x(ҔХߴ#}\{F4H@w6ɻκS N'k C,WNKuDK_ /J<]y 獶eML3)Au>u`c[pHӧ/ 8htR)W牫 {F[e|_75?fPo e}o(<h%j֞x*yYO%?\!֟.0 ʈj]Ii2;B4p$BxHwF8yK¡jvW>{{e4@h9>!aK;Ey/zn;~IxH jr.NFʰ?W"GZDIYI"k]avyQkp-R^E.c,`,k %|o_-/ *a~2BIh,*_b^,ǮIp=GOfSu}?eS cͿ-xœxs8 Rf/0H~:2LM{Z4E ѯ@\/}+"4 \xR]×7V-P:Lް帴Ƴ&^[R畡{ElDob!Rx+>~ɽ?Ϙ3p!*iFs& ShHv&,D/s՝qp⌢(҅PMLckƄ]C!WCa,KJ Q}-#,p3ϋIC,"N^@z4|`sR#){n > }WL:c U0@ͪ"DL{C$m^ZR_OУG= $j2ܕ=t A^=3Z5yji)+}'/X2:tčnK۩j;;tY3D&8uRly9{~j T>Չe'䕨V%ezփ<'-ќvA9"m91_eM9RQ(<̭yLܼ~&] H F *fAkq>܈T%Io/`u`m =̏c e 4wCcV&S^Z -"/WDŽw)y17Ϝϋ$!ok.\BXP* <[jv4 Q%'EtS_=Y_5Y;"U07) %#&,&{(&u}U׵ۏ?eVzyt5tM[{4֗WFvdm\K2jo ۨOOR}7rv@YX,KЯPZFjVeC䩽t$ BQ&wG=*WΉ!nһʍ%/bn.7%D^d;/S9&MŠ󅮨,eW3(W ]9&s1 qg!c擳4E?u)zt^z҇e*M4[[>/cY|š/d{R+8+6 4='w\ wHy*>}.2y 5Q$5Q8ĢdwB\"Ł(״yIǙd@vΖ[7Þ?8aUiv .f̶ 0O[n;6I UPSO*/P}Purʐm UE1p" q>] u>[XCDc0iT" ќnYpXk憎$N:ΌKâ߻Je\ڰ*tD>IRf¥A㵾u1nWW=tP۪)T;c SB D[ZǓmf#RcAM-L%v?$YŋFY&Sv3G]j!mxMo.*VT \]5褟ts hI3޴, ݿ|@?,sBu hX$ .MrAp娍jÃmM!jAqHԀ4C(d0~"mbqL>]V#Br/5^;-"ej#ܵqT26‚u XKf۱g]|#EF? 18 m`T]@V$+S?9ׯc;DA]1Wq1Od'dR~ŲX=]pElS[andx7"!'I$JΛRd>zz.~S,^ݭmIbB .#g-O݇ SO#{qd,f!ki' IHW-kjßm?jӶTheX LL4f$ qRfVE~oPydmJbyg!}[,REB䀨o7) i2.ԢUϢs cYO :(x^-j^|ids\H2"cR\DukI>)khT+*b)36}A#~xNnU 38X-o˳.7q^+mpXǕ=4SSQHs%eN(J6 ) q+ PЫ }\԰m]vD@Yŕ!e<g§9 6 t)jLJudhO|WxdI1I.L>shK *R҉Щ9?G@ֳ~o at#qq/ ]\Vݕ&@S(ʗpZ;|@f-NBO;n" ~P/&ϥ $)JM}&?ߒXL f`v>}c61xĘID)U}K9ݜMϡɖC)WthjShZE,ykB s /@|!z=,.~D$.x >h-$mmׯ<$OvN%F.\<&fb: O)G]¬Qe_eL}Rh8+X֗`K"{2f+i޹& ;q,(L(%u&<= TBTsDbi.ʖ6kKW@YKcZ͡R@+OVNv/[Q!:5'N䆋 ~o s5?{Jёr}L Xuh?tv@9IqN!]SpfΉW/ͩ-"w"'z'a.m٩x1s+fPу.ԥY̆=˔6K\" ۚ{4 L)Wߦqj}Wظw]|LUOu>?Or 6ٲ'cR2AiLTUg.R."ݍKZ%ϥ7qBa1:Lޤ%=BOqqz*P[HBJoׁDkFe@kAaz!֤k ^SiRmXJ"9,UN3A o]"$⟴"UsA.T`c=ق(5л ڛ _FR(Z awxڏU?_iQ*1|N;Z[r fi <ӯL 44@]MB_w)|p"Q جlfOYULBZL(J߰kwb3mHSkBn`y.m8PRg= JcaOu:w?E؝ JlC5tF: V [K@-\ÍK~Z*\&8&߀KM `ڕ/)Vymn~kG14} pUxo썿n a^+ \(u sʅ夼، > t_t,V>wGpDgL/U*  ѱrQ]eTE9Kh3}ǂF{q*e-L1XA!˽؂ypx%/+d}(-iB"B]^>|S;j!Si4Sϟ'͝V5K3 0Q4h b'^~_FHu:8g7Ȍwh:(S ?,SVN#̮iXU%Rxs詘;x Ch$9逝:$#m|/_ a*wꉔK6R)m I':u6/::8Jxsc]$CJpaطӞwOG@kVP{cvl(\6о . HmTcc$9 .N}3͏c|7\5IYj7}1>ȖHM`[~}\1P}’5??} }/-OMw76=VO5eq|X`U d)6Û;]$]q|}ݕX^aʙ=*؆2uބ7g2':̶gi;}ڵ>{*&쾆ϓwa +O&8j ظ#$$aVMjn~?ͦ+I D-emQkJd+{T2U<VN v={xxw&yЬmdgmGy݈%-/`/ VGn'H>Iۼ{bH ƭ@%|:*kwd3fzʛy2%ÑP )yz "<@Q2KuDB]@ cȕlC&GB4hX\u[AhUYܘ?hd1 %7w-<S~<7 q`lCZ7Cx:4 ghGas4.wP->A&Q9ᲜTnb.X _ Dp!k p70_{@SQ*>!Z’ɹKph}I}pw}r,>1JQR?A߬;i2Man<, v [MF'h@>&fYF&sr:̡qђCҎf)@ᵮX*M_yn ĥ/Sns=F)^/>ʉ:y[x"'b5-=:ܪsݦ;])OceW];Yg?e i dErxzG o.9YQ.xҝp)"m3ԡ҂bcix6\:'؃sӂΩfx)HsnzQZ P2RZ޿ rJ9sBy4qb_ǒ."?-%N}ri=!G=ݢadWe~kmԀ|v(xl2\d|v8%m_{yB d7CΙE>#ߏ9M k[䪆^ofWV6EO?9P<9Vjf=ySuohtCqE GH Ss ]` {2'=6||1Ƭ"i ϻ/Ύāoxkh-ay}=TݴfJK Kpf(b mMI-@5< DUe;+-eT߭bL@.ӭZi58@0ɒ }^3@ylT+`VÂi;*_ cVKb㘐6tl[Sg-I6 @)Jv4Ioo%x\}ޚRb%bO=6vO43^L?EqlGD V}aFh`q S#rJh~. #YV +yѶcۻ ".uk=HAIkYڲPd@Y}\bF:uv?;ܟ]B#dBg8-kJ84~OwM!'׽ GGanno婀fK6t>AƎF1^.AQDQ9qZH_Ą7թRHOMI'1}&^F34R&|gGnXE)ab'-&LH;0xpǁمr1 cmSo04/ m}BW(z 7JeB;n( ;&'lwM>F7Q Tm.2 2U藔v*" *i"\n3tTh~}ՙ# VnVo6  ?`!`#" O,2"ݩ/_|it(-U!8J2=F ohm=$BqVZ T4Z@:1Hp=q\Ms5 y鹻okxɥxt]ʷn-?w9DI$D㲲cM?[$b9@"W)'#شAb@O]>rC6+X9o- w8D2Ƌ4ļn~!ƀl%)I@ Mtno- ql'F`+iN1C8-D(th}4 ñ&J\MEvpZTui,VH]YׅS8Y3|P<ޡ ?õ %7:o>;~}4$0ܣR50Nu S7 5!>1-I'be`<^'$1HwHbuۄ3ß+e_Ї#`d/K> Z<c(}Fka1&&)KCa/Qv26H$L+Ԡi Lֶ4%::D)"ULu=!R зCeJ%zO.IgJZkxKtS3882u/YGI{q_^@#BIYy5.CT,7 9 'Hfje=[q?u'J5z;N"CDBbvZlL#vvqP/0(2RnKe;K<[ѡY|ab38XnFk \覜vT5VI Mj6 sG X#._ ;C;LNJ:$T`9pĎkEn m#|õDzWT G⼼ !6G(O7EA%TkXw om|2)=;ۖҪZpULV/P؋WaIyO܄gCVX4&ec.'ۓJ入=,s~$XjMh߳akz+1;'XEX[g(co: :xI눓Dhm/:BЗf(")ՖYoQ-`9}H%]̘ 7ji,d>*s؃iNȿ uR&?X`v-8gdꮲQ T&խt h}֚Ϥٷf4a=琧( (C 6➊P_̿a\>dՌ*GYv}u GM8ùІcz}!7gv>hiRXmEQ& pynQ:fWw#pVsbڗZ`j_q 0plr{ Mz/ :#$~{F֍BI5PVd)wƺHof%wA? =oMldIR!*__-֢t+ׅ5T59${<]c1k,uJ I߁TYd7Ҹ>`_DD%"3$~&䟐u>6tYExX=9>+o߽:zn؅fV9S\)ct7 {s9ϙR^.s.F&6qMqKU`Q@uכ sHgef?(OiX"3pE0zY`Xqf0Xnra%Y Mt$P_g؅M KO\=:es80S-2Z!icͶY!S͏!͵62cZrɈ6/zkn6׌;]VNz *k5pqH+ಓc$1`Hy0u_ԉ:2L*S`\1Nn$Ć[ N%2h.AWU4KOx5](H;sj2 dX冶G1-̯ w{kF2O=y)R"WӧF',nT-=dQdiΜc.6*9ۤ,\*rgW#9T׶40yjdz{cX$ 3s _5)|/cS:.{j:r3yۤ^ZOoHlmq6waP:yC; 'q^y ҬӜxYb00!%Bé8!1F|+gs Ѹxf{IIz9\e(riC-Eu r]-q/^N}m\I%ߥᶵa4?]uM,͎X"վŤq\NrkF>go^^YRIcUϜhׇ٫ ERz*\sdbPѮ*^h?jIF궵hWGQ _зԙΆ?=2,0[w9:)=,_xl~ȴ8Ȝ0X&h[A׳L1 kr6Гo 5ۉGD0cMܼ^,>Ξ+ 'XGͣ~F(trs:O#L+hi5ͧ-F9ERgt:|8^Y3m\pn2q{)6TkG^`SrR瘹k,;:mZF{bc:cӰd`jj )qA@&x[, R3p&6R"U,^Oo[fBc k0bC{u'`B+`KR-RW#4GsY l >U""= A6D5E%6I$ݯ75{(/1/ %r\sĽ7ùzkg5 ]y`of3*sZ~:3{_L9]0RNniFy]B$%mթpV/ ' ԾQaC<Pl%pOe [܈J<ݫ`䖽vNmR\zxY7 6 韥@V`{h"D2fI0Bwq0#`R$,ANz73+mEGoJT gTaRlEmɒNrZ7WD||by)#̰gl+5bXL}nW0xDk:4O$E>V‹ys3`*1 J9-ww>;6{G}p, c)Ҹ̱-V\J "UBn#к }Zm/8̊Pׂ#6ҐҊ+D%,ŗ_Xh4J4ர. sP1dDjbQQmL[&`Wxs':ocd39.!q;-C"k7Uد.096 i$S,tcmwwiݙVܾp〖@'Qշmƈ:OBtb%2qm(-&İ\6>^H._x{̇(PR$4zvt}hb22&,&|\Áӑ5ӠObzg-MsrxM! “-r;Js<{ 21A[vxNZ%L-lЎsqãSB$w^yf{Rj!b@jy8f9Vv.o;nG_?s$5jƀ՛ͣ֎/={Bz9a8;7*7QO{"x{U %LVQ𔀤Âb{ nLS<OS0Ƚ]۾d(QтZ*g7@EY8 ;Z{K y+qkZ &V1iI WF5˰g[DS$p` %S쥎P8v ++թLA@(_|0 24Ӕ#"_g;EZ +濗|xÒ _ʡưɈ"ey?ޑ;^{y8ntJԸ t[ RXgK@%81m9m%;.a Bzyc /m‹%.Ȝwpu!3LD._ I7$ ~)փkM|NU;g0kʜf 0=w 6mLRm!.~PЂ0K$ҔՂJS+(0گ*k{j}gXƋF>P vr}GO &CPg sipGSO5&56۬[hBmZd'x%fBT5 j"^}TuLvkꔅAˊ(QXO)5j3Y!-N\uVa.E:S(Ŵ`Sq tv{of6S<ؠ3Q"G6t*bCg|G2Sb[/D,S FJȄ n~my@a~T8Jc`Y)MKtijOg0{  Ӹt#P3:WFʭG';mfbХjAw@sFL"@ X'931V͑~3.ERjr;4w㪹&!lI zUn>t5=EKtdiRz)ˁ6 txtD3Smbal{鹍u*Qja"{Zdi)$^Y5ltranoѥ$nFOЇQT@k=鍇dTK0.}S~\8:чO6,(u>TwǗ_$wk: j:SsMU UP O8Mξ2#bcr[ 9pJ@h*\|}Bw +t';hba0* bG?o:rZꦚ|OcUګפB:6gX)c3/2Cip"_k%=3NRF6qZլ3)EsIz;Rn7i$8fdL^VF _gue{NQ.GDe~5'\mVr{5EњQ;ڇ>]1 kX}CٱԧiBz@j2%}|Ǹu;!S_~tjĹE!9?^$b]@喋{mwC$K2 w"'frPv&뤐B(\ "DbΖ۸%PǑIqx]ܥ "yu%ABq؟n(g@M%EVO;숶%%?iMx&W(ʽjϪƇ^ MTԲwǽ}A!h⣐:DHj8bsME^x6@(͚SxmnKԱZ/%:ٓ% " Nf]TDJ o&^\座wNQ䲅 dLM}E)6:nM;ȡv״fL*%͎D@c*]r,D%b\u"&%5,ǭ]k bp/[lqfR)BIa8~,u\ńh*cJ3u [M)^5:B} #{5ni`/Lx6[\-ŽC1mh}8a bǨɯ'_KB;U:@muٞgs~oPeQ; ]5fcLnQf*'wV ߪe[_.DFԌUA 1QۦD}VV{wT%>ǫ/-]tj[NciY^K.]7S3O2V<{;0Sl7D?o웢a$Q:fNӧD>C:"H5S^%o2:tjdy}(;X_,.Ù\c" -IuMeqZI73ddSRԫj]'g,Ic g&yǒU J +{)m8i S0 wgq(cX3'~> ]LJA5U_qUTup]}(< WV8r**dg!S/yT֦C%t;Dq z/j,\d3[D)@LXkWBX2EcUcxeMiBYY-WAT퓽_>5$ˉCYJ(\vLT7ΗbaQA=FLb'= >BÖN<"tQ_4_MCid⧞TR> Z)5㐪jC*6$4LE.٠3/tu.wћtd͢Ni~ WrvzјF ȭ}c'2:6ûqr1( 'W=xb ;lPUy)ah2t꽬gd>Xjf~ ]bK$X,L{J5elyYjqk ɤnQc)CڤG_c^ >WvŔ}M%$$VVZX7OJPkNg%x;;'{iޑ|{\>UVYh\r V.=Oԇ[IwأcB bJk&wF"!{u MCބB!$K,ْ<jф17l9L{"K$S,q2!{R~rA=\r;%K}!ݚpMgNKfAԣ1]2ï)SXB ؤ %>"/f7M؆a=]hՌD1B5vl4:Yɩ}<[th[Qn'Bs0BU%%eTvYe)F$J(!"DRQi ԟ]Iхpeu:H~t{Hw"Yh qD߀J$LcFlmf >k 0g}F Jes[qNd e"iiܚZLL7 M_u+")ڻ!}P;t#7_OMT`+%`Ja'yUtvk dwG37~ŁMɿ1$ebiuNr־*!],XxL骕UG4*ݚmTƩD,Jc3mЅ. $ 7<,vES?m7WNII^K4Kpn$j9r^f㗘uA='!7d(xɼ0>99mv-7" 4y-˭]|'.XdgRaağ0YOnnm1i)Fe3v,3Ѻr<%mp56@T@&[UK>KoB5>x\Os-,ðНQ3JxfCegYZ - 7S# HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/markup7zXZִF! 䙇]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$ Lp 1Ҍ-kŕksG8}+3B a~}B "ކ0;,ysP JcH6S8X9؞v4?8%?y9L*(Yn2# wV[sYr 2#'s wVWa |-(1>] s49K+=8QB\ȐxH6pYܮ-߉u"~-NP آZ &)xծe2j3}88;{<-CL&z&?~'=#: wmR';7jϔCϟgF6-ҙ':rJ[}bkOWЉTzuJ)ǚʫϢxM[R-&۫Ř R6>[Q,7jU9L[ 8O8xB:kDc]aO0>>Ů?[˜P]$XǓ?AlBFgfZ6Z뎻-E!fg,X& UoG`L]D}szi;cDB>w7}] &@L7qmOv#,5bs~Yme.ڴ/!,}O"Ee/zѳdsohXVϐ51iݵIҟ]ǣ BVz"rG|Nđ@ROjb`-u:*uSr3)jc;Kʜ(F$k?yr͋;qdKB%9aea)߃,4sZ9xz&4>f5ӄ~vzF'*{"c !yeJg4LOkcѧpxٻHm 3(z7< SIP'JZaN:M3r!/X 7gշ[ J`+ ܪ!9cdX%(z$Fu-@9̲Ġ"{U?b^ie=Yx4aO6s$:7'ٔ42'=;/Yt~8#PJAW{.laȬٖ< #u} Ы .uDnTB= /RVpm&2F  oq⤶(9aC,HLSnTX c(ʀ?J]P5u$ ܕ@f Jʂ>GCpv1' iGM!0A%s$`W0$<íH'O]pnDf2~`je_)t9^OMµ(«7ĴL̪cgI`LNX\ٰKeUSt{JnS U]o-qT0:T5'fTo)oXxa?cm Jh1r,&[1}PH dZY&'D25W>koX~-".Wpuل(PVv( Y07a!vHOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/files~~/src/HOL/Quotient_Examples/Lifting_Code_Dt_Test.thyY/7a-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/document_id676I.7S' HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/messages7zXZִF! p]D?7 {?:fH\`.:h u'kQ'RO-bW^4,TCSwGG Kia/5*{nբzl)%' 8B2pfr͇Q)znZd0u Sx+۔ 3x9VOϨכ0>s5|}^"|]gK)l:l+x 彵q8HF#0X YyYS|}bqi{O=*aVvf;V P!H9熕]޿}5g Mr3?5޴G+c!ʊe*2u?#$'|izO^́ Vmc9 CCIvT0 G&p9 bחw! P3n>bh]k,5T/"65OȪH@)~.>0"΁Թ]*HXHP:@sPEF@gz$~ EcW`?r={H#h8ѡ0 eb%n|}|xgexWI)[hXYm<ڎI[:qiDЌI]Bp1/UyF\kR5]T+Ȗ:n02 ҙw7(HكMVȉ G2bQh )9p5A]!4 mM4X3[n3 Y~(ejd_r [/1_aASLc5nUK5sOfe,n^HBU])>sXxq YݺŧgbȸG_7=65BQLj{" ~ [SzMeIKG߃\t D箵:،!At3jZsd+ה!HOq>I7Ol rl3c7‡{Pz{FaLgNX2X?]dVz%ڌX WIn<1(s&cf埈 Sa?<&pN1Smo^JD8 ǵlIL]3/HOy3=ȕDқiO! drC1mg|9 6՚=mafBbЉ 4 ďEcɝNhN3SCzWUA]E1ϔ3u&jnGc,i_|7bXqc5Ȏ]Q?) CӀエ$ͳSv_[:v`$>16A򻖘CRjWf!`.X:7vskuwGse(`HJZ8yW"AEbcqfGƝzbj1 Q#)_rj1kQb+(7jv+_pIܫ3NxLH>/\1Rw#H , n'qJijV5Ǝ-^Nni(t@D^#^W1^S!Vm| ɝ:f5/C=K5+'rd1mPB~gw'j+am @ H|WC8M# ɒanw?}C?qX.O@0M\hLgixi.Oj[jbp̑qsȱgYZ%Qz ^~y*y,4H}_[?[df+A̻%k7|HK+B؄q&0va0PFR "KXύ}v7/qX Bۡ#X*` ~>'Ygz)Fp)?:UgO)A6yfN_WA<&ca) HS`+8ߋ9z}GAW '/ҵ=;X.2edɽq՘ɠ $ x4 i͜'[r]"r֗ry> /(5uZqؘݠe.Bfp%lYRd ȴPOl3'6wCTpgn^'HF("gx_2koH6cLyxQmicE~4T2x@^?k8|^IMXLgl5, s6t,3|MeJ$kyN0$ē5dΤQt s[H~o}%j [TIe,% GM{` 6܌1kvqw浬o{@gnVTl0\mtP_q==+M38Υ2Is ĽK‰^{gzf7/-T ]S)uJTV"ߊp!@|ecqHQWX),*~s~)t}۲Ln}3쪶 D'O*1oco{CFB< JELʇQYXn8wDuCD6QjZ4LrS썯*/l2:xR*Ǻr&ʎP"á@@Hxo̙)&ϭy18TȺbm7nL \A q--h‹@y!0&D9/"Mxyk v_/;Sawx Y4eNdX ~!ϙ-C;-n7P;FiShRHmbeQuT'L>6jʺ) mR%@;þs[E}QL ϰ=Y:vŝg0j>rGLJj%GGs0)147[ƾ,}HјG)L,~Pa_1uǀ $̴T;.BԱtFz8 Q(ŵam[ߴ0Э_#|\B/5#F /@i h 6uaGnC@ɀ @x>]T?kn01>mU򣛍grv@sdr_H\$m-5T]ETqR[fƭ ӿlLrW$}+؄/[9W#`wB29{.j3;K7hp\uF7qU){z5_ܒFO7rVV:'uė&rGTrϱ{53$qLJHpXX)WqPv ; HB -([ޙ-~ A빇.;vr9ĸbM];18ߩʲ73i,^~G;2LbФHmZGD kwDCR&]fՑ|WXTlȱ5Tdpx1m n/\E L18KZo{Hpnc{å*5>.hWѼtNzΚkvAaūز$K3܈qfN/Ӽb ̵2P:2J| 3p_۪r)ݲP?<1(jYeF`cҭ z iP7|Rh0CB!D~f=sfBKʄ@eB=O5QX-l"K%2c3%,xg]wvV-"fgC=Y?GK<@x&6l@ Pxct_. WZŖr5NSu6kc r*v*1NeOϖaX>LQU7 .zv7^ }s<3f7Lh($"g#쇘JQt3 MvW=0̺U"(ӳ4M_3~\=+ ?On| !|tfrM:-&e)SaXFʍF=770goffFc8צP m/Ow@ư?,4\,t3guzFceRRjKt?p5M c4a"FgRd!20c7>{hXeԎ5vz7r1XȖV727~lh5kyTPBC3v3*1pyrdXt-:[l;gOoF'Oݧ A/@XtoY@yvL{6ٶ}D/}+/)nξ"k |XY\25O ਈ݊$3b h/Q?12x#4)T| HZ?X3p G`}04;I w&ގNpΤ"?" 0Lrz]8g'F[TDTAuT1 rU!jU?WUzMz*a6 YQGn{=q$ry[LV!\% ?+Izy۳BOC Glu"qODOuB͎jd 1G>8R,9 g 1=)X騼TRW`v)OW'V-赭y5~ry] =S(mpRw> є,/2: n^kh10UMʷNh::hJ8E6mUu>߭D_xA7D\'}Q$J4o7cV$s@4Q9k1Fm͵qRym7Y鮈eapr3ڇPZw: j2gYZ Z17a# HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/markup7zXZִF! gcE]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$;X5t_٧ mĵUK=n^u@sKQ% +:OHMď曤/Ld0eu `J:) 10>NH67|˸: Лz~!BsՌ<4rcMzkJ.NyN^5=OϪѴ^]OYsZ\75Ox܁if. 3R}׀8vS%F.] 5Aՙ9d m-9=]rwM]Gm znrP4"-NN]1#|(MW.e)l܄,nϤ27͝L$ZqM!тvo}h+P.D):H( "H jEAb5=Kq1֊[`|پ00 4 /)ֱ/cd\6 JQ 5J T^C[G+n& ,n'ؖNWpAoI .1Y@xy0IXOӑFqf$TrfL8 "pe49V2ɗ܌=)/|q*}*P 3d'B𜽲It$t@٣H‘#Bh)4Cg\?%3nqtGȪhNqe9e"qvBpJ/,whaf秳f;94HvE!Ou#x.gը0?,Lh5 f]<8U)YfĴ Ԁ qٓlE G%ZLoKᤙ[7y,pnXN/!8]+Åbj83) MEgq /QK0}yc)4g8#E;*YǾs}C#<:|Ɇk֗BITRVU]W ؑJ>-T!ɫ ,UH hzv`t$ vC(9<V$Fi9#mOp_k]f@.ia={vWCF`a]Ȭ!¨x1+B @afGE!|C^j| `|k7Wl #2xVt+ZYCMedВj?&`aӷ t }u \ItOԋcLc3NhVVaזx^:i02 3Vufs+ǼP?W]X qYzsJ!E*@B~n-݋)[A?V j`ܒ(I81u5+v`G_EYFp7Xz3yw9ǤDDfQ,DXNO5nǫ䣤gױl\JM_̮v4`nbe|4~C _bkHi2\w .YXXH9Ʊ1yio }0YN:ü9N8ف"DƏ8jC- MuZC?a>8$we WvQpZ@t;BЗ[no㥻A\Uf9/󹝷/)>vO *ZZ@àt3y< i)rufv/ZZ ^$ N1D|n"Q|%?>u;X2K-R]2`u*5en>w:VcG7}M(zFp:?2܀y <8OU{`״揁- FHoz,%x&b:&6J)'[3#;0W{3zԀrFO Uixl+TgrAk>|o݁9DC%%sg,cianI zG&w4F_7Zd8|[}5Y/uv)ӷBb>ZTȷ8:dQ Ud-,;Mvhޱw9[2t{ҶT]R"{l"âCӾٽϙ~4'ۧAGUYH䛬 ԗp5>cXcm4޴ZIM'E')ve;o4*_l6$QZO/WIm娙}uxcHiA朙^hZu q2nAW>i> LF"'%fC,; V qc9(DkY;p?|yB”]׵5DMPp&д6, #ii"SQWbq$g}٭B>ο~jE8\vV(I_oLÍ—T&ۇ ##D{iԈVj؏^S+'tڡpwˍƵj AZG?PnnSZ-0XEMBP#tЧĤ`*lKyD995:MX05li"w*d@|/A6ۋ4`Y3q[G$L,| < ms K0JoQ0+yh(|z0- &Z n)_gW`DNYw c69z+H>um/mBS/ˑm-@eCJ$cVW2 $1 ʃ1# ~**ZF]jI!=8NsӖ<:U#qy; (Vo?FygWGxá5'rEd/8g w4{Dҡ N$셖/xu@K|m# 3t{BoW}|2NYpUǔv19I]3Vۈm1L0,PF~G/fY8^WYPrɭbS-KxMBs 4;LHQKBQ+_߹fLCUlw<Wۊ Rd`WZS(N^ZG ۦ|C@I451-훟NZU1=X,F^KI8 8i ])}$g,f\06 ?G]-j;`ߧ觘kM8 {xNS0>W4ʂdq\-ڸ/_:*5(SBHli3qNzMc bOvwԫMJTF#\+ !3 ViyRQ.)rݕ #G+q cjQ׊>73uDHѝƵC&e˄x{ϱugHQ)`y]8[r:,F;R8rۋFuj7ą]쾛QH&ʜnνv,{Kf l-8*(/nZmzl\:oٱ x X%`P9wFqhQ q_er@oυP#@ ^~H2q^6n2ZwQV5(0 8ƒY#ODA#ڪ?I5GRRS!7Tv}ޠ5U`/YcI)@+X[LOB}3 kZ"$A?U$TL-_J7U1+t0H58xҳӕ&#_%n8vO}WKFPi* BO̕QN(8|hgVyL5rSeWՅ~8n pb$.1-ۙja?XNqz+~jN^G 9`K|q6pWS:ЍKd 2N۹;ڱgYZm47I!^HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/files~~/src/HOL/Quotient_Examples/Lift_Set.thyM37I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/document_id674$27a' ,HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/messages7zXZִF! ]D?7 {?:fH\rpPSI])j.u')Ê˿;#'Zp x6 5xN!4'~Z"Oyn1ҩzLc&5W3GZ|9ĵaҳ qt2['|F2b+AM x>enXͺ=@Y J,W R !=ӥ 4'"4};39I`9zg(yz؞^iehM[\E4_E|_ĞH tv吶JO a-9Ɇ|y nP GH<(^¥lܹRF+%>K,u,$mںzQ$iM@$:)7A֘Jx̍C즴e)wT˴Coh}( ~|ƹcI~Q_DԁwZtxgi<83 k[7XNLe}@ȝ0vQt2iDjT`o 7BӇSwo=E ;`sD*˜={ښ+M[v<+׉qk =1 1 EWWVxªV9]?CݵAUL<}fTeQ Ҧad>&%L'ko1(TB\'(3s?]'?si51ti2VqZ@GͼsHBZla?ʬ&(4{>:պ7=E 4q܄uyMm|-1F7ӶjtL\8@(D%e*a GC?;1Q)h,)hoalyEC-HdKJogI\|},ސL;+2Z"+ 11@$$H1Fai˒}6-?% 3 q % O Aq ] n', H[ p% : eC7I!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/files4I7I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/document_id3'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/messages2P7a#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/markup1O7a!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/files0U7a-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/document_id/K7S'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/messages.I7S#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/markup-H7S!HOL-Quotient_ExamplesHOL-Quotient_C7C'HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/messages:A7C#HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/markup9@7C!HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/files8F7C-HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/document_id7F7I'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/messages6D7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/markup5G7K'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/messages&E7K#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/markup%D7K!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/files$J7K-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/document_id#F7I'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/messages"D7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/markup!C7I!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/files I7I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/document_id d'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/messagesL7Y#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/markupK7Y!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/filesQ7Y-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/document_id *'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/messagesH7Q#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/markupG7Q!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/filesM7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/document_idH7M'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/messagesF7M#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/markupE7M!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/filesK7M-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/document_idE7G'HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/messagesC7G#HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/markupB7G!HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/filesH7G-HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/document_id AHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetdocument/Quotient_FSet.tex^7YGHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Messagedocument/Quotient_Message.tex gOHOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_Testdocument/Lifting_Code_Dt_Test.tex N7I7HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Fundocument/Lift_Fun.tex R7M;HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListdocument/Lift_DList.tex N7I7HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setdocument/Lift_Set.tex W?HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Intdocument/Quotient_Int.texP7K9HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetdocument/Lift_FSet.texH7C1HOL-Quotient_ExamplesHOL-Quotient_Examples.DListdocument/DList.texL7G5HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_Powdocument/Int_Pow.texW?HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Ratdocument/Quotient_Rat.texD7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setcode/set.MLF7K%HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetcode/fset.MLG7M' HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListcode/dlist.ML _ V w  ? K c  n %V7Q?HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Ratdocument/Quotient_Rat.texJ7Q'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/messages*H7Q#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/markup)G7Q!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/files(M7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/document_id'^7YGHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Messagedocument/Quotient_Message.tex N7Y'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/messagesL7Y#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/markupK7Y!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/filesQ7Y-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/document_idV7Q?HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Intdocument/Quotient_Int.texJ7Q'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/messagesH7Q#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/markupG7Q!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/filesM7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/document_idX7SAHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetdocument/Quotient_FSet.texK7S'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/messages.I7S#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/markup-H7S!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/files,N7S-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/document_id+f7aOHOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_Testdocument/Lifting_Code_Dt_Test.tex R7a'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/messages2P7a#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/markup1O7a!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/files0 Y % pY9 7C# HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/markup7zXZִF! $E)]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$;U+x+I9( 7x4uvԠѬɽ˹g""#ԑ bˮky WM6x Wu[է oՅXC`]jiQXէa|?y}K0z:zqƪKU8= H 4 8M|)`Bso!坐ZX܎G?$+èQk37]jG^!%SI䢞J%rRf_T'fC;'>]z+Ur:IU҉iV~4#ko<#t5KY']GFx SS de^`]>b,{ 7ިPz6(cA[ 9go߉+aaJT£29й!B;Ԣ*A9)w>\a AL3KB8U̦xΥ}^{? "%I[A 1|t|gTZGO8 HUҠnZ\ XƂ"8Ǥ[>!>+(߻u,2 eBztP:ܶ%d×Ŭ6A2qJV]4c )[= qBHsV3!־Dd8>eٞi#0CI+iǖ\^ν{otwL6Z@@d!&*[E6[w̪{^NS\؋ j7\:^w+lUy).'Vy|S|Zw. -A{+wK s [%ҹi?2td,5M AxX2 t)1mlkhGֳ2(bT@[Tw*0J|-4۬>#\dYc91Yʭ1oN֎ ;[".IA bJa}y9>4Qlqsk;zȱ߄F!g_p\2#*i؆Y1Z¨v8%X &.f90ó IĽ}i; Jk抁Jq羘eN{+gʔ~"=N%on7F6ƅN43h}p*3 6CY> 'heEbu 35[SyCRH=>7gN&aniWE)Ҏ["u}ۊkÐij5 E bWFH;M҉,J 'vU86I\דv wPӫFǾGl 0c 5">.ƸO;Nfc~EBq;3BӉ&&G%͆vREȝ J`Fu~?t2(^3fM v a4g7ZJYȹ6Vƈ@ݕ5, Gob:*A\lp~"˳[~ 4$=<ED,>$ sw'}: a`xw[q3s`bɍjS"cvx@}T w$iGdb"K$C4tYmX8O0QESTgd}?p 0G4CϧgPfOpwj^mYGbyksU#QMhrmI7(H0c[ȹ2Y[Zy%UlGچnyMOu)/%RBfз;X2*Ul:aJ酆0 ޵9Ak] ů9b2'(mSDŽӨ"> 5^1'Cev5)3Onw:ct|qMo3A{%q[So(d4:&$&yڭ<1 uCCO Sly#Yj~:ko 6f$4.ݗʸ6jXkZIs!"W48џ6H?RUGs׬F$|߂1Gg)+VaV}\UI4SP`BCfBYq|yz؝I}iEhƦz-zfld8} ;D7*y3~k_W&E4qp)5j\UqF{ǼuJ(8xx⦚߷w۰4(,wiaG2&(9cv*,";\7+ AIPũ-И)9i,_2 a4p} jpv{ }uٟUtx4L8Y']U:BMR\Pfpwot+^bU_?G,eޠ0 Cu\ &;8_6ilTg?:p~AgQگCI`/(Wmc ИVoPΤ言./! y .-_9hT[]{d8/dE PƢR "_֩i΋V{䩄yJa=>{3%+d@0>?ܱ1mG3KN>SZ\X`8l\|?}3q2n:ڀ`x`,JDM9$) dHGUfL]IAj/ƀ_t#Sc5} Z>9WeNj8ڨyI㚓!#[Mα\J2IH뿢[p V~ѢY(>:ju10loS<]sZJ A #)U!IRYb z3`^lgql4= */CueIxm>so8䆪pSv-sJbk7mҧ~Q)E߯w1` SWfD4c}e'{8T,"N E.|>1rΙp>v"IKy 3')u a*,ؘ|u9*KAԘfs.83fUFXD q [yU U:`ӄ b$?w+÷\)Kf)ML^֠~%xvN@iBD>i7 u bLLjq!R wtbZt 0MwSwL*OSgA|o䉧obL-e GP\4| DӬ4tǝ>4N8 ?qIw>(uӚtǛ+ʋ{(9`i0`9a\0)8Y يczrǩ2 =NV%kKGz!'GR.⫬tfTC-fSbiG5nB0ݒWMŀ5lS2: nZ@w~B\\eYy8̒6ۍtϱIVpbG`9 "0m/l["P8{%uaȨ,=.}9-Y}yH /Die)NgAI)maXz9"P ʤ@tϓ@xn(Ṵ 1"MƲxԣ$T!5o=) *ÛKmrMDh {z+54;~ϔqdi壼+4QnIFeB~M=_ժ}S6[C$:Oo_)kf_ 0O&k9@&R>]EpkTw:NO VU,BI1pCO tO `nq BI%r35;m5Z?\ ޸t XYB=Gt70wT ׏C@GAE '᥁ޠv\lcd(9|B3'\}-K QS3u:#(_F?,{&_MD_Hd VbpԄa2)-“  "Wrt 6hUM(WUpVm!(°YdEfOzW*CofWK4Sxv71m[_̓x!RHg2}W,YmP,߉ɛ唪/18 D c(PH-G{`@t3%Fϐ9vdrh;Uk(7e`xb89aEVc Ō'3\x^`~o |jy2= ?3l1Bۀj(A)hOs|<EXJT΂ãM^ߘoH/lk8čx0tA5P9,"/YӍk2#B_3*v@ 0,A'܎9KC`&$jʤ:^;P봒 Nd |KN q3W|J8n<큇,pY-.Fxq"ëUchg68 #m0Z{ [Ji? V>>.< ȟV-Wǫ' 9 J,IZ BxBplV$/Gr-i!cl0`yWnj1^ H vMO[1hC.u<96A@E| b5_7?>:4tLG0жu>$f㑋n*:ix CEDEN 8cb?!ׅb25мcڣl+|`^rJYӤ; 娃i={V0:'Q[Dm^V(jJ,S*h=̥aĴQ8܂- 3*uMn̯n0TOn+t[ HQK:jv6> |\'ld1 3~(/%"6tQygiyse%TAg-TH'Z_F=)S K 2? 'c\-0s2zQZΌn`Fݠ'%<#9B 5j#&Ypxg%Y# "͈uf* G{[ҘӃr~ZQYos[Q+- GYLbaљzECN5̷ 7V" 8Ǝzò2pm+a^UXq֘ eFWq+[^kQU*EQ:f9ۭecT"' 3"ˈ9'728~ivA$a4ݞE'iNTm8-zZgȏ萇ڏ^W]Ơl9T$_?q5lu 5nʃzHeԋʊY\9ԏ'?Zb[_yE'#L"jgGr6!~zĕM%LPݷUǞ%%SGO#R0֡ͦRG 9 |T²L6$XBL|}y]ƧgB|88:ǒ@aks" &*)x72. y3PR P@l6tҳ" ͹% uGGnVҺh 3#s(,8?.NP-'iՐ:Ցv ],6peSB܀QjzzMCFU/uF{ OpmšJ$ތibx\Bb\Ibu(+/"eSI8&V.yo;Q\/Rռh ~6g0" FT Ensژ'PX'N5X&:O@A+UA!O"i/fgɳCInZ-t RRlw0XϺ_7(P'c>=ٷc~t/*jn <71P׶8%Ӛӗ..a)kYqsQfqU`ڴdZEs6|Idy,]Xדk|̅m!TjZw2 N@pN_Jiv&!cjѝD_A+)[QOFl|>LFO,b Ϛرg)#)Ar3GY?ir |ՅUF(R<n3J0%{e*ߠYp%7)zOEƼu!rU7:(GL/K3Xa,w::OH(/G &_ Ubfـ/7K1eúv~W:慅Z7@is<ȩMRaªz";e}ttyQ2C0 !nV%^8.,#*:/v>q\ns_;h$AxiDWUZ^|_¨`؃`K87BSgj Q0(=јfD,Ke&13X.|_2ylj&g70W8YQ/vr ,fli>M(0;{E;/ ni*Od<0=fHV -5#6C)2GY :ӊl"gk!`u]i%S%T5~ \Ufw _ 2  KMP3lM&(rOL 4G~0;+Z'9]eo$Z>E(t4.ޤ,'"o 6W2}s6L@\xqi$A'm; Rnd1 19ѾE~~*~(EHXɰE5?RG@ cofgLt]YZٙ?\+[=-*TQ20j[$k3!c1w+`DGnSR0`Tq*{", [W/Ḩ)Yb[x$ w)* FC<>v%" 0$W=b* $1!ĀlW,(| -l1anp[qaxU2N8_>d_BqVJ4|#*ܘ|fMShYD؀z[zVY-0W~'FD)9$t`c4ŢHIyIŇ/.BД5*ąQ ssZ3˳5fQye)N=m?`E{6]CDR?D("S++WgYZ  :7C' 4HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/messages7zXZִF! ]~ hk.<VAHgM@*$b{ϔِ݀gSKckǔ?+do'&k;^vpmNAQ%L씉@ar,&U-X}~;|0Fd+Zzz&H e"|Yf}BF ,,&d.;^tbZ\Ǫ] Ȍ_L`?MLg' q#L&e,1F<8 aι'H=էg#Ln^ ?)Jx;qÄCF۠*&8` ߝ? 'Ds}U=)MZL]i؀(6=0G; WG(Kk|&R8ɥ9jÏ;b*gYZ