SQLite format 3@ T.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   ]7tltd ]% HOL-Quotient_Examples:threads=6elapsed=25.579cpu=40.472gc=1.9367zXZִF! dm]ŗXiɟ=QzX)qFCkWӨH36XjPc(nɈ&8jLA̶5UZM4yui"V9=#+>Tc"s$/dxG -$Čyaw7OҦ$jxr(qu/G=NF!r7V&cH쿪=dH$5TR*lqgYZ7zXZִF! ]ŗXiɟ1TgsC2MpRP %%uF@B [H|΂v#}jk$!90QwL7PJ a]VyK5,}b̶T(6)kk먤?]n.uu;z7NwXc[G- ':j!],vXӾJ:~URa\8, rJzF!2D4]9oVbXjCiPJA.M0Oj? BIpsJv-&>Vk}$F7v;/?y Swknu#JxaՋ;f}WֱAn"Em|p2eKv"ͣn;<Ͷg˶VKuYNx Z@u5&yI+GI 3`sMRj OMUD)ES.1qraQbZ5&sG:*H 5`ƐKF䴑Z~_ؕl 'F ѢfvS؋sXQ3 ̴2+M{>%I|>B. lߦo˵9Z9Ʈ^o3(e&ss:[/fv=t˞j >?hќmmRu4_YY~yFhp+j,*\?[25<"޼3v"g)&3-2i\z h!6ۗ3m(|$^CZ+ [WHLJ L5m\x=UxKd*X{d!ՕB*pPc ] *PPd$zBw$ –s3'N;3 ;|@صznq 9qүTESGA;fj4frƣJ =E<=( $0^RXcR,O,AT̝\^7.L %5kT\ yta:Y,/{U4w2f%ZƌlOtt: %x/^@y|PJ))CaR"(Ƥf=mG8qdV'"Kjw=@#FO K0OlQAGщuWd"m t_܋|Sh ?CIIH; 6xOWl4<΃XWφGQk tɅxJ 3sc-t[CFc)[H,y;H`CX {xO9.>/8lu/cP\$ +'@Q~-D+ҒMkP}3j\om/e !Fh,UzvPU'jh< Y2zyԋX]KDrI5]4  vh%hF@𗿐"QL 8FܑYmbXҹ) [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^=S9N8M5K4H0E*D'B$= <:98., ' & $ !  PB z 4  Zq tP ,j&, NZ \  N^ @ {0 F7I'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/messages6D7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/markup5C7I!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/files4I7I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/document_id3F7I'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/messages2D7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/markup1C7I!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/files0I7I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/document_id/C7C'HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/messages.A7C#HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/markup-@7C!HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/files,F7C-HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/document_id+N7Y'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/messages*L7Y#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/markup)K7Y!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/files(Q7Y-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#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_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_idR7a'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/messagesP7a#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/markupO7a!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/filesU7a-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/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_idK7S'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/messagesI7S#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/markupH7S!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/filesN7S-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/document_idK7Q)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Ratdocument/latexO7Y)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Messagedocument/latex S7a)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_Testdocument/latex G7I)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setdocument/latex G7I)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Fundocument/latex H7K)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetdocument/latex I7M)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListdocument/latexF7G)HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_Powdocument/latexL7S)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetdocument/latexD7C)HOL-Quotient_ExamplesHOL-Quotient_Examples.DListdocument/latexK7Q)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Intdocument/latexD7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setcode/set.MLF7K%HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetcode/fset.MLOD7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/markup1   *@"v#_/]LWWECJε(pzh_X*3cGARNV}xwr|%W51\З"R2 OE^@ ?"Ê!6X<ǹu3d)'H[ *h\5|Vðڡ@܃J.c+HD[J FN`;b8yn23G1-Oܹbث"L}L`n_O:%·b~(E0 ,0\{۴S=2`B9ZG`~ZFٗ$?􊀾c\*I&fHL4:՝r?~LB=i9@ۇB%?빾%|,/۠I;F OwۏLƣ[䅛~RVOX[JiSwe]̂C*xY%Z+y\e0=˂ 9 ]6 "{+W -E}f9{őTԾ@[AAdV;/m2&[\ k!W[]o+$:fr2Ė_wc.竸 фbT2Tγ|pay IA\h8LKX+C@"H07.v] O%!oC(C=hR~TjNd z@(~B}_7ïW?kۘ; L5´q%)gQ?_T^>% Q_tߪ=s`W#"n[6/՜TeJد~cX!l|iL * ; >i"+;_tl͋Urΐs"]Z>3Xْ݇h¬Q@fT2_oOmg9$V 2&' j|Q5劂v/Bm+-uLK8 j UtR0#Ҝ7"3O )z /MRX1 ǔ)1>OcfD}pڭ?qS9?t螋fA9_o> WUM(!@d{$s-v\nAe3P}& #sF8i(g|w{6ಂ0v2!T;'{dhwf!K1jRW!G|7 Emguj 󁃘qRh dRh%K]&: /@rw,׮ݔ=MLpa9oGesb8iOkѲ*Waot*R>0Š9De=o'>}k!+}r8rpy tI]pn,mhf<N F﷉w_j>: NrANUB`+adow!%uuv7AC|<@٦KVyvH-W9 "1mb3D!OMzmprնd -oe4y G+V,T:5wy^K=pfWR֭#"̗溪 s!B`Hb5-OE_;v]NƎ>$dj%8w=yIo3u x pl0|,%E7DP/o3уvKr'HYҵ*s<F- 2Pf_m H.V'jK>'o)!=xb)<{4&wGОߓ Q ;BACBP*wR+klAn(ƫH'98 iIؤenEan#>Ljmu.o&zR%S2]Hy}.d`%+ֻHFHYU0Jj!@c 3E_XOr`38nˊL s ?E hoI4/d^] xT>bE4.x pX?OƞؾrZipަ n_T1| WS=wm^ɗtVx=;Aryq3"d;;!.t`v̙:-8(o"MC&=},~& NS#M1=6F k-`MSu|TeDtb+q]LfSTáHzQG(Hf`_sIy0S9/!B 7Ss% uO.y9%,Rn^weY2!`nYZjNY8?ʼڊ noȰKR(WMʱCJ69!Ԅt3j`rsNުFNZu*n2,F<CNNi9JlMF (u]vyQ xq niJC8Ǡ(֍l}(T'.89n0{R51aKo׽+I{,r,6mg4"IYD JJʍ?B?G IN4ͣ1A*U\Mi2)"2!e ԕHcca|lPLçA4djH9;HROxRx1^MSy8:`:8 _ yMŇ lp0٨3ybl'p1{t3X C@7}BNf:O(zM Go}'Mh{qsІҕ&ܵy RܠmtG p HF>2|r4A?ӔzܘtS62]\fVb~;e;?jcO.gIVm9sEHFG1y /G7}nm:}q~VI 캅'gcoHb0zÀ]^̀9@!XMaX3\;ѹۥ;) E˘-=,ORh#(|L#IvW@ƊjBLmKl&b|᪊Y0EM4Z-D /PM4%0H컭DUIy8^0Ђdi+؇IV &W m~baQe>3\C7(8dV3[F)ƃE9tp]Ep^xWI 2_l+`䋟 d qA*G?EbVCy”ӠmNx ^.h kf$YƮd-%ۏӵc=X~.mkiRDžB4 {`*P:dʊ@ nV?+?_Vr#l@[@9Y¯[XR[;ԣci:Id !KcJ6ZusUXˌef,t2 FW'E HlB,·1D9{˜` wVbZ'1*8יB5rkCЮ J9ª*>Cݨ4pYKqS0ʐhEfUNZ!4 n5kBS9Dj[Ԓ}]'Tk]+vFЎERzIM)-d+ G-B=,Ń4o\;hc,zu% ]^tES݄qP6?Y#ENkjD/@)eOmlfGh`kk1g(2}%,Zg̀simFɶŀM $ ЦŬ )X #^JA<4|p"OXD`/ ]\"S҂l6TH +%. E+<_c-.+%:<^+"{_q!3&wFqBAڣq[3W2ޖ9F!e[l7nWf Rߒ'ζ0RSF'HR)DoԲT+ '⟌S$+d\Se8}0l.v3Qr{EAeO ?<|JQBovZK&rdoÿV`m+p RE.Nl#>{]}91_sC[m54.4 սlvg4]Dz4Xi2fn[[o`HpP$gݾMvh9xFr%ҦgBrޯX~v~1jdoc#;@N@2F`謄.#QER8 U(μraOs%{ H'HʋaTyP)%ͣiDYj|||Mr*^@!+M/v ~(}^;XC@MϠ1U\]C}%?/ X4K=ͳf6-#A}du$+k\覯mPL0oxTOB(ukvY^N/vYі/9w{H8(`Q8 ʘ_p֨4{5V_fgjgFI?u)0ѹ-ma!)@8hJ7 O(Tbx'iQيo@&/ X~xϔlU uV /'B噡1{6н*#˿ۧKYqw"z^GTx1LY"셉S+ 87?DTro\A(IqCr(vlI=LVFb&d M9XNS ¡;sXB"ɱgE_gUUMu{O~J"nw=/B`TLiqī48eNSz!S>NL jK2AEd~v]ޱ \ cIgh;챖0 Qzr#'f< eYFU9bC2 R{I5(v qF/i󭔞 F?H Jε{{u@[gd^a_:qqbzsǡc_5PwFN6iHƫgDtqS4.>k0|+2^@R |<"!(]$X-@'`gC $@$&(MuQ U< E&GeVcv*;uQXqH4ۆ8(\TaLVwr sv$%7Ikl5"ci+UРj0mM3Zsad+3t +pU0~KTiB=U1zc/jVwC"Ϻ(+J@ɹ,|kh34!7F'HkPuv|SR< 9:'PI/SluHPʚh89no.QPRuſi%aM?M]t .zLmo _95dmQL4T,\UnWf3(C9*i"kԐTӻ_6N-r8L-=lzVW$|X@eFujj]]]Pu^NQAHA7x[5~ݨ}P2)Oiz]hrFǒYbZA3czpGO=:׈3b>Ta"IHz.lCdr EAA߆0JH~;{|ͪYY_gִEU' < P~#㡓Vl$a -RUz9p>zN,c{>ݹ:+p"U஘Q3lJN`9fmgW5+ ]i@AQ*gbڃљGHǥ6 ;ŕPA<MX}y wQ oV(.Cl*LU6 Ot1P/w;ݨnv 8;)*8}mHZ3=~IC[>5Yr۝ocWw:9'F`x9|I*NhUހ2t 5a=i>A$l}&`ہqMpzN~Q,qE;(3'BO1Qq7eQFh)]/$g.?KFuͩ]tj(߲j=b0ʂ UPf\'\y-5$-!Cez7fLxfcMP;^U3ո~Ʃ:H:8(LO g?Or+@(|tME)׺0)̅kp/N?݁@m0a32>ٚ`߈OD uL6}Z=St&i͌vd@;%Cۥ:#sJkvf A2Mv*J,[ 2&@ ^IF@FsUCbC˛H?W't%}CԦn+iTU:&Z a,Dq8+|W~(Wdfi+.\C}tKgRzeڌl4_Ћd QƝSljHpU30ʨ=srxe)̼sH\мpLXpV^_oS& C.cT5ԓ?V^:|"(#WR1m+ `.sO5ɁowCD8f8d0y0\!+9ڎ0vGtٝRw!TҎMQέqA-C?mIsI}tuM}ԧs'[~/4G2U듸͒Y*KAd^.˃~C8gP癤ŝá\թiS,U!mw%SbK IA:O 3D!ĭ[Tlzy᯦gQ2Ol K]>pĿ;?&qJR9M~2cۿDGM1RH}il|Bč] ȷ-se?W}cʽ򌂨S)z=oNe D0V<}=,פ<#$#2x6L3g`,Mk_YάWNY_wo ms@J)'z0ȶ[lڦ|]վ_|*R+`67#5]#o=C54+9b"I?.XCC_PdѴ'ɬ=!EĈmB 9H"FU"V䵧cD xO$Ssּr FƅfxNl3nҚTt+=à<ˎXS|9ͦ-7d*qeckNF 2N$0^?%n@DbA~n,'{8ٶgfM3y Y,MCtcm73-Pe4K 'f NG.4bJ]5ZCp*`r9Tky-k!6#/^CXd6>{% rƛA>/q;ܥ3=\ }l/pmgMe! !1T جZ7$9*7W"= hͳB%j!(pP[%^1P-]3jfiY: 8 #dZ<(wkHJ9XđA؃ny =v9n `ܖHfÇRW~*9d.d))Ќ*U+:qF_ğor W71,EgE#I{m1v5V꒘RiLNԠvqXXij4#&y+/]w 5<Fe>=2fBZ MpJlL=c@AC\ ? ;:+eT571.6Gw%&euhJ4"gkre \1h/w,CVMpCYH,K:t=|tr_2U$.w5x/埮>I]1+걒t&-!j J"Αv&m}I+IH _,0_7ivE`G GAo_WD£3d~ܣ0~1\]pjXEb8Q[ok,M gYZ  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 )) 7C) $HOL-Quotient_ExamplesHOL-Quotient_Examples.DListdocument/latex7zXZִF! Ԁ5 ]N}T':=Q߲mZwb3Kzd'{hR'هMٟ鈺j&~ڕ:N 5dQE43% _ɖ^|Hc+Hwl'-7*` z"EY)tbWs@ˋӻ k- >aS~7$WkiR0U`@0an<ߍiYHn6F*egr^LBH uw:l= n+dFtoBYT?K`EVޫ}0`T>nEo& iEtv:@uy.Mm!},Z~M Bϩ% RR'"UE0JpgA=IE:zLίZ3ptJ |CŬ{wKgfhIY2Kp`RD}J gVFflho>!C߀8noUfYa -HS'߀>`΃њ*Ƴ>A,`ǿ\8n^Mp0>MQpmX Rtwa%O(ܴAf]Ý䶌2jePիѭXtyF[@hs%%/^ 2aT#`H4Xgpд0b4C 08+VE&Va$5Ul*>&Rpif8fFܑUp|  7Q) ,HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Intdocument/latex7zXZִF! 7]N}T':=Q߲mZwb3Kzd? P=r,_tW fWm^`GI7n\i3m9NجK&#cFS*U;w#L'7"v;6[`v_Ӌ s31& TLpϥ[qD'֒YtJe[exA;YB%.~K=`Ǯ/@KS~ Cg)4 [2>m-t#j}QԠʤU c{"C/nզIg٧7ȝL?luG>r6yuZv3ރߦ^L(yaP+XBD=t]̷]$"AF((Ձe6=aӳß70id:3 Ewq+I1/ |᜕Y/[_0}ilGmggғ7 fإ2gn;ffw؋2R{{;_fN.F 5:3R/~,xlLHΔ G# +E+ a8,TSzHjcXv ]k{Hflîk$ ޜ\*z9]amq|ٔ7xVv:xdxO/N NnTfC8aH_`}z ?٠RRr $d@BqRbDN.MY4 G9dC U.-\6$|je7KM*w5͘ e`ΗHrC12/[m365uLӒru$WG#3MbM>FkL״oq|>( c[<-95Bs; n E9!7/'M!@ sr[(#:aaD&jg3@IEhmˢtzlN>b^F'/M 8>Ҕ *7`rRq>lzwRJ{'JZG~5]JcD\j]$h+Z Km<-tڔe#47߫hPڲIdzvEpAb;l6o܃c>C фɔd _DũdכfaL16o ŗ T֩+nׂ+d ̲ AиF Q ۻͬ+zkb-~PiA= 5y6`XbrNa+L)q50׃5& cخŵ ]S}w/ f7A3w~-7טMk Jr2 ˒F܎+9i{qC;g;YβCb]`~* =.)2M6فж8avKw^Z5_Cbs q{vnx!ۡ$S~E휬>G3HyO=X2W4g~%g;[ v6GU`<`^㠰Ʈy Ѩ6xhī1} 8uk XODf]FE+h|V x=F#l(:9>ˆl'Mx񟪰oO /Sռ6 3*l,L>fk;a Lx zPΊn*M-gj{ev֑I<>t-i?YQGx^~#|y☿0Z4);8aT:D{ 4s=|{M D[Mծܘ6ޡt؜:QJYe`UpG}-3xpO?1%%M]&OB_PJQą⡉BMMZNJ(:+iA}>mzm"UT>Ec0ihwwm+ýfy*=z!-:zG4`;;I9 r-!=^EX}A}G\aJ-"0#6V߃W=0, #jup$B%]]#ăѭZiHBzU1E za gn"*+S}5ts6fUa֪'k)5+W3T5 Aݛuks<ʧ@6WtFP\:GugV2L.)u~{^3Έ{uѬ&N!NzG1;:.O#fNŏ:xiA gb6{SҤԸ$#/ DF` u,(KHdX%"4KR=#3F5LҭjZdz9(D;ԗX"Κq6VjAjqu5~ZT`<}.4!ae &P\9eomKEp9-_&="^г2a2`) }mZ)$rr W/GApS"l)Cs㊎9Nq#a1>oO]>wgHQБ]kE:nlO5uV[w/ X0Fg5ᾼ֕P^TZ)ѮAC8k 6]'pr -QL'A!R%OKzmpWhS vYK'en5%ѶVwvl7Wu|Ds{y O^тpD}*;S3_`8ʛՂCta٦lsxPyMC&¡ഐbP "$|OSpbtOz˘.य~oLT[\Ho釩VqEG1 0WLD2_5ȚOp[>fk\ZL8b܌_!p?:s7% j:6%%^峻Osv-&DOه~f;aŷ.Iӷ05"Hxw_@b2z0}<* N&̉M!szDleN2;uA/mMp(!ָȷ\sJeo TKnLs-jHJ 0ZN y|)"^ذ# 9rT [LJ$~FuF+ K]I'Pe$]lܠk Swj|mׇc5>hE/\'f-Y.tD~KJ.9Pz42 -_vWrU3n/Λ^,=ꚝwjw2#15: 2! 1z27_#Qz^ -72$jT/@dBڂm<KDO5 u\,Ȓ݌o\{0F>~d5tǸWJs p!@|œ.;ePx!٠ݴC,F) 'N͚4 0>H(*M>dfm:)!!`v[mIř0{umjiOG \D^qQ?'5H@L^'9{C6~4xʦb@P櫱0lI(TΡb|g d)Sl.v. qIq:)YG>T̮iAAHyW6(l8PG&Pi~.w&9*݊x%709c6Lܔ5n,3}M8'PYt^C3(2x+I1eOry0fp w1yiFn5efzeGBT6/A5{f"Tk9R}%'CE"vЎ`R h1uЛ9 f~J^?b@O}^\޵0Ss%Z ..<(؛+Ή?ao}yqM^ ^kgOG>Ǎ`vh4oLڸܰ|]0 M=H@e=(~ǃ+\v~3HOiuqJ]1i5˯2OTj{Ầ{A)$[^[Zҧ9 M1_a&c;sWDx)$lv ұN^SD0M}ߚ8vʏ[oX ˌī8wFrh83Yn s۰|n?W\Z8"u/gG fLA\I:sn}37\] B# ZWbe>Ҕ8K^viRnU3ҝ?GY^, aPO{ޔ<gHb2dXX%\aZ Cij'95B8ӂZRGtce1#x]/]>U ]5j^Ti!I^ ` dv$ND]B| Z? M+cs,/\[COQilͿ:4z*)%Pο Yu(ǭ)rV&5ܓl&Gc0ZÄ5Hݙ4*Jq0p/bJ6--tSe^֓uT )fI.'IFQdei^>ÚDSYp%ux'y^6(l/ $㼊?x%vΦ΍E-cseUIl5fc\|c:,;!*IXe,(Jrspbow܌-KUïCʴk1Xw4C7ODqx$79x;`|Tcjc댂[{t'@xNzNipdHdgs&URY\w>}@vd𻳏p?L7H5k4i8߶T3C_%I9 Ub#v%kK O4fyu.Vdˆx%wck83"iz-ݩM c'O]\3 35L<-WF{cy 9Fw=\}:V"h)# b+˯w'rkOAzKd2x_Z$z&qWv):Ew6t=@[hI}z]|9(Qӡ}QMw=[&L!P> k|7O T遣{#ÖjƼ3= el+5ҡǃ<ˁ e?]rA-ɜ;|3)u:+ uy/1z2c0iΞnU2;<]9 %#7\e^Zoh Ƶ\ך8JWx &Kt}{:O{z䩎 pRO>sEEZ-쀣)X:՘\Ģfh+-(lĞ[8t;o+z|cpư~K/䨷(R~ w>U ǚt[Sߥtmu(Q,hJZ8Ύb 7}(υg{2ם4A֪18hm|;{9׿dZ' sSΨ-Y8i2Q+*Rst\cpk lzI~9dAgv>>K:e7oCl88yWX4SOqsw\9eAÞ/슒 k}Kmw50uC q"IN[Þ W#ysCR^.br^B wl|%Q;e(\Vymn#}p+_7#\Qm-rF ce?E&mA] 1X^ 1"aq !:8s_tbՄ0ҦP*A-~|.MdQFna|B{kZ텡w2`]YA"OضȭjTZ\nIa&h[^/`qO=oJkawg ~z҄a/Q x5{8a1\ni)`m=1P,v ԴM'vGQH? h_Oh7$[-Y?ȭDlpCE$SG>(G\Yez$}N,Xm'/MD5 ;TiVUWԮmeud,I%kWm]w2M+ ԥHOjsr b;<:Hri^HL"M#b %avYqš_[gwp23'Φ0uް=;@ͪ D f +%6kl65BvV%~mpC(_lloy^7p\qK;A ƣ^Gψ 4L"*&Cwo$|ή{F\7لTg܆`]J[ I6Y+(r;a{1o0=Hv҅T]Mx=%4uEbyhih֊4ƣzykuU~N/++"X(وMI008,&P$fD#'OGjx#Hjbܝ#ªK+[$)Hj X[OF&,'!^dž2S5fQai( $u歀±/OlۀR:ߢoQW޵ I=0 "%r"-HD}5'G區^(%ȱ΍1T/wC[/#AgѾRhR{* Fi?ZvGVQk[ۻ¦&>+;v>w w-ȞcᨽEy/fR|[-IMon3;'~ h%58izʬq[:$(fkirk3+f g=YϚ Ǘ"R+]AdhJ+Y |fSkWJq`^|;?c* ɡM x_w`E4Kkی8UHώ۹}l&cw⫏Q @-\$Rv4Ɋ+(j<^Agkn"ڶʮ!<=B+M]03 Jؾo QMX؂;m$yi鷕p|*.|9!ҞJ0~ a7M{ yqvQ~% z34/KCwr&ǪRϩ3=p?qfuBb EtmS}hѫA_F[6d[Ԭ\1-a@L` GT 9/՚k/6H][阖9dY[_,'Ňwlf{r艛f1oCʟ|yUhLHI;LWi8Do{T|]5]z9 <|;NjX݌5MɱR$Vu$7'WaT"f51*|WN!k`f9Doy1 yL#3K]s:dSO Qk=KR+h5{h%mVDH7lO7V -Rvl8щZv14"CǓLm.KήK4ui{csЯ[ұ^Jve\=9GRiq^S ! ({߱kw3{t[ y1KHxjkE/,~潳_pX0]fqv6v6B^'kH TTbin12Գ-n ˳ѰFS.MbR4:NbC^Lp w)r&v_PT6jziӚI="r(jLatDXD0ˡ!*8Xl[ow\+^b#=lCח '>`@ gPAV̼:}Pv'Ђ<=kh uȃ8I%LNC82!4w5ZǨ vBZLO g= m1ݗ2DL'/.b4!AX65~_AqCfHM$rvK^ D)?.f" }Q'( Tm:U-Qе$WEF%D@5(ƁQF]A=?f(A.+.ZgiV޷(Rxs|$ V_"GE}ΪRR8jPϚ%m A#ƗƆ=4'u!*,xo/6^ǛRLtSp.@yGTwe_@*bYJdŰ~G˜ީ@2LJ78ʾ;/s4m}V)IX^x:00|LQNE=uF`px9xV9 ~bweO\3jgJi}ZI&@6F{V}:aTʛt#@Eg)xdSDŁ簉Rh`=>P:fz$da/T;9rr-P"'@J%MWm?Ո4JVkYNMl.uxMbE2{hv<ߊ~8 X[]>0j*dAC=Dcr1\.Q}=έR 8D^cBL8jsxjBJxVYוg <2Tg|yO?X 9K98NIB/:'`>7t*l, jP;Y$KeR)b+Jia2vsƿ`BMTA'E29E뎈ܙ̍6@c_De)go]JA~oC._oϡ8YaWHh^lY(S1S@;lygI+vcwؿafY~ rȫ11]mFϠIyZ242}"sjT* ob% %s/!(NIw#F+[}.;Tf(!'2lb[30O!SH;:֋_Djl2 *R Pt4Wq/56!U8ފ%c-t*#hj1~D>#n}}Snn50V와w\ !j*]+>̲\.Cm|U˧mE?_Z+ô;ۜH,N bmGoZa(z }ù2< +yFՑ8F_-*LfvrTe>bY'#O#ޣDdz~Z?CcS( ԹA9we Ϗ [Л?pюMd/Fe `❚}9G"! Vэ6sY>,Sw%j̃LgYZPIuJu쏬jg#Mׅa9rtxP蠮VbYN &&R͹ip?y17թ.dx n9-&_⛨]52ꛥ ,)PjtOIq=8d~/5SR_ko^Qsk^2}ihHYX)(7S@m{ Q\Ȫ!+ԤO pUqiB^d L{'GH+vYԄ<j9Ta=2fԔDA=r9!P^9ՑJ)zG(Kj:[!2Iyl Dp S4D$R#DWbsؔq"Wǿ?;N` #6h1Oe^a9ei\F'UFLq=-C }də>ps}[=+C AVELAӁ"D};( x0ΆZ8Y >Nwo̍+VkiTViP4VƼ{!ge!aK[.O/b0tW0 +&.ӱ_ܨy@M Iv Q<2ȕTŦz \,ASdҕs}}TR8U xkg v ;j ~L/P9Ɵ1A׬H:ܛSM>ۭYg6dW`9v=O6,Ѕb#C:$y`T,8v 5[Xoor᳹CmʙRyW>$-z`uyh2.F>Grt7B['[dȞnEK*\mp) {!#e{I4"xP=!F@%j,NNHYj\$,'^! Nsnɳɬul4=ygh j%3QS/D"/~;,>i75|??:T p_>n9S_k1hҥ2*w#|[3`Έo(QRŲ y-RV :T%&eũB}-0?pgpqY !m2bm0e^V8G>q|N)D~9G01[o '%! t&P ɼ ~sqhQ5%ҭ@Xl阭V,$7a"40"ozM]YJF0yrU))lq) U|cQ_Nh,$6tQIim2+㶃XQѱ.މRJ31$`(*JXyW +CT%( N4l%sEs|{ *~P",#?4ߗi(NpGǨ`;7̞Ŀ*R][C4zCzS߻c*.k0T}ԩ?&է]E[=_AzQ60ֻ8ZRh֫E i|D-to/g.o×zd#Kuxl-R,)4תӯ9E\tMguB orO>vxI5.Uݹm,hBx}p|_o~ս ʮ>윴q><뙕́|,0fnG؈4[bq>_* {~}))\_(ٵw.gy+U uRKYҠ-~9N(Z{J=5C a!iƛp!P۸|G[XAV>0\#r:"*{~?BpJ L46Oa)ei[\;ueӍ9Ν!Ќlf@1ںJeHHʸ4x0hh$%&E I֞6Vh4uNaOёzہEg-DT!4WV2.R 2&_Rz0,$ Jk?"[ Ĭ`롌=kg=uw% ozƅ Kױ׬r.]}2"31t10NchP֢&Zɲ6`*(-@NEš qo_Yԣ Xt,3ͨt .-%)P1-=걐O3ܺVqb=h DJJ&lfVf*Ta )W/,vo[ K5B|U7F赧tɑVx] ~S\mEWIf \Zv>wrOXkP(v{k'kJ v/[gj0Kn6:Pv;qCVW:Yqq?|l5[5d국56MAtZ!T%/6# )FS7y)CG g"i<cnP1(_6DoU(3qIAm#94^D )'7Ns&ś@yi?nQ6]fc< 3{:ٷI Vb1lMe*#iO4>qZ*$@U`Gp!God"-KY%!utM#abZت}گFP=`_4|lƸP΋5*Tt^.<߭{|B7+YQKgkLﳈQoWj&@|SU鴾QYE#.ԃz=% !  xLIRC1砏z>t^vqk!C&1^fg/LDNr4*A ̹ A O& ̫8K$2dL)_ Vgi;_EC!3FTQdWדbU(9\dCua+b\nw*IoXڻV0J=.ad5Ou0߷!}Eo1YDLP"SLC[%pU׸0I1*=1;km΄B$>za110 -gpmcl>6FkG})p F8"QM[%g\x9ZۆFu<)]/R*?+[ *Ιr,W0Ӱ2F46o뛵 % $X1$KW(͍O@7Xp1MZ ;_)uWtxZaUHÍz$V!=y#7_8kOj'gPrVh拫5 9ӒOu*J0FVco.9k ߪ(\<=xeŪ)!G6oOpʞc«->YLPhH)ls`q5Dr38Pʻ0_fVY2Q>;d؆I࡞+lfiMQ!txjy`ZfK"*WN6cduDŽ5e2w0hE'"ԏ~P"}zHv Rs "'4pPʔvOو u{,cuzq *lX%>FGye sX|8N/uӳb&Vl=l~X`~0wRPߖo$LH"G ƚ;8i[I7 <=2tY&Ǔ;oB}:5E|5M1|d]!Ky#q`dI=MY%'X?^KGG}Iv8S-H9Uipͺ(mȱN)f{4)JQhVcО7 Fc?-PoODrq7`gtԵ"Hz-W oZ!s=fק{E(_L&M c0g..o k:&CUOʟSѶ@r>$JeGN Nj b=_RFX0-2֝Fi6ho >16fzx\{Uarq'e"6_op8եԩNB3/ʪx7 y~MjĞU{tdgij79#rS_L!dI/ea3:<&g.9bKwMRf4Ea -/*;`clbfK"Ҙ$5R?]LG LC=}t'ݹO&`S-"rjNdRYzidWhhv̯f A W%cZD) amC|4>[Dn.}oOLW-=1ygCr̂$00%>¢8󪟺3\m.a5Dj(ؖ#ilETzb} "ΪP=s} 匿:+ӊ .89am!&ĥ*4Q0|=qR>{Y_xHw I'᪾h \*'2>ǰK1 )#DR(.wqv̯. Ȑ3;8z 5?,MSѷwE4;Qx_ѧWEmC~Z5PB&[ > a-8~8.׷KڻɌ{ CBC^^W".ֺ؛Me3I!oWW# Z/v@ _[nw ;$H ,$x,Glk~bpL&e os܆]@X/X:o_j8Zhk{`h[^$nZ"]VAhؓ])%[,"Z\,.)#jXi5(&]?=Uԉ XSjczl)qXF ^U)s$L&񝧉]TEf7uu_SS;j;xA=91Ʒ[?3nYo_E')&ɉ ~K\,wf؜#Z-2 O,տ +% tZR>O&/ >nنtGxknx9̞^ҽƅ>KUբ ֑XzBU8u:S Yw^2n (h} MA"LձCs֑TwbPqE[((lJxW₀{| LZEvϠ"4W#WdRt bUcl~?p*$g5DriZ'2ym6J G#qj+vЃsq (zj|*A&xaXk$,˔tӰHIAb`]Ɩbzm2 0s*6'K7K:SͦtWd0DIL_=E>1kT:|K&O Ra\sN| p>=fφ|gM%9R .Z9J #A L  jh3xK$ 3W94E[X6Vu]M9Ő}U̝ãYg媛e"N8i`ԐUj,{wQAX4 a#j.kK~4h$sGviީ9$_vǪ*qtz\Xˑ٘U#m6"C9 _Rz$p>5y3ͫimeWAX?;ڊ{Ge]PmrX#n7$R]x( d@lʏFm4JO : `Yḯy>~[n(ɚ^O*MKGWz#!H$N"F7UCyCP2Fw-"Q6,=ɫR.<ӕ8N8|]yMزiXd6/_ Үu @_\E MCy5[}6[2K爾4gc⟏Chey|Ht Wqwix( pqszg`3  6q 7fB{c'>["@r#Eآʾ9ӱ攬@ޠ`^jgs61KK܆ij*nK^ ϿkKqՔ7(_?BA+" Catg=bnB2:.Q<*v$DĮ&}W쎷$Moy:"0OTZ*8!q>fU9bD)N?%ɂgTGy+eroXKGLySBQdRʦUʷ_.ݥ5{hyp|qlQ=Loj1Fx)5#]=^ }J-1;O.$!Yb _V^+66mou 2D\nOZۭ@n'2Gz8&F %9ӜTRTXP%EYˇ%YOqΥJk:fbf&}Q+V w{Xlމ}Q,u?FND\=x'\\2#':%_r5>~VAryO%ӄGUuMBq? =?oW^l=8}כE1Z覲rTr7g¢%sߛg-Bـh^zz F^${j, T{InVy遌p{]{v5c'2D>Pn;.m h-XIC: aid>WAs$vݲ>0Z/~bJ)r-Ax"ȷ I`4vR _ aN`NdYpX0WW>[n&__]6lLdpH;|oD+4alړYs&]%KinCV U\UHHSp胂/gD exEZXy1!K5ͱGܸ-rcXq,1mx!E4r@<XJIX`𐆊" 4i`kQdDYT+>]rfC#G낊B65zJy+_(05F8} s9mN{k1OOA^{$+,&3:VK@p*|pU2]rb!tEdav.5݆#UUJRx>$=` dK4gNŒx}Q"L%-}'KURt޽Zcjb >{B_ȈstIJ&n=ʫs0Nӽ̇{>s-H?8bVlG .=R4;]\au NnjRfO3tHOق-dXo{ҿRI-|,%J0$ka$? 8֞$c PWNYbMX2=ވy H_<6/ݚ5sS(n(:u~! Sm-K ׾H&mJu+"&@BNduKӅͽT˥1WH-<@OKԱu B6Gދ jzܶRz<^N\ τEJV9^S11 E”켆L+E-+A;|hp"z5i0Q|&5+г ݯ}?{ֲbO[1`IТ^?E>Ț Wc?v2>!2_N|@,J|)h)Εپ/xnQh w~qR$%˪JTEx&S2EDi@ݿ˷Ҍ#lOgLw|J -2}YԆ9 ׊;UQKZDgm _4!NWxwGQ'b6Y[Y3ɹLVH8_|W]:_]GB1adj G&Tb7gZjx4wyįń6y%x>v3ؔvCK[o~ Ž/&?X3PQcyoX=snSҙTAOw:O,1JOW3;+ܯ?2%KDf֠hyU^%}6 ?kn(R$(䢎lن8z5"GՐtZs#tYIՈNb=n?J|8WR$Ql#M=5`TxM\5W!c2#+tSM[%CDC5*qmR隸ۣJU+G ̮R)!_-tsk ҡ C}{3!F|wrLao-@i]x 73[ڈKP1aqqLS&EQ\˫~)PF\950>wV02;_Sp㠧 ]8ZU|~Numw(RIg9ΫrLԙ3[N"[?W^Z"w_Ջ!pISY]|Kfww?&[7LGy‘~R?^}V _;1v 5 cC/K[*)]H'Uس7o #0 UfۮL+SlǏO=C"[sÛ>uUU &8\V}1ke\ }VYn )^`5hƴ}|ˏ bhU/lgLs7ެe<  lLrݷ9t$A)MD34qvP fqQ;a c+*[{h6zMVG@5'9}ޛƶiz7.߈ 30ݞ`FّT!q]|%/FFSaاx+Oyf_GV _9#Aƀ*]{2섉@7 R9pV͑Y=:2楄[[}Dk;(r2sy>Œ<bP`PnG͔yNhַe O,-Wq "p@h]0yU[ZO8b$Qš Q1|S6*p@(%trHJZw S2MܭS<ylqj;)c':KggL.;ufA8\nĔjy%!ބo̹D ̌ ʇ$"mn:MhNF>H)|u!meee7yzE[+ ho3mbz?iB| `1Fij;uل9tKN֣‰l Q" ,2i0=wh"N'=}8ɛ;F V GFb&ߐF)<~ '=3E Vٌ}ij7N|{~WVѪSiϤ-_d2%237jDHW$k'MŌN)R/ą\Pl4*M][0PAE@I,&Y I`k8lG;giA1Py?< neG+,'ǾƝ2H)dHٌfA}!&%_w/XdA}6aDYyȘ\ !3k36,GjPnQGgeXM<4r`s Am/ HEX.o ,/֦(BE h{ Z\ UZ1fb2MΡwO8$]u_F-ͽ3'EQg q<D7P2JvTQk7w+k>up}ƠFm-bi0$ BH x!ǫz2~A,) ɢ D65(~5 HɜcpqhgMKLZ(A%mJxRW9uUV&"%`Q]uԵts`S120t>[wfJg%Fd Ill/J]w3ǚY^`4q%kNo1wDuvRLz.K^;y@䪾_چϊ 2Q ]a^y._hҎCLwƛĉjEkF' $dװN1 u8\f` '0X}N L( &eOu [Vm9hHALiB-M.2偓Wx7.iDӖZE@ۗ|`-,>@Vnf6&p+[Hd @/8SD`Ru$5ި*Wvd=iiުn+.?.߀c1+8QtZ5Z]!;$´lull@m_iV^a!Uh38ױ{yU)I70Pτ2|] e8\nXA!`g%ZD/&Znn \2*KRREi7n<:'o8ORhݩjW`%&2~SM%GQإhgIѷz砧rs g)DښіwxR%|Zp((LHUXUa(m%"DÕ\00CXJg~fUU BQKX;XN9Y03+Vaaz_[锃Lc*q#ODI>19yR㏝Qj!tRb?aZ:֌gs͉)g#kNEuꓹ<_peXݐBt\A'MJ)|qTuǟD!uwgI%kmo_ݹk:(9_!BdP:l'`YM:LXd~wVA1>^[MsӢ0jN„y]=}n<٧YMLdcd9^~CeHJ2##"ow7]gpoqA,hLE=TXS |Fedkz1pE&NnT=UeW2p2I;vuَZHDKE`c$#ܦ<>KTHs^˕Ѻ C6 7U@T*)zP73y| S§MupTˆ,4T/EKq5R^&rx{G8 6!k-Pӷrۤ\|t'g.`k ,jwIg#>01w,}@{:+߀ QAhVi}Z9#C8v[F6zw4й{c;E2DoJgv)I8f08uM?DȄdJ?f ;mD,`n3\׊Hk\3hiqctrža1`-9ཇtԺ0Dd4 K{7j .h*q;WO ((|s1ye`d}]n ђOQ6܂=sONIWzGpuD?<"R(`<rL eF!)Хΐi#P Pga}UD.@'JnF^jX]j*QMylc8GC![<&K˼EWbvy[ )7_}X#YT]Yቅݼﺠ3oV'`:DΟ>:z&ƘevP7E\RCam^meͿK%lz7.@`Z8J_dn#W1@,a} ~^Ni?t% ^ o̎3YdIg5^5/du3j^ď56)H89E,J4l! *' B_b*sYPž+S sf"RCma7l5ڦ[. Ieִkuĸ9b!tD# k"#f5{{4CzGz~֧\m.ڣEYoHR*|fY[&xwf0|)ezv؆r[C\Nw$`YuS1[)4 Ĭn fTP9|E.4\uOT4]!S㟗8S imBeM= ha@LEG_sG O}ǓTB ri:t-7BRf Mp#2)g L\LG*ċ[}Ϳ֨|@%ܿuL4f K>{2Ȗ'R|4jRډ[7"Ü,y3 d]g 4 +X/Y/MwPٔ:':ɲ{kSO|c w碧E{bX86>t2(o<@_ P-2)w]rTbQ7iJB2 _ J|a9_pvzy/(Dfo$/aLƆFi`BМ%EsJU t7&BafZ𛛍:q &#$;f(N,-`44)( TLi~q'5!FkG*;#sMXG~k"§rQNX2sQ!bR?Niqՠgɖ47ا^ ʦoߣeZftn_T4`#riu*pڛC=+2 o{2FՓ]+^I2T1E*ԞCJ'F=װ*r*c[g6̤BO k67]4&ay2TWS<ڟ Nt($׈K`C@G_;eet_iʑ!Z&7!fatFNH@MZ2e<\[k|& GaV+0QZ63.@`dL6rc "sooTA6G_&|]<ORQ0Szc4+ꕤ0SD3+O5|*oP5.lT~se͗}o]\0{p6^dvs|>wKhq!00!}2 p-)*b28Я:_&xO,y3UQlرlFd~ii @L a3-6 |?&iӈ2='f893*7Ӹ 9Mq* !-NkގKEL g'jc~c"E:<$z80ˉPŀv٥dV6({ +V[/ؽ_DWSH $ ]i/qaUٜGNjyX/(b2 Y u@\kV* 7Iro¡7 U ~E&WpDž?VlW9i;@  =ǵ^4^' [ej `Y7h噎Hdz` o%}.7*# ;qoG6ShQ.x#xl/WD#>ـێϙaة3OAYtO+;hllQR8ZZn_XV 43v;UQ3GCkd"{|IbÙ W1zt@ ،#r_& ^zD{Ntt J6\'PIf>uS<%|ߟLF`5SPs|)%#BΝSg]y7vNch^4NYrA.9Y}`6ރ(uLbi%nR`sHV^pHMW٩Gr~ȸrn.)qvG GfeKE; ۍf7Rt3G}?VbD_ǢUE^@iXE~N:@7=W8SӹU7fmϨ5z³ :Ǿc?Qmli`wsJntdR Iqtڵ%dM5}|O6q:&0{_@sƮn@$qI0 |J~G7 8%B'ZK:1_}uQ׿W2(Gbd%:Y|%Y,-'(?isBM%FUwVtC|42ty[R !F`Y71ş32fTUwm,=0ܮ]~jv$ADKf!:qn0%$WFN{~Y =-Bs͂%"=#ߎtx 65T7QgB{?JfOX )F9rQ4\W0Qy=KQ8IV -gH>4cdOA#++}5 g3txn Kp西M+2uZr3;2 r hH]-*ϣWF9 MPĖ `n`dębtbgH8FDp3J0[UB\ܭĪK߆{O 3zojWѬG4EyLLAP9HEn,c4htR`cH}0!)S/*PuWv22`7׍e‰XO*>fN|(!npj}03ƥ MMy]5 u^BӺ2zlX*Ú_[fg*ag4Qv\q#nD~a2+evg]$~j5a].{6c= o9cnRbt4cXKvdβ+LQ`'v`u^5% "ef"MH5@k˜Aj[O?͒@ $kT ޾&P{w!2WfCELYH9GΠW;ZMW5h#Fl6Jh+~?FeA ̷XdCE|aZLjGB& s<{w}^N&I)}m $(?!XL['60KuB}QnAb K%5uٸ!%uR&Ԛ->&D}[ 8:u.=k@I0؉Kʦc;^r۫DFDZBjU<үpRY~EAj'5{y(T&i#o/ɝ*"?̞qKm{8!w]3*f5Fjz^6Hpl՛}l?w%v:oz,yfʾ0t/j>'h:Z: q?f.#҄iѨSQ%nϠOKFQCHSRWNږxG=Lb#h9YkEw4~{)$phepfPp1AYP7ce 6{-т|]Ѱv|RSiШW?U:j/pI 8JPn5܂Bn5u7U ԳǤD/;[\ ' /1ZV9hODо hիOtDkJB}ɲ0fXez.;])v eH2UDdT4`ERеW9P(an³4v ]!ӡ􀈜O]u<Ɋ26x_:AqV1#E)F[n^ʵ9P+.h/8M3Hi尔 .Ќ_|F ѫ@Q= }VU[j " )8= ^? ñnY#ef sP##m!PMD>&YF'crЄ]C3 .s&ʱN+4~\kb,2RKvb߿A)&ϛ?_K~]/ynmKI$o]kB[&ɅU˛nue؀S y[Ui""GE͠OUXe$Paht@̦f `fwx]za,,BS|h3ۥ|YX_mmYS-t<϶uo"=,$14[QZg@8%ѹ/:U% Rύc mx*>&$w! 0X=wʖ~ 45y >+C'-8(AُXr-p='P (젷Hz0bf%uъiRb!KkDq-p/ T,w]VyYN @Cw7D45V-m\,E4D%9Bi)B&kkɂ|LA@xVJEeV-}i.VMXuisf{}[ZٍI@#s?8x''OLtEϒ1MhjIWZ0o-^+_þeVeW8q+ZS]X7ggΩDYӍ vd<2^t5zV5k 4 %`)53* p[ 6ى=@>r\1HRdAjDž Rfg.xvJot]6\,pg^}GvܭiVS?7G_sn!?|S0?di>>6_ĚmX8!XgitA+>l& Js$jWJf?k@'i003C7uʃLLݡzkL^=|~>K%؟? ]b#= 5O p:H%7x}Eݻ}bv4 !m1#5j.?qٵ;~hIZ~nl.%Rs;5MX;xwBIdGY U6bzvfK݈_!lEN($ J$[ߺ_nuJ*'09@f_݂mrA^nlxJ; Zp.Xnmp(%2UeȾxM<5k+ ݪc3RT=ۜ/^S_,"&8ݫ04կ'wڊJ RQ|8#cfY0-ؕ 5Ć]Ӈj cGPtg%uTފUqC( ,21lsXF~jr ~EFil6}Q8aw]C2?Tolk)V-=̀%,،m_x2kpۇ8뇦e[A@Ji6(f{(_y_ѹ ;fN7G'+*ɚF}8M~Q`dsqiFwfRoU"DHJ5L,@ \{=0@~1җ NK ";(?q8<P=p !|ܧMIuVA)sn3qwdKZc^Pc]2#4O(Pёz(TM30"qBuSi/msP2yX"Pz>_87puݫEgHg31] 7"ID5vmcs!ja ڌP*bԶfn)2YY@G"LIEEmIIe[S"rB;J,>:oM&\|aS}C3M?Eyp1UFJ{rs#M+X:U B]0&[z bd7$Hq@'iV^*bqgu@p 硃UBsrn2bi*LΗI7ءǨR8%OTVJ2C#>LQc^l꽡*[?01:zB#eՇtQɖ(ٮm㧆}7{d&Ka0U4:8nϞD繨.prjj5\?C0Ȟ^P.{|\}(0} ij&'T ţBo<񒇵/ _b6xfEl<ʜOԌ?/ Hb8 7z3EAILhCd^}wn֭=S? l&#( bsoMZPc Fش?m Y5=TqIHdj:ꚬhO_wl{$ƠȄFJ 8ࢸf%nLp_A!Aӈ\VP"^$P)X3x2P@rʍ1dgr,¹&l>`eFWxT(n ޳%'"[LTjC*3QhǶSfX"V$ 6]?yl{2 cޒ[(R=zU7,P_\2vWbs'8$%t/;rò3cۋCChd/z>q@OGb? >*5+qFicte֍(PQ| cR禁hF6m7-nBkvnsq{(bh@xee(03a;IL4Ýxv kL@{$U2 \6y2@WN3[VAu(>QXY&44P)"mw`Me+Ί̴ &uv 8( 3bd&̪Α֠rp ?,ϓ5;lL4yb"Fʼ?"`n?FxLU4$LS 6- bL D.^gJP(6AR,cbHAJv{xN#P8L BnH$GM3픏 }Ff|ݩCwW6R22P a-jh0IzC{‰U ſnsKpZj n7u-!)Ò{Mƞ1>6Bm'i7;h]WZ3G2lw_lZ@q=æ|בȮeyA1ED㰨Ϡ!W1H*ATmcne.$Bä"QEs댉JUE 9ĸP$ M vaQO3ku8RZ5]){#嫐-nY fQZZ" ?+mr=K@l Mvw>VP=yM.B5u":-'Ѱք`-[8, >GǙj2׭U\ol(;N/+Z\Eoc{\vARm^{vyy3PVTt%pMͬÆ +re f)=VjT /=p?\eAw[*PPGPmQX$SxQTWKtr^1in`GeL 33($P)pB+Zsf07G.Z0h@*RJgz8}<`|hsI3̖$a9_X]8`ŏ Pgnhv{k6Wr1XB|]`H.aZX\u  5jF8CVPCO\RDM:shn*Kx[XL'1ka%UF o$QX%T/$vU;~Kh<~yd@J\ *rt!o*S:3Յ?)HEO- mFBeՆ Nf.lva ĵ _,{$׃s8 "w]%3LFfv UlxVUaUu_2A?+ bUC4s<zsWaE8}u7]_V˔}Q}ΒW7 82zn|<jq$h6,=NAO`qVba%hOOX{we^e #Ů9ա™a$uosF@-?Tz|P Z!]P.؄(z߂ "@@3(e\GgJ&s:ޙQ5`mPk=3}*1u\R0ǻ)3OGPʽ8HZ'BJ[n.7[6# $MtJ>/wI+` 2殨řKy2? %#bAHTi{Y9%瞺DpGtsҙ7n˰. ~ 5^6r ,-&UAOyϹ)ȣ]fm'b'^cwD܉3kV\g S;@rV! ?T3A{2 ᓵJE8<9J.#Bğ?Wg7PEMll+\Ǎ"]T ٭Ѣ74:M}o?l4 hZ댤o dGi@٪<'z2dv7bn\AZ~w޿&ݖc5r`1EA-ٶc.Ƞm3TmƗq|]W{38Ļ/-T<%9<%D<;0|T~.:bzB؝Avs/VoB6~@yO._^C[[o}Ӷ#ZcG٤T0Ն}qrUcj_I$K߰rM$1;wθV$}jɳM/<nP1d?Ylq5$x to"9RwRϟpt[VP=\gFE9pk@pk8*1-#MhX|{]H ?P*Ѣn`lt 7ٜBE#a>l&<"KOVB@Z%G@OJQbQ!;\JjH@o])9Q+(Tô$qيVaz%8c9+AkO̐W_?o^EzN{ze33wę,ǙL^?@{lj=lO9)F,Z؟>A-'mO -/ 3("yQLDSk E3̧_Knc2-w3*JjW i?7;*rj #L.9dITeR]gtߖҕ :/]Oб0 ^|YQrgwQ3DH_q }^B !=qx^_y>Țz|]?/S.\z. %`NбaD't.FQ]z Pdv=Yn={"(_ d ?'K"ԎZGS>HK֐OY$Cnݜ̎m ڞױXej*@ܦK"yAb&^K$UH"rkP}Afh$Z'>@ Qu#b%)YWpYq"<+؜|tu^]OeGEqǔ2S +v^xʦZ2/gZE*< +W.x:Qr@=r,)]¥Y5ߙ(N&P$O7TcXi i{qs:3 갆֦]!!=b> Ȓ8\fX^ |w>U3#|lgm[gJHvt`rTq50^t1\ ў [# 6 '@VhZԪN`"!wlguFoT\*?c^B"%N qP.{i d UT l?]Lz7YyI: dǦcJ5HNFPFmsϩ5]zyuU*|otnzKgwMeNɘyb8spW8ڠ̯'T8T]\B;EH.C{M*[6]u@ՋtKTNQOyI24NwrrQ9pM]0Me&h6ɜ= ptܺ|`aw䓚aelضdT>/dF :\X "]j6a7@#)ΔOU9sf#VokǶ YдYڛ:yw0\Z6b}i'3GviƠ*.[ϥaC?y)S*ni+E'1X yF/oA)v\VĠ«D9Lž<Շy3g52P ʩnD(йA[ds}tw= [,+Qf%wNJN~ѫ&ƻKM± 7Hr x_8BpZM^}nQ|CZg]NtMVD0Cȭ|1fGˋԯU2s8bYBD! >~IŒײ(<80^;T{@M35ę\\ _LNq ݅ "}#::Ovx%ˠғ :BO8:\Ncה&>phru4c w3ZRF)JgL&iEvrj QVKԛ;#a1ڈM/ӥv 2˅_wVx{ֽTh)֏(gS6~y&sH&N)?bj$u0Ϝfq*`"!V)8I??ڰZ"ŹRJ,p ͳgtS4}J1TC e?'O3vwV|ڲh6uMÊ[r_'dkeHM6Gfr3!Ǥ_u%ԙ;84GJ#9U` S>YQ/7Yw^,^=yz!sAkI.mCf3}p£7X/ MB=*YßVnCZ3_q?DGrBT#/NQO3iO$VZsd ܶcE:3+@ ~3qGJڮނQ@Mubȶ2~KQC }I:j/ǰqX#zZHDADb+"S*eaUbP5ؾ oV^p X Ow}d|dӧD؏`.<:N -Aoz}t)?zP:ՏEI0d5# !J}b᷈?9ŵ)(#v2y/|F%3NxxUW%?KWZc' 1^-qiJYSx8G>вiF8-:+:7/zmHh[A\by8I  "`gL,kBǞRQ-CG4[z͊zt^?XeEvtZU{mJ"A/;[}·3B]iun9iĕdžj{ĵ$7XtSO7mc1M<:h5F=Ew9q: :>0鿅!LsِV !qH+CG"&;ʀcukG:L*"g;vy*]=w| .yZ$ҪY O3Wd=VR ^^5ƙ'yuF4mMBo :lV o]_G&MO(+f:)+Fn?4"B%݀Pieʼ%>W>ûo?B՗{wMK.&4mۮ'OR 0C dr=9f9G{Ԉ նI+5)UQůQgZ#d%z OgmSŇ61AIBVaWO[fyL *@ʀ.8]C\C!$-EK ׏Ŭ_ov 1ʩ!{8>3|`dcO"Ѐ;zbid;\ csA)mtgm,R4$oI VMϜG}(8 P"oq=sYKt K0Xtgk&OUI2yf A:rq]ߜU U\K1= c16F?'JCNGub^S~p V.=.9F[wo0d[/ [F@Y7^72F pDe[lp4@|w I,'ҲY

@娿6ފz^'~Ykr upQT uYքiievġ'M*WYTKefL?>RMH+pu k1LFt:3 [d>\tS5~m?؋,@u"]QH-//؆|*.tY (5BX4m7[*7E0TX?ZW C$:ߟV:MQYրs&7:şzVB4\Sr͗T,[c錧4:JgTp<;{Im(RTAYR/gt7Ӌ#2uٴPNx˫=LQKl$~uCLRS>#)|Db?\WD=+V2ুT^`R+oCA;v0oG4]vOVntfk|1nv mObE(Sڼ#EXr6.]=*t";1AVjag9V"90 t/XgFd ~i7cg4rmn~bGWK:2:YBw3[.3ZsB18 Ҕ3O82/'0g`OHaaɟW>^9ۤ~]J]sv~/0bw j H7 ]}pl=E2F˹.};wD*~QBM"qp}j#U7vp.ruwJH`{y/&"k<16/l=IXnB2\QOFÑbT~,VP#Bj eț;,TgKeVLY|p@{(ܭ9:>x9:ą?i~m'q~\ִRvQ5Y!X/8E B`Z"}ٮt_9%|[3.,*5-s]\6ƫ1t&Y 4D'>a_ͿEW!f_EI[vP LM1 [ FS^d#<-TD,UA(V63iБ~qvہKb&Wǝl0c%qDٖn>̬Qg ~k~nW.?2h;f/5IUD3 Bz_s^'J8݌h'To$ Խ9iNp cӬmZbB&XHU%>C,q쾽v[gJO 0SM,, ZS8%0\/j4%;d&b\ya8zbvѶ.D:@_^ك~5oj [mSf ym}O9P VD*t-WM1)t5a0w.RZy=iMjsnT >2`HZgs8x J6vuU>vV/ӴuZQء[E"Ռu"D۩˵he}`X+#PTsFN[#twpC_)1w@šEUBۖ:sjI' oOV'(-) VMEρڇ<7-L2$9#n,393F詨0=Ƭ%[+D?ʞ_%pq|kœI=?MD$DI B~W9ʖpŗ's9\B(|YOD׉ޠ^'t!dL/ d<}?2eI! p AFUWbˏX\}U)?=5 l(g %, Vi[Ϛe Gg- b9A}4W-m)`Wti ŌíX[0{;"fcr2W1]ЧJ`BȠ!Kv:XFA(6@$P|"CiWC8K;Ii7&|v81,n*hm-0o9C MDjf.~{V7p|5&g˫H\2?G*S?÷eU̪ح| uxNזVirBw2INؓZ@rY.:#Vdgaa(UVG Npk F뢯[mSUN#QY2֭ч/o=oW% mCᗥjr?ſ7\!cyE|[- _%ڻw5>.FSkBR(̰Bc^_[ qc_LkH4Q\?N:d2sgC;eҲaWH%05UHȤ.a|gpaCwru-&}bOW eHZo;:\!xɠ~@Bz4":C|0;$j#UmuKNrL=)h8C ?Tt$Q?mZiFe=~}/ĬlHΧ zl3tѽN~W }pw/ ̘uXC)tD֪ak(8 #'kX\qUr1 к|Ι1zc燷b(}wR!k O9~!zX0.}@vKAkCg(< ex#Hve0S0Rџ 8G15wEHǹ qc)X#b,3ÇQ2GM d[ˍ6DUyj66_6j7 TmB2Q ,.w͗Yn4g&&'̠i(W E;Zn!TZWHൈbN{806vY?gۂ Q>ޱ[O3H[(^w3Wi4l³֯aB煌܊_/~@ e]OD 's[~y!TہzַܡE4PQx>QBqyn>Fumw8X rWS7.K,66xt'lp~l$$#4P|wtYʐFCbAgV5SOnp-CU9/bgR&J̌/ڬg<( L8ݓl]JhAR :Oⱔ?q&>vls+%\,8'H߶XgȚcuWT X74ORU&!@#jZl7˂ѬmM/C0"'~p-YP.4c%,Y&[0KKe㼩f=sOHS8% kUM!Tn󲜅.sTc(b8w+m: 1ci=0HQ2 v7a!OP-;2T8R%n(.Krym9b6>C}W,'1q1H RYDX~#{1J dׯ뷩[nK%q3*.՚C^臔$j/rkv%by߇O _/sLs7``,8^~+qbPb^M"_pm%)QcVqJ/+#2&Tш!kKOxήB:e>5P7LV[_Wc^aIо~8Ӳo8sfJEbWV?e-~>Ad; ໄ;jΈd5PɱB:CVvD,*vBiXs'H)x m,")a ڐ;˪p!Z߫ s +ξ廒h1}aLyW0z4T~ײW /b6ZH@``xת^.&1E~s 22@ r3̝;hqqwciЧ4 $^ZQ?[\FW%|vrQz ν090f :/7KUFc UIF1%~Œ^ 4> 8 Ʊ=@`j$ݬ oHAk#R FhnW~0=n$:km[򆸨| }iIHN" ~r;SS1<(Ar[ëIt+v!!FqqCA6T:]H03iYWt:@4A4Cʩ=YkK Kjz#,ʘ4PXr? T>hw#Z x <]_(7*He&PԨI09$~ ~9&Qi2ߧNY~L1~ ӊDӠrF<,A̛7%]d!bHkk'W$BRK7e}0t`[CN#r j(sl'ƶa)22w뇁]xe (5>1=<%lrڧ>L׎T5 ;ZJZ2"c-`Ś5(SNccv?$wRN%G~ (n'3A%~zNύr[2&M}vx%6.r]K5/Yt0*KAh1n䕞W @ "6U)y*ІRY[mbAW-1xӔ^Rb>H@m՟}4/^|m10L|eZu _ hUδpl/z؞Or*/Y5y>Vc<>CE_6Sx_){J=Co=!h6ݣI  ]!=Gaz)\H+]4}H_@~E}iR5֧H0|Q3l<Dy'`dre9NCA:mTvc.E DKNlMs.0Ar`idiȪ2$o\zd^_Ĕ1:GNJGyVՁ}T6$I\ gUXؖ^e䫽D2p#p*57Qr%_8{Div2q) B xmfzpl%֝S9=.LeꙀ>~9 <0Ӟ"%`ټ~IjQ|nphi7wib: sςbc~49*(Ls"KYiOܞA^V8_( ^״{eGE VMF5u0w[bY",$׿ڝG0*'Jyf t쮕tElMN MHW6ҤAdnL٩ d992ӭnjRcOcP܉c#8@;TF̅p~aefE)/GKyW-!RRBaJ6&'_P$9c䪊^ާ#lʹfmWŻS%WEzNw3zXːR@1fZm S\Y“9E pd$cJ K]Axb /lr>`cu#s,ȸFs\ Şibnu al]8wdYU瘧Z҅ M328(:BT@ޘFQއ3VwP٦&zpig8mVCğ۝Bi萵looHe?:-eVc傹=J+m^Ca";.NNb:4xR䂠%];kzP^x1l ሓE.,+#|͏[Yк37diON :8h 9M ^nXcxXQ78Du\NjvLzK8߬vV~ `B>NcX #=.ZJHW{ZM>Sb-wX&>[6'RM{,uFFH <ڵ*o5MuFJZdM8lѕRK.)jE`ǩ2/Lup5%WopԥkP}n͂/n\.߾w㛀Jϸ&6BVBB$[GSVMYVSz[-!ުk%Z#} NDB%lla#_*YZv3P[ qSr %f)WԭG\b6pmlٜHk==X}.nS#6L SM5=!;`߭8RЛI{%MX*~wFwuM/k8A*K4>bZ.=ε,&嗯)e}m}6fgfOG~^ϔ  (BmJ9'KcĻP`Y} @$pS0FD~C z{ȗQ>.ƸeŤ|&҉TɈ{urz=4Km$P3§ WxpV#f>?#Ce7' wf^͔C&L1l ~x^o2 srJ,,Q!Kz:Ѵe 59.a}Rma&(hrQ@s&g7 !a; jA:#W ;n^1G'zeq kvӪ,8[љz&t)ɣ@G!ȁ hghUoةM1E5lPCiZgغJi pݭqE Qĉ751ƖrB~f)WP/Ā؂/V;$h.>9ΆĮ f?̂ Et-k[y BkڿE7k < Mu;I۩[An fV@`)%LAGh|K?kmC?3GyromU~na*mSFQ E*m2!+/Hɰ\Mâ[*=<:or`qϣ\6~rth„q4(q끪Of;n!7_[[X~.ZMp0)wVbb|v` v7yLMAuM \xgO7+9g N{Twݤ?՛1 Y6{Fcniru g$ArS؋;!rڜ ~⯴yA[SQ?cri[@Sc,kE-aP\Ҿ-ֹ wԱϨBwގ(_~n'fMx/@SF΋UVZ|4`DGiro0 $]c&}m841p@xx?2Rm/4b",0v@?[1#8Gꒄ2EC qSGd;*M.z#5Fٗ=LEgi"7Cci.c2T M>CLf 8&w:=H7Q'6%$EĐŹ–h'2o/-;fxaOaG8˨!֮7`c*wdhܾCRI$8#vrVVky G7jBxpa5DU8\jLGтRdOAd]nB)Fg$h* =gk;/L/:[pyA7~h.!-?-}, fr&k#Q\K6'ZUps$&%yH `fv:f4 eP36!46@)W(U~N {czI^Q4Jٗv$*I2qk3%9Zf6UnLk\|iS_kۇC&u hB/[RqFM #<%TX_mJ-m<ڳa66dxI@%pXcܡ-PWIRtڙBIFZƘZl#jJ:Jg [vaJrsg'NgT~ ?iF>PWv$0?J~NJI5[Jj^Ԍ@;Z$ue35YGG6Ǥy ~3?5I h?hk,&%C穎"\J?&#tPfn̥U>ޯ)Nv*k9Yl$\SprqlTVKʠmR*-?=΁bL+D%DC- M4J=.iGV92LMtR?۩om$0c!wY8Ƕv&y>5 N?԰\H:w^ɱѿ9+JIޥVVzr*n鹁lۏXcTimUEAj 4J3e:i4q!אnA_#M=1g2b7 W9'N07͉NBT=  Ć4ؿ <1 p NOOdd8i4B@o2a'rnyMw17 w c~_dUc2p!,Q1Ƥ,J2aRML.]\lڦ.x҈Ոq׹ Kh?5LV2|1Cp=lΫFAnDxȨˊ5!sEkNF\ 1=M+.G'HwKG!ݺ$(L`fvt,qO=|x X76E,- AϜ^tSo),' 6 ?sηiWobMoB7 SUIk(.C %D75׆2@ÎBXtny 6)P#~$/<6\G|5Z׶-l:7To+1eXNf<#nPb?t>ͱ`:%vg86V}Cm[ ~sdx h1'`y.>rَN5 v3VUgʌbDqͩ `!/OkΞn͊E!}^S ƕ3]%́fX&9ՙ qt*9MD1H.Jr}x, @b'ĭs`?FY=%2fLhm_ my=ʗ85r Duf C<M~pM&/|bKqel&^N@Hba# D%Ў[% oX@TclN]xeH'v5)ӬO0} "P2f.c YpeV}mQ^Jc_z49)2-m~l_0ut2Ilp icdW^]΅#\VaoyrҁC2C4u2f]H|F/acpѡ=6E1H0$vuhE3O`zK53au82.vcq>+&5a4k.09::"x [6v3 q޳fd2bu' [ƟL<-':n^痋52$qL)=G[9+l7aW=(W9:SVIHZz"]+nuJ%%Wj99tgk&Qdv}3sqf"viٺ+VsN{Jiy؀3&©SଉkFH_0q t.>u8|CJldh:"=M<Q/ӠNԚʳ-vy7i=RֽPrB^ѱ/R{c$֖,\ (BD n$pYcLqA3ے[\w"bnyiYw;0Vzk{cLESus 9^ŘLi{^O|L]Dh *FLQB#Y'%3CdZ Nw ~Ȣn2X<=$a%q4՝bF F ^(Zu۝hB~"rM8(jՆü'gCF;9v'͙K3!Rs<Ve^IHPMZ-KW7k:|SC{ruF x3}Т!.P$k/65ؐ%i0E\G :(%mb ts!姎d-/&z|EnX]@ٸw [^F)ehMQ>gPaLE4X?lV̝U19*oڋHJwf',3b7Qg!~;Oo,5pT;6䝭{9=cKGF%O"#{CDT@ kJP)~ɡ>;ƲD9,1#7R̖bLi6uj˓(GVN*hbe]/Q8Uu1D,R쟧HoRa:|\#1vA4N2v'+D_KgTҏ~;.dNf[TG*,( zKZO4D]Tb.~DYSLZe*.E&5ۊ %t=F$6=<9o0Qq=qnyh)F;w\-bMG3@9r8"Cs"#%6z{`fad]K6p[i*¬&1*E"N5) p.f'\s{̑_E(1Aw; #qx}i\ƶݔXqQɘLS ?-t,޼5ǚKhq(20/ի<@(Ϙw3mL%z bLѽ 0qf(n ,j"+9uEuG|4 2*\*HOɺDCϪ^}HH>ՒL$-ihǢ{_$c'y(0Y-4_vi@׾ױ{>Ĉv73F48&K/aFA (oV4D[=ט9;YMmNlƓ'3]DFԊF8~bAXĎ+- ~xG%f8=.M83rY2.! 0FK|WP*ڵ9s7=۰syn&$05+էޠ8T}$ ׼3c(^&y+#b@,r}t!5 ~iy$5eż.Z&7,e| y)/=-,7i٫7eow;|=jA~qz3yj)HPR?F 4? 2?N9Nz$ʟ3L4䒵Nмc + Z/pRMT4Sx? )fM4f+_C3pBmp|+>,{Ug \Gl8|'7Dž"'.2.mN'nVr"gLK&#* "\6CRQKSVtq hoHwTx,-j`WW0P!c.P{Uӛ]`KpF V}p6=- [?4RE,+Idij+ٜդ6?q`V=D_A Kbm%r|2\EbNSî甬f/R,QFE.IEۻ^k;Bz@ 'ӌ$ KDPHm`9" %Q 7bE7 FŘc8C֌9Ҕ:UwgKy0B4bPNQQhhb($"bEQt>k Y Ћ,!*RbR>?kirc%ӂ:hI@ӚV\:mfqL8k+o\ϸa\-S)Y[c;韗 #F MIv>L F`_NIIm> ĮJǫg7S،[:g˦bM=]g.jsja*0p"l%C옥T$@jNv^9c?$q(U(A` ^AMϠZuy@Ϝk2+/_]v .2.͢8\{Q5nO>'H*?/1rO@)uh=W$tT}U㣓ᆆ¾|IQqHr]\N,77Z"#۫Mb:ssJ6I?{́,tP.שՔCMBd=*Sujw -"vyMYg_2OpA2'oEj(]CzRS Z5_(ް7wYa W>ڼ3xHj^ꃵ?&G{St$UhB4au=ds/j[]vBlm%^Xb$xPc6TwՕa6CX <5|ڷʃJFT6b|~;F,EVqD_x\]x7{=ƒ6IrR89~ޠ@\hR"=^ s?[2iR2>FEڏ>F|S7\Mu"` a`Ч RFL|m vqa, o?M@kZ|2/' =@?Y $Um!I"eAɯ4.%)\ F#󂆟'@O~ Q[zeD> Q |mK&nf́_l;(^qA{hĨaG_/eUf IatW1C0u[3r_ur0VxN2nG7/=fxbmyI}ZL5tedjpIs0uZVo YIǤ gYZ E %EQ 7G) HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_Powdocument/latex7zXZִF! $H]N}T':=Q߲mZwb3Kzd d_vh_KC(3 /dipiJc 42MQY5kP#+%,4E P|9? UsCdI b"ƫK[T<->!c޹wJ-1 e8Am>2 ):~e+̀HQ>5ŅSZ( jC0@ܷp-vOZٯn9dPzU׷ش.0U0\Ai x׺@;=c2ũ5\"\%t f)A%'ѓ ݕ#cN-TJݿ}!3PR3ZobhD(s Ef?p}$i` UֽكǘIԜ#Pd(FbYf8QYu>V cMdv*- +1«u!  ?jh|*$1i"AHHYK:ATy&_@&wv48uvn%NF9 VtnvJ-uǤ 7S) $HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetdocument/latex7zXZִF! k ]N}T':=Q߲mZwb3Kzd? P=r,_tW fWm^`Gz"UU}8Jj^Q6w|ƾ!m~ RZ½f;I{V~v_wTk3FsOGv3 +bTDY c憹LJYsf)jLϲs-@- @IVw?Kx >U U-tx &uLFɛҏ KEdn4CSe.VO+KjSI=uݳ?oUP!?NSRu`~KKJMѥ CY8ʐ$z*n4XPa7z|8Z!i':] 9A~tek,.MMK&R#;>k [[p]]t]*%)29J",D\羻_?8)#ϞC ?T Las̺vWi; ϔmGd5S AgDlB ]"aN?W$Q p? y12-0|oMMݜ"\R󉵠.6]o`!nphVM .t[H: 8|'/Ѡ{s`kFQ~,^5x)PWiqBd yv{K57 ¿NZ=˩d'|z42v=0Ilq7r46#:ê,ވ&wC]tM-6v2O>4V{1Z*{- >_O5L9j& ;:CD^(|/˰v>C HYHqFy-hڌ?ppIHC^0űMړ* #33 |lNIvpS#? 'c%Y5 X%hz~t5eglM.Bu{KPeMKm<ʼԹk7`_խ3 8b@iDi[+ZK*ꤸ' FoK$*-`.00 AGe{Z.֗l\Ic Ya3- q@2 r F WL1%g/O2]4jRX {M r埬k;^Ӈ;D7fKT87SUl1ڊJ\$bʲ}J5.'VҋTA}1RĈ `0 oPz [ u [ƒyO>+b T$v4ա&ʼnnUŁ=܏)L@#`~pD A7x M|yL9N1W־UҶ[U1OB*xm/Mia'RfE5lʈPqx]n/mr*)]"]ZEemP!w!^+iL}JK/]#n^WFn-㔛m9paMvjI5oꨦGc "ݒ;ڳec;C6 TmB+o$m]7f~X ryN;SPZ6(iG."#{1ccqY3~a\и؏/E>eD̟Ml^;dY1;B\0O?wFrવ:^L6Z?d3e%q;^ʝ:_GV` {3sWB8 x{m;'re,Au}ZU=mJ[jոKa:x)7u 05i}#Ӏ̍ƯFE~! 6`bB' KnwI:@ʯI‡󤰠qHC9vaԳdֲ9`?qye-o N+` ]!+GzQZokЬJA4h |.iˢ;),aj@3 M"(##J떿Qc4pIw3W {gU[Wxa33ΓǕLq@nނ8:'C/{G7 L]?hF <"K;?`*m:Of*L ebst­݋) <rvQ/jzXqhY.]w&C,M\*x7oO[#ݱ9Tf!0ޒ"Mʽ|٥ Xj2fxvjEXfo_"=';2*IHSwʍ,iQI+ZOB;/G6n06L%r #ƹHң "F)~.JOŅ$q5 $T$qhw\s]zY).bdž:3<𳌢jN$i%Uj{0 |HP^}iӭGVp8"1pڧ5Dl~*bsI)fUKbPY4ԟ\2uPC*Kl][ݝR~RNU7Yu-|e#~uyyˈFпy٠g~c!UTFl!.AZ4}YI5DB5̋EMAo IUx%-e_!߾Gm;/sD6;7p=ܨmlMdkwX4^㳸Ǒc 5UR:bL(:̺y nJKM%J1r[#푐, sOyL : Q,9-29g%k":tXwvrH>p| 0Qkl4R.4]&aA hU_8"jV "w͍kMqĤ9"G74ZMקVUJ~ IEPQgz|vI>ML;]O g,ٔj_ϙt Z}Ӱj%F?hc94K[a^y$lm+LbL:5Ey.,-@:TyhK|08G -ܪ{h)pV(Tf)l?!1Os6|g >FT$ٜҳ*ȳSP3g#``vx&u&> VBFX%7Fɨ}'MG(wAXu:)9QybU`h+ǹ ӷRigPf/ϹbT *6 7 qvKwbL*HC9 ,"T1]A[Gsah;) j/T/l),,g*NY,WAHb%Xb}tce_Uَ°cK1օXf mZ_P9gh@B| ҇Xu纳p^8)q%R=*}X?m)2I'JN|,us($(Z QӺe < `"} .\gjEY`Є׼A`_zKdySuKm/$YQoM4] ծ8REce};; P 3U#sy(3.}݉|iMé#GOM OZd킹Q1m8esN5!hْV?r=[J?>;`* .R%vVV!iAT3qbQAө0MW u}SaK7e ;RoFnӎGkx8:,'KNA}̅q<,RFfog NCfusŗ vkM'vW9!=  ;_A҃r(K"p';.wYfkj/vr5G#>RS?3L8K~ 3Yf8FR"yMj 8yO.5<׌y`] 7mBԦmvu^;F=r̄ "$}\.iѐŞ"ZbRsdrO2aE|zu*lU}'EAX=s·SLtђ/Hʇip qtPAhW5$3voLDNz?&!5~yFH '쎭W1@ KT_ݺ4.˴%a=3> ֫e*DsrÏix[OΆu!)EJaqIֳljP>^F#>ԉ}K*›foX~bV=O B,óScnkX$A5J+ ]lQvGpgu==r ;L&b+{ i~[: N[ʠw=\$oԂXn.eAT!PKqZBQxR{݂&SW"=L.5'^^ef H:߶J ͑0V-%YH*# ]I) ¢(?|? X56ZqtRJ.b1 f#{S\2#7KnG 4BGoE][zFjݫ-&P_ToXϻ;ilb;5dޔ7j-YO*N{γLNFܒE!3?cVNƷlISoaF]괟naLTg!,1T1ˍXmMI3)̮|ZArCSPc6,/~p ,J0i|!>5M!(z,Ǟ:pjG=`XɅH>.Tu%$:nkׯPHUz%/#$6;<扚]hj o&C{^>_R"kv6Lz&rNw׮A(fe?5_uRħ$(pm Mw pSK GdZL6e{09Nղr#7MhAn'8 Cl:d hG`H!cX!pn2Zw9&|K]rX`R>2nDa^c7#B8JȨ^ WZ(i@i%á: d`L 9㨉mE dW <\QoPHܧu.E=\w=RhW)[@Mb\hi-]"4:yL\V=EY^B{c?_4*!rG`w:JBiZA6Fó3,r6ބ/ b @?8e>^_W!REo;6l2݉x:@?YW!|{BZ[L+$[f MCQAVb;Oa%syd]O~/8PS|e~Ӌ[_"JkBkF9COYE)j&L1X `$E\\&zxDž] xDH l~OgYZ ~~7M) tHOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListdocument/latex7zXZִF! ৣ ]N}T':=Q߲mZwb3Kzd:ř p+u (ѧ;g#LAu0Kt `60e.[';PH>@a2_਒ՠڇ۱ǹfL~F-ŸxaV.{P1}ǵ˜PۨTkKr~;|ePNUy=D&sΘN{b .)f[Xԫ _NyPËch"n|FhS. Bs9 an⚓/ n:.&DnX";@53iǵv+.E4dO+ȵW` 濃^/ֱ 9m<#Aiwd`Gu:2r$.b &bRj|q62+^{hU8k=OnWGUQ`mP Gs"ʦx9-twa] *f`S9()eo֤nMSgL-6ʖE fB`/#T9aQڱT^̛W:WHMV*Vc|0j.X x6 >i XrQ"tKCJaӭӐ>Hr"!D>UxqUW߬gD5a\`Zz"@M,m+Dǧڄ@ #qѕD=q;|⇻4 MWz ((e#f g$_ Y=JpH䌢dSFC,| :27JD0Т!0'GjK4V3pzK' `Z1Z"G@$ëRd.iQ&_ZF2E-!_QR2qpBgX*%kd u X k˿|q@~-~uhc\3{"*n{g6eO]JZQuwEGJhJmPV[Z~3ĝ1Gan"gﬣZy6VpƢ2 Dؑ ,/MJ 7AC&imw'WX֕E.rvp2T|%Q~4S&qBG>(B̓EK;iWnhJ3BDg,w)2Q%V!gas%_o3,)%- /2g}:U k 6z1!1gp9|kuZb)U+<$7mJunNYMĝl qJae(EApȠ-d~-W,ersCyKN ̦BޓJv yTd_KI[P / \ |ћ $cdzs3.;Ւ{.Vg N[va/cLpvxm(釞8_-ߩgYZ#`ɃELcBZ HK$bG 5$F!\2١XT55P័-r4pC)zodR-JBlVA:_<o:ީ9?r߳PzDsmCkM*\4~PP8EC;l T<)K\zaiA'c};+rA93ng\X+_ac8UkP&22/sۆv DkEJ/'" 3к G#} ` @A@b]A]X䴅م˱=*@\H{>VbdcZno|ߘl_X^q,/ ۇM {d` 1J=*ox7Fiw9J2T@.Tj3[[P4)癝VYK gb:;'[ kdr^Nմ=c&V Ԏ2Py!oЙٸrҙ2LLc|ij5;4P{5mkЀh2:c啄~ӽ%n^ڏv5b MJ!(s\ 3>)dȯGڬ^?ͣiŽMYجp7hsy.vU,-Ӥ1id5]v~׮e<v&jA"HSõttn ΘD^k U,yGoٹymPU_m\fo^S4 ]ĀǞy݂︑`:Twmbs;#z ګ:QL 5!j<ݜ2uʭt:кI 7H;ve4/A<̣w"n TqA m,5~hQe„\ȃ{1r@R$n!޾xW\!zb&zOQJy灌}5]JELTѣB(#z8_:qQ6^pmk3 9ΡlE}N0x~UlR7S03qրcy/TfsD,琄ËWaFS#;rysj {ۙs4| ;ϑ^1dа.TH+5+ )vw|۔AbH|dXR{(p&V$\|d6WEm2;)^ Nf1d` *3BDEDFcLABEQU@YKpI LIϬ ;61߬6 ƣiDړ^Z& MBRuWޅa%!%}D؜!?>fKM~o^)uW} @}.A^PqÄΖωv6"_u5qrKBtXVݍKp);8ɰ э*Y1 a'x Yv;@uпN ~LF'QZ~b`.m܀r ZTM9@ &vgc{EIЬ*_$Y ss*f#l(oxcK /v,^<_pWw Ž]3sQBl}m WI/QlI:τ :GE#Lm:]pe BIKz  b K>}1ׁX"K &++Ǣ"`w2yI(oɘڬ!_rrlU$K$U&}eӖv ཎ 7(a8wKñR/O CnIBJ&[پ :Q)+X41IAC5Vf;A!gnk翦2=}ApɸwjQaSMf)K΍Qh֗o FSpin{slPۙc'Tb \]!P^X+PAĕWa+}B҅C_)md-6IsA`+0etR|3Ӳ 4lrPv 2ASV ǙTP[u<{" Y6#(Q?}z&mS1j:OzП5e) feRk֞@Δ9(jV^sc 'aOt(9LbrÒ]v]Ks`gJ铦iRt6hݬʹ,/Y%qʢ11"3f@LU !19^𸏼 O"=ODw9ejƤ;amXǿɕ>>1F? KC,0muw'l썚ۆI޲+R8!bVF|wHFm,㊏i L3tF)y/ ^HDTgteElgg~f N'MGA>TOh! h _dX ^' y r?_|JݻFwURﻞ'G`_{"uLf%y]\,B:WG;^Zs4 ZORrWv>.\?bB_ީ,edO̩OI%*%jڱ߼- QJ?G   #iriz,8 ;5.{oA9`vXʌ$s2y yɋc}~BC;BP;/A5*tF۩# XSt9-P;vM[&S,QRنnsSc̶CqޝAg0;D(]AobHVUmu<nSӆH`{s hv#a-rH /Qq;( W!]ɎmA%شk,yw`ڥ{`ւ;8g2k3|;@LϦB` =Nز}Ǧ2.G?=m;bd3K S<NA ItTRɒ߶P=|_)I4PI i*nF'M|j)j-tVG m15Lîn4y.V~ ~61B4Md(9̓oX2hL93u;2ZH\«g1cL<}GOԧOc-yYKV޾EKgR:e"jT -fn\KeBIQz7[%!-㛦vf-Y<#KN'b-`W1ķ_S>ΤHk=(lEqəUXTBUQݦȈ9=_.jD7DGشz;$u\?c&Ӎ+dp*hv"b}j,dP3:fH*N4X),.x+d"LR20SA*!wnw3/P!|}CKͲW/eJh8ڤ’-@erI4Aٴ*o1mŪnنa)J~qc/)a=ĀlE l wwJ> &iҥq"梜QG;yJCYxVr4( $Z=&br mv<';3ϫPt'ٶFbˮ/{UZ~c{_z6.ΨLj_Y2qelMli zơƄ1 S=?q3!|b]9k>iQV=r~ohթ{}aPnG~,pa":Ii)5B6AJ 1~ {1N7M&pqRp x.CQ/xBUUs؃ ^uZK .TBbbP*Foĥ(wOmQ@*Yu&w:iB/A}@燒P+& U1l(~8z T>tHMnOdP ~e6E1-jsJz$L.7OvpF?Vl%$XT'qzD[:(WtǍ(/jdf,HK'̓w%]+rU,dvIr1SD"Bx}y *'K8dRq |w<e]=pֳhaڐ)<\׵[cE!tчCIBJ,TEkÎSk~'a knd^k=1>Z5mm Na @qhGjKD;wa}N½Bo9>J@+ȟxp@kw"a=q_baΝ3t ^L [ m \BsT )}摝3)!EvYCYXBEӛuP2r ~䢯'IFIPIfF"Cw$jXbG:~6} )E\K!^K1Ti~iR|빕̀`W_&#X?& "엨OwWN>/0KU&o#-@_5JIx2 w} IT:.ORBRk6BoDヽ5f΁f^wNef7)b=F+M ~C1 G׉}5Hkf~CaO 2>*zJ|eT9[\dLɬwujOd(r~ 0sGm6$Δцm;&HJ(H3)ۺ SKr#Q̼st[j7)զH/<5*H,h]wj<,T@^h*pu 1N0.dli}-p'-fzZs.nPcINc6VqLTQk&I_پvr|w*?G1vm7P7&u@ ǁ3<"mS4`z})9E'9ү[O%x}6_b-2@ L:1ѽ-olc0Zvn>~28t^! pX~?RS,Lx#(;1̤%9JŸ3l3cx1i8m0L;;ׄ(ˬ erHSq S\gs= -osLHx>LPw(+m;ccx:r /L&Ҽ$އ5:LQo/XG_֎79<=&'_j _- Ư>Nxg Bv诺<.a_zVk?H0_N?ayxB#`~r eXH $kx:Zr _ d\&E6DdzZezgi;*YFSul!QU1TukыC',o9Zo^bgdBkvD;=e6O~jtP'n(zlD[| R. )K3RoJ@x[2Wx/ۋ#> p"*{y~ӻA$OpN!Z:wQ冩24hVt﬷qJDŽ$n<*@悷[/,+/WQp`&)8}ZF:dId!ś{ 7Mۜm]̚uZΓrs C\C@9(}6 120J*$K.2~jS=PT<.}a@\#sqX30woدL9_ƥ2ŅlMn "o|{q}yI4fe4M_.vgmGPV ¦Wj4_ !9'4{@hw~9¢x| 1\Bd}ufj_+hf|v9v `yj45-iPUf3NY.s'$Gg=YlN{2zmZ8VHeolqll+96"¦7uj~tc]i.,28WEHBsS&~hTHlo <J rZgYZ  R R 7K) 4HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetdocument/latex7zXZִF! pv%]N}T':=Q߲mZwb3Kzd:ř p+u (ѧ;g#LG%gX1$_(p_inɜF"4JBn!)xn NRfhuI"xz$loy$kֱ`+ "1Of ŕmQV8@P,8L8Zkwl1῔L!AY̏\ubvH3̻( *}F;B^k9q34%`;a<gw(YH!'5&]CERb%LUuL2|yEY=h{qQhΤsu8Y@oU08K1,gQE:pv.v)(~}xüKAc&q5D&BejX=>]ǕcihnE1Y3ɉp0r9# {9ԝm{}gqb;"EF(qWYw]&0C`A1%7 &\NߤߏI6u4bD&_fՉAme+5v8&y-mo4:yGAWbMER&nG4u>C׆-tEY'NO ĽYuAOEI) 1XDeكL"=d)M [BQ͡bGLTACeҒw2%^͚Fr\W=JaZIx:ݠZJyOb(0P5M34EZ+arn* S܏}ݼHL6N+ʷZHw!(}UDTg}r6I.{xטU~(4˷aogyT5S&jeOInZ;q(g(%86Z+g$JѮ_X7C; Dwxcn^7opv%vmj#IE|FR̾:wM|9>|KRߖL)q S&$E?I<歋,O?2OfΥXBܛHN ù҉)Xg89gm1j>eOO4TNnjd**.4fgDU=53(-Φ?*;=U8 ;fųjdh6!N"ذ̾"g>[bD4EGmK:ԁwVػ1p(G hs~+ }kߓ֍M?DsW:jIz2hNҔ"Kbא< BlU?n<~'3+I d\C'}aQB1gy>oJDLd!HzǪAfů%S ^k"[ֈ$-"aC*\ 4,ϑ5GM4[RhG??"_0N0C^ރTKEviv`.k䘄VhT/zfNŠԨ6ɗ6Ka8)3[@ʃDS p&8*9yB5&_ɍ􀁖[Wjž2.*S5 w l"sL_ qY1`lԞW v{=0Xܙ|%F{GTbfrOCb1`.Jnu BF0u`ɷ<H'w՟$:[CqC8>#V*yEMt-;R&dٞyZ$ctAŃwJ@8uf&ap:VۤRiR 8aa*|`X7)7XEN+Wdtz_d1 o٠tu@ga_<4O`Ū`(rF>I>^B ]XaCE@|6n& %"z鍄bY['0?t$u$GL$)YjDm@$R.ҿœc "RܘP gs̘YU=(M'7@mI<4κNy:>d лAY:g~ |h5&;195xᬷg9[F͊F>l>/AMU׵#[>w5daXZ pqn]8HDǖ$QVL,nεC# DHQ`?##2Y̗ĂfC~K2λ]V 9{vJ9̵R."_ZDJ |.t<0:^ 6`a!#bR:u=vQazT[3xە7`kD'ǕZ|;D9 ٙ0`c lxXZ[ hFx}Ω=+J;Q=7}s}΍967f=* hRմdsf@wxՎ.' Rs .[,VFMW xZݑH!b 1*]JjXP E@QerGp!Hkds7E $_! Ye6=ƍvѪ_ex)RzB8o/<0#Uh>w%17z {&b,.lGbv*MNz|z'B58"@MRc+|:_g͙4axe `{P^7EY-ug`TMvz Y38jy!:KA0dk"бPda H.Γt{Qz c%ݰ٤ׄ3tr%JAAF{$ao$rzlT"j$~Yȿw[/wm0lGD Э.x9D4\擏y{+o?>]@q~>VmFڌ jY(} f`߰f8$@V/Zr9ˁ+@!f!b^(&X ji&pk5@G5x 4G(I'hdf`AQ2<]~J;<9$YD1o1Dy5Q u\# \P|M_6˶2|6CIh:1]{,ؒ*A{e/? Ja+Pwf*zXDд;q_q'R)EHئԿ'UOe|rhU5:ʬ) ~_!`D90 ,|xûcrn~,"x i* tSx, VfHx404y-͆>IiPm Cv xXGQP4+khR-&LJ @,xy$xsloxQ  ϊa";}A_4D$*aftĖ`Ӷacy zp98º%YZi%Nzt|eywōSi8_gpϜuЦDu:$Y(&̞{ S6PpuK,Z/KX DA0/ .@L}c]''[g (!rhGZ7Φdr1Bieyv D8#b0f'sIU/ow&e8Y{Ғ6on%U:K\ I8 f* ]ba X=^}i Q7^>}βwq+=mWڬtD؍yF2hk*7M|vTEfH?>.֞Ի`12a( VAU5%=NBg:zVg,3Db E "`7I.NM:Rcc4%iO쥂%X j֢AI)!<1ZTd@>iCy:kKFUI]|@x ?O709*ulZN h@5M=lTښ^t1+Ȕ.Fⷚő"ֆ&G]V7o9'0ZWy+Z yL(V3胋< F7dr7'pbQR T)/. r> }x{LkBb;{ d6WjMYR:Q&MB1a\DPz_as nK=LBtn3i}YƔV&_wSy7xč3ɑ^ZɢyG>;k@vd*UBN t%kqs YޠyMJ!:INl~| M:~3S$ac{r76I$wa2'5,5P0n>]X#x]I [!+i>UPiZXK7׈XCsf@Q^6;wxBZ/Y eŏU_Z9śq+9`9KJCl.?snw29|*%I7:-tٚl~6 QgYZ e 7I) DHOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Fundocument/latex7zXZִF! Ṁ[]N}T':=Q߲mZwb3Kzd:ř p+u (ѧ;g#L[ @{歷F('y|rvkGY [op/ɹ S;@B .fN7>([0Ԟi qYUai{ɖI1X\803wkv}R (Č2f3J3rc}v#6" nw*0eNMgVHz_f#f:}A1wHz [9Pj%[р$c{>{ ʡ@Klh jT1J8v$Xuo7LZ%ϙ 2} k k<2s њ3I<7582#o(stT?8`Y)q3lvF$y.b0 0 VP+7}DO! ^0Y.5nlLǬ Xq[$'rQAKxiu"LΒٛh)Dݡ6PLF{[\7sdňS|KEDYTEF6f6 ENnhߠVHFn';c=bt kA;ſ]F#8zSubZ@!)~!iЇ8'j㯷Ju6U9"ĥ9>Ypuz-<]J33SLUA<3d[CwOaP{4cs/|\MQ/"fqGϋ+ ܡPP~<0 f BTy,&WEc`(aHbw֊,W^I@f_@ 9+P"2q!kW2rlODquԟ]|"IPs=;􌍱)_m6ӭ0b=)6ju,vL䲯j~ s(YCڪӠ.>KSd-}Rw\=z찉,,ÅQґO,o8@'fz*f;{=QH]aH !T=:!fzGy!9 Z Iw JI>$Qr~ܐrvl459'~eLU+9nzqOѝk7$ѨCx%mt#E"qw}6k8}bғv£+rl`^Q. %m*z -hcxX {#|ub:VkHEObv>梑9l:6F!yv 8P3d&5c-'#\4)j|D&VM["L~`)!8y 5y to׈ ,P1 oplyJ% ,t,= 7a) \HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_Testdocument/latex7zXZִF! m]N}T':=Q߲mZwb3Kzd:řrNyʙ|r"Re #K'.`V1pEƳ@)IU[ڼacѸz=Ơsz {@㡸\dDe sDp 䛌OA'! G`f]9iظҞtDM$CokԷel3$>6se΋AR#g$_\c 6Ӎ˹ҍ%oKo#nٳ.25} ޭbjKa*rU! xdjơ֒cK>Ңb v5פgOU8"\4sgXDHn~N,lP#nJVA@}X8b "dnڠ nT<%Y;%E_?Lg1;Hïs>Ea| VL-i3w'^ڪz._)37OgƝjX5I- ^zsΜ28eX!IAx̀!ZV˗Jm:&MQ u#Ų~xc$#+23PYoQ@שl뚖=}R7[Bմ-+So]s %2,) uR~S&Tߎ^B8e:{2OKLoI%.#RNkuZ xj\fFޞoWt؍dA/L"ȫc^Q}61r]âuv=(2מVmX3[@+4ڵTSw;P`,p_v&S>{nĊ4sX*HTp<&\j}R,2&H˓!7ѧ^By[Z17 x0'4М 9B*RL&Eh9S*+ӭ%'s8*% ԶQc:tNh l`xs>.e{M52dHI"#Dg z!$*ҹ7A}K;YC'P# 8 nKn2ɏDz( 7I) HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setdocument/latex7zXZִF! P&]N}T':=Q߲mZwb3Kzd:ř p+u (ѧ;g#L ]I=B(v}i }%7QV;Zzו NKN([ډ3%=Ϋ| qq02ȵ4Jjv<u&!F'H\`w^Ɨ-Jg"`n&u.١ٟ;3JxNw V@Y"=gXtLeEXu#rXOj[I$`ێCJbUgY!eFX[W&\VvdhB&VoE\Hm NF6 _;GNLSpL^WJ. ]7 GEz7P l6#{T'Iw0`O-™RƭJ#.R`ů]:2 󃤳XW {!Ϩ23 C *"jFz9H<{CաIB L8 f>2 |F $H0paF&*(D svrnF׃X<>?$zps/,zS|<!o!L |ו-`k,)b1EϺKsQP#kO (~ZmMlcBH+r= vkl3F"C>[}F;$sۆ/JzޅHtד3OIl`KIJFڰBH#o>K@M* VI=1!noXFWv`80`$Nnڼ^|" č:т3TQł0}LX*RVQV܁}[RZ!*YδO v|f'e+R{ÃbD6C'Z7tlݝww8Cr1 l4z0nk!dD%RL}6\1FR>5ʄ1)!)Vl D!JY /hqGp]Л)N\F⍾<<˪$ 띾xqxABXxyJ(r?/K~Q-*54PƓuK ТI By#죘-Z`'BBV)쯰3Om`6xhJ*>D"@4't|6&vJrῆ o[Ϯ(NJr}(y653k2#IIn>Q/2G;BUbg!h_޶JQ6{~wM+3jt^;~hد.7=He-z1;Sr>nFQ/ U T8XerԖc[c _\JJ3׵),S{sQ<+3Fֺz=Xw?IIjT Q:U^3(̱z^0 ΄1̎qA@U@955=Sk4O\K0\  @i-dP Ihip*}\D 0}TAۃďIDžQj!gsN=H~rܩu#`j"gYZ{NL1xn=Dj -|l;U{+_V9) QPʰ}X.a f 3aYF4@XXRY8? UᢜAݥ:dDKFn+QUgp} {ڢyg,G"B?֞ 9+fXwS3 jbMXrߨUʴ}ɾ|v('}aBvenit,y\5B6IpU`]/Ϛ)a=4yF;L|=R-(!0[k[(_ЁAlV'~ڂ;)sH(2BlXUXN]gV!Y_̀>%PoE#578MZd?|9RJga`"s?AO1!]%$d5Dqsu1|X{)|{+r)- 2]i:WNHo,쬲hxh=GKWԃs[M6%Vvޒx(HOKuw8D}"'/ 4oXbl9皜$xkX KD95w=fRɏ(eBUzVjM}, +>C#xݞy*đgݝU0ّC'@0^3+] 30ȱ>Z@-1Ѳɺxc9-%'K" X3=h[TeV,3ؑl6}(V$GPW_!gҊ}m-eg Ja{?X7e>W u#ݭ j&aw[0B+ҝ$:GM`=nqhv|,)#> w. "Ĩ.q QNܘ0>'2sƽ}PnS#a5 G/@|cO5u)>ҋWLoļmۨ.5`U24.,8 Af{ݪ!o щ-(7x55:"6 v D^ *xAWa`Nq]$e\xp\=bchXcb.N"h9@5g{as`2őD=Q˪S*3ϲa5F+xU~ 4ˢ2LYLx}tkZ¨ RdAtMMi)eVx25H$0>W)HH*YD?d?Uo( 9:.Ȁz5(6r]sC=$~5"?~l_Q3nǮ=?DdAk>k}kJzהW*}*gqN~Cc(k; nBd `S8D*ϡf)d \neG&8% kVN\ehID):6? S5.lі{}CNjL*Nmr˵ W'9='yhBEf9Ë \J*ɵ2ǘ[h6txUoBQВqiMu~ʉT Lܗ?K5Aȩ(9cݷ5ͺG_!Nړ KVͤ}6)hGp*z!KF 8T}*q3/JPE7]l 3"PƒC WVP r?r'iT{K/,ƬPE`T`ѴW: :M`<>*AlqC%jyZJA ꈖT` n<&\ Cd^L7a6ܲ@z{fn?I&4Byc&޿|Aw;@uO 8~{ի_8jpU `iN-3TӐz(} }RIhXuKkyf6گ騉/GW~ |J{=\VX?*.zFIЭ-T ^W)*<ɾW&+:w<ɾq55t-(@<)(ҀEYT8e ;e#H(2N>SI% 0-IIJKR<]!cYSCMقUDPN9>]X!9.nwySA)^ gD~b=Ÿ?FdnXM|nS{A."V+塑Qn0: {r^Q6Djk՘S x ;f+\Fs[L㘡 6PU?OQ\IV)ʕH'|~r91jO>a$xCH ܸg/T04m3QDžM~:n'a\c_F۸70XjuR+]=Cda%Nhòjꑆc~-gI5X=~a,A%VszPV?^a8nhrQ>oj A$k;d!aia<̨+j '&Sm v;sj o,< .~E[e-x\AkA+,TUa篠n9(f'ڢan74I}`Ԇè <\6JccX,rm+'8#fjKxJ<-V`^3V! VϷyf!^$H{v8xs,IF B7{R[$|7ӑ;x A#RmQ.~x1h`th@bO-hKƺ'j{.pf'qk,7(X )$2pj`Ϧ5 #COcGY%\K ;n3݅ӄcGrFna8.,P`+b((h%qe_kڥ94U T5+^DNrn :N.fSC'1̙VK̢sa5$@@|huf8)fA++=h+-1T BI2!HTuv1GH:@1w^x CgfZ C?L5V@4U^_P(Z%G*<>7o$e-gYZ*mə~O װΏTꐺjIm`߱FcձQFf{P}PZ=T=\El%;EA.A3yh`\Npjyft)9ˠpVCJxYCO?)vhiDV"m{+X9mnzx+n~&!opkRΗZ+np*aDDu 4F E}Ske_Nl^*nYneЭ%tO򭪯~[!I z6u'w{&E8YkB#ψZ6$i\ Kˇ,SVlFQPW|G:p吱 3JrT%R-iy r=(:5kNzaHIZh3J@(EmHc$ /}gz?B"?ru2$rU gvU)$n, 9,آƹ4tVl#ź#ȠsI*ԺV۟搟Π.{-V>}ph, dG0kxG`{FnP*;`` ^ 8 @}7ʤ AUf} z@BݿaEL2"Dj76L8Gt kq{ܸ𷙬6$$'|[ eebtkwV]~YSJɯV朕zN`gt/Xvҟ^ ´H<&ayvbV.%ϬLC<{;X}\/9|dDgؘk%(3@gS ډCߊ,-q4ݬ gni $EN, A= W?-T$] +S=PßgiwP?F3i\T)[z`l\?B!-1‡M< 9kcm0%P#q!znTc|lD8wQ|l`KSULCY%mݻJօM9[{T,C <@Vw\H;U(}nYݻU4AV%'ȩFf؃0_a1KF3dI&#o B1+[3IHzaӬ34̐νC6m5Q?YVSwʚ#g?";^Iz%tXJtI(췌jp aSc'cHJZ:ubdސ0(aܔ6Fd_-Gm u8C/`Bק]Rh8EP2S>z.adr+MqӁ$GEC,7ďj@&M]v}[A_GP2_zuG_Yojޮ0u¾A,)#^5EkO_d|^%cwTro>W `LV8!Rvkp wՀL 'C>yI%LUmz \_vrD\BDetOg}}q_nµkĝqΉZL,E9FMV?@b$WB{%w?v~19v99YOr;Z:|Cu" n1^# |OYRz0Ls,ʉ: W8]K_ηkle3CtA01q4ÛꛪZ/o4e7I I^:T3ZSrƁRgmnp,;'42ɶȮpB{9&YonY.3dzN/vÌ\[HkZa0EO0"^YVI~E10{n1zq Xr.Rcи1iA/n|˯vb=z) zb;x^)?TAXbmjVO|$o$H섩:cS8x^T8[ݐhHsRWœ䦩Dljoo9s8?%).ͫS 'JBv]T +BPYp%>U;uճ <1'ۑ:' eƇ:79<}gn3@yy:;gtv+ 1|);zq $Fd}g'J,,+:~!#@z&RQ FHY%)uOƣ\`"RWG9.x6?$:rAf61oDC|PK;S-EgX[>ɖbZo*v8}7p^ Oe_ 57;+ ʸ&*].\۴͚T`HA/#]1WӮF5Epۜe'uCJ V 4Ǖڹ'ĸ $R.ė \dfl3"5M<]](yfx{+)ۯǨDL̆ix0_x<(+`vS%>o;L ޺h^7!It<^-sݸPE02zoCU,_:rH0N doދ𛐙<6+9 "%צe9-Eْhw#4=i0PLڱ$lWiV7pǝZ^Z]sT=濷7em( 6`<34%۲9_ @j+a:ܓv/7o,1N>CBd/9V(5 7I}MP!:Ď|ÊJfS[G| xXfbg-Sؤ|+)y$$|{=!iu~UWC*V"{#5ыMVSǘ]Rob0[|kÔaKq5h!dx,_D?''G;Aڞ LB4wEpjNZDۡ%HD"uC {S bh >@xE1ZiK=z4r(S6W׿D8<3P^WсVJV]t~$X g>#Eri8f67zzX=&.lzxU~Tp \o,ʟrZ:4Z8] dNԀd>lhN=~7Ijv8ނC-}Z RHٔф{Ubӷ|,s'[D6j@#j8Cn>h9l̮4[~0{S:d\BƁ i׻W2GU~7q -6h<1JhVlk> v)^:1\i=nt!eZB|"Kڣ9t1C\B~n(_Y鄎Hw@S938yаrXI)`L Ľ9DrlayD"P$8A;x X:6a rέR7 Аs}:ir_3m.m9_ 7}4bC6oduY$rCMxT]7bdJ[k,Al79 I3o,gwS VrHUk7[{B lҟ]Fx< 08Ͻ; h=)0+ | ox*,UZKɜ"|*6>Ӷ "Qz5z-hnl;É M;2?C*גKx6FRYZ6[=eEKj%RS$pUyBLNN|(7=jYǡ"T X' g։O,C]Ssஃ<`wk~ô mh,⏀6BP+fh!?,}WGߓc]Yv8Wpa IFTF38U ?4ѼMa5.iq=Nê4K◶9Q๏0 0Ӭ" ™[ϼݍć.zhnw6.voC-XZU`AZӦn?kN8/fZ _sHώ2 \G2XlLNy'j1ŒSlӂ6awPOɁB?!!ږl=~Y ۀ #^BS? TJՋ)˩IFSK|}~ 9rD[]2G"W}㥃ѲigT&N9J䤵O24Wj$kz|A2^2IѡuN9llXaOauYq(VKA5'.ҋ먋߸ѱ݆x8`Ǚ&BiKgʩ3L/821}%m#=ڱ͢$"88[aݵIQy߰QzO$'zY\׭@͟ZHTOGۉ %4?l{CGtAKݙ ]Ӧ ·8_' qމc܇mk`WRQM ijAǻ;Lp`zI*av e>{.o[PvV.پ\T|jK3=^o6❇?Vv*sLM nKd%o>肫030"Ѻu+2^cJ9EA]a[-̟vY[BWТe;Å X`sckXK°{}ib›nj՜"6)WUHLTⳲڐ݃6WѶ*g=FI0CM.-ٌXѵxd"*(к9bk=z xhAYD~EI+v\?  {\a] ,>^S1.<*A8pIVkaJOjמvzУnR8M"G:uⳎwC4ikgxh2X6ņ7'_-6)y1"_8qssu`aqK (y7Y(hE#ML受k*~ev ТzrV}:0! &cMK}b|9I^DuC^e?&[#4QmkYƠG?]}27K?Bz~&b,;l4:Vɮ#ar+זM仂9_횒wf or_^Eqcb#p&mIb$u|DM&!NV@302B~UcU1<.FWLppԡٛBq13UC8-↘< 9 oZQE\  ;B.֩1(oɈK |#L'0$fT diqmo~VTMEɗKXJpI9yݧ:.uf^؂8h]r@uK*M6?N&{n9AcWdYztx.[ PueuJ!\+jR զ1̋(p4͵ߙR{mFRw;XnAWN/.72Ѩ9fw7NݐHZ>=|GJIӓr5A/>n7*t{pR|n5gU:v%}̊'Q=^̿y~  ZШ1پ04]zCZ X'C( 0@=\fC}Zm+sI1±6vwƪ_kC#v]ڏo[+[̎h<9sr5oDr"aB;+fu5ϓE z~^U[IbbKTwӥoh;y%MH<^ũQ"wPRPP82t86D>4SXS(6ekȉzd' 0@zIJ.Ľ$dNt(gs)B a},0/tK ݴ;+9q=ۚ:%^i#ٲpT8 VߺZ+qzDp{Z·oIa1'%eaVK(?bX,&B,^Bd(Pjro=ϻq@3۷VJ, 5oV ZM6Z皩s=aU𘜊 f4mMp09|>jpw陆cǰOKfzӷvUX&T(|y,(baKӖ̥ڄ0bB`ߟ;`y nyczd&nj~jv/q2~h4ƓI1RS(wN$QSGhYΟ}v,kzמPRVTRs7Ei&'wbxo|' c٬gNv]{g̕aZPG0¥xE=1f%c'ڒa+I]2g{:;{ש_|Õ1#ѵŔF@XSV7?3yݧ~N_7I2e͹&b5ӷ3'tǥP{_Ne]RCVK ^4J,kntz_"Cu?Vr\]ZΘdɹʁz1^i54~V|{{ѨMS5?+3?B1=/\%В'֯&+{VLű'%>CG y+ߠ õ!et40MhJCg:.Hu.˜is!;s?Bw'p'|lfԉ%2ƹ|V=(*)z]b7q̞ \~6$c˘\=V17QpQx+"S1tГMQ9Līx׷ȧ/ $lm{{ _>?a|v:T5("SϪ+]Xe {;QdnAgo-AnAH̊ -vES)!% |ˇWca#{ )<[:FoYFe$́ sX!G~6X8x2P5ù׀h!q33AxZa=WQ |MO1lw赒DMFyW(J~qnX=Sy 1U GvBS~ ڊwlv"*ebk g; yn6ra\Fˏ8y4_胥>N*E&Vtlojp,.V)p nȴt孟#CnL ˥zkRcZQi1CDU$*;_MT~2TP}3|F|UKS kGOgj~bE+ڼR9#xdƄ)}m<Fr׾.h.3v]6vϨ]O2ZjR kZekRmi+eeKcu} RgDJ|wUum6'aH}qx1" 3l:'3a+7{.mbL [[ {;S=h'Y1RLIb%?%Gyn1\?TA5?YOJnt*U433fj ,K;уntc])njla8?Wo^e~cMfQ"j_Q2M &5~pdA<܃;Uxa&!”HJ$CuΒ>Tv'[Kh#'ztMj`ATwERUT?7N_R ѩȀ,Ӡ̣B@ R_t&Tզ 3XL\DJacfL*:nC194B~e&"g7<-'ڡRf4:.Di;gä{Ps"x *W!ǫsa˾OCW&V.&N~ Qe 7 s ٷ]-9c<Q@ʼ.`ʇY!=šߙlpkHo2]Ҵ5w.>%V}}aRk9ݞ\UYAc5D`Ȱ=i=yTAҺUH qP_/%5wJ"&2^LymrfߌjZ ek)7ROvYuُѥOg?ZG4< Vn> ysͷ!; Q9@Xښv8&LQ<$-GYfSkux f n^6gYZ V 7Y) HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Messagedocument/latex7zXZִF! x7A]N}T':=Q߲mZwb3Kzd? P=r,_tW fWm^`Ge{e;CBbUN %FOyF]; {kƅl3udk9ŵqr6F'W|\l1p%jj8Hb֙s6oU:s/R 2FJ(j(-3$5^.>f۶ULQL9XE5zפhrmk{ RU2LN E;rUtd4d{Dp m,;;@k8ev#0]&r}(TbҊ%s# ܎,Z/0O<s1=JO2f 2tk%m:تD{dLjs[ؔhq\W[,֙ ]̔Aqf]˝*^C&E-ŕ1…LULuથ|Ujmj_d4fk$LK/Tm›/]~l\/p>pLz1 =̖dq[x af2hRkA4ϳi"d1J2A25 !EVSԱB#aH?,MD X@h6^6mz )TbyifEI/A-WiҶAbٯTБ59xO`dH˅U[Z lT|,WrxY$+6 XEΊ/,)MkF^^etI-rBnMzx6YA|x˙61+ƢGIcɨ.D%)g X8r4fOë fw4 wUž+#,RW(ȸ/#K IZ"\;S;eBAcQ$7 )DV~͐UjE%lJ1Z8,>gg) ɾ"CzwM;53z -߀}Ўu`'Nbw:0N{1S.3ۃ/a"n`X<5\j"?)eVTߩOޕ]Qb8?,v.Tz>툁kdXT9_Fͩo`g'xO*X+d_A!c=$ѓM)O尌/cnٍK]ۏШwOtЃk¤1j /e W y6=IS5|׽pD`5|;NP_lv` 'Q(rj4I2N?+Y߬n͚ޯ2&[QܶbOEY/s]O g>W~9 B3(ObW적Hq:^~W\ZY?TaAXٹﺪpP5v9 ĂS#@J6jt v࿁q5B1O/ .j!CFOq bi΋-4T1*jƗG?=/? g~لۖuZL[ ҆҂lo|¾N-=>KFv4D I6cT(%m(̇QmK-g,=e.<`F:Nڞm-*Lj@8y QŔW+_q_T<%űD)p/[Γ[S1Qs:bq5:(-$k27 .YW\XB%:mO!}P1vxQ?ٻC]?SڄDQK٢y=Qϐt*m̀bU<9MFO"NsJwB`%wG0^j]I#Nj?I䊭9ZP&ȟV Ys,"{_DIfb. ڞWOf  ;}cF^>HԦ}M- {Z6(k4](TbdpVCx&*S`"amQA ޝqT\pzˠh 6{KӘ.bY 5{%D5SF'RVsq+rk`G0*A/[v߯YmsEW9*xGH)rul!/c>E I{; oB| F E&{ΥsSmY𵰼 F9HRr]yT%!w*J`q G(wfFVd|PAbq7&jCu.W(zpPM VlD=бw\46i #|'5r}?`64v՗*pfXdH`ұhd?d *'z@lvwncmxweҙgpB6Kݐ0Ԓ&6 r~Tw;dBWTQϕ5|F֕i^KQt -DRyP<P juK=gFLr. [bH!Rץ@[+G s߽J!0=AJWex7X~ƭ fx&&=̃nGoy>:ea[:s[U[vq!5+r9ѣY|_侀mJ8ऌW~+٭C2jy 3>L?DTN.nΌtUsl\R2iKgԣHMՕ84~8W mX؝˜{S7H'q_D%3xqRAJ ]VoroE>{wj2 /KquesͻrƤVҽv4(τt T}Z՗ǹA q5vgGw'612*2}g#@M~~ a~$qv.cqyX]oH>ּ*o5,64ƍ?b蜙%p&Q pùJߡ2MA]ltbGN˸"9JKHMGA%JLx /HdE&+,QʒCP{ !N Yu: e3F.Ғt:AS'LuxT|HY1z(igAX}Œ+}2;H)SC7 ը uf:RC#^-KvMJv1W kfrm^[MgQnp`*J%AG9dmC%&4"R:]I"Tylq)/tF]P qO|^qD_:1w^=X/cПG-06w;ќܲrנ毙Y`|_ (#PBp~[~"̸\?1"c[0DVOp\\5oJ׵r݈܄PfIߠ-=?ե S!4%慝o9ܐr I -*xa} "v'ʸZKCZ33](^vZ1\}*K7 5PjZ6@BC'9QG&``۞='#@&"(]Y`.Wij =6 IwYAjqSdJh!dtnWQ'[ 07GA*`(0ijk=G{! q=0Avi󴂹fhY3= vQ5v֙@z&<6ˀEm\ :"l'Ȳuא*#OL9mp@A a7*'ӪXig gYdžYWcLk3t TQ,&˛ f}sfi> h:$7`YgYZ ''w7S!hHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/files~~/src/HOL/Quotient_Examples/Quotient_FSet.thyR7S-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/document_id6667Q) tHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Ratdocument/latex7zXZִF! lr]N}T':=Q߲mZwb3Kzd? P=r,_tW fWm^`G0!S4 4{-k-f@$عxO; 4OݹԱ?s/ƅ)+,(f +0,T\e27=!މZ?*jQK8mgEi4Gbksh(bO\3a -;0MnhG7G)N-\SV&ɋpWeTeDp-J&<BkЁb9Zߒ*׮5H:'3Up-JW~,)*6bϣe<|Și֣f! k,<\FCp{v9/3TplOKFJ qZC@VR2S-ZWSY7DuBjNQ7lP'Q3dKx TzOV{7,lF5Х9(j2^>7_+`(-bY"ml6uzo$b̯VrhFOE45Ìk`\*@/KBjRYњ}  1VM$Q*sq&/N{%Nv/ˏ"։<[P0Ր!9nQA:w&On&_-aiSJTj=9B#\sXjD/&:ͼ2 N3>Xv0 ghF ZwxxvcxI"i 'O2qkEU[t'dL9ԕq&Fs&S/=Ag1h8(T&8}L9Ls$lHOBoY) O "|+H|o櫊: +sEvF2^q׊h>!RAyry#(Dd)y]Sj[71$DM&=OvE:RX,ϸZ8p;NfÓd j!!qeϯt-]}El#W.PLd~5"t+[,kXhTBI5.fC\^ɶ5!37 <߅OLI+wJ,s6^`a9!RFar";o[edRy/Mk WWwC Q۱a l@R9;ss [n\>r+%$㊧2@% r~oyd?<(}C392([ oqLP sLsF~Tf>OC=*;z#Ρ8â͸ +25aæ:`7~(JL,ϊ^$x5Jqbn%-ѪV{Tlw-$Qm ^Uf ɠ6XƔR7@JtɆB׍ۈXiD)X+^ VOG-ZZXi-NHHW\-.WZ6FY3^RZ` ^G7ɭGMe0KtQ.GxCXN__sGUqgcjAgiĄDX bE'jf^DN4hKe 1x#m2(c*'>v/է CnŬ2i;!9Xa.b V1^l ze }YML#8"Z j*PH(3'0欲 )vy?v zS'M:{by0oW -_:A2rOV_瑿2X|⇣'hD$3׮Mv4$B/3Jc:ѡhI|hOag]|R#[ftP]֗~w1(5-A#4"! 5)~,P AX'p7Jj@|sobsE_8Gpii$%u_ II uI&R*=Cێp՗y+ڐ'4'ړhsm.h~>˼a2tqiPOqng Г0*g7SU3iZrN<[0}ÅXYD{3{]`7:OKVϫͦ0:{UvTAL< at&FI*{&uleQ 3̽]<+9WZͩ>81':O<qdǝ\ô4dȤo%J'Xk=M2]owl.D$Bw:A><:7w0eLF0%FM  F@^@8l> Gp#v G[f{6Хo.]FBZ^mJS?: W-[5u2~ A)̹jXtDsXyp^N')ͣ$ \BT^8j֘oD \1^™ n:#rw5ՠACImʡU%\(нFq f^M>(?MJovw"/{D [(flϭXgcgY(  [>Qx;a0|wGI#K#`TJG?'dO9:Mg7Ub<,!p1άR)]z*,z.q4gNվ&V2j{p|Ō} DwonN h7U>UzG/=N#@&R~A -}ēQ&@Ig07܋ZT }~LFmo8Ф)co;)"W>@h&y`&jA歠 FA6lqk3>yhM2"j$q)Zŋ7V⠲lMKͣ|p + be|{[ZcϏ ۲WkjSSB!_YUiM4 omv cՕHgKN1!&u ɸ4/ۑ"cBWe==5ܷ*EIRmJ3 >gqKtn=`h~9\׵ q|tc>$O>lT^L=b6/Gԋs0ң?̈́']}vǃ!U"xE,pELՈXխQ=$aÙN_ÁԸG$݉n[ 'Ow\OeWseǩ`Ϭ0ݮ~$G'CM>Wt-.v8*єU4\/{) == T 9_, qӷZiEiLo 䔵Nǐ[l,TڑUՈG[#( mY/g>V59E!M;nXNrV0mTHݨ&HBZ8B7!ʡ$o'== )'y_!|ĚY9l{Nũj" !'.~nlMŏHa^GՔʩ]$N?n0F*fW'8(ىOa#3ě>Nk0Ϯubř_=;aѕwߌ2`+.hܪkPӏ&U/4)V Α"|-zd|*=m*(Hp >$བոߺyi{!IԥUGxhS(7]A7{ aS<6.*xk?u~7 `r2 @S"5ʶ(r@%Q 'FT Hgin3lאgi3u^S }R{ 54ϒJpþWejul\>RL~N TIqa![4A]b|U>o'8* 33!b8_=~W ojFco}k V͗Tfo -Lxc(Ï\g@#5gOz8[=g?e&:6П=F+i|mBPS!BʾhǵYboȮaI×*% ^At(Zd͑SDgVij0{RSi#2~`޲y C:ZvXsZZfyG'A{j;}f>w#̝ՏpTWjDoO]/?B#&+9"@TAf(SevLLXWxg*rOh`ƒq}Rk!(bd*>WK;ʉH80 t p$E9Q7?Hm1* 2JZ}+:)|Hp|.㡰,,L,mCٯ`Frԋ(B3S+ri|3H| :aMW,(EP`Nzr>ņ@ۋXzc+KU|?9S>k5C_2ZL &Pb+S8(AfΨzSZ8`4KKئCI사!83RXF[.Iȇ3'ˑ#PhUçzpqrIuh__vX%o/kEN??U  =ZHB6:CmKds߮qtdcL5v"ӗ^7 ٬b)=2kc%+dW};>R1eZޅ+AȌR:rElX8S9n4Lx@/B>#AHF w3&KGXwi)gX:N<ì8Gs҃-h/ /N8F*wpM<=]{O)F,ƀg~~Oc}*}yL9q#> \ &ȄOnO"֬U,{OV}'SXߜ|J8JlM\j3-lY>u#MAz _Dj j*p4;BvRpUXYVt/M6R_"nd3&ؗ(w % 1c;lf}q89ԡaSks#m*2cf耧o0:8jWDGhUp)c& x;') Q݌R cbKj% a^1;iԮDŽ-m4fU:l?B}Ai)㩠5rS VFb"( ~5,BfeR #jn?H1sYU`v2wQ@7}{'Qcümk/ M\@fuA抿'~zV~o?$o4rmgcW+I;I~Jj@snQN\HP-nTΧAg+?{iע( skb0kgHiPo2~T0**vq- AƶD-. ˢe;hFu) .xeLe:bZ S6Փ5ipfsl?d;yc)ɩO+Օѹc^ m>ed_,%t13!PxmgP}_qg6e: svi%x~81~΄҉֌̾m}W9c aA!' @]0 *S9b);tEb%ܗ{=OeIVLɭΈ<lX}<8;'`ԏÔznQ‰axG0E9 ~J.$sAG\fwV}+Yq:lwcZeYMb)vMhRF{5WtWnvгGWar-eK /v;g!;mH碗KE(ڎ"&K{:$BR_&pz<S|40+zֲA%M$B*vteH>94;ӛMu^&M3p/"h]qxZӞ/ qh aDYr*=5…(Y&϶r' њ^aH!;^fsF5Muww.IGZ<<7M,dV7.xrWU uMas|oN>^mG?}F5xcQ^$Xooa rP$aʩ EgKnF) ê)ۃF+ofܮ)&D#OvYFg oOm,c|fkv};:#Ǫr7V;z' B?XAVq%}/%".s y-f U "n"%ޛ/uΆ$;dbgw@0_Jq7F쾰I4rIw菓֎w;J4k˿, zx ?b'9F6E19ؙ+i :A_lYsEǀw_d9ÐN{Rajc}?' 3׵fދ$QXe6PR ÒiڙtV/a'nDm$-|o2&2E'1TU `\'N="[Zc)7+]%vW79H e_xۺ3w6 q͔YA欚߇CQ}_m^S%뇑-/l64WAAذVt15?"RW.kr0ie/,wݗѭ0 qA@Qi5C9oEW=R3žjN̏8l],芸T:Q/RD$,ZcBfy$hN wvy}wCC:`GXA;ğ\g^xO4Uq!, A7N$4eզ8dþD p+ d+tJu|F=Yå ů]IّL{ی4n87B/ Җ GA?= d~x++ YbCtoQ=PJ-.: q=V [:}2FF}L]xPywY??x`zlN.A |'`GVAqADdB 5S=9|6G>wV1k5[imX5(?F.B $}r:+=Ԯ]i|d[јnx׀f@s4bF\wFB{~})6#b(~r?薘2o[P޼ 8r͚8~F5 d;ₑMF DŽԿkBd:[{^N1V0ˋPF pP0%&76FEP ;*!tۓNkx[;[ē(Ejxn]&U():$ n8ve|lZ%[#̒qž$Լ)HՍhk(7VvBY}CnY-\Zt]U#;?aDBA`2`x(*lzpe 4;ufY7Ď^&3>}-Kϰƛ6P0wJ "3tsal.g#H4oּpCm^2x@Vppgk_d} tԶsː{"v7XIt,vdu[jAΔwZ䓻g>!?6%WQ(" "H t{-x/hbы/q9ш7_'\H%_qZ 圩d$Zu aj` ,8mI)0 \?s9G1V7‹S^}zCq((W}TnCCn,b;ؒT 0ݳwj2>ƛQ`ᔹo\|35l+>۳  w!/&QW%5Y(n(wH!s02PʉeM0olTޒc3V9Ų#;2.imN"`}OLPy\\ö' $6 |1'hE1F ֯ ?pl)i3X͞:(4b'=7J@NF3rdϨ߿踌Rle)TPh<[ 'hհ`J Ӿaj#\7RjQVC.¼MXޝTy %V G~X` TNE_,) OlAT r仟9,}Lr=ҥw|QM6B?Ffna01'U܏E.D9S(b0` K62*+Mi[hdl=.,l%K'&lr0]lGXn0 {|P)r 7,wjA7]4+/t "6PFl|fޤwN!kIۅ/㇎N $ǾWx5MWxOlQbW{=U ]x ex :{DN tcv7fiIA.a.#&|8P+:F$C0,YzaʾDDb1‰8e}^|󌡭eelrXׯMKq.q\]TĖnVYk3<C$;dNvr9MhٽvGQU~"7!qHjc8[AbNBOs_X) > U J֦ aS13 |v1 >{'peԓg9\߳T/;֙6c ?=$3U-Rm?^q`Mmwqt2J/\hÈ\/V>bJ88pЩ(M )~")㌫]Q+7,ˌIK?PN=BOT .*5B jomTk^emS (֪W5ˡl#bȤ,B_¦LsX䫽֦N AL7@WKAya:o? 'a-r1CYeX?ɲ  y^g!=یJ:nA5*I'@˿a<܇ JN' BmA,f2񐙦ٚ53ı^a8yqkE4xc%;7FT|3OKR>{._J3´@~ vC, 4H@57l624sr 6^ɖxӵOKX簉l^y8$cP%v*|O\o_Kn(;.Y:2ٍeFJxYЯ h㏄N)uFp L9 xbU>wf(-uPOA#\i@h ^yNWD"gp:o}?qDVY7&Z{l o!){e4SNS6vH!]p.LEʒo4 F_HF!?ր7sV\-kS7A1Mb0BSRtKqdw: 'Ud'gѱ+0I㣸뇕ml&,.r5ʕ : дrIw-JS0@?5BʞXВ,u~xfM/~;1* -Rz6lYM ܚwxs:i,Bue4-tCWo w5:y^Q:a3$:/DUD*;T*6z55*01o/!Dc+zx!}=CX[J|ql1zj0h؟v@l,c=(8ڎJ:ag /ǧJe\׽>(DNJRM޶f'P^yٰGdKqZfY@Q۟8.{cv*u\؋gfwcͤy$nx Il6g4z`E౶vኚ^۶w3=D9&\HJ!䡽)jU@rJ$k9$/?3z.>6 3yzp^ƅ-d RHu{T sPwʰCc đA MH#ߟ^ wv H lR̷rXL"V&foc[aSHieo nldxlVE-qFfOǷ9i%<ڨeF16H'Q]S8!֯0r A6;!1|) -nRqIePI'1g~ҰcwL\H PM;8&4d>5`Y2V|٠]W'vZ!i9Ĭ:F_o҅Cś.}-O,AVdE*`!Ys0,N w_0$KzT7Rop媜Js+9(p)aBd}-H XfXM v2 := E6~ Ѯ84%?AT$C~pGc x' nymσB;mZp]K~61 4?~<9`.\*7Hb[P@@mnFp:CCDS&F@6{ v: t?}rZ0q:F ;!T{]TE+^a*>i5S+!CڎS3+H= Mu._I#%sz:~"QQF6r'AQrfn\k#vazzmkl0NG&3BC';uf\ fނ;R5m "g6Q-O@hBY`Eoc&Ԭk+l,ŝjX ǯ[Y~yM Ř\'2<~鑀ENEZ64):Qgo3폕.~K>J*ꣿEju=]UNMf[4 # m]=R[%Gw(?=C=by'ddIgk6*.Hf(hV{{ߙ;Fyj~/;26 nKk}kt=Y,YH YfWB]Iu^r/2)@TS?Pg:'egpuM{nkLB=VSɆ8ad$M7WeH1Fo\Yԇ v5 Ux q6dm<:{/2ݮbO.-PG%z$P vjBHш{B6yĹE4M旴퀡qGKg#udĢ@~½BG: )jxyL~+Tszv PtSDٺ dO039BUQ".` 4.aI#5ռ1S?$w6DjB\zPfP\m t D ?g`oK}q):yVYxB9qOE f8j^ 8y]ۄ-":Rږ̔FۊD>*A+D>xgZk 0%DEx[)nBHO5޴Q3|D`rQKj>?d/j [ s3*wU;m4Hq]≩ jo*IIgp.oGfH %Y m8ٞ:ê7Ƌ?rutO\|P#>۰^.FCoI|~_e2]]<۱ݧ4"ȚCً$:;jDIm??wmJa7w OQھQ(9KRWㅀrRyVu]]õlXMfΨʑ}^∿I/p/'Q)g55IMYR)3۞h.hm%Y%_C<șUؑ Hꨏ{ X\TsUiC8h!%+j7 i|2 G3SUmPJL@Ic[Ps5ov"dQ\ŀ@axQl8Ob4TYm`C~KDӍƮ.G+180 yd3@ݢ &un&'WJy|g`- 2zb;Ѵ[H$[<[k+"FH t̔CY0 .bT:0\%da #4Y?A RQ +Jv5fLOf?N_iL*.=#`>$갓Au!`-Y>8dBv*hn:&ta먏yrԶѧ N8RI4 n>/fb9<Ƶׯ lIWvdTXhޥVq]['wzbAz,`ș ׬:(t U &d3BV*$_ԝ'x)b3(>uIj?r6TJ[XfVNЃO{g"3WM7SR+)y}~~KN2ŜՏ9xLs GWXYV#F\">Vڈ$!\{X@&z=q׮j. JP_o: ɗ3AX[g!u؁6÷l*MpEONd߇{+ߊJusk6nCBBoLL[ʐo 9utINO4m;~[J_mu_Z)ϧH9Ev`GcsuR:(baQhj ๑Npz$;c+Zy-w)m痡+}G#q dw<]K$nO `%[(yN6 WlR@Yي5L]N3!Lɱ(liW{&'wA*8J"iA;UDc #BqDPη"-52Q s db}UB$0 jX7(nǴEg)k]!H%ey#K.]lB9#GL;A&aIeJ 0ɫEdSM_#du*gwdu㚑Uy"R ,3u :SQycg킡`BsmLp/R". Vh/ԩ.}B.[D`{@4e0.7&Lw~4/@TND"V THuNJFzQy;F*Qiro-!/d1XԶ*5Z\Zr}$wHw!^NleU~eDوݧ)uVHb  ;D6) -$s9 vv_X65+ŖJsVH"p!vY j}U5|h@FET抨_7%N+ xDRz3+Eވߢ[oňJTG':GCa&vֱgŎ: ܸ[ԬR(Uq@ HdƓ!X~篅OygrmD6{GV\Ҥ~'zZ aȃ(1UjsL8xC%<]fD8g۹G2p"dQ7MJ|.z[R+a\M:+CSyӮ@Twx#{k˔mC> xx^(2{)#̙OCVm\P~ Q.x\⿿m6TܨYV4#;h:7}DwUNݟg'tVj{DŎ*֯u+5OdCM AM;q;Eb;ՐZ6s f;$Cdhman?)@YlhHl;kj.JB9X":jժ JFˀ!`?/t׼[MHu(HW ܤ"[wa x nnZjNJ/+F:Q)ňb ܟB~=(xhAbZVj[YDZ7]ւa_ῇ$s^ɀ޴CMmi8+E ,~{L3)S?_MSWz|'ܡp5>8E+e23􂧞^sپמ s$o !4ˇ;QT.qB=trҼ'kWӬ@ilKɳ~7S9+سbC#X믘(J"95=q'i#ahU=N5< s̘aR0yB;z%Pq#?o(xO=Y"qѠYJ0{`,6J}%xV($E^QʤJᘱVrB̸!&'um}T pZO #a Dòdp.y7PbUiyB,? ^ PJm=S9ҋ w@TbV`{%*ŅЄEQG_ *onfdٔqe?@FDztZ+]@6\ɧ46t+_<I.̈́hL ikMNjFcfj<A2qFGP;yшKJI|Lc:ėPeWnM?{v<>f^Nss-SѶ8B\Kv~| ݪ~dHֻofҝ]!큌 0yu\?`)>& -φnjZDžjg99LvиXmܺ۹+N[ÁMɐ:p0q_Qk}(GrZ68xeԓ~2'GO!{Ɨ4_rD,"Uk=b TguO2JgLml*'7$gk-.05}uxh+&b&ʓJc^}dk<^gy\ _pណʻceԪ:Rqr1џ3[L~#CNZ&BFYJ%h:z+1mb./?D+] ϕw<ܸ+xf7_b<0A+g%xqMOxSe8FhS hz^`Jʢڧ.BD ƜP~U["J/fL{]? Ā!e,mkg[dْFpd rm-O/S̄Dub 83?Vbclu!dA)K 47q:׿!R\.fc[Tz}f,|j]`P**R~V1<ӿH2JCwxf1X7>{B`)A&NیѡϏJ #*27E_`gw;@:N̡Ah/ 8r}U ^ڧES(guHYJonLQX-T -"g;VW3a+#@ZjmH{J!z*yOb[ #;zQZƹد, \%,)j_czQ̥rq%j)Dc좂c6h_DK2ccE [.cm":H^aKzzg8g՗u5:lik?Qe<%x+Miȩ7DI>]ISM^xȄKYXb `Pl"Hö0*PwI1KGۃ2 \TCFI$NbgRGeL })3o?לi,R"3"o+܆^ޗ(mƾF&f2䕶Pn_35BDl% Q,OBoS@8 6PþًƗznփf xJߓxbWorڅo)7~z%Eaju >P&Ü2Ba۳nz,ܽĩQן)r&4}<Yc$',. $Š0Nv%縶'r%E{JOǩC+̟<d@BChB|R L/Ν>*g$Ø7D2~?];@w/LzmT&5y0)Ċ9ds;MҙjԐȜҶ:Æ50 S^T?iۜMW?&O*]mMWQtl|cUm;⪘ +VDo !jiM#[io' ZW3|A7!Qie~v?gmxLMNn,KȨ߉"L VT$'._oOj ~&aQg:k~F^ħRbk@СGl7нJ"NF̹M*pm$ٯ*R =;f^s Χa/JVKɾa2prHsQ+zpYxXbNehg/2*zyN7>AJN t #^jQU( pNރ5Q3D֚լB50.IHqħ-Af$`; 2B:]]~#C$Q$M%%1X}B([2V,Hy^,qA,'I}Ɋ3ڧõ4^N[k iȞN9i?S!;2F&NX}S.lw+<9Wƨɘ%.&p~%H3jՠԱйMgt]]a g@*μ#I*ʔ "Fh__3fC4G!zy60ro]RƃͿX>٩Ozw|Ž<]Wu̙Zl&Aq- \($Nqa&|5?Ser7Fc8Br['򏦙B#LXOIVڍ|>Se'TXĬOjeUJ:\Afxh$q7w:{ضV( -Y1>8*X/&wP1^zY{ V\&Ʀz\oV ҏщCM`XTt҂j2G+|5onу3tx;WD\R2uuUw!ݎ{FYAڒϖѣ#TLJN!ڦm=KV!43hexg (h@,-IE< 0됰?ܠVeݼtLlmhD@%\f; <#$t!BHS` ;eRaakmT> T &Kan5Sz-J_YĩKr XI=1uQ?j,;R}'/vA Jhe|U=Y*8 Y΀lAO[#{KJ-T9 `iUl^+Ёvk{MF+JsצoT_〺+g$i`y;ZHCB?Cm+Ga3z'V#ȷymtj{J̴ ͹#e椀#Ei)hX'a4 `T XhuUk:.+8v=ZoRЎ]}y45' ) |cNXK\xKrfZ` 1O9skJzY<i'Xυ炧l=L{hlQ,‹(u &y6vJnS@EBn6ھw#e )"[Ni"C;=>RxL3/ W6l2#f^Z.P ]׵ (pHȵwt֢5xo~\K/[<* {\azi~O9QTݻQ: ,o oXǭ`"+tCĚhtB!;n$ $aIy98x<C@qu\{ ]+7b?ڍYkPL^N/:) Hj˨`Ӻ91)޷xfNبG[QIS7:,j0FRV9]j={>`%6h"Qʞ rŅ z Q ]L.}F]NdKx$y[]}J+{9ٜq4 L6eJ V5#Rvu# rrsN؀҅G@[pWDg׮~eD*x:W=.`{N  4IٷI(Doe̲s$BOSXVa7sSK0݆t麷_Xv kpͯ3q=$=m.f/AB [w@fn@Guq\MRC)ϛ` Am [|83 tMRI㹷eR eORWOpQ^ @ x^3Vr3 8MGf$́:tVS/q}_!gRo:eazt 61x:Xj6yei:~_ltמyҬ>PEʋW.vt  r븍=LSŤS3'C*qjT u z(=0wQ~RM |iksdEVQKe|/*zψX~G%#U@pH9_(f\R&K0n}ug%ujv4LӤmK7򅚞n9׊Bl"`X 9#28!"D=D`Q3K'D mJ"?G-eja}$AR3bw:Vox" mi4Y6cUKVAQMm=! c{*g)wy|'E 6<|+L|hYW{7Z5=V;{qM3i$N!.sxoq{aN]r^Jk4ReeN 4+o.Ł*h ɆsOҕ\N,Ak0/S<&Y 8v@ H {$Rn/? &;V`Kl]>azv]ώϗSQ)9YsjUuơ6~7=u'BP(zVt~} )^Z*n Qh HԹ}I)rMTQWODwz.+d 05~ob9n ]|"7Ai"^gbni% 9AI)^я@3;aAY+OF/n 290L+ -ju~O8 Tڡ8Vy.JSCa$EٴTiܾ% 3Zjv1sRu|)dLGmWKrZdciBjP) )O,`Pf8dO]p/qn &(6F'9ƽ\wPql{0G 8$snSQA bP(|r0yNcR;Vs/%Khx[s E$sg2||ҍJM^eO"gy|̬uƇNw~q20ײ]b75fyR2x8F >&i϶(.SbVxm,XTKguMXp62wl/31N]0[yDA&hF,~k7Qlc.p+jP|}m2.s)jHMDA$ J`.7oD*( (qҍ*N~ npk(t uyӰ5z:7lB5GVkzAsQyn)N*[}9eEJ1ņ>6Q4$*7%4b$0deFxNLGWYMAA)!|df8j~篟u=RY9$e!{њ{VP ahSpjYN/ǭ۔u~;~; 8DǡlH!n%g~)dɒ̵z,}sǵTmR҆`I]jhAV(9l_YN)4;V YtՌC3 ߥVgB%8}Nh5!EE>jD2ozձS-?.ٝE[GRViѱF{ Q|q"0xkݤ>IqPt0^>]E؜+}@јuJ)~;Fs5@r$ dELBɇ} NqVZUU–$I֑Yyf1xW?V ( hzxPκK*5ڐsx6ՍvLG(Le~ 6O5B@PRqW"s`Z5`1o[Dki]YFKwGD Ѽ_}۾)Uq Z}+xq¬%[.#2f|"̵DQ+j4VG`[Z6 *sR &@d%^sd-3GnB"ω96kD]f6Vl<3-5;e \sɡ :Bɑ38"84'"VS]\S2Wn pYRz9!I[.ukLmAQiIeᎫ[:r m}'$Z`A]w#qթW4F,hqX%yLaܬ⟎a䖽>:0,A$wt퍜9~`Te0͑Kawfd ÉfBo}Op YPW^uvuwx[1Ǘq! 8h;!BpםTtDwDj%ps11{,YYv:HjddPgķO? cd96\ jžY?FK+,[ I3e'BN 3DDc h)Og1Gy>{k9\a9Sd螋B .Gϔk& gm,~d,k,o^WX0keX3Ɨ{m[FxEehbW lwedXOI;3l;F'hxT= vYͅϛ$vJ5 E9|MeB1~؞\-H Q~[Ô+kv⎑d-itR`2Ol?=# <OUL1< ~Y3}*{vL+2흽= "1n ;-Xwyghq ,prR9H:yZ. KACBSshvXP١35 @:Fd"*\ovO]x31aArp.%|5]7nc6uH1=YсMVPյװKyoafz)}֙9m]2;^x‹a e! dߤ8[JLuL*/xƘL3})c9#GGTc85 )>dnk`)O1A#P0_bWbFan$]2!;#v˲b~"{Q'NEV[bagj6bc4K-ɶ3`@ЀYR᫼@2$Y3_r42#FX#G௚O*2*Q5"ZRf/zdІiuNOQzϡ4g7M(ugF]gr\U{S%^18֥:N#: um6}e"ARioyŕãrǤ=4A놓}λ"J('M3yX&1Ոe#l-̟`Hd əX63ibBAy&Ÿ on*, X:4 ?KD D y[!İ$n._~tSe :ʄwL+{0b&?8 =LE&/NA,כ(>Ec).=7,=eֿ|_Z`wZ2LUN$DwUx![w/B .El<θ9ڰ~ԇ0>K)̭.>\(2S*#y*=bFuhww>iY>JU LRD1*MѬ L,~L#6`EB 3O58._0oG{_6 (-qT&Jj*#ϯXoǂ ,=ц K"Go5xATZxhY B{b]ȽD9VnbylVgEǒn3ZRKs>7Emo EOh}nmM4d3}1ėe-w"s&|hW0i%;4_EF->^5>z$>jl,T6cg =z2E%(XE;gfZVbN4+胴0T2G'CV $ŐlGTk#~=43Cã= [ίH(4`FvQf5:5 hҟmz3!=f;W@Ǔq!Zw3J"EM"T&H?ahOKI@SVy5}u)ZE UP9eMyȋ٧BN ;7!~A}6 ǁJЭ{>HFxh\n@ޤRh츟}:z&ov405FwCZ3(ԭAϓ F{C&g[<G?e0\ЗâTS3 ~֊N V7|KЩ*#};~~jn+љSJNye lDm2_CP`URdlõqMi^͏*ICʊʔ H$SSZOSC̓0=Z, U:*^ȇ.5cӤ 0.|cuUanaE3a̲a{54@7gP.G3`/n> •ʈW>o,+1ٻ%2gV |Hѷ$UtBV&3%mҎb)ynHX4r*{ytMEhlkX X@.!L<\bSg<kY>LJpJ۩kW>뭓/WR\bSXN:yw[cI oktWcnߋ{82hK~1S7[˸$>CB#˥{;p\K}|L|\0?̖-޷"r5,nD̕ f/ $M)]:| O~L'dce0M@m&)ᗳmRYxg 0gՆl${QųGeWi/]!/èe 6D5bp_(NĮ4F.f};3@KBPCt]*{g=GT'x"_$c*z,O@ASV'G(9ؐv:pCB$ .) u60N+owcXA堚`!& oycz۠8ZV9:#SP")N[ME RkCL1] 8M.Ҋ~]h o&s~2!⢜-7vX ٞ[3*_3q6͋kEE%Gץ,27Ŏ̌Q5aEoӬвҴ7ϴ;heIg>9>xZ}ĝ/{5ElUyB^[( t@ cEAEUX]|gz=4Ϳb0= BM}#@B£qVŪCR9 1*8sbȶ< z1_:*.WLԑ CF ZJ6s)`Q6;d 8Unޣ-TF{n-[&*aQxT06]P9mYgNN4ߕ: C/ɨ9gV+7ݻ#2:X|OXg'Y9J U.򌰭tZuYB<@6L̀_g_g#B~* wqI,w &M)o!r` ͢Bh !n$at_ۃ4HG$WubܴI -{42/cߕ5oaNTD=(,1cE-5ס XqK* " tЌ>4/b6<v~x]N؉cӬSQވn65YV4LgUDlo\XCuoNXOv3RpK{lGf38"_z>Jj(,Fw'E[nX>ba{axxgYZ llh 7S# DHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$ Lp 1Ҍ-kŕksG8}+3B a~}B "ކ0;,ysP JcH6S8X9؞v4?8%?y9L*(Yn2# wV[sYr 2#'s wVWa |-(1>] s49K+=8QB\ȐxH6Hi^/\vHÿ+~ps/X~|z&Q(W2aWsD$.wíB2<6q_j ꋷLv^|%]?OӐS|\ ;PCuxxp=؜Q`c+هBeZ ]Bq .WLx"(rD t^$ބsެ;*8zEau__TTLWю7KY^͔I/kG;p%F qHsg5!yWx'g\4lMH(if}=粣6LɴD+uV*Yu#$m{F֐M2pTiXSc@ZY q8t|*2DRCt@X^= Rn ZW#B$J%PNRюY뇆 kYdLr#B<f BG' )K ҍE( Noȍ9mĺA vUfINz&ٴؘ|[٨ߦJ`h/$yW\_(tu| ]mxdD@Ǒ?QY5Rvݵ:] ZJ*쉲u e=8YsWHQJ9QFzrVӮ a2Ky,˅<5GZeDR)] s`yf IלGj:n#1;/r#M Bm7Plgŧ`Ye`$CHb1g!KDL!{0!f]!j}h~),=&7~L9aWae. d3NQ] omM*FuD |]R\i)|)F{PklͽۀGJ͉XQryF pyݯ:0vڬs`rxfDT"pۦ'!XIӺY j \Zl ǵ9}yAoGy Ż^EثbmY.ή,+6h!1}V},sn nOw5P]ӭ1:dZpÉpx"],It)fu_\X%] d \H RZ[0UJeauWG2J1a_Y!%H5gVj^l@0$xFMb& $(&~5I\o#`}^货.9>.3OwyWM]eyݻuZҘ"~}+x>P dR(TX9FI 1Oꖱ ͽX4}=P!]atbE!qfm\X2ـ|wD86§zC ZBeϸZ ;2Yv6h zA1 T;_,HTIEk|u:8NgA8o\Z$zܹSCxDtr ^V(4(@X)R%OOslk,]M+x/ _q7M!bHOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/files~~/src/HOL/Quotient_Examples/Lift_DList.thyO7M-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/document_id670M7S' HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/messages7zXZִF! p]D?7 {?:fH\I<|z% 9m ckB] Ob󼐞7iYza^ۺu9C%ҝ}>mq䒴gUxJ5SLY:3^nixoDlj~#9 8gTڊpCCOZ 5/XVS=53KDS%sfĔ&69JypvЍ"kDp9ਮkE)Pq ~KJx$u_4& 9`bHν7tYe)X?% 6jΡ/ sj# XN^'K~+|9Ƭfb}:)Iva:'zcX<UszsWٞO"d6a>(r)hFз7W%ree@U`u[ካU&a~Np?˭4&k|-3hC~L﨔@k9_ûJ$^WrVo3#VN"[ʏ)+r1HV>LU_Ct6js.9}wѥB(3_?r]e["jUbv@]`&Ǚݞ'%]SeGr)=6GѮt>'VG4(l,?{pU%0lWcFDcLe z3yM:.' {셪*2?Na:T*f˚-;}:dؘU֕9Ý&2)SH3c~ 8v8(G + T9~ZS";1Hզ1C]90?]@AB$`D …/*V}Szr 8"= OœX!8uBZQ?9,ρ:w+5h$V v:ZӜ^Q;s'jcMKy;jC֗WMlZB8$yjdcNQpwDQ?i3aA;RM,݀R4J{D]DR5ݱzZU#o^[>$¥7\8ƀbٌexLvՏ.a~\F '1+Zh v\FڷO^'J7ORYAє-ioFc0XIN.CY$r\!{-A1Qbrw8wMLp1~n?TOrR{JxiA5)g !d*NQO7:jtGW^s΂{!s%Uӧ+IMYyr '7жk]?0ʯk0t&hlw0sS?Ռp|\Q$8Ӕ^J$Vx 3sU3c7BHiB_ ]͙TؘfQ.ɍXF0zȉ|3FKrVO?ѝmpޚP]؎uuulb=ho<=a~UmaLZ#̅X]T1NBEG gYZ DM'D7a!vHOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/files~~/src/HOL/Quotient_Examples/Lifting_Code_Dt_Test.thyY7a-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/document_id678#7M'>HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/messageswriteln_messageserial=10543976line=52offset=1253end_offset=1264file=~~/src/HOL/Quotient_Examples/Lift_DList.thyid=670See theory_exportsname=HOL-Quotient_Examples.Lift_DList/codeid=670theory exports07M# \HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/markup7zXZִF! ~ ']ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$;X5u+G4 {C %3,]],Qz.4i(! &K6Ҙg TKPq#xLCP$d_qǫ<񥼽E)M*I'~%h=EW\;sO)YQTxH"G@2uBtKTMFNodtP"fӊ Q92&32 ZvJu`">׸t9aFF6e#% ᨸ,`?G{5R]C4Q$>d橼 '5\e^^cC6N߷=OLHO T,(xPR,l^`:gvK=ؒ.0G%/8诖~deo?gj5f'U)ncn z_% 9`ۉb A!uPAl8y6;Qbi9S ' V ݓT}բOp& aGX'81o\wֹ?E+LY(TW/f]4yT-Iz7G|8`'/ڹ]Q}*>CN|3_. UM]G/+u~zFj݉jÄ#M9Piœc_ p$Z uJ1xDi6`{DQ̴Axoeȧr{og!3M*/mڧc-z!@ `ES_\P0laf*O=g׬53 >y>SÏ̀,A DNU^'Eq[$o lqRb+e+CoH'/WS>+8&\b?ҋߗ*7(~~kVt 9oPD;ZROHn^#4iO,VY9B(#LK|g^I2/SG'#<2_'.4(R-+.8cXbҔx(SiW_o9%~M?en-QmD6>&WI5Vf>y֬0Z!FHĵ1x80|qZ99!sF_QM%g< a&V Mu.B[lSb 2U`6=lqnv5msA8%ۏ5R{ria#&07)ER[eb3Vb@z3| %\L/NDC&Bsܲ?W1S~!H1J%$4L+W}6K thQG ]dU0&WE#g}ֽS;|CiFIT|ISX+W9$)C)K=<9apߎa,jpFm) C1T9`mK2(:+ܥYC='Ca_q ^"b4A\Xeid. ( 3}Ù4F{ڞ|$ f^^.=*2Y"8&m7u,B?R7zNPw9zè`` L Ծ\eF:2Vs`.x5)n?BٯtIsn܇ )_ː[xOh_32>ߜ> c'ZZy*"Dj2w T_{9!0KlNAꝚåf c}Ɍ C#4?u?۽cX^p(HwssXgYZ8kAX8hNuU<"G^%ؚrUVl/3aOh1ZR_aVwͧxO.{usN~uX Oj_1eX0/jjsHO N$5i dKNZLtct}Yy2Xu)OagXiVTΊ[,CU v7h*fxĴy+ ŲeoP#XڢSu)H1X{6VѽhPÍ1;c Z ^)~M2\ׄ͡ k\Z_ FO7 ؊v, `VGp$94%)'QPMq A2K}XsShYwP ,٨YX@g~:'+kv_wp9@=`6lob-ikuG Oɻh ~v?+_J**(j L҇m&ň:HᛉD IdZ=6͟yAzhO2rTOiqgK{ne9'3Zl_7 ;Ty^Nl6#VV]xA GZV%eYTZr|n1ix/P٘M.5};mq&(40t~)J1iA@sVςꘗsP5S١T|KVs~BWލ.H5Ԑ';AًP{+"y}ڤq٪3szz^ 0~ס)` ƆI-+m_$z8SGD^z@Vٚ}m݃!uI/T=$8y+l"+NUҚԞkn)oJsa\{i͑?xpET(#w)xLj:Ml[m Ⴂ"ypo'j:E\ޏDZ\ Ar+-oB.9'77dFA%. wٴ|3MŖ=0r1 @q@˵J{2k(WeRPCr9v'Ze6^tS0@n:SG@ܔOPo&C =ONZjﺴTD 7\SnRSX`s5~yK.l0\GOmGpǹEvpk$ˊ(P2dc J.&>~hf3g4䋖Mٳ1b \s{-+<'qMȫC2 "XtbƂ̬]|UYoM)fOxoʄφwi9-2D\siT؂#}1?v/g8[Z['$}~|奈xlЈW*8 ?,p_]xL^v @ue3rwj9Gԋ~X-d7Ǯϖ% Ur7$_bE;跹q|N@mŧRk <[S4,9jdf"|DϷXq,}&[)^FftvxGIJt~_J*[M{QIp.l,ZxGœHlEF -cqvKCUYT} k}8ost6)zC+;p9ٹY /OWڱy%`#4>%s* fΓ}Vf\ϏrL9Zbr'i*K bq?Ŀ|8:=yPnGɏxֻl#ihPfI5j뗡& 3f]Q~!nyWn9w ܤ$8/UjJ_q|`&F 9!hS3tX0T]G}XJK Kz}EU름GOD?Yqcg@kTM6U,֔@{ ! 12 ܑ43U$RbWt!pG;4[nI%^H+-%+ ˅@ \;|U*&-,"l7BCJX,h-$ߢѦkhtVHGnP= !  PrM(v 7y *^"xxO즭BG ;c ֶ޽\e T4;:̓_kzOJW,3S8F9z1>XՙC&1aGhwM+ O҈7Yۋ'zxw^GN;w޹ TbgA|c' q[l.bqGOnum'G(U3$ yb>:Q=Ӿ7US^*l%cS<侞3El1%R)4D+PTju;<ɻI395z_(ǟ|2P+^x6kNԊj(^L9މzӦϜ1{7AnQ7TBmVL Wզ[ik\/l;:B_oFD։Jəu}H qR@v4q=X9=9Yk(VgW5)] >NّH$iΧن*} ncu)ԹjٗOz Q%==_NmhV yR8J&;ݴ!Q( OZSA996gKհvmf5g41s0>-ҴrO`Ob@RP8LpI<׼F( ʶoqϥnD3Fw)L/dӚ=eDx)EJD],so|zZG*:#g|C 0;)!) :_IuzJG9a8 kp.mos_ d<Gbmwpg[Tc0 F0mCFhkG< : 4SgYZ ;;:7a# \HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/markup7zXZִF! gc(]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$;X5t_٧ mĵUK=n^u@sKQ% +:OHMď曤/Ld0eu `J:) 10>NH67|˸: Лz~!BsՌ<4rcMzkh=Wt yit(Q:k'lSva><2GE[D]1`(,Du Ay]=.ǰ)3re'!F+ =c>% B,)~g,hQ)ݷC4,٘vec%ġ[uyDK Wڡ$H/Ta-nk)0{3lIJX`)$LaT!yV ۈkx aɍe10 !Nb.CT9N/p07q>0F)0QJ4yWn8~ރs&bQ}rz-s# ^7 {#(uAp4>5-`ó=+,-aF<1?[Chz^4@IHJlUSeʊGUJ,fT/}Nz)"8=_Sֱ6~"{Z%uhMp-Y$ k:dz,*}{@-]y==_mleWiaWtt¦oU@,NxFc*U 5z)u̐7XVHQ h\:qjӮmSF!r,6 E=#}xg>+yߖ\ε r[ Sex ]4 0NhyPRUa^%p— =npiL0F6y8:ST^/K=Į[F'h@Y[>3&/M;qk~J;"@C=g?R{.;i#_@ԊZӝ?"#biM8n'c'w48_5.IlwʦlH,pc3ʔ[p&YՌЇ6Xu}p)mk;H=yk=rX?˭X:\aɵ:7=@:kN~+zAH+~GDoCI;j8!_uY oi~ak2H]\}j ahq @Ń 2c[a?mّ [l<ϲEb:9[D6qTnEH,$}']N̿*.SKz~&0jh/\P:ܔIٝHO@n,A z.ϙ(zC*G/Ԕ#!Q8,^3KJy KjEK P#xѰM>Zg/vEUj^.Ҳr<$G TMSUIklئpn.euTEFpCY 6M`'쨂x?븐[I;\ GHK,]:.(N39 50iޣ%D8#- hSg\b#0M$#԰4ַ#L40`Snqq]m2E[ t+Q:,vT/YRSѧATDMV Ed?Go1@%+]U8&[TwT1c:-xޢ 0"'Hp$T9 ~_QpW'pGKu/`iN5zUOVOʃuҾqOHsّw B)GpϏӻQ睇bͳ3Kht΢3w_?;EIlޢo뷴tDk%8C+aRj:.! T U\TfD/(n$i5Xc u Yn0s ebPkDm Y@yLh>gHaZP,. :8ff]g o 87LP8% 4M:`Ԫ8s R'_C>bJ:9*`F +A3">*;Ye^i\iDW,qtucm> a`xjh/9e \XCT.2lesrXމʊAQ:zߗ d55O{D }hԍ'mkFI aĻePG6?P!WP*;T(c +2iŻuXhb]xр}2"8o%gt&#xZ=G(wZ4Pّ\T4 aZ?3b't(,%܄ {ΏDzIQ|:I5 E\{vvs풣\G=l"_^#Dhk6yߋx`MNWg! yA쑇ZJ Tk  T ˆBuϜ%nϐ'm4 9Ѣ%S1x7W܈޲+wɐqTPKR|'\yX{Zv+:#hliyޕ(05ٙrBK;  Y  Lo 7K!`HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/files~~/src/HOL/Quotient_Examples/Lift_FSet.thyN7K-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/document_id672P7Q' HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/messages7zXZִF! 8]D?7 {?:fH\WCkt$*@JKB>!fN++Tlυg0%*{&h# 2G-Ȃ˥pzo1Y1Tkxg ɦ. a+@c6J*JbBO!UScIg>;m[1yz#Y@P/:&&L` qa|N"m֧FF_$ʑcڛk3@!F|Nc`3,Yic/L@$QGCzd90jU;KYh:vxiGSbX>v8$޽y2D>}PǦꃍtJBuѵpkȢoȆ)w({zZi'3CB(wɛ󘖑`9 1ei=##vhYR"w[Kv}ɥw&uGKYs ? OA8>nJo'IFVl %`4FžE>;KdCgszռ^VoA-ȆconAPJҬ'F5. 屢6g Wr,=(̖C[у5u`X!t*N ЫCb<}=yk (, q>gYZ3 7Q# \HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/markup7zXZִF! {J ]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$e[Tջ3=|A;ɳoc7\aAp3>~2Kǚ49AW뒍Jzd1rPzb <QDr&t(ĕoBg ^ K.]4YGzIk(ǽ]ʒ:~`"ec4N^z-"g>u7Q!fHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/files~~/src/HOL/Quotient_Examples/Quotient_Rat.thyQ7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/document_id682$7a' ,HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/messages7zXZִF! ]D?7 {?:fH\y@\pT_M3|Y)mnڴۂқJ kέ~k>=M#Y.\_{Jr!5V!4o.ƟN(45^*3]_(5SZyKo7?E>j黟Kک@E J+J2`ꉈ6kr)F5n2^(^-Hl(-G&T.)SswR|%c #j?2V&LY@)@+.͝m3^vAO]Z>V&tY1<)Jf3&w|:Q-QlA7?鼘u3(UL\PBlw*,ҥ@ѩ~d`HEQ'2lb7 &ٕsgkOPs~M)BT ΈP# uE3cb+SPpjw(kJRjp,v_I}@rdI*}ZΝg-^gYZ?uXW{i̽^c И?rBg=O&Yu qBŌt\UunA|uDrH!F6_Í".•(5Iѝnہ^]y5IQg)I1 3R:NQ/Qwe%x DQHS|qj%T6=)UV%9ϽJvƅR6B|0a_3yRδ#@LeyKbPp~bx[KrA x7M°^}cѶPtb/3O*5/Sz&p`AVK4:x@w?T옃œvв)nF;C`CiI0qX& 93 \McoER!VPF_#RwαIO39 'kh%>J܋{BbL~ZU1|ʩK^=i0Ě6߳u݆kR xcY6n| Q6u#DoYv\wKzͱ;9_ӐE2o|7y=LOiD1fn cJ}PɒMb/~48agO@yc܀& O/[&C[7Dg޳”6$[ֶn o6 Cr0Y`p[K}w)9S`GwrbXI-_VJفTBwtPxK5͐Vˈ.~(gs&>|Dڶ6!t;׋\h4N&y/ ;C Jj1i;{\5Y!s-J $rj 5 77"0Y+[G(T>$\Z = `VN\@ p|rݞ^ͅq`ź*{ςgv7 37䔂j!m"[yˍSs?٧iJk߉zcp -Y O:(wHL2=dAԀ)Us*v5g$U1׮GX=;˷-=r,'][K,[6$ u{:_^섇4jiOyp'ކ˱ {uv5e=g;UDb<{t"A1J Kn%m2 t][Y~e+1([Hq0_ID~նS;W ^'˪,^NZ}*(tWjz1([5݀X*r-|l,4>{:f֌'ۑrFud;G8C=eR0tLQwD~L.V,1/ .+5 |{JV@htBcU.ߨ:y!3|enP73)TwHQbG<EKk6A'J\ڒxGb 2n_$3Jog@#4 4^pZ jKAG}$R0$l }E=XD*_Nf`+[5iq:%zEs9L{`c`!@OG}~<{M9M6E 5%.kL_ |\3ww "(ttˇXBa3]S`s'f;38ϖm (G[5Dqץq/*1^Rxu݌$b8+ںk4Clү`41 FJq7wޚ2_Q/ߎ+OƤppZEw(dDt(r];!Uade[,R]8cu/>o3ߝ^vNoCO\o'n ~щ(*p߃OpJ!A|"hd`0tK,P]PfaEgLV^fƬ_&@%r%Ӳ ]S{eLk#xl 虧C޵@M'Lb Ӡt)9Xn@wΎf@1~ zN,k"S=2&faZn .\UKsy#O6&*l7 tJZ酋4Unz$伨"iOD|*wRŤ|ȗ[eG93 '᰸{SV"}ߎKb!壄#Og$d낓ÉKs̸UY,7ϸgި%P+ІgM`nDmICj\=MCÏ`U_]Lz"sf.aެ { lTO!31 qILJDkJ.;GѽOr B:Nf_},9سGL0Zޞwй*62%.5^MO{HJYA+m`Z7i П6]Wanq-G+6쇤c5!.$tCKmMϩi{t_Nn(0,e`Cjh PWp83D}3"$lܴ@U}(sŒ9pTM!Ëp7{qXUv:F7dY|>I޳_eI ;;T |2g_k$ʚ<4I#T\j74F t)0lLx%Ud[ X,3?͔~Զ@I}l$YHNs,ސ;>S(G,_,O鯶jFxCgy`ño$WҴq//*u;Y9cx8FOrv%JtMY'G7$*~ƗK"效 --X4AQR,`da,@ >z3MmW^<#˒!r:]S вWp6RQ5VoEܙKpI+,[H>6yA_9e|OVNFg d{)̕rY~t&`.$IxGƋ Lf$Ip< mǟ<}<%0 :!nR>ȯ@# -w;YQ^7{Krc3fLK Hʛ.Ѻ1I}Cewܒğ6_Qfr5a'hIZ9iFG5k5 = #H'B@L=UpsC DS__lLT9MWMQ΅mV&oLbzqSGBRHlt"U@eTJY= Szlv(0o#:UI gw>'6Oo^̾u˿ )1s߹v2ӈcxȘyRx\a5i~眙M:V ʤGk:jFdf~3QJr 3Gs7]II^;5"g7,e8#Q) 26BN?T\Zn2OZG PV5+ְgQrW9 f)&Bˉ5LUەVg휣-i`n Q7 iXç[gsĚ%U`.f`ɂb/_'< Cfۦx>bݒ ׾#(_e$S4!SX$=Ƒ,xx koҞ7 @Mβ(YI n85&j,Ľvedf#~GYh밾OIfGtcr=< -iAu7y] k?OGRC2;YKrʜ2(rOJ8iiT S(JFw^4B-L }zf^V;3b[ ))f'EuG5 V% a˓/oXх;Rj[zGJH% ȀL.q{"l#*?b:?agYZvrbɊ6M0NΞUᒯ{BA:äYifOJ@Iz,6vq¿$ĶM1kȏNhTb(oެI!^ 9 cIYwH[ֹ:3`çzúb4U{MfǴU[g󳆂x(p^o'#`lxe"e̟;@:0Sw8`8wm~$Ԃ /I*6LVbFjI=_= f;HW'ߨv~3tc}wE09R*(=Y pL"'_<GE&:7k j'A5:}y;7zp-51 ЃHs.te.ϐO4VV{Iʄ]ԖCwn%9ҀRqgÎ);} o#ԚׅڏCq66^ pA:<'BV'=wz nnq{ 'ā@udT+ۨW\]aJg-A؏Pk_5X} 1OZ"48n9eAWjtZ1/ԡfzB w;fZx)\ت7߹Hq9eÃli Kk !Hp,.NUs%NLA:6i _I&\yzo_>͠8(NyN8%eq#RVR1n)\j5$$q7AzhU3XКQy3$s[2V&+/<ەu#Wpiu=( m3(\K^"M7MTUl@!٠(+{GtӘu, % VLs j \!XޔCU-Vs؁ $:"S*7֜RFVC yb6W&3nKa`kZ iiRX]/ ohfNqjv'0KtM,s!vSw*+չH-db0쎔MfeAS_$: !o>]:3FRХZ^:gBLXwX#<3Cjv̐rJlz/dڰKm9P$7M${`}L ၜX䰻ˣ֯}+,_ky%UZ}t7fSt,r, ;}{tmc 3@B?2BjM8Q&Fa[QyvfA gYZA~וj--+p_hZ8 # VV6Ja.&aŘ%`/@LNz d:(6W]Ѓ ;Gj#_$Lkt3:A2,x%B ЍF`#O8&lv;}r"`vE59G&^Dv[ Yeyx2))8XKԕ3BܱgZ uSHQM dsBK !/SsUa@=ʒ}q]*KDhs TT"3oC31OGh@lB>;|Ž5?z>^*`GV@mtDsL,ss6zJNE_)! ZTEt~<Եxfki1Ϟ̿qQ A,뒡ȡs Ha[i1>T_ѢO i Nx WKviA:ZCEؼ@%A:_c`Z9+QZ|j=22#:3 PVKI-2sW ~0 d5So|`"ez3LSP( !<`?z33]d,s.x5<2o9 .5ٟ㒁bb@Zb49ߥePCݠum ĵ(斯\4*1iB'=V;IB\@ZN&hM[ };>*ˎJݢ" u)MHRRH0?|*ܸ%4/,ߣFMjMsqg#fEe7#-ץqĭ@bYHr;\lVf d&_c[ PA7p!jJ@>L51V\G%+gQusNcp ՓrPD^d4+V@sǸlN2g5ReC,(J2_0ܻ m?}#5|AQ漢W~yM ylʢ 2xo\YWK4xIbŚچ͒Gt%C0YN)Jo'3/d-W <usCG=)f$˗t`<1_Jm0^/` Kc ܂Y9LILLݡ ,jZeY4oWY~:mTyd;HCItZGzEC.uTʪ#USbd(詡L4,u|sHװ.P3nIH:OP`ɬݑ"*+>\=dҳPJDfcՉ)JpgJIju5+p ްPIOBz"L26AG G4_􏔳Oe ,S|8PIji5KE M"+q7Ko?!@GAn`5{mĹj;oQV?Jv$H &egOŷ N7CGfzט)Mh N8S.Cnsg˽3 pQ;~ýhH6?lV3q׭1bt6bko(qU76ŔjBA{EpM0F^n3& B,v ^AXP Qv(XmXWBΤ=~ߦ_89a !+v¤K@eq"4iY~l4+XggtN},494wk ;Ym(H{{LYrsҜ0f::^)tu9O+K1 `cskSIԧVY+ki3r g-Z'kOjN;-G$F=jeޛh_YuX_U5ebQWJUw܁P@P[yǠ(Anh$7 i6$h R CGXz#rN ER3yCW0GmflW_L2fƞg;>5_̵wrWӰyl]knft“TE!^xP;euɵn2f[[_b>-~ž#\󄊲M$GB$J50d%7 _qIqbnĠ|Am6^u [&⪠7.:B5KV&eQ1`;<Vs1'hsaHs>0]DVȧXCwӆ 0<$#T#6'ݺ>̔= y@OmTrИJ]eM<3K_k~o`c?mvY(z` 0$΄@9ݷ.zOAK}.84 Cbky5~ >wSul,[w9pFdObHJ9_%}k_`aG``J꾲&&_T)g $n'ȜBՉ"RB0j(w[(ݎэ u 9B~i@[KkX. >r[%#m/TTڷi^h_̀r[mc71$ .}WiH/,M+'Á&.;fD> t2#$?{0ٺbxQ9@( V [+6D-<٩u (ښ-vVYWWW 7RaӦuDnA*'Eِhܮ$&0bL`acpRG?XMxw{ie1zK vcRR>k_^vUԢ5l +ŅA5,@zAtI2_t Kխ2̥0oxH3kc}Tv&W1ܽm|pL,o_W<-q&be@LI/ߊD)\!N^8!/?R Д, 2{S!\WY—1QND𪫅M=s?B!%mF"_ %jfE{g"SUWa5yq 8bdS,0Fu}{T F*|xNdڧlթɕjW ^0UɸC$aNF[%Wlûuߝ ʟ^j ΓਮHT] FQesZǹH:O]T+u`DNMFsV SU?s7"jO^>V17҃ Q=3.EvM fw^m*mWz>wX! ±;.^eeG!P&GL|`YvHtfNesz{kO峦 ˽O\>˷星JvP5/iज़rcpʏ"RқQ𼧅3HHb"MscV)>ɿhS˺׾Ǚ.ZcOްGTű;yM2{{df>¸V0q)gf}£捻4Ikm7mӰ \jM8`AzD 8k{KH+$J;VRavC:}GiўDI\PF4;G3]{еzhygMu.% MSNa˞3Ѫ­uaua<1[W\:reϏzۏ&Z2:_ ' լC_'5l;zy]n06:R6wMiqaY=.v ? dGQp j ӈC}Mrq)5<^ڛ{ :)2q TީgJB-s 9($L.]AEиh\oxe3.ƛ0NλaI'Q~L ;tz*_f0D͐G((dr$ 'j(˝Ra]$&ϟc 3pe3(WPLG{O=ϕRM[g&Z'88a#Z3-aA"-ըHi=.0TPdWGcCVzm1Bǡm- ?uɡ3ݪ٣/6ri{_{}1"o^ac R0[]]0n5ӎ 3 \] hGamn~#LYX|  {a9'a-,x(A!g,!h;lO>na Peʚb!ɽv>fceޭ7)y~eNwB)2Cd4i'$֪.de93 {cє7| I-jw7s"|iďd@vde u6x= BG I]Qq Bӎr{gs "/laTd"P):V:T@;v~LC936q\BÕ:İ :n i+P-43i|k+!;=(^CIá+ܲ4u$kӑޚ2kٮK7܇Wآx38Ԇms<>nYY/[ς5g~+^}8Xh%>;w_ G%JLF.gNoR3-(\K hdjA"z6F9j]dhJ!ocbjMz\wu~IEQ,l)I[OxX >﹆HƇ7L=6}$C ,xcT^3Ž7s<Vti6,k񏸎3B)N_4GQCJD֠]ECyS@M`/)Lsa>KLHL7}68jloNjrgs rlI!c\O0bb'kz88 g,ɮt·#m_X>d4uNãG7Vީ@ T7B}bLE?g&PiIeuPAQ3Q=edf޽Xf)o8o9$` Ψ&⓿>r{> ȸl` 9xA>za q$+O@~ԑ1sն:2ޫ> 4LI|mY,KI ΂ZJ k[;]/?·,OC&jOQ -{ԭbJ!^;/m|6s=ie|2̹}nF;TJX"`(yˆia3ǘg6MZQ5L{n98fD7 &{BV= q-;~>0Jk٭jG,Sg|F(ps-AՈ]s!GոUYB" ePvQMVf U Ew#3ΔWRP#E'ģV7?2 }28V# _CສD2f[Eqt{ح|bF"X͍}qtגY?%NWLL鰴.KM:A^M-(e,hTc6R2(wRUݟɱԞYɑw@D.>1V3=H34zvqŢra6_HdH8c*6aٲ9Ta 4=?Ah;P :! E*Y‘F*/YgYZ  M w k$7G!\HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/files~~/src/HOL/Quotient_Examples/Int_Pow.thyL#7G-HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/document_id668"7K' HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/messages7zXZִF! ]·Iq n[:|&[z6f}RZ =l[6c3uD^sCk+RjelHeEklb$0% {Ծ#P #(||؜VR {?##{Tn2>< )x )~2',>pXP-}19 )_\*hzQNH܄ӌh_e0M+HMl,3a ".1%:WlO/yK?4W(@y͐^呸^@FY/E؆ cH"$5lZF~(8{sZܰ{*ɢUx-mްץE3Ҡu?vTXq_ kE 'y `w|u5Q~uk]eBcyw;PAocRGkSs[cߌUMa $Ty?ȗ򠼊!` .:lWa%nUF* 7gYZ$! 7K# DHOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/markup7zXZִF! Ax#]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$;X5P]Vz!b(ɧ&HGyYsY9 "| 4Tq?48TxJ:xn$ ]4FJ W^ bMoIt/8k(W^" Z tѩ]]@*mYFWAl ZJX7 !]35_,0$)()2w5,U) emSJg]b|O 64>p /@Q;t؅!nPoe tWK9D7~EдijRރ32058Orlk'REØmk1C@lLx:m;NY\:(' AOã#2vbk)pg<8Lv|o+D^YQJnj2斛5Ŏ@v)<ɳ h eکLqnjdc;!axkyMFB~nɩQ G]%01s3˦G`@[_}yb6K5to:_`'%SNW(Eb;{ =4YH%TdR Oe|lIJOdbK`͠P+GW`AǍ6D{TBQp'/1"=ن_IT-6#>zPO{Xa5A5yD%{L3CGCj!S3ׂl *Ǎ`MC SB} @\f;F"^6$)T7]| 7`/F Tm~ccHㆦ 🡄5vl,Kx[9P(ER.eYoQq??/t"›^) u$|i|-t^̷vq:A>m~[@t D`>[H$63%(Cr5_(`7QцUM912VLJjJ荗V/"St+SLuSMKYu}sJ$ WiOw˹w(D@}lR};|;c+*@))f;Xg}V-o6kƁ ٦m-hI\el+tE1H:I%N]Ѕ^=}8lm%A3,vxT#bf|l}=O`#)cR$*rbjU9e܏;. ش*xm.YwVnL1#9+[*GC;S݃QsC섐7T"#)WN[v ۺo݅*ñ$}+=S5[ѿIJo<8r-vιDRuQdp~dE|4$ `9#k5g٨>o̺c$5<ҊW'v1gxtbwТD\5PVjQ~bCPriS_Ο^_Ws[4hœ_bHe(kL ?QPx d>.tVN&|^hf6'D+ E<9?^#$N4(Mvx$]t;#*<ɯQq~Zc8P`tNMLSCf2nJc2L;6S`з| -G,U^PI(d';y9g{:7z6"!V~[{Xm))֒R/@O3 [/A܄5Ǯ=} ZcIoQ{,!sF~B!׹|%jU 7.G[U DJpsH~/#-gUrýc[ȝ?K$ 3FL?1Ɲ{l-׾jϼ unH`a %Ք[:+MfU4صxڻu<<#̜seH&mtɐ̷\95v38uE׿l}"UflظiCL0L>D3Wumy*"jaGR 3ߋJR Qc(O܆Փ{}cL2ř"=!E6 |;U 0p&3m#擤_B%+FEf%06Le5Gs-)3wJuȞ-)Mմ\ل-Ae#~EƽB&L4F {{륄WB8/!69u¾b !֎SBX։~F$?E4u\9~u5LRzט+B'PP=\ )43iհ;{vKd*/=,Yw2.1*l'[jyxFyt(=KH-C* bɗ|vQU2hJRmN{6;F=r^+96 ]|+ZYmNas!07"smlk("_)H6!iÞ35 KViʳƃ_F&*;)6&\܈{cidLoK\$ؖA!pB))6flvLk@\cy=!HtZeW 7 3ךR"(ozʧFh5 ~equλYZ8z)P%< i47۽pNE]k:M丐,Z !4+:&.ԮƢQs#$+03P UbɒԫɵۑQu?/|/!C{N $NN7%0Dv~⋱({]Z0yEQRg㭬 T[=tJk$~ a{'$.]!ۂye.Wѻ=uHp9<̼zX82 )HUkfi8;h+:!$L%D%p _: ioDNOC8fhMKqŠ`Cq"],:F}d o96z2.[Qϰrv_J6}_G \pz2r)蠩M}^ʦ[=]ޘm4jAFp7B kɦPG? zNڵ=źЛ~|ReGQ9773 ^s(~ 5ǖUg,vɢe$XđNrQ(3ydrFϢ׻Dd;=_vor{%2;4y:"Gby<C!n&x߻:n &3a6aho9tZ@|Ӓv|.|MƇld P 3=sxp9 KZXRas_l5=Jp9'SDLˌ~'F:C݀Xv‹ɇVk[%B%]Tr`7$xg!N>b;[^V _ѿأ`=~gr;}!ףqgYZ}%7G# |HOL-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ӯE=&A%$uP.0OƲ#8mry1Zd KQO<җ>nu:D#oѮKׯBw*Bg£tc=!ZO"@=\4:R_ KwSqAWUOl;;Q}t whumt(ܔ=~=;̫e`ch_#4~hdg M)Ϥ'G}˅[ ت;uI~pب:Jsg5t~݀5(EDӣ#=GP.NpaW$Z)4\'fQ^w}XQGL3)\Vn5cdn&ƶPҀTnZ?"`p[ >dy$bk󓻧Z!%cZ,z3 cELY}U=61-Ol]C`swN - m9uF&Zn="PO iS$fQ$.Rҧ#AcŋrWBQy2|bb괰(}9Xq˽DHkr𦭚ĆC3! p.?Ffĕ9MK;9ww# ٥7J`d$v"wݔT-Z2m@`RS6r 0۳}ݣY]&>iTtQZak`«LԴ=RLrcj_'⽟(%@HF_,oaQcךr(^Z_L,&Ԧ9Ϸ(oϵrk#̛}OU |E2 D~."&vZ?' ◄cC4odA&5 tϜH="` yƋg^Ôsx~e& 46aۀEiַ#М vV:*aIC^۩=Uc\N>ɯ>*rQ1ߍПuV Y HN[p^&Y;߅a9.XލJĐ-I4N(a|(w7}} p7ϚZb2Kt5 c+} ~0?A8m>Y(xqF.qmj46ĔT7Ɨ(mXE,7R^~҂55F@QlC ɍRgA6x.+ AFKNQ8!WǬ)k9V.Y`riYfĵCW<5H_kH%_/r-J1 -עb\DM%"9 '6ǚDc D]l5,Ƽ 5ݬx t U8* #}'K|E\Fn6/Z>eqn$@V15*"G, mga<3~:WUW؄\uh^RkZ*Z=*DE)]nJf}3]2:,?ۤL'0oiMuC&O2:[uбK+J#=-M2 q]G xE{VeΌ.+Wqɜ%Ql k#XنJGzWh7f*., J+uBAgTnBSǷ20݅xo]{Obvp.?^tׄ#Ѹ) (}&:yNYpA_q -/Xu1fet9 yMXkVXEZbbxC]WB Rj0wىgf"JQeH9yQ8@LZSF_fÁ|Z4FH\P* Бihtf!+_71 dz&̢#wh C DDL*7Y' HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/messages7zXZִF! J ]·Iq n[:|&[z74+ "& ƒ EDd9l+*Wa{ ń-O$a⑰}qfsٕfm!F%'Qi=Te|l)w_<]ޖoLYߦ$.F]cZU+ٱMrtQSBis:r'q1/dǔi%fWYN27+n)Tn82X~)2j[һ?=[j A[te :H)IPg ox g Uh?O $O´5JF3" bv?x } K*R:M`蓍Zf.|y<0\1mB-GF ;(`Q17?ʬy-HShc0+~n1o|?hضs@_%,# SZ}OLϝx6P3S"M`aãر !:Fixi8c'1OU R~ ]9|0M$iZ<'Bww>,WG` ;rۯ` tPf &>znG?SiBX BD,9뉇92H ylgg^xP+ ,-J2za9.ȧvv{m Ʒ+bU:q.%h@D8Vܐ(/yŠ"D]0dY1Nf:Rʊ @З3q|DjHo^&S9p,?gž3)!ʉ~SP\C/CŽ'%-O ug0Me3)_FԛqK/U2"l @w$58uiX(L~𭇓5?L} tJk·-V34/0'#E_`Z 02Ow *nk18SخjqxODeP[8C%1NZ6ݤΉ_I;MTja@֢W0h#÷HO;DpFĀ|G(9Q sN3i,Gtɡ>b(x} ԃbham6/eL1Q gYZ_) 7Y# ,HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/markup7zXZִF! G)P]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$&\L7 0L8ZX_WCp`P0P;ٟ$qmnˊxx f%D؆2{lz .WBG'eJ'`mwcؙM|X/ȚDDŽYL[D@o>vrCL"0VI>t/!fx #9lxL03| P+IP*]lŵ>2N*D[BHD,YMx53`V@r=; c3<b1\W0Q5 Q_Sn@?r&WpP-ۥ|Ӑ^b~d+F,pKwgY,qD1_a@F~H ՃhS"<> r^?>C$RN`B'c6hFQ+4=E8 gbInV5 ;ڰYeV7=$4Lk=qJ!t았c:|+ٗxmV, bJrچ~hWpXF$C?xԚ$'8Xh^EP7m>[ehTL:3G ThDAxy!_){ OʙV|ġL)ޗےؔSθ}M[է3 >C`&z\u+,5km>~Z(*36j_2CX@n\чsnˠ=щdY~k=&lh#N LW0%oHG F{z-d`IRm]W|E'BSŖt^,6g ɮxvfuM3@7Krv-I;Sl0(Zԟ PQjƳfh3sCqEB@^NcmL>M(bq3EvfH "*݁9og߼&NV595oä$ݭa-s$BDJ 66U]#F}(7Y!nHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/files~~/src/HOL/Quotient_Examples/Quotient_Message.thyGKu֩p?pH1Е[[jR"X dĻ W'dGէdљw)H+}[|= ^׵Hٜ<]Nj,ds9YxgD*/u; ~vdp4231nM%>ʇ*e篗9GpŽǵmX(KM>\΢!L9KPq%R"!ןIyuI,Euζv#L01xWzK ?hLD^qjqny7rXkYU3]ҿiɖ[mYbQvX=u1ϺYk[Ie/24I&KI℗ I$ t 0Ys ӛf$!>VD cdR)elL^ J~"? C"E6-O޼V%&T]!Ӻ/U*Gk#m}`-WE05iA ܢ,ᐷļnb @Q! ̐TDcRTyc nX>C)'ۧ^꿇TYrЏ-}yQ0xsLdTɦ-CYx7Oekx&Or\m3.a>\,'S{P!Iwh^8GCYOԝkLw0Y,8DUZ[9#xLܞ$/OOL~E3&z} ,P +$yYÆ$iDCO3?Wq*!]W?pg i3\)D+G640K4cuֲQ;iЮgcϝډV'.KLq ٩*FTFm(e5U˱ZKܱm_]w<#E95OhKj#:'BqAi@UHQ,#HAMPdܙ[.*U*=Qza1n-v4d+F#bDMeXEC?$eRf~]#錾?駫]SSлv"ģ)!T\@k9y>5o Z/ .Plmڰ@ P LV{-ؖ:AU|kpFcVyM2D8cne_|p5įyDlw;һS aQRKA8.z % Ls>eC4?9x_Lyז.6dvF2G4oVo%2KDAUp\O$~ULx=U֫ iŪ HjA[51]dVtf^(S kqh Nb}Nxt ܵwS9pLDhaXFd)-q{擌,wvK4*8A-U[X[bzJG=/}>bkV!+S&ZVB;.턤(9N2,woMPcm& RZ)F#Q+/[·.1L&+w0F)!kx OZ[ظ{PwG"ιqbjIÁpQߔ)csv 8QhA|RyokI3#Hqellyˢڠ>viku_ AnyݰHQ_{M'{v9:﮺/ m{ۺ- gBXZ3/RPٛe*ew+pܐ>B/ ˧X ùzb i4"j}23MuQ1QW=zXq~1@ӋnV#+ ޞj 49D7.^u5K+QO1)pYpem/'0Bp<_G*%nuß& WC૸P_p/3@B_ϓIm۵AͼzY1^(Co\'R[Cߪ5V$?J::Ƅķ7a|7u2$GRVty⣺:b{GC @z?Ϙhb28ΥR5jljFwinDs'"Hj%RtC[)H_E,GG3>JV.}ZC{I. T0uqPd^bN((|QߝXDV3!&,,- $r\mӾLr146>,,N46=}͡υ*O[HB]N>Լ?xq<"H7:JqP:Haϥ282'/c0"pJLSMPQz~3ڨ~Hn~gɒ#k$1a& P G*vi0YyN lHzE#ai[D^ ]r<7#t5fR % Ӥ6Bi;lLx*Z6 t.MV$A';k0m65I%ʶC$jH0vR<hD5.)uҼ0,`V\90<%|+Pi944 #D&6b>6ܡxR<ÿ=(\ @őȀvavk0%\&ix-{;tGop'!q~-rݍeKqJc?MʺX3O篠K TDƣ^&\a'Կ?>n!):@5ӏx-kˇ9ص}*5|Fdmvƺ55 ϰjKP!Hv/$~1Dl9,@]i Mʣ7=)Wr&U\PCPIx]b3f=p'0o0uOF/b?6<=s3?ԱK Uwt;&?ʪX{#U4gճ m$2^GbO &: [a 7 +.B4vӡ(@S`/ml&vyֳW􊚇60cjq&yDܪ~ueT9j鬌r `i7jhy;U|EqĮ(  |8ƄI(YA+Ȉ^ F0\| NjTCLuDB.Xѫ"otXH^ohqc]%;#lCIǰtм d,ViLƫy@=yLz<+ܛ<8]ѪB''g'{O*/!G\e>VO@[i|N2.fnӵ8ތw]o?& ]Ri,-7:PWswRg2݈Eڈyi˻]2}Aae)Nn> ?e"-{J>1L- e[`mД$ٿ댔ȌUܸ!@9"= +B ?/g17&@ieA~"_KMz3DS9JC#ԟCd0^]Ƣ߀2J~EX/?& |`)Iǥ&Xwh,k* *w//nh \619,W*mAaR{$o=s`7 3 J8)gv D P6~ !=8 alׂ/V|] <А#z1023w@sk xY8LkB77t l7tp$[o51P>О1gd|ẂIl2~[uUD \c02*1fV zX9Bc_a#q#RD{*͏(՟S]ZI?aٮνCBsJf'3\BUhi`AM= Z^ SqM3U%9z6mw0\ Pԯ1gqu% #l?>,#Ң🖅~V )"+y'1!.QTͧy%rOE6 ęb[̸X>v]-\0#m0jaIϴ&,G3v]:`ÄR@+K>pJ+Gs=}*R|_)|ޝV&}Vˍ5 ijdQ-PM[ Gs[lggJ s7]y+.CGU6﮳$-ͪ< e,7AԓlD_"G%obBJq7h+Ll=NJfD=4 C'ęr沴q;<\H=ڃaw4Ca:K,wۇ aG>Mj{8@Pϯs\A`p;-F D'YU۬/`wtdTF;6m]Gڹh1WAo/rjS >-qSU~kg6-lls]'gqڢ)р !}CM m4:aG:t"޽hBB8B7`xrEA3 7\>9䤮_SԐ. dWl[`Vq8ưs;BoN$TZ̍yGv̋|34l.΂A6_"6JkyZ0pZ' h`b) 34#?7JFMo|Gh%RBLV%9!nU: ;iz#YMCc}qkؒL4d9*2dE.=ⷔ+NPVv-W!sd0|(/1L x쑟L/ dvAu` 'r9+z_#SE,@#Z!(x$|US-S(ɡۣh'Kڭs:btz y;i>CFհr61cDX P$*d/^x[Dhs0~͇_"k)3ůJKC'tK L9W[xwYRWCIg- "/{HР<U hܹߨ4Mwү8rHu= k☟ZR̟(F7u"y? zRY]Hͬ IYёH=WM뤡O*M kqli ! EP,h҉EuuWp&}Ac~WQ|O;&YLYbܵų|ڏrl/ԶYHorQv?UwCbR"9Ò:Tg6Q:Vaz8g 7'5[8Ʋ䡉Z*udPKr6])aQIv5acvX\RO^⁀9R%agYZ bK8 bm07I!^HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/files~~/src/HOL/Quotient_Examples/Lift_Set.thyM/7I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/document_id676.7C' ,HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/messages7zXZִF! ]~ hk.<VAHgM@*$b{],"7m|ƾ94yy B񋎕<ݭD4'%imip+`D],Nw3Ll Whs4gT(FCJ"Mؼjd3\4wG{n#8ޛD*r1X97B6c 1_Tg6Y` %#kAq⃉^ʥfJVOg˹G5[MLwܺm*d.hw .[4'ᣁ'2|Nb: 'sҚpsshM ĥQv'mB |z>t <ʆINg}DqK(Bj;ta9{Iyw}7X%TWD_ i{ ʚZ z:#4hbp,SjrN/$]yʴKV)P+RE` ^@Y+ї b׃9ScIlk'r"eerGZ@ųi<]vQ'tlIz~V0g ;hk@FRCDD&t*޼zz^IJ_͞uxkX"LDvʆ[1,/hZd9wFpaV"o+UJ_gʂz.L*s>md~2u2sBaW!']S1VF3Fxם\:fu@"g{Irm$k-ةŊ+&Sbnj\5_I^F Tu=&y B=_d+JskWqۏkUd_S`&YJ\y`Ц4v^-O=4cndF"*ʸ;bvT3{`!(E)7?c1[T]{ ڥQb1,,呇c#6)/EL*F.Z/P0!SUpگO :L!A3lrYɒA0L?n06es>/ⰼa6>`[Ž^Vb=_v# D-_g i'T\[BV5YUeE@]zBԏ4@Z&'w7ҡ8-lFNOБi+ONLڒZԣ4F%Q&ˣis 1r !CTY4#0@6$4I, #TP~ejh/Q!vqP&(ff!N;C6j &c[ V0D9?B9;i8K>٧ںF%Yr}*9m;ψ=/Nu 5^),sJ ^]0gC(:fন3 vyf* ĥ$GIyYcρ̶h(4)q S4##;'Smi)O x)Ye,o%zS^\kk0SzѢơ%=Va#Va]ډuwI{zn 5VQZ'V'SwC>F)1Xcp[,dp˃A%Pŋ-|MQ.vAauVTC6q6.Mv22ҳT=tDp߿$Z-9) \W=zaKMa菟pApwֲIV+ }wv\?Q<dž<%l O9AGqBlh(L(d4u\oUOs1gh|[V~A nuGݎJ",Hj$:pP^#]BC\٭Y ^4E6kM2*j4uh>ҋ!|»[X%wvVwi D=Cs$  U6F-p|=Mfs,cmhtZE-e;CVI7]Ig,7C!XHOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/files~~/src/HOL/Quotient_Examples/DList.thyJ+7C-HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/document_id664JoOA$Vrzd <?^Mu9*xAӱDr Y[?}@ | ͅnR7D_&Jr)7_N].@}Lox;F Q %%ʋ){b-J/2ǺwHl,G*: -U2]PU(V>XYMdCàwn%)GnCdǷ~C)xǹ9l9( qsD aћ]Nnf #05:ft(HسX!ďEe.b P s6>XҀ.,iF_CX#g m/vU=X(*-6Ϯ$FPir ֺl:[&ӭ"~SoH8luRWC:II_-( t?]+i6\eB8M8Վ!3y1Ff^A=wg&wZ|p0af ͹zK/Gebpz-18Dt$3ML1]ԇ:C`Ŧ"ba㧿+%M"BgА# L!UDuQIߓPIK DLd`Yބ!nJ;yn81bO~Q 'DXދSdvi*Z>q𮵺s$Rs(Y/u=ِ2 =w#L|U9}`#`;e S^ T%Q{kUXU#OfvL5y'56Z> cVy9yZnh\quQ6[(c&ϼ9X]zs E}}/-jW־$Am_25u[;EN1}΋leqLp¤_cD^:yl;T_a&Ù$NT7!: |`1*c-#"nbxBoQ~UiA5)l͑=sLOC4.P,pܓ'ր ^钿-ɘ !X-&Xg zvofmس{\,%&HTqc. zoV42}-)y/Xp@(: t9m݊@y6:ǃYiN;EK.9 }мJpvlJ$]#N5Ri}thX̌@Sc6U}ʏj-Y "Mj7u"ݤ5;7k>(H=;ቯ?k01aV-87zzPy2\!"1Jۦϳ [̛HL[6ѹ*ẗ . w!l2z4P3ygKz5PA[ K!7NC[ᄊґF !t;\ad~lw’%i zd))4_d/%2SbY|N6a۲AR~M1S7rXtJDz@ y/\ٞ =R*gPѢNtF!-Y^t!&G `}rC! P;m'Z%,D3M?92i0x³QuH*^B6qt^#2Iw's\:ypk톪(ĸ*i|_6#(Uf.Oo7gو/@Jvo"lF@0e_7PJFt/fKYUl長gr[풅O%FlTc00.hFЋ.udDsmBjn]_1L}VY'UȾ6 X8$2oLRI#{ԩ6( ̕G>KquTҠ39 a>lRh;}OpAd`"!_m$URt15BֺO/, =("Mv$HR FB  "7i+%e.Azh,}O4lA&jxIΥdi(yAKs -WP-q;4&8v (I\6F'G$`DT"!aUg8^=QnBOIl>c~? lϼBE~D?V^yP('IԲ^"ɤɢ P~}{{z'dQN9X{q恠)oQ;T s: 4ފnj7hɼwy @۠>;C~ gjKsy['MB$lD6HsD1(s/  *}{͸ > g'?yFyC?U2Pu%VW Sj}?zqjl17"e(HVP>_;7hT0|6vWɨ/a6of|3_ Ȼi1qе%)KrMւ/YqA_صk")lTjG"9k.GP"SN5Gm5kgsO_5'}5o8) 0}҃!j+WbU+X,4kLA#õ4kX{%3emƹmݜ\ FW (^_Scz khx M- 1_T]FbDϑcpZ[s5v#gki B(6"D`Ii 5`!E}m>IʼnnD |u,>7~O߽Y75kxJA-x411!٩'LPt7BWM"dƎbܟۭĠ[ZNg=o|jP}t ldnr>nBԭ ]< 4(>_/l]Pƾ%%y c^>i O[ {&I?6kGm1 R9wӹJus e;+kVh婖nWqvIW uԷW"؝ NW=|QL-5`Jclpp)dPFhIba`H}.?(v0!4~fb};-C5o5+̠E2[!z'l{%^YFxV*V|0~D 6l E B~bDV8=u @TfC ηtŲ7=^˥ 5K(,c4 :OCƜ Ge;OT8t 0egSE6bċ<Üf;7L+&-;Oخ Gva}e%IBc /n> /it(9{VR볫!.S.X0@Kcş-46܆f dYQ=W"X GFALˁ(ᰖ-}ɹf:6è鶐hkrN"xP6PVyEhb3 ӽ) 8+ƑS5yMwL^W?JbEQ--v(\#lf c(h@( "$`9_74~a-I**-Lzx@c_TܶfϞ]_jRGA`y| =n* 0[62Hgpr^< 7 Q 49:L'd>L(4ӭi)+K-SW ~5!MӦXZBp=\cQ92wa2`2 G8NOVz=j_c*(Gieյ>O X@=fuU 5Dm(aᝎj,xdht&O?R oSxU۠}a|t\ڇͱR _HS#22S>˿ąh E-H Pcͮ5cJV(\JVLض( \վR$;HŇ;5VG9kT |/3zobINSt).bvӢN>,Kƭ|$._ZYڂ&ꗘhEyL93RN^bhYָL~5?*0o)lV=eBn38Y(^5jup8Kqvkѥ˸U8Ρ"tf(zqyl2D4mF vZ>L 9[qˍ ^]Ј]Rpf&_Nyٵl_p$xzk:A<>!iF5J<6_kwɤK d|9L|nɋ ʜ㯀B#C#Zp_0| Ir`7IxU4=U07|z˧Frmeɣ&bA,8Ol`(poH`^]dҐGsH2(WӾհ-ҿ٤"5~lV?Ef@Q3O>@7YJKxIc6$YV"A(vu7]7ڤ.7ñ`Ev:ڤxr눬0yqi];eFWE\rJS!zxPa` Y$e,}(n@7B&I!#kQgY2x˨(% L26K3x21'8 X»6: -yؑ=9U|ح Bc N*`4YAr#ޭD۟'igDUqxsL9#*H-Y,. \70~8Oif򦞬#uz1//$j)ȭ=/|Oh~Q%Ph9&^k-ЕBg]~Jqc߲\dϵs<2Z)kzJSc d$7ye3q!)4L!RBThԶ:[`  /Q!ת+vG —JEtؖhp_Q FHky%,>41{,LN5IwG8901ܶ2$U8*8A6 nc(Ї$(,11SU'faWxh9a3PQ)F#UKp*5  esV8fP>,yyL rB*aH¨{`0OX)]N:BS a M[Q} R#Aj&Pfw(<d|Цxpsw0hD "otBEb\Eׅe7(-e~'qJ ͯf4cH𾈬 e/_wR4-yމ U@Z.qS"sܧ_aڕl*IUf;%UBfw\ hh. (U`bp,EuR@nEs/K jHSdRLA4Бe-"E]Y2 }om%)K}eX"?kW% (1]_J޾f^}l~/Q ?^Au3 >@& XZe|-^݄POn֫}6:#s2&P*kI}#rK_uVDLYFMaTSy.A4.>CϩAXy@Zˀ{벰1fjKv$4Uڻ.g-)s՘{B:Ge315w!?ȶ.^zS۷:=kW8e읿C[<;1:aqΌCq@릪Kpq&""J&(NGأ[_GjTjof""Ƙ4lBbIٷHvRK!svTqS5M١Ra itMm^x/k*- Qbdf(DB01 0t S26x]μ8_iu𘠗 'DSNgYZ Ot%m47I!^HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/files~~/src/HOL/Quotient_Examples/Lift_Fun.thyM37I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/document_id674X27I' ,HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/messages7zXZִF! M]·Iq n[:|&[z6?{Ycm_TdnzF@-aKlJdѨ evu1hrERZt5O f+U܂t¾zu5f»AJj4Ś% F*DOlq`Bh 0 7[cŒمĸX˦nW$(!;u309--0ڙxGay 2yfɁov2V,i۞ >/ Te4 o`zLcIo;0ScP`Ź6%YjiŎ%uK{]#^M(>&IXi!Ѻl9DUϒ]C`Ƶ @ZF]7βtq6ijRV7Up ,7Lȋ Uo$U<,gYZ.17I# \HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/markup7zXZִF! V (]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$;X5 aye)#9W&,}sLm/v'D)Ԁ AZda'Q&DX6C:I."ouߊԺZ`0Ǒ^oP&QO8O9)?crJ&1iUvmSMHm'@B3p/S%)tuT^~:6D-r^뗀zS2М9^V0]_Tј@E(]3(iG%Iȹ4w&ջJ#⇚L)8&"P,7+ 0`&7P]%xHb A!І8<Q+C^*FV#/UZvꙣwTdXXHR!М<9cˠ{lGƤ,`Չ]NMe)n{<};P١$ Y#DfC$D`U*~G r`܂M9&8Fw WP*_UNr 'DHLKĪ T B]1 ji9uJ%Oӂ@m#;,}g Ymp߼c"ݯz+ֶ+( `gqs$v { ORv4صpZ 4Xİ1r廙-HwԐ íO2#I2FO{6t|rǜxV ‹lUۋ'ڥ\ XkH P e-Ga{agɁroBwGt8b,]릭56 ?|RA$w alL8+(\EW FQQ|g'Lwxݡvv1D%eC1(!)mWm7&>ЎqJGI@qI2Hh~p³Z7%ftE_9=0(;z+Oign )1zj&:`^ jj'6cjDBaGxxe"qF^G*I5[0?wV+*vmjx grixptkGoDY7ʐPbͨT]:Mm[I[[ ?˵ړf'Bٌ>[m &ZM][YLEw-YfF%sw+E6le2 #p.fn-㩬 AK\H8įRSu @ClR9u3E?:Gè0 ⩹wS%;"{͒ɮ-+ xsFǾۖ[@ʲ uLQhU ,-߮ hwfo?6F)D-J`i"Q#nu>ϟEBR(?nx#N@AXe\꣝g }9|=ѧzWdNy{ĹL.F})(;_c/8O ^iC qƴPR/Z֊=kzMנkm*FohI%,o+x3ɘjzS[r9*|L4Aaa& ,wKWR8MLnȮDk=xAA)}iC>ޜN-,&BZKZrȔU,Gt5|E-Ri0(~mG C2˫WN =.^O{ 2F\B2+ r G:0=?-,oYu i !Y|\ ]̴}UpIvk$y,>v|TϜ;f T}:DJnr6>'ݴhjaҭ Ȑ[osf)iդ2H'!Cl"\˩uJBƁ BBhPL!Ù ^GcA)WP724 ~z3'Cւ(TPiHGJmtea;\wmAZ%\$g, N2_tpbr/Ͽ!Um #gYZd0Fq ħٚeة .],I5mU+Nl[4ǬI*YɅ NE8 a|ɇe`z77"O[xnu}UǶhw^ ᘊFwvMSwPN=k&`teK{$/'zB Ń1d8h!E{SM\z [%P5E[},?ޗ;O5JԦQtH}-Av[mΞtUg%A]ū%Vڻ3->3 2)a0@0S3.+`@gʞUqҞƐ6ˍ\+FHGSINޤ>P&8m/\ 2'{:}m 9YJj?_gh/_}5RU;X]P=~y|?Oՙ>_U U #SPC$g]7v?j9eUWٸ{ nГnٷ oȩCMȿ)Yo!.~_j?IE; XUV[rz. Yo\qB9=AΆWVJLUڵG11PT#{KvJ("DΕf[W3Y0pU*ZUK e k9`ŊXU /+ glaT4$"e!]*7As>5'z(;UUrR8]dtCRy'ғeNFk=W-Q)=FfT!> k-Y=aJ]UVK@(Ju+\C E{(Kʻ$+ N@2o#75ПuJޡT2G@L/]x\;<ȅ,GrLi4ma #¥}$1c`h$@uӒ6UlYRȬW6DJxKFad㘚k$t?h:g"Uщ4/kqSKBVX/-*$!X᜾(w&/ uLswg"e<Ӫ2褰uEZ-1NCW3Adùp[,lMuw3 K@ʤz2a ɩT0ti È]еi^f`?dD8OpC:}s.)NiKY19Sp6QZ `&Ux菂R:?"f. CZƼp WaA+tcz׎ab_PX:+B0_(ۊSHlfpE3:=nHŨQoSc\VX>h G&X齋=ܒӧixI|1u`.:@9~Y청AEޚ3E̪ _f^/XgkC2D:yȨ:5L\p۩fRmڰWw# M>!axR=&xQXmL =އ?XQiļ!F_$EJn`k23v9-o*4R.%(A!&,(R{tMgLԜ\zZo.B h~}5U9 KD+O0sT`PZD8k|G5Sut})bMuЬf“!Xj%2駡U82UIaL<5 (mV_s .G" 1*- ZXT ͐0dlh9+!Im_Ye-!Gs[1Po"zt(<kN}G:ݵHA֮)fK's G ًHyt?d5C:sE\T%v5iGOYL؀-H;Y;܃ G0\Q85>lL@n KS^q nFD=5o܍F<|Ad z|aF?ShvJ>⸿N-!N'Mtvl )chφ%2d:3-;=!Fiw_3 |WU fA:ܚp*_wI!nW*-pjwyi >(ʋ`%6/{Yc <ӦJg-9Vf#Zb$pWi[qQ6ļ!c;3=sV fh2S'~J{c$l!LPKqϗ9z `cEW@W+^0POl/x:S!QcΚ@$"/9NpU>0d*~{7ՊNG٤#ܧ-8˞`35 Kk-NwgZi0iMe%"@dTyNBiXBU[RU%n+9"Ae&}%>)&HE&#JȬs17xwB7FV}O3mqmqDV tWv3d\-kgfZd+}"#0w_&_#-5yܠ* B)(K.k>7pbY9d˙eaV|.9Uqxb fz4׍NQL&lL~)z ȍ,`%缻P'E /x{]ݪ,|b",i~mПI׏`2;b;]=Yݝ=& e!If>;pfaދh3\h{d[̘TNk>v~O~|g%lݬ~÷qww9<?p(4Ee# bpo!?hH&s6) t$t2w"eȋwZ :V+MHOoE=;}7Q&g>ɱy_3c̍%/O:B 7f)aGۺjڳ13R3ߓ\uzӰsLZ\(f[΄[5#m BLfQ VNW{`JJ{Ҫ&^Ӿ,T)߃di*] ΍ xť/?"3=ț/^^Tm.9'B erbimBx-Ԃw~<'$n8ҩ6Q}6OCڕ_&#^?rp7gۄp rgW7& X8e_ƒS&Aժ8{(,FL['VId1-w܄k)4[ rhB.Zikpeŧ~x$,\>,Bxh_X$L.K&#l\4є%&{;&ᖾm諵Ap#i77tх+/1k·kRZJ4-(*V8!hY 0gB ճ9aQi>#ojn  hn\071lLE7pd<61N1A3˙3Uj?:p{6\r :Úhe`crԕ $/>'na~9@8s" 5S"3~v,n+&3OQ.hyޓmتA*v>,˕ 5/ .L+9/Lx%ָrlD | K('+a($5ũW~J`RRm*,. $K[j p5yv[E$VC`r#cco~bZY0s,D0D \pb5 HY Y 3=ve`5ScmE9vݼDTXz+⼯e)*E,I كV퀃 .f/>J-M>]o0~<; ӵ)xza*_\%[*|GϸǩB@pX&pC`5L  s = su87Q!fHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/files~~/src/HOL/Quotient_Examples/Quotient_Int.thyQ77Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/document_id662@67I' |HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/messages7zXZִF! 5]Άxʆ5.f-9 rq6*o[6j-Y^lWB5I^ѣ| {'PuTUW{{?iNSfIi(U( l.c6"pG;%Ai 7Ȗ!hpZd)C\ z$wRЬQOёgb1ًfmEz.:_QmB$sM'{kS[5, J,Zkc-8;RJOl[#֍H$UDH1YA|UOOyJ%|y\PgSŜ֐F ±I lt՜}ɲN+&q4?Pnل8l#3ظh>:"Ir_3V5љO`r\d;~XNHm gi%am9yitdh;3qǬcmD yB*~L>s摽e6{+H<zBEM?fGϳHSF<1\I_i:-iCw1Nfjh!dl꼊RC|lվn7> N4iJnWE~d 3.2ǟ11r~I!l+Pk5LƷ >T Wz7ڻObZjVւ]{Iv>KK lLy;bXޡ 'P( N4nB W_'{9 ȵ9H0Ð+7[d2)/ƨgYZ {:B z 4  Zq tP ,j&, NZ \  N^ @ {0 F7I'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/messages6D7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/markup5C7I!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/files4I7I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/document_id3'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/messages2D7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/markup1C7I!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/files0I7I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/document_id/C7C'HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/messages.A7C#HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/markup-@7C!HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/files,F7C-HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/document_id+0:'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/messages*L7Y#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/markup)K7Y!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/files(Q7Y-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#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 t'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 J'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/messagesP7a#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/markupO7a!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/filesU7a-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/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_idNf'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/messagesI7S#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/markupH7S!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/filesN7S-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/document_idK7Q)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Ratdocument/latexN)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Messagedocument/latex N)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_Testdocument/latex ,H)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setdocument/latex G7I)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Fundocument/latex H7K)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetdocument/latex I7M)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListdocument/latexF7G)HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_Powdocument/latexM)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetdocument/latexD7C)HOL-Quotient_ExamplesHOL-Quotient_Examples.DListdocument/latex)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Intdocument/latexE#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,5 ? `  1 y ' ? Y yJ7Q'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/messages:H7Q#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/markup9G7Q!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/files8K7Q)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Ratdocument/latexJ7Q'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_idO7Y)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Messagedocument/latex N7Y'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/messages*L7Y#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/markup)K7Y!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/files(Q7Y-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/document_id'K7Q)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Intdocument/latexM7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/document_id7L7S)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetdocument/latexK7S'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/messagesI7S#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/markupH7S!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/filesN7S-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/document_idS7a)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_Testdocument/latex R7a'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/messagesP7a#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/markupO7a!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/filesU7a-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/document_idG7I)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setdocument/latex D7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setcode/set.MLF7I'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/messages2RRUA*Hw%4k7tۏչ⌇!0&Ll]E:%⇟p}r_sW WJ_Q|l@eiAߡq6'-O͛σmܔ#r p=3&#_>{rXxm_G2쐽%5 /fe=';Cu3&i6I2Y#6LՊcc1}@﯌u XBLm;A!囁M҈$<:0!Oƾ`5+VJc0-"sC}t~?d_Yfo#J錀O~4 ]{/Y9 d\%hH:fMEA E8iCD~?#2C0F,!-_֓L^L%y ZTRϰR@V?tJc5[vOճevP5]G0\oYKU6MOD;{1b{ZfQVCnqf-@c䊅IKT-?-ؤ@#=Oo /\.nZЙ3M>5"m6V~,,\1%< {C, vcuR sEĀ^)jGmuUMaCP1a#rU{Qvx1 +ϕOMv\P3_uﲷĠ&q4l.[H7N&M69c#hI ~ y/%a"j_4a++U|CS'/V1b:8Cj$_0vmޚ d lOE*6鳚EJ^)Թ߱j,qFHvD>3@Am27+Ok/)b$ȓa^` -&RŐqW`y&m/= 6ewd-p4vpT0iP+a90f^>n^q X`#\#>XW:2IwJ[ :*QpO̹k4[~iU|?]yEZ0JRmV>_ L|2(P)9:dx}ߓ5}I}JS;K*4P^k2<0NUr>@U7˶x $#k3AEi5y(pIbG1DX>ZDJݘ^AR]wK\-#t8RkՑD@&x;>oLFBdz<]R4OG-fa1'TЈBcɪ|‚I1ʠpHmg D%Paݕ(0uߚA%?q<oT?T@j% ¹ltw wZ{$-sԢkyv/)"/$!ݡtihĒ瞢kW8L1Lh8'wzypK)Ckcă"4OY%x *¡Iv6MK'B5ZSr 5Ol:0\wݙmwږMc_q{vY;Lb.Rޭ eLEaߧ1, Gqdcd#`fEyKq,9BGm!r%c f|I?W?FF>EH8R!L0g2(UNmQ:ə t!$%xGx7or^zZצ&8#%1XO3ioIN7SlءIf1;.?4q'KlwTr?rC`4elf|J8lC)avm RNv !.Aٷӯ`I V9%Zq"njbּY.A[0%[n1*}5F lA`n=ep?\8,5 #xچZvVf7tWb*^ \,NT:R0FUn'/ndu9v jOH?ܖpf|i' v&6㛯}1ZU͈% oI^[ B<ҢsZΫCũiʙz~~@I<-M֡|wJ-ErVe/ㅏ/M;v7 E `O M֯ցRAYwB)^5I "d};h +!䁦bLcx+"EwO@J5-~p'v- ЯrdYJҙ.kUs T«"X)#jTV\j}G|j,"Oڊkgz~xdQZ?֋W%֢+2P4;'*=MEz}$+P>xع8XB*O(?щju^:"d5QM&Vh^]!j4'E۽׷o\w#!E&|M,a푄uF+S:wypjNi'j`(3s)W).]%'U낻H!J0҅3scyEtZ#|W1ΦQ>>0bu+TfaCXZ`1Bg2Ѵ- b*Ŋ꽛ȄX _1iMHPIx~ u -& ~Çf9[ys} PYnvW_ D@ p7wT;\nמ^?fAh`U9!{$}ub_>!#4AzctXB'=UC90brÚRB~veʎvmAKAaY'?+癗yލ+:0C+^8&JKB C0:!҄1tt|i-ZzJ+r)§PGo o˫Cڌ݅p\$bOQ;]3SBiu;*/ffKPm"pg-NçVmEXo_~3LF,M_M;oK!lμڬ9RTyuʰ|~A} Ki<3ݔBc505aJ.TTs1qߞD.x!jIZf%S$ tK{uhٻl?Ž]],`/5 9A<[6BփOyiηIk"V{MX~VDީ][fE&u} BNP+l_w"kc)Jx%ޓ1HX}Y͕xaĩ^JKJ^*yK;ǠfBJxJݗuaubZGN~#VN}i!uJ֓[Fv;7^5USwXt av9:EwL Ds[um$z5.3>{nx3b]C?7ۦӫA2dȆZ|zB'~Rhfv"TZ}Z: 24edq#ppVnFs ~Qӆb1;m1'xMZ]NbGq?{Q Ak(rutty<5}5Ok`ski}V4ɷ璋?@tUNՒuRmm h.d៛QߦHr&L\M^,%F8E_xۄ?ʏh¾LO{<\Z k* n$_PVvGAŽ̞މ{zZ5`Z2i@+%6dыl汳٨sҺ[ihdӱt'?.+߱BvHVqme!o:ݢlʚ_ǍIGbD1$yԍ͚f.WzKQ:hui:I"nNUB,} 5j/#R! 7[) x7Mv0}?&ڃAܔ]/\EB)=DȊ#u}7{](QPQ&,\t+etFgU~ʫc[fwj6:{O[3 VVV﫦I8X(W 9Q/k g2 HlizI4F6B5F#vq?B2)oЋatdKx-؇/0KPh̃Uf&c3艹o-ocuMxSGԿ_$F28l`7V]+X0+6%68TJDxMN[s=} cUKaZlLy_bp5'ɽ'J2K0PR'=0#@Sm7z(Z18rSo "4 sb~o*h]cU89Fd*|5oxvx=q@ђ9k@*(0SG.R4¹lG TB9FUxd/|5ovõ/5+\L6(K/D>QFM ċT^Ov) @d×v6_Z||Jǒ9@ifs, ,AI|&Hj* '41׶ˍ^`'>Ʌɫ FdN"E8v]3v quŇuA ѡ2Cs8=W9346:INL0ږ\_2Vťu@ٙy^B&ToEXd+J, AV"Xrѯl\gWazkЫ[|̫PYXĽSɪ/"r|zg-zmǮk u-ʼ0f& v6E dDo\́E{8]c\9W%%h bc&1,qJ>8ۑ{"Ka֟_(6pTE%T'([ >x1ldmsql-"qMe2]BSܢJ#oߨhVDRƂv@V0U xZ; M,oS;\6!h('|Ad-Oi+w.W` Y(\倅KE{TMm_7O"_OVQνچf/wwyt:Wߠ qa|!q8sor'_~|q_w+kya2z ##5:lrf lGf97zwUOܶZD|Ew&JBcתU/{_f%eORXCP _s ўQo\㯒ҕ).%],/BkΣ7y" }p.-rDG(ZBD sM@v3:\,Z.= (YdR1N)a:8 ?o80":)a_G>}di.n2Oe``ׁ|vvl*&ȺRD|bS,LSvf5_"j2S1vvFwsۂ@MuJWW>^,"}g,&W4f4`SSD+¿)>]K]Bs0̀ 6%V ;,nQЗf!s[Є=?kaMLIZTLrbe>ZfN3Z^LōZ$ h;9ȕ VrJ_z_Gw9 ? Ϙߖ`el:K\YC@~q)Tѳ ~i쐨1TVJ:DN   D>%8Q30Q3"aۼMqlսPE"EbpԺw):XЅ%Tv] <j<@QlZf! wsz}[wxv㲤 9;F3{E S2->[ܷE|4KL ==2C` ӑ<<.;`#YikTUc%:L_>~ '(c̫1g <&F D3ߩ T)41{pMh mÜKs3Cx{oUPsMɸ>~yLxǽr3ɸ挢SoYL3YSeg!-ce'ΰR?0ZHPxh}e{@ջ3՘U 5N+THw[cbv[Sۨ9b}h4比[:#8 9sKm]$5߭ xxXA Aը̘/S>LN-H%DJl8eQY(fl)d6L!qZP0ыY0Цy?&r aX kJPe2 ZgP1{LDMD"}k٭ܡ*6[<Y:#SL67&xZl!8%Ie8M" }/!*KR8uBb{ N"օoa<Kl4ed!ˣ8<B;w-xg.W+]u!f<%y _phImm\AtǾHw`T1JPwƝ=*95lyu BC~GoG&*L*# ZNt,k,׳0$^E K\PeC/v(1B?5)fo`f%KzRUrHw `,z_:*y>j\e3uFR5\H v h`s8lNL U2OQ( `ȇ"޹5ua d3T:t] t@;⏞-gaH!L.L5r2odVJwD$ X桛?1j6(lSvQ 6w2mMJIM H\I\B7'ֿg3#^ a^F~mg8k:3 ZP!u=;yC8aY)h[u6aP+6tp"ߡ<l|0/ng*hL#?^עP ֳnrUhj[3(41;I`b^xxٽTUef$gGiq( {C1Z2y% d:}(IDwzz BluD MmS<- G@%-爇Aقqj:w->d'!L;bgnk㳾H(uHa9f tgM2x`];vdqɎV8 jʓf}6S+3M$|,dON쫍tQ߭Z'i zZw=V9JkMf=w ~Än5-RWiV);jGʺ6z.V hV#Yh_Uj!J` EX<R}g C߄Y^O,2Ձ~YUHiٴIiO#d6"~KvGLdmR67]uq Zȭ9CI<'; ~`)ovzs",eUiټh_41X7\Փ伌dQa$-EsӴ 1޳x%|Jı'!ȝΩ1߳ԥ )|\p=hX0$,_/5<>H`ֲ??٣~R2x=b0ɸC)^|ꠖ1)A$箽f.W_e6wXy,wݢE+[NZ3èޞsZUiŏ5R.՚m&Zr|y䒻2`O9Wo.8/">KޞLz|fP5Vt懤V[-LriMC%;+2|xi6b/sQșn_ lR<ӊ=LU4A' jx(J y[(]q#炙O[C `] saW^l%LIEP q@>|p.[&3İFAi4{*H]|eؙ#k|͜'RH ;GT!DJH[nh=֏8'm0N7 /1(i')U}ƭ}m|8tmnB@ Ӵ) $ッN y{+MKOHjF&zN%"JI+@ $9XMz3VaFݽx2i]@ MnAD:i]J@L 55C;H7U "g")Wok{5ܱ"WthR"q~b}0^~^ВeNC˷EE7$B"wE*_%,+Sf-UX.e k{T`'߅q=*jXAe"\䶅Fi ΐjgRg_O7Zki\Kŧ&@ ǪFKl]AdF@ѓN0ZƻtP=3S#h2t?+ 9q wtN2Hc!Qd6x_Y!Con'h,5[DZқ#|B:`Dc9&T$m$rÅH\@QVȕ&sO.2 szOA?tٔ<&FGn +Xuu@Ԡ`8 ;BW!EƔ?=uzU&jl|İ8ϬHi{ $CG#2?t0OrR ߺ>T;OGMTqxE{Zb$yK>W5KC)OhlGD9LK*=l,$My!^qPV. x;}7*VlIǶNf gSx/ڐ)To3*X~TN*tytpN^0 !1|"߉{ Ԗ+|8&}ew[ "ƫ(G];{pys1g)N/8 l^)g}il<\xRS?C>#JA'Q$B&obWE8{U'8r;;g@^{Xo,@7 \ :VAI+6Ċh6wb 0W ˉGj<ܑTmJeN8Jd8$ eI]'s>`2M" MKsZ:'`0TkGgޭ=)5_ɴ՞nBJVL^d#έChٵeJZrcSe+dʚ7"E$7 BDFJVJ2Jɤ'k󈁼0fhSbubwA;=)fJ8œKZ$~r升,ukJHPHZ|(3=|M0)i/=xz\nm~X Ȱ`})kM'm&I ԑUك#db 3a |^ޑ/|PD˘/O@>fRfZM@Ewђ+"LrJyȇ]F{:~IND3[\::. =7s l}[ҨSU& Tkߕf8x<Q?[9aD Gw2HRB,x܏)r11cv5 xUM*/mw٠﷣#n ?\:ɚJ< tqrE-MUw@/? <|IV `T[vnP)\}OXXSU5WJ_qnHy$v8ZVfD<q x"оIJ_P/IEKV] :ޕD僭z< qC$LW#,[)ںoD$XmIuzv)A'O=mGeGpXZ>}:NJ+ePSa Ӿ @>jcȌz 2!w74aPgRrnJ  '.&ݴcU{G6>I6/T;)YBgŰӥN{{&,]F.V$3@ΖW7nBtT`!?͇=gYZ