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 y7t|| ]% HOL-Quotient_Examples:threads=6elapsed=27.787cpu=45.856gc=3.2287zXZִF! eu]ŗXiɟ=QzX)qFCkW*g_˴A(Ok| ϗ]1 7n(i t`PLI9cr:ʠ1SY_^r x( :|YŽ嘫u*AskٍJ:qRboJ"-g]RJ`VZ5(vVulYX.2mW?6]g,& z(eQʹBRQU *h]-HK\զ+( 8t ; 0㉎4./d',bﱵd5tֱIz*CAgYZ7zXZִF! ]ŗXiɟ1TgsC2MpRP M^h 1iRX޳eJ?Cq zγ!Ybɓ,аwE&JPnO{A@d ӄIv2lP~`(͇[;ԈiH|:FoHƽo9Usk(6iepҖT3*gN+z }@a*^ +MHJ%u*zgH.⛗I7(gYZ7zXZִF! |]ŗXi%C4bv!D&z6:M^mZ1>ZF ~UW^fͽ}3bRGE(򝦴Ѝ0zsy ,iҋvI3\׫QCQoc%DCiŢa@i(RݵfjK3`xDk?g`c#'yz'՜3['e֡z7k$TMBoZr#jT$ޣy.^)5-KQ ϣRNu>&f;M}=䲖 V7SrXJ`PR !=[<hԣNEGO|סzy a^JwP_Œa QzMo#Gz/ګ]͹&i+Ӽ/$/~* H\9WLD^L[E7 ̆yd*4`MY믌S^چ^qBW$%Pf M5/M^]6I'x? ~ʭ1lP j ?{Ji YhcLrȍ)c7ӊWYAOS$.q'^QdNO 1c0y]Y蓯V ?{A3e0UBH707R+H4xB$Ѡ1#0q ժ$VDM?笈u-^fIx<NRr(b:έMn0 LR JML8{#RidD4vP*CjŧB"_Zo9gx]hZCR{$j'=Kri}cFkDFPo;N*yhۭ/v$WəMU??$ 2ZaAhDyY3}x 驆Yd}x`F,1Lv9 %vő|H;#qa$; #i#V'rb(9\&\|M'[?=j6I[8JK:DC薏f$6)w1hqܷ[Ly{d(3<EMwQQ}Eߪ')6_֠aMUj@".^~fHL)Z,NZ!7H7ȃy}&:Tdڝj\:s:GLqxף'KMF5#@!fVS(҄h 4ߵm' "Wc6#% q aؿntjm{#L]ISϤ9zDn7ơ*Ȥ OEwb 7yim1hKg!YnmЖLn%vnrDn< wߗne gVMOY e96Pec:HUV6[){>7V mJ>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@#99/8+5(2'/%,$)!( $     -A;h% k$ ? < iq  O HD,  E Ia bO7a!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'H7M'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/messages&F7M#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/markup%E7M!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/files$K7M-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/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_idG7K'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/messagesE7K#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/markupD7K!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/filesJ7K-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/document_idX7SAHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetdocument/Quotient_FSet.tex^7YGHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Messagedocument/Quotient_Message.tex R7M;HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListdocument/Lift_DList.tex N7I7HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setdocument/Lift_Set.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 V7Q?HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Intdocument/Quotient_Int.texL7G5HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_Powdocument/Int_Pow.texH7C1HOL-Quotient_ExamplesHOL-Quotient_Examples.DListdocument/DList.texP7K9HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetdocument/Lift_FSet.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 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\̋QsNwm+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=(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*gYZF7C1 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/iE8Vr 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 ))T 7I7 HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Fundocument/Lift_Fun.tex7zXZִF! w C]A-MՋhvG"uIBm5#2O X`9; w6J  ,(z}bw<`j$jl{_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  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+' 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  %d( 7K# LHOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/markup7zXZִF! ?#]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$;X5P]Vz!b(ɧ&HGyYsY9 "| 4Tq?48TtI /~檮좽J3')]}͜IERRc?}KsckB 94.fc^.ӌ޸y# ͎邋k4di9tKtYNk ]q-u'Cg_IfYhi8e˭.RЅ2+m+9Ir;>?DH*DI'm Π7"[~OuHw0"sJKG1 bYDxy{XR[جPhEȏ׸%wG{cXBb/WF;t;^8򢲿 VI&Dxd{b O[*ν e-L&76Y=Rzj7O:qRtHբ$ՁQ$wu(~}^D+󜥤0^Uay@. K̤(4,X201%=GHWz^aӞ*ȱ kgtCҁS1ּk褲ePx_3W}:IzK!6^NW(T4gfʕ&MG^.h rb5WIyHv#}<,.׹ 6Ҝ)ΘaeX5ح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;U| 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 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,gYZK7ޞRQ~Ui lBArsh]CBznyԄE9?&BvG><Y Rs/p)AE*~k :6yoسyJT)xʠp~we.64֑BUr gBdm$"Sv|0R1U[NQKLS؜;i OCGm'+>CUN.s٧^ ZC)Z _t>|jTdLL>3,>AQ2:[9I 4{ia|AdG0r!NZXJ.sz]e;t _ T;Fqk{zEy&σKlIG=N}\ 5a U6 g8 ڹXzt*;{m"#[̯f. Ѕ:޳7;sdcgװ,:9j¨o ~u Y~z+JX^mO;Kl|aU^ $mr^fN@IU}ax s$|H<7wV8 UMa,ӽUF1$HX2wf^<{sj.T^?[>fEltl6zY:շA9PYsu.>U\E%#& H''*( O(C]Nh7Ppz4hr4Zz9I[hI75U&ƀyŦL6}ŸX 2]q.N"٢%|RxyŇ?͏e|hdCYSp4rƣk9WF]7[VLsB_eٶXx[:KI-/oZ_; bXIvA3.k1-MԭofԡB_գaklYГH~tcZ|yԡqoKn^FLQ2?ϢX]uD0O8eZ ZN ';N>'vD,6JH#ylǑ͞֏0"tO?lP@R Wy;grl)7~QeU%y8aCGc'<~_F2 ,P9K8 x{&{H ߦI6ȉI0@J Ug9_q@"ɠCF=Rϱ F$i*s[4`FS Qg %e3sx2Y!3em!mA"z5VH{b5F" qFY 75Ef}b]WNgU:Opccp3?\o>K"[FKgI=Ia-cs (:|;k09WLq1 e|œW@*bϟDQ7?>Ct COܶdN|"v~2(['p9U5B,XE/T TE(6e lS 5Noix_՟nGįy}q`/fD)t=z6-IE88ǒ[1Q LsÖti8GBͤ \h'zE7hbJsn?RR?gq: qlK%25nVN~X3vtrnnuۍp: =e4'%tMMۋV 54cEp?؏6*Npf` ;m V_cLC=N+Ү:/_X#ᖚJ}?yCR(ÎҴb[RfcC9`E郾 O{]|4EӕU>`[< ! =&uuÙ᝼*Vh^Dʐ-nF83-fj.sJxRqP#Bj=\"]sOzHFCt +?P>9Z?B\HzQZ50hFT 8S-VGnJCڳUoooyW<):w% j`0<ˍ[vA ba*jP3XQ%BVhŬ4&,zX&/H-Π>07*pHfV9]d/յ[9$9t<}RSbKL#ْq2B< 8oQIea*bY]̘QhD$*$eTgh/3Elfǹ&Rٛ!"6m@Dч'~r%ui=©E^`#]wJlQLDL7 |g\PY`Qo%Kbߊnsۘ IE0Ws#EoT;yu9`"w,rDY;GK#'%v+YMlM" SeQD/UW=U5@cjکv-r.v'KŨm&(xz++(}+tU|(\L^1rgaBM҃P?5O|i|}Ig&Kojf;fk\* ebd0ґ;$Т^uaJVVMj DK5|9c97pNF8ݮY=-QBZ]gzZّZ~+j"hX;=~f5Oܩ;u3F]+ۍ*|ED ^f $dn|%~E$ݼdLT[+2i$>"Im꿝\X\來*K~!h=qh`nGvX΄G61iDبzT5X2A2SH`#=o-cU1ꔢ0^A릵oA$9C =j5Oaڹ#K ʎW1dk*5B@9!v#cx2CfN? g.QB?G^$ |22)Ǐ\L;=Љ9.@p[v Gt3tt{f8Qg']"/pOhTb%`b8d̀.'?I`*QV֓yﳐWn~2H~ q x@+DH-Tw / Ô%!E E^v}]})j%XZLMTi5V)qT֎ ̊V2`!{G5+eE u Ql] :xi5񐝰>m{ȑ, *zwi˯,.Td]xSx I؇wr* FHݵ{)v^0\`~ Ȥ/_Cq̉-iirʩW;ou'@UdbfPEя7z?jr'K$ oRjwG"gmn:;k¡*hG&Ƥ b.HNa0A+[?$`!o(h>s0ߝc~`r4ZAY.HNlAXR<~R(ntQt" OV E$&>w}rTy/ QT{,lqa U)IRhฟNhpY, -Whdc[O`C8/_k`q`V  ~4 WnD4ȽC1#d72J'jHAbEQ'JSbPnIQX`q9ls1ڧ3 ͨ09I~N {ǽSA)ہLV&޿Z}o!.6 #E]=㓸E;XrI~{Sq@ 056]C9z}Ӄ5b;'{1%Ry3 ^kXmr(vQ3 SCw(<-:g vڞ*2RGKq&L=#s^Vn{J|9yh%ǯ,ٴBCܥ5="'`;~am! YDibD>T$>~g,?g`+B_XB5Ùz$֪曐`O,w -I*5kseO[?خ"=>[x*髩(!P9/{pkV520! ꣕;W2id|!jGHGXpD^ԍx4:@ٲ裃Y>ͪ;C~0c 5`4Ԇ=Fb!j {4ĕ7͖JQZ'yt5R-S`Ӆ||3^2ˡPӮwKg+lhNg0c%Q0:'s& l0x]-ևͳpmP*B=Z 86knǻ/d ueUS@G[%nDIE|V5sWpŘz='$bAN42zEgi-Ai #tZ(oNL̽H6M2m%>AN}zb8ٜT.C=lNG!D$9nYO|(N"eh #.dj.,m+J!䳌꟯" ""*L}$܇KB8rkU($ψ B9d] Sk>-^Et+j%W޹b 1Y (svXp r*lݳy^!AU>jPA^m~S W66s3$!"a #lf=%4E#˿LuE>әEu A`YTP#컸y8?f7oR8*^J$+۩JBO:mHl`Ɂcj ]Ւ.a nD>|7ƘFb;`8r$48vbA#Q̵]G>FV 3'/^GIVt; _yQf֮et ^Q $_bv\ul@[A|!RuaSliy(f Go6 auOqV~ 3J󙝹L׵h'TYrlVЖIVY y^VĽc _}D(˯aX;;TCcvWQIiwrZ>V7:0:RxkaI{CU\-zA_F9OI'r59́TY ^G~8]j\ۑqQ 2h$⏐A{wӫ"G%;K2sYtP5s"0a̍c9넖<F]?'翁 QeP ZH@Ya4־jlHɢ_k8-^qOqكU()BAoG Hኄnz*%G9\6F?8=nGo̹H:s0p,/meUU$5FcfB0hd5ߔ\KC(U ̰PP3#_ZcSmF ^3 E\$y`rxօ)+(ksRddB_$ˬ4)Aa)u8x"C@>f0uepme-aMg4/,8+tf`*yH+҇35B)iYqJ|A}'ZyB~l4CG-IiU3 xD\85zUJ,PֳFEI&?s!'a;p'%tQT<{Iͩз]H_kwz݋t'Y}JieS޿,2Xpo+-ތ wg)®]$Q1R?I^U>`p+uJ 2ͧ#ف!4rp7SU-S/y*eY]e^]4t|"Z6@c^cn\GvSߺtΏiFG0>F9иWVSΒz` b*> ulh 5ĒrX>2 pJU'*F"D`1r" f}:F 9̤[6ۢnY s-epJ'F2Wo~U1^_h!l0nX??IҒ̜-s2p^LtJl o uB4m{!0Nu ~HJܴ&K"бtU?EX$@f<{6Pl9g%Ċit3x1q|RlŋHj!QȿRl.~J E%%N E/<By ŷ6,kݴGiE' +Z,"є3L'P@kSyD(⋲&cOΨU‚`P O{']ͮ$ll&x$)6Zm~$Zr_ƙ4s7Ex:zm{XukZ X qTȺ܌2x8)'SG5*"Tud}FЊ5{T7؈F栾#!~HܾJbk}qR~q۪> .%PO8H @DY}47r×,[e@8 դ`O0+Ѣ~Q;P򓪸lfzfz5z@pn2iD ]@h D7)uV4oCR4uaO="V5њUF򟄎\*Uf>Hc[:xz%DW8++hPH+Ck\)KYDUp%?w"o锱K8dSo7έ[@@ZRn@nzEXb]Y$7Ѩ|8#D`-4D1duPb"Z@ߝwg&' { t^}9M1@%إt։d6t2Qׅ5(ف!I̦<1e"]0@Xg!RɀW 0gD U(gYZ66(BD,(3)mO/| R˗ @/?:w|*Όt֎qu|vZ{jy2滋O(aZ Stj 8Cr\sN&Kα6X2^d`bX.gCRuOFi;^F0 E݋d{KNx2{ЈmMeiA:SVɤ hI/G{UivB>^;"GR;< ;<X}5ka0HZ3O}IiRؿ=MNފ[-^t #hO:YͼWađ@ `!a}r3{)?5,)ڪ[nYkPş$#6S [r d(xI%]ǡOuTl`7p{ qu۔ntEZg& GQk>Ԋ e[O@/Iw [iĦz!yf[)x;H _vcq^tgm}EÕ^HF ,XH2idz;>qm%pxf-}>plC2;6|{DgU>^ :\n@_n2:Nw_KyoD-"PR;B~߀- 3᷏ueH},u Ӻ):x(m!}m+. Ϋ&L)f0RT- \Gm>2k ygRp8#\f2н\4gGg2';#5Px2{Z/;_sĜPIj*WDFƽwS*Ll`sDQaaaJw N dr8z @L#j(C|)d CqpuHo%I/Ts{y9S)bw &4Y:8kJe8zюŸRD soiY6@sD}-| OfV8ڄ0x',2ܰ%k.5É;<Z#ʳYlH:}YM<ٸ2_;XSa[߭mUVNsꕓi9Fk9 =c.8m˨0'bk٠%ړ:\&.36ݟM]@AD͛$[pEJed"!l a~=::-C''&$/bUYܥPjv*m8aFwAEZ)l'S.Jg80bCf>7o&B;3N﹃k|j! cMX: |>3L_^WobSخ,!χ&lƾke~rq'|g6F3G0M ,MRGBg$m3]TtR&QԴ;jgb8'F|dj>a@Agvi*DҨMBsWE ^T 7೛΋\qW{KjiCFH;5֣PB7j9Aýb277+3t.rFa;㹖5p0%Ѥ {J7Hd=!N_N'W 3ip2QBo<^_u5o+fhIgpPc g)#t rĄf,|G[-@4?܁e`__O[H`^Z :r}a_P SI!j0@tn]|`VtFut{n,D^g%XhnRYEMGLp5G+8mr}3CnEC/{$ c㋘̄uİFFQ6+ BeǚXoAyDZ~4:κ8SLε]2T@(CC݋ձ"xBp Jx< x4jjdt(!MkPnOIXXtYlI/~>k`IdAǟpי\op%^}ѐJhuàml?Zmn_Z?TQ|]onE%ٶM棝EمJ}Ȭy=$(7;Aޣ~ڵ!<J7x.5_-VrRgX^qoa:Tw7b}hX8 DP2>OZEIBD^P=_:S̙~O{ ݺ?t7D%Wax oGmjUvGtc>Ek,t:Go |rI_ \WU E#kf1XD;.eP&$7C)m+~axdq$($#5]΀l ^8V}*P֏=_A*T)8̹&;e6$d!JL$4BTE7ZB8U1*vDe䉑nܔp@^1W N޽ ]ؙъ %7I̸x# 6F ˢ;@^Ȉhc_q5ħ `Dc3]R AtUh?H=^+3Xmr7kۯsDF%pm,ٿt҄R7~S= \=$|>{ţ>Au@Si^X7e<ʘtclؑ Ѹ+8 DgYZ  = l 7C# \HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/markup7zXZִF! !)g]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$;U+x+I9( 7x4uvԠѬɽ˹g""#ԑ bˮky WM6x Wu[է oՅXC`]jiQXէa|?y}K0z:zqƪKU8= H $%^ٹ0+rZYF>|UC)ydt+YBlxɁ|3kmDYc2[& W?F{7ް+ 3=訕煓3'n*:40l z q'-s QS];x6K)ZԲ`bJsэ)X~-YUri9?.,\>Qkg>` I4Hey|bN 5+cIx{EP, *éDs99jmϰw,F*cَ֨ڒvQmub*/hJ\3O'a.g|%rNJλ>Nhg2΅Og/_$$jw@ Ep(KNZ%:*T6kS\M=}A>uO~)׶iFz$?cg|<%Zr/W/|(QA“IOoYp,LmZ\C0^ |mښi8P+15AȌD{T͘سg݇N0 PLDp{Zn︄19{Q?Ҍ܉Mn .bcwA]T9{xb}QCGG{棓4f1Ŕf!Uefc;W" W_ri^XJR*~`0s,TugM:A7VZŜ\=tẖGsUaxwҢ(C]ald0|sJ~zk/aKKChnB\ Tڲu[@K{ CZ;W==8ЇEVc׬T_܁"w!L1@Yy> g%a׍_Ϥr|u D gUIү').eF(cM 3LJ?ݿRgv*z9č\?$DNu ] -_WGtVK?LX~%-vOtLeNvBw^~SS‰zBsrO{g(ZVd36 F`HSdD<q؟yc3i J! YZ, 3X32u=M3vY/HyHXǓ"Gy@!6lL^?΀*9vCBJX8 й!ʹP)%TƊ'~wM^||ZJ%7S<=Gbuk<HCKc nl2G@B,ih)L(]de/t $ du^>5 ߘ~Lu!+Y3DDLQ dAȾC6| ӠhAtS]aވᬺ"L:fA_(-LIak1a1Fgç ٸB/X"wM ݊, {*%! %R}"[i3ResAfܴ9Pѕ$^Y^4+{?N#J` >8g P"Y,gK h!9 ɃeOi]q1J_GΜZ1ўY,b+VOж^jGR#Sw{Lu*FVgK; eb@H x2OQڵ=ŐReo,V>[U 679v;frqD@,e'}?,} !`/ӽsӲ x4Иv0N$Чc)DI)= G1p}Ia@?i8mmtcrV|*.3T%@D:_12:ApԊ"x>܇lo]1Rm,ڠVF"74Vf$cوQTR}'}8_yL(u /O7 3iVq)ݳ,{\xwʖbش=N ",Z_4g7C!XHOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/files~~/src/HOL/Quotient_Examples/DList.thyJ7C-HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/document_id660@7I' |HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/messages7zXZִF! 5]Άxʆ5.f-9 rqBSw:jpoZnMo\w#@O# ǔv#M!ޠtԺu IUNQɶK"%hU g`Ǵ FJO,@XQT fFKo3XҜrIfEvI6_O]n;R/}sjL-}[mwNe~t,y 1I˔{dz bsݐF`=?19S7t|Rc(a]Dn{!0YZ!wC>}T8s3-Tco '7(|kqf^!}EV$૩S~=0}GF4Թ,D~R<̖ a)`Gbæq f3jxB{f$]0v5(uЯ@ )&I%JU(:0;Ml֟rυ54%[L`s8̌55p2syUBNW)eڇts1vEDznr/D0*9e'$&Ur_/M.hTH4F4U =(FLNTT7-6R;`k8 "='t,y٫|k@^T墺[%F$!L®Iީ'B/Kjds\̅8GJ.I!yGEN_5!܆3u\&Ut#HA˱iꝸGzcR:,uJFLzqAd9L4IT5̬p"X+jL J7֏aH ]&df󇥧@"D^=^mBg},9&̓]#VI%2̯XKƂxIhh-J`m~PD שL^o?DiA B ߫QEjtDA:v8o:{Ⱥ,K %ѕ/l o%e0p7#yqeR  棓Z0>ԐEYuck _h#@0^`~ d1g Wj[V7HIlyOЧwCD~T)'ʊ́h8T o%l^*r0bN%Rdou<0{ԀBy=?u@)|J,gqO+kLK~&p~GI+oi_5&̤J}),1E3Ztk #̢xƏ8];aJ+MN+&3E!>DAz2<,lpź=Vu iǽH=0\şٕp!=:n |%my& IeP.UXsYAop7O xWzfFy3No~mę 'DZ+Cf|q JAgfN6z#4LçvZ}N,C,\~;mc=dB*Z-NJdTB;Wg>9öc Pb)sXKdk~e{QFaNAyNP';LWwR!j*MlJ(N^cA ($7VW )3pQ1h<$I=P+&r~Hz 0reOT!)kIʘGBQǁHR<լ+v'-J[fQs(M_ R V,:kf\P6lzAdCLEɛA0{FuT///WS^C-olTd_FO2Gqjd؜pe8I+sN4B,Fܕڤj`H{ƲǢ(C}{*}j $Ե\ ?ϩ />A4t]cQd$20lٻR(M9jy[g +؀* ͚JIP>o;kt ᳌l*"e@q 7vPr3Mwwr qer Ku}b(7 \?HEG?.p#9.{qWHEyYdxt .Je(.u O'-?;'jaJkINtSARr|)3-F͠Y^KkC[/S # eP.7(gvc;SOp:bI?Ml64(=Ȁrn>WrOdd/½R-Alu_NkfЕ1Ly*ye5'ȦA1_*W~Z9fXR)[,CuXW%|w&GXSۿ7Ç9 Z<}gni/p1z^4 wW1PP.H󃟓*a`=9:C dںL2'5Lz<ĕsl}k 3Mߥ!HWhc2qeS]=[r%N<z֖..q@Ozs4 w E9-*kH9c}J鳐Xu\Nhްv%:7c#JG?b[n%@KlmĮ1t9{BfX _qnFφRhwѬ[{gRޛ m!N'V+z<,;gADof2_q`e;ӭ Gɲpv uwK<&gGU*l`0pX[L.biYWN9zҜK| 35<QQB]3$CI|)ު[~8+4ȸdx>v\bbtIa~Xϻt|)3:}J64es&4tzO!`gaFf#kO_mʈ(\& e,ZI]a7ק ꚫASBj"FU MyoHUN? 7e&g\2Mvuс&+VNlI[w OVdPl8L$wO]Rɜ^OZ[ҰRd.D`l7O'q..gt3z=Oܴoh@u#ϯdЏl3f`EJywOBwD!oQ4om,uD%ְ%dɏY.|B}pi\ ,Z#2 tfqCYCWA[°:m& 㐈'vZ~>'KMCz9f;MC۞غcT .0~?񇊖i#2<3ov/Bl0ko+=4)’o^㆗oוɊ=&a˪xB$RT@6GNH/`ϩz6YJ)Љ%N+? B RJ턆Eș[me_a7cx'<3UlS @Zz#+pjE:Ljf2Dk S; gM* Ď:Y~C - HR[]}z/CVWҁ̩J(^ɢz<W5ۢ V"W,9"TCxeƒWrj񴩞b `boKD^q>Xkҕ,/r#]@6 3Fol)$LBM͸߉6O3Ň~l(T=..'{liv$'&+%H#HP tx ƒsFQcXyzjtS8>}/]+aЛ^moRF+z @"4jxnj(ѳceOPJ>£lA:+pO!Ҟ'B& %?SlM\aچL+0-p6#",ൽ jKY9,tM<,V<!Z ^u"n0 5+&+7˺^3uվ¬m#4> Vۀ\!cH{npoYnosb_ey,^Pչx:A$"Wӗ%pcF{߹|80HU_&չa„>n(*2a5ΉztDi/lcn?Rmna:w^1V^.]Ml2IcR&4,v)azdqp 5HxZ{yr#*$E؁z+4ErO~WPPy8~LX\JK> ;lX*w46]Ljľk0ڝdk $^? 4~nX[5~mpZrM \W8 ̅* 6cnC C ̍:\i 0.3h_*&ڃpH,I W:cϡvwWq}B\PoIOSz7/AK+g!5>sIwdhoК^:OOI {\9/v|rG ZňHQFm1?B&PO,rfApO5< 3<`3FI> qH&O̅ap'4,L>s 5\p&ty50D&g`L 4#%U -SU\Rt̓ Y(rPd悀 ]DvBpc_'A`O;kr7 5WԨFj؛_2&f:vuRk5VWTLI>FÜ __{~iRemՑscg"oξe* Mn^?/j /}i-.T9Ti|J4V䴪E]č!ⓤr/ϭ|yݝaR5.oE`W$#mP&f/FJmAuWSS lVB V a|xf썾#̖xSMV }^R^F` 鄻 n9!wESבÆ<9NyJp K-J"1M}uSLgm&?r@zsž՛Ih ]p'&Ёf]({ad5CypBֿPMASr|ɟdV'jpzУm$O ??rpؘL= OJ,ʢx;IkN)}[i ~rs.z /[g%`q$GmBEm w94ea+E,s.b2e%F*? }}ncAtQ|Sт F: 0/B+DXt_TNDJеs];='5thpkqD@1uWJBmv'3^~Po`FE.FIzA6 vQlLhvR~u% >5i]\CC$\n` ۤgƘNǮ{Gp`p_J7'naj,"9jF6VZL!OPD`+O;|WI/o4>PnEIf6s;jHe Qm(KU^}Ke}.y?o?5#F#^nɿgXSB?׋dcXP '`٬~@˲JP6ǔͨUɴS̈́%Skј3y !۹|2*sNFd-&N9\x-l&t-?㓿iI(6Ᾱp2z_1?r))L(MHQ _$rJ^\pjX.8HQ>zO>и8;ҩ;jT(gQQ9:35H=$qza<{u^nj v&'oh 5m 7iP=sdW A)(vԫGgH(;ojbjFwL0v V6*]؎ERB{_3v2"/6ċC5`a-anfob]SQgYZ   .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\8ҩшߖ|^^~0i9PMATPKfr{Dz4U`D' yaH,Va>IY>!iBr @snC0;clrk#$H?{=\ "wB-8΁wVWwdj7,;gR[T'n[<B/gn3n붳f2uej JW&6&q -s^sxط SJ?"Q6`WY71g]8{Yav\VFgHn62wUN U 9])fo;@CU?4l̀kҟ`v")[=pg1d.AUXp~HI¦t}vJ,s!4 *^d+ ڶ^f p4:ΐ&K弯R%C4uݹU)iޮxߢ!(®rjH5)4/v/!l' xM3eۙ@I5MO{>gYZQXdDi,ZCj|Dԡ}"g*6$GN6Mzprw۪RQO9~pzږJF9yֳgq%xi#l$a-:*y F%!u{*5|BuajInS:xҏAͦ=T0THl'o<ႻkBsqzH~8pk=,H@^ lj p*9mt}t@Iɘ&r _3?y?4eC/)A07k-CF!M&"9\GUōE2՞ nqȎSHp)+GdMkOF`|R;CwPqWg&~ŷfuAޟL3ARHxxu mXy݆ /p29)IOO$KS iŃb*% %l*jiUT!N6gebLj_ld%nokEw$Nk&u؈ r@ÿ]e̪EHD^1".[6gR<+(lE;~ͦǁU% adËޚN m$ οSh9.a^1K&umn{ PӳC6o-P^;C$|^ G?;Y['$MYՐz Qܶ"snjeLӇ3܃m"q%Ji+ޖ9=#MbL|㾇p&DLa꒘WLH=x,|^Bc4^o/O`j؎ B%RPCZm$;1d^|:}DW[mKSxVP3S"K../uKP ]B]r.+ǏɱhDRYȪn]dPQi+KBb_[xMhk<)aRYՎuo=,EBD0qOI8 ɰk\)@PXMnR5 D7ڪ`O -&~T˕ mҮWi/TsÞ{B¬Ӽla{/&{6)JӨz%wD)AJDuQUJD+[!Z1cAeS` r Twh6dcT{"`2Gھ=e c^h`~%%͙kV Te- `S Ӎ^mU-Qv ^S;70X ymDdC3A 8ЛTOiwHX OsI"z,q82(r7rdX9&wACH?iJ-:න| VɱVVEL; wQ2)ttu: 5'n7%ǜq4^nz0T l(kCv~ː~}\eNw r^TvPli6\ܙS*bs̫6wV`s݉''L j'tCX[F;8< *ɬZ#hgMv@*sޥ9 d")Q\YqA^{㑙"8^["D_-tR؋?\]kuۛe]F")ƽ:jxWT_wGJ@㧻|xF9xHE`\ˁt 2!,7;K Y+bvJHhg`[cuH9\wޫZ!vivq OSow0v }ה([_JoCπذÎg@C.ZbPD#L={8 %bDAO,w`O&N_ӡd$Ĩg,wzjM#mlޣTҭץ֫Br@'n4ӝ;JrdopV  \#+@yMRQzt 0mט0wdsQ籷LgCjn)&o }񇯚N^sE[)#ԼcY] ngB!L$=9j{L}o<^`B^iilKdV"ET\bԌu&fuH|[XH+INe6e&C$7ffseJZh[yU 9B[k0B'roP'nѠ(. p`w*g3S) Gݕ. 0⡥Wͺh!8׷<Ot@?*}=`oA|Esʼn7A8o@#aBKZ>qM|ΘOnW6W ^9llz?֯c-, N Ĭ hArԎ`C MI:S>)j8I+j?5v{ "4? 8ZPZdNk{L/DWKAe=!=K|9LSNvl^<1e݌>L/-6VVRa}bqxyc֮V>@jNl tTHK"RU{N?^\<0z5Ydv zȴO%a~KzJBVnN J' m;A4R3}dN'_ke [ sN{f$ (yg4RFրߨ sV"S%k>CSWKbj=`$P!\j+SF{.%_Z¹ٽq 4zS?&5:iXA)t1<0I%O'J$Ve ސDLzdYwVjl)HC?rtXaќ̨/(Ǣ@S\edsf{[ʶe&5zZ.th2Ja`n]08ZT}n jL> ,uJqCclޗ? sT ytўJF,vm$'O} 8K'hhUQH:SBUs@El 3*0[4D ,VEi*$xOV2II%ca{\kr qkd]_ kg2 TLc̔ULQ%H7k2IqN[v`iȵFJF(xg`*$ ̑ʇ8EH= ݼLlnnz-2f*8ͯb@T{W+ؚ]:}ia4& $7%7N%u'Za_홱B뛝1*pv%X"aA h4 Z1|C4MSU}b YXcvl\$,a!YtV#T&Gـi1NJ.)k 7?O샳>pp(uax&օaUf]-kځ|p֒03I@Hbc2$xw1&\>' d2:lIϲ<Bvz7Y?݁*&X}j"n JzQ;zqS(޽PpPj)˨w;c@'mBD;z,X+4o2A3gH~f~P> +WyFRӏ}ET\D^/䰈|LDynŬ@)|qX1z3S?n'bj`C.@U4~OSך'Re4(S07f`rPtG]VFـ|NC]?,()rŢ36HBA"$ W`Ҍ"y p YW2gSZ"ēNBvSL!P󰼫2c ݥnd?gGO7͖a?gϘo[Rͥ*? \1 .z&N?Wf+TP*mWCiZPE,6R2zaq8W_3GvO%>J|66 zVS^z4ߏjT J孰\C`A 6xgYZ Ot#q$7M!bHOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/files~~/src/HOL/Quotient_Examples/Lift_DList.thyO#7M-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/document_id668X"7I' ,HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/messages7zXZִF!  O]·Iq n[:|&[z&6,蝶d?PkV`ewfłsF(X KL*,BWOuisQh]d+mU1&IlVuw25dGy Dq)hsH1D6x sKh!7dDT~V־c-kuusc Aʸ *8IXakH?S&+y-Rqd_ EREmHjDS$ 59WHHD|Rf6.=ܕ@r>_3SI'56个$6 :2-zΕQ>}NV0.Nm>0N.]f"_OTQEb`'hi쏨M*+!*QyBFj25M"wjeٗYPmXOw$[˓bocGۻ[S4 YYN|٭5`Zm_j+޳uQ 1Ty)| $Hn9 gV)IRi%e9ũE@'BCQJ붌2w\⻈KX"F /kxw2Ϩwq)꣥K0~J|F i]3Zb3͍_wcVX]X0CF]osdmj=k[Cka|cKq@2GY O3PK`yϕ2ҜLS Bc=x9r2&nBȀ\J^,^gYZ.!7I# \HOL-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]_j>R9F N}Q.kp=Lnd:jeΪ[٢3+ Y C Xy'BF*Bm跑!eb 8#abllVvGKDpgaR@#oY"ny'["NJq(N-;q8(|3GY eJSb 6Cc]Rjӄ 4ݭ٬bwr.)66䃬Z 7 3_~D9Td9R1/,-'hav> gUjCEߵOUɞ3_ws$Y#8PDh[ yϡKXkYD|NsV`)#˺>A Q,9 2nL*%K 7eQ!W\_p˒*`ú۫ SM}Sц?R)*e.nDqkzC k ^g)ill?=:ITEl%S)4+tJH ~3wn&!e!k+Лˈ7{ou%cVZ6xYsesBP{z> _1Dbc=ʖV)WI3Y'|e\Oײl7L#- m  kYU?B~v'fT@  eJ<çv5,r8(gkM__ޭWTV6D I]G1m@+/0Zx8xx'T `/mS)|+o 8y,D{0th<+׫wЙآ=2p9#}kHG Ӑ,:h.DOj2\$:ngf)kB!k$FȤh/e!9PLk*eIl8B:MI:~H1V]_ŵWl$ pbkGEhOmYMI2W '3݂'4%str9Ej|":c3|oVDi{O/..59U)_ G]F q|#Uvn IDsB!c* 4b17ߣRH)*04<69յ[fи)YJx~ s}U+ٜlV}PÉ[=jeކ/TV0͌ xk]#QFdH%`>M;hG2uT&2$;N5KrFepBk/Wɹ)C:]Y7~1ћǐgEP'e1xT 8[^~ZwSw liL2O25fҩ${zx?ެHF_f!_~>J!S3#.ZDGcf{ b7S<.r%H O+LPeׁ dtkw L/sfb 5w|GĢSm—*`H?uK-m}a|ōkDI8"b2K fxx%pjn# p(bEphp]<ڽU 01#]: X T8/+ISQM/rgc&!(B$!/E2[c;K洗Tqq{m0MFS&EWhu|;}Ml^ḵڪ! D>:H ^&=[Թƒc75#Xdڼ`XB{,0Kf$=;F%g7^\:0ԶꝕFU3M8J r{\ ZEt=#ύ%G]^5pr40D*C`z9onsB [32ca^yYѠi+J6 p% @"3eبGg005/H3 ?јMVxXWKupRțy !+^\獥Ó,>4(&OMn3gxos@q*ZUCGgYZ#&uOf Rq,'3sD>_p]Ag ˆp-Q8l5i)7"JnCe}dw꥘;gҿrOuc9WI˼>x&T,k6>> &/ccx!Q7(*;ꐎj?7+=fkV!FF!jw"͡έ @1.b)C2 תE8tq F;v s?i*=;*W~ks3`R^~ywS'VIB7[pa &^2W*Ir 0 4N#?OaR+b\u4y{ŒJ亞: Pq>u(3mks=!XCJǪf;*8ِO:=PO^_;֨B ?T#Bz,+qoRDm߈DMq8}=|_-wZEΈhs3_up!ȓy9V@?"*(@JrbѽG`ᅲUrjGO gݪ8,О|`!8l>?>jJIA|OМ>ԺW',VYT>I$H:7}ߥ䧣ժ60kbmlhV Le+xJKďj+84Ab "GD,\ 3NPљdp/K^BUBqpn`-LH#yecҖ֬ɉ! ]eR<0fXSVfX`z'qLi}H{ZZLyje4 lLNFRPfI,xs`6y QfQh79!( j(1|gQ/`2 T< y]#wiE 8Y[^۫ꖹ#bN|`E[QSwE5 X f-T+[zz]p-2 {`FܳSx )aQyWIu-\e3H$}'V;[A+yL Hx鞺m(m@2UrTEn[c??ll|e2,: k'bU T2-K xJH  /gSq(vC e0B|=y|9Y+g<{?ݳ%jS0,=x*R/ 򁄓"ԋa;& Pi3X%Z/ V^Ws(}Nf?`˦uPՈȽt./>= ID_UT̀'}Kz Ra:9I߸Xޘ}f3˰O,$V&3/A,Cو%eOghXLJf(& -\3,mx%v3ӻ\qJ0cx~&cXjOP+$J4|& HK 5'CRN6L,A1Aý46ꬄ^珌w.f3kg+;"IQuʛL>e@Q0*W{{<rD/UY Ҡ\aߛ)33 9NkP`{;,z/2eɱTyRݝR mb|~Q5\OoЊ|ٵ3Vs٨=H(8ܸ o܍pq-N6_O5p]FȖ7Lh"7Aƭ/JSܢV^5#w.\lTwNUS0 􇽤Jǔu,(XڲJ$G 向?0wK:oEKFi#;@uU5Ni5D'>T<n$.0S29yZ]vC@*l'D$ w|iAVG]o* = U[&"] CuD'=z%4l:eBΎ5XN!ծÈB7JVgg'ʠ8єaС .-S[]%GfFږ)rėz<t /$*j\πr$IYOL|}'] Ӆ>/jS4J'nBٳs/-[\ =WFc@&;kt:p%Dƪ(.{s?|I= 9)1@,>ړxK>*2v7Rs&a>IdG4y'W݈Mٖ) 8jll ³d[eQ/t88?QaA8L+V pዤe#o y?o(H O`ΌI]x^q"*Yzn L!K>{&g/C;_RH[3 SD2MF V7)!]8oDPuJY>+xW鯉pZL)TvAyQse`rpu+= DuG(8:sC n=*r4R6UrC&JSz%ݒ8 &ș߅w1:Z.W 2w8 F뎰4|h-8fYFɌ,$f؄).l oZ7]ⴙUաdA`RiGW2mݦLv-gX$$-CZmt ~pdvK˹:&Et?wY-}8smD,e-x)n̻aa2o5Kik2Yhŗ8UXd/?AV}YRˆe./I<ʸДz`O Yf(!PgfzEE'cH` j~`m7dԛKÛ&Mcc($N(gH {]wDXd'u-o'FҔ ֐'&jݯ_{)pa3B8ʲa~DH;ĽtFџ: HbQoK>Nf_)C,TZ5)*Wc X~*Y% KT #ԏd2&PzQ:ǿNbܬ1qŰfAGwmSEtH\%wѡ5y JL a3D|<$*M3A?Ou+wYgs{{uVc)_8p-_;퍑?<&%\%5i^Y<-C^o&8+ .̚`ʬ]w> ,ﶎwA9bs"wAAu$/v/R;&'p{]Yڌ&VbOc,&2R᝷J;vmO,}{Vަh~wh+ ãHƎQ%6MC4N?UMƓsە!FwZ;TfuJLi`lgf::u0Wu0+:('zai/CyeR yLqvH^%/d?ܠ=lLN%H$b^ؤ1g8H ?ǩZVy_$.^sfCsrc%fHp{=羿{!g՝rف m*{ϙ@uq^syD) jʾpGU(!8}C/BXu^2{I6bEuϊ GמN& 8U,(F@jl7L&4#"AY Q(+؆3+bӧhK \U7u-9(f}gt;s`%61"}ۮ :XP+h/K m11Ba׬$+;uTXRG/9Knse^K0Mu̇Nӌj݉f܎_#R(P\m=wd]]5šHnAҍ= T;#<ں{>vNOmqdbf5]Dds n{>q8Bl,G\YgEPFXp T,^KsYfP455)(.VfGi;'볠YE'c`#+;r0Ww.u} \K-kݸO0D[T 3~\~Fǣ'+[ի$]‘y~[uFd %@Y Of О,CUTy2"[?H|7ɘ<*jHVGO@F E_O놀zStgCh`KyQ3qfvV(fcjo$72FjmT+$RE ϰ +`*zoS,(J xKW0}IǓQрDbFRZP<-N7)(~䌥;CuE[4qoxɟ&TkgB5 y .'[GĬ-XU%ě sjAȁ;{gK1գ5 MSmmK.pI'\^ w"u@w~UʻJSz"7Pc{gͣ_Dd!eag@k,&%#(4B7'~'IKy;"F{ey[or3:fc$X/kF2MT>Ustȅ*ٺaTZ4١2C;{O'OoLQ 2%N2c*ub!j6"9`Z<[n%솴zBE䄪ݺ6@h] I6ݙ% U c,ᙙ20Du /Y%kW *,YzyAWgsw n,aٮ<06kM@j*[, >"PqO'\ܕ!K~ 5#܅27fD7(wHxMa `~LߋJ׵MeFS25=BJ0f% 3TH",8 &4a~H6^?1a՞N(-~PO)4 ?hv73j5)H!8DbaD?N[k$Y.wPp\ൡ߰ G`L"fژe(!A Vc1֩7w_!E{` NB'2j7gl-ШUsX<rHi56C̯\);PN'{%쫼G4pn8 $pv7=֥{Nǝn@x#(}0oǺ`w^F62hBU,aM66:/-} $RܥN ^ABw}}Fc:g XVPl^%2IxEN|B1#cN=]\\21n V(݃{Nei#NF+ !|R2ǏLuűեt=jcgfPE"EbpԺw):XЅ%Tv] <j<@QlZf! wsvC:ؑ`NIym .;*oJ'EWu4PG0;ԭkGVmӋ QB)ߓaD<-A}_V!Lʛ{t>.y͔:v`͚GTXzW|nz1ҰcgcU! $@|q`&œ8]1Flt9UFaobPWQo"C1drS qɡd~-+ ] +R 3}\9~V|&5-HA" Ÿ̮[k]414!- &A1١Z=ӣ [bٺ/sG UҽVia ,͎sS/liMbJ'(+6(>sY}CA|t BZ1.=>V{d#͊ |إC1(FnX:J)} 'dmLL H>|f1Em$VV|1{ǿ8L׳ˍ^ޙA}W]i3NȊ!Y'qhOQܠkEķWO_-xO9#seʹ%phm[`|~t MęGˋuFѾ`H@+EEcʙ{i֍5H"Ǖ<<&#zC5"]:(ݺHr]8="4yxbmRrcFG 2D Nu+ף.ߴ[Nڜ=+xCـg>(p%9L;zP1B놿ւq$N:zqoe)o!뭩[S6}p`.`K_NqgW?9;ڈIQTOxoMLjDց& J!FƵwJKx|SXUs'H#AJE :^0+ N`{="@T ,}AzZrIH*s5-+jݗf+#POh-eaSZm rHR-Is+?Z߁uHS6s9L.=&`ߠOp%])>iP\#dxD<#6ٺ//vο]uc/,gi$}^Tx?ƌ8x`d+۫>ͫ N`ڍ7K$~zP% h3Hx7LL2'2һTSXOkLv7Xד-f!g.:׿j:o۰c訝™ Ew3 ۬o#(SxSx]pZJ7zO]x! aqehлS! M+zĜyh`d(I~a*t2wNu|:Irspq9I<2 0sE[%&*3F G?rݠC>$bj\ gYZX!K(:=_əqFwe_|F"4c-\zr2vFR  ;#! R@Nڵ;: kNc=IuۂZ+n)*hz۲-Hp.= O=i2 Z_֙B5),6&9;rc|ӂsA9aW;qt&(urx LʩLy 3DTkHOliXjwzLo .AtڕVSEgn,{eՑ"I{xFբ˂ V"?뗣ͻ }Bx<oF'\)nNz*Ǡ^_fB9&?tQ1oᬎ@n93{e!UIąAoܴ u`vU, o1瞏ټ7gulk-@Rn>%pTj^wg]K|@eIᜱRi S[)Ii~cO?`\sMw;)') αL2KEm kpvT(@gTi֩9 l4;nDPVqKSOx1#>y6ף]{R.g&džS9Z6 |Nr8`4۵uX I [%D甍U/E`Oi6CC2ShDT`K A߄ bD֨9D]]v#9#;t !c=/%_QyxW.ޫpp[S .S}G3煞Ww8ܛL{""iW7}b@Y Z[OkR4LB#Od݇w;J(cԴ[ѓx/-#Wut5:/".p6nAV$F[`f Я3ԑCu*fFQ-S= nI8_EVXwRt'.v86c *GM#;F &/>AJ%=EL_?{0EnxiV73 piA?C}hZm۸l&` oB#N$aLnOE1>;;y$e&p lګ8igZ0XfQg^kBXF9MwJ#4yteGv3JO"I WFH/Cvv@?lƶD%UjF/ a:!+6BV:lQkGjAjGlp?@j[ۅȿs0.d"Y\޼sz}\ kܖ^0JZGѳs _z.64 qX;&@g_jl[Aʰ_@H!fa]#IwgOgs)e'6`1BC`$k+~TZkRM.Sìtܛ7/ZLf鶁+ ٔEPÐ3/$ϻzEZ6H_aN*vh[7ȶ,*ѵoO9l=!K!ZWq9>歔UcHG=B/3rtEzI -bJ#Eh`G8by⾁`6AOߙa38KO7 S8~uⰍvՐO1jFoRT`ʊf"[ nV?7_}d12ۘ#䓒ڱƪLQޞ8^14-a|wwu8EҪ0̔pqKt[T@gLݦ#%S 8& VZǜ)Y}fteKuy=W||1dq؋CE|z/!2p.мh"! .nq.Nz_D8K%nyWKUA.?]fT}8 IyUQ-DK3v~ִ_)*@f\I῞n0}abR.\.ИZPw6$=Inss/-䁍7 *?;$ś $I!i4V:;Bk+^ywYAD<,C.C[{>Yvɦ7nP5Hh퀀^FNIA8AY ]_l۹41I;{? cvadE|D޿RMӵlрBs>GW A- )iʓ/*I6<1]ն A_'OEܫPEJ 3o!y/~Pv*z?( i(< _aWUkVQ.iT%͘Or5ULjn_Cָ(s0} |l♂>r js/kjdH#VΗ+CnMSS2w[J,ꗀR8T'%GfHnYFc+[ŞJH!YK0SXuxLo?XũHtGR3W TӇCa7 }] 5ujw'm1-}QLpɾpOFPR%G3{O48k$YGR!hW`>"`ICYv.&CZV*xt$l5 5&znoA^`w;qKGF8oBVd3:#V=c:_CxjiNW7GM'ϲfA^'H# DП \%9אi^)gH?s 70K» U,&2yb(&"kss]cKjT3gR>g/``)txDlQ.K cu6_IGq>'Bb)qN%T_pXCbO@SAWYDJ4S{lVz0k?XkgY> zOtTt ǿ('\=,<[ғ::^ˑk<#  uDQcڷ`D .H1Dw.0ǠF=HbӴD<|6J,0NWWެ^ED}pNdx 3>N LC jDT;cK?(URPvw JG'v,LI2}6EwWq'NcgG-9$# UB4kրdWw(u7HV)UaU ry1 " &-}5ϫ Dbct Ct8gYZ 33U/7Y-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/document_id676s.7G' dHOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/messages7zXZִF! ol]D?7 {?:fH\q?xݨ4D@ß|J98lj_MSi8Clq2{K04;0Q,AW_=f\fUVƒ7mFNC&X#c3sY4fDiΒ%p[&RCV9XTTRo.cwxcgYZu-7G# lHOL-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+)M?@~lrb6ڻ6cQ[5|(ί]p`[dM2>绶3%~9HMdRs裉\}k ҂,R7:=0W³E0puѺK @yoXk6.Ok]O_ڎD@ 兺6hSkmna#hAy | N3=Kk/vBKw0+E>W5gGNW]|!F=%9W0 -z|B| !|aӬz.wK-iIB7S0bmRcKsKU{v <417 &0ZS: YVp}p¸̉9$qsNI>eWDR5U$"I*\ \J׹YFO7VZGOOFXu*1 };o@8ǀXAF#eALR?8UTx1ٟ~2$3S<3Ѩ@.vIp\G@P唀%JKrH/rPYWGDDm=UHr*< "BgJEU~gOR([~}JB\'`sb^ @H3A^%\ p;=Lzc䬈um߈g7+V'ʺ* tҠ nEsp_B+Mc0^>Kv~:ZaI*<Ã63ԂYބ˓Xx[P$8(ht`μUL|ʷw%'l4ǒ2,xce]{,3y";氠 }U} ޞ7e֋>CS3=4S^m^&Ag{X|C'E V:+2#*(ԢfmfL֮,{טJ<]*VN9Z%|@d3Bj{xi,x)N@+T83M4`I}\ێ?몊P<цѦF+Nusm W]զ_u{/}.<؞+dfQ"^+b uuǨ`Lz TE \+cNT(0]CME>;| 1AU w{6[i4(Uq aWs^O9[mƴ*_@ RBV44Zva$#惐/i֎dٴLWlnO3e۽_FML[G P7zV *M&pєkv9[VY=`Tt:ɋ{ 8Vڝ%|! p$gmڑ2UxytmKҶc@wH vO{b2pB@rJ͛pF@N"&g̽\ ew ;ʰ%r  V;mrt!1wP]3g "q%3$,PqA/cYtjrk=6s cO̱y:sBh yn}rzY&x>yb95@ou1Xl<Ss9gy,h^ރlm\ҲF&%1 pl SNWlºWQB f-kއ:<w=Lm)WZloAY"O>2tF-Ü枆zO$8f-®aLٺ.4BL[={C MRNG:!!ͣVY9s9Bۭ`"U.0JWڸegpЭU5EP5z"Ҋ̋tE<;"k!/o6(Jf%kq!zmSU3ݫGG?<0;.b9ST8iCY5*-xa7s&osc$ھN`SQh{Z<͛S4]NvPTP_kBwESd[*mR0}+$^bTO@"C[$˩IBY֙m+aU;LA'|M[1W3t\cF.PJAH(˹V^L4dzw-I~H\~|HEj >&ʂ"P$pbM1ΜnBݠd'4-$t}C | \ͦ3IBKVWJ,Vpi5yTد AM1TMQ .ΝuT o3*&I+Jtqs;36s $iД;M>S=@ x*zAx4U6'ەu<_%EbB!k9 5%_Cݳ'&a;6ᒼcO ߺ6{vcYm$Դ,#'sB2{sc`43Й^vT ^n,i:}aT??ײ)sȢSko@\GtLޡ5s}ך&y*lӣ_kKsMΉei@<}3I ÐN qaektD/O1jՕ~2{K$XvPK}tR?ܢ2C:A>$9$eEmA?h%z *4 Q8R[yT[ MtFun0+tZ=P*Ǟ)7ʁ2O|Rm4;9CiҡmаV Hb }ݻX ӓ{dgYZg1 7Y#  I%'AL)\}@0@JH0+lp]L u!C Școљ:bcQBxP2aAz_`_5[&TE%`T5"%kۨUq["h11 +גJ>֋ P Z!)uD׌,syj^ 7t= Cp Ś5jY9# LE@5fHWt`XǢzi ҇n];1/_AXZ9{6#7#cj!R2?v''lPSsr ٖ9v*{O!33S.@fa +N.e@Mx;MIOttcu4Z[s5NxPDY"L{KAt RdR$ѧǰP4bԀ 5'KhP!^F:ÅY:/f5Xu 0Tzĸު՜QoH[ԫLiT[^:ɔ=t!k7EpؒH%: C@MD-nyRߟ?OR ~ :AZo".SYoV7nAs)uT(Cc qQ*COYi 劢BkDW"{1|T7Hm3W9 ХSi5ژxD2uG\ 89H77d<Ȏ_Bg,&eɟ֧Dzz|EG׋I0; 2{v28f+pWl?K}]gs3 0&YayE!$v`_d;EݩcudǓּ%;[<-}8 @Kl=oEp&OSx ro`y 3!c( ~ uCOJJ+NR!'ă3XpPP d>;dvR4W+w."D[i١?d]]]Fri`r[zOPeLEj }yy0TRYLji??d_oVWf;Z a3W`cj/3Emhm}oZs@!4z\[gjA|*wyO:ʑ=v[d/U,Wf6@QRjЍ?@h$ijz>U"v]vL@3AVS2N垂kh`"b¾}@i*2 v[B엔R>XgCNk(g wdA Y(JHhHIIW`NtACj> }|t\:6M 4DT@6n > XDisօ&}]߶W勅]!T.f^*CTGw# )}07Y!nHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/files~~/src/HOL/Quotient_Examples/Quotient_Message.thy*MZ)J LD-ـ5"~,XZNA>l;0/v H_Jިti4T[g[%9y je-Wk(D,\l-=g$7n;}eY;)8iq(`X8m>@@q6 aou{:>p>(Ufx/$Xļ 4h?M[jy[Wj\\7$ttaiz&u ٽ3ޖWT2EҔgXvK>IKcԆA!ӯ%`"{xxڂZb|1zB|tcvJt] r,KLE OW>+͏&iɵp٩%npfP&;R"ٲ/B߹(@n7x|sEuZF_sɫRͻ%'ī.Q>a#` 9VOlkr`gJ1smv|  :갈ǜR]:7k?=d/n$@x83rT`to"'X =7\=kϧg{ Gu[*4^Am"~=L㋁'@>v h(ʱr+giKNlΈkNrx3|'+V;(U!LЛ"lxݘb )arqh%.\}?걒qg(:C铉2Io4~vWw-zMf9F茉Ç.:~NYS:o܋)-! Eo Ԙ!"w(%_<;&"\<s5#@qxIV3\`v;Tؠ+*?;dDk#k|0Pw݃Hs-lަF`uS; zO} `W09Vʇ#&Hǹ1f}6 lp'ÿ5)(^d~&d g-7x&zqKjBEJT?wBBg ո8| . ̌8x]+*UZ1)L}KĚ=1#ҵMWePy~5Fojk>Vk9 R<3H^@&A,Q0:zvօE0ッ%0dX>$) %)PNJ.)t;96FXVUOM9dn@J/蝐_o8)+Օ^  寸1ɭð^]+65+%SS ~7v("(ѠⴲG'e>|!['! ¿sm…$zfBrB+M{l1oODALvx|+ό:io%R$~>n+3|%8$\s( w;T<ʀ}KP$wLǼw\q x s104SX{3V7uy%:noJόf^/3ь 78 іƮ#fibODW ӤIaA ⼩8w(ʍ`o܁'T%!tPiSvO"J]dMzu#h t|ZU Q s_ z22]U"t3*[ ɕ}pCe\D^㴯UK/;`KƩںi[QC9xq]yld9g';U{zz/na6a&ጱmu PCg\=w"Nt p|9ȢE6(ePmaZ<.?|p](*bRqo#22A)^^0%U) PD"&;SOH2y[Y :ZwײГ) DPiГubh*eՏM%=L ^EC $%xQDZǺ.I˚/hHjxm|~uRv FMR5 .{|> Ϗ]qLU+wݍ 5Q<#J77Dv >Wg`pjci7 XF%ANzf_z?XPJɭRعHY>oقu;ԹQƜ;˶yn/"P1HP=ºmfZ)7, ʴQU{gӴ+g,ܒ2xN:^Ygca" ye8E[-Y>i64WiYu5U1X#gt%mLZn*O.+RГjA[ P=<+Sˣ䄕zŨ}ڪAC<&ߑryrp)R:QOz k%"_tGGgzNDG-<HD͒yhE?!at̼;Ȧ' q*rLf"%g(}u~k%œMVqmeOɕ9šyj{#:E T`A6g)7).#.wnmeoR\#Ĕg`JZۛU2X l$QnOӑWXbsV2>ֱʆb&.gc֋[K5y^**S;\<'IpȪ9:݊לma;>֜yz`Md: oWCAj6}Of j*y' _GQq&uTu9b#"NÏ!޴D]re|3gh+2v]fo m PD4P Oc]k(KQĐR{̩~dloG[eiwxU?^x,kwo-0*SYJmZc7YSR楂7V\=wk ~<5Q4RFedqG^uR7E:][Ѣ(W99)dVX~xSpA\ cPaBST~na\2`ײ/XcTF=#= KMm& ϏdVp2g9ty9#*BIp#bc LG ;Wg5(TĻT3@($o{=W2#Z4 :S c'kTY -~M*jI5l楖#ϤG (H#SruU*nhXVZXWQ qnt,prL&X ΐ^贝j0Sle/鬟 Uti^D2Ŧw/t-Bo#hAse≚ W% )ͳaTH!Jˠ%ldC hF_Eڛ shF )炌WQؚ8$*yyV@uN=tP[avuxhQŦ?-XɌ5|P[Fj^ p&;E#bqg/TK}&=2!Eb48و{{ x.kP'0\I)Z7h«o*EP0_ +Տ9ԦZu)k p,6u:芸 _D~8O}J9ʌOOOz4-.װpl4UHy}\8)#HSGv0ؾ4J3(#_#yD֤3 Hk_1d^KҒ: ڏކ5;aq 6x鏑Tn{4ARF 45 <5M̋ G,qJzu#p[WGTA "Ij/5 1,_VEwhV71(̯PkOnp 0>x9j>ZЮ(t/yXm|ƪ,mty+ZK9*#_W6-r}°KRFsJjnQtY7Φ/yGK-fj {h=9P%yaQlgbu5;/5Z M܁ Dx}kzLnl?)#=5^{BlWv+.rf+8ˌv+"2b~3c) 1"g1,QBcL3WO,Rno`j7$/9F~#"슬Mr5P'M5z Ru8.ns,~ ˜z͓[L5+&l℉g)Uc*P'*#v[t1M6GoT[͊ JXϋ6fjUK.\][I#旆ybtq-h5>P-dzD|,DɆO!#y~7` 芩^3%m}S Xv$X&6h\c7VzVlp0% y-UГMZZ{GHc\ĕF Ҵ]MhvC#*0Bf؜P!eglK׵ =۹$" .KǓ^Z ֗L4VVx< g7GRE k+$"%zY-%*F10Xͭ>@S5*hh +'ce=VvҒ OS ;G\Ru8Xܗg<0F[ |*U<2PaBI= -7{XJ}6<OA9JJZvظW~i,DRWiϐUĝJnjPNZ8=WXG y,̦-yBTs%kwhrv򊜦zxe=4Ƹ7p> &i 7=}AF,Q/(bK8ig&NCKPq0E.+<;dёQ*fQs./GmG@?'b KuPR5t\,IM<{:Ǐ+Чha%չvс;>]5Sֺؙ*ǠZϿy1#9Qأ|gXRL407],Ƃ\i4|Kܪx:fy%a+ ҈0@;GC3%VW{D0'iwD'Y(ўdE=&Jzv gp-? e:mY=[Ux7{~)Ɣ "/KN"T|ՐJgRrk[D -$ff< 4ۈ g~ oC2#+qFR2nJ y[* vr]|twkMFE %u6hȒZ|?x$r qכ뾫pUgy(m@2iu6;hgZvJx/Ty#Q<+:0.CJGOoEߠ7 .f46ㅠΪPU\ZZy`9 'c*}~n+ Ba_)֬mEfk3@A߬fknp}, ڷpfc̷%>d=Ցd%c0u r0ttTPӉKsL0'k@\,3@1dA*3ˢ,/w"óvoЦSᥰ߾M8␪L&@/_9Yx|BcYh>5xT"TW2vw^lw lb;p[B}-p'Fi6ÊRd xWP]P Jp=N0uW9+L 떱dDJ;}e9hGެ!\T~Ǯ՗m} R̡e"LV>WTNH67|˸: Лz~!BsՌ<4rcMzg}r3p~K8M( 2yLޫ#MIIdRp"A{f?owMBY"'{#(D4=^WE:7 .^YN֬%į#O~j5zb`#:(M (/n-ă=?4U}P TV_{yݑ\.xC~lE 3$.$­ S^^릗3W 9o^/>84=qF 3٦T{c֛,G֐98v8%$KIu9*<MVL_RʤC2ARÎ{buAN'Q>[xη9^cɒ*+bN|ndlo>R8Au!70A[jؠPdT*l8 _p?١wD_LTV6fгo6w5C~ zG1C5aGh &!RUGz=L QCV #υǑyeU٬jM6*G<WN:״:r]9L'>F3ڒݞm+Jϐ_ D6mz B%jK|Clkʳe5m8KK аʕ(2?0nY`0ͱ^\9e[͠2Bh? Liio:$2΁6iE.Dv]gJ ͬ/L={,?(uD}ALGQAM"2 |?YCͨc]嗏^STzX':75ۉ^jNh4sx8bs-iC9MftJ5.1DkO<-YJ:ZǞU)l٘:Y90.-J'cS!־cfPR ׂ(kv|CI{;v_xP:MsN:cأ3bgsc}-39˒RQB$$**ÍKc4s'1S;)61Eu.kWcc} r馓ߛ/;Ts^P?OnbߡO&+oOta[S-P05%Z]?OIn3RAMY‰񴨋B"AT%3Xe?*qH!\)DRI&jK6++^/@bvC&4OVv7p- b{`XwDemNd f@dbp,o<JQSb*4}'Ԧ7.juV3Dg7,ƴعGߥzn :CG,降qL /:Y$T$xg@eŸ5K9,Xg[&ߑ4v^.Պ6U|!W{$$"S7ʵZdJkq33 |Ě@RcOVJG< H0)6Jg3qW*olUA|=CA |wH,h~ct\ϑlߞ[{⾺%DŽ2;t#Sk`w:I8?߮sUރ ߉rup*/0IF,;:ǩrGVZB]eI;{3F'Cp ZtnIn S"5C0} eȩS498_.g)1װާWu% SΪsfG[v?wQHG֋3]erzQl[鐇yg!vb $Ub(' GFyojl]*zSXpFL~b2ʫNHy\>,19x_a|88ӘmxДMZ#f1`F}1-JzmGߡW˜{̓4N|Z(g&jӍɹOu!ЃG!uoďp:b8yz6\R-Zuw|Im%Al76"*?ic-!KL2?>Y'Mo,YTXX+2tGܦN(Lɭb<#$Gqgksf>AWĩ־sq]|JȂ:{3e "yx##Zz(F gRp"~فP@mBl_ }3:W.W\>F|A(O'et|O3l"IZ=o44!s,a_ ĨX@TϢ%HɱRX.ߓ+JĵI*pb $z]+E`e%]t5-P)mwzox74C:$$mČ /Q=Gmrk֑ǙXY_z#U)>bYC>l*^VN;X85,!p4!ubS=ʁo٭Ժ_rύd[?,wL䄫s3NAbʞP7,d ĂӚ`?P.47a!vHOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/files~~/src/HOL/Quotient_Examples/Lifting_Code_Dt_Test.thyY37a-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/document_id674  A;h% k$ ? < iq  O HD,  E Ia b!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/files4U7a-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/document_id3:'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+*'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'H7M'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/messages&F7M#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/markup%E7M!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/files$K7M-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/document_id#'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_id *'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_idG7K'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/messagesE7K#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/markupD7K!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/filesJ7K-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/document_id AHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetdocument/Quotient_FSet.tex^7YGHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Messagedocument/Quotient_Message.tex R7M;HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListdocument/Lift_DList.tex 7HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setdocument/Lift_Set.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 W?HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Intdocument/Quotient_Int.texL7G5HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_Powdocument/Int_Pow.texH7C1HOL-Quotient_ExamplesHOL-Quotient_Examples.DListdocument/DList.texP7K9HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetdocument/Lift_FSet.tex?HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Ratdocument/Quotient_Rat.texE#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  t/: ; Y ) J V n  y 0K7S'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/messages:I7S#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/markup9H7S!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/files8N7S-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/document_id7R7a'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/messages6V7Q?HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Ratdocument/Quotient_Rat.texJ7Q'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_id^7YGHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Messagedocument/Quotient_Message.tex N7Y'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/V7Q?HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Intdocument/Quotient_Int.texJ7Q'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'X7SAHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetdocument/Quotient_FSet.texf7aOHOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_Testdocument/Lifting_Code_Dt_Test.tex P7a#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/markup5O7a!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/files4U7a-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/document_id3N7I7HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setdocument/Lift_Set.tex D7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setcode/set.MLF7I'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/messages"D7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/markup!#u{?cBף|ף[ w7B+Z6t04RJwSF0e[+[i4}t&C>g"ß$9)U\,?Q9 |Ga uyy?g+;Fz,U{.*|zJS _MsU'9-DD@o[2N|R-.&‹(]_Sb+lwɑ)^.[ǐ7 gxgLʵ4ڪ`8 %\"h` x_v*oJm]0{x; /K zX59^\E TZ Ǜxml/ Y^,pĖF垎Yix Cq g ͯ] />"~FC4o7z{n];{u<9yyu#>,4h񴖟H1eҎ;o@޽W?k1bc>s@ʸiQ=5F/a ѕf M>d>C`Fv;Hg-0X2cbQ'd¾?~жFE"1HXert ֎N-@brA*gM-5_}l+ ï+W 2@t/ еEױa ]I@R RR6?HЎ1nSU7J( &c\Xx+(mbk:Reg4~07g_!p zEiD67 l7#]i~- hcYǚʖbu+~M#o(ku W(`=%&[Po>DoO T(wXkAmF`G#6?ۼ\LWP= GHlcP0)G?Z]g@s)A?öR!e3X #3P#.~ar>-,Cz-^X2;/"T8 M2'qhl'0(o}׈WѯisޚP` Tp }d!['>Od(PZLA_HIZU'nGN&6"@ڦd28U՝ W*Sf"Pb?ʹo/(e4jbO*]\MӎؐKT ӑ!d7WŃ}۪  iw_;^5ZťTA{o{90M D`ڗd sno2 Ͱ ɡؤT~`oTpbMlʹwO2n 0Q<G~v;5 hF0?43rE겡GSmz j w]5b\ᷤb+yU_2EG{ re%'[11Кy~K;.ͤ cvw႕ZU!v7>z9cqLn vgL05 .O!-\k2_h>ZxALML+>h/= i+MJmWcgXhUI^?Heqi@vg#!Ɨj&|Onv$;7,KWXZ!om ؎s6_ wDU=@0}1߾jP kd_1|մ Jsl{0xd\{qӀ aIeRJ) zJͣrn.G1>&; loͧp_?ִhZKz4ldѶOO`+$UFd6 R='}oqBfډ)X%L48 >ڊ3v6_7ѧL1tv쎅PYج^myW1F+[A7]!4q4j~l!0b?+|z=-s%iCO-X!c p.^UDe#i a̽F-F{~J%h3 RбgYZ1Z1^fU.x=d~1L pb &9uT_ KņJ`#=W|C!"N8PdQKuIAY& V(栻PZd[N4Ot7\9c$/^GO~IuW+sJA1ely*ʏƯ1B&hPbיZ"Vs N 1vrEa8cL1:'K&#Q%Ci{x/ RC !6cF>:2񋊧6Gvx'W.4'5BAR!cʶ &oݥH)We]=V4}d8}IBتA(an0ISjkjN#rJN=a[ڇwv\?'Yl7if?ݙ%+ K,Y$it2jeoEhݻp]bB4Dd[n`j40Ƿ cHdb0(ް#t̲=s7Nt 4q59/ X7\uͫBc"ژeAz6ps "$Z.5c`OncL .=Sf'RH*ЌQN7Uoykm{F;B*ԣ"k f[7@܌D1 sxVBvYόCE^&5(E0_k  +Q{h9"F= k :ШN!I O6,y~"v_ 0Cm]02i_LTH2&~ tܺSJIN$yL>Kh8S_1( ԏR<ɣk3D;>nmY Q.7k2À`@a`o_EY$uQP`|]gYS4(\[87 MZgd%LS%[?=%@o7 |4+/cmXxG4oڸ),:)ZrhƯ#Hǥ[% E;ecttI,Gkj9j1 -$Qf(F ?ec;v8/4fo9Xp6B"V^ ͬ@J2{bk iFM/jnGh肚瀇َ̑cCAiɽ?D})rgȬ3a9y,R eA[4py.dOh`vAh8Cƀ (5NbpW !TdAs>{êi)MeP@]RLJ7S./<$&n\uC?"T:H5<)qqg]ga$fׯe31tQ2W2-tcV(숷?śL_SXj, ѩJkUWT5Y/*)/m 'yX/(aQ ;9t\VQi6}/ CbO83(,kڛ6.ZPI0'n~bT'b&Ὂ֛ "?Ig !%"uY N#;u)-6`rouT0z(ϒni5(R%iO5s6ʹ$C9;t@}<1s6y>WbyLR&fXDD]ی.W pv (`9)6MZwf\s1a~? $c~3zU O5b,7Y2)5"r%/ל굲d?ZIWDR*W#6)1:d_ߢUxCt8jrc&|̝E9Pi(GaN4ɱ a/Kx܀v(ődw%fC`iLby*1eI0qٔ,Rm=??Υ.Esf]"UQqC`m]ڤƁ7""ʪCHiX<jF/|(JkVfo,VoJZM@z(§W!X W*Dͱh"]ک1\.TtCہF3K,T4 i1mpNY)};.Q\7ʛrfOU/uμ֭”ͭh'Obm#{id Qfg8 #sꉨ(,C,Pr`͎#n+ч!X٨Ru.)zV ƶsCEi1ޒý潼 Zf!>A@y?$zP"4leiζl߂A91.] ПSf{#TjSF)tG]U\3vx2'&/AoՠӮh!P0Jʰ`u݊Rb/0T"SϠrR  w=#`fW~XB~<ȅ b$F9̸ZʽB6 Y'`-NWJJ -:rʏSNBx&7v\ԏlMMcH"[ss(C e}ٚyW:8^a"ɼ2Bx3$[O R]ٱfB{.n`JyhMwWXozwQ1¥4H XnIoI3/lJNʛ4lh7Z̙;sm9O5e2M?ő*ɢ Anbg{S{`iJb1+&@)OF/+ M3r2vU{OM_߷WdUC{ߔݴBJ_4 :RG}Mh:K:y_ϟo Xt}E ǵ.>-86ֶE<96%r 0 ~1'C4~3˙l$8jF|^\kdxK9J,~#N^&Kogܝ\v)Wb)ݧ Er ?Uץ1 )Tc3pi;-i;<7̖qm_Z7GL?jpDT$ 4na|}*A97A@9҇;=4c:/f~)laAR4j sۂm1أV 1[oQ& vq:~M-'D#$Gv^%\Ӑ.{ 8>sBT6h-(^V!{k[&:0fܷͦ))T`eP 7WV#7|ߘJ!`Ő_/Uzl|4"ǀM936ޓN5u* ](<[ w2ÚMt ّ, ?_GÄ8e7Ԙx؋RGTsC`HY,s 3Rt3Isەp1΍Qjl;G;Zn[mmI*۞i{ZŒ_ĔϮPLѠ'Eۍ*&'d\ҹ#b/JDŽ!m}BcG|_$vdOg;{ #sϤ@yL{6sİ/(\QQT~)~ 9F.vS!8S._[_ w\ =g(MXyx]g n{UsNXl=,~H<9L=Og_?0wnq38!=nEPD) ^m@Ÿi09`{y?*;_ q#QZ ٦$L8ӝ.o4Lu{T1ʼnM_Njhj(iY5 1g0p WgR1}UO(jhkxPIB-TM喊$Nf-ϯãˆ!#\8\j׵( N30f?uK9p}"8&;x I\dĭNٍG lr2\hU[k^4ƌ4谇Aܲ~؎ rD $G5(i:/jk:ou8 d'M  R͇.`Ӫ[}~rU>8Ojl0W{=̒) Xa{hք=\o=f %#3?8uNG 87h ;gg\H # r!}A39{j'|э\}#-BlVE3Ű<i۪Ϫ4vIZ $B։9r!o+ JH ofQ-f竍O^`oN@ >gcՍ:F6c\wyx].L%X_ق+1 !go>4 {$gr~"I9F*۫7\s4)ZYKB.KD&4I1:]LC~,YI<&E~k9`W-]mvVm(ݑڑ҈6СEwM@YNr/%+zc0E=7E{!ɯ|+Dܘ`NZ9ʛeύhֵGl֧DJoѥRr=Ii{x<]EMzBOͤg\9(Vu5p@vZ›$!AЖ;_{r4 ӈ]V492*1$u ?kȿVB0) |+#| yA HjG N+1TK2(}-~|t56; &5oR@('  .bgXxfHh+<7R"ݘ9Os3a Ćǀr.Pʵo{zVA4x n MR ۡYqD2g_'2:$M>=?u+E/U;ˠ\ EKu>A8JLsIlF'gNZYWV] Gq ' ,kA4\RXb2PEmgK5^oqT 蚀^&*g9<9kD&6 y\a;f-u[/Z֗8͞+M+iΞn%=A L<#8SCAF"l}q̤{JL"i%/STC0U QD|5H;*;i AG +[k&G1wfЙP[1uFT}}6AFY6Sx.p&X2EUǷ{莡 p¸dVʨI~#7z2SgХXGa X/dNie/LW@0U Q77hfZܧ82f]Z ,,RMJMk!&IY6䇻O`+1,Xv$;s) gwh6=,nmj2SXM{^\LgT5|T`>qS<,k4 m(ohʚ S>a&!S*E.q(46@)F\$O%a-Q}FȔ]gY✋]m,NiPKs '`x)ĸZ*0 c9Wi#lpR v<džja%6(ZYXF1ΐI ;H_?aYÐn=te왶?X֔"fbi+F߬FfDG>1ë萬 "{NW7` MC8 ~,Ú^HIBb Ip ͩ5ͅ`Y:~X Wij.7aX i ™:ŀ%iYRO=lś(P~C46oX)Ownǔ9 L%6;W%%_R/5J3 #/#?lM1_ͱ s>/Zc\ L S։ g5RaӘW-;fcPMe0HtaWۋπ%Z (/l=xJl\99>rsXzɲWȖ'axȐMS[ 0G)N\Ǵ!!dkJGдzU [:k,-PhEX*Cr8ރEG,k 6Hxf~ь2O<;lldyRNxC3l"IX YX,&K~Ou6Xo#fҰ,ad {د}m \`+Tw̍{g52#&;~ߪK]ZK,'!k4G\h-;$Bˇ Vd[O]@,\2H+B5 )U(Z Hras @pUe>%zv#q|iD&6ȥpMzzL/O)z;abq^Ռ3mEnECj]n~:ogI8/V9p\8籠5 ƅ濦 %_5c $o˷xnZ_bl) R{F)"#Q+p7Q.9m,{7ޒԴuVoi(WWUpNsᘂb4t|mLjDoǿq5e&5? @8龡дX@ȏcXۦu;k.qp<$nԷDZh=iz1-u}Ҭ-)څG?_ܒ-A/קS.7egH>"; ()OQcm(NҹAs*ʺdâ PP*qx}=E֘6 WviQɏS'\v.?/T#M *Nߏ]406F4<ƒq6~1)YIAQTvF"y:+3][)De{ cz'h > _llscutfm&("b[eQtv*I$fQ^d e TVJxw 8mP<|\Q̜m|49ﺵQZ}HDfrndq6Ȍ4쿢*ŞGu'^`T%f8eI{doޯ|`ӹz%bq6L ,\:7VBZ#: Id,CūPuP"UdH-uTiN|K>*Bu6{,%G 4 q^H\GbV9>O(z9'%fp޿B qHQ`Pmپ՗~3|$/@xx&x^w-|xvNYgz͂;k!SfZ ~-L`\fa Ǐ9UhI3(5Vy0^lQV܀ OK((} e}k!.S>ô㔘T!%Mr1F\pj4e0$7e1i¿N"=NHUkTl+$i!O[`W<͋ڴ71> xQ|D+>@Qso)p~kи'%W.DQۚ PiV,opc &VFu5ٻ$0ZrBw5k< bOT. hO!ϼr:o'0+mJ2@qɏԔ5Kc0ETCAa5OoVw8-g8Lɕ_RwZ^C -"h _+U˩Ң&{Њ o6IcDMsrH^'+?d0F`J Nv"mH E?bL^o+f,M14)~{G {b(ge$Τe4ӈWei{%+njQѻ1f 3dE>X!W4b] %jo̾c<1HydIĔOepUfB|.燢iU#B]risekxR`Ul]!Y!h* Eaw{(zPG{vrg(j1k臏$v%umExX9;g˖=ZeV>SzV\Z3҆YZŝyn 2*v氿:w)>gj꽾fʇ>^bN67.iV'،G[#useZ9gcJ0B *M909P|7Bgf4(ϛ ŏXIy =RP|tc8G\Z%Ժ/OĠm9~(pJG@>nyD_Bp."::'r@t;U e!z#&Z.Ǥcfs>h_cU+bvrSr.O 舱Y7 f7K4 #}v{XOe]$+ jw׸6uFI@qNe_x.ambzC.x#3q-B#ÔֱL)'nY- 9ʰŲ1;5YF2[־+WيM XFCqj#?Vi(W2疞paT@j`zV^E$zVa31x+MΉn-cg>XU>IMVS]:m *,/1-"[W6^^T/gMcqkc+HA-Oַ.>~`Ԩ{c 6Yb!@Mc̅,.1R]'(#- F`Ĵ|\y9yͨ g*a+ۊ+}TBAumhnOm{ei_( ߭`K)|X`.u'"rr A/=f#)_o"1ApE$T w! AmLqXE@jo!WwJcJ*H!Jjчc5VxހYX+#rUmH<~*j!Ishe6O4ڿf7?,g "͑gDxB.t[TTΏj\Am|y-ro| n'YI2m_lL? cwBB4Oy #!CôL ?!~h[PnS+[d~Е!ydd<99RN\uhјƐO=g}k";loLنtXYwEs:Oa-:,@ݣ#'dcgӷRe"5-~rtT /eUǫCFFk4@оaSGŁrb$?Lh3w@cd%[8:W@DX~MՇA+X$7*`qqI}EcxLaǸ?kWfuS/vmT?$C-t Sdãk_~ksv>2AַY=%g%'L H~R>o^Ďmr7t )ߩMVCX:/tj,1waIysm3`p`0A860dz<3L) R2+_#d ^6?Y3»XS/Dg$[%V&-osaC$Rl Z&L.1Bìnzb- ?6>q{r *Zڨ˫ L]D^MSݙ\+R(-%A0vDdΨAT _k:Mid8#cB@X<{$6Ogc5RjNWO)eo?m(`fMs H\kvt}@Vvrq5Av줋_J~io--v4+zdX,MJmO@*?t8e-.TܻL&)p$N] ɮGg8ؾtY4j=4G4ބk b(a%.^tiMG$P' E$0/';A\ڣo5C PG~pJtd[x?{UEK`51Gz >׼>k`vV[?+c"Et퍷 0qg,C{}Ed5`=.1DaA iT ,ʦO.ݫ$P\+I82^LC ɉ<2_A4Č< ] KPmQĜn x#y,c);Qe8Ҋ/ݨC(cRКwnT,AH7c$g'9 *Jz1+8v"GwIL,9aqE`ڛ5_VCΡ{D Z~HF[z(찋3Q0/ Qëx(D3M)|3Ν& yГB*y+V`21;3RaK/7\hfj9UqKYGU{N1Vxi}WާSqTkK²oo+D^|C`HIW^~ZAW ꕶlْ7mY1[`ICVαkoy[Cf]J1+џAEmQ.{΍BR6ny v;h$wN0>XL~yLUBT@/m}k^zD//]Zخqhe[Dв#{WJ):(5NHċOPЕ浇JM#sF. AeݻbȢJx`^0#Ĥhbɓ`v'fTו0]l`ovy_-A33~OMKjwȅt*R)Ԙ I."=|3ȡflHKs/倡Sd3VO:˧]]C? 1ij]N&LyjDD|0x:k ΪrŠC`KkBD9z%v 3J⫻$J?Ho,:ZV}߷I#7*tJ..ZS/3r>P YB{Q .=O=_okM8;}?dcHL}u8ݻ} k' =t߾~RUnnr΁"pRgN//CD(=Yh ?̪6/P& Zl}(!$HL _/x[?tM}MX#xZcS'#+-+QX4L}@RࡘAėPK`?e>wt9+_P[EP}iW =X ҹf,Ҷka[W 5RN#=Sc=$DwVXL%n~lh ->St5aeCM3PJJR^cnb.xb،*.A1:7J-Pzب fSa*p_Ud9P#B񜳍w`pG(c&Ktqކgc[EQr'N䋝A,XbJHcb_8ެ@*/P 7^ ;|>3u$]zgkdx½/|- ߽`cO4"chj*!"oj*]N!bYxƠ+M#3KmߗncҠIJZCZzɠTGr704bzzۖn{F?;-d7\j]*y:/|#t e?RGSPh! tg4LXOUIQRm ]6dָn?l17'av_3_94͌z'˂k2= Ѷ;EA(hZa48{C. .~T, }g'+S.2=E̞N@[%,\G$ [xiZG$ovv €#i [x-ҷrY BWSfATny3Ԅ 0hH ⇅Yo ZQ] 8(lZ(=tץ>N7b;f$K~}w!yd0Gmtҍb`uN5YRrۋN@,%,GK=2wXBN{+v ls09*On3v\ssF 9T X(>֤w=bݪJ (nI RKU$6ڃQ2_M#h>_-|&{3KέԜ\Zb*a R?e 5@Sy1Lw"JӧGBׂ%G m<s2z5 =ΧHvh8jd*#l}qB"f{}.srwkZ߬P77x9Is]CY kόFQԒU#M oz]9"LH!hkϯs? 5tU&T.✁AMSwž[lXdY5s׮8Kǚm_&iSVOKƠKwZ-66=7oY >CV+J &rX}Nio,RH$*h*Qw,#t T&4;)pE,Io2; 0AR쨾/,KF L:od7ekI :6/9gh`9 c2X`^ X=hpNZ݊iBs3܏< \YFYJ P)pI 7~y. O^:&q~Wg!m>=ȥ!X{:Y)TRtM >s95?ng=r((/l6n /! ˿uXɈD 6&ޮ$0@k^rS Ta#^r(#d7 ~y`js=5ee7[4ZPe =o6\ c%Gζ*M''ZEWbp"W1)jp?;Zr]q[_lҕ|/~=Vb,Fj;ItףպfBy\0hj#Oq m6m) y[2^B$~Ր8R Mfߥ nX,[fX YD`J+ "f4陡4;:|o>V6: i#ʭ.b`rBd6.OLgivs|X=AεңaJ>\_YtЇ;3Ţg5,r='0DM,%-Ioٟ0̽Hv&׈"gQd7Xjm4KwPݒD%v[qòܲOA߬N1r1kMau.T,(s޽qx' j uzKYy+o-{-?}$ȏ| VX e| W[--*54hr4ӅGm hgu%L 88VZ|Sn&Kn#dc$W(N3ύW!vJ}ƚIr sQ@ɳ}VO1SUϻY2rktج&gri bJ%ݬviG\Ss7WS@>Z 5Ϡt = DasIY1Qg'⊗*x7cmM}ry-25+ o,-G1b|!z(;1^BQalEZгc1c%ZM &SEZtMtM H=ςr^Yb2;Z0K\}!lQ_Gէ@ԝ1?{Cu[bT(]Md`h999XZLM&5 rUWEL:ȶ~װHFJ9(#a{Yi%Jt\cd:ŽAu[mU}MQj?- єy2TOBKI$-XۆZ,EW 3?hw^ /V3BVJsbPLwvB"sk͓P!x1;\{uO ffBZ9O7g·2!^lo昣&Ln pJ^ť^!RG8QJC㲥֑\1= (f-Lz^4[Bt-ƈ&a+#(r8kC$`M`[gL}6L1{pusAFrjW !ڥSXe;i`l* G~jcHI~jf5Җ^njMѹj=2a Mf#UOF6Y ѺHx:g\-cLSu-އxPCǙ=8tXHwKlm)lRaV+,BŠz9YU \{O38'\u8Ijw)7k|0)Rn (%+LyG`9ǵ+ (bhd LVTtU!L?$eL:y@ Xw8csnG7 =:1"m|ƿ/a?3~xڠgih!ˀ~,}Pnmy3~bUf'w(۟wƧtKy#zgv'ѕLv=sljkO-/ (BMe7ĺhW =T?ZODf'Y (@w7޳CCՕg =r.vUT\ 3n@!M$YZwsy1O!a "cAa~2v5t8.' Q -<ڕ4%LҘC;(ׁ7^:q[hXuMMbCmolT(8<,oY Mb/c j'ѫ`Rqʩyp mfh= @y!S_Uw Y{yZ}j YoPGOŃrAH%j.qՁwCgP`U=/U7T+6WIvGJrM .&P 93pW?5䏜 :)ˬlGVVN&qGsiKv.|Lt~zEK+(`0,B5郠*(՚ݥd0}vxJ(2P'`Tmq<rwTJl(JP m$( woB1 mHE/ '5 ΆR< ͸3QBc>f̕fު~{Q~8;h$3 kN'h}Hf#1A[sLTunsu =EyĢk ³:W2Ebw}t"Fc;7N <1W ɟ,1+ym9we!-3qLZg4:F~]w1%Jj.BjۄҼzp\2V?WlNٰFlM?uRHi eƤeqCv溈j;zP@x›[~fd8FXF4 aK^<ʲRw;mdU.X*+5_]4.ltVX3 )<>IS zF0>X(ϫG] ɜgd-w?T>dPqĻJmۛ3`a䶊/o|}zz.a ǃ:=lg՚FʎB=5E;ލg"o- )IG7s3г')k$ĺOq/-44Y 9UAb~^N%} |+Hٕ(t R:?9vGÚqhW;-~ᥦDE{YS%ǡ€=,d%[?>o`qd*CjruGgtX u_;F ;9Q3"GvAg4 r"m~U!Aβ)u.}Qb \{ 䪘g5E /@?6BcuZB[p ?9s/\`r1KՆU~ZOZb>(Qv&ꅤ&Ѷ[m6K#ܙɠ ^͍FEf 嚥= }5j tL7//aI_ c<nюЦMr?pYAvv:tUe1(^(|!˜I\̝ONmKc/XPrrgK򰀚*J3nSEcqh X9:[EZ֓ȿFOM*-9x{)rI{MS0duዎ5O֔%s`k@tkJn5(| (KR1=PҙbrGNM,86ݕ72zdnu6+~VJݰRS'j9Du!-/TRWS<*@ɐ^j.`l^K-k94Al4tPɋ^8Sƍ|ȔKĝ u+.[ U}wXH>Y;f=W,ĄXa17eiٲ5mє( u5PU3#/o1őѤexxV31@pBiu*&GHM1Wp"ܙe~goP6h"E>wfFPڦ . /gX2l#reINwQgCeZE)xy=xud)FO'!-O:]amWsh JS&Q3}Yu{zUhq*d=q]{=/mۓ:Opl`QDvET*'HY&g,}͔DO% eaぬJk'cuwdPCz%\~]|fe2ּkiφ&(MCݙKؓ/T\;_&L-(XvaxYuT<$`ztU5TL9M[d'fa4(azpٮcSՄah-AT:tYHqG7 eX5?QXklZov:4$G]''tD^ ZX-~_gӵ{K,ʂ@PӲk..<+b<"{'I~ 3-CP]C  2"Zٽx@Ƹ#u&T:Xi&U¼V Jnd^*i5lG >9![5g2DuԷ׾y/G/~V3 CΪ`{h4gO.O(Ȱ۪@a%"'[XMrDB.8<ݐ7T4O<. a3II1K6Z5Gs; SVE|Ev~⏧r 6d[{zb;,zGռHR#n䟖9iRJA~/,,۴(c=Veв_?g>3 B2c"4t Z<C,hӻ&K's{ (h1u1nvd yG֍z>35JKsCKSDwѧ0],]Esq;o62;DUSya9ޕ͛~ K:z?lirf6,2 ծY21vї,wowtEF6JS$;U1b(vyKj4Z[ep`t1_1?XnN53P;x3=>r0Eڽ#|gNoO(omP66X\FP9R#u:{) ꠍЍRM&I!@oW +Zb@*(x(8#4D\2M!m  F#Qg5ndDZT5nTbd<>>A^"ak1ot'g'DQl"a,)?:-0z6(ŵb6`:0d`dǷ4E+Jʆ=CZc2CvBXd 8y&C7_ +5dB ^eIh %{ݫin 81͌WEuQ'0[D7SƼhe=h2$&Zh‰?o|К|Rİއ!FUUm\~Qϲ Ta{=oYA9!z*q;mŬϾ-KPjp$ /:?iyՠZeB*Fַa N񖦦l_?kf\*V##>F7J?()5؇ ;X*ئB?2&'!(x똍Pˍ/LV7|ˑ>{ MU./Q tCf|M r$h.;qJzNiwskcp#1;AAScvђ\%*/i\qgV9o'=n+&3 î#: f:!4t,j=z*ܬslOPR3syG@(ſq&]ɦm?W4X2'Mv**+~5}WΝ#қε+GR3Giљ2Ǽ%@°Hv6]Yq - S95# `\${j5p=U>ܵg~ë[$b _7(=|^I8E@fbY9rLgK(<˺md5>+b$^]| M j%"-Κ¼DY>]sekW[ą=w.V #8:O~EAVR w^F։2NZ*Œjr*|^$(PN؍Ю/j4CJ bB̎`[MjS5f-FyA J,q]уW_ E= .',3t~ W%MWt(y +FW7Sb"-Ü({OxRq'[ABM/ʼƷfQt0hgDUf܏a+p~3}C!].V| gZX"t:;P;ٜR5O1eLBc0 PLFCXf!P;zgj7CR%-ZAˇ/qhndW!pAnn2%G?&`4 #}@u%t^[ԸQUxd㉮of>~ه2=h% LGFa' ے9}Ϻ$#v] !ݗw䱜|ʾ4ȑK}ϝQ qIXӂŜe7u~Gb}#O nE+dJF ,ԕiv|r9G&&ܪU'I& u gBc43 c-W26%RDU-GmM)l^&2@oH@t Ťtr7qLjf;<"VmgZ5nu'[_#48է\]R }ш3-U`["2GOьߣm@IIP]+)JZՈ2&#V+߱ٛ_華?(!]H.i-jF$ m)C=0`\)/5!vJpU/|swgA}&|==Šy||ڢ7z$1XSD?=R6t{!u)ԯ3"k=W>(x}zOq J}ӽ#|t}Qu*A-rpC`JƊuTĸI34fm4сAp%QzndžMz5|;7{N@tnJM(!}RWjZ%Yj"FFW~baN3իl u_"cyxcG 9x2^h;\S@F#O.ٕ=U5ԤlS}c]/[)ZL.G(Ec[ALL|Fnj7%/A(-ٮ~/F{"-|ؾE$`EGy+Т<|~bjoZ1oC\΋jGK9޸/gB,_vbq9#s8K^-ue| qQEW mWGŨPګȄj>b\5ʔx $37NrjSDikYˋrp3$w2rY4-xZ='h'=qiϻ&γqED``pz>ӐZVד1L,ruΨex Zn#识K`YƘD| =!Al,a?=yVKpvM7s ,[7pkn Y}x9{_k?ʏ.At!'G'*g0[€^&^?P.umj?XJRWzkMch Ԓ'++Hf^x\ƺM=aLdO; キ:bR^60x̏[i Qǖ챱?ըݣpMC ` ԚZIŰ"PNDHA!X A^Qj7wFZO; f?G %{p=^EYv&("#yhWABW+W.Eo^ ",O`ahU;?n;*E0chc 6[4hd_.0HbwG*v|$K)u! وU3K|nf˙Tz; A\$2-@7(͝> 1 bcj%fo(M[JׯR+ ]V=đч=%-#{3>%7TW靣HkIbr Thq[GӉ5>ThVwUxp3 >M.WaXPgȼp%Շ:79 ).߿sL+=}\TuAifRluu7vYy֗dy .jͲmVfAR+ sד. 1㢼r!DbFmlT* oS[wB/P\?koX6o 0ItTrygSJ,qݝ+QK[hHmzߙ4 G~ +A*߽xd< lxVH~:qq_+C,#-LMYGqyf,q5ml RuWhg_&+r 7VM >Bz8Hظ~X:-hղ 1O~<]4ּ 3w{pKL|#Bk9Xe=n?e v #8 ]2ߤ8E!1#Ռx-5fs.>"ۓ$Qܬ \dYqBmqrHXLؠg5x w F #*Q5ՑAwyD$ q$ C@⪤:"#1ڛ%81Ty oh }DM)Yozi1zmkG4Ǚ\t_xbX/cKWgs> <B2V ^{.8,ڦ"^ɊV?OЙ<`h<7D)4S7if:!4DGRtk"p=p`t:*򂅆2\ `+3IW?+K>$c{ˈEv|-D;j~/UîӂحMt1ۢ-,ʣ&, vn~eJF@I˜ڵ'vyomrS_Z?K%`kkza:c׻{,t,.Iw[tj@Iav#Cp*.a9FcQD&vrM1s98"vX.q I~ظ Eu mC|MR:]?պQqm@J$46(7{:߲[E!ʙ i'q&) E 9Eguf\*%3!zTEbt*JFD&p+dHse'm]h 4ҔLQ߻ C`p&妥q{tsZFؐدNE#+6,*QIbW^| ;ȬT"B@#JX@RwIjI zC6}bm^72ܶ°AÅA{2*I_E cm6fK:y RW?oYjOp] 6On]v%H`?oJGX995%V]T55ĚKߖ~f9bN#VǷRu !F -YOVX ,1uv@,;EDoBHv P5BB  Xt]=]>~2sYbelHgxTҢnKcMKl7ol3J1RnjWӽTc>;A=e)r^^GӮ^hX V-` HKLOK`rCna*I*TOhiSm;U+Lon2^&}|a$lr{6pXHŔn>j׿4@Y\qLD4\ot8#tՊQSqPKc诶OѰa$4TIDFMeHW4v-3<]}쥞kz4L%:N {y#](O&W ecJ!v6hj3ڜ͔\t;4oEWg+gsk;}C: yJ{ShB(hlM4GK]|Z6D;SZ$WiYb Xrj3>qzk*w wfP@$~ü"R@ODj՘;:A˸ h7}Zl!g׳Ԃ=G#n(,C3qNSfeU9\9<,~6en$c8W,jR>yOޅL̨U{IFG(&ܒ%LBQor&i|(1d'.UQp|~5f;o MYgf-~錂 nF;<9Nm쭫ۍZT\4&pH z&Cb7b:T_' (h[jAe$L퀍#a6߮OaF<Us;HhN`#a}-d Aj˄0"vwF-,92 vRyXDhOП<dW01E(t޲jlf3km8$#|%=v4~nFw Kc{cRJVr^$4%Z*7na`t1 iIbѲ( yvxeWB;m  ㅯ; v_U^ZhM`eFn;4lj٠xg_ñgYZ ((,9 7S# LHOL-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~Ņ6}Θ]= i'wn:PXRS\‰(`,,O%4ENC]  .?4Ou\r~JE#PVk$G䡠QByS!;|vy)tq|W L!e~@r!yl3;`۸$n4YU^K^'BQ蔹C.!g Wst~]J-4KjFQ -cMTGC da]4ݛTA̽L2 k޵d C__kc@FS ՋH5G 3~>^ŮTpVy%GEq $ܳ[i"-g$i1 %V'Bϛ6njybIQ%Kt AI0H3$HpE^lv,*E8oN]9+.7nY4:W, j۔vY-jKn.͋(oGpyŴזxWb9\>$ȉǦ0zzTq'Ok&PV5&/LN̤T(!L!zī=%T1W>ki6{.c:Wc(;)DL`q'TJ~㘛owAq :idǞ$}GCS~sւ s8DQC)bъR.Hj7 pOR#`X}URw#VwJؚE13[HUHGtP.$=@ #| wx]$X́? QM >Ց?QUQF׮ZTbi*<1C7}[l$ S#'qE= !ALj\^ RQP UsiJͣټa7c=`Z73VeMV{$ oUmkUtȒSs!q urtysx4L=tjV4ܾD?2V.w|(Tz  _ NzD׻6[t&q*%?ZOVoTSӪk"P*OWz&4*յL ɥ`fBW+Vsszea{,ګ ($FQ!8d~2ϘEq5g1cu =F&V^Tֳ:W4"|d M 4v7 J2QuF_mؒ\1@XT6Ghu9Kթ H:~~9sc@'܅[jH܎to‚ןdi ?#&чBwKl4'7ė$+:7k`D7*!Dе,S PFn'A-C#&~2zR= g=5XFa>sijg|"O޺݊JʭT*pLv J t2m `'&NN|╥* lnvh/5V(]ٗQi]-N>"~l嘣$t<}GWzs2rY> Y3` ]\Bӄ?~[`I^@%cOo? 3 ca簰u/. @:ffmۛly,ɶ/b 5} pwF.Lhh{ݐbS&xK[/lSLtrwf׻CV˻eܳ?HJRXw2Lk#dK9r wH}@T uGܬr, x?َDlVwG` /!6olL $(ZsVrY e֌O1c-.$ HwR,bu싵kj\ּc@! ?{'OPlZhH{#]uX~<A L&#zKdAŬ`oO8&ͷ,4f^i俥83' ~qɻa\P^=b·'mskv3 '?bX{?AXSl7QAYYx]Z]RɲTgw2UU6Gb[k-}鄊GJeIm# !*-]Zqj*Z.j]ƿi')n98T=DZߵP}ݲt G3U5Em6Xbf3FCv^şohWbaG}[53u):H7y 8֗߶CF,.}"9rS`ÏBۤBY)?bdDF"|Dj^A [UvAK7@{Wuܤf/xkb1CN$j>? [pW˜̈́BTz:C@Vzv>ix?Sթƿ1H:戝b_; ˑ9A"/#SH4YGs7vin Q{Mo!ݹ܉Z9S? >CƳ$_>NU zVBZ2ߥTHL);ҏfO2%T 7C$Wy"d} aX-[Degxv|P/{ YM>} QEAekC_1^YjlOWw*hoQ,Z@ +P[''O3*)JL2l b .&!*@?W%q84gYZ