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 ll7t|t< ]% HOL-Quotient_Examples:threads=6elapsed=25.684cpu=40.992gc=1.8637zXZִF! w]ŗXiɟ=QzX)qFCkW*g_˴A(Ok| ϗ]1 7n(hSw<M׺\ $ ?T$˭V6Î\f9 {U:emZb/`Oܽyg-C.av(bAƙ֖!Et3s5sS+ untLYPjmߪ[?Q,"v2P,LM.p:@:fhop5lvşm׆6&0kU+LO=*Em w(`$\yհb4F,zuA Pa;Ș6tӡԡڗFuE7am`߬{!KaV/*m;R=k6â%&R4$tٸVDU4RPD%:㍕ ؽà`􀚛ĸ\_5ļ3 Svf){@'g\0'T@*3 /?G]Il/W gZwZJ刁imYڄ`[俊ͩЖ,BIL&)&>`Bʹo!DEK\|5/QKZ-O|gMrH<6Y5 ~=1}14ʝG*á2 maq<)ߒC7b=O",!?IײqzI#.OЛf׺j;|?ΕCeU@4CzlaUy07ZBo7X4K"u5DWQnN`^OZmb@jE?OHb\:k;< Ժo".ګ(A2p߂ ]AsL40MKreXt̴AV, vW'HP'qSkg=A=Pw#wC^QG3 tcLZ$=[ :0PxܬZsYHmu]S@S IpR&HA]0a>kҚH:bɆ,r^2#LxTV_IjOb,@gCBzn[Z+~4Cmr &a:X3uEHlBL%2(1KH@ܤfғcSvnO01E&,zw"MmN&ÃYmTo[ :cuFoȰB un'nZ !›lj&aPM<>kFbNV#K2= sgIwG+b" pBj*_'c,6gu|D* _66 9ΉxiJÈP{a05O߷{jOD i,efZr $|aXO򁘗T w@c< @x0#=AJMAMD_ވsբSGb%4%mݧ 2w+7~ӻgBO׉:=' I#W=jSJ<؊rA[e*~د[Kg__H^ZWa!X3*hx0Y⵬2?7|NlNzBAd"$ȄL(gy#6+Pcs*Foey@gYZ8f4268f0637b2e06c478a39a4a41cec78330d14176e4486f4e854c4cf8ede2a4c33538720337ade6 1b25b269fd3f0073906d39c4853885ebff160c80 f27104ce6257d931a465794a89a3cce9481d890f 5ec4df98bca8dd2332d9fdee27b370a2f566cccf c6112f6202fb5dafe09720f1e2caabac7ef4487e 7 HOL-Quotient_ExamplesT^7I# kyeF9-6=X/~B~-5FO ʼn/naO7؄)dP *Io4 DR"ż^'<5793.B*F jWN|_R|YBW0ȵ@F+J[9egYZ7M' |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 gYZ7K% 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}S9N8M5K4H0E+D'B$= <:98., ' & $ !  PB z 4 q Z 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.MLH7M'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListcode/dlist.OD7I#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  m h^7I# kyeF9-6=X/~B~-5FO ʼn/naO7؄)dP *Io4 DR"ż^'<5793.B*F jWN|_R|YBW0ȵ@F+J[9egYZ7M' |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 gYZ7K% 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 +{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_瑿 Mf-UT:M곃9#%Dx=*K#H o0F_Rb &!+VN 2m탠^⸮ Fݪ<;l׍9S|_XR&kw:/jTis"6Fv3_\zh#vH޵U!G>s6zvdn˴N,=oe-UXFƝ=m0G+v,RڸI#(usж˺1yYH¨ ;_|R2/}rL)*vDKvHx) Xri? &kPWd.\;sAif+&|_tpu6Fȃ(6]\ *$6vV- ]%ɷYB0,QIS~fkr8@zRaOgR]pɕ~%"0>g$]8:௤ _sYV>6LF;bfY\w)ڝp ba.CPbL6]hӵ,7ƒdXҠOt~O6 +5q J%-3!1@Ѹ*^np 2}AXa3>&5``oNOHp!ܧ6 8]?xGNQB5iZG^@Ǣspzbڅ_+GϺSw+ BUi_G"JCH6Q dK5 5$ئ`z1/Ǐ)= 9!&  Vē)``}!{G(5' GhYDVǢò',Ѡ?{ύ5BLá(<&3{ `pB,}b-StB_~󯭝*~h뾹RqOsI̤4='kϥ}z`EQȊlB:_\iᦩΓӢ0}@@ːg9: jܑ|@5JGO_qF]rmzC oei\!;(GB&QZ1_mtP@Nŕ#Z+)[ڠ &a"*&Jnٹ& bP ё]BADxLaaZfd؆!, Ad*÷[Ht7ImV1Rm3,cóXvwB߰% Gs']~OFEi*r]É;8VEI44N:E*%7y6,?4)\@E=A`n' @w}E#7b6?uU *WRf1bo`a٢W  A';?DY r m͛ (?4avҙ_FT.<іI{+ù?~<&]_@f}Qm&SDA @/Y*nZW_ }U&M.j}ARa'q `sL P)gvAuvjʣ&\q\LdhC-4 (R=Tvݖ2= +{bÍӝbN3h䭽m%5>G5Ms*>[[^%aE$^$-fW^ѝVOk7T6s{I %:R;-X<V\\3zHޑJ[@m-@L!&#:aVĤbVv1Ip:XƀZ*Pe>Oߧk׍IMtcVC=v'FR J +,?p_-ch0st}kZh@SXo͟%d1r_ ZY?#p[*Dԯ8áFh a)R9)#I?f2dR?d0¬Q`J*cJtskɶK&cv}_\Y >jz7M(zCq ^:< Do]K \U zuM$}C1a ⵧ+ubUŋ@VcieGA,Z93"U'( XV cHXN%5~7{tq:dSd,WNuAB*Ml|CAbTZϱ?HrW2n5 {Ds''^*5CHT&^q!U~G8P>Rܤ[ĜiIY0Xjo frBPrʢ:D(TZǡo=vlѢk<2 B_ =F}|R$9puμ,XB Ӑ^ŝ-F7Q[֍: D鼅ψC؆ݎ m y#4ff(X*m'Ȕj"sg^ŀ 4]x],pqUaSVndflѴiu v`SbƫApvH~kˁ*Upmz;0VJ$m:[oP.^^Mvf @"KOmLn)dȪ tS@aJ9JO3pтO1< K2coU},&3yIx H!#j˪|B@JJ C(A~®YDv>qdGHf W]N;.!Psby?[#Og6%CnJ\JDN ISCMr3͒!y; yҺPzi*ŐDV7c*wwlx(8ǨN0KQ5$ OX\jY~3~k~A3dK$uu/ Lżu.vR?kZD\k:8&T-{*M1%̽R&\VS>RO ۿk{(ßF]lObJ-AyXuXPcw{C{P)|shuTuM7 Y~1O4.PU2 [*' TFg4j+u P.Lx4! <ՠx@i9SÛX:6WvbOAFw&'`Z .5{ ώq(MsɱfƠ:L-lKdw 6wչL5" %"Pe1<_,e센:\ƍr.C:{{ٜ\i3+V٭{k2. BrW\RS04!;Q='쨻2,Qihn]@'?yx\H [M/9dsœ~R;oiM !(F"+FIix% 8h@b\~WH6-ħ֪} : >U{׍1؍[ډ..abg(G  S#&8ꇚbY."3κ/ c*c\r#t0C$}̢SKSڶcDd,#clN^tfH6HݤQ+oxcΤY޽;` WRm17.t1i?"0aJtufu=A^MI;ӏ &n.\oQ%(՞9)hl= ߁<}m,IӠ3ʷUnUpn$!$bjFuEls. H< Z WxөN쮞iP/"ק:t7پg=J2^>߃:Ft0lv یLU[q36J.FU&bkg>T T[aD@xkfS2Q#IOSQ}4Sy6|s+Re@i?2P +c꾯!@nbQ4v HN2sH6uPij(_>wceX*Xt?7z)[G;k*@D ݄R*ำףh|`y`v]:t"ӵg 75'XjM=8~L+bFL۷1 RGbV? _t EwsGr|rs,@栋- ANzh2kJ'HD CMɹ:_Ot$1tgm9X'INbst.W ,$$$q _,sA PqrvءdiY'g#bC+R^lδP 6J xVhb$8QXe-Sڦ"]5v 36Ҁ~2 jU"tFY@Sm\iIg1S2Ж9vU] >sEJQ S^an=tf6y2k@Fv9JzYo 0픪S]HR&^z^1ݚ[0>ٹm!Bp}R<!@-(1j6$2ZAY 1 o;Xڠ͸:w+Ծ9mUNA8rtC_$#~b$c{2~d*5&k.&eI :^Q45ČgerNlcd3h5(+ -yIwym-r*,9{iNY by *Lbȿ-b[iBVJXKkn$~{%Tb0T\#ŗe9p rhV5|3ѓHEb7ˀ:9Y-͠ Tvjd؈y/9pLUdvjShAQ?WVZgse-$Z Œx9Ւ$oFGF[!bϓnjA(7TYBڗ 6(lA,FL#ƦtNlj"SOB3+ri?C ! ֐梨S1PxW9.IZZ–_F#VK&]\6wb8?;] !ϩˁ "bz 1]%䖙]Hca8gQeh낽eRtxG+ICbrvB.Ewl{U9e0.&LFdk%pI:ꏫ00"0%a'+9CK&RGI=l5Wfip/{h,WMB˽dVi wo(PD,%.8WHz8veۘre%fqĬR 2=&&n Xq{ǡ&&L̲-s] 'P oF3ޕ*,].O+c.G._O32}{Ż̅4;o;HmqaLCHk`M$jΝ߿rCbdDPd גixI=-e}J7Rpv,˶Ms:wK-S'C'EٰL-a@C?7 ^PݼErn?>.̶A.Ⱦ/|;}:#!NS^I3"ZK;s)VV*z%WbCUni.ZњI [z+ZtƾIklwC_ L9JB0˥̛D|eQWZ,pqƼ+P0y\>w'y Ú Pdž;U@dA+4b e & 8>^ [ޖǀ#we ,#CI?BmX?f:Z`}2Pve<꧃'{'"%ؒ<"3w*/}6f) @Hj buKv)Z=dQ0o 6/ve2 j ; e3&-%RwL-[K=ŗ:N,g||F+rVXl̞IJa.ĚW5BG.La`eFGlfWϡ=cLue]׎@طwci܉-p"`ͩF6!@GRv7tpD׽85S0}h={!L C6_4 @!tz`ꥵmOY&hE)eq(4 / |?:$kïpOϗ0sλ^> Z^I;'oM|q*HBhAffW4dYnn-!)X;tlG[xOpv@y"9+6 n\6u}^]G8uPn6 } R m. ZN FqZ͎B.DDU #D'c)b-6K;MqL Ȳdv=xA;ی&y`_cѓ'do3=8ts!H8*lc?щD&JwRZbܻ$JهߘKjy y [4!ھ*[jqzW%X8>Iμn?R.Ԝ># F #6܀J߷ʒi?y;rXO878uُhh1uap:h4|?ݬ\G}7T|Hٓ6tСK!]Ҋ‰g:}exܦܛlYͲN瓐XP(Y}KNM욧KyYP9gEb~~%,EZ=OD{xsg RujOK%%fk̔v䠓fa%IDUNP(31l8ЛS`'~|7hvN:``5S;OB?xwv-hs?<~^=2axEd@Cg%QM@ @kϝv\^̀F##ljy({VM>k_,_a݆ma5˥ :UicI7:lQ1cq*-oT5gIl T$ ` BgW)f_WNu n*Ӧ4Fk{]^ c?ŔE#rIp* x8*iـx-keI*=w ɻ$X9U9F|eo Kuɟ`6YrDtAgagK;Ȋ>%ʼn~&9Dw"qg'g׺yEu%Y}01,YBXH!7Lvg҃zw'>hkWUg`qYy) Pmpժٝl^ "Qx \+-c\4Xc<8J+f)e∵(Yha;xl;Aj`vilQ'KTv^)UJ#Xe >6CI~z2 tU^~,ӆ1q'v 4"s/q?Qj~;̘<]O嬳8pJ]3'CLh'>|ݘ..v'5y1ʜ?eӸNy~m,!9b;sȲR(, 4Sy?$~v<0z_ D4*z80b~Tw][ 8{pO] g]1(i'*qѪѯl؈lp:{< OdB=푣7CpChTY4OUz_Yһo)By hjnI ie*HPKLIH6,IٴCK?J@%d xIQRp]cʞyu==kq.I9wﯡ`fp\gοЏ žp̽fQ"raճܷ/6/Xo#=ʵ+&>A"1lT~5u`ZiJ|M瀞aFouťwTϽGiNGMii9*;b3iGYŋ滥7DC5ڻ"d8=ڰ9*B˺w҂q<3N5DS0na : qҥCJ1뼦R*ySHi5]g=RXBǔlL rsejB嶞02HJ«HVɈs˓ "91[ ʙbW{E,|'0yg^ 6572AfGq3Ttꥯ?ݖߪ-˂=Y@ Y}Jhi*O{6 ^ x?*fՖF͈Vs` rpv &kcH,bh`IDi~JRS隚TG p{-B`Ļp=0(].Hš'ל"tG>9 HE`K+#)pbYS@ nIB۰ӊ?[˝;x-XzrCHmIX?>ŵZqS1*fM#DMRԳe~hY*xNrϛk;1ĕ0-\%K1f\63XbU3֐me;Ifh-=[ސվr>SVEIxɂ-N庙A,4lm59>n@ eǜoD(#G %ϭ;ql0XJ$˟zamp,7ӎ۶8p8zO^[w BSjWѶπ2,PN_Kquh:~ 9ѶLKCa?XTؗ蘺I̐b5{q?X_iFoaDkW=ImuWtL*wdriqj.pDH80HY#TP~u:ψ+ 2{NM8cM)jo)Pi^S`@I?R6$vLQP)eNK]6H:l| qu~+9\5lP+IfΐLFt!FlZB:'@GɬTӃ-MrwIt4W2%VrOr ~rJSL-^޿) \ր *EФL>]49 _N0-Oؾ4^cQF$;T%VtGRDr QXR"n)SC `ݍhΐy Hro| 6d4IZ1 DgF9b&o+zv)8CNIl]3dFm p&ހVU6גՀar탕qҝ*&O'MsQF{[)Mݔ@pZ|Crts/n[ӈ2y"Vs`}DR|4,&g_ƨr^]_JG.\Yx0YDŽY1m„ӺzLb2_f|垂rO}}P gթӋV@9my[#)iLn. ua TVzD췞gbZ-Rsn&Jw[ǹ 0'&s+9+' o0Xb >lq'-nӠސ{6u"f[v,2w! =6LJ'(h\OhN 3Y&QU]&~;O7楈L+Ĺl7}XԀ)pAU0j^B9b@TU<F 鲖,H1DY>tUY/ɫ/.k6kd-e04DUUb;1Y9|=2m"|$x}/w`/q3g/@L_T:aAƓTBYa/Qf1u0`ޤffgS*Qdޱ;yE 6~: p˚kv_Mx*"Tbw"3D:! 8gTl` ۂ+W@ YEG|{~=OUVNzbYL8 ^O>2DkK+sH{߇]v Q:f`J:/sK,,[T#悲d:ZHi60ĒzP8_A'|*^e,0fؾINyۥZF5IQ7.{Hsv],-|hGrL@Jf7[kl|C!\l*3+M}e Ȏ-e@țq`nt=mG{fcjh-`a7ٽOf}e×uIw"jg C&kGWKZef;Z.TCy)*+id}v˔hڛ 'v<,|{F)Pkɩ=3E HxH1˔t ,d㿉 Z4QdBVVXqZnrVL[{צp-|Uɫ l`] %A抖o3H*uC3\-gA.BZ~M6~'=ʝ oCfǹ_W$Pwc;h<,惻:H"(A.va%s(9- 9[Q4Ѹ Hf W7dLL? [ 3SSa嬶i R>y_aM,hiMTb#uXFqoBYW_fqjSˉz/srZd0m!OV?":? bL.ugNNXO"eJZڥ[%}U$L;6&\bc[)PZgN>C50eyf CyҐd=O;Vݑ5%rثr Ɲr|B"[]qʣdkjJ$VòJ8ȭW߮]d:{.ƦS}J(5qЏ"Rg+"6,ZӉ@Շ4+!e۱ 6Sze_n_\@l&q{Z3M.#KDL P/kTlr'.?2A(1 * At{L5wd}ZXSS&9KUZüC8❯˛VPW;)Z0q>z}XQFCl8=$3*B,aZ7jɦ'\ 8y#(w9':N10WAucu}'™rHR LHP"S0{yrd B+_)I`CivrA"dHY0 k0}A}Kg FAJĜP9YҴÉ%}_P{ xeUTkЖBaXǂO~N?Kh!1qF.,pXx0as$ˆ'DY͞'"rC:gXb? tk6oT?U*ɔ7:̃|l{Uc4U^> g{gp`C\4h7;m?ox}W4eo20j0XGMh@('݃j j3r²*ܸ%Fb{cz!Uizˊ}?VFxT.[`C]|ckq":GfY dg0k_8jV0Ʈ00"6Ͷ"^ՒJ9<*k7&0I;^B\P5P%=:Qe99[ss*3K4e FKz.T iȄ5:LӞDGc'ɴ|f*e 82dYx%_QѵNGɯ–P{u*Z5tAP`ct6GHy]j567 '8^]+%3Z60IY^_Ƨ\ +G)=a@sz5NJrN~M،ey/W^hS869YljeCΊlPN#ܰ8.2Ioײ4yWT/Mԑ@R+pipIC`#~(FxU8$!_5$ԗADJ#X8 U\ArDP^,|nP15WmfhS,.Tߞ,ܩ]a k11uBMoIi<.KKK"%ԽMW r[BENϷmj$'S U߀yRXĚ${!X]3} G+eUHeH `^ـ\h4,* $ =x:GAc3#Vx=^wh.Agl[Et;Њm$.rӊܟx['?chg҂n^cBitM,tvmE? cq>0!˒ (>x+X܏)pCۈ1ȝܵK&'R;>aecߕJy zF,~ ޸a苓I7˗UO4A'h٬|u:ʯ"0+y89|.7E:h;4 OE](J#, _'5 H+]LRFG=3y 4+w51QͫWD-J~q'd}]b;m66t)r"b.\+ bE@{S;ПƫT>z]0C_~ 誫G7&64 0 x+'|2ч͔Yd=?|(#AN8LgLٸ]͇1h;4v(]1/=QLF\Uэqn".Xk&TU 0 ,.x Wm͵M#B6 &T#<`r.i&K0RgDLޓod+:@KUr{ͤjp#޽ OϼW+Givio5U,S폇3 -^t퍪tr` iנWFSH 1;NWBcKز:ي;"^WS,W.J3e u2`⨽$P )˙G(WEH˝\:T5d9qhǮVdbfa܂ KWZ s נnjKpg $1&b\6Ŀ~^Jπb1 0kT6e#N9Y*T $V)X*5n!wB;3@W{C^EeCþuS=5M\$s$UGֲxͶ=L$L&_^-Sf$kA$R@{rn)}(Mt3bi8(.o/q)Ttf]dU}sB( zT:qM{@jj+H 7G:|gX!QrbiMk6UPA8 &fR20*b62p9-?(f hR~e\z KѦ=NnyOD D LaPJ pճ[iL֨\#Tp )b@-"2j^''QFAMAf/Ǜq )-(:/ufr m63O9dFڬxK*\XdFKݣR(ፑ}~W|08H"{^G0uX=!wV`L@tR-v0H`H5h1N^1,eq鄏2l6 l3}О,hp"QE Z) + ('O'^H}mi qp\yH#r oٯt0!d"hU:2 !+?jU# s:ٻܩS!}E )eiF"+d+s2W?Hq}D%\z+ psa2i_?\5Rlah!2܍x{ih^@m_mc7ឨw: 9yϒ'KOԲur|_]Ћ<4L)zOd{,)+6n_5_N;]^ٔ==/D b5X4L5|$]Cܟ%Kjlg!cc2-vb]/(]>/+oRVa|XnY]ʳ>5XC]Pi=Jes'{Ө.ͷZe|vض$Xgâ {^'beTr]V/:\j_CbrQ&J<*;'($| f1 mFtLɰ< x C;2LtWB gt~M~o/S)hcЉf?~m#9aFq6'@QaE:DaBK˟3  ~ZUac"Eۦes??hW+ I;P!Cǐ*=@8`M[Fӈlyw`S&,QN*Lc줉:9:(&.Bo6 "$^j( |F(lQ+[E~iƏ:PTY&s/oD[ׂďX-64+}Em4(cLyh%A}IH&rErXFI?(u&_ 캙O`q4{YYqkj+c8ʹm4v"Hԍ`E !K6ggoy4":S*Xngd(EK)^jW&x4I|:+x&'ќLo˘͠CfL(dI )a)Ä~\Ix,$v8# Qo]&u?9J9{38VxpG9M] zϬڧxv Q-_T$KK꘠_5oc4eL``zvoS+?(ߖ@[,D4'ΰ;B)l#MԸ(Pҕw',1@Z icp ((&+N60EO8zpy(* yER/ps]{Yw7z%tO+^RI:.`ř`8+JS][qXTvT@umX׬N2pК\o^旍P*0ߎxʖ$EI Ykk`nle էN2 |B 62Cʇ^Xa2ˇGFŅehŜh8ܙ+hKϭ{C[ WiƯCp3s>]87E $NL[*0͕=$dn5HRuEn:YoeKeCwVݜ>92vSnj.F 9Tvڷ6GR>c]b}%V̅\u8fo2) :h;8A}O5uFҳ8~A66b@bJ 4 }EMV A5o 2LX Ǵ'2yqe%h|8< ėJQ aZ*3" (5?*Zf-&ƍ~T1V(ݧ N讕m~&)厞ØμU@[+QNkpPǠmΤ}Xj/4 U~࣭v wA|kd0r a/n\3 6)qDݩI|޵d./{8T3F#bLrɤMRYw-0Y@"W3" V^*qו! ii=TS,qɄjݵ, H,4.T80}]Ĉ>F1fK`gBaCiֽ׉EmFey6j!|%]~W WD/=77 m7} 'k,=񰊑pumnK)V2[.z$Mg͞h8/lH. Q97)$,sCo>7DjDCέV%@&_9 vf8!-58hOƚ n^kEreesᎈ/Z}9 a}Jqm>CF}u' ?s> AxJSL2W~E eU]P,H0d#?75tc$ҽ먋hP`4bYݠvD0EpeV:$~q`Wcѣ=6)9OIW l·2SUwx3KQ7g)S V/t M63q=,_Zr'Su)Sz$E>=%i>fikwbq94s.֬A$RLx$)| h zM:"_:NZXJp^$#-O囸^ST҂Nn0X0v&[(YV<<ϟoWHD|z3Rb%@h؄mTk-fyR |f/&pvG;'L d= Yw&iCt\\ R8׬4K:Sy<9zaoh=PCMb0n8UŴHvsdc. X \,N]DQy5+v+B~TF{KpY[".ݭJ|li]2.EGbViMEl֭v ʹl$UJ]UԱ3%gȧ T"\eOQZ >` hHa!zG@C^C {쵀Ѳ.|yu𣽏NiYs@۰;^~W|ߏ$BX>~ZR\Uyyj}N}qO\{-/1nXBS`hTez5LyHeԪ-5s`p ҃X*Β_G,Pi/?L3%d%u pEΒ ke%ʡW\bQqiv  >AVq$cu,'m~~M`m߂Vn,Ji"8pA:R_Z1M_s[ =q#KMV'I%0^Ok Ў؟K\RDx rl@׮kcKx1?M 9͸{ysNd֮QjsB)U dWg v5}]:uh+muN5be4 @aae"[q)7Cc==Lcs ;QBo7j,[KBCTW$LJ*J_G t*f[mE57״Hąf ),fC:ehUz9j2MWM(۸dH-R(La3dU3nyvUxp Ӷ#GKR 68祐!t_؃o%F?=_uy\:uXmطɡt0jfQoE6 B~(:Kw 6oAHȝ1Ӗ)RM.cnξI_8. fMU["\ls̈́=ꉟ|2H0XtυCa!{(\zk9ן#|~]`VӝS&&A5E3rsE2Qa@Jk@IlBb²)L-Ljyȟh' %K=!1+jZY:7y(F(A+*PSg8i7xԓJݜ `F;0/-lj~}~8+O't˥qhTAO^`A52e~GFNpJ&C6d R|IS[Rn=Iah?QjKOYKweE2t =Bi2c^@>'S-Sa0 g >FtV~PIlau9'g6DewSَ_S A;j yq;G,Fnp$ '2_7pk݃Em%މ%?f|_$0āCMBi̚jWfuўǩ6i+ r t)yeq>זdH[ 4Dob!˸&49ri8Zk(zH7@i5/̌ƺZ%7 ~ӿҽ~fr(o4;pιZfk"Gb1&Q2N y Vn7lv'bS3TFmͻݥ'ΟQ_m_|pD9j'2D.Rd0O[|:wx]+W̒yI=ZWO!S 󪸞{m%m]с[^E;os.\g*ÂyF""L3Lul$s_rbBئ6'EHvvY\.\ܠˑ{K'Is|"o1L'2Syӂ7eCfPUL]LGMKb}-U9~ {8t|G>r3VFLjJl6Yx񁤑&]rEVCH"(LIhmpn,^ C"~ U33AKhnHC^+ }pU.pk;}HOjp: 2[ŽimE2FDu;hkblӥ א:/_Kf J^MY~-E1{mw$~_j#yR1Zi /Rf ?3dfqmfvh`/2y4c g/PG`Q% a9AW |P&`Pw] p\A-#VD:'ǻRQs28k.LsN{BS!+BqSobb;a"/p]@\_]BpM0W[6Nx0iDzctao΅W ooë-@}2 7N E㱧TǛr֘ELc k#2yD `&H}2U \hz7G99N -Hd /bRB)L@6fP TKƳ@vJ؅OW :.vFZBjuZ/^9ruYM"ĵbskU//DXMCc[ddZ%Q=&yF|=ZMz8cFEK/c44ŕ AXjbD] n՘C,lL³K{a7T|*pnmzW#,Yo}lVjyl-QK#11TG n+L ^T(%^71`ͲT"b'9L1mafg%?퉷? S9HGrM;tQ 6&dgTe-QVx~^d~I<^ ]Kj *Lfzݟ˖oC1(1Y3f'0YmQ뜬-eri VMM볒.1qD"OE5Jѓ!xvLH<$2_>3JU2g3V~\R_esFt]oSAAvW| QS| 4_p0k!p51+7Pdajj|w4r z`Z!W^{+B峇apLtgt|z*Gٸ9 ;Naa/Ԭkb )pE'8i#A+giClk vta0C|B\v2]`x' UDq-hT*4 tr=q4%oʑ(2]Ar4SefgQ .it"r$fPgD> v[j-%Sٛ$~5UåMe0:qp֋m+r Ma'j(pKɊY',s_MiXS̪DjƬyEsYh%9x>ș 3ƐCp@mySz%l|ϾGz[a/w!xōz=~Zܽ0ds 0]}p؏2n%JLӹ \7@ !\QS˝' 7?6x 8JVmnCg6:pu2vD?g"BHx V| yRy u"#.y/,s_atP_;{տ~GPW>g‰Iǥ鳯-5%S? Pל^ߙf! ڻRGӶ+"_]۷?#wTokJk~,0qTęM!B'oM ,i8w3k~kvƀh H5X(-ƥ~X(A%229}#_wuDWsGdwP9{Uw7z̹58ixH;İ3'?\pʓ@`PT^=0zckgGo`f?e/NN(I5w-{ftut+ 7u.(YD>1X!~fkE)r \~%j ]:Lxs2'>Nl-2Y|D 6`H$vk?عt,8)-{U3 If4UtWfY&SЅ6Ϸ 4G><rOQ30qG쥾_R_-'iOx1-f;-pj`:@=t.^t'1n߰FkP>22oAe q&7ֈt0oUnʚ*5`|>~#4:>rEIڭRbǖ+Ruggsb`L`Mq~l~|13fUQ# \ꦜ7x)dVy AݽGEz_2TA.=l0цzL\\AH jv)n۰x!InTq1x&ju] VSa,)yKjA6}nud咭kP_hak @Ղ`p#t;P8nIV cLLxB j,oW[A7l9:4l7fґHB/H&hrQ=TeHj} :E(Y"8F|!13DZ YjO,C ea\GJsel7y ELLwG'CemP\wA%cs&}F1:@@ڌY=BBK 1;4&ԊKs+fL:mƬJb['^S3 X<5!KݽR>v-b}Z2D@<N](^=k0 WJ<2*C<+܀2O/gE:Ցe>*e1=be=6e׼s@ w, MY2Efߑ0eİ0pԝpȌꊾpc-cLIXrX'ۮ1GJ* Ejv`2lKtu6j؈K`禖sw>_,c:.î ʁVZV~ء#ybDHŬZ=FD5YO$12y(JqCh&)qdnmVp5pw^'Ye둢 3U_lD3y&5z&|NHO )ydEe#iwxX!= cNp$TzZq>(YX9+7m8"HT 0[sfGc 'w89cgu=/nĪ m%` 9n]ȿwf>G2P0w8:t%3GZx̷Aqc!  31Y fނKL-\ o(1}6wcz%Se'of-͠JҢ[vJk-?rZ,N-y1?aR)El-lSvEJ4#&OT%õP"KQ̷K@o7'2]1NQrd|mk)EEORxo6gYZ 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/C{PNh>n (_WjQ02cBiJ8 W|&`(E58#KGK⮂2ME)&m@Ϫ+dSPDE(p%|Z>Ka4$x |7,d! ;i2ڋ))b!s#JrSdƹsEoVcxo l_`d ;[K Dfkt}*xborO,YZU{u^NU)=LvsZBwEW~_91FyY7(@qgU6pVj0XaSc=0L2L˼u%{Cd{ב~4gTeC5t\Iq{ݯj vlQilCֿD6mGN Syٚ$22oq>8-åxYΆҧs|<}6et20CMI z[\ay~N[' ZT\͟n]YRuCέDP,m/x>Gt ѕjy.4HUM4W+UTx%*tm<X 0PЋ5g60ag1 k-T(wz=xG92+fl:q()٫ xQU, >q:Y^n13 vn鋑[7GS,ʎ}kf&O(^뫧úSK)M2^gνZs3zbj %.mz(!53W<WRe4\DS<}_~:6e(f}Me u |V]USa$<\.խqstaƇ_#PAJMp ԯ~5;$K&E`P*nڇu(-fVX|P@ꕡ|VZ0r9%U=y3Lx"-X]\6=b/0֯NQK]񩺈[qR'Ʋ{(.5b9kLU,¼z:KmH u%ZFȤ,aQä{s})\W4iV~/C36,Z]<#vA)ᝮ2}6e.xK~n d }C]y_/1e=elE-b#'>4ɴV'6a`&9 +MխөZ}AWVE+MQ".9ooeX:ajK&+@BBpod+;y 2j@gTͼ g_$jkh:`Zˬ@I(e9[tʂPI=AG/eߤB3E( I/Ury3Qt]c}E<^/ޛR+/ A@nKLxiz0Pw+ K4A@M_khL屦!}i+;ȝܺ$*ߎh<˷ :KKWk֟|9Z\Z ? !c>:Bnе\1%7) I"Z_oDĊ֕zy+pnjNŷuJ@Vpi쩎[M*C>g9dqʬ|r^`Bn>o:S@REe;mWInM3G&; tCtV{dnLEOa7 vqܻs}z݅.;OւC!;ݮ}EQ^@0~r,ްYsM\9EmQmfjFODdVkt0C]}?P*:h Îws62\e)bf;yL~|CPI}4l)f$7Vm ;r!/E#D1Vyi0ݯ=c$M!?V/ _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\k쪽TT-jƱLN{zhk0fPp:_4j}{vމyWSXsiHϋhcRZf{l$IЛAę@1}#!mj n1RlcD(4뉧EEEQJ링P~ ,Ì˘NcI\ /ŻZw^*9ݷ]G^4'HFή&h12Ei Qe~CxVeZÔ%tRJCȈ+cgN] |L/ \.*Y3E51ɻ/ǔ48N>-i*ᶺLa TƢ,nϏ9#J[hhxVvDHNhV\rC}漛dX{N$ߟCV65/!7 E΀Jf ;s+ϧʾ ܽ鹬Ɛ$F};D%: ƻs6\C*[cVh?@ *bh'PNEkc!"2qgʬQ(Zm)8zX+,1KV 0ttZisKt|Ã#ҪA"3ɘb+VZ=t_xpނN\hHB$ si> 8{ TO]ywɉaN⨒s6Z s =!Ic_wlR{ξl`/'W|7J/@z"K҂X>ijla3.Kj}ؿyg$x}v? ٽ]!K3BqS56׆FBxnuv>$X/pStSlA7B@]1J2&,MPp5|k<8vwT%FT͸GbٻZc!G4źۚNttf/_!uxhn_ ?_'Y&'C=y?V<^IMut6 vPxÂ5{hTwzlk\'P<,^wr_6cAp?Gs.?Y hy=c_i*]^?A茼}W;)Au ;5_h[6Qd ,(g.LAGdʯJBin=Nd԰J$#ƲYA'6g?,@kؼLu+x:@Hsu8)U~X۔D&/W^I@ qj[nֹ39:֣fUNUH>uLf_=dtM` ~o9G?YlCrBUAi44ga|@aͳܞҼ41mx~A[ F۬Nf0p)VZ(gjSHGZ 1MX2Ŕڲ(>wq)5 m<(5ޘo.tG-ռdnݏ]]=(f)[CO9t$l LK(P >#(dD^ovq1H^)\P Su5AITKJ̅3C +iݦXnQ }>Je3Y^Soe\z/ly~&kI~ +0^>JR;K`/B"^'OS]KDe:sֶ_,N\cь$M%+!Yxdn5ݰ/u*=@~K, 1Ղ~LlȾV< pQifHc?]i:Sϸ3vbgɁzɏFN؇(O6uy\c0ݛaQ:n ކBcynPY7:~5`.~q˵DlӔCcmZniojry!"b]p`].y0lE[I E{#*˦9'#To#jykȩee.v!o.0fy[N~Xoj=hϱ5MgYZ 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=10536314line=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)M1  GXXQnC>.i|O$ qICfsח ]K!;@@{f8lATOZ)?SX<, Bݡ:LtupĄ;Hߵ盷C$*}!UKe19K%zN¤7LiyWL nYTV:*([NƼc3}砼K.$u~R_l"ԅ8?Er >)ߨ[Kjyj3oUӌ"*5le=a"ߤVMBIX-[>Gǣ2(Sf%uXzHκs/?FJkyFH\&d#Y(ww,sg.T8~h%Cðt !; 샭4_G/ZfgeoIC5M;UΪA"mRʖIʹ~bwb@G,rPtOfG.wHXogITw<ەYOVo@mvu4,X` x(gd2 SuʇSwܾ1> wt!mpnwSPǓ/v%v!C:J~4 bo;Q@uUwLMlc BɺzY5y4S-7JPzBGLDSEY4rN*b26~4+qfMb%sOȅ w=:j\/J,ĉp8)|(#3S.ut땕ɒEVX)CеO|*KVsZ[4)EW*\4>Ěw 7(͝ XlaQ:#a}0vh yGG^A!S^\U;2=d5SIcb㳣3vEJe1W:Փ?A>^)ֱ#t90ܔF9)8V{{4˃Z r?M4ًƑCK\et@6|D`rwϷ4)q uzYHf' !lKI=LOr؎3{m?w'zsNWUF:l/;P-+{zh~~LN`s_mQ0D "?xsFBH f{a`KnQ:V7BU?I-N'b#P3ȏ2׸ Z}b.C1ȓ$Ƴ 1i[kq rO`OZ 0j Ij+-A74p=A1x)~LaŢ{[fyhKb4Ե;}!2w`5J[ L[wi#ZU14}A ?A'+OIQ]D0iGfq} ߽+tP.ӌ pK*T2Ϗ <-KU5jqSBԈ#V 4{W8]3yQ:Į- 4BəyH P>OTw`$OEE2&#' {$@(?r0ޠ{PygP/g;u1B-Yl =_5꛳vx[$ ?9!jB2Z:D4b}85B 4+#A:U"2$So6()$ӹzV{0ծ 7- M,uP7sLQiݶv}6[p.D2/gYZ!eߑafԧd M9.|^G @oʬ"hW,G ^4ڈr mqz,l";R@^'7}$zUeZj%$sL$ 4DUiP' B[cFE/(򫀑Wo* 0Hp#cuGFቊ7y V鼦PiL6tՍA9 DHo!/tnA`t]TRS<q_͘:ufP3 r"!cCr ?0BςtJװjK' o5rS(zR,;F; [}a\wuߥ+,Gz&m``mr4etI,Ļ8|Bb.htF\/cc0u~4٦=1'Z r奚K'H{)Qx-}@ݪ1akK7E0"^xވ/i6ҞtNrB|VI x#3&-,9L?s_ ]>xg+8nhmi$Xx}iGcYq_URlL0lmޏ%1*׎J_/{ŋV_)12e{`w, Z"i{ɭʑL `SLb뤎DY/=g6<.`Me|3d@J^@ݖ4t>/Ϡ7sfmm!YT.-DwKYk6;xw#Nb'd90I1~"'3('%2[44keu{|8}nD%:FjK 2 ;?E!Z<ŊbI-8Nsxc\Su:07еV<fŮbDo$U""pkABz^QdlIĩ#9^2-3Bdrr {댑uhA $}Kˏz,"qc@4NaQ %͝N^90|ȒMTbqUGIL]?*Vم:>jɡ[h-`B|-Ѧ8-ȵiTOj/x`@~t6ؖڐd=MHdC%+N5`e)).s`!˟尲g۪򑞙sgbHl 91>y-B3ip:@MIz=.Sȉ[@t8-5T 6Ѣ\`TwgZ ( w]\GLIsF=l0]Ob&a৪%xPqU mRhutİhcKRV> gߦ`^8M\"i բ>GgA2AT% &9Eh׹xdUc_{TO\86vp[ XIƏJ!2 򋚶x :XX)VYJ1dNb*IR1.(YU6Wt_a wo##NиJ7qKr& кpK}zdOfoWٹɴqL?]}}ry"c\?)\ЄNYt-CuyfOԻK@{ 0^8A">0NO>A&~ez7"W%/ 91nlg7(IN,M.{ցbca e4j'c<5bmyg<z(KjycXm &-sd݈%)w-&dS_{]6,K=7)nY(}k ~zt+ZnC?!yd黄36C7ANlp'hS(N?@#uC11rihm$w14l%_g\F@SUA[Cc-i_k.q!;";({iLb%T8A<4(a yɝ0Fڢ>ɿ68g~f8mox7'uV?q<7"}ūU5:v0gu;3Ü 37tDo CcI|N4nyO蚬'eJZnTwW2>=ֿ}^m?EjN˳3ϲ1Mdo]7prս'zi`JJWe^17q-A;;e[.^2Nόg:$|?" TJ֨|#,"NL.6T!B/%w7dפ&K 2ial* Gu:S7TcZ,dXuR_*^7t0brN=s\/$)gr}Ȣҩl"f3#=Zq;H$!˭2Q)7 5-QI#C Wޝ=;E,U3iju {ߊ'[\35;/ē[yS]LCgζjվztp2ٿ1(DZw5ahJ @6fTvNrю@oH\?s)w[JJGOX`ޕ-qO4țۮܵ`*g}C t;7i}{tIsR@d!3ȃl x_/8dPqQ"gf.ʠl&x3&إO髗q8VǹEw "6Xd;@oX;RC6{ K" xȃ+Hod_aWIW% m{c5u"=V^Y@]~謹 !@ sv,p#$i_d~ž%ԛ%НaasS Y߱(!-(@yA6;y: P -qgYZ GG.7a# DHOL-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]01f^2j/Nf?Ϫ%%jDQR/M|2W*3r#X_`ԌU\R@/,5T-A 6v#:2ML{V|b=szMV^Iud%XUxb`rh8Lc/VjtYe'Ɗ=n i|Pg}mJ*$˕mIԟ1C"&AOGZzW J&OݍIwHsL0rRlJ .)CiJA9ٵ`_P8*Y|<4?&hke( ? :+nIO 5a0=Db0|"{ $ikdi!ckQIE-|Hſ -RԉmS0TYڽB}Uj$,(V ys$ 1gA˽^^rߡ!krѢ7|NLJq{*WڷN YCus p?:D3z|>X`:BG9>Acx(ev)f+A[  B5 =&abw(AF^U *pw,u6{;溳q~J PZ;MS$w?$sNu3!* MWKMGA 幐Ax>N^~ڇ1]ƉX3 xKV$sC̗fcY<*LA)N쿆u\s]ܞb;Llz51J1E &`qoϼ;>>LW@?hADQ&{ ^٫v!Xn85eyV?*🥏{ӂo~ٹqE6\^$;2[p_-t.}S"RjHrmRVn_Oە,LwU ;d ;3=)> bXx\i3^ú?H0zʐ:\>؆(ܒ tmn'ɞx31d;&+/zCkJ?=WΙNf.߯ILB7#O ڕlޮx-nC(6y#\mcY391I؊3H h2MN^esCy9WowSe&DHFj9^#-# dc2ڎ|C G9/ vM+C-]*&jύAjiGݾX@o@K12I-8/iU㳳i0`6-]<)NDRꏖ3rqH3||EjޟqVuH`FP+P<%:h~2vo ލl@c=K> ;YJ@?R>~p!_IVOz?9KNfD47mzr6QY4S\9WRC2O1li 0aVeLQ2N,^lcWg!hW'~=Q]Nzqجʗ/c %/);<ͪkN\IYKLR#Ou*L]:lW ܢߞ9V[]+_\38s{;ĥ}%V$jV, Jޞ7]ɣU!#-4QjQ)ɓ̳2٣juՓj5ט+Gfs6ag KQ5{6<#hNUl,NVqJD?wӃ*`tV~+ x)?PQen>Y% #Lf]Ku Kv4Tڲ_Wܱ2#scbAnh=Elan V.Z ď~Q 6¼WJ.C~C=j.j*wjj2( 9wLҲ&(!YEcU|C)ҿL8C$lݳǒcV+hp믂n&.ZN K, !dJHDxe"40Zv \0owk̔\v| :?2Kn]_z5[75boE!EӱCh"uP;  Y  Ho 7K!`HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/files~~/src/HOL/Quotient_Examples/Lift_FSet.thyN7K-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/document_id672T7Q' HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/messages7zXZִF! 8]D?7 {?:fH\Ѷ0stUUp~mH'e"~ʉHVv%o6z g% KԢW;;g}qo@"=g0jqa蟋j&,҈% lm|M3%6`kle#M0z?Y ORaYR0ho D 0Wt<4;`3\'J~7KAY6RкKI7A\`r'.^ʡ8xHO2][R.ʟG?Rq4 &h]oNmGx>qȨe!#Ȟq E+H^]*BeNg{^9 (mC!+<#g L*c;ـj X[|yLZ򳂫^Viwvs5P;vYg1N=-PB*32Ĩ%'af fVb``+ S\K`? ݼ{x|vD"b2>H+ّUbjrc]l(&-){@e3P%}"ҹk6. EeSH H]^ݫ hN9ܷ#J*[—[w1ݢ T<_0^ vdYХzpv;MtLLn෤ZHHEo)zD. {V܇@º\rBɀĸ]M/'3b$p~&oF%GoM~vZT-#<1pe[Tջ3=|A;ɳoc7\aAp3>~2Kǚ49AW뒍[SBTt*ֲ˨F|!YL>@Y{W@XG^CiUcb?j$;1!lt`T:Dw澓tB^z5sź̈́q>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\(Ube\-(@ӬT/񡯜LBUbon1w1U`%ze27 [S$ 18Ɋ`~zװ |LŪuZ0c댟ySYtkBfINžqtH(G iԞ|2FQ62MۖpVSo5DG%v!IO3ͰVv6̅=Jm-Ykһ5ɀ]$6p+;1[nK̄L^d/\\[E ] cjE.'6 F?,X y8tQD8nŹI6Ww-gڵ4{T^PƅCp6i=kܐiޘknGLG7{~uZԞW_r^-xO32 wyt0mن @<Ѿ;`.XGXDz`ǽ{$LZxS~6S>) W񹜺4"ƴi!9AY;n謰OY@(/GdR<-PULGa2 [j30s0S-K-%0_Q~Ob=b@HcCvqN+Ungw1 v^ߛ2@3w9R|Ώ&'Qm_ˣ [>P7M*IBj>5{t<؀9/<<>ɿLra'R;p^V 9y' e;Lߡd.? u[sIRoR&悙8=-N0e-,u:M ,A5fe] p5n+ߙ-z^wip-ȗW by gK-ewϸ)J,y* "Hޢ^m|flRML_:?\.hJQ+M'c ?FEG^Ε ,nZ޸IPS GӨMR)lCK8F̳tu￑"kdUF f e]Fe Q=v2s`% }L0<)Ž*|ҧ mO? SGl]hSL \hYXMx%g VQ6H< +ٵdD Bt l+?rvr?2[JvbjGǶ/// aXTVV'w}BNo~f!цnNrZmi|ZqP8W0~0pХXJJ}gB[ioD8+0>9l(DLlk&&_{QI Gja<vvya2€h2~{t ae^#cQ,:~CSQ նbBxG$B⦶[%@ݭ79?d>lÅI)(F# :=[+ -΅$ cW@/Hug޹a6nfɒ4c:)B>am qqo&lsiWAy{jJ!XLR8׃4Ь滱ȟ`fvl U2m -6dQbypxt+QTrc;;<)D̂Q<Yph^AEe׉PTx&O{;F534O~Px0iPo"DGڨ,tVdH W/{]d|o@75DOP4HB"L"vWSˏa'WͪF\˾nc_ʍ\C"1U\cXm a-%^C[DJ]e)v׹s;YV$+$TFݘ-6.$Dc%/vLwR.6E%80@I)n y6߬zW>*Ww,MmƤ՝?t'tuqL8\_pʟ >EB\`k!p@ŚRԜa`jФ+S9vႥ'=mPZW}AZsӽfgSg*@7FӾ4O./F1`6Q]Y~W??wQ~ aېxGEJR=0^Wo=ro'/qOU]zd5RJtHhD~FWVrjn<O,QF:c.V[@B?*H*Ys>~؃7-%{v`{]BlJŦkW'rc\{̓'zLV ;zIF](DLdC Ldj'P{Mh5ĤÍ,I]ʶ1 ܼli >pTPݞqt۵5*z&^==nsE!<@0GJQ5IXrhCޜ8' h%(T C. kL=> O{8vF0os^&M reH0(kQXvdVs߼xRha)Nz;T`S~2 +̝w{#XWdqt 3ߗwdgYK0I)|-;Pc05<^ O/6>\E}rEOvSdml!"C72/BdhWHsPsΐp`JCW>^&p1xV%\L`P9,(**K bvvB&:G[#%T[: O]+?ldEʔ(fjA Rd ʡÛ+ZJx/ ɶ7BxmL"\X;Q5ۼp+Aդ_7Q,y{/vUr&4:du:y%cw-UL@&Z*A!$~'uUHQ$:±9ᇌu wsC\%%cRCFp߀Qyx`RR {O-IPF+n`!Ϭ-~ۉw>ݱ{ ׵;!Xv5ZvߣIgJ2Ba:pPeЅX5︷vf~Bv hݯrʙZxDiQ N d3+8E%j]7#ߎ yAB`+ oϨ7!aώoa^Ϯ3VuKdPSw? U1ֹ\vu٤ˡפ(sm A WJ{,(9i'_iOa%K).hiZubG@n}ܑ3s`uK;m!GY:L}뽴7jbc[C\Q-^Y>U(' F.#\êQ3n %''@O;S[TFb%HN,RgaWGz 5G<){ гU]W'Ivԋ.ʾ%1C%9⪛"8|AJsbR`"1g3^lb {/5׹-֑ƪdaj^ Q~ x[}xpɕN WON,%6d\O|YRסQL ì@7ҿ|wM}NO?%ݬ!~`C!FjVzpkNdD{|jy#n3E`H៓lnm9I`d$d38d L|S:ٲ"t|{ 4▿ dg}b`]D$rV^_Nh6g!#ՐLzt\x| rteBq啕xm=#C2ܷ}~hs2'LxNcTIح DIH#pT\fbv5ʏ6fs;ÉӼw9Rtw<_ՄT kiPJd4sarv|DNtm^u1ZcMM3\Ua,2:SE:Kb?1dnڲ{-~v8B=I8Vo:qzH.Et2jF"[ ՜߲QN@q(qXJ19#pȔ-Nr^O&I!xV )N=2'ϩubxWJ4ӝA0VÄwVD =EœWBW;(wL~ =.|d_L@͏=h(QicfZ0$d=?ZOYcN*Ŀr27`8%i*ߝ'B;TOq C ]iز]]hp~F^K{LM)W<[?XiMÀat,.߅nx[;},VhD%WΨ%U$쌄X{Ԧ="8?8~hfsRx 2@z)iјy49c#>\>1#x^i?yjɢ(/8v% ")T/1M}OX^QO6!I**]t<ۮFDon@_mԿC:Y9Ta+B^#+w .<ǞC_Xt=l )VnzHELӚLtZL`x? 5TpۗR2yü'װ-[Z*i^ӑ= ED@M1Ȣ?$0.Eh9>Sx("r4QMG^}#i'TA:Y:_mͼ_ \Y`g(~hWӻkDiRpL3tP !i>ř6?Ď>]ٔeMҫt%u1ݪǼy.>OK߷X3'6NIԀQޠ<>Q^XdE3/y@-Nu8&ꮞŕ۫!YkKpU^71^f#tg褥k\CZM#aa(Yik如ar{)TUz):3{wD[.p+֪w.K@uKSsEa`k1VLvh Pe˖aYM0;AwCCT a&]RڸU$7Qʬ `h%At2/՗e aSҸ"p-W.ϗJx0kg:t@! vX̘cvX>}"jnŤzmAI@u(e>4 v;cQ~\&2&˶~"8<)Ê|h/E z97rJL=vlF$hڬݮ1Ҳ ^Axib^IBS OՅYzz&;S늕Im9~_f<"Pje/9j( _غ^ֱO[g#wҡ1gу>tx ),{Y8@PE ggwF./a$+3%vO^ϱצr%.x]k.%j<''ql ų|7?]{K7 W1wmokMcLYoR՜5vX,uTxpenIV !P?Dg--y[Ed,ȸ=;,:l#. =G|xS]t>G">I]/. 1?bq-rIJi|_GV& cLptӢUYaBݟ9фbmC.WlVՠ]L "tx`*wQh|{DwڕbvehO<%ސDUЍw(Wc_ ,+]H5;+q-FzkN ܽhx/w@)`"i@Vs|sdj?3n7ZsUx cUB jRM'#@dNB^ "]u>&AKn'W"2([ nI6qi #T[rBQ鎮Y-"0X2uLY+X9.,\-IH%¹W@IJپd 믒kDl5LC" 8TG Sb! *ǝ3Ia^5y2Z`N76A&Jv}t"(+nk"L`/)QJ$vy@SHhr[Bʭ }m_ A ).=a,}h>kɮ{]+F5;I'ҔIkTVb/TxkyI(_(0Z*,+9P|՝p+x&! #m. va*I0juE"}ک*h)7-NK{=%vIϤ.%D)8O/% !EB mZ'ie!.@XU_4K#.g: w6i aȗ1'8`CC})@"2Uཞ` u3qG ik"%(qv:M(tD4EDNU s_ 4m'rNh 4}?2=?--qC(*~]g_{Wt񨷮}$M(*ʌvG tb9>@ )__m#|\ -!>Z"(^FA歒9*`0BgP*3>QF&&,d g Yg /k [6b^VJO2Xq"GE,SϩF1q6C64'v{ "]`|tDG;{q7ij^ؐno\mq~@nV!4{ dq@Ӻ~pK~_LXf>7A4&$ &HNdҝT G`aءkLziY}f`.t!(t B2ef*y{bz;+ј ȢQ+i;#1#AΝ(qO+Z!&kNs}V?_oągLF1= hB\$/aYl0ݺzveޤWC.s.AuA@/nlʌm2cеWIPT*N߁?UT!3V϶7 R8u}ҙDvʭuqqݣBlqUז+%NgQRֿj,s3[_n !EيTro/ Zz5 ޶YJBtuh)]H}vq<=϶to _Aϑ"uc~J `B?mR"ju=HN+>8-q^@T ] '-o<Ş~(9S#M5魯^,$ƃBiGJWhb ]JPJ2HC晭1:YywIjCQ'Ębnm8Ur&AC5ѶV^#~+ 9Z |iZmS{}$YA>!,#)܌_A0d9#\1(Ъ4SuM՛k; H ޓUXׅ^OLc~cl_pX_A}"xEd;) 1)f"d|=}dVc,7|%RMWpJwc49=MKvHX; sQFL :5$9XIv&^?AlTN/HءliiuWI;DK0.spx^m2CƄ/ZόK&ww %%l4Dэn1T1$, Z2=w2΢m,TkШ'Z\ eg<@@mϏI)#nXH7>`Bf*_?'KiZFU-kٿQgb?iᡏy|~l61[N97$\펯9i O i3%ka@;)i!$a>QU,KXufrG> +1,cO !m^["e6J*gX$YOj`j5Bio"ސ6WWs(]0yR$f٣²U!I3c|5Fu|lrfo2^җRc˱ :I(G }B1vB4trம5%طtE6?\ZMAĖBJ)uG<~\%blǼ,]{125l)*Hk#P.:4ɝV"P^}WT >+dpjGΘdQOo Gx؁ћ ]Vb2''Vf aU,k͊~2$*pF !T?U`"Zh#- >yƤMS O|?(-E^Eb}$TFҦC?$$cGwF뻎Cܟ݋p{6|.2~OToǪ0YBgF_d%duwlb 8EaQ89>¢Ay3l8% Tтm ChêtEBvDLI HkRJmiĞ 1,BF`ʡEx4:bE<Ū;c!i0\FM}jPfcRkOfHxz`G_^5"HcPڤm˂9I\Jh]qrHF a7e<llj;,t6uv7q& ROcje-⇰HHLU" 7WAK.3*EQDu}תjh\lpwG Ȟ-Sed˯;Ii n(vRk?[|Lǻ՚|hjBfe`pf Kgw: '4P+OcQPV6Q[ ?>,kyZKlwK̾r( P ij_DOf8A65nY8Hu(5r+}2$@ {-u ^T/kXafr%[&ȏp?(Ģ$Ik{f%jnkM@W`%FdLtKs !Qe!SeeC*cՏ[}n@xG &~XTLFb.1ej{ 5x1|mC'46A'쓃}[iT{<9<~{pC rBu@'m)ioCV]zpἎ ?~#i7c"=K m#Bbo,<;u{1PREgds!RZRZqL,W;w כ^(ĉef<=⵰SsrŶdE&]hX~~7Ef"R?Cr^JP** @h<@Vp^ r*ڭ*KZ7w,HS+InR9,`U1ZPڳUjg-{3YHҞIJ 6ȐX+<(!Ƕ?]8;I ~ĠgLy0!ԛqRKv0XE5}rӦAT(ȫSmehTybLb$9|U|gɂo%kZs@C$O?btaXnC`am栵_ASzdcb1|Ђ4X}6Y_#Q0]DQ+'+x+$֨zю]a-D@">>>Y`{yOFyl'EqswRƥֶW>aҚd(Z4PNJQ-ҟ~z*Cwdv &؂x-.} H*/hhX՟0Yg}oFy}gYZ   U  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[:|&[z6G@O6a<*\|"7d0CyS.?}xZNWYC6Il!n Fp"pY'N|= N;@peRY)4Ϟ92? mҢ2gX ;% }c_HkY;b|.痱[\*ijҺ0 N u+4x9+n(%0 TC^I[5+sZ.:!2lmSr]wm@pf' 7gYZ! 7K# 4HOL-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؅!nPP n .fy݈ElB%"wvBYP5Iمn >DP;VƗI]춯*dcU\#Ƅѡw/!ú7}fXҲNqCYpA { ASJEm6-r1d8\["<it[AŇ `أܕ޿uts{+x)W A*S|f>+zhé͖ -sx28!AǴ,9q6x;DiZh -GiCK&]9,pr:MT&H}ѹ)%m(ʵJ1ӁCȖ;;}Lqm%7afC@–>U~hE*&~DX\6?_ D'ݯ7^J=?*&jg9^aby?8Uk>Jw"4!/[6izt*+keOSrh`ї8x%}flsn l6sZ!d{ zɦRtHԡ R֓a3 ^EB{w&\\ 72%U~7vX`^NǾSMBNIsa[ Es5OXNq|0Eh \,s[gdٚ"U|$7b4eWt#bp̪b'1"q'IK EÀ01NSQɒ 83mV"$qMzV=#%^ t X_Z|n8ogL-_~/;z-z:0S<{htzT)d냨5V |fZp{ue34{4S"ЩhT;҃ HZ;c #%(ޖp8З1 $T0-4<X:Ox#hM]k]ZdH+0~*iS7y!.;.4sC*f,9%Y(<Ơ<=gAƈpl,}!}"`!$N?(Ӿ Ȫ0H{![޹3jK)Zܭ>aFf>39,77/*⯹C$"AHua~6Dck@Ҽ,cIoȼ39)=M\F@[A>@wk98=?pN+C/{~]V\rҏ؟fЛMudă9_yf Xr+u@(/_͉덜x:il4#)^[V%гtkMZx5 6)LwΐH,>Ꜷ\>1d$O\g@nHZ+(7eN O^?b4Hn⅑T޹[R%PwFq)- $o3{XXZZ]Gc6.ROUX+7~CfqeGFBEHvrd&,L:jB (G(Ϸ=jFY)bW>ă,) ZQF߿XVM ۺR3Sm7HOѺ3ԮQʗdg%sbZ <#&8;,~P,/RD#Ҋ6wiQa^l/uXx)nҞpX*&7$X3XQ :"c \'u?"K u;K6B/I.5Sszr;%+5H醞6]bv'_)BýVBgcj;-"%EsJ0mog"{ǕM"0|_9V^z&0/IhejRo[Wp'?iqFBH,+t8]3Wv; CLR!8A} p"Rӳ0N0{ r ^वjdS$ NK)XuoȀSދ$ Uګ͸t~'K} ֲ\-X܃HW5} yzW1" ?shwܶ%aR,LH [g-xFe u#8Q]H x+̣1F_LQ]!eQZSE5v?UtaJԲ+%7+bTlE/UQFR50'e|mN vaNF>c [)y_m;=rDtW}닯ݔd؄JJu{*W)e +'VNrL dltlfd9&hݼhY GYqnm7]ReJx>W #=rw9pJzxTp݇tT6A]lµ!!2[Uof,W݅o,5y}Z= ɆێLN#rW~L [i)e9ʄB  Lp_0A2 p~7ՠ/`OQuѸx:nR7jho/k(Y>Azgm屟ГΔ)O;&2JuJ\?+κuv5vM 7 =CjZIafɿ& |;=1C\(fekZ[v^[,w@|gf*P\b)@Paߺޜ̔D:xTʌ3sH_ہ]}Pri'MHhz3Z"#scAG607쓲xk=m6 %ŕԏysncHZ7HŢmvMD_&ejLM(t#GqIJ`Rv{8!C-lnhpg`QTʏ #WSGk{DL=`^:6ߞ4"/G/Km*Lϧef3 Ke$@sCdj{zRfCw".m9[n魮QfUFgu"\r %<, ]l|۬yswe6&NHx3e*{ο2)IW\/}}\8` _ Sa(yD`Ʌ/2~;:3.wPęǾ /` jkc[cp\)VWc߅QɷA+}eXT Z\ץI穗_rG=n +>{zJ"bQKjtpRaH٧!vf,Q\Pw&84#f`g00!vR)`֡G>bʱ  VSkCG[*>N={-!0ܳX5AxJLK%S&Jc.K~(!\6H<}E,1'Ӿ xan$yw1m愌9vm ] q͠\bčv솩>ZSW25&b_v2FIj`hr_钾ܫf #\S#[c_^W,m 0WV;*Z8J.-liV;4M#)duQZ[C -E=3m]&; H:ݬmzlA P7DޒdNGbE?!oo؈Ao9s@xMԛYio'Wu \ΣYpe-Y/;*tb^K8ngYZ hnU'7Y-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/document_id680w&7G' lHOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/messages7zXZִF! rn]D?7 {?:fH\0LE2֦vJZT#Ÿ%wwy^3~`m]*vklBi Q z`p˗' d /1#}h\ژx}3<aevhrroQs7JsByƁpij$n1S ,t fNN2vm:U\ mmNI{JzF \]kITR۶@ȼ\<*ISh0 m*en%ıI?~<XSDQfqGcr.Dd/UVXSU)N_k c )G4g9==qN`1X˂hpbH;(Sr'WLGݐ1ے -n߲6zcfH:5tԢ3ċY>\ ::HWʗ/s#.GikLqg0, Pd;4sF]*2~v'WGj4kf!y)#C&\SkeEz9}BPZ f-j+9KP^)"sy4՜C*Vϭe`yTBh|#lD3ƨp\8EyW`Bf)A{:iվmB[hcQ@( vlۜ7x ɇ#~Ty /F͢_b@MO,.sSC'1Q+\dE%ҤVOIG8=kh  0nxkܲez `p,Z[A'$&ضʀ9;Sn㥆ְPyVE㏿&,春+f~Z񛼡C `J+7C-HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/document_id664@*7Y' lHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/messages7zXZִF! J ]·Iq n[:|&[z7r]Uȓ? HX v㡀+Yˈ*hB{# WOK-<>]y"v[M wpʐ{F.|r]'S!Ulɫb=dyzG 3eYS 0M>6xqZg #ɖ8a9iM< d$H/Wi=>RW*M)FJF{R,nA! gjL<-VҦz߬[^Hl(CGȻpn*>H<Ҟj>3ICG&rpbY-bo6x @&m¼IIu(e}?HW3\롹c9S=MsX?ץLf?i<J10]A26jnxNtg'D|$LZ.}y{O7%xIL0vMK F}1 9K*Шsbaa6#ck zъYem諀t㥉êThhSRcrM}R?}ǿ.\eZt;(R{?:vEI_Ei~ޘ9ٖ>숡Q|hcU%}QL0 7Y^ENY9L* $Ap3ܳū"àݺ ̇leq?L6r,_ 2m>qPb ryk=\/tRÿ15g_&` =ٞ)P58ֺ^R!3B2+Ljh0 gYZO) 7Y# HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/markup7zXZִF! G)>]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$EM%̗k>iaYۈ\-19Sxa ڇGU^ݔ5iMv- ߫ | A c*cGNJG`l$YH\q-jᅞoeB5TmaR90kI KX]q͒Td| .]ԱU ͱ xCeW9?%yz{ֲB[ߙDDTeҎڑ"%"bԏ˗נ DtԵ\| xcmf$!/5 _I̤¾6La:/tRV`?)b9"[a -!k_{iiUe&iz=uXz;βBsF9?vHG-wc鳤&7+)8~1}ɡ2A{*3}WԨJp%W[Ve0JaVeJ[9{ߜjqi W Ĭ n`nJjhʉ>AKr5Uʇrvsk@%eG=WF!*}7tu  (Nov\lЏ`1[=bߨuhAa_ef}胁b%I^^B%e, gqlokٓbgyP7w#oՓLg.wMX;qCHUa)w|2$U<^Yћ=DRG,6JY%v ֮ [=H޽s*3l5H L} XX\ZKqO-WA"}|XЈm׏wդx!'RP~^ݎc:eaTzӜ2Iq09偰L[`lF̳ T c'咗v"sU/M%:+|(V3SǞau]Gq,yK4kοuW}$?'3GSS@q|ELm*vށK(ti侑Ca0݉`D2oaϖyv1+<;}v9(K;kt-7A#bOI4nYq>|1uvSi 6+ WW9Cia`(KZʰd7~6 ͡@UN#όЖ'7n# ncd{_!4k15ˆa'VF}(7Y!nHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/files~~/src/HOL/Quotient_Examples/Quotient_Message.thyGf$F ]w}lA)mzlǚR}\ Gn|BhW!C>hSÕKtfP\=[Aف_GdxX.|/"mXqHX]E ҔxMNӽ/ݰIwx,d۶PyvsTki鿒Ϋ7h\^;iC\a4~R ĶW7< .#u͋@QDA_K@`V\ ==z䖪8hs0R-5&E<|eKb`}Ԉ+{&!{į}b@ؽA7fà+-J?7QZ"VKfXȫPEπhoزMJcI'n#_`oճ**T4RTm_ZY=CT} a_‡iT^? 169alg.{ςCntkV%syg;UDGM'En"G4+|>}tXsOs?<c|P|. o9;„/8b8Nʶ C1eƔphT5^%޶m:+#K<*x`!ZT@2=.'CW58֣0 L/`u/pxS@҃103oĢ~y+0Hv#O$X/PЧ)[k.pu<|=BY#@NZk\ci+/'+xH-i"L'=eFau"$t[ؤe,b Xsx3 92@'{XɈ]w_"Dfp Sxh =W2Č2%eI*hfn8+rmYQtٺ6Cժq&s点1ES!!Jc%T+B[JdG]j%ss);Dv+8i=!5_O,b5kyXB[e) Zvg=e>c``Ij3X=+w`lJh^tp5ٯ.l"$RH̥{تXAI8I{nd2=vG 61_"궡-{z[`h|3( pz>)KA#sQ{8%nOFmV=m톴Yzth6p~WR'y2T \}RYK\۸+𯏙L!7?Ơ]4(My_2-d-ng#MXSibf듡Km<-6/t:J#i{!foQA PS;ƍ>̟n%tu7JHRnB,[_SZ i:Fwg,A(1+zg/?vJܻm"]>iTxu%+l}]/4=z/qA{3̺RBTbkJ@! 61ě- hIp@Jl ZNdu Y][6 CEw~.΃wq DžZ{X$2 }JLݺ'Y/EݖeQ< ^ޔMFl=D L 3˴V]+Hvq~EAΙ)#|7VI2(BX[p-uذ`o}UyjYN0 Uvȸ=:r*fz¿U(-gq؂/K-C]\گF tVcA?j˾q/s&CÚ|~Prc!n^Uȋ$u{#"D.SQ8ŋQݤGАno9Ɲnhʩ\ gfciW1yfb9& o}n5[|bK_hg\i ㍫)seZ NR8)in^LV¼N|.M?yEdqQ8廬y /xw7r b}.G0s{㐈q48@Z?Ȏ̢ZAkX^Ba԰8y0gw `V!S5%Cj:,LȰ>j _9 9(wA./S9{mħ'_`rPp/S$6[A*"Fڑ8aj@:=%gtMsfjñT}a>b#Pns۪.` uvdxvM OJQM=Mi\H_#T_e6TKwZ0'\/4N>j_}@GJۯ}u+KHBurG"Nwp*;A{n _R-J/{AC#ؗ셪Ǚ yIk6+x*ϺfG-"9|a5$$Z񋲭ҽAGq?DJWK([ݻ fwk oAߡZ [_M޲ۦ0`|w"LDkwE"ouK6i; $ ˮ0}淬w`EmB_|G?=X^I*40*°σx8 Uj*6ʀ_[X^oy´Bvp7af_j3t2KWv#2T LH=@BeRwb9Ocg%rzZWķ §1hF2ĶBKeVLO1Q{9v)iʁ_ǔ6r,p!ikTiL> >o'ؒj"r`=0!(t+N9)ieռt]GA6~1>r .ZB4Đ3faK%b/1pK7f5cn〼 YIo58.n( TJ6n,  Y Ewtӈ`ډ&;V5X!Hg Hl,XL?6¸G#]a^jlԹzrk/0BbOwMcھbK"ݲj>Plefv8N]<f7Kxڑ=cW)K2 C%o./jUPb5׹GW}nǂ NUFn^ 9Q%Wf2c/G- WX(NAEPlP@tr&Ԅld\ SNM׊?afڷZ2\iQP椣m_tVAJ[HR?fg3kC" 4cpZ#Z3S8'ClI9 m֑De<s;,Wn 5pwR~&t.@!.}bK`H?^NLXZQoƐӝ<MҰp0a-zJ@b&=r 9* y~U̚ \8}h^U[p|U@B;1W"X[RH.3nWʮ1cw[2~ʭ-E|_ ȒǶ%葿卪ŕ:ߪn8C ib8o=rP^gļ%n]n4ճRX NbU,7x7rPCp5~ p"pmG0[ua6Ks@ okf;jh:ih+g2JeVĵQTP2pln C>.s}]Z!7a(*T Ęrz ?sro+B,Q`U1@Y7Z_+t6C!B`RF"}607W h}7,#("1k1aQnf` 5LLfQ)^9lب%--(k3z)8lGBycHGoKLb 8 9@w Bظyxm mu韴mVYľ9 mRtN>0VIvu۠N^w`b:N\.~dq tꂭeoD*Q%r IʡzO[3p*߯I4 TDwSB01̀9*а-f BvVaA 40#1'?+&4qYyl 5upMSTy8rCvwstM'NQ2CaI;5_CJ霤~TG%yf(k#|.|Wv&EZsc30g#2FjVsnst!>!b۬+"U"椯ظە}PV3??z(napT`lXbO47e݅UEo|HeRӿ[! T2LXT vdږFL"~L0"eEjx"pp3 mΪ\VhQJ5졐,hIݒۘV;`ch`8yTmzMǥ9Eg\@%*^4,iq)l0 1Iæ;H ;n[8D$'O:+ f >zY+PsR95/#G M!^U/iA5N}o"p9H>|-#k,Dr5"_60bQuͲE7N6o oS&:+xNt:m+q+D MhQ# W{S3U1 9coIԧWf<Y ާ:/Ed|a֨E32ߒB#rU"aHLk<pE^,r=ѽA11:Wr>  ߷vPO"tMPF zp/`fBi`t":1QN\4$1JI4NtHH2]R_"*x)=?t!Xɠʟr@눳=I *yBWjLI d ,?>yzׂxcn[;EX>Qۆ+^ȝ/jx@arSC[jZ3PLryޯN! {́>Bo2R>A4BVY)y9pN: yÂ5[ X4 ٣إhC3:$fíUB4^0J{mcxn8"@e{o= Tٙ= ^-% D&YA E]:De:ճ(0oF;1ɹQ'3>"Thģ`VP8P;ޭ(Th V}_G ˰{"/\#H'&??&`jcB յ:ֿ s(OZ@2ֆat4Vͳ"n\dƒ%*8QI `-_7IOH0&)${ B*N /`o)=Kgu3kPeשp:+4#E$2#ԒV*HkW~Rc+ R pnK'bzH䐧<6d̈)g:UCv oXxʜh(-/ rAF̗<l֣甛hgNr<:+ŖIHtʎfR)};.֠Zכ͸i+G'ٱZ'J0 ֏Yaհz6$Cy/ 9MTu)3w22S2WQB.,::VRGs"Q˫8ǦøF̺Y˼|ҙ3+Eӕs-k+\Iϳ&dY fFdNj&f3F҈zH*|Aa5P?7(nCe/hlGRݳgYZ Am07I!^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{V hz*0M7ZcJDWdǟʑk9 4V-Q&OӮdV+.#8kS stvA" pC8K8HZ{o6-Աh)P,rV~ڝ᪟sɍ[49)㏫ X=F5fOQTL\0iJɋz"b.HViIᎨХ (Ftɩ\']F)XL Zƻau]J0hҭ-x?r7<~TdI>*\~*Nz#j%/\EVXƂg 'Ko +/6$)åت~$n''^)N}v^gYZ`- 7C# DHOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/markup7zXZִF! $E)[]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$;U+x+I9( 7x4uvԠѬɽ˹g""#ԑ bˮky WM6x Wu[է oՅXC`]jiQXէa|?y}K0z:zqƪKU8= HސR 1GOAL_=e#x_kԏHl2K狠^rfXmqy o`uѵbT*t\zrrM·!}-_Nt)BE0{VW*T\F_Ѓe4*~ؔ cjK%à1UZ5BwMa?&Kdlƹ4$ŪJS^Pk>r$[aQpg`sa LL2O ҉ z: }BWK1fq5x7#LK W@} Tojc<t}d8(eh) ^z Hڵ UL4v^FDș1giQ[^y#qv(A1gخ! %NrWz<:Ͼ0vop[9) * ۈsۈA_e{rϦ$z %퉍a4v2﷨2{RgUMwvXy=R~W,rEw*Zϑ<GXu[\2guKpɆ_\0CIJ`njQ%OFhz*@ U@.y5qWr& uMm2CF--o29c4<0 /\G ' V,l %MBqPŋzG]䙧|;n ܯwrٸ~2DiE7կf8@up y7ϝFK|{NϦepoA@558g: Hnr NY[9I |Ҏ=TS\ZggzL2@(fh 6 R%t&*>ti zq"ן#dqjxEB9G^ 00tV6>8ADWHlsu%ԎJp3 FU}=، rQON9g}~m|tW<BӽrjW֛ņx /*"9#94F`d#fXɝ6^ ^_T? 1 x5pZ6Xۍ.UQ^.qoCh7s6Xk1tjn~u/>5?s2m`\8*Ŗ< }^fS$bxu- maO٪ӵn*L9 =U0/TG6=[A+O"Qi{1ZXI,OPפ1hzє<oԀrw~Do"p[c!1Ov+"Yz e=ǭbl3"\3 6K;uʚ%Nx'^(pM+XGU]z%'fPHא$U583cI@sy!q`{y#bв'M\YNyL7ZW0 2A_ه~D6X5jmk`U";yCO$8 sB)%W>W{cnȯ}J~(_ <-v|&/%`˫)#71Tgk)uS8y$(ѧVfkmDA^@ 鉊lCT>ix ĦLF+1q}:h=\\.b9UJ4Y9=x|U? iX k|X;1NȫF\x5C9c}НwYj&'9 ~@cXRpu42 /WN 6t<4|#t X1i X?& 7*H=c|XzY_rjJZ)Ob$`c1HI܅;+q#qIb! j[w&!c +Jo/whl.9oMjIa"JuIET*W?@O9Nk$KU<|b|@:m#W-Lv AU(IR^eTOBl*7yϖG|v"Ӎ9ؖ'"9#4+qIg,7C!XHOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/files~~/src/HOL/Quotient_Examples/DList.thyJWYa jing8ڔ0-%LhƹgɡxfP2lHDP7^3UkF6QH~ya\6~;.GYr^rGv^,k|!ݓXdF!u(2sxۍ&.;/d5~`2)n,iv$eY~% ?0f'<ތ#VPm1:)DuQe@xր 'w7AySb'3GĨp\0mZo}J1XO\f*lrD}ye~/3I7];~;?n{ip׷ x)(n{,Nah1}G@<՛h'\WHx V/m2,);>7K 1B"4Y;4kEAEe\@,aZ+;]%– 鿺8;rOEcp!,x^Z;"NbCh> _K0/ 68kusw( ELVV8y3AKd q"^} 8}Z7¾ ,˖H#)eic* ::2&OծOjqgѶȟu bJWn?׶[Gf&Q^["wk8?j)GKۋB#iM@ RWQANk+PVlW'VԄ6Ͻn)J2w7^xu+a ӏu[voQ<;"n;ԑwBKfdݦ(ldV;Ǘ 0^u-)t!! "f$wYNZ) m[Sޏ\\c"Eu~ 'H䠹&( VoPs{_mMԉqO/MzfB.oQxLMBmYDLowD' =@ϴ*q%wYG 7jݺR6xKF dvwcob 3wp gg#[VR*4e#e7 9֭bd>$JSCz`y(.;#*6y^/ɐckʅUYcq#UnKunEf|+sWasO^"t,Pn6wzpN}I,?=X ?Ki;xUEZ?!Uj[*7ģQ٭s3gWψQ`B1SFx_5.cvYlŽfG88Eaz>),`@E9md/6iB׿m%ι3Ȱ]Ȯiξ8x ʖ.XX j 5^_ I$"?^QP2AA۹?MhtuY-~oO^B7'5U|_53/uo{mmJsIYgZe)2f"-X8S\ZȠȕ]{4-=E-Kx )BAϘrwou{Zwկf-^OG>㖕KE#a]6eݣYl [N/>fo\elTt$XK@%<\:BeU2q+8U{X'Qb;#ȋ,AN܃5!IoհkN iꪄ9<ɾP{6Ê!nG<XӼyCUB+ilbj~pkG0/,aoR[/(0ک9:rDޯb}lCx5:mdžAEc|h$t@` 4DWXJfh>~ev3KLVr· J xw~r1Is=ܨ?U]]nYZ0+լE/3f; "~Y NнpwX@:@}D`N(@B1.BB80g5/8I4OyED3ELV} Kn-Hl*PiƑ5@+[+a W{:i9>ՕLWǗ}a+^.Pإ-USzv3 x\nWSrVS+a¸\ld0N Jxw7bVɡ/Xc"!F3d*j&pw}n96~ǁr df`x6ʓ<9)NQf,X6D0q^ bח ##ߙrD9X>HDlt6qSއcWW36y=e>:ۙsq8IS5vzڝgoHEKZݯ+,1a<}!ɬ}M@,,a K< !?ƊGli~ rr9iEiȻBsHu|zjxPb./oF~bӴJK:DP # ߯ԭSMsAV ! R=]Dl+|o\;h8}>55G ;!ξCmdr>Henx8"cB/Zv`9*@"0kaq"Nqz9rܻ?.5|W17RVb]MzEEx}mn}@-,^PqAZseV+Yi.0qcY; /6'z- cPT^f:cU`:uj+/*9ȤykR=N2C2J6m5BN_|e6vޛlxegY2 uL |d O /n=M|Ӂ7^LЅ9j,Z)AaHԤi'~*}d{۹׵bkWW V$B ߢ@kǼvt U` $;b9f^ A+R^^U~EW`;?!1){wVZZ!{Wʈ׸4HЬUNZqˠ&֍ZT<+.)7qeѡmg8H=3?+lVJSMĐ-}#4c oɢpb4G)dնP!ir~>~G\cCVpZEĀ:L^8jt `̼2\(DFM<VX"v׷ƝU벒ٔ?ˤ^O1LXK>5/`TLߔQBWFw|foì~rǠ*n-M2 9f2*E440T ΣjԐWPV*HM1wp޼oIbXE:Sɨx,O̳[p!U9@K oo0Z$)x狨C{"gZLZhY0HF4Yn\=NGv)4׺w#ֹb=+-Yߎ+F=RtPw xyf ҁŽF˱$AFm:W XEzѯ:*0s ݥ3%;f(j_)An9vXpX@ ]z*[D;Cl-FDpM2;:Ɯ,[P;^Y1 :?|~]5+ߡ xXM3UQ;vO ȕdރnXBTe _*v:Iv<^4W5/:T$H\F?b .oB\v郎X\kE3WuQ Р.Ȯom$SIǔTSx3co\ohqjG`{Yw1gq쥿֋ }5y\7dYbKQYa0}B\UYojդrWXx;4ч7@FGN*Ѷ]qo;P߉RGV=ܷ 5Оޔ.P!8WxJĐi,Q6yN %΃/WCtl$#҃H'ڭ)p0՜eߥ|*:&/e˗;hCcu\=mTp,.?\ŵ;P\\*k f^)L VSؒ&paდTlĐ@q}Ʉ` :&5N `ejZ LF_R ' Ɏyȁsfw̆L 44ن(rCM/z4t7ՍWRIsB?̚ESچ{> 0|"ZZ oڏ8O+qu/\/%nch脁O0m OL/~"QDg?5)a!cCEh68>x P6:֮$|moDEK}U=LlOo_ yP>oy&k+m oӴD9El=2MgDZ{Ryc `]?WY`-y7 w2hȏX.1+= l5䑍Jy\ƀƎFV4r:A4yFzi çI#ˡY#al[R>q#V; Ug8;ݒj*3B ʼn٦4̙S$L "u]ʡU!G<L_Ō,foӭEc Á.ğQeNdF(AZIA4͟Hĩ[@mgSP%}ڂGK l YPv0P-H.&|9"$=0wѪ"M710՝+s< Ȭx@j$aԕ`òˍewOO R*2fɗ҉zvh%%tm׮>HY#z_t9pU60<: Vo֓rM8!iCb]}9?D4gp%i.0.65ԿoYm8ō.s+Mgy^EdzU"ƐDnpwg}HLZ}姿{R蒚0a־d-Byti嬄.ft"X' ^7~JY8˧ (ypeB3IZ?x&M9Is41\H[\yRe趑)uEQ QNց%{2( Kҏ bp/jt}I^’-J7qqgx8*med| KtfR9@Z?0d*CQ<`Q= +ιjgȨ%!&kc1'x:(w6niy~5L3҅wu$U}15AM)eӤ_9Zz2cq~"8V^"/p幇5uj 3+I#1jЏmhȬ9"Ϳ-H Xg$=^JΟfC0Vr4Da3;m)2uJ&Vٖ w+>S+ЍN?vPUvn(i#=#Upyzuxc1bЙT$&(S .9Y^a?!ۛRϏw_)0#.;f]*(y3NPn)ĶMHaIuL"jLxr 8z#p4wqYe=:ƸTjՌ]j! >%zv&OSy ?#g9#TZPP. Б%N\4]|IA.FRի*E('we+Ve)3k{ڏq{޴24Cؓcbhڔs\XC1{Y}jk?S&Ń[?{6ҋ)emyrS@Gqu;lDe'k3Qv(ž!nGD@YtM i AYpS?кXv¤7ǂ[*sz?{{>9|Lm Ut{C Ӣթ2ÿ6k|'PP }Jgdp^ٔpiRσfrFRT:9 =o2COO[ qK9Vm& N( ǎ=C/ {b=I~Kd ٓH+]T Xp VWGri+<ΞYJ갸$ttx 6r#fh/rJAQNJ{-96( bRDZgYZ Ox)m47I!^HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/files~~/src/HOL/Quotient_Examples/Lift_Fun.thyM37I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/document_id674T27I' $HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/messages7zXZִF! L]·Iq n[:|&[z66tw:`lf dFhp 88}֩D̛\k#ДBm̞*&5O&Cr,2;a7Z̊+ؠ):x@"w&54-$,e!{R@ ABE]x v|z90cs⨇4y8՜jH2rA*|#ƒax u84Ͷ & W{tkBϨ 9?9#ļV"X Vdh̯)#w*,^Q^z%Ash%RzZP#o'Tѽ3HQlw>B[Ro^r-[V 6$T[<-E$bv??̔BQVnIЩȁ~̝li u{pO-$(̛|fKaYQ-Ac0&T0׋9?#|~Sݟܥ\`EDJV"cJ5 OJT5|GV *D%94Eڝށm SmOWRa$;LЀ gwMM&'P֣P+]8_'JsGzdf٢>7`TH!W;O2f ' +Ꮃ[0c3{b( 1c+FSc;F#$-'1Wl` E$sAs, zk+2"ϬЊ#wh 4V.kP҈5hZo+Pqo~cԟLt,:Kb9pqfd\-=Ŋ1>pÊylJ":.+Hg~@zfYXQ@YG)boBe0Xxv-3(ʎNK %bWp%yN& B_>h@(@  HHfVLȹj8ZLm({ֻʑ̕w{~nԙ {'cPo&yV*1&QR+2 n#' Ip ~Q@rڿp2fzA-X!㶹ȱ`$X+:  !QwʐwDn4(|4YUݶZ8웛~2VN@>3pڸ9{Z -@SoiJZy}rü@4LD5E.pށblzI-Et:v[L}x۝xsp ymi@p4FRRdEeѱXe֗(3?q?HxpU|h&c5 =/r$PZclsr)RlH}9η&*T?I;/[~$qꥦ)XXfsiGuʼVV`gԑfy/K3|)'PבlnW#vŌ2[naBS.+bm8_6IK1,x`\M,prT,j( 5j2֝nxG!TEqn4$T̒G=L= fs"_@Aiߎ.޹pR㭸Z.m"gU++*X׮x Hc`EH u!}cC 9eZ2-=&pX_~3~('ڤ$?l(Sg#C`K|[:Pj})LѓiuMM!*1#lWXC3qÐA~o/;^oPůX/lZJ$x+Rb!Be -aw!>@ST,[e̜_l_lvJ 9iQ~b{d#c ӆH]ه>[,B<1F2E0d\lC*IEW| '\CAssȼ7yLˌ PyUf2pw c%\8I\ }|\/FC34#3Eܪ S1X_px"ޭ`CAu+,ƇoZ+Y{/_e>A/СQd?s# 1kfZӉ^ۮS #^ 7 P7XȸZ>D\`MCeQ|Ģ ۪PT=K=w]M}Gֲq;gV׹#tSkPj pbb^i3@ \(=ܠ)@b lv zA8gFի!! Z4?Z*aL;UG6*;5~>!TA7 ܥZʤտ1/sh &C#Svz{ǿb2U%ևEo)9Cp,.c;JVfE9;|g)+zԈZ.OBm1#h؁U E uu"\˚h5l40U&]YFIH [2b)@?3.E7_ - Ph&n*fˍP[YAS.FlzMYu,|UHUuS.Qf`ujk$w/:j|ӡ)Lb,Eqֳ\hs*;rmUstv, V o\.qҊT{M=b˱{wzJfK)l_WNpt5CB4; G|*ps|,B#` Þh fi.G҄sa[ewϱK*N~,7LԚu9+s츴MV֢.5IYOV oa}TJl&vJc 1E.哃"2"ezP OxlC%'$/n@Զ ѕ+@Y@tx-&s~ŊTyĎ$Ɖ{%2@LV\ Zr+|2]WK:Δl2S+>1lg&!;v`GUMXx&J1 i|L,7):>` sOmmB_7a- ǵO\qz|lODuZo*]z L2*TyI%/LܲN 0-E/1K!k*nEG *?Ŭ -j (99P4BëszԇmZmSx[i⼨Rjpx"KL\sJ1+R)&n&yH !{{0Q=SDEڡkUy݁aBc~ѹqkPav޷8!&jzY~x(?{3.X=  VOf5 8Q9wPo1'0-GiF;hK&kv:r:"ro2TKlt+#1jh,்lC0FaNm): [|[Yq/O){ZI uZNo^l`XӜȱ@LJ<<m^rֶƋCsK M$ʔV/]p jKVIφ6[iw)ab)-35nX92 𙞱gfsqJ`Oak-Kx*IљhrP5OswXGy/!$M@VŒ`7Hc*T-|S&'&Fo"p3^a|O[D"A/ouF#% 83UK0;#,Ģ8Mg#mt)N92>[3c)ؠ! v=.& ~KTch k߇{D'ϩiX+D3U1VNo}ؿ6k_dLA*BBn%b^vbRc*/l,?}MOֹXeW>ٝOk,d\4nL<:<3%|Hْג iԌ%Td3ӂhr<u_3ɫ*T?qIPs[Ioʠi|qe?Ƥ>(xL ݬOҤS}^ই)F$9OJ[.6o3%9jF%+2rC?+r{uaJQ(I6~31z,nssXh<_IjJi1HprY=2P+ ߝN?8i c>(OWYV 8l̠$5,]/TИ>ğPt>eJ>'2&eqp- <:V\mWK9rC.,f\κJxPw{U,~)x'"9*QXn[uDOч[D kaMF~#܈ȰNIrpYQ&{WcC)!= u dm05q4!Lu(+)V[y|qyEEDZqNg!MK=".a/AYMZ`>I4^TkmlNWjW^)= V$)옙$8 a.FgYZ ??657I# lHOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/markup7zXZִF! $.]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$;X5S}U$+cYlJ8-2O(. 7Z֐`_bfح;wz+?!Blo. ׫X„ qq̠ӈAi{Чc^>su [st'[)Eq;JCw>>f 2bEBAUo&i[gכհl gq[Ȧ-L6sM|Emb1ΥlŅ&M~@=+76O? eՆI1*a^9sK~ DSsMƍNi"kGӠj=‹uV;#Cu) (bLa ҹvA!/3mNY(L+O_-u =?s%CEAصMgRS4wϕASv[Sظ p'p'+iޘk1X\U*hvm4rnHڴӬew}O>f4??@_U 9%1-5'0RZͦC '}\+$d?nL?8yݠOfAP"LJ0z P ^\VڷLqʿCRhI3Op#eVf&$fTc,#[SM ̦O۠;6#QnQ.λ:d פEq)o__P +ypUojs$d1n܀ڞt #Br cf`wlAA#k/ mwUpQ|OnRh`s~&?BBFj%R & eӨIH9 Qbgɍ*v?s׎ڊ".`뢛c%- PӉYMtx]GѻK[fh+*Ƀ4ʨלA4=1-Q BǠl O [VDiEKDă49^̇^UOpuƑr &;_D,x2} uQʋȕ1uzra9A\QQN\u{* ,Gpv(xe ;|>S2klʱ}Y~-W4™&tV6 %Կ,-}G9eiu%#לˌ浝_-GP)T#M$L4oo3*)MN1) @4J#i[K&=ʾ*KqͶd_J ls!IMm;A^ؑd.8ɖs:s w?&d0KV %GfOXŠv'+CO-'G~:oc`RN|`eܡτb$W.=@T#a _#^8 N~U@͘ᦎ#~~)jyY$q-H|ѡ?*Ow6?"$bL  w A wu87Q!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' tHOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/messages7zXZִF! 2]Άxʆ5.f-9 rq6\ď#Вw%r Ct7Y& k7'[G"$qSnєx6mKMB;C]7K`$N["O[Z?gC.q='4t{ K6wtSqjC,XuT We3B9*3msB[qḭ=Kqzy@Z4?^K_M=W* I˴<MآPaPi gI5>tNrO^~\[^ =ƅ*15aaˏNmV^aSbb=aNHɪ;hș ~{0.{fz|{t؞ΝDDk(ё2z`2BWς6nݪj~ yp# s;.#!Zzޏir УnviJSOx7$JErXljsɆ}Bi G6~K~IjJV,9S ѫ3]OS{?/9t.1 0[g&lU(' \d/WD[BQnq3 &g,tkl(S卯on/^9 NrB=vPLx#2n7РT9أ})=x} 7U[8o"X/9b.t蹉|ZۧV-I/a`AOBuA?-L+Dc4)Guu#G/aR6)>Q_KF+*Mx2۱ץAWl pq ZKC$?[7Bo$J00p%^yBKO^sU跌 n|đ4;ՆqsY BUL/JV^oaZA{;b{򖡍n(aއ @\ymf523|ߴVZǝ&5?X=Y5lQGӂ"%)Uw ] .re.'дT\7X /8c3 kĢbb'Aߛ\G)DkO݈Hu/SpJv3ݗENJ} f "RPc[0t~ /@xbCaG5>~"k“ i"ӵzMy-<OUf"I8XWձ,ȻzA+-gDM1#q.rU,Z%7ٻ-Z)4k[<@Qz 3j57ގX qԭ 5JDMK!hri؟W9Mxs!A$OzBhe~ ^&OK3A^|\R0MwYZz[GˉN`}ۦDh2KT2ξXQg)&ZA'!(9q^&}s0S$|;N `!4aښG>f"MS| {W[ Gl$s`LȢlj:]E8c0hpȨ~pzVJE-mȾdjޗ O`/EẙYw~!0صп-+D8ؑp tOo*t|!v1x|C$ ,umx_p^/ɏT_6VzS4,ee$nCJ-uLN D 5ze(쮲>{(wxY&[B'W:N% 0| ֔,c6/ljJq`QyCGp: uCA3Z/}xQVF˰ũ<ֶr9Fhk~BȊ:c&䢞־?#;>5Pi.B;wܚGs д#?ۧvwbCȧ`odu}MH|u~\PKXz70/ g:ݸI_0(eO'0(~@A9RYwvBr>@doN$Eg/YW K;M8]xxW͍ @=0 'Q@ Ӭ0iC reã_m?N5!#z |4ef]݆X|1 z`5uJCL癦<c( <B143-'dٽԗXhF.%Sڵ|g"+!}p!ՍS3!3*`VV=>@Kv R(~?yt`T4LN{…k9LF(4LU1& Z/EƢʉ Cj}T,+j@wS\¨JS Mq䥶c6.ddB&F+'ZmKK%CYJ?@Z/4Y 8t=jԄg\)%3*QN}XpVitv( &0=\^g6?I“^Vq5 Hi?'HƖ0h1 ejkY{QzK&P7 ~E2X84!K7-J ǘ` aajNxԼ6zƍCq=:`|MZ5l:}1-@Dž )=T >N}K6chDиv`nmQ^`  }d*RC7 {srD2v~8i,3 a>~ȋl\*UqVt9o\0[\M$Ln+Cԑ(toU:Ą}b7'> JT&a#/ Gt5/}F,Ko0l&sђ<HMO q:oǖaA;v Yvt%ǞQ/AF5J}K5X⓬ ' o~|tu:ਧ.! ag!++ףߔHPǴ>nĢE5bUl'h^.G_M%~63 8ݜzMյ\webAdDtH"͒]um+ƺZcN~hec0k&QV~vߡZH"[V$_]Ni.*7}u6$ŧI->G6o<@475:kS'a~ RHx51=q.eu9SiQc%ꆦ6 Y:5#@:"6K;fc̈́g ѧI %O4oJkuwE%3Zy;NI8|@A@lWhIj ON9 c7vrw})~,I/[JƳXWdMv̈Ş-K[@7 a">櫎`?)^GNI.Fq4)Ӷp9 A kc@W" 6UKQK]cdzUBKKA}O8) 5R4rF6[6w(as(`vk6;N7qb Ghy˙WqL}8n^,3n0?MPO-1 Oڽy sM8gҡ{nUD%94Gmp dA.{֌f Ƞb~ |W65G.R9E%< >'|m_ޭ"!NX\B É{_X d+gXo#5^i=i&Q÷z(>ٸkOd(0_責M#?L%IwgF!4XpM:F)N{#]{Ý6n(g#`1X.TH9@Z0H;4 Z2v]i_ٳLaR)<[ xЄWtˤ6LQ+ nq _lBQ%"yK9V۸muw:+k@kUVC )[6wLT9+nVK]^`Ϯfx:,zFe!fTr{$ iW?NoFϋ9'-D_B&FKdh S8GtvDА.E'-4'N01,\*PswTL\b頿97$$ѕu,oLVAka-2Xx-QьFd&{4egIQ /?M̈́3<`TGP3x%YH.(szXuȖ@3&nAgOTLe=[;Ra'И ˊXj5#­URޭciF;Q tdYUBh;${Ѧ^H%iu{O "pa4lb/beZ5>YoRz½rwlU}0-)h)[+n IO"j9r%)mA'{^W{m<9NɽYK,>SIIf'وƲֻU>) mg^@?aB H\Yz!x6k֩U=,a\Ŧ~^-* !J~W ]c©ēynb& \xɨZyK -/ B(Olt쳑K6U)H-a\EGb Q9ymcgufw̟h>PА%& WY8.8inĐ<W rZ3ѧ]ߌ>LG( y9邋쿧ՈCd:y*?"mTW*1txHM{FM^\y8qQ r¯k^1K.#Um(;'eќGSUfjig=;eɜUgWUDRWc\O)P<ҒfJ?V}cr !^C$Y?RFnA J{4q d2Pz>Vyh?Zn9sI#}gp0'dK,^[~5)`Cl倱g&Rd?UR!7`* 'ނcCT XFę &V{Ee+̀LCA9i5Ȯuys;z.RvٝMI/UӒhDǴ U+*NVv5Pq%=`yyƳ! FtfA1=o_*.ofdx}?妛ϑ :v"!~ܲ2NeD4@ɧR[2Tk F`ION*.Y4PE"EbpԺw):XЅ%Tv] <j<@QlZf! wsz}[wxv㲤 9;F3{E S2->[ܷE|4KLN2AK7dKok+RoZ*絒o9N,MYV.~>s*hYip_SdU(`H@fX*< Z7E c %NE5/ k/f7+sw=ǃclnWSFZ*FȺ> tVwż3ulkԬதd(ieX|8&WbZfsNqUM H(7 +C*^o>8kF\Kv̚#9f0zRf̦ u{_T&CM 9k#h"9ZˌP"Zey}JpƆUsֺ" b&D"O4FJ_ Cz/@iY䘢q)[nJ"A.ƀ Vz-QXst㉸n-<'Ú07aQ T3gv6ɋk NMx0l'_QDѕoɠʮ;|]HgszIە(! E|R6Ƈ-Y2&:)iTf kbz>$.zrc4%+c`]_y!_7 4hxCt] oCu+M|&2"V_񟜣EԈ*ɢ؏Tv9o|b F O%&2 LM]ԭ7>*lY'2K'! yDP쩞?j&n~hҍ/6Xqr4yn"%WO/J7ـgO!z-3|>Rkߐ'F|BPIjP"ͅVs FEj~ԢS풀Ў%ĭMc3Ev|S%x[t4B:wj%`u0Cy؄޴LC\^J"|Kfhu9ZsX]=nŷ퇫MFӛ3.Az}DVP2K$ae㶠g|u\Z)8LY&>^6\9i_ 겥tq%A) \ uW$pw}pՉρE #kbvc"Q C)Sl=s4* D1E\Uc}+#Kz=R/)̌42(kp8NᦻqDKQ9+ۊ0&yqX6N~*05$D?Ғ-3ኼ}L>C-26-ȳxB4PͫsQsqt&')QL|íN@.w<{չz6qu-=΢V+M"5g'mqUfO[}!o[q™@ DDޝmZ\~Dv#TQ`ۖL VfJȆ_` v -ѭq$vxlovfNW#c` %ŨgֻO)f,H@-;w ({Z[FQSXƷގQb$(G,N597v=Xvzl\eNMBnl43þOfY'U^WQڛs#Fʀߟ=#N[JδIo=>?Xy'u dg?4"nǪ\\Y ຬO\_QA3vχ긫ls]mPn@aUM!t(%-&͊z(vG ;.9'-&%҂_NMg2<%CU;zNEhǃh`I]ÐϬ:w!=:Ia \%gzL5yD~.7?MW.J}Tվcق"X)vyAwpOhB:0CwPKt"m}eUZcsҔ.uj w x)rߑ9ӟH6eN0G|bt3ZgѦg`_=DO\ѬlSڔ@QQ,uӾc7Z~h ;Ɓ07dk 혻 3Qķ5jU1k_]Sp0OTJ$lOLp.n-GR=]n~!9{* e_foE؂4#RʸׁSb".eX ΰ5ͪVj{@EGkq͉K ] r#Cv!iglt-7j$0 `B"YZ;.P? E*8,_j.Y(`,ҿ[KO܋ݐM(׆#[6F5z!nN|ԌR̂bC,21otgr{ uxdhGSI>2*}ҍϽm.:%\nq 2_88d}KC?Q :7Q' HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/messages7zXZִF! z]·Iq n[:|&[z6cjhWQEH O2 3U+!T5qI0y{-ᣗZCNKX~{/aJ4C˭~e~W|&A  :S<9Ҡ`dmbXEYoẩKkv܁F#&9?Ggz-aܩ]V[,% .7$U(a-TX yBhpXFowѭtiaN<(+=Y=8;SKY3Z# Z eTO:sd#kk997 Iy?LTaĝ fÓ!7mɗ9Y DyJg5E&G|-knGRyeʋ4[3\>ND!͆?HTXA)1$DNe-ٸugzS˩]גJmJhȫtrYK5*p܎zш EoGtE;r<6;jiLD>][N["EJj6#$~k{_~]mEvF&L}Vםv y=HkIz阳50%r-&,`:Ba,SJSbc2 .&Eꂉ:=;IsWF_)uN<3V51,@-V$؍-wVVGm' Q*,َ.i+7tHY`S{Cm :,0rk0Y<8_4ۮȲA( Xչ\H!XqNiYmLQ??sY~+x6uŵ=5m,I~AǨw)И-Fy[u"=s,PHu ٿB8r[ډm?n)?doj9*1e&1pk'v|PRQ<#yCf *9*tv=týq~BBA}Ӏ\IyZ -3a4orgx5U̾ Iav}~$!{nܬpExɌMaFXM$ӟX_,Rč\ 1in4H3=@5ɾޞacp)bz_XN͠WNQ0dx l Zi %Şe~—KI( s_~:fQ=U?N4ǭc!v>a$s6]j-CA1g}n3U8J:ARw,WP݀5J2sȪdBpZfҜz/:_ e J  ~qM%]p{!Էv S녂0n͊#MG/ +RP,ۖ ȗ }ůօbZj.PƸ2c5KX"eX@cު7T8YASҳDm>R ʬ# tVս^"VF t!tqh؇0V^!c-Lh'R.B2Xi46ǯ慢Kof:flMm;C^@̭jբm?bmhڋǿ-R /b'3!/,25#5\i:jA~4GwۣC?{DCufMu9-sy͋M@\lBB+kr",O1({ _[f;&LeAq85H= ^1 Vdcѷ! ՗5#wr2rPRi΃w`זpOE:߰+&kv-ޟ4E#]V=.u ӝ*,;{'uY;sk.[0^΂ߵSo\펈ܬ+T tLfJw/͇ƁgYZ