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 7t$| ]% HOL-Quotient_Examples:threads=6elapsed=27.749cpu=46.076gc=3.1607zXZִF! ]ŗXiɟ=QzX)qFCkW*g_˴A(Ok| ϗ]1 7n(ޜs)gD@ #Yvp?8'QMX͘,x!QJ/u db;A6s%TN|Xox>3,ŋbEUX,IԱ|%p[JPKBB|0-B 2{צT-Qjbn;%.%Z RQ I0H8?_;o.^})ѾR[a|~B oHZ젦(!̣BMtG*7U=!۹Uֆ_gPij܎+JܼVPtJ1o+ݿv'ˮtbU(lSz$Lo~s-w$_p:{oJbX0H9":pOѱ7UJ? lg6/̎@s x' /8JܚQ+!jHCfDŽ|Ublx5xo'egYZ7zXZִF! }]ŗXi%\7m#[`ӽ<澧Vx*,Ѐ? Z|d&kLAh s4| +FŗuP{L\"bQr P|. r]eiZ{|K$Jp"8=/Ѻ߶xb[ ,ɕ wId*\~^ ® PMŊ[]4PҨee؎gg#W‡?qeuvi<8(o.)\|dn Ej?tP1P[G]MX W@Kα!@ Y,lBU _a)ӑ{O!f/@Z94Wm*Tǥc.{ cX ѣUۡTjo'`osZ!i h!RZ [&i~k#bR"`^,۶yٴ|WK3Ԩ4{%jj,)X*S3v gnc6_(d҆x`_H1|/T@.jg;:U 124lD+gtKM\tWP- ʿШA/m J&sƁ+?"EauD'3 ,vB10\ZhlaH [ۥ6 q֔o+s~?cM,mQHOsRgay;;5!jS(Pΐ}!H0bI狕 siKwIm|ibPYq,wDxGjf*Po>&3EGK0!`3Fg/NQ:5@7&Ybg$C=P+5JCb8OkJkI+!G_MSߔhZ @,ş.E遞'|:Yμ ^_쿸~C4e~z6rfW aSWma QDxa^/N ΄]i9Xs1t:?]k˱*3""C9gݺd-Y 2fAX%MѿC ?6ɋ ׸^S>p^/am Dm/W`Y!_`wK(iDd7CӲ~ԎBh UPmAV#؟ y=C~1 Tt0@?8ӥNJr(GZZQ0k/AOmdd>9Q/ );®lE1@~:|&kf*Ctͪ\Y9 yP_bmmHDoK [2lHpHsd~fg-odۉq2?vhR:d/r+/ 5"ܒ 9P%_c$ppYi i"Q2G_ⲿ% ϖD\jeڡqĝŽ$BK *xMJ&ۉQ' L^Q^!<2 ~E#mjRRNi寧q 8"c yG=NuWmre6u 5ScdLIχQÒ%U@Qbw;u {ՍtsN)pXaD95ިVޜlvh i\OkyeF9-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;;918-5*2)/',&)#( $      /= h% ; e i#q7  K H@,  ? E Ia ^O7a!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/files4U7a-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/document_id3N7Y'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/messages2L7Y#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/markup1K7Y!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/files0Q7Y-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/document_id/E7G'HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/messages.C7G#HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/markup-B7G!HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/files,H7G-HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/document_id+J7Q'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/messages*H7Q#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/markup)G7Q!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/files(M7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/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_SetPIDE/messages"D7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/markup!C7I!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/files I7I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/document_idJ7Q'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/messagesH7Q#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/markupG7Q!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/filesM7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/document_idC7C'HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/messagesA7C#HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/markup@7C!HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/filesF7C-HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/document_idF7I'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/messagesD7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/markupC7I!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/filesI7I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/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_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 R7M;HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListdocument/Lift_DList.tex N7I7HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setdocument/Lift_Set.tex N7I7HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Fundocument/Lift_Fun.tex H7C1HOL-Quotient_ExamplesHOL-Quotient_Examples.DListdocument/DList.texV7Q?HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Intdocument/Quotient_Int.texP7K9HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetdocument/Lift_FSet.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.Lift_FSetcode/fset.ML.C7I!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/files    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 WW&7G5 =(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*gYZ n7K9 DHOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetdocument/Lift_FSet.tex7zXZִF! []A-MՋhvG"uIBm5#2O X`9; w6G?0VQ*? 3FsvmVi9ZПCWdjidzv[ѵCϳykS8>;>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  F7C1 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+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^6l{_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  }| 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+'ح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,gYZ fI$fm7I!^HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/files~~/src/HOL/Quotient_Examples/Lift_Fun.thyM7I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/document_id670"7M'ӱhJxDP^ ߉a`Y"7@()!bBVQcy‹.Q}^$EnWQ'[Ԓ4w> 8Żf*VB̌`Y,}]ޫa{+=[.{^Wl/f6i Tew2-&oPӪ^B9>N-ˬj^^L{od=ȉ%6 (֗zk:79n% bf G 2*׏#'Vd.LB.`%M{vf':F^IO@.O2yDQSlPU!MYlZ&g>=ss>L[yc]^vOrhN8EqSSl2 5Fe wcWh.k򚩎۞Lv {(ȓ^L6SrאquS(~gZuBVF;۲͠P&ya(ֹomm\`QV. (Fљx['[ŗ'$:ލAN<G˛Α+8Comg/5%.{~Y%`Jn-شrXR{nC'vh`&`<45R=_a5Xw[*{7Z`A9%'WrPᐭMaQB28-ؘvG\ +9O@\OPT%(d̫ƟaА1g~ul[ꖜ9[:o2f]T$4lx`@ֵOeO$.lthMƲ3!'Eb|L1;Y1$2_8O X1tJUr$V4|+40IkH ^hv[+SAq QH Qϯ>9%%QKu۫ xfGq )5£0ڋ `CoZXF'gaiμ;ɘڛN%Zi׬P"6ڑkڮ:*LrYdޭ`QT Z_6mQ]raNK!J_GL$_gW묤ZdN )Pj6A* `FF#yG6 BKAho8I\1@wxMl]&޷u(S3cF Ut'"f-WĠ RoBBFt,}-V0Pk1!j\̆^}wh ;XS14L ֮XŃ5@%GHgqbn~S H :Lp8d}d$ ȧ;>'V0M2?KmX}6 `04k` TB\?'ӔnV3M].rUdL 6 ;0*K{WM)KYGe$t/K+RڞrO.Z|ulcet^@yJ¿<^4V_y#Y_xZnbgt qSP| 69mXjU~8ғXf*D؀_ʀNyw2b-NO 2kxxo&ldhk_QU[,g&J4R}e"AkZݸ4KrFW)(- ƥHMn=[rzTe;.m0_F`pp(|uPKݟR^)_z˧Mllqs{s,}Ms+'bQVMuqڌ\sЀ6$p45dkqzɃWe.`b46Ro-Ay HU9yHFr WvL_M$diP /IۄZ^Cٸv O9HJ&o*i!a$rD{?",[,,h k9Sx:NtGgRPw}vᐂM>gug{: wyQA,Zn*G? tѐ0 &`ڤ'z(~IoS t]R<=jIۧ`orB/YUZuz C⚢(H1+m6y/̀ hջmi}\p;}0&~[0}ac*Y3[O߈]>$!ŒE=2Xڄbs=9?( gYZ y`[yB.t8|Ej^X Lںm/=+2u].Z?{_3gClz0dο8wÌ6'⃖G V׽@e/E˦ݚ㪧,Ct3j$&8qcjjNBq}= ;#䆏u©q"iy/ռL)o"߆:ZMzUītWE0%uT;+Q{χZp6:J*ԓ^5=Sr{-80t wWlU^NJ5w/sYmRZ#/yY`y Nbm;t- ϻw&U;xƚE)-:z-z(\]rh&7R\τ}gLP=<6tOUVLKUE~tRYn q=f[(ѡq;AE-0!qWrgۂvJԴuX9@Ta8BZ%o>'}54?{Ԙ)kb|^J汒 yZ>EBBBevjp Ǹ Q%y3d_+2،M )~N=u)Cﶮh%Z$;k(jjڢ&+15v>12܉T2ͫǕ$QZ,=%1D=U`xpT N 4;os@ӰN !^G^9!CpCmTɖRטּ˞w:gs]O-*ID愺D rc>)be6}yÃB?}ʋ%U< :'oss]˩l,"@Ro1`^ޝe+ wj>HwX uŜf[.]U7 H=XAH($60==oGIK|~mۺ%= x\J:2!:'-9bsϽ'>a]lQ3L-{J  wma\erZpZN9+a&` f$5R|޹# ҁ K=9w[jLŇ/8"(1C4#C 52^v?›> 1UcMʚ@2[E:,ktXB IudBUV nSW~NOǩ{ڋdʯO^3ᘗyk=Wf@π8`¸s?<&lor^ {&JU{_Ҏ^ ?u Xohtk?y՛¥z&벽5WbBKpI$XG o'#=:<ŹtjFxc bJsDC hކ9;'?=;N+ib0jy {Dh]5G D8x^D zy6r)GǵbݿX (xi_ YS-lgm:BJfm~f۫5% 71 f_K['HSoX]?wq2j \2R Xw(=Oy3^>^cSuv[uZ[rIn?(ʪ"0VG CqfjE -XKvwlixXV9XLA˃:?1@c.9 Wgh7mA"31hZ,vc(g"V~}b,3G3_73JzsWibJ8ǝ( tw qmAoӽUW}FYZ ZΕ dUC !Tع8po2 ԁvsCd;`c܇PȐ퐟7ZJ1Kȿfp I [K>#gOK۩|x8)v\Xj%eǹ@xSeMA!48 7XgYZ gg7I# HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/markup7zXZִF! #]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$;X5S}U$+cYlJ8-2O(. 7Z֐`_bfح;w<.6q}I>e-aMg4/,8+tf`*yH+҇35B)iYqJ|A}'ZyB~l4CG-IiU3 xD\85zUJ,PֳFEI&?s!'a;p'%tQT<{Iͩз]H_kߎ7p5A;h<+M|b HҘA)8פgmGt ӷѭEUxC 撮u% /\B.%t,I}sME9J {祀]Bu a]ɪ'Q14}Ɨ%K_W* bz<+vpՓAՅIS~٧Ybgz~*R,#4B,,眔 ,(d:S<@ _o^'͠^hc0KڧO>aóAƪ"c/! CAt`2.,/X?\+m,*t/(Jg&[׋]gn;*ݖ.AoriS3 `JhjqW?sbn9F;u*2R=v$foP6 6T*?sԣYn!PfjEΖzWgX_:a\z峯Ӫ{RRYCJplcy2."' JSS09ajM.BP6 =|;ߓ G,g_f̠j o\Ksbu/_{M#Tm@hLeY9{lPKR&ތ(H;"ŝF)Bm+yr(*7F+@< s!o?tAeJX~bzPsϖi6/'8@nV.xkW4,l}5g l XDnhh&ݭI9У2z#w 54SS4yj"iszr9ۈvu 5m@ ZjGt07zLm#bq{}`/ $ n9X[&jsAg|E+5DC`*/nުəY-> &|f`ۑegUĨ~9He3d#=8dak_hfv/[ny*~C&锫3KR-j _GƋ(ƙq0k$ A`@Wj ,BLGg2Ea,T=$2ૺ~y-ZR{0܊;юܹm%2'^=d,r.'^yz-ӱwV*E9hs(v;Hڕp JV4Ӝ"&*䎸WE< /#ASxF3g1Iu݈!d8Lo',3E|Լ%܀y%01[#LfE)jxhrUu'$<.R6#!Muv?nuP&I3?<΅)W_ߠj>31F)_·B1V43|͂&9"5['gM Tv٫(T1MKw榡%i99(ȫ=a*R1cm@ ,/AAOTǀf7#Q ۃm <2X yt7M~x,RiT[ZLe*&9auxV$sQ#OJE-t^MZ#P•.9Tfd2;,uA{# _ u5"q1ɱT40$_65Gāl`qkw+$Gx/*o$,ҏu*p)!RkK,HLVP\%onn"(MMy<*BWETǁz3\og4b WtPF9>l#qku6݁x+P,u;.EvaڣĆ<Dq伮-=\))WsIղ0|[˰uc춗jP$ "ZWIO:*zi j."@(Eqrn;ӂ0ꠢFCEel$S]4YwRKf-0:03D&yFC"Ll_ i+=ͣMqwzD㞖)|0{nDyCIEY;(gi[S e_z_K~VU,bК1fE9~^.b E DY͌nTQp}"h0V+Wo^ɂ9mw'A0+3 ۔B !t $ \4k "'Ҏ!KdU"Oֲ]~~: fK eC*R!KM-:__4T(xT :}*|鵷Y ޶95vоN*Up0c]%ܳU4r &)دU}j9<[Jpm@zPE|UC)ydt+YBlxɁ|3kmDYc2[& W?F{7ް+ 3=訕煓3'n*:40l z q'-s QS];x6K)ZԲ`b% qy&y)@5<tQϽfQO>D2.e=,^ĉe6=>4lCgѭThlpv XZ$);E'_MVD}gسg6߰ kj/X%'gX'D^foG?L瀜ʳ ]m43Efvkȧ^+1{̪eF5-*҄tu9 XXn~'h9[}5\ 1g6b1Ac,LMB$?sصƫ0b>k{]!.ϧiG6FQ} [ɂIe=\0-o_b ?Gԛ0.+dIIB,?3>OJL$ =[hW@t2,7.)C3vљn~ hcr>Վ3C_DQۃu@T/B-~KSeq0VoVV  9!k(Kf>]z1X'Rũ8tq&,1M=5r|{q7 إKil&z;nΤL \ptV$lAZ,Z\@RsF!3!Dۍy`E+34ն#uҴ1U߀UPKV?vb:fIOh5&00- /8UJ cn|Wsɉ[43 p[Y9,6$d+0kfNA]36+"$ kù5eb+2?Xƴ,,jptC΋<4q prVKX=Bb )'W2ߺr NKZ{ЂfT|,&,FJm#ǃ ڠtpnS&'xSKjf0c:m_A195}HS-P^kpvVن7{ ﳲ*Y~2f[hfuEV7E{9@dhng mYvxam~wt(hĐB|5SnXM5/':4%]eʑW"F!Ev Xp-}oA+, {> eA*+sp6bs CAͫ>sh"n& X I#gʜzC!0c՛ٷ?}S@2PSWC|9wi}ϗÌ ONPm 5F€Fpb4sXAi&` ByqiPpP8$I U%GaDde: s?Ѿwg! ug7C!XHOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/files~~/src/HOL/Quotient_Examples/DList.thyJ7C-HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/document_id660<7I' tHOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/messages7zXZִF! 3]Άxʆ5.f-9 rqBR{ؾ̪24.O)Āb6z|ZJ{  | 5ڧQfiMN*M6]$srC`3I8hiA^gFQrv'rRXDȏkz24w};)6ތ\7¨j_ѐcpv5s}cOeyްa *dk)4r{ 8)pAeaԉ+HJmDiؾBz;,UcH-~?8QHN/8@aڤٕ9 vQ/ D-{сΒļJu'E ^ n"tAGg8"9e444uzT/]GH|h`51X)m@p=Ę-31Qnuozd9=EC0^N|τI;F>b 8ZsZ Hn0i Kr-uh|n\/;_o0Xsqh ]+jD߽X k9oP0{AK@Hd.jsК~~V=bCT BMʜW-%dg>)0CP葪~Cc=~ZflVnK0|,3U@[p,s8 ^n%uksۏ6w$5LM4TML h;;K#$!mxpQJ|IfF/,hgYZ$T"6-Dʹ2>oH˛]+xORs.yǾ{S$H`F\7]e2G״^O 8{(yVT5 .&s=&T$桰«EJsZTlwU8k((\Z;㓗O|`m艈ifT V!y-b`(ż#!Jc~D! V'n+Su7{Fa 3h)^Rd접gHkitNe'*'DU;nQ8Ƭa+&hEo˖=*Kڹ1HT&% )Po~) ^VTQ63T1"upaS(Ń7l׈(G30X@͑2q9Pk0b)˸^3HՔGuU@Lsw:Qo<Ĥ h@`j_wU~{)`«TJ,nz <%ƵcBni Yh[e %GK&niW?4(!t{ФrV$_sI TL;hD1D툲hci{c >|bRP;4{ [AVō$6xy `s'j$2 wDFX'ET>M%uKgw,G=A1\pZV[G|0:5F+- +8uETYv)&#ט껥ɣ"]1P;' %15$Ar1GPܣ^R^߁ntt[`o[ _FLonD-`| q(%W/?v.\?jsJqGQyc溃,HQGt\Q vו&LO#kl>$EZ_GpvѰ JJͷ)/Rc5"LXmAx/`&lT?-j1CD2LP1?h=] ˿{tB #i[拦l'2˫}<;-b9Dx!(ϳ DU;HƖI9n1C: y#I7" `r7+%`aGn֘&ĉYܭV/O,3cYIEkc9DR)m 5O VeL1DS*35!j0{T];Ua\(Sn/zS3D83B2-BC/Ȱx,[> :V> cc0l`f.Y@ Uyqu,t CSQ_li^+r$DZk]ac6Ÿ_C!`)ڊАG68pPkYl‡SmЏ@WxLeIZ*nς|W"n.=Z"Ɉ ,fw&EFgРسZ4QlpTDPW368BsR)nӯޚ3A_~ r.:{Jx5KF= J|=3Cwe2SQ  ?_biqu= ,oWn٬Z4nF1w*IA̮OQdvYd\Սwn~#5q?\<Y,vi1d͢|^s(DO"L$jSm\aRhCk@Ux2u99Þ`;h05y=ƆQ)z8vND x.H4&@o$S`g[0Brr|?w],8|7f]uzfl\|aָ/sV5$XrpQ|9:Y`0ī][BGΊi<)rN:ی;"Q7g0D)"u<!rL椋?a[t㖁 [J j12pv3Z [c1Im61*U^ 4T߲g$r'uA@͎!cxT@ SՀU^|KveC ۦ m^g| PX1\jʹZ;}7r"V93}6QL{cag$]a2GD鈊` t$p›*G;z3Ks>oYC煭Ƅs'78x9 RIy/_&؊RR*Hlx S_1vjq`"|Qі16)ʅlT\?k=8W^i2s߄11`4qsZ tvyز]Ms2@B>+I5CH_qdg(WD%'cf PhY $'uUCE{!0^MCyD͛9w5,|1uvQnNO#N 8=ؙHݏZ瀿җ&T&MtL@٪wIhjdGYw18%}xS w߅5Pw1g;bSmk#36F}H+ c6W>3o@"I{pt 2g_ӂ"Y%jA%?*xN-.ld{ĚB] T63u/I žtRn?],qSSm {!m.71J9 m=OIKwwYo^.껕E.а'd =Bb!l=߰4MLXg|,V@Wntu!jZ^; f:gumz7|R;Y(f;M唕>qP,UeZ}.#<ҥǁQ"\6OGbzri)[@7S%/Mxx64Rͺ'HWl$x!V? &nbw']D<7ЈVĿpO)_dGڞ^5M!0:'YȘOeŃqV*e6X%=5mTd}s&&4x4O{g;S歖 PU VYcWB e72^T7Bj\DDO;dX[6 3$֒5ֳ+Oܤ;Q< aP6zUS`s1+TV}/bcCmT3v7[Wzpg)cW\GɹoJTX6+R7. >[9KH&{h-_P#8dIN,F~.!<$t ْQok&Bc/CE pT2z˜E(3o23$8%Ipql74|,Ƒ+;Q~Nj߹4.4T\7&!rVK[pirQ53>)Su&ˤJt\; `K롩,/z?ݣ :(z*"]+ xRQZ3$/Cm+n h=%kvQjamWjKɭ 8uΙbL&`,n rZs{Ud?N*vXN9Ek8OWŎ;OI#N ?2ݤ{6FE sw·qv[eη E? XH$F%ԥ_TP R>w~ lr^bea̢ъˉLbwIjtͷ/S墳o7l'KhLJ3'AT໺4QvWK܃7dP~-~_:h eV$ױn}{tW:tJKLr$,(^"*{di#2`N]F]!İnpFD(WrWfkd<1>|:ۧCCZAU4A-|<||;6Om~9E0^{}dHʵU9bW*瑩_ZHb*`qsqZ1 cx쓻l`0˥4 Ll& C hTT<<<GTW}/()5 x&Y >Ikc1cZyV?“^Xm~6(ZEy^~y@y Ͳ*/)zݛKD!UE:-T3XӽsRшNyuo;!N:bz-iq]܃y]UyCL,mnq}SeRSb'*IvC%#`' M>nk&S02njm~nr2):NGQ9Ey ys.KWCZV`!4o >BԳ= }pCj˷НkBgY(elwY1hXS"sZ;RgYZ   .m 7I!^HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/files~~/src/HOL/Quotient_Examples/Lift_Set.thyM7I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/document_id672P7Q' HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/messages7zXZִF! 8]D?7 {?:fH\7jQ_4;C%0t_it;(Pv%0A -7^oKTWxS~hk #Z9[6Q< lNb7 36\}y"[ث|@dPeuzMnA1!|) 21es6d)hʥ&\=^RPï-q_ U*2vi s19vi2]?-s,/&ܱؠ[; %HE^˔_|&c=)ciIw?k;A+7Jvմ;""=I#s.'89YE)UZf-{ĂP )qc6.3S<:I"-Owb/Cdv/=>W 93w&}R_|n!*3vvFj]к\{etC=.4#&4aᖾӡ--4DZmriDUES̡cыǫ6yc7W}M]5w 'ي_:5}e6W 't3 \`7eHDzlΝ%L{'dF!gV F#P(;K $ bu\ `GJs_E@fחHI4<а+ƌ ֋Ciؾfp3A>ҹ!Ж|;D;=^ߕ*Tx0YqOA#T屰Lfsn1MВ$Oq {~*B{l+]L1])IacI>A?nW3"S,MM+MZ=l9ɾ?j)(&3Әv4 )v2U 1϶r=qGJ}{ q gYZ? 7Q# tHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/markup7zXZִF! z ]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$ej JW&6&q -s^sxط SJ?"Q6`WY5D2g|{2AKGHETnf[6}\J1[=k!i!BX,Me4QhX(Jދ\mq *,KBS;`ɰx;u7Q!fHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/files~~/src/HOL/Quotient_Examples/Quotient_Rat.thyQ7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/document_id6787C' ,HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/messages7zXZִF! ]~ hk.<VAHgM@*$bK(rȝvt3ơ7k0ݕ[vϤ?+->fj[tBܣP/4utdkcZV}qq 2{܋<[8X[K~OlB'8PㆾI ++=ӌgC a<|o\n7uV_jC:Au{wlu+`)%nR~4&LICY6ԕhϢrtܞZRZ"ƾ @fD#BT?|< }#ՐyA te ddٝ4$bvT"I ;K?dJ>9E)>8! ֛O{>gYZ:?f""Mb7Wu;!}d65DE&R"VJjхf PK &SHR@|1C@oH@e2&1Ћ|6kY/|n *S6byyk篞Pu(rZ biXkNR`R4ʹ؀Kd =dh7]ChxhƎM2A@  >%brk%s'`]?aWܨp*IT#τ!| .|vji|Y莗jDb5NϚiDle\y/y3fAXldkv)nH[ =LJ˽/׻3rN[sD("L:ĭT9$mĉpV#)V?JAY[a 0:8n )G㌓޵F_fn}m" > (~˻2.J{&REzrY  ]E.+3 "f2ewh,0lj cZd !* [eOK= 3Y|AL$'īC^;xk쨿@C_Zz>iG>xXc;zb2!bQjI-zg9Wnx(p; ێv7G A=pF`>H1K(^t/\gD+BQ?WSncJR[CLD "ZA몣E+XXZM:Q[(_?ZZ-WhR <[ ^uuv{ZP m+ggW9C'3VXf&Ģݏ%Z(Q4|a$yZS ˭AOק9XxT ٘tE#rc `1͂S kL,ҳ7%g\'5(Y8Pyؽ5߰?hOm)"_^}eW22wKEbyq7tm۞<뚇[fS7^{t!@Z Ț.Э@GO-KK˾r4a$% Hhcf4f=P9K!USg]|l59DAn&uhqR`:0~WjFDz>dAg^7nP?.ۉThG]c;O:0R}r-?|q ]Z#z2)Mk\ R΢;EF,u/0>91fK7ӓυ ZMp@Щ1M!>} ZL鋃[e͐p#.gv}%᠘d|8 wL}}&m2+!,#l5*dByW:@$I^reѳANS4rڮw|i*['L->ndT k{8(p Qm0(~DE+~Զ^.5\A F7ĘZ;IuX Xx|l'~#]j.NGs9Btfhv$$fRSĿPEA[^$,_-@Gk/.^gLr -IQFN=Do\L|~1ġAdjfJ Ft $kcެ1&Mu"I9  &UNHHo#PBsl~G]p0"~oq1Y 8/1HkW! 1i{N}e7ECUBe8rAF9Y@/ 1V 𷗕&q0i<Yѻx7\gj;Ma@(e [jqWŭ^V*LMz~CiFmC,COɲ)vzsQYXUqf?+0/\C)(QH-O.gc|HLIb_M ʠ[7 `S[\E A;L[8\|*yEk;T75` q7?sҭzC1IZiYq[>jfXaa a'}z(v5x =L$y[IC+݊S?9%Y& ,u TsAFD։U+ h2ON[\z$Md{SQe}hb}?R#MeUw:&)>Nn=ƹ]x-_ <ݎh8AWOyi^^Is">Z\06,-ƨC&AQPps,_{Y3 oG!]ʮp~uPyutI%IS,i"ZY!{Q$vRVF^A(=E]~E&Jdlkg/UbW=ȣ%T×^  (J q/ =w B0s׃4ۭ_uFܽqrJZ LzP:!n?_Ɋ؜)_!Vz?*^44vgz}iƢTJ՛|G|`W؝\nM`[\o<ű++ glP=7 (xɮgs -WJxNemJXwǢx{k{3RE gNȪmg$Y^Rc {H/F_W7sZ\Kgۈ +r4єZΤ#RҸ5:xE5ר6@ `KKbPQ؀}  )%oC ^yS@#?{A6X%= GvT6lihŐM5鉛G׏rjܺaT*iֺ Yh֚W[?NWU%9;n޻s0=Ѵ Uw)G=%,M+OY#I$Ҋ:C͖뼼Etg ,&TT٣QV88\7tI>VumXy|h4|;rhZ#8@kO gjZrtv/IE ߧ'f6Xzve?ij5Pvj;Wu<`qPzv2 ]*R^kvGm#:#VT2i1;ZID_RH].s Q*@Dx?JVոE;'9GZ*i%*S[LgvOl#<(vvE R翈- &P/g*TCKLQuryPeYшcT+#ND)Jq]| uQ0X|Cq]{0QK{i2E8G0yA FuBgYZ W0o$7K!`HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/files~~/src/HOL/Quotient_Examples/Lift_FSet.thyN#7K-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/document_id668T"7I' $HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/messages7zXZִF!  I]·Iq n[:|&[z&60Zf@7*\a5^q,Km..惽5 [wW:[*P-̎0g}P"o]^S _YdJV\QRHx 'V7x6" XK!-5+\aFɠ@G P[kM[׾ ByAb1b?{U:}fBҭO -gm߭fˁa{|Taq­_k&bzOg0Q)7ҥ 8 gGÿ.P ~XE+ *9߅fʎNy~ݍIlNX Uiͻzҡڜ ;!NH !qnu86R%qxְh/ %nO 49g!|"MHx~,J"w@3iѠgԥ{O,dS͐)'9iD?K΄]8Bd.nLBL'p4sVYƍuЮt_Md'P IT÷TVh=~Xn{gi%\C3{c5l&7خw6O^jV꿹zY!P32ؒb_;8vw%Y*$@_E}m^H/udL$(=g+*j/97_9qD+2ڪ$~c,+XzdDŻē's/^'ßLE}.`7wB3ǡ^qy1,.z$gYZ&!7I# LHOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/markup7zXZִF! U ]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$;X5 aye)#9W&,}sLm/v'D)Ԁ AZda'Q&DX6C:ITܧ75,t ǔm=;"%G {Nc>!-U(8yzn颒<R${:Dw񓨣al4kG7\v`Ďm8:ϮDOHC LZlڐGMu4Q}c lKvPx-P:n~pcxaM4 p j?|HG-88'T]^\iohuO}P37s -SkfL<0m$t1zдع|AکPgӔ8ol>HLzs{"x5.Ok5j@A' kE}\fh)ti M߉;tFh )9e*9LU^|zVǷ(mKZ]1t^Ue[,s1YClF`D(Y,xc*ۭa/pgӿM~m1~[y^sڛe8kb6GL:KJ|X`.H;aڮ̼oZXpJE&q Cu2s#*boڀtㇷ*!Q g],:<$u)E-{+I֧yz89`A#/ -5Gf )l]H̏"hVJO"1%#a޹oMeSmŵ6j3v „Ts.sx( l{kA)`"yC!+yl~>  njB3bl@_4m}zlJȾXmE.m"E[dGI3VgbY8+nn Xב0LoΨA&*<v %i%ҵbm蜱лtMib-e3ң~tQVܕ{|}o>D1pĥh95D:|ࣉ{Aٌ!'HT3A RYr>Y^ml)1Y\xX@P):}s[tz /V擖䥞akQ]1XlEi,|DU{Uw9RjNE!t*}*Dm&PgJtn3J.hw$,V[qBi/"TydF,]:7c其83@-kS'ܲ*fs?)bwWʆ7ŗ#d솫xFWdsM9MȎADsCK9@<,8#JK>^"*jTbPuS,g[%Pjo7,:jAy},? fu+%h,e+Mwcڞ+z8׿K/OTz)6aٯ(1D.LvI<,C Gi+Q<r)x!"+8@y/9:ǔ.a _b=!i(X<^۸Jƾ(Yc;.3f9tB_%;vZXlH ~z|cy5wjkk,o T+ PԽ(#Ӵ֜am6%JTc䤓z bJP `J#ϒ!M`^˸HTw\C!t@旪I{RhQ_KMSnBU;* \;\?0.Fb嗲2.I~y{dH,ԫ^x̱gYZ"ڃ"LIDŽ'): +g Q"^s$T)sme(#_@?zb+9ڏ9av?35z$#HnNWϽ$O "Fw։?FfmڲFsCXQoÿs͊'Fa׵4RxKRWI<뽤>f{s:L>!=_dcV ܧ:\x>s ̤Gxwk[yIZ9CtpFՎ`'F i ̘0;F&B{HҎ>52wB:MVHrx.܇S\ -mΪ&f1: 7׹OY|-X:3[Vi nʱARxV5X"&o߶h5qQOԗwV7CembQɘBT$ ֪+0"o/viʜv9F/,Ҙ<<-O=*3d~!UdgE-:[|J< T]k.fhK A~;tL y }u&Fkg!B$^w<k>H ;7$b{n'Nk N4) cr[7 RwYӞHQxODY[Xeo}+g 8!\g.$@>iv'rw=GJ6i5N|u|A#;⪁>~/5l S0*AM(p=_,'`^fx5N75- gCF5T88B^Sq~Av. j+,Ad_`d&wu!R4pat"5Yy]YT*b/]-hCn8MedH9IhR 0TBSvÌ+9sw,~9'V‚Hdο:`Rf}jǨ'lg̪9uKHkn%kZX'KEQ*!~V8 p;qJ{[=5qvsׁ-IiXjA`'9.̴V"xP3,iLJBj؀(Bj\kVK$- 5M:,JN^0]qVbN>K",c%](UJm5YRs˼[AD^YK;kEx#}M[ $&XoK`mBto!hyX0OJ^*A`qĝ)GA_m ̷➘ hj@#П0ٱhJX(RC5yi˙UcO !B>f!dۀ'aϖ? dtzirJÜN48XҶo4rZb\FEafZ~iyZDC ԓ ^9 Ol; ) M%ӧ NV /L9IF[t E\i>'2E2ʥE5 /+e ƷJS@#@U|g&ΣE9whZBzeCGM|Qtnt DDF, ^[4urVlHt? "Ech^dRe>WkiHOiaf1'/~ɮK="#ԛڣ_kZ$Ol7GjɏG ,G0h2E<62lbCiO`!Fi'h3tT%Jv+&Gjh3Qba^1H=Agj _my]A-X'7>K #;뜯lijttnc(F\mgܺ3ѐ.EqtlR˖$|ihvy0rVXjSN39:vhXb`^j,Hɟ99p`bD heN __+Smojt.XFn,$U'!ɂj}u uCD<{3P0V0nSdeQB1r;OKsQA_3 UR׺/wp^~gJ|1KvP>.u^it<__*Tt/tFJ52HQ8:[CHhI4U2Z9ȵq$oj7G^R\yݖM蠋SD+=Mƛs)H >XWX,J`%_?@k9:(g#XFocW MFbAڂĬo=Ďڗ;Ju I2,FcxNfz#^ d4`8Go%/N>vk9kX)S[%%Cl1ߴ"+_ߋҽc}lJ*t|e{ tрyU3 oͭ;*uYS)@'52㒳cFmryԢ>- EtFO$Dr\"ݐKϺ\; s#Ę'sCK6?5 UϫKP>M6QowMߧvvyJpzMn Dy@G(QBoȨL1R&!;cbc2[ 3KMYî^d*U2*6S|.Z3c[Y&fl9śEKѓH$41H6cQlkbwmWZo<Լ2nGW.o[jCrhLR[dRE,ҋpsOo|Iˌ#Wi2Hipv6Ԭ3Y{*FWYpR69-{ bO*[ac!%]GHˢc/]9XETPzNV`tC|r)ex/v̻䘙C?1hb܏Ʒvlg9R8[%8<*XSblstT%͵>{ R-_/ )>v?"p]tdv%L;A `I^ИWKIC$U3xYvCM* E|RiBvƇ=TT%>ݷТv}LQi9&(b~?Cܣx IZ۟ JOh 8=) >_-dP`x0 t :aXljcfk8rᯀA>Si1$d7_™l8 ٳP%އ@PQm5F 3sd `R6HQXttԆ.qˀnmQ%R?gIX =4AV'u$U$y"XNܗ[Mf-OdUjy? جuAW԰ąj KK\>d |S UÑnÐW=rΡܻ+Ν7d23:8߶XoZ7ZRpL0> VG@mzyd/+2Xֹ:˲* l#ߒf=r˧foU V-t6T!o50w}HUAΗA~GM 9,K6HrEY(~Ojm'X:xoa`zg }sd9g1~FHad>rȥ;EXy/nAw3l3FyjSMN p~(/D+M]K9cskfCqVHO$*[udwTV%|x)u&-SQ1o!l 3i<0ͅ/~(.*fx pU)J!r! wބAζ#mڪJ!WF+RPN`5 q#(#,^ 8+SM#n#k 4cW|s-̢/\ɂSZy[|t߂53ϴ#̆d)ןqj.xTȓs__W%FEcFgl>w!}|4S<[VIMfǓ 9wtd@mRHG(㷈&՗I8W%? `%H<1WŎjDa!`q7Fam[ 6 Nx+>LM&BQ*P Ru\<+pq0gJPa *Z:O0"4/~\x1@,IT#J.XC2P˺n{FZU k1ؘҶelaYxmًQrKwF@1kf>z(3H)%%Ж5~էDR7vAZ38A`.wwS@tYji~\xxIE]> O0Y/ Tǵ<OeПfԬQQӣ@h&sa*!/ t;=ar϶^*k3UYa ʤ|ҵx!n%>rw<8+NWR%̒!)#ڹ1j~;XI2h׉ydlޓy@q'e;/j =!a!)g& E+20~2K<ٷu<bn[~ Q7?'nmŝHaы7-EZQ94nX!׷Ē8b6]_eSH߮fOC_I# HrVnt -w|pƒ<$E-v 䎩Ũ)Ch<|*N?dm-P{M=HDʑ@h="H<r,F.[WpSbTQ~J[B!URI9.o jG]P+.L-὇ `n\L7;f]RCbYWwMWqU? kUȝ75,R2xD!rI#FnvIZc>ҙ7N'ld~3L5w{SV@Ʀ6&e}&xEhėQ-70;e"]d\, x|O1VFu=*=˫1Za0oڑ.1bY*/lGr.XO'WOɈr2QtMA~]f>©iɔ^DUI`,2:ݸb$:[{^nc?>${hVY) !wG6[̀DO|2%6S69"}={r;z=Q g~ BfEbii$HHq Milvn-=_ڲj JܜtaR$y&NWRDHn RDUD;ʱmS}Ueμ(pv<2z!St/VyLsƹS񿟱&q&O [#k'~68s&;0Wq& ^VNTnc*l'A0UJA!R1W` ~8 ;4V(-o}#9Lrƕ@fg=OfՒ}zZ9|`ConӅ5FG$IB;9C^g~04*0Ty\35xjB-:I Tɤ2#e/X:&YzCߓQ)swM`eR1AUHp"+$4>%ir^Jm6I1u(cA.gK^YzJȓB 9"դu:M1^p\"*. FRw~aձFԤt E:)Uх\- ¶6!~;$DE0ER<~-FܽgYZ   U z u(7Q!fHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/files~~/src/HOL/Quotient_Examples/Quotient_Int.thyQ'7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/document_id658&7K' HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/messages7zXZִF! ]·Iq n[:|&[z&6%ynR.htlB&!() 9UʗLL-/ĸWF.R4A} 48FƁ}mM|4#_n5.FwTEJeV}YO;wU}N-W銍$ %}`9bʬf/8efuױ%­V 󟻙y;+]9!5'^ceƖ^IYKǫx FVӜ<_3a>KƢ8ISrlVg1a0,["KAe!kw!z;P;"gcىe~ )|$t: EsRR+D3ߝqg]7K=L^MxČ)-A*x_!V;BN}EFY&5B]O9KMIgPWr |Zᖻʥ8T U?DH*DI'm Π7"E/j9餉h,--KvCym+0+y@ `Z @5~vAJp.؞wr|q@DgP"E(`>LL ꃵK/b!?Bvg F3mi3mAw&Ff%]}Ê7ĶdZ xU$ KN"K;,vX|dI]T  a8¨g݉~@Vzʹb8n=H ߲;̐;FW¦.dqy*|s-jU'Q*ATy}lXO5KZ3L4'2=e8~a(9f/(BwBnGI#.Sy8C|cߢ|ՍoQ$sf=RiڶGiq'Vw!%Bm$0"Uahf}p)e~-Uhtk~IqC] лW0sCL~P& oN6İZ:',>cL ʽ 21Xi툦dV{G,/F| ZB\ԊJ@2$N-E\eg ٧ɻ 'FܩXNXЕb$Mt4(j`i&G7+ ec*K;L'Hxb`7ٵ4lWzp0\h3^YkR7J\+zO_(F׸Q `,kDXke9Lo{<c|'MxF*y ʿ4=#ts"e䀲0H,(x2ƙ3={{||m1]U_Ie@2P+AYj!6~:##9.%V!Ϫo^0tpNzqio`UCm+җd9gOyʟ5鎽rJDEFJRWh@`S9'=XcݡPUؚ$gJN BQ^L;R#f/o/--v1&ik*iX8j D c"gH>AżLTbP~IHAn/PVZ[ooY@LJm1Ny英s"(}p!rdxaFh+ ?|HIq: _z22-P'3ʐ-;tu{Z&Il* I_ %puK"i tzBW/GS .>T˹:Em6Ѕ`(S2l. ҷpqsB^v@ F9\_dm0dt/_!De|[bL-h#Eu`g!J?Hbْ׆ϪtLyNAJ[,f)ͽ)ƤjoD@,Ux]%WQUuF.19>0Io l} l&3[Z i!iz4wȂ01Ctp GCțUPdx=鬹Â0@SܧvK*Ic/;>j1F tyZ64-p5sZrIiq65`;U"V3>L+-Iߕ!&s]$cg-Amt\̑Qr6~2f#_qh@VEmw_V @1(R{|G)D&+heصr Ԥ(V"5Pt{v _#3І&F`b^^# MTvZEhU[! XadN|N^NS{atOmt1fE1?:hH(YhT^l^1"uAώRT}(@D0 ז_wW=(SdnKyyN2ݓ||'\ LdSyASކrvkGTA D̅Tƫ#ܢ{=Ig@@إۮZizSfdGV?c RO!LoXPJ㌃t+#5l5,:i'XI6N#JF /!eUhҗc*#/[dd[9 qp)shGf zkG~ViԺ>gO$cOL]]FЖrtPq,Z 1kD{Vqy8jqBb$dDwp>+(f~ѻ CIBX2۪4ƿzڨuI: p_ALW&tt,TOIO1UŐ.)1.1w1 h.dt@'8 {!?nl[QxzjĮ)Z4M[K\g[1Ϊl?_m)_^/]V`."NQ3e*8"f<8lfNq oIgnңΦuoE39^F&X2*lU (!ߴ|B'Bf.O abT$kG(7!(#Z73y!;AgvzW@d#MwgھvX',9z?\^=&¨ESήK-(ЯV 1(bVz4@Ӵ[ƕ{?v! ?l\ ]L~?Va/\;Z?~ oěݩ_R/G3 ${ x| 9уAa|-|Bk.1Ղ|Jc hinL|ĵ @I/Ϋ A"'Ц20,dtDhk g":`Z^jklsTgee'k;/4S bdW* k poqw=K*ଠ(.B]1|4rPՙ$2G(R| PՕ1F8+8ÕH˦"<V% r ګ8#.֒:kr1ûAd3'Nά uX oHMU~hc2Y.؃Mߋ+JB" ƻ,("#٫`p+ %a ug|ӣ7Z@ ܹD6U/56̱^ZT1u dl4|fuGluΟ{jR]͠;@b) uhOX́@ao}F"[Fh1U>_\ߊ~L+e^PVͤlt`3',Qҭmvnhij_EQgXu*䑽%X+^D* ֺ|>İǸ.>ApE=3͢-`f[I٠'@!\@X!4S_+'xf[zDVs38b ;%1 6*O ~2M- #{&J&[lORLS-B1LK@NmC}b3:.)$T[MmnՓ\( +|tl;|$]3W4jzSXg$'w&zG'TsBy\q9>+;݇Ϭ %"4mIpgQ& ( YӋ̉!e1ߢ"@?p]MF ]m/rP=3<3\YdO}=I G,yg [KrNUqoh6C\U*dr ,ehI+8o;,I̟ǽ5X;"7*t?^>9 WR5P39\J S{Pr.$(XW`P\L%@c7ꂤ7|S}vk~ I%T>72df!b"V/ #o4yIIp:0۵M~6ߙ~o uEJ5eyɶv?x(Y;&]yCOIjL@?d_b`B²q rF7v X퇲͍*"bCEO2?x1Miv0ZZA۸ڶR!Wp.xM+-4\syb%#UgǑ>`"ь$nыQ|Ŝ}Gl2Uacgvn}<)>5[2Wr awt 7k=W|$8>J!7kzwnlG|g =m8hVI0:49~l_ҜrW0f?{-zoXc{dwxKw+'@7l؏GYq)|f b||}HA' 4j?"rsh} <9 m+r"?.\{]^ Ls`BK 4h+Qq0<%40O$|5wy[ؔ?6hKi \vW 켕Mw޷X~W 3jAp\T4t[ZDy!"/ݪwI-!`74Ie|cZ LT5 yHzCx)#e3yt4?Cz6 Vʡ<̤|7 ަ g8OY-g2Ripu{y Be*OZw^<-&dLK$\o:j(h@3fٸ&qwi#(CֹzdHZ>}FȮ5!z%ʎ-~ ڈ7Rod?&ӽ:j]d;Ƙ N JǏF+{+nh2ꥂVI(sINb(S{ڙ?Pus<=y1 K5^-T0q?{n~C'OBc*ϒC:K|<6'f}4>7t+' 1nv.ۨI "5n[CUtBPѾ{LZlEjG.]{(CBrSC㋦CF3 wWkگQp,AZt{(VÈY|:$p?죽X3BGǒ>]&нQeM)лe*y҅I@G[%g^gYZ ) 7Q# ,HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/markup7zXZִF! -]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$PE"EbpԺw):XЅ%Tv] <j<@QlZf! wsvC:ؑ`NIym .;*oJ'EWu4PG0;Ԭ+9uw1[ijhou]I,UvJG%:4B+Hd Pb&9R'q&/pH4ejp 8|eafEi>U_a@/u--M;4߽IM5e| ]%@ ҨQ`rJÐRA4QPN?M?cN"kϗ["oE m=Vx`Yh7#`*{H1YR>Y9IpIfCB,SwNr;\5<]~#gB;2цN/4p :d\͘@{#~_8y@ILb RFʰ:9dq{2L"bUsuMY\؉0D;{K9ԋXo_[{q p-!񉺕MD|ٻf*5kiH].ځuCp^G 4&ꌲB_J[r8Ւw uaҍsXIwgK"kJptneVx0B㒝q—困$X0FjtN٦ZdlC_?ۼhDyO/Ҙ ׈}gZx2 mH6aFB6m0_nX6X:kI(Kk>JWp´ɣV_&Xkq^eZAm?)0?D0%@t '¡ڗu\bN¿{ 6Ue`8L7:l,(_0).a% p3T?ӳMWXrYhq z]20 wyvuAb_@MmAz߱lWX#g&ʡ̦]D";0Onb/?]z 5x薹I h܏!yl>ߵ$7OE4܈E@}fgQXvFNQgisڃO^=i U'*+k5xCc|~_2U'x@IӇp.nt,_G O(Kf\(Qgke/ 1z'=%u|`~~,d)C葎,dV7#E4EK{xMEmeN61JziR]A ,FD FάTȾ`MJ\b(g$ Yd ^XЗb43L f9]YPpWd:e6$j9eT[{Y&j}"wT|۞ 7vTK_tuIFSFl_՜CѠi#H2 ;w΍0d }Ch;8(DZ L0!,Poxm,D*2 [Xʤ%Go_`$j|Ɍ[(wS60 nW$G$N/|J0VTƙp0`1wt$("pͧL[ " 9aZh rL{B%<ɾۣ`@.lbsgdp,Sd0Q* FrC}&~w=Ј6e4Suvd|p眝g[Γ~D1dIwBY  lPuu|iJ(""&khejG[{t~. AReu1( 8t%!3{XNҖ(ʖTiP#rxӪbݍքĘї<&̐k` e (77^MOݺq PsWO9Fp$I1 ca( KM6h A7 t;>DH#Ꮑč3/LBvVA<7nKeIS]R{p[tj3qz-$@GP1D>ɬ>QC.O(\e%Oen6^0M&Y HIz1hwYD'ԏ/M8}u;( r4]^R\؜}UfקD\Qm_4=8]=|6?Ȩ\V4Ŏ`#p ru/PWzזgkǹ@J /7Pbp6m FG~OwUn[C ItqَqWf$cq_ki`|ZvB 9> +:>={Kݹ#`JlkD4/ԨQd(1yy2'n-_&j#V=mTDe. ީX;RD5m,φa^V, S* ~-iQ"v;&!-{X&j A5@ >\ y@^xhԄ}ӷBpI`YM}X QtPkanúX@YS=E$rQQ6x~zg`P*=m ޵U%Æ z7>\LHCwXt[`AvxA2&uṊ_-CT}6z S#uH{ǁ "\E='I1vF׽^Xy(:W}wR9G8m_(!;/Y@9-4Cn;ij~97jxfGz2iD 5m>r%cE5/&dh?ygYZc&-9p:s]_g~ Wl^{ A_km$w%/bK|7| l=t_E6Hs\m#MP̺g?#4t2-R DsX |Mle͝Sξ-~1slA#k3%EI, ']x PdPLopnH#Wb‰5"cqCs[<ukjl?ۭ0̶Ҍʭ4oWO 7<{*WF/JDc]U-zGIJ]n0Z4:dP%ٯpN9GZxgao2B]Ev%@L3hfAxw0B%WplJ Iu,78 Sw# nᚇ;U=- yuP\G1?5d{4DʥLmh;ai2 ,#S9;:D*tm;I :&Ȓf.`6gXzPXP >pi݌*~zX^q{Sˑ$3jX}$ C#(SU&ˁTPx,d`/Mɟ|f*UZ -gzSP`yJ=vD` xrFK[ +C BhD:;X&{{>k$ -&ۋ0&^'h߄[ڞA?ZE3,9GNNý%t)8A,*^ro"+SS]s=}v`du~1dJа@BG C4H|-e?Xa +]`ת"Ma9[H\{YW_uBo˨5) |z#(6pK[ 0+!Qu`l |JOeT2;zɽhsPepij3`FZ2fH*$TPS@TƬ` Ya|~C+ i[. ӞJT|C)0mQYAc(h,'ѝ]k{˿B0'X/֬7QT~߀ U1!uTTSך` S=y^.Qᝃ'g-Bs_[Gf(}7[)^|/n+e>et@3mֲo$lgXNcm4DzR-;N>'@n)`&Dek`8Z!fKPԷ]|IB:NVg\@!o"j}:EJnZ >D\؛ A5k f*@;oR{2#h Xhxx {X\y bz8rMVS \iL@mDܤ; 3n`kTRC{gBy^pbof|Bm51V2}ɌFm4/h$U\ n PRx2~ ok`dQi&ܼ円5v~T$mpQlܰZj5 3֚=m}#:Qó|[\+T,X|SϹ' fLq]S dVrDz'Ovrj17G8g,)B=3s ۟t'QB`tC?c6x tvReu8=߮ Fb(kbuOS:UVY}aR h3}B.4aXBf6tuWrBV"H}wI2;[6(-`2~rJG#Z$)DgRzpF|{P:YؖxP5ˣ}gدFϛ1Wbgs0j^Xٰ8<:Rx6P^{_n0AO٪Q_Cyz0J)(nz̑trSZTyχV} >^8o7I`K o! F~ΒS0ݪS*F,_8X7] ,\d!~,Ʊ M`e:EbPC=h0c&pi;yXO f7确;ґH'A )p9&hv h3Fuํe8V$&JJ7uHGq۰a?Ƌ%8jѬ ӄ>})ڭÏ1V-'b$)4Rn)uf-\}l[ZV2ZL761QOWQ:&[ Ƶ> .Le{; 0d[)P5!ݻ ZPM*)2'G10fN:z+& [n?&;j'l@+HH)7Xʨ'_|Vi0k}]<_<* z6"WC,kF(v;4_#[C+^& +f lhrv,5%p7wJZyB %[ֳV}2P_= '&s Jn!UAרcVʼkL+1Y6#OhA0:+P>Dq$ﻛ;ĿY>Ej!iȚ9ޤD)RDbΫ35P 9!` -Z˶a(^*\B4Q2&һ c&-`)7hZ:A N'7{X"*1Uh8?:Վ}>__Rv&U2w)?sZ ٛEW" 0 ׌;G4pׅodUs`+n~4+A` Ŏ-3hCݑB$#Ѯ>bȡ+2q w&;2}:J[N)S=- h>ܰ"|M buXS%g(^weӭʉRJZ:VU,EjI8˱gYZ 33U/7Y-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/document_id676w.7G' lHOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/messages7zXZִF! on]D?7 {?:fH\΁]fatN2v\3϶)0:X̿W U߃C^Fa*sq89>Qr8ԼAD$rݡ;hhv.͟p[)KΗT>Bjq2w1{COtk2M7n[#kN}k2W&DuY`W#'qjiS2Fg2%;Q沈 D ML:^%Čgv8#@۴4 \q.Szpy%8SGٍ\nB8O}/RѦKwY;mn/\#a{x3\vmɳmj^[ox<>91$CQ1Q@08H?;h}j&i{ŪF'CҜ&FV\,e9-5GѼÏ<|B\'0ϔͽ׾c [n"=j87bo+8P[[c L6 .ef$ ;Y<.(7j3]ECJ ;~ƳU H*-N'̑C 43.r wx(b.gYZq-7G# dHOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$;Wa14C:M"ǟs}BLI̬mNq/R[D% @S<*g"01mMָ:4uB[&%hӟ; !lttE> (sigm =b*:״n s0+'RoMn 2q҅Sa,WsOeݵ3gw@󃂀1LM` j_~P39U*`}Q56Mk=ڞtO ȷb"oiq 'ޞNw"kq-!L{iԤd•(HV6u:t)+}svWenyx_Wyl6:8 0Or -pl{71=4 | Sx8)k ܵ5pC8tvrE~*du%R8_i_s ;irյRb1;GA8=O9A2XmcG3KB`|lT'?,W.WÒ!YQ(uWXzVe'3IPèGHFM-Ƭ̶fgс_wh)4-ኘ/(:Y WIi?`|t6J]ksTG}^<%dRZd;敨9.4PݩTHO(V%Gp1؇㽺=Ḩ)i$|M![9_;#1D,g͚eȃP(BJv6rweiz?n@֥[?ۉu,wIQ$|iAb$x}T"{QCxRm5A?GG:̄.ίA*p%xGN`^(XֹS aREGpy,;2 Ԏ:f?ZiHG堖#O~`WfgLx[njkG_Yq?-=B PLDtV ۘfZsSj2R#] g!֮2 &'=&Zd\brz8V0TzH)VNX/20p9IOi~4vw/mR ɵ8!/~&T<;~9D*.Iw`Ӵ aPjƾm]t(h8'Fe-?FXՇ6(mSB:% ݯ Xh$!.XaP=IcQ6]8| ͏r'_Q}=z =&@:0:8&}u_ԢZ,"+ZhX9'1 O*\vEҷPRySLh8 ]OG,nGmE5EEY,j&/̶)AE:`d{B1#򿙴-,Vm[W52l3ߟo6_{xf/ܶ%O{r*%t>~MޒQ3K, rbZuNuSD8Qs~_0J1ͨ{c֪%u336(gj*\R^_|xvM[tAH.:H < BE3Ԉ,xOMe$7 bt"s =ИGӫղmIUG /zZkSJw:nof(#6*t‘+M }[㫬 #$} ( ~j >X5#wK_*/}t~=MDz)5: mL9\Hz?=}KU|RCw>{sɂ+tD%^rGq܈wxWR =;E=  VSYMJuӂrt̲&V}xQDTG G)X, LNnIjx8m3o*D M߁\UYz4b JKęUY"4 y׵VY"*2QX^tbP80zGT=lUL0qKYQA3̉l&zė~9x{4dA&Ϭ>7`3 a@w&Y|Q ^axu.rwDV§0Sj&kuOY\b&P3ğ@(U0ͲwFF1Poe1P:dpMϠqy;(:_"S`|nG -MSNu@i80r~IB^c xHICV_̢ҟ-#[jق+ fF] dM9͹ FbUsH~I%"{(‡5S؎#=1eI"x` jW#nb`? }D<nܭ PŘ!=~J÷FHݠxƧiq8{q .t8V-;9Лqܜ P!%u:Łs5)|SJWĨe )S C?Q.襣 X%JG`opݲOK3膏Ȧ6ɊBh߹Lp\+#t1v"1/xrމ3L ^{5 ,FldZlc2t˧ m3u|Ss_޷;tLS!}ÃaE8?dCĔedI935U]fAmp`P`J$<A ~>Wo_Vċ}o"i$ף*TnԲN}\ D0W U?( DDL27Y' HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/messages7zXZִF! I]·Iq n[:|&[z&6 "?V3lj15=3pI G+׏lbe_nG]޺Mm- jd(CECŇ볘C_h˺l5.蜖,Jۻ`X w[1ʫQqp{}x&Y_CL}vA7|RW.iyv'|g"$yؓqg:v;몐49o X`-o_^N?JusRuA |#0ݥvbN[\}PTzRUN ZXxD -7ctMoV_Hw"-\z=R4 $b9;Fqd)8푫pk D<&r=L2Jnv|3OnO'{ 1).ىЕOjf`oW|_` 9jXvH1LUJ/!Oy)N-5_z$zU~D4p58쀯A_N<45Os4:?xo0>Mq!0_O%O\ yaHʏNMO]/EwJu*E f~!.-۲23|8njbD^+- ^6B_Euڍ)XPNu/LdK Y)a{wVм?'ݴZrۻؕL>1QqI 0'5߽+$ϷҊ,BC#uFkHpWHH7$[kZ>J\`uBM$MR'Ns&ŚCY~ JCłnMgM}v\TMIL[K$HG3 '$0m5RkFWFঢ় R\o4}\UoqM5ß+Ya-`oG0UEꒉ5oC2%v ސ*ݦtoE&*`FH^HluO{sZV DW-VK _-x\TL_Eɬ/$ZOܤܻ-\=ƾ\j!hY澉C(Hq Vaؿ PP~\臌 ~>7W326\isguoO_HQ ӓgYZ_1 7Y# ,HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/markup7zXZִF! )M]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$JN.kLk.T8NW:RPS#~x6-%Ƭ;(gdP^͠Z*Y|;bQyː2 b8*ۂ/0/0jRBytq zv1y5zypkIddx%J|MLܻnjՔrDHMD~rLkhC䉟d2?m1H#edUd);Ƌ^r"Y;0"hXsl+MCA4>7ސݕEHTkh)I=c^] q }k&x'fbDrI7ҵg;j͂Xdgg>puLjct; mw] ;[_8Eox0$NJs:GG'vXܶu+sAJc76IIII/N BA$қd[l#T 3fa>N,Z@lG+AK84O|rΜ<#[ Ot z| T'Qev[q#ݡHTzεl*CtS^f>3Lь_1e= ]!jx9^_Gȿ]+&( f7]9L@k+s^XO&&7Bt낎㰪؅$.[h܋2ukǎÁФ2, YX9s``a;yImR<&3~&S[7=B#Uj 2S[ƦUuRQĶ9ٞTt=#7L++NI@_ Dbrq")bxu7h&P*tLH].Ec\8N4X7ɐ5X06&!I@IP,=z{gL'ojݛGW 2p@ka٪Gf0hznrOJcVpHċ*l#?4fcm,afOsA{΂2oY9]k =O:LwxG}hTC{0nh_VHIA\]$ⓝ6~ïܪ5W苨?I_TcKqWc7yj -N(ݮWBR }vMIJɰڠT S9x'D-ϒZ<ҽ̯dN9L4{_Vcjbdx]|0AJr'o]Mg? q,]Uk5(([M&F̣&p]٫+)#4C;<8ԪK`8`[Y8 S O5z噦``X6[ C|Վ(嗀zRC (Ȩ :`=3-TO%Y}I\95VT12v@ɴn(dӁ,z=)9a|g+tT55b^Ӎ|(!L%z5;MUiE1IyvYw1NRzVaΖWe4`7휮ߟq$yyX#c#e]" &_:DיTTIߖ]Hwc$mG6xk!m@G~Y4dP3gQFrW; A?1e 5 Jb zmo yuI%,"}j kdK⸩3\GW^{myMKuwڰ{?wDu=V":#5oť "$yyΝd5*Sfӏ,Şgh.( wTRrH '>z,pRz>v"U9{'^842 {sZ:nBS~;X87t/VY=wƗˌvCBvS/ͺu a܂ТcB 3۾[fH2z!r' [$p/~YuU2 +X, H֯i1(ʵs"^֞EnFܵ썢&A,фhDt̚$Z=4eRjKm5o尼6:;-Tw*Ed^lMVw'# iwW6-<|[!mh, EgFA_Y2uaRmǕىitut9#aSl酾HX=8}K? gQNB-pw/vk"%#5"OI5?TRlÊ 4])onr,Ad8BL9|F/)Z縄fjӫ| qOʻAlۑ'9WV1۴3-@k𸇼:fDr5Y@3+j="7@;w}L|z8 zZO:eت(JeTq`pA6AGgWD"*W۱HuC;G/2Hkepwݥ~k>pYp=,v,Dw@iiB0oGh}0۶"ض.| -S9aZw.κD·2$I;vY~-^OKXy1)j#)Q>@۔:"7)Bs--%΅zƒ;jNŹ9U`iIUh| []h/dcIj'ٷEqy[/xBl K?&hf( Es&ƈZ 1bЎ!U.z''ϱ= 9iJ9xcGXWiEqs>.VDt,Y0S$s߯[7ףY\&)*.1Kb,n<@зb>6`])v8{ǟO(I&qiRN ,|X@YpNBx+nmd&&2l~F(Wqv vّh2\֜账ք뻉,:T E!@;̡e5/WQ LZ"097]IʎB^8X ,5^+[&[h(3;EFgyaes~AӾ@cz_7֐h ݚFQ dh[k‚-]wZlAL`m9p_BinLYiN^JeփPvƞnA,DaY&Ch0POj0f*b+ Vbпs mkFU }'f(r]{SR44_I"(|-BU bS, PggGg,DlMb`XT*iԇqSj ;[]jWTMmf)EJxpQ]&#zQsZs3".ƣ7Ӗ4;]q7P]_ ~@(nSuH-wgQ!'Esc:X7j7Ŗʡ*ʵ|]zd)o'm. ;> qC1MA(L/3{K5Ϧ\e6^@iws\#k|چܣܡ.eNb9yQ{5 T80՝1|E: ~O$ԨZofƞe ^RC3e<]=ίjӞGtgrG>\W;cKi4XA%(m7U[e5MegzdI/A|tפ<_ 9*8NƺZj xC^_] :׏f)p$n# '̻[ZkЪ D\4r ?& Jf]Ρnv頕,-J :ëoJGiJG(:5.YGgq_Eg,Z2uA*& Й`.idb\TQ+.\FUށS _'CI1x\UO3FV xZF 8hsh Op,ªm]˟\`f6Q?In0̊}d KR3-Zg12|䙇^Bhwr &]_e H F,], 8^ )EȱNN`)jи;=C"XWm7||NV #+ T(|?HWq|z?EHBƄؕ١-b/ XeeYU3wK(C7Hb1L)mdH HU'*ny3{]kK-6Vu-U1OX -:XPJ$tg [xM7oiI"<%S\✌4YP#mҠq.]eaiBCPEuIY$FТtmz4HlM&vBl_1Ӿ "s8{̶?$b||y?'7vFIwXJcK"nC4Mf|֮NOz}[^,solaXh"ݠuMnVX?QK;Lz "=4KNϣш)1~vӎDVMBnYX$A;a(^P;Ïl+0y}fp#Yِ(҇{EiJYx5kh/ pP ̙#uckBuI %4 h shnƳ:#V39]NP虤Zr|\FSe6}vo(j?WӽRּ܀'JmY⽸nF&%2KSzEC@WDP&-F)5gvȥ$ϜAV-(:&6BÇ H~9hxvd'yrٖ~1<D%YQ)9jߵAw _EpsXB˪\1.T_X6 |i9-'BZU,wRG)xY ssnLfPdfr;Y|r`+.>$\9 䛆gzݔ<#х]OdǓl IBdhN?PKbx{FT-<&[:Uv=v hN^rdɲH׍$c6 q}pƁiJ8@Ik]Bw}Pct-6fPl@ŏ,-R_i|{cdyȴKZO$:yWےb ՝,!K[Q\VxL ]vmA舔WwD=Wm OO8t2s_Q- %haѭ a^"۝u.PZ%6: &ѲiɽaӨ`"UӞi"wLo/ lӳkr#'cE[aRD$LgYZ ``257a# LHOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/markup7zXZִF! e]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$;X5t_٧ mĵUK=n^u@sKQ% +:OHMď曤/Ld0eu `J:) 10>NH67|˸: Лz~!BsՌ<4rcMzg}r3p~K8M( 2yLޫ#MIIdRp"A{f?owM K'}RIYPLEЉ,s@}Zwk~*a TnCY|m'ʙTͳ]Fb9ZWI+k=DiiXsQ2 vAruIaĔPKɚ𨇥 TE4<:D4Μ&{˛7&o细!E1z#08 ~ۧĸl^?>8Ro1)kӽ"Egd;.hkvn/a| h ȳ zeXcfpct3~ SR76}Zj\MYt?*#ls'H6tNp<.-RjeN 6=2jL{%4đ!6RS^H@}SZ؜> :Љ_rs"Kp^Y'ϴHD$=< תWQ#=\bqBFP8+]+rQ&B: 0O31B,?@TsT!'Q46;uqԘ|2M=zfp vU M~N2#;} /VeiI}J :=3lTU\F_cZyynyE6"CXܝmkjsK"KH,A |3Zjqh<LR]eκ, EeuZ'W^^ۼsRb|g|"GyZiy&5Jw~MlaK@5*B?/Bw4n2σx/֓kUYIؓ>ZX tWTQ{ULcOS hv r%q)({2$mƈ(WA=6nzdiig/GŢ Qٸ7Dj[݆#A.4p:O# /E=Uf@}g}"##s q]SΊ?EM7y- 0)-a4qs9o2J7"H+pgΞiF.0kʷbݭ\'b}-+渑=ƌ\LNINn\ΒK<в&a?*pxF&ʔU$tF{V>֐sZ% ϊSA|&/gUj,)II|w؛۲r~}gռKNkd8oâʷcsUU` Bi̔ffJL Di됕! Bsy_UuDݔsmmhc 'UwمfCkԌHFҒSEI+8NcؔxKĵQ.TtѠg/0ux1Xޏ qtǡ`(6@D;90ImEDFnut/i/+Wp;iH$V21Έ@eKa#ӋF~ݭN4v{tʤKoz'{1rjexF 7h9\lo3Xrܨl bzEDsq2mxi=?kj$v9$6Rk_78EBsnn^%~KY18s^:wi<V;|tG+Cw$DGdFa >bQd>17s{iT;l4w%H ` w1ضs[&;)IpNr ʯxC˘vҍ|/[l @UUhj- *ڎ8h א¿hw`'5xl]aU`(rVϹ'a-=Aqo5ʑThuIeϤ$b}p6-PM>gItG j[haB~Vos3.oFJ|uc,kb*@=?ټE4欎Qxi )[:jeu, ntJZ)$v䔬ޕSx4FnC]k&u-K+aj?,!296Ծ4>Ir B r1dp⚇vڈQ%|?"]M%z[FV[NZWok{讜9yw3ce9,:ډLM 2}(-Ww;zCZLSc#Әvq7p Gk uQs7sa 22c.U?H*n󾇂_V4AgX@¸IHֶ|/bP4[ e/s]7+ʣ=.1gjgd7@g_" #w oks4utX1kaN;5vxX{TZ̈́muťh)i>AcdQП:npޒ|,}=?ŬDB "S\RTkXT3/r2KN=#t~%s1"j,!6@bF39v4QY+=h%bDY:*Widx!vS *eSP7MaVtJaxcUo@?d@@3:Ý9;O:D OoZTB7U_Npx"QնKIZ[8&49EYqԪ@ +;R [bcٍkC]b&l mz A~( o aU:x!xd@b\-}c,puE@&,e7>zH^/S-'mgz+<6о6sV*k9Xk ',)أ~d6 _2x);"Dˍ@-|(q[/n@Pr 4__G]Տ?cP= =oϪb_{9{-T!#XOݍXNuBiǗ*" 5pl(_=vus駠5c<ڟE%ݲ{1%Jnz/ k>Bj1Rzq+[g{z‹&f+W5W6SI7* VHJ1zjS#d1I@\;MGOHnߔZL!QڀSD+B+8qkdSN`CğW*cӷ XX}w8+YJ̓IZ8͹t)IiAԲõT҂=!nyjOxR22]z=;d(<pH7FZ /?G=~r:o{0YVY=!Pb,@ e/h b b,05s '? Cvgbś2=Tv]$F>}QxnUVՊNg7;$mNJ{0!Vy'-5^ݙ5p53(wjYC":eԪ 1GXhfxbLB y0pͪгYX&_T;q11zw@S|?aͮi3@Mh/vM^i4uq?]MWX\8!NҼmðZ!LҐ/ Bx HfFQ,нRd34A$`ʽGJq׭I5Jtsģ8a#|z>5T=Z˄`?m+l(=}w%:9KYdx0q'K (2~sm7xY9餹E`+Ya (r*ktk)8SE< yʛt< %NWJdFm>4*] 6 tX2^<PiCtAeF(C.52L9\:ٷ:JÃLzWLy&ܧ<}Q|ߩGK^7d.kF75C O|#6G2zIi䏅\?> s|`;(@-4 Ov Ήrl Twq}0bйؖd8[T^Ul&_[ %Bl"}=,37Op#d%#lUMH^dc?6ק8 Ȗ~ͨ,/WBLI}A[pJb-ԤdE(5ϩXaqGY&nP{NّGc21,GYq0n3`5-`, 㼳 IRZ~s>X%>1QV%`'cB$#fǑuvXTؼ9;mm{UAc=iG9".'AUA 7g`!)+pn51sUb(y懃Z,.aRYQw` &\$gE49dhJo"gtD0)W\;jO| CJyNWJkږaTn6SR4>8bO;eew~~n?WH*rlO*-*e%Fh^V8RGw+,t(hT)'zۊ/Xsјvk8i@;[+u4Iϴٜ._%ւP[yT靀Α]4#\Ԗu =݅%Qe٪V5ȥ'*R)N|R@h,R.ӫE pB3tȺ>jC-; tԡ' J zh2Q}5%ˣгA+TblzZFޙ {H",^SV 788FjS) lbTMk8)e]6y}h:ԗ-Al:ن->ӯ4Ȳec?2!=nH;$?*WGr9sT\QCL^\lX4 Ĭ1\ i(Μ(#ҡ=W} ]"6|&E*,Noʟ6^[3+de<~:hlJa|ruަhWݲβtl}̟Y;-m X)EOZC}ͨΤ'קS#Px#-*Nr~g#ofutYQ)H^%';R^[^<=1);of'T4g|D@K9p WVgYZ3+!7RB48')A<\lG7r_XQ~[ 4[OLOפB瓡0aSo0tpS}U:_՞j|ꨆWٛzZVKiGU汱g5I~v&]S釖Albn.6A]e`[ Cy"8Yw J&wX-f7T4JYu_Ld{|eMCsϷB>]GRʧi>g9{- ed; H#Uo$]UV5~m"]G:2RW]y''^)AޒJ=nJa+d)?my%3-YX^ncBp:Հs:xaTRK0X DQ設Z`y!vyr_hs{nP_k(+3g0vB X?5V17cz5B\zod6)M% 'põuIQS:8y3)KlEk*ٝW$Q^8qHwUܼoiږ؃5\ Je<͗w0‹FԴ+ !S7Y= r6owGK Z`>nC;>C rA׷@V[5,%eA{9glB}dǮ (l_]/üR*6uɕT:5gZj=t$į3! ˵QJ>(YV9L.Bc*XG<||[gF=T$z]*r2wj#];fzN~пM+6-}zeu] :  iJsjXm>* lp>i1M^kF˗r7p?9ե >a8#Ҙi+B pUmDN/U<"A`Cނm6}*ކh$~-G , 9vs-6sH@"0QNCTu-uXB@Ѹt34A,2_@.= ՓYŗ,8~7w#&6*|N)aK]{RU637З86 T\ɫvdA9 BT%; .cJ|q :i8C>n@miD DxS=%R o@%$P`A&FUZ kHReסƉI[!^܁x=r 6G,YRp~7PUݶT)gEe>X[jJQi->$.۪tPOiE}$ܖ%uw;&Or8eLFIR(=Ĉ.z.Ons=53h4}p`̟W \VKGQ/]K]KEvK`Nv[HI*]b|;Q9c%F~1Wf/_k*^Bit!v}=j r,tYCȀ#ܓϤuC3nBsfie,Ĉur'M֤(/|xՌ du+HpE|Ln$bOfۢ4,lohi;8/+_BY^9>0kn"c(]w 7TC9J&n: !dLt_S: C?}EiӺ퀅31#{e4& )e;0,1_)NrPKK(q-xV hȆ"Q2l> Ȉ7=C>I0~vQ&RmcJ(hI5N"Xw`3^`ƹ98(ς3^ː? W+cyj>~CU )VXt(MMLrĘ8?gB0[ӍGӕ/q=ũMpiu/[y=^x(VfX㉋~ZʥԾ.[a0TNs`m s״C,&g'S]ַŤ& =4 Bza 5Y5*( Y sȹ"c 6ʚThLB.ӯS~zУ?7xx vM:IW l|uZ X5 @Ҍy )njw|/sV]N;{[ˑ#}_]5sqe}j5~"-x~{ri k1rp%wFyiU[GseûDk3;T:tO.T%ӝ!9q0\uuNmZt!ƌj%~S"4]]UKqr-f@GYJ0棊AaX4}mne۪Yk!f#f0Ne C8evZsGZ.$F2uYw$ /Xf0Оu3)Lf9GB; .KS\Y0U6M{@ႠBqWyFX V&c覽v`<\ZPXD{~@3rbܖ1wyS] "|T N0V#qK:ƻpWr"Sj`RUɸb%; UQǠ2JRFBG>#T* .y}Vk{F@O:^ \@,7)<}Y@`5217)d'f!}*U']O-:Qz1WgN^8ˇ +We! EW+ø!^>s5 Qnd;z@_B5 hEJ1uq$T p=p(8+Oy`%d\hXڽ2;Ha'9bXW:5 9VE`|*^{oYn-@ gӼ_#=0E0| iX^ɭ6,Ds.O1Wܿxm Py"+gƦ6,sT`zBEh^ƻs(jR]6v<-'XXٛYO&ٕc" fcvKx~.\{/n_\`A AB qeԊc NbH@g A4s,xBZ[|o{Rf^;W+:g6%"r==x[R.]١'ðZRP4NpdUcYD%riiAjxB WT[‹̈!X'qfݍ=}[RIn*V+pSX@هSRF)2k~MC!bd![=D TfYIk-H0kD3]֡32>.tj@"N!ͫCnTP$\@d?Nl eA; z`S5a_TBv^QTm .Ag+>%2Z`ݾ۸B 6)?H4>:3ifgp*Ii3 | !\A =l)*25{FؠQqrRټrjv?w%Z2oj)kZ+;52q^;#!0/ Tܡ1W*M򃙓$۔'!7 򟝯 (كE#:c6 +:.U-+4&"…{c2)R*VۄjJۦ70qԟYZLF[!wiǣ*f=8/;o6;!i*=@)~.}hŵpDL| ;/FAkT9t ] +R_:}i_ݳ D ͽOJc&J]on o[=*;I-Gwf&ph<9wҼׁf^%=eZ#yh۲iFPAT8.`P],9t~WJ+v |1ҾQY0R0Cg$)cǹG̋ƿTnV+g3h(DxuFBE зSEd?􆎦Aۜ}zǯcg+dlY~כOϡ04l,?Ł4c*vfjSv`q'3H_`JIphs; Y@Hv,SyMzKlh|xH]v{xefZ@P̊_2Eo/HUFuF˙."j+.NhK"'<'KfmTƉ DW m:o1Uoh2M蛬R"]ZG|.ګ+x8@dR1q[xй- )'3=SƐe'0reRnQ׃Ntu4i4:L.Ks6خ-lE^PA`G%]( c:4Չi{R|ϝ%C\:*cJBH{PĨ\gU~u;f䅢j "bwgY^:`?9fVP0Z:]&hgX4jlԛjy\͎ORƚYUrIaH0hp0PdiG#l%riE# |:A3⵱sFx;}XI [%4K һuaǮ9yC B݂..cZʬ:bz0D*rL Ixn &&VIDrXZoH/ϸG'P9E't)Uܩb{<| EbL5|cI0zK IƭimS8P <1VcH('iSPkMZ 7\5۽[)񛲛aioԣ_Zl7?Kg& 0f?Zc@P.] {*y(FAңD_N*'!E@YT;u$YQ>q=nSGs3Qﭏh Avg_C'MjC(P'ysp-w=>Ӄڞ~@5ʋ:VDj̫ rH^2p+`8^}=5tzZhQ v[gp1SJ{F+o!I*6El.Dn`;`|;QajQ* !fWT9~VPc)qVйq$4E_>NqQ>P5C'#ۇļgX싗=2ov @:`wxi%|f5klZ Xrm<_ jN"It6Iɽ+.p0,OT`R5$TY))\_} Qpax## RmO=Uay>F#,>T&Û/gO|a0]_W@eq&-m%/eXZ-K :h*^kM%@LP7%7t(tBN .\3jvLS9=pHַkpzI·>LTD!!Pʿ?Ψ d1R~sk*fҾxk g%)U!$$M\m*x@B:t 3Zؖ~]! ]hŗcmnF#>?'9݅^Ԛd8Sz?B k̓u.)q+-N=h/1;)W\P٠jNY! Ot~U~63yv.tЖ6 rO\LI&z;[%N@BzC3|1tR?<|=D |og p-qaUZ!a_YLdcՖ4ϕ $*Sdnp5>M3t *hƪwn~:؂Qce -3k.'"$&~f)궏Ђ#_jMk_-k Yfhy9q *򬬪ND md袈(㔒L}+q)!2n@CӀKR^ޢp$5hY]lj Q:hj,ˡ&,~6vZySV: MS˒1Oy`tWJl8Sy2XH@oEN-j.o'! EoX`I>Rtzoj=fF70V>$318Yx]&֡w;򕸔M 3CA^LGߺ8YzJ{2RcT>d;*kku%rcz/;zM'ZH/KƹI`H.3xKZ;Z0ȸֵ%Ai_K"KiJ'1u901rl#O ہ&Nc8;*ª^GʠlGϟwׯBt%Ցe6h$"ot˙sW}}NJA 98spV!:fR!>l[O P*%SVe}WKZig{z,:aѰq:s3 8Oz M5x+ )|~ܜfw :t j[!# $+##S c"=(cT~5a[>"=_07 96 0d"FLa)VqxQ"`Ѓ0!J|y"vw`x(/%鲵*t)=QC=4ৠ}$J^ȝ[Q>K0*O%"P(5;x|ҝy P"0DоvJ)s@uV:rƀh jp[p/uGV۟uKK~8 7n ix&2O9^RhV8ꌓ4gV~CIǸpud㾚̤#WxRB5=t_iW}{֨ k}[?NQKg ?]sN*|k Qvz{eh+q"k0p]\FHj}n:C^̷<ʝux%WU?@6PaP%-XV3nG (/OP|rLdȍ,ސ!`A=I=7>|,a(r-Rݜ_f Tw=NیM_S+"mA{kr]ak2 X&z|t7p&   k1?[}[]O/ C_/JGm蝳SWE8rTN?0T 8qt3ɐ|Hr,BV>/KX4'?FܦD=èȭ8{ :d17X0%Ȅ;3^sOO[{+`K@Bl{wz Jfko ]?RU2';7CR^mVuy`5$sk,~uQ` 9~^47aSwkxs˓qLg "Ks(.Wa#YQG|H#~U"walGk2ċOE4֗K^4W ~zp~ݘ &_VM5C[[Z؏:t" QqxƓp~|ֽ-V۾Æ4i`t( YOϕQFB6m/BΓCSvƏX'X۫ѹ?AEQ_0t6H0`!'rOvf9[,x2)`ο0Zd9׊c?;*X'hZ]/gB@r=k`0KbhG+Yga<Xkk5gel:WҜ!PO4BMj`Na9JTmdxB Skaxi4hK>7$X^9Y6:'u$Ǟu?@ t" p)2 Mju.˶FC; HhY$<:mzeν]qT~& $- t v3MpU[֮Gw%d̖nDowFk5 (j\4MdݸU~W`QWQV=]u~Ñ?j)ߘ;6T?m#>ɳ+gB&*~9 mL.pME;87GG?})G{%yQ-3+*ǟ  PVJkqU f XLp ,l FC@AC5%͢)C󍐰K-h'Whf")-s~iR¹n~YyZ.5F tf 2Zs~9OD 47bXa{MEre’;x%y#[#'pl+w#'9CI ؼzyshBuV,kkJ/t<(~!=_lLAY<:)-D iL\bst5β(OZV7H6?C7lnA/1~y&Ge%ўC!\igdxk:t#>dn@ӐXX+<ռSUt)SV6@ܧiIYw,y*<k+‡:dU2\TBtgiQT;2Up~q\ @,guA_jGzN\6})8݀B~ɳ&gBOtTs@$<<:@RU%$/I͏1%ufzDU"iq&p?ǂ%%OKuh5?7/SwuS-*|@Ir ~zFlM#Rf B> 1g`@]~ˇ1}pҀSAo?65roĥq)]&i9@H}nI~8Aê鬹&@t"(2Jٗov }F ô)A^CJx5-;?`4Zm;@/$!4 0lDcJ$2Y]7XGb*,64K9FEs= 4%CNap+>>_'к1ĩ0K;n-u(cw;d Ҋ*)%E]=ޱ&=p=2* fؚeo;|(7}ZT(úv_:8 b8V\Δ'^-}X#SR_QL@^G1. 4e& +1Hah'谔&DU7 UqNH4K#sLtP*n(*cyHn7mXęټ@R %K1$L<1˩aWː{\tލ/!-WJ3NZ_fETkl杝T5hK:x֒Ųȱ9ƅ":_CzkficKr)9c7p*6έY0b aNs ج*#h,'inZ5ږ~Q3،(-;Uw\7VWu rXLbi#M =L0ˈK+x)6g Vbc$(2 ;m"G]ti#_}5o-:Hg-&bĒĂK-(*>Bڤ[ЎzU_ `N*TC42A'P[}fݍRܽ8k 9qZoNCKmdmM 32Ir7?r~ zJ}{ Tm2t]&lQ|fTH=Žexu vg5/zGɦb@+'s)<Áe] 622_f"Bѓlu(5Ҫ7)\j-W:d2nk u>7R闸w j"l{!؇p5PO趬x/^M,$1xކڢUZ\"r1Oӫ{0Űpxs}\-0KuNdfko4l![T-V <A..'z Q ;,f[O9yhw;}:#J"vSLLMϼ%s(1Z`,BP-x'sW6mэFrşB9 k>Nj%BUslmSJdL ONy8g].kDX:Z8V1kAIY xQۑj#< .N:%}]?hAj)ᨣ ɔsYAl6Tv9H@Gf9Ѱ-KD}a5gks~5S!Wёu%BpSRjSGjXL>Mzr^+(X7qU[߫ҏ V%6дTN4P: EFz!?ݖJ R£$A( [#z} P-)cT9 w(8!*xM'Ҍ=7eSbT-Qnꚑ/AҠ+ u%v[>o(~Hlpz簊?Ίcp W"1lã/L2Mh{W52kt>MkvˁEVƢNǭ(iaX/}TzC@f6 :\G"Y<f};ϘC Vwo{ۺlIPAtd:u`.pHt#Sf5Q@4t։XiU#oL^T8:E^m,B\US)Ѫco^k#QѪĸLš(sz /" O{T#fsk^WѵD_d >7!<<&Z0ʑÇhgʞ.e1y0axwάmWk.c֬PR^v>kFO s]4{!3̉#Sa.b~R or)RkPKFAGD~kt[2/D^0[jn`x*vTMaCbYbo1*o0g?Zb݅#o'! Hc3՚`붉sK_jxڴɈ VZ8IUGA\ユ+<#{BfMG w7: [Óɣ U<4M/Jh*%[^f`&f !y05/`˹?Ip`Wl<*Btr#.aY$ yosE?'#9j:f@3\"+Ex tG xf:)Cݕu`x1sw$*kt~AEI.Z^=ix,_Aa`W Ҷ&$YEint4($!ikՔDK 3Erw߳hzۮ!V}~F)Z'^ҳxx(Y7xF T VYo&.JS)DyM G')an[ΐZ$dX- sw%aX[St:Op7ɈPDV]]{ exj.z# Z~Mחge!+8rHEhy4^"5Ry މSw Q*saDz!EY3߂/ϕ@5Ԯ0|=mΤ%K" φ;SN#@_WR0,[r{P#E TSd;R7ǘ,MAz郹|!MJj;Y"Y*z͟(me~W+9Q?+P#( 0+ΆfC⋦F(5UʰR(UVe}DGoԅKV8%AkڍdU;NmZ3ъ{ L qlw J&~E>ˈFF\m9Lʤ7{Es9!\HIԸ# 'fUpE|LiH3bY0zQ)S=xXyӟ=֢zok\@M־Ĺ5g!U?Xwd6s]#r0[)uHkzyDcY KpXq2hȥHGjg ܨXEYfkC$0<%GP-{wp#% 5V$()&fsBWK6r6֢t QZ9It0#V$pJs|gOia2pʮ+5;*T_܎Ԩ`*[[.C>l?Pt%.Bpa r&AoNE,1GlwV+ꖲsn7t[㭹=)+մVow uCg.etvCKhAPtxnb7Fz갤tRՑ #'K^]/~ͼV"}-ƨ굘gΡ+hs軗@뢺)J=YF 0ۈ0(YB#4(DYנhL9s ֋e7}~ߝU1X8egGВ-~d]eą6>!9HBRh8nr ᾖ#0+5Fٹѝm1L-`JGD*>)M.^Ęz2x_͖]RK ~&nYP\A{T [=.MBMT ZΐSg< +V=CEn-n*Bf_nŁ᱔ V> (eaŻ,f#5 T}*FoHZ=s7E(v(Kt8s δ [ΆHBl bj6cgތRP'iIy$BsPV- [CYI\}o*9s}Rt&0_>mT3N  sQAWf< OR5;dv婶8.sϣP-%0yl\J 5֑ 3 R'f6B_F\֙Ru!k`ٷ:1n<=#ߺE v*^_FǝXjy\VRq.q~=)1 U>c𙓃٬p4s=M]I!kbVƚ,JULX{ǓFLY~k`:7rZ=ò0"Al[6ǑxpLO+@U_= ,b_?#QER+x%Ƕ2'KdO'JP"@nc8uj@N"Hls@Dfcv]isiUUOB3LE(Lt"KCh0g򶁎txAFt2 -zՌ{pښ CUOǁhs]c]k0MyCvn}j1t0Z%Wc3JWnc6 6ֻ%):P!$BZM&ˆk[ eiXs<=!Xo{PGfҕ)8{MEbGU;Q2oɖZRam웚i獲.Z/ }و,+85N/p a!N`nH6P@sY' R0خ(:>OT/izwOטA^*(pS  v([ %o}:+'_zdB]jm@°]Pn?VmuҎç톭s抴k]X>RשH7 g!ڛ=v5=][#40UpV_@);iDvm+$D,ԁ҉p \9LI &H5A&겤"SY 3DOjma2{;&aRꨄ,:R+Sx@P2*V J~÷BNgoI)%wЋX{0`Ւl!n @Do|"C*1yW!Bߌ 7/W%+%ʠ`-ZhHjs}f2zH(.aSԾv6Rs&~ۿy$[\V!vhewWm睊\)<$Ti!&F_ ?Z^t-Sy O:=~>ܴP-L1MboB=w4L7 K⌕gutjbb"nt;IXy)uAcضF"r8yp"͐ ?N˭ޝ:I뵮.>D#f6q ޑ Jd28Ot߭]%5iQ[FnUd55D%H҈ ؆$R󲩺JXa_WTI-_*9 p͓ C>ΐefHEC \&]Y`8-JުEz0㙫_ g"k,_YVFd rZ_c.IlW>p{x5|lK@UYS_5MWq8,[:=!ZtdǏ &(D`j̆N/L[y$ɯ~|$f)8C gD! w7Jnrbxhb~[t3 X(/zX8a׻9iI K`kogaEgE #(]\'E!E~-ˡi =5ޔǟp >A()'74PSl90j#fBL4\r+S86iEߙ/ޗоs$7ن:4d䐛n_SvUU1W65mF~\ /b?s| bZtlJ4 %r}vb{ ~WC>1'o[k;]nQ2?d_16B'E#j۳4s=aC4y DQ9"bl3--)lS_k25oD;82ݨF^e=u(&([ ڽ-8g2\jE^A3=`R yYbt9zJNnA?MdZb3\s %B/WBgzzp׭_dh$Kׅ()=om]a?U *a F 4a-Ly>vIˡuHֺWԍ@Z/Ocƥ~)Aq&[iid?.tJD9#̎RBHJ偷Cck`ry5i 7s[j mgJewd %ӈ쬌!WÑ2JyUiEJoiXm<Y7(&˜zص@g{uv_.s#"(k=B_s=>s{b[9.TAt¼DDt!S*5|c1X%}2Y{1ⴅZ^yˁ0{$ֳ7=|rR_/QEIJ 3װDeWQ=Sqxn}f^hx'u'ɛHjJQ-2,К0_is -"v<|̋QbBgڹ2 -iiF)tl[^C; `+ F4@5{/K"6S޿@CX4O ɖp^_-G&-2?kq' ?u[<" "0>_ XS23^j؊(>EOK&q32{wZRJ18g$_6ֽCvtAS.GK%jG1}Q (t\=xB퍊m&//fOؒ}үa SM,^Nx>|4;fl }G<V?E7?=p3bMMoY*qz5R,3xliﰤo-%{^f7^Ì-ª˸"W?xQ@}h GL9?c/>KDIc} 4<Aa4W֣I;̸Eȇ CZ O髢VӮ{"T^/#'0e ku1BR p$̆q(iC";^dY2P @ ep` >~tIz?6AYNeߵII Fe>f%P;.8jya7q{M9?*G҇lG͛tGa#lx/$/\bブO!ɇ()Cz 1& ̷z( ݓ.!8-D?,' (LhZ!(JhD^AXg "wE0Djjil7xDn44bnA꺆Bn cߔ L;&e3 BE6\tu~K5_( Gs/zڪ@;H"؞Cs4ۓ8rꕋ[bf_BUIQCdMH'yFŘ6 c;G m%yR KPz [ڶΜ HLsh5-;F#*V?PJԞSz=Y;XwEOXIZvj)aE_mXd{mT'͗ UBoƜ?BJwϣ{!dH"bI?h7b%O@~?>i&ؚS<)02r,#>J2+ϤXdO?^ o14=So1Ǡ.Ar\g,Jiw3'gn hZm|ͅA * wCm"9O9Tj6* "f ]8ۤ7&o90O+8p*Y6߳^CTz >ΈrG`vF2LP\ہk7ļXptk*xO0^ ކ4.~8cZHlAں[sA'`km!ɜΙ-) Cjϲ$GS<:) >]. :OaaܲEW8:vht!+&Zc}q&=Ar;^D ~Ɔ*_/e*wg-[L 8(kx5"f`n)kb~38P"=ďHCXnW134P>[4Tޅ ]j?H=)Q:9 z;Dt  .}ĖT{kgIpa!`AN$+ YlX Ȟ| 䣯mBtb:K>N'JǂxN9E Ag8e=Ҹz4j 7ٖ^X`ob*t9iʈeU )Rc,x/0Ii懐-2tou feJ|ԲV@>zP*3 uu2~v ?RFz}WPu*S#.8jٜloVLNǴNG J z "ʴXk3%b!IG*Z'Gqր_g=%}kZ|8oLPw eCL5O,]X -?I2aG%cAp1kWoJ?kBlFVLn2,LĬq۸Aao> `PʐS}@EĭV=9Ѹ~ R'L}dP4%29w>O)wW߯xm {̶Й̨h);A$491ڗhSC4ƴɘ`pjey0]P_Il,%7**WGr2AK'a,Y,@F[PL U?]LHwCѼ01 Bn LfKsNBF$YقRf7 rZboť^)DZ$H=1ГDd݉paiK1b?ḶYk.%9>| ADm֨Hd9h/h xB/D|pJ]Z6o8 ӜhȒ-ȇ-~xZv&Ebb|d:.ks)h֘ʐĵUx&g+T-$7d c2gZ"O Fk_ib.B l+yѷ]Hc #Y MdWSރe"R.XE-NӴ.gOnmk.^φVMVt,AW&lfsGߟ` O|]t2wԐJ6=߁q7>z9WR.>I`qO">F)㽚`1h<%YϢx(o "a\/,wvKvkP38ɷ䗎p*=1uE{;X^Hq^ ht1q+FA)DRq5RG6[떌U${ES`!IhI&W mڎ0v#˦iYg>t#ޜ{mfx 81BLdt<Ћ)L3&)e GT|d P(y_R< m/]Mz}"zHUMo Z ˉ"ʼY )a ߂$wP0M\_Ɖq`׆ę*wXU:گ(ϰ[D])З/h}v{|-&qHJ֗ޫt$a`E%#(R xݞe\c9=Jxjh=AKœHDr9 ,8cbS#:|z/n9ՆoVM* A36j: hvr Kȹ}xhR5<7:W{K}`I.C%u#JnjU|MSܖ#fV.wيl%d lL[̮8Eŷtk87~P")Tɕg≦cGaI}p/$H^Hm^y7(KhT]bu6V[jl"Y"eom Ȗ!m@Ƽ򻈲kq u 2w'||r*"# /) Xb lej[XC]F_PGd$o÷6˰X|aa,v3r+^6W8s=a4IW62lÐ/[N WЌMDIqI^2uVp1Plqw}&.!m1!g K<\I!aOJX{P}oOMBn;[7E̝=AE&xg4=Xr~' 84;}6^PbyјSբ{bc⊃=i8 vW"k}cGɽu, i\E`9Rq3 aWTWv,/:c 4ljeh921Jtwp&@uހX>TflyKXl|2hBQQr!|j=gףT "<Ɵ+EɁ_Qo(0劙uƠBy,z6a*Q6#RF:!+9݂؊t7Q]mUq Ab\9.m 8]F>G_`&, ךArhẆL/O>w_K 'c[4C#YK8Dq1t)>VHVjAsrnN7sM3IwO cпF>Bo*!"貌ߤsٖU(dae_2SvhKcfi0fDg{)v6"VԺ Nd>ă9syI&8~ylu 4Yۭuʁo 8a3 u<ܨEPt}cۚ+o g/dVjuBT;|cD4E/B@Ϧ(}.ϭ>Iфl8UHEmKYSf} )u.}8Q*8h7!ܜ M,oذs wƷμ̓KC3]$9YTxO_Ⱥ EA!{VtHf9q&d,ٹqH*f15.s`גщnѿn\g_ 1V0ow=FӲvU澿$#HqO7Tt@s߈Tr9H6d}Ldg36 ͇Ja7A?% fD"N]\c0ڭN-2A sZdlMaw!6e6+TD&HI3R(} Y$YmLV ()1Mʪ~Ώ$h`Hr!+W.-TybkHqhqƝ^ ΅rqhbЖ!KyF]'72!%hDM/ѐ2M\e8}g<]˹z 6 =An6xmEڒ{kRDM3XE. ЊbqYe.nظ\$1' -{%/cҐ{]ǤFB }?',@_3BQ`XZ!"(u_Q9|`B ^]hbK#FC^"gXqF$N2%Hv8q !udg0H|E P7m=NGL$Q rBgeCg)-Jl&4pfiQj4`YP=Q{~̳߁fпnxe.=RĴI|u,Wi`z `k XZ( ǞAJaZ9oN4 -#0p n(ԫmK -)va*4*7TjhT`@=Q0:š?0i;10"Lga-Uț `6 jQ;DBzft7%2FL$70{% q-S|QxL3 kv!I-|'u |"o"Dl% B*t }qvNt#콷R(e) .L`wb&$m} Z8Js)vb!HkՇP"4}o;oO[["ⰴ7h!Xq H{ x_1BRk9^ J2MmGfG궖)y;TazcS(v 9(WQ=S6.m#=c{7"EbUZ_|f7~ӖlT1m4dY*+ν.4 _"%ST6x0 H&e,/Z7-:fCSڧŻ)^R1s7;PZ ~8ͣ&b-c]W_IR RN#9RyDEzubg{hug;-)\(a﹭999A)=*{EHġ7{u2h':KCrD:t՟&qFG%X^ti?n:ES/<u~լ]>AlϴķIx3մO\@QCE>4A? ՐI3BUvXƳLXUP a_RsEn~Ko2QѹO_ڋ=KT%U$q3$4R[x3ԩE{ Mbj:#V8ì Չ<`8~:eL3w*c=l K=iSr~¥Onzp2| R16K S`~Z;kj(ڄ:V&هĐ)T2Rǁs91_C5AwmR+ݴчR, ~qڗ(ʅXgm;EЍCpn5g!l0"xR"ma {½u/9b\\6ޜD ylؚT?U(oӶ`3؁MhHn5Tn&82Rl8v_jw5s؂6朵/h}=`gFFi-FF㐉R`!NkVʄUjG쓪бe8vOkB:Qn+>Qkˍ|* ۳q A.Ah;T!0+ch*tC0jSx1L T%F)&UDyD,V YbR##V(<ኬ5^F, bhv8KTk؎ny(+l{A}2+DL+9t!T=۹޼e"+!k~d}DQN| /E)E{&]zyچW0Li;,7 q ?$%;Iwn{!\$k=W9^FOWq7VeNYvrMan)c/ۖ!݌x}7_*l1'u?ٿ4VZt0\e@xkyvworVWʺRbf kڹֿ6 3drdsSK:#Ts݇PC:Ei|Fu d_UbEl+[,ÝA\TlvUͦH wz}G إ"݃#|FhVB)(G [osгIOP"ƔB"su?F-1}"GW&5fxrIGN{j/:Ψk̂ODJep1PBiBGK59Sy3\n!26k;'H%~M9f `D W ,BԸLsrH./#03=)h=d{B [mXH׏qZUܳdф%f_7A߰Yu&))UML3c6I%|y/aRNj%4?Zq93; 0|h8%v}29X+a DaeЈX>T8 o0. S nUsTpqPT{Dl[ \4 tC'l8ORع` 0f<^{_ t$ä,x3w?Ű69̠=\I44Zb'?p%N~|<;x-'FҸƿb 0Rײ4-!Kou(MHtج6b <LD .kS*BJ˴ބd8+NuljWg}&`բ lF'?q@D 1P!%n~ Ī$.KQ; i/z_7(5+72-`#`{%Vxֆ8Ov8ni* [V!ߋtO|?'g:'Ss9c󕢑rXjZ$n+aP֤ 1GС|w@麾_+7X \dc7tN$ UuJmJfDXX2&I89hHSif NYΨ=@nK_hKs:de#s2%~VŮ0 3MZ75qؔY]3 FBY^c҈9aKù @^ mUۺ$M))4t%AZ\YHpyDq<ޖ Hjyi ;ߦ(b1K>hKzR6~%Q&!7_<͋DMAC --g d^ j̦'*g9pر+m*Rް'&py0n|` Mxѕ{)=UF׆` mc. o 61ƾMg%ő=zD;B_i4'6wU<A s_*_JF#">-8\Uœ _Ȯ%{ -,S<BX>> .w ߄VԻ$ < ӻw p.xX#rПԇA Jn flHցLHs)<өz1䢸%6kʘèpGos*X iߨnX@..YH]9F eRVPœ&sZ KˎADO0J Bo%Puw{qiߘc{ h*0xxOHgϡjo5$g^D=Pm-w"÷e2lh4ٺ[&RYyF pDgݤQ;|zݝ$FeNc Ca>N2zU:+U.`]oVYMR;I@/\S3UY䲚+yzFή^+ ;kN#m:: b_v|D?A$p/jFEЂZiW*Ya3q?!f` a,`t/vB 7:7@*Shab%CuzOl Q/F˓/1Ӏm[},# Yw㿉(PG}R3W1w7^IWN[` HܠE2袈0"nLq=4)qȇ(+]{pG"} X0w/ T(>-FYFht Fwů{Qk` Ih#_N"p8j] &G0~پ)cܿѠjP=7a2)1(,\1>,٠x3 gYZ ||X9 7S# $HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/markup7zXZִF! X]ˠ)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\ȐxH6;OO|vDa{#vH@s~Ņ_P`RM8G{?'u91ѓz1JDUgCb eD>hWurKT').Y]'C"zH"Nl[Ι~>udjt!K-*q z HM(pR1&7aq]_O>l/2|7؎Nۄ"bJ) NWAŔYG($S9n{QwgkH9M% Nͥڍ ɇ*Xx90k}l/j9>HY=9F'p}։es1W?LQW h*9 ~wտ⍁RD0ŝ +̉0[av3z_Dr=4'NLSyEQQ:Q+I;BX_fqEͥm&d>8eo'"'AP"ֽdl=|.!Ϡy[R,ѝCP[kozDNzBqA)rǘPM/[,ܔDUHgǿauW>FFD=.x?L\6eI R[D98gQVp!nc^9"!hShSEUs@2I^J䆎TP[$㸥j5*YgG)dZQע%4D2\pfM9Zt6%+6]*pBYw9$bQ.G ؚ네E9>XD̹qǘ)aoXժ\sÔX݇됺.+[ܪ'I]&eK?ߎ%1m>P9U* lOEac[ʨ-$"BDc!@h(1vYxYCy!J>} x"|;{μSAעi- ,'N{zЀ48f A53PP1-%|pO{?6h?iȝM0^W;xk[8FuhC/~:2\8n(pޡEaQw9\uQ G|N2uĕL 36-p5s|ψ/̐pxes| OJ"%Ә]Pw58ľBظ汿?B &U@D .1P#pf/v_-`z+8$.|LelO%t%IErdVȐ!^Q:8Kَ9 WqGaE۔8Eoű6]D-2zZHnP* 0f2j΂9fyէ\TKݳcL - `6xk0WDGf)5 j45l =ŏ qI.6[ ;FOjD ~9${g2׈8-HN./\-,Ir,tuajJ\:'f= -!PnOD#XXڏfmPA`[2l^XllX LDqqZ;_z8k*`ɩPVT7:%)ݎ%0~H@04)vPmVז6 nl|~Br`pNPdAˀLF~z8̯E2 I:7S' HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/messages7zXZִF! p]D?7 {?:fH\7I+1Uz|1<ePgwc91PMcFN +&;q# zχ3 ͗VS@|—t+E7`̪|JL`o1Di21 {;Y"1`ҞO= 4b` I)m(:vN^ QvWSc*/ Bᵒٞ]՟q L@y,sEl-׹Yw)lܛ1A ,;KhcV-,~D幠hyrBόZ/6M9fRmA/@ U6ӌ$oz'c-ӆFX3\bpxtGg ÿmWoz) Q\ٿ{DB +5|<@-/7λelj``v,!?0Xd_ڊE>+!Ҽ#jo=b]Α!I#)P 'e+[ 0z.Txɘ@ֻ DvNK`*uF?Tr`Rޞzŋyт.o`c; PJ'-`*4'IBYEE&~6EQE+ vٸ; &x?isZiETqnOfG x Sǂ #["K+my"XHgFk(~s(&!q/bo;&v&I ܄~'_f/E>Ij7LqeH߇qj+rֲvB*&58L7Lb]x*1% r^>y`]S ca (%.RitxRУ=qcE5K}?"["QKG1$PFM!hS-(_ qmj)^%33TƐ  aɣ䯉tMLMxlpHTx|L5pֆakp+0rLKᅐgC%#J3/1DϿw :ѕWWMMoT)vL;TnN% ќCk$k_VQ#3#Pt!G/ԋw4'̲ŏ*tdփ콤K:jz-mW;-.Js72ۿ^xLfe٪=8/n?s!2ٻ#-_ОTU{;:KecZ*'9<(](Z~D ko`mxfRY?Ir([f a~n2d0j`)=lbNg|׬oVfLWMf bd*@&UdxÔg:pK%腜J B*:asYg X tIwF; mL~0.ڵObSGؘ{V!!h+mn[KCdN %=F+8Z2E_ im6˨XPl)1 C{G 9G$MVWg {_8zdjgJs"*Xz[NPiU@U%OH,W/&,6`<}G4&oi}AOA\`=^fzI9[;sM iHQn Ζ!)d㲭I ބ5j0~lJZ qmBO&Tkpm.{{\pNz<yscB@Z0CUF0$'u#"o! T):@Aև:mZ9)OqfQP%pòK1v(,QV`t@ 1yЩH Gd8wZٖn\(,tLv(qԇ #*WLPȷKƇHSFy]0w)Ɨ)ج)exnR/r 7b)gYZ