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 }7t|t ]% HOL-Quotient_Examples:threads=6elapsed=25.624cpu=40.988gc=1.9607zXZִF! ]ŗXiɟO}M:; Atl)H92$|ʍRr? ֧$7E1R (ˍ!HƼ'gsiFUz[8eι_`olgYpW oڛ|.UDĚm66aqoHβwGU-ڵ>"Ts@X I k>W5Ps4 /`+Woi?ρY:T "9j.?קzk}6O@;BDodZ9)oy[G?B־6zmJ%U/%TF4Pi8'+ܼ.Kٵ-i$W`=u *G|&lṉ#|v>ː聟M%=/,i1Eh)ۮdn2 ,L6EBo-+h.Yǭ"8~eS{ڂk\’M0CG5٢!߹a/f q'>>Uъ>w{mrHQJҳm񾋩n+0IJxYGի(^QR mNW60wZ"8HZz㳅 nXDsװBKm;VM=nĭS 2 /f)> T )aU--5gYZ7zXZִF! ]ŗXiɟ1TgsC2MpRP  d򂕹3𡩺Jz^~Jג ,|OZg0gprsFUYҊրMU϶Kc~CI/ ޮH9q,OZdI/BR[pBϢǘ.Y 8eqњwRzIPNi<iqFvGHBt4 %bsN򠎀Y.Hl}ؓ箲P2\ ?M#qo( w66=d:s 1⹶Se,'jzK 1dO=huQ';\g;C`xa10pk\lB(2?jܗ>\܋{I,gD;/87 oM 0 O,^_~}R [I>ŧyʈGn>IiR=jӔ<^g42e-G 9YGaQVcq:ލY>,V3L=g_o#֊mNizwCu5K̄u\g bɦe3b~ $٪y?^5 {'iϐy Y6 aؤ' #}HعKcGfUraF EY[aۻY;'|6i<+tU*JkYB֒I"vȚ(BRhJ~ȂeԍE6KC֫W gD6!ўC1h R/h{dU M*Vd9p8W^ aw+oWPOCtEh|nDY'"뻹Oq݄VwUQ2iWՂwvO→| UcYK˵=̓1% 08(ڍ4u0@w0О{˔*s4ؿ4CoLcJ/D['oYӶM,djƈ|qXM?c#>\ђ8\}Ph$3bC:9BUNҙ_֕6Y rróI⢶7BGc QyYVf=]Gs*v3?e| Gt(>9r,#a|V Y2p/sAz~zְ3Ap;xyZǜџ&+ Þ5;"$"Qv>`|j;;`,nghfS#|o!$s8 mI=bK2$ӈPWU8T   ~׫$X2sd0\}$w2nljGtwxl~o02 @~ц?[z]HO8ni%-hq^ǰ  lY݋hJ* 893|YmL_U I:LݵI0#ͩ#q+eO%R.SCR$DdM-НJ6-SN 9́kxkHRZ襻/u琊,BQl XP2toOo3Zz| x u*z<X iA~ax$5~89eb\a vVN}Ԍ@w*DQzBT`bGrPI$&ĀͶ #Lja ~\+Ye  8#s:g |$QW M;r߽˺@[u%y鞠܈7Ḱ~kGr#k"bhwkMyXAa}VU^)xȌf!WNJ6mLيhYU~cy?eTj1iK yq߇5O զ0}z l3[9ñgYZa7b8983c93eae0b657317d4c60bb533e615538f5cc1b50b527d94b950d2d160697342c63f522975a 64e02d979687fadf0152a8264141e10032a6402e a1303619027dd9d05e19ef095c6735f892219596 737216ce8d981fee0a389ad43829a03198ed0bc0 02c2631a77def53328ec8fd765455f380b8d7754 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}Q9N5M1K0J-@,;)9!8521/., ' & $ !  P   b  q h  t> ,4, r"~ ^N n &@X @A D7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/markup5C7I!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/files4I7I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/document_id3R7a'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/messages2P7a#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/markup1O7a!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/files0U7a-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/document_id/K7S'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/messages.I7S#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/markup-H7S!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/files,N7S-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/document_id+J7Q'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/messages*H7Q#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/markup)G7Q!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/files(M7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/document_id'G7K'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/messages&E7K#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/markup%D7K!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/files$J7K-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/document_id#F7I'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/messages"D7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/markup!C7I!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/files I7I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/document_idN7Y'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/messagesL7Y#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/markupK7Y!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/filesQ7Y-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/document_idJ7Q'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/messagesH7Q#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/markupG7Q!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/filesM7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/document_idE7G'HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/messagesC7G#HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/markupB7G!HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/filesH7G-HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/document_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_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/dliOG7I)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setdocument/latex   3B]A'noJ݋?={<" ,O>lj1ki,BJp[%U*]#!傮*Ee7*E?t)i{JUc?2pVzC ZJ$2W!mfDM 7' 0_6%t١+<Yޣ~b"mY84L/,^vtL9 ?eA2^h 3 㟰~|Yj^"/F*Ԓǎ[la/1 XL.ihxY|/=wr;O^[;.vR_wSj@/2׻KF,T"0 2{Z f/|bxI?[L!ҧ1G_yoǩ({j̯XDf_Qq޷,WTuHZ*5q틠DO1SWC(-l{ H3D WB'ЙPTaK's$Sa@ÔN =ɇ,YCݝ.J@]sDЬGxFdQ=#ȺBmQt:ŝLϐw,Kj=C"܋=h R/HJ2M[@^Ÿܲ7sJR{.'o*lME(yѰ /3Y6(h Pԡ?Cc[Hz+78 ?As<68 AS~ըs&)FE[MU vj1]GPpsv&.^o(C^9رkeMÜIJ,H{]Eε{ 0/f}:%*y%H|)b~cz)}"hk%!-Υ_8Ew!‡Y-`?i"7̕)(b-{q]8|e߃Y>װLDgŅfF̬v/;86'_(i&&%F4id*saCd=oyR2F᯾R$ot͟p 4}L:;X)KkCq+ # AQogy]n,} 8ą Rse. Ӹ6,PwQ{۹Dlf,4_=M`_y*]n͡9?c \EX+_'EĈX*)PZio\ yٰ/JanF±>w)q;QkZP[Vdݭ7FӠfz_ ^|f(j\JheB1~HGgVCN;H,LuzhϠnd#h A8gzwSe3Clj2[Miᅭ8a֔}̐wq%=6U2 _ ,O}cx1Ewۚ &$RX0]~5$Z1~wq'Դ!D̵TAeKoֶnʥqپ0p74^|ģA4Mp5~J̵^SadxvsNjPX!!&RF&.ro>i%>uVćx컔iRtgn\IDexv%q$:RBI8!6[Q6AO&NG?&<'{= "?4ƍ..1Vȁ98wV"oY*|Ru./.u}Aa:t@X]+v~|}J~#؄u݄ȅ7Wtw$Lu.`{iTe[++grBMGL%s3q ~>&g}*+.cf00sx6vnO5aE{)N0n*ճOCfw"j\;@jgedh&[ DN6Y09Cx'wj.[Ah]^o%E[j5Ɔc: hO-mBxә"{&0-V(@v V0 neRQʋ{|$pLLiuVePZՈEo#as ( C:?='\+uJ¯:|#^pf!_2na:.߾uaL4f[lfLs&MZH=0ݞooL0hӣ<*$\ o DEP XTa@ z -z1ZBZ*oQ9]2J yqoe'-bUnK-1 #=ƴѣ+2J2KcT][?8sZ[U!4h-G~0 P'< &|Nw"g7ˑ[(Y^cyR$SΔT|YX.+~ӇO7?R֍L|wFrYXއ//׊遝7,5jʤ! 'k{+Q2 gH+c|k۳>IxU ~[T+ =UwKdtuep4 *XըWgkK0G!>dY8Hx+Zݲ#a4j_g-M_Uڮ<Nu5 {_ͤbf-~dTS(3ˉ`ap=;h'ckV3q*hF"Pƫ^tt Ay+Q 0EOd$68d)oD)eEW<1j3)Lk&)uI97!N;`k;ŹuXnuOUӿ)VNUe84(u&q}SE8&,sg)>6HA~uy?k;lPƞy<^?hG^N j%$a@*׻#228 !K-ÕYI2-c_%#zzf_^\49qs{{)/~x$Cte2ʁXH(GczJݙX\x.%'XZRkܴɼũqGl!>5Չ<%! Z~ ʵڢ4yڲ nʎNNソ7C8P(n$R;o҃t%}QExlKHΜ̒)Qt5:)R1wÞTgY!:~'\.&Zp KFs0&e8fӨ_?)'_ #eUO>%I#{b/HG55gR9_wv\/ }ml2HuLՠ؎ho>k3t)N hRxs M?n@Yï<] dop b[*Uc`U,d)wm/n%lnzET" ˆɸPUݴ/ҷu~w2zt-\DJ"z>w8[%EauU@KUP%Ҙn鳑 s&w7g:8}";Ǥ|My΁(oc^ft~rgvx%*pٳSͻZ([ $RVC02Mtj;Uipq[Ғ2.@-f'qbl\]hy73Y_jH9Dv)4 z`3j@C\NwQ+jeXv C7ω>̚,b"ձkɍ7Z{YX#5Vq5y_ӟ@+- uTIk3b^_Q 7XwScx鯏>r='=UFӲIcܞ{zjx H6sD|"==2"X-x~ta?Y+;eW8EMi2s]^s˗YI籌 ]bz !Jyҋaֱ1׀$L(Ԉ]w '+Z$?w&-l2=1my$}~}&{Lh}IiD~aߚ_ra_qx~GQsrE4`ޒo2;gXz&s™l@  HOuħЫ:\qGw& %!PќY7[U0'BƤpC|OìcD@7#ruYN>Xѕ}HD!2h,}EUdDvB's<,Sx7EY(uKH~h-Z&_wG^9|L>%p>a" 2;0w5Bx)_ꏑEG+:d AdYlBDz {7K fК2u.Ҭ,B xrf}&֬_jXm,S_JT_l;x%Y?4*HVcp}!" [Y -Jȏh3MKY^lsB-qcAeqU=qs, 4}ڈaTu2>G81~Vq^,3aʪ1, 2-Q+, 5|^e$2 z !q!OSJے-?Y"Tt3= ®^Q!»)8 h4? e \*VѴKB ɒ N |?mW̊Ji'(LE"]Q7@V$R_!ڪpeyIXhupOdM+V9(\k;LZB (t`Fx?.uפu[@ڸyoJѧOIf3&Uz3P+(=[)5 ~?;ə;R=4J Ɏ >H`!(laF(]YW62=\޿UkVR-2}?H됙'*0^`W~̍㐤ۯIGǐ[Q\\adUuU\IU8ͤMg{h(P' LpfNm!-WYc&3ͣBE|S vfLI(z3u$??}⩬K?F|hv>\Χ5^lbNz1Pg9jP@JתtH=֗EVErtZw +ymcm݅Ywvv 2 ti` t M8C^&T!hD ƒd8\zW$y@/PR+G&4|:.E&8N=N6~Q8aO`׉1l ͞-qI1W$GE){\˹tb:%l^ S}3L1Pj`>Xt)?{:-czۋϕ~s=X1DŽkoP "A+Z!Ws+43v 4?'ߖFEFk_4r?* d>OW'Pw;Y|"x)0q8H IQ$lbf?0% /Grz [&'|іDǓw7J^^oB@%wVD@1>u/rQ~[wRyU'@0NVXrލUITP[d/:^#G,}/ KBgAyV|Qd 8B9n; e7wJ6\M퇇WS<@[d׫ Tx96^N]6Ơe Uqq$Ȟhvv^cSi虃CBVVv[2 I6A][t=}bM>ʲ]IX]`xs2m}J9t3KڥGg(j#3 8U#(CsRDC6P?%^Ad㝭&&m Ϧ1UUCZ㓸oJw (>ܚ~OvZu\:_?`ls>|e$kKI}[{ 3"ɞǓiD)?5%7>r08qa>1a_<|ʶ\AELOK3l_뉃MQ6ߡPÐŋA5ﵖy CaK1u(izw *NJ;fM`r,Z+BG!Ѡ$rؐտo|"VS>ܑnω!Dc8wʻ%UHAF띌:)5IE̕)Ny&v+8Zy|qTת1Sx|{Ta]WfH%ads#՛PBѡ`'g4J! flK*3Ϯ[Y-p{;L=>vN1tkp}4Kjz'OkyWHQ@#JR+d,_7٠נ X" $X#Dp.| +TFZ@a"<R5m(t!;qyrMe7/t1kӦlʘ#YQ^(4z$X"G̒=rdm&m8s ! z{~=?cӚۘ! Ф&qlxƞ" n/H"Kkt6d] <4.E "x6C6s-&;^k=+߈qӯF1<0C(wZh۹Ⱦ*(c!!5/?s$lI^jA e ߿OxFASV8b N#/ˢ0ES@;gߧݛ_sKNl@yL*nWPza#ړd/^|R޲+})ayx%usE-yZS<`9%do0b_ɩjj\ W~+ ВӞ:̝#t,GSHJRl@3(s^FǗshdu;j `4})FRDg;Jp"W/WlU$wx=f3dW/l읛||VT;L uhn|0vxuzceǚb}]q!#B %;WՓP'8UW/-Jjާ 6Fl#v~Բw>p^%vpAFgM?)>ofgB; *K4 %kuq=F+pɒR;sgaCE>f%9,RPXŷ$gH@ qQ!Qde @ Ѧ<'Nx|6$Gf3:HCM-af1A@ =)P r:h:7\M Οs$"lZ XAdȃ5*t'!͛T/YcPδ8E<{"_~bT㻀s'#@nZ2mc¶O @*z l'#ye:'u& @-g'X <W/zt^7$.eHt)PJ&1Ći2Q(Bzi7t#Ob 148Ï"6u?+b+H3Ї9Ȼb2rc,r1E >}qY/e̤ %[`PT3זMbLp\|6$|`OqB!Z >M13(Q``i CL &L&zPA#} *WD"Ĭq8 U6g7\$kŨvuHX۹u% )J KY):ρTc:?=ULݻx-$0 Qv<[ik9CZ(4րl汿]94uץĹ<JRuVKJsl|]฀W90%D .LΪow5q})k!#{hNJ<]RRGLNf݊7+995TlPuTK> z!z6i}X^@Uη A^&8a, r.$=ߚHSbђfl7D|~%cu-wLs^T%%b1Bw Jx0wȐr⢁0tQk +Ϝ=&u!-AYBƄ!19~~3O㟛lMsiMLhT&U+:\yTY&KB+s1t[u} @ 2Pـ[ű\b a' Ǘ )oq_RV({ug-Aa?G%;NnzSzJqA ?# mpf@4L.4Ͷa?hrg㣗vw˒Ʈ)C؟ÊZof)bo^ٍ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@ˋӻJnTUWIg05<o9,Y i@ H*EW0Xqo,sI]}3զ;={ӾFyc0b4wuuʠ1-]0ψusTo%\GSeu;uC(Ųܒg}? t]=BP1`y'ce~!"Oo!IN{iiGBoL oE.ˣ4[ب!Vo3@lVv`?7!mћB1FV.IU8y3QvZ[ݖ[Jmyy.x6؍\pwk-g5"o8BCi `U'r ^L:&z"QVekXk03Cٝƪ yCKm{^D=)4y2Z:괹\ɐ[r^(<إhy뽳)wzXsPo+>[-=uG{z5Vgh|bK;Z ~O:jQ%ug8Kz3W9 G-BM%Ҿ[{eZ%ԭ`cF#p?} bָ0\>L P }/IڇuSػ4Bsi `lpeuKpCmP̖ hae'Ġ 17' 6 O+x?Q"nqT6FT8P"4S^6P(h!L1J@q1<ڡF =pH#" 7SW {G`sÎ0Q蛥,"Y|^OAUMt\GJ*{&tF=rW|EiJ\]d}NLĻ_?7c :w#x4ۄrـ+|3>%kD[`9& !Z1"&VO@-[(m2vΊɢy1cX(y[-Px d3jOIlϕ dh/}w-^#- I$I:H0-Xʘ*VFЍuVھw═#uOay1߄!ˮIAA#aWԎ,q^S:ϯ?mDmgQ+Ntw7_%nJנ?<8A"^DpvtoM>>6!"%Xv4LYpK,sj%%:FZ*49W UtH*N|chi- =aB(ҜE#g 'fۼE)OL|Dm@3s9v ,bor"Oa0ULnɖ˵*•u/Lv, kn$=f ڨJ+EN"2NUNgV) kTɍY[6+6) EHY__*7aeٯhgKlyhdۚXzxdOUe|Fi>TE00f,tʵ&9i3ojNc(|ϭJHmsabQՒ6f`KmM H YG=gBnk*ѕpC윣[kZ;`]{?ڙ+S92fnO)>?+(KžhGwJ"iOPgH5 i:ZcF/aB?1JMkw63HX[j!>-F+*NA{y)H)$apvi8py_m;NY&&} %#_:k'aLv50Mh=6pjcxgߨK<їX@NJ`镌GQ;” c8q8_Z+XEl k#bF`4\S9ZziNHWT\X޲yRdCREN4 `8tC5uS2=MރLѿOZS{;vdgYeMxu I㧑^WYn`+YՉhJti0c&?C$}*H(0u]FiJ-xy߭y_n-vd`ɽ4r00%;@deVFiD N7 XbOY 1o2Y1@9 wIiJ9F>v3H 4K`w $+LHvEGPDUP%įn@* 5b9Rx“$^"@nIhEJ-Wu6֜phyR?H*uFòciCcN{ALH+kPub=~HQf̽~e~MDŽqy\y8'@@'5"JP\6A%Zcڏmj&XG:gsdg3=mL}dH fu5Tې$aހЄ"9"Ųm0/mfѨ="eQSqT$^0t MWx[<=m"6;6>txS6 ~EmUg`i/[D&ި~Bbmp(Z1rȔzR˚LSV̍1eǿƈf Oq!mщTuZ*I=2o-ɐߊNEڣ trn"pZo M# |C! d..ĥuW.>μ=E|\fDl7XY%I #:,}K^@.FNN9se$ 8VӬV'oQFA#YQ-L)*.goO=xFa^UäXLwX/щ~[d"ח-*eq4b{FNXKKR1ԃh{NU$CX{NK[ Q6K`lӋqyk|iɠWmC:C(R08i{D!ļlFaYݔqy(7Pw{H˥7YeQwy(xQ3l tzam/swt h J| z>R#5+gW!՝E 7pMuh~wa&.ɖ[5i%SһE5\X|<$}b89y.y-@`9e/x2Z(nE.XO3?qgǚMa ^ (.6} MT}2M6=ILsh+Y وL^I9O:8nMvX=vRzxhj7)L.])h`J+ ݨ=ES}-)D@9]h2;̀4a:I6>`]m~vY 5̓΢RL;0ho;A3nFl):IU rpIh/3[)qij.'V\;z4a.hO|Q1L]JO)Arw#v~ }f%Mu GP[Eg!$xI$D\^4z%9TfEbHxSYvVZ[DsnHKr[$+ !n ׯ ZiVum(% 3 -&wП'kg9=ᙃi˨M7!xϔ4Vc4"iŀÈRі<͆(@FǕ9JYD4gE1% `㠻AGmv<>TYf]X\?q8#NS(kXH,rn x_H*b .ox vs$ r-ʨs4 #IIZ-^Cu&ۺf|᧰,>41!aӮl/tHI+FU;r. u:2tE?cy(ӹwo4L/5d3)x M*Fcy?mO]ѫ},0UqQb˴#hM'ۮyMe=1F2v!]0 "$pliRlgVkTObGU>+#A0D*'t& E⩣UGnsL'My_{2m#pmtB1x:LpblמOG@(Vh%VBe/CW*d\}{)O6(,ǨAiۖ]y>'D\2loE҃ǹ͜ ,B:Yig"FC@`+o(P/< p 7t+}!_6l[!$&LVb<@_Ag` u?P=g)/YFy~^PhK@ZEϰb5|9vϱe# Uh iޑHL Ȓo3t)}YwR{˘R`6fL&{] :Oˀ Wh(;Z޶4Y1L0>bt 6-e<(\徦%뫭!&9ޔZ͜d/je>tSz!(H,xAN'"l`9L[",S+s%xwTU.=5 N.CE/Ӎ=PPV-re-~{q{X%$"ftz OmO0ޛy},@{Xti@#fɟY 8s,O1kT7Ue&x^wa9$ֹ|U}$`7E=L*mLX$iEX'sgyB;@6'T}09J2, f" rڹrF9}y1 qÖ^,pwc|Wwg:G Kf<6ayV\V] Uo\jgҳ>?ӴYyd<n6UD@-$x1;슳]W{1mX?6PIy. Y.!Z!M!nAymgƍA{8GAIM!O ɾwR3 `;Y}&0vU,Ֆ JKŅo\⯁w$tȊ#1Wz/M#-{[dYAd7}2\y@55DD\ =d@!;D–0:udKI'EP/PK]\aW @wM">oڛ 3946G'EDCBbF&q~L536O(ڎӓ;n f(&)` S2O3  uq7?xuօ'KnMhrxS'峾Rfdo\VuƤknPmyD5N^.N|$bö|Hx656]}FBX"M lonS +k}'M?##`./8:y'q7w5=VGghBMl5>>=T0Uz9.6,jb)˦3oP :J@f۰-^%8#i8ur"sh)C܄M+ \'ح?񍱻v{ u O~} Ic>ΫG1f~`-Ѵf̘ϸ=nS0^* J1~[0JN?#@I#RblB=HFOsK=UlFDӧIN {D38wyk܅v 5,KzLQ'`o~R5)i/Kl_'`ݟQV7;m|Yt%Yj Mk|j :pZM!U`?ʝƢ=X4_ )τ;U-4QD?$%}Q,dx]R^|D)@1Stt>q:D2k*W.]ވx6hy;a:9SFUL#8 p_eErǫ(3!z\`mtKFVBU@Bgy#&)m=+H=խ5}n &_ @wAnyF&Q|Un!L>O܇͞7p.LP<ڤsfg7Uگ:b]H&8< AA]C,RW5Uߘ&7Iiw Y9}%299AurQ kk+?ʶ'r;͢TzĶ tTmmBܝ>#QϤ8Žj;QֶŰNrlftl`T$X湝6 PW'DKޫ.ڿ.o ^ ́,W1uymg=/4dE#JX?hw33:!g|mvw3ǔVrrf!Cvz"KQ$b)eG)O 1.Uw2?-(H$\7K2՝ojm ɮדs0O~nBG&M]mRx|JSJ3a- vUE 0Ѝ1B@)"wU6Tu&໣0a1X\ƙD$BA Rv^n0Q+ Y@LK>͇!u$z@QE3RFMX\ͫ"&1 EFN+#9˧i R4!l=O ,ZBT# "3 N.n{Ao ӕp\ WG#ylջwbERstCߠHu;r~sQòBoILʭq8B\ YʁͧF@CP7M Nv Hva6! kXy ^jeS[6)MWl|:nuMגjUE`[j7t'@f=NY>B*y;}jfn%ՂO]h3k"tym4 -16t +~]!GZr$<554v\_a&ZTynr!>%8x|rSWt40*/~e6"A%G-e=[j̺La/as#M$K}ժdfF 9/[O~Q \ZqRlU0Hq Nƿ+?I68($;חh&sZ׆:.$%)+̞p!h}dT.\d}i&`)ُcZ;>7ksQ+!L ΞRَ ig{t'N>7UHy+/Gs0r#4QO.at2<5JXyQùD_. yȲ $3Mo#&\}>_{ReMwxZLָ]xkJvң,&k~&Jo[HՋ ӄ'i\ z=eP㈂WWurU}F Vlu~ll Q>9,zix r^ϻTlVN}k6 9a kO rZƹkT쿝M{&xF2Jjcdpp[xw=P>a:*u ױ>"CQ`y9NpSz~Q}ܰyL12'\S_Z!2[U#WRC J/A=FoE)(X3 6|}R=Pl9kК-w썆N 妷,p'KA|_s4 E_Y ?/emޝ~KĨgPͯsX\?;v4䴊c^ѓO}~=cc|gT~eCLz.S^ڤno 8daIӶRze}/x??iHdnX&}ŻN:crn[h_{nv[,8t/6sd$Ύ]bӍGؽ T+3w3Jh]kIEf,ł-CČ^74NN;$݋_w~?oC*@H]ވX琋HóI-A9p&d.岾S.gXn# "Tb%_c,UQ6)ZaK3y M[25;-ĹMLt.xB0g?2ffϞjD$f#,(-d0L &vT|= =fw~`ޘ"=QgsIWD=YAWhEs람&RC!Pvb qRs NL_:LaV},lXGB!U3#FO #kNiS\, DŽR\\AC'DaP '냒i\1K:c'E UːT`4^rtk6%ưL#D{\3rxM A4L i̞P[fUQf/LJLV Զ{Zh3G}2dx*z*{ 6-I6C9/&3gRf_r)(pN.M!ФB>fT(43)"@/z^|\;3x˃PCrfMɯ{-^N8yy!˅?2Ib秬$jqؼ_Fʩ1ŷ}&?3vpyGpKʸR-nm`3DE"n03I 0l4^\+ty /f@FЉ*n6Xԩ]-Gl|U칗-Tۈ;zlYo#//&ė~V[ nͻ:Lz,UAﵧ1~O,k o@9,;r>  u80ٙsX=&E>ٴy *]ӅŁRWbfpWRiWj%eT0d#`l%OxB3W7Mw~@p1Kh GjHSŬIÔV&v]-'!̍?0N8[SlژJbm9U^ GB*+[Y2ض}tm\V [[C%Yo<:W9NY4ṷl v 4ZePf,1 Ff:U yFd.k݋uz 챾haQ,J[aL4(GAw/x z^?o#ڋX8deAmR k(,yJ(%y}X}Mѣ~A֛e>{rNY]pmmɨòbl6{DhpNwr]w pFl?يwSu5Й>H;|݃H\8״BgBvNC-Pqy]ǟ_(}>Q3 ͜n3ğ+5/6@X.kx} F hge?+Cnqnk7g @AZSe OzU~'Ame>:-KyYk&J.h%AK}:\K>4EDHܾGp_{HZ: ƊyĨj1gYZceG=u>DH,85q`+'M-F)sΉMX)jjaFt&'P˗ga5鰠;[va=Y7T)-t4co5Npq&ؑ+wʢXK2K6e)&bHssQw)K=sg!md6t 'w(u]3ϐǩOʶ:&ؓ,Dkg{FC=;(ot>vI9ЕeX始9{ 6~˻q͛~,\ ^c!ΓyB׬H0Aa O'n~ XX[-&{n%t`JKvnH¢ unztώ&0ƉjрjhUoѨm y;ͪ:}eb̕a*vy°?z}L=n`:lEe@:C 8@ ܘf&3}&A4ˋ.phu; ѝpio[[ToޅS~ԎEjUzxMё0o׭5B .6#UqiZ% WpZ7h;~ܟ8G.ZBL k>謞 #?UB)ôG{S$pA YT T\#tgH% Xj!f@1ޚ ߾ PJ}ƴYISק6kš ޝ `*^/A[XeEq0Vس1zRR$X^b@[ptč"K>: !SxQ./|17pYMQ BҐWN=kogjJb\ƅ^`F)'vچۨZ"]*{xXM%R'dB~Jt9J:"Ǻ1)9Krx 4rӋBӵ]3:ægA+k1( N9i]'|)ڹЦjs.GKKsH`/:HÆ &"viZƞ [2r!ػ" N;y9j")lpeN0Y=pEG@ڤWiB *2T:Woj!X v)Ws~3v۟@]_/'o@˝~9"}LV9/C k&AM\D]5Ws 6w^I$/ԑFvd1` Ƨ w%ѿ C<wmpZ\ 2 m )qU [(K^dGi p 6&⻄Ey<^?zkP/D1Q{s!]H1"hF[!Aafy=1o(c/O65j/CXxD$GSS6NHR/٩Kj EJH~ xeI"\T"1)ja6՜ 0I/Htm lY Iɍm8qw?1+k H1@FQа(8}cC9J ~Wl4N{'SV!>Tۂhrf;*[gT^;RxۃΜt/`6(?aJ7r?9! Te1sIdO ltRsAŮ|WD('L8{ 4mG.S#4لc@޼ihN\{t& ':Xi!0 UI7cѩ; V$u1_ M.9f}^+:!6upa- rCZSRp:+iG6fm nB}CI1[\7lkP?N,"Mѣ&~!ox?3Si4 YÚYQ]Dۖ1:ي6gB(gz֌k^٫*$ճYYQWJ$\JrXbR͖Diø 0#ck+;U2>ؾ%9ȦJL~=Y[*ƻ%ḽSgٹY>]h;Ѡlpb-%Es1 d9SRtc61_ jd?6 0LLG~`~er1aE>-&ԟő>E"\v^atW~+R*ӂ .CP:6К)G"AiO_Yjҿ.xHHB'c>W3Z(Bۖ>M Կ =%[Qfza U<){~eNH8ŷ{ [$HT/Env̚&a09.Մ#%*ZǮ+!So+vx 38 I:ׅt 9 qY*()RM1uYw#)P: BchX:\\(qXI EfL&qX ZDXj,X!j/}dOeW%xi*Gj}-. S T?o$qJY-}&i(YB6%ܧw|F~IDfЦd/hW@OdThU+3X* ]F3o£>Ц8=:ZxeVΫŒR<ak]>4=%!߈91 I@jXR6U MµAj{ruϐ!ӇLhVVC/A4o!WOOyTw\eU?O0fG6u4>DN %Ea'UX{}(qw?;~Vy;fTO #s^4έƤS34(;2^yK<`܋c}.Y7zVf$}s"t h6IDo fuY`Fi:43uF\uc (qvz%lXb7TFmkt)ſĨ$?>|0DiNn^#T.H~C>$ A^|N2HB5 T`ζ0̢8Cr8CM ٩ڣ Fh|!eR wB<`" 6VJa>6D{pc-_*wxs#pٔNH{@L`=EW rVÜྗrJ|5q:uCb2>t̓:JC@֎vI#!In{!&*/CQ5*w & dY>B:>6&>-O D= G&¼LL!46aW(:X,R P'6K~?v/> Pa?y桮ai[UDwf9fPgGr*- S `HÜ* YvV/BD{5+N߾PO?hrS&l"h}leֶ]% [`0ƝkrX`-mh_dC"[e#\)#Q&4JaMk}@h :W+M;;`Vp_lRYdSs]_h9-}d/pXǡGAZTyڗcb4# -qjA%و兝oUчg6#9T'hA.$z fRD`4dA71V @hQU-W Uȝ #A|m 2fMIkkڮ!{khߔma.ad/_rruzε͉Xx\$z ÈXS 04|KB]dr%[D3ܭu,J۹0o%xxU@ȝcsf>$&|d)iEWWPuMIȂԩG Ot'v쪭b(㲊#K+/1Q9 @REu;;iٺkS2iKX 2iTxt>rXɠVdhxi,Z_,:TCܯI+_Q'}rk7 "y`Xd:TQYxiI=dQKc6Ǝ;j~謙5)hM[>#=|*I d Ŝ~BO-hqĖ$MtUwώ^XAcޫu ˳}KVͯRBH ;G1X8^&#D=OOh/rv> /9.`kQ866+[^vT61V*IV.̷YiAApA7unD9"&uHyA+WPGcoV͇,oRVe?W ھNl<?QgHo|nf9P8pwä',NRh Θig>x+Rl3г,hl i0yڞJ@h8䒀J~5x9g bT{C*y\"l6輡4\9dRUNMn5?srX!>ީ2n6(ȳ"5ڔR/h2hҍ VMĮ^wcd mv=Ϫro14X$A@xˎD};H퇍Łgͺ+KAS>C5%ʪАRW4O(?}#AUrnFQt2a}K>w63K1úSQrוD 5j"N?>|&=U.#Ars ^Om%aP|>]}T)YLL4`ʏKXWv(tMHJc6ux5sMeX{Wa>O}UbCJ-I[۸YFKܢ\0mjuDc]1E^9!dMzz,o8 +UפEw@#}ŀBJ icߝR_ͱ#u#[п= 5(uͥ69QL.oVq̤}A_2: ڲ7xuw({,=Xe/|k Me-Ol8g}Vq7)sHiC=oP frҴ z8ҙ>_dwg7o]pQQ{/P/Jk-e5 'Hٍ0H3c-U=6dVRYcb  TH ThBlFŻm*Y* #\9?Xy4tWZ~uO0`ZXԄܵIL=~pd TC ;S~؉4MD(1 /\ƣ =J4+#UZp?TCӳ1> ,5:V7d>1ELjC0sqC+H8$J@o?q:< C[0 gc9)&΋(7?9H T] |/W4= ` v 0aC P -Jt!f~$ _[ 5;7'$=J3(EQ'3C4暨,Rd`HT^W/>{Ȋ.2EfA5M"TUQ{pՂuaÏ ̱\P\ "B F _G?rgh^n0_O_ǎw1{KucՋ <5( Oť*8crϺdX/J e|1Uvc*JEf = <*-[a|W- $c`|2.cK[Bj7= NNWjgGJ[%)i1wN䠶o ɴNT.gP\1:~$mp0 ^_~e#fZwxMIۈ4u>[d3_1zYk香+y. \7O7ja~LKuV \]I*AE[m ևx&}4\ҋخFُZw9LD[gEү,-'bf$ H9<2^jr=Vzޱut[TӜdplEM]88!^ Rk 7OK]œĂZ (;*e07QW,]+ZF7]},-FuDkQf5u~c vjF3Α]̍{=߻fuej¦EU[7 ac !Yղpڮ_YVR*XՇDC Q rx" 2b3Frq^>,HFiNcH?VnYj(0`ӿ3mhxQCUa7]K֩-U8=(vӎe!4tݗ mLcb9&~pf|-~-!: rgc$`IO63Թk@(yԦ1R}H9`:GdgV𵳜t? q<#4_:y&I~mEٸ\V+ʔ+.)2s,ȹaQ~( .lc%!FTasJ}Ga|I)[ߴ*}n1. h,2pRIlv.q5yɮAPA[I*pAn\뿺{y+K[PD/@K"zɝe5.3HaVV8ԱȤa}pnܗjDsF@/Z6NӍ0 YY߻ ,;ˉ-B<1C^PeS*=ZpƠ醭SR/"b ^҇ykیµwR.ޢޅlҿ+@^K #%{ fu1q{s굆[ninIj%$Qq؝j:2L`yߧ+ǵ*J~+'{gՏ$<%JA v3`i ,ʸљc5&i݂"R>,QMem*y: Wsr'h>:s;"]h1ѱ>n!:Fח^EdDL}{zjk}'7$E4Niⷣ4KAp-Q a!P9El'61>ƥf7П`+;iS~(h\RHR.@]q*\*>zr-)*?1*υy@XJ,#Ϡ*h|}9UG-.D-%qE!̗sR~ʩ(6 <~kYF!&ǫt'w]iqO]ay ٣U_++#nJWkZ͈2n`bh>wSIB#HLH#|b mdYڴW9tx ;A4eHqn hv'\[rg1TnEp(V`$Ur.5+hxkWLLXACs[5╆h49QWti?'O !%r,7D5uܗsCX#Ci'BTŒ*5 Y z(bU 4Wm\knkg!CiV!?6Gjt.gJYh!Q5=: D' Nz ӡb-&q>] ͝<[F=kʳa藕`Wq ,7XB+q|vK)h'\@Jm1VG!oX;T#{A.: 0!3O$<5slej!~f:YωcL\'Eb -+bMg؇_Z!ۢ _-*&&3MVMr5-&YE}*οʹq`Ahh'ej Z W8FHb^\$7u:zmՖ.щ<~c<l _TdAlv4ITp^VDBU}V@` 9VecIg=JeJ $&Ӧ!]'G{kOT r-?RӉ|]FR839BLb \_l\_ռ+X Q[0ſ,HV8x)W\u E0 +F]3!l2_ƋH,JmH]/yRRFQʌwY?@VFiDٝvSA ̃7vޒi:LPvsx]Y("y_A WHTvq@ hLΕ8Fcf4)kk,R=sϼ薠:7>J'1D1a+C&˻76-\}2ٛ Y21BO3s^+VĞPB5IBJE! u$& ĮSB:68 eŋ#1ؽQ6MT pd_FAf%>>Xb,J(N\4ǫCTQ;A eJ, VhW"+RJO)H;k*2n-xnX}oH$T4mJLg )hYMY^I◧W4zDx`"N*Һ.)XۖQJyKJQ' HN \r[uĤm"4l6" "d1zz'Q =a2 gKw7*5,1 -&+yNUӨ.¨=DdZ@𘠭҇bEYв^E^{Ko{wmzPr\A  H\/w&Ԥ2k/(@~^JWfR᫕^ [v쁸R2TVzmCd۽&Lb6qd/1Y!_iŒP+G g?=QWv/3C! ^xÇPJgәѥ&t9 >E+Ko#9sΆ40e^vZG-6Ji$ Nd`>':V?,(e]'Qr9 @\L"TtPu_Vd1I2|o,rŭH041JM~$V 7*Hmq׼fZ12 7ҝ@r9m/@ڻk]VxEJ}{RA+)'] Qj(EQEWʙ-9f"xuu53Q*BNM"̿x .YP}q˹F شkɽjV!m2cͺw=KZ~-KTΗMtoM1!}{b"z؍|O?8/m,8Drg:&*nH4PvMu&bv $`) څZ`MLC|b+R4\fo+'ew+el`i=qZ.2ik"]z/LU’ F+uвB|S :^ PwKwĹ Oi>wz=O [UP~3 f~uvaP(x ܳN0'5U߄_B r-"gOhA{H;ݻsc6Ł?;v#JzusySZ-ޘb8_ik|:nXJ Z}pV.ǂfoLO@FXC+wrnk9[."yI05Ǯ=gg\r3?` rms0Yφ"1::o zf *m`gec.+o-癞LQ4MoeSŃ7q5$$khLEp.dQ\fr1v/ۿzpi@<1U)7\䀞cU,c'~,svǫ\-cQ)}!,kYX]"xMjD v[XO$b:f:_1EؿMy?uK-@uƐٵkyá4&),DcVtIհYAM_ٓVPZrB5j1q hybkd$Ud> 6jf9+^ N S:X04X_=܃!^*' jFnl @%߶+.']VV:[<g*'&o| 2jR.W$E+aO)1c)}vHSUHL\\I #`fy.K^IQ->|kE >2ez}M&;6@.Y8NGZ!WKXJ獒DIm>oR8շ5=GxHj"wNQ r>;-S<Ԏ0*rW*dpk_CK {PS̆BL4Q5-5R*<}D'E+b)곲uߒ)WU$s aA> ,|?;r HLaۍ Z:%gb-h tt+nfhM0]Z'a:im.~)EO\r _7xE-w1}gϜSzWCDOvB$#d5V*)Vlf`$M{GewuPDQow=| ˲KJҮoWȼU t`l_[1,#)8Rݺue9h&!kG7K\hG;*B$Y&z'>u$ 6EF%iId^ @Q"짉Cab٨*,D2v:XԵ(y{iErJ@I 2ji郍ShBZ];'TuX"xՉ/x5iOw͗CۀXٌ > |LVMp6OcZ#IiR٨X ~f%,Vq:}//6;1ĊO 4dӳFԮ~^V7{2vŝ(D$ЕE F53Sk!T상L ] ${ℝ Q0c(2MBaP%9_'yN%غGdqt?{_q}.TN{g\Af: LO~S֐?{JkaoA@c* }Mh{ruċ\k)N{e'tra5{aMobL vGEpҢd?7JFn"?F>ߣyD`ꛮbw`%F'yW@/ s~QTql@ǁ4b'zS>)][j0v[2XUyP,nA^+( ]$:K) "96Na,rs!PSܟ b-#d =ܽ b6 Sj '[{31_9+7=ҜA2=]V6`Nm`M5jC0gmn)"y~wՃҌTg9!сJmŊ~k+}Tpd2:F'^+DRU^9QO?2}&@o,idRo'vNC T!ۯ0!TtdΛ[GF 1œJ4s%cz; BpmjdMV85)ɁH u2i) 'RhW KZ ̮F'y;mkad #*@2 y%q,3Q13Yo!L^Zvp@?[k IJ$➡ܗKrQ<Wŗ.e}ZaV%T~üat \{UYeIBj:}TH+9PJ7Ȟ yM ST3E7]ܶ:z9a҃ȯKţ_|^AȜ<=p͒<@zr;7z̽ΐR2&L28GR qAEވ&jqqgU& ͅR#҃袏:@*hzX1E輧P·7v6 b˼Y xO=OS9[79oBoJg~,_tDjE}^\h ,=oaysDbR,5'A #40> a>au^JQG1X)mFW2bǰc6VoP:s,7i r-1]sf؉ #w%\te`^ ˻4 lm\x* /DdBJiNfX[*~uBqϭWmpv]BOsM8!8p"fWVOAX^{z6ſ^0`?轲](qdgoʜֱ#:F@1^jd9^YvƮ"䦳FP߲%lhUCRu$h&"ZEe1[)XqwAU 8$lzpMK'kvƃrcҜH(K?NF }>5XeQz1*bf[\zYt̝'.* ptT.NQe;EbYIlUh1H1YYX? -ƙL pL: P[%o1 mIfS1<, Gԥ$v'UIQF,Qg{YECVߡ&0]+ۭ,cg-AroТ=jL6f{ ?B :Ag͕ءmLmgGxd'nPntIj`sMwlE|0ĉ^`CX%yY"Zp˫(oYdSf}i5D͇k<^]DZjYKX5Ģ&[Ӻ^{tϒexIE!G/u}$cER(1ɠ t;Do׳?! ZH*q=:v$NGKpejO&Ӊ.C;}\NvE>J=WIžf+6ِ>0(OZG`oMI˨XxA;̑(MS]U|}\ ջ5 -Sư=z-l,h̠!6/,VnMJ8*snoC^H[) <`yoi @Cj:80TVF5ҡ_7k"8ZKE$H"oxI2f[3js'4N"Y cG\Kr;;̇- (|.rsP2ۇmĈUk<\wxF?}^%$*_>IY]N7e%&e٨%&`\L@wV & ˉFqIihDk%h%qR}#Y8Աʩ>Z8E9ݔўdܾ@pq_iۙ^ḽ{Zku.p\z% Tu;lˍVzYZy]p¬Ek'6avBb]*OjuXNwZ7/ʮ ;hz$J;"sCXt ̵[WL$)"P$1X-yvF#OsmBp$Wsrj&65m<τG&J"OŐH*} tRl>tlPB^= 6#iP8 dh| +k<14M1 ]fϷ}RB'xD3tlpyoM?,-*?5reǮz_5^vϔŋ3 kqs-|̅A 2JK2rbDO{|jhx\A^#G"|ajobjMsPNxT]*P^%_5FdO 4[;{v+,}arZX^ ~[ZRꍕG؏h%rSn^|T |Ro@ {|g o_%s8-;\'"_,cS.ڜޡIjU! g`Xi80?myr1)-C:4!϶Cl~=^ů斉oa!]ZG\!<;Vc&}j{ai} ސh9b`m|RA ڹB 2 [yQ p|*d'텻(E:;mj x¨΂KkZ,"]tGޏR 0N笳fsQ`/=Vt3ʹ;ykp!b N Ehb֑$g/ 4MXOKR$C7We=)58 ϧ-*jE?P)V `;-mO7M֎lNN@;ُ/-uG{Kd~ k;[T."7؜ٌfb@K%|Ʌbԥuwm s ʗB\`"L:'Sl˟G0Ȑ X구ThJyÄ0Ŭ}EVk:h"W9XeǼx$D+JCY}>r&F_ eIpVO/}w"}/MѬ) wY@_o;S3m^%$A(pȹ?vb%fKdmt|ƨ̜LZU/XZ 0)(VĀWkb!=,Tm;r=1HN:l?.0U 4"|;K2Ъvol/+R,i7L[U]0=hw8}$UNf<%nb* TuwmL[ώZy0U)eS'/Ԙ4w'a)s7ɒ$3+\m,'n'/QRh_e#R3GנD'wg.n4'⯜3J\O#mqWk::]}&©I</xknB08I5͈ :a'peg=WÓOPhx9 fDt9-uhNXpDmgߞ鷶P~Śt[;/Hrz2kG-7TD _͖kVy>{k`zӴ/=?H`adFZ;TZxJ%~* zr*(T2{&zt9˲!6; ~I.S?g'RQoZQXИ z"GFz:'pmAIFg&Y ߗn=@XsS#Tvŕ|rЩȲC&KGZA1ck?:a.].@ĞDM \%Z FvzgƚP8oI[rӷ;WRεZ3ܱw(4ʶ 5RHHn7OnD9>1 @v O >xMVS!Ү5R >BQ{3k`vN%] @ԩ &I'$A Í6)Xb/X㻄;t;{ 63Ynz\⑐E&6Bw}FkʔRKBoN';0BQyK Zaf_Y퐓cg{+(z?{]G8Vk|@k !yk`)%JVLVHn@a|ξo7/oygvKWR6OP Ch!V^`fZL @נC1z08JːĭYcLU0n-;񦐴8 /0QFm(at 3Lcb_!lxbvbu20FN{ qGGS3-stp5pC+tY{Jҥ3C8$L` r^ײɋ5e=0 Xݝ˼oR*A8}_ok̖ OU9z 82jl"g&EyߎȰ^Aʹ))# ARĘi#j޹oҟXCXFp?jhu_\ZJ?:9@U|+d&T l.h$\5$+)!hmF,}ظz Yr%Ť aUT{dEʜi9)advVleݐQTMąc#,JJUי.PbFoоK5Y$mXtʝ<.V@YxZ\|!Xc)5GKOJԓ :}ktVx_ ?嗕`ZXCVKdB|c>hǺڒ^ImQRaxdFk9ձPP;N3U'FYJv` 9:Nݎ癟2.|yccbB2.Kو;4R:IbP`D;5 aިë/ (n .>_hxL58)ҋW9j=(loD:oe&.G|lWC*.=r3&f]5h=*Tz[ܻ.5'kh|ni?-O뇚)ӊeNf+Pi)KAF=SM5+-*>`4"\/,syVUY&F GF-70EF-싔y[5{jS2iJ&'z\+ =mw$@v xq <|-/؍S2< N0`="^1v4L1y&Gr%QF}@Har#fgaXMf-cIe#Z]BnWK㾐ªւF{|m]EKF{A. %cX ,yNgb0of3lݘo] &ޜmH V'!Jmgxc uW@DqGIy[ra|T-$ɒ;@xx+hѴ'/jŋPQ-4ʮ 0M{ meȖG;ˮ~৙vf UAD#W6۷J=0I¤*r4sM]K9hH[ur :WI/[/' }lQ>'cTu"2ԇFBوe :uЃw .Sa2"w)y_hIK##A %dmѠ~fR ۓ܈y*&M9Y+j!&˕໖9㭄'NIZ- #2#VfogszcD#}h$UD ڊ$kZ2eatmMW M5;XOQSv2W,;]*uU#jdE81|2ǫ╕"*piXG:ˍkvyʏB)¥*ޑ& 3_-kaSf I/#xclu@@@<&B;LzdTi%=fOHR33KI K9Dd[Pq:QD1f [±n|ߦΦ zA W[]C;⥣M4SgA+os6x5 ra`e㐏9Z̍fˮF&Ͼ mC^NtIGKr*/$"Wts='y'!@e;_hW3\FDXlj[<~R12e6I9'Y㙁hv/yT  KuS`=AL܍WSi*TWk~E1MQW2 ?|_ЏO-O$muꀱL(CcJ#ޟT4{Ep 6 f&oxO4?a[fJtA17A|MKK)` ׷-Vɝ^ʹp뾗Ҩ+N ')w!2]sQBA/}&1+Wu_Vlږq!KNY^ k[{KDWP3x@32k|ɨK0HqLUk_yT uGXsZ78"Lm0f+SM\c@MܒWS.W̍z6 EbbZc+?^2& +2ba_ip?PLCf*~8x mFkc~E)Ьq0QREL-'bhDHPW,EQ͞At:jqUNTwIV[fX @sн_/ PuB*h$#F#o.w{PUvizs$$weL~:Xɴk8UlF(.6OUW"XP|"vCvhYN| dۀT/+z9$f9}+/ZLMWSgYQ"RgPBQhw8Dz=;O-N [rL٭d!*&9)͖G$J"4h^\S*8nh8؜H8f &_Rk@6**ۜht1~.ɫ.nDfZC^J[T( ˑBnD(MS_OCzұWs >\+- GCQ-3 i0sנ]'{rl J4ulFoP (zW|D5ړ-c"+ /YR %B7Y@Nuhߘ!'xne4#T+#gAx踮Z."?eoK|(|^MS->&$n6YiJ yfٚdK}yBX67dx!m1`/%5dhNB{[喙xiS<-b] 8e Udg!CWZf3|&0vJaeKxTۓVI#2~>`Suݑa|ƚu}@tm3 kG,~|sW(7p *48Tq5ݗwC'u'KiÏ^9$z%ȭPlT6!aP)a ;ulhI=P;3W6ȕ .!qRc+r~Ö.lTd7#C(ъ̗&,Hq䙍*8XS4 3tr 2|¥A<˯6hUv:KѳPr倬,z–QR9I=NX ׿Co*yc:#;ֻG(D?q.1CЕ>#qS%C!T%S7A*<ΤgMHQ??JZ\v#ndgmRŵ _7 3F{0ս]^$tK.鴤l1B./r>C}Tq vӶ}boQxkZEnGV;(=M&sI')CCAm*ˋ4 (UmE+e #Yv#Fip⠶6#ڟ̾0j\@vgP r Yvvp?L 4첍YK>&CV5?nWIJNX+ޕHKm)%lryТvCOc#J&[|T4'gE{9SA/ٵ&34W!G 8@[$p&@2}Di R# g2 $Lg<͂ufI lJ 3u56AsO;\ D2H5ʂ e@0D%2Yg޸ ɼVBN r7(dYTyݣnw $u8wQfpT361O09^Ëu(\6ϵ1dQ#?Z6[c#4DN#B%t^Ll' 60Co녲6VusؙL xfvaeKIS+{vLrC7b6*16G^M#1f5ۘ7|H7-({}%Tf‹߭#+*\G%P*`HL*W1؅eZƫ.][Oœ9+}`-.3̱b\X-2&ȟCԬp2!~_˰S $2"qsbpkkKeV+B N\Jq β{i(wش|?[2ppU~lG`dw8I sʫM(w Aw]g.Njifa B^a~F?`Žq[&2AO[g]_]hqgrP/Өh\IW4>jco1iU  _rlW 3}4STyLq<0K)5!YFK=:GcD<(?߈鄷=P?}̠L>1Sz S4Q v.V*AP8i$)sֺDwq aG=`[&>,o%Ro8~`hG~ !dB"_@jHټ A Kڵi%}ky֤)]Xh!A |"p׉eZ]gy|$RX_ B&5*", 99bZ+4M +n^D X)-If|%QY2r+O3 gnw֗OP",6>B6@[? mLZ+vJDHfJL T{vXa%-̣͑PnB`2yU Q ZLB}Ii8 ;s^p,dvѧ:{ T:I1.nago=35FF9/V [h౫d^nxiA 2>%CRùjg!r4W9 #[%f^7t8C.;|/_Y7ORs&q ic{4g;}M1buՅ |]Ai=ikHYfI M/qVa!w j5Gv>T3fщ)ą @чNNh|K c +!Q!`Kd&fBeiv31zר0 .[+ȼ<^} eP@J4`L`<w$5nW13xT!F5=1 ,ڊ7tT\ 噋`R_[Md4;UPAŰ<3PL,ݿXh٘eJ;.3U[aU9k' 5- /s}i%FN3&ю>xsΘO |߹>?%p&hImR4R Mo,jvxK&(} 9l 6Q|D}=JprwdzYCH;av_,/N>kי kڱaW>+.?O "FIDBxh=Cnq'UK$x8tM:鷄!ㄆnw+1q>vK2Uc," 3Τ)cU2]uDr{篂va@ zZx [xcCnЧ ٭-blNҠ yW{MqRa6IFE-3u|Cp 2eQ5YT=.?V#bē^e)w(;[ol7r1le?5`IՖdoFeVy~~/;?_}QMfx8sߵ);u= o+xq0œ&o,>ɛ4{XڏD E-0?FKcg4Lh?X4'MPlUyBu0ޛDhM~D dH疌iu A-%e˗"f1RKծ(ٗ 2 Kf%v{f[7gӥr`͏@^}ˎ{F>p;'mo5ӠAKN\PUgy^ݷ3 !+ƊtK)PajUDYq~QϴԴsެqr%40gLҠ^>H2cCi-.AϺ,O찟5rQh|l{#Mn &Mh1&ZHrن/s)G$WPcKIҼs@D,0W}jt>qdpuQ#2m:47g;b5Pf=Y۠P!XG8d_13֡ ە@[Ki`46ȁRw:6͛c^mx !Xt8 tw̌u wCoME QT[OjJh, A)9[!>'obiQ~S3pKl_XUZFKdg 箓0PYmTcP;ީ)3 Ū Lo^uMk*CPc0wI#":@nΩbee;ɢTq-gT.^yF42~нfL'B+MR5V ;]&J&;Bo-6~[A5/#b/6v/dhUx8G41oCrX[hoP8[X-!|S5&ZAݽ01!:Yf!RWƪ-Rk>FJ DL:G5r&7f:j|<-}!ڵ2d-$=A(SC.y פH bH;ҭg!qw)cu? ۄ JuFpɧ?29"C^ZXdvM4ң.:cU|枂 AJ-E2Opv7pn,X͚tO+usX{AK@MrkNƼӓ ɳyzI135EzФm$XtN3E"gؾ)2bh= R*ULc٬Uz<#, Bg_܈̟=xY`0R:6<+.X_xXjD 0RhѱӆG9xǫAA}q\OEO6uRWfȟ$y0v2ǐZ L q-u)1R||PpCp Z6|ۛ8x[2㡛j'F@J?zr n qq,es9+,J\BZN.F=G71C%c{>nz}Ʋd/ "3ۙ.Gcoהi?c(c)zd d$VARk=rO5M[>mVBV?50N(,o{ExQ?5a~g\!o&Jiʞ3g<0.*-Bxs{6&wb @װ. C mTH͐m&; Y%U}L*F޼%`&~3$g>=_,iGB^b\KBzsO.=W!%gde&|Xsu!QC֑?KXYb)YΣhcг/` %v K5D )Y7kVEk51k+@䤤:PӓiHzK@YrαhXЦa W`4B"b|T٨5JA!/eb*vߊ!}-Ho4Lk۸6WBMnVR:9na5&N;TPMܺsr䇓,.N60켳YFZ?4=)2^ HycA^ P`WGJ$?tӷvt7w_75Ebe..hAKqKK|͒6ʴt@Fr>a!A87Ro%>Hu?|jܢR8ʖj 8!hVb'2X0> Y(fqӚ`&p}MAf!]KR5%Yohclx y.L;OSfr.ZuUoFwp8׮_ߐFD#(s<{PL1qQtd;68BYt&m+QQ:Rԕf2߄4*w|)⽱ڬ_~C*$*^{SC7= N?̲[^Zp@BD}'1Cdw<5YD#:uL4 I[n_mcQN$ed<vW4re1Fm7I؊3Rqtﳔ 'NYZKj2 Mѩ5L%DH՜(m]GvvhbsEHn/u:pCV Z:7x"InWVxL[Fc^_Or{iOK xX@h.D;2Pk0xנX̎9#r?VEpK#4Rusc)/2]n5:m7kFj_"z??fM(z4sO>EjJÖ{Bx̒-v_[\Z7m@qE@X^2̂<20; !%S8M/rr& ooLwD,vX` `5 I𰪪kNb|wD1{}^FJE+Smr}5/Ae'/"/F^o5իRdQz>%JFa<;rkhQ]zdk[)҅T &@j)`om%Ҧqpb !9P 1װg ݱ`] ٲE&oL{:k̓K𨙗aGP%B*^}5@m혀sʬkhK`O!SX^B2h60bǚاZ7*fg hB] !ei7,1;@r)!nQ)/L/;C8;GT4BԦ ,Zfi8ߡ̭{ tN'ڌxK3qb2sҧ]wa7xrPBO튄Kۅ,%ȶ#J|x A54'P` | vQPvSX^b}WEyg(ZocM7z=V]Tz` }׬k6wF?[B@+~͸YF}&9J9ҫ^؇~l6*8 ~iTSUؒnj K,18^b\!CT Ͼ(C1)a_n^32/S]s(Ppz o&?|J#-.7h>XT,yу2$qU~d[F–߱L!&{7$RE暛DˆiVSƟ' z0Bm"Ѡ]!ޠU1IRpcrw?y> Aʲa Z1KغK Q`ڡ01Na K(:~xD~k?[I ,Q1w]6˳E ]bY~aka>8hTy~h `+zRe#6d }: ___K|~U:t!Cуe7 ,.C=ш8M2 n"%cνSr ,e޻t-1r:2rݘ e[d"pkloQxy , |瓇?Bt벑ƽP`fia}~fpx R2\QLa='I?jTXxaկoAZNQv(eKq "aT_&̖ԟ?< _e|瓝t[TwQ :QIAmzfV$Չq@9I N*]D3tjǏZJF`(%*D16vHD[K,! 2,)`mPh&u 1/ƖaF18p>zۉL9gN`g` ÂA`̌:DL;K dp݋6|rwafr욂Q-x$/6r&lJپ S`J>%!=2g@OGeY9,jQQ WbIzLFLVѩJG- r 9ӆOULzF+ʾu^T_b g5x྽9ɀ<-~3IcS{A?RuZ-Go y>@^@ j-ҋr%:T]RSP9 e[ Ŝfy8g \YC`[*LR2n,dǟ 2iHj϶<#^xTg⮘ҭEg1!9{K)m'$hUC{UGImFl;{_.bF靧kD;MWE] s R+}8!p]<`[N;u?s6 s>/N/c*p>%mR^:Ɍ; Υ+\u $ PR U3f3?Tv C2X2OeBkP[U,scW9KiĐWb>\֝nݢwLfk߃?{D2Ju14"d*>c.2sBN0)ypI2faAD>9)_wk(fAz=» vG.Iagu뵜z5rn |hCE%ٻjnqzFe- &BG%V*oT96LyQ*^tkGP DI 7'ŬmDm Ϻ%iy/.؝Q[!)f)Mil ζ&\6%5&҃[jf2\ ۳^Kn鶨i02e~EŘv*0pmLزxPq6OX[bcBIEw9.wuaw~iLi#roiQ"J1SIw/ 2ow gO:\ V~&$Q\)ynvf6BΘ5dZgOΆOI$8S} J^Q!?\¥ךV9I&nU*UcW0g}2S0m[9x)cPj7{eohΩO9zgWcߪVɁ̓U J45xik{ζ3SG'ģ_N?/6",8W~S;SO;䲓'mh66u Ҭ|O3;5 ~ Y FhP7t7 Pw@#DW6gdtLY I} 'A^,!Nkd"B8f-o3c c>Ѧ }ǎ{N B̰rlgA57 `FM| P!|1WoYЌO<޲MQ; 09.";cȁ9,,KcV0cl!{+ 1騠9w_a53^::$-e X#r {_zglE6^F fA''8G{p:6šK\bKCX\LY|g8+~ej RUTx$fq8ఈt{{&~J.TK ] ʟ @Y {wR\S] K*e%m.}r-e1u.;'Ѣ;WfS"<B)ڐd'5#!0c'G> }:p^(}: >,lŐ]!6{g9 [yFܷ2[ԟx3,fH4*Ms&]5z 'ZA7d=A}&8F>t@ԗ_hR}F?t 5̯/:vC9`(vkd@baL`+$sv%zQ2'5?6pWꭃDO}W{ߌG\`R֯lJa#Wߙ.X(76vgX'"e, ;8LK\6uR%KLf-]gQ= SkBSz+(TT[!NP+R\"CRV,sa#,j,,vv_u`N,Bo~ ٽtVν0|?=NB]gnՆ ,2ķ+%ov wtd*~H xQ«SKPm t1rgTxWCdK~Ky'Oqd圙Iƣ+XBTXT,+M$7dOl"KZ%Y<승$fXMDQzZd;Ba Fa fl *pY0FP{LL[v-oqy_"BP`Lˣ3diKN}~ョ;[YZ;&g| lGڝuXB تyU^Loy4 c~ye y%?M&n/Җu׊ˊCp'#}t,Dl}(a4#*Kq ^>H)RmS]u8V[PsjvGZxg-oGeTSip6 VM1s:+~xޏgI8D6SՈ4Z2%p*9سʰpZrvH)iȾkW|yVC;1uXY*eV P 7<B]<CWN.Eɨ (͆;_.]vE$sC5x9ڊxOkP¹ RK" "WdbD‡WMln;U,ԤG8c#,ӿ16d"8دY Y0o$KAדkn;Qg=nqx8z0ppM@4 -*-H:ۆI 3|u2ЩJ2m] Nk%v;bQvś4zP}1 Ie#.v>L2B-_UC7NoګF RdOY)VG;5zP:K1 4B*͟7P|Nk"#y\}wy9 Hcs#:4Hq-uՏ;Y]b u/7Ьo2DZ`q6p1K eA4{|36Hs΍6Vc&h0y'>ϐk Č!sr/G\SMt%XFemHﲢ|{z GO"z]2})TbNP]1{);]3q$W(p WYɼ@TIsMڬ»yaKL46}ZEhrvXQВE\A^,|8wNg"F|⁞ٌ9u/nq$|).>`wI"+̄Ih 2%G$= K#q劚Hm&uPi EH5=?rϞM c`',VGXhH {tgƒGAѓ]'aǏYCD';CǓ:+rx@̐Zۙ UnsC r!#=YY$-C!S-ٝ:W뉍XaGd JÙ+fAGT0D>x]_;}kAƳ~Ac>?Q*a+keo `tBThh56u؄ϊ:~pg?sP_|*t3e<PwBp:Ɓn˳CbB|`;/EܼHqq5mZca"6cl]m/&]ԯB75 [Gf&c_bkw+ۯ]$Hd}Pe)PhWX%oR2 :Ьs*_$]Er`7\%U|\Z_v\z.O뱡 *V`?X􁝧vqR] 7 pbRSݺtPU?3ՈhSwKlWQ~^8u2x-\8z'$OI_ i>|v)^wat6<)pfa ixTiZрkO=2"X6yrWj im,G!O8fx`Z9Nʺ󸜢>s]*4!x!Z jLnt%KlO24bc4?4bl"b -XVz=w}U"3gSwr5l *Ȉ'?޽fxH<%\,kJ{|KbpvG-+/7y33Jkk^Zoi B? ZmlkZpT -ĉA ;;cĕX}ԛ>E_ΏX|a&\Jb; 󋧴k" (Xs36Rbj/厕h&A ه$0 r2qo7Sf<#! q;L=A*,eTQ 4YWÂJ{I5x广簠fDvî&0# w:x4Y=rҫno&^H(OdI0}{%us G7FLMHF0RBAnDE-9}9i.{ ml (78s5(༆"=NVZ6޸gk EMF55L۲Xgw+ ui9rJsDD EhSOP22zJL^p1}8i0@ 7_wHNl|c:H/ ?tep]0B *E;?06V_ə~Tk ; zX\Hⷵ,b/7ojx"J>1v~ϻ2O.Na: ԝ %:CI0i813DvLIk57Rq66e/>Q?*5+en]Y@D5hxj}~C=/w5sztLn!4VkU)VfXU(gj@\6/sz@W6лiJ9t2C{KhR~ h\C RfW rfCvnE:| |{)b0 *+ O|f6aVsg/(3{|` e/j'[$h1ɚNx'a/~jYP*)Š7c؀FIe1zI l*t1BTEkp@MO@b-.ʇ ؓ 3^`Ys =g~W9@+݋дbcn)g[%2Ҁ;,SDClޢǍ{;'`Y9`*Bf"a[MӇ/M8 8vbL? [iWM쀣jM'UgFX)?SU&Y%(kUA~4cx~ЖĨȍa y(^adhyߵv?=KѠܑthp jJDgq4-77 töxB _.-:AcO֊ʽc'ڦDUyWnC1MkWNh8BK^o޲vp_pDx|"UaTU*W_2 SKfS՜ UFeB XWeuHy{[!WHa_ޙChhZl+?FQ(Gd Km?M'JoӉӳeS'nXF2+㔋:IG)D?Zv$*] >N eu =K]a~aKDq1āN!,DZ`cnPy_gƁg056ߘhl#\LswT̰=_<׊\|GKbxc7^r|$*^tu [d% >w K?kljPBL-N,@2Doc8omT <2E?I#*|[OŰZ=JȜ] bAoP٪꧶߱t7y)d1HD%: vĮ*P+ڛdں$/%<0#Qed\n{z"{͒%r6[62ϮpHх:ЩPJRƈy%.rsy3LIXvNWwVZȐ#| FFT2ĺ]qѳ*=ܷ+P hFMن Y=I$7ց*p$#r8 ## k>o} ᒂAl_iEo ayh,@]‚_!Њً%[j3!.H6s7 Nycnc*g]܈`p *1y\41/C8+{;Ǖ]Da1TibX#@viep[l"[Y;ā՞'"gE1;l/qZ[׀ &U!1[UJ[8ϯ)dWSRp@5hKk LB/RUYڭ@LޚkwiB< =b~)9S*5rC8%v9SSݽ^Dt4!x[ڑ8\rd_Rng Gjt5G7MYOYA-RNݻ _?nSvĜ),PPmB,=s4-Hs5+:􌤢MG\a> @Ax,&_hMBԡe~pB.C W)7/%<v@"VNc lYcWv>|/Y#`؍<Ū}G`pX&!En(o8gE'. JmTdX:'gy,yE7^򕷜~GTq;s4Qp>rLC姓|P6,ѲTA`@zӻ,攔\ܰކ:FA֓B-[t^n g-3Iz ԒmqSBufm":ǏS;3E q(n~'S\E( K{iFS*&YƟ#>?II1!U?2ʋ*f6Tϊ5I|ƴ)tP׷GD;F*w.Qr?=> :Ӱ#/,qiG%~ Z*zFnޭMo>U9P ?U]5)XYk1d/b)T˹BqKmY\9Ëpg:,&j+rg|R}%FHepsf9)݋wBA~}Q-.KZ ?;\t~G/%〶\Rȯ:UU 쥋 p) 6AuD>a[Kմѥ[N@.gQ ԃ^%XdWR'Q⁥!~@iK_я ^7֕V+iCG/>ANnQAPwɾQkU~nx<&%,|8oX$_MBG{])>( VF<$v'FT^#Y'2Avz0 J/L⃷١DȕbDܙ df(aݙGui<,1̧WC^`kVy@3fҜja0X E(:4tU;S:ۖږN>-rna!!k=Fҽ}t'1!sG"YZEq`''{7[ ۅp)os1 E+i);;,Nݐ-:b(ڸNfi^2OG4v=D Ddwfb*;Se+dSuXbE.3rqPҘ`F0i+$82HfIǯqB(P}oNBYTkԫ *.zcc&!ިN:J1~wb˄dr=hiq?-Ey|! z #%9{O^M ٻU/SDx,מnXu9BV`f3?Ѭo|'N m+j/dOf5u`!/V҈!{&Ȑ a¡cb&W}CۼŢЪ~b_d=ЙvFˋ\j{pSǣ#:!~%:׆D/pPGt3:؟| 4ڿV~A&SF$AxUN 9pd\i5dU{[iԳfp9)aп;_Qt@Z,Ήff5Tx%Tco.8@Z7eZ@bП<!6:sO'|.F5({D T3cēoeydJ{櫓 OM)l3P49@# !'5]-ECM~z,FW[6 Oa@&[cu+v[Du/Ȟ^N,3DTD/ Ħ;.m`|S!$=(v_~2ӫAtԒK=Jѩ(iZ 7dV# &Z)U͚IkOxX,">DŽa\!砈eJԘt{gTཿHUnۣ ob y\,y݈A_<ޅc9d?I3r3$oP_l(mJ>!4Zڕ&x7V4uoPM;͠5QCC 0s2hWU Z1>=\ \N%8%ƃ s;F]3 } Q,!ҰTTVu0 X^#۵۷PW蘅{A*"ӐDLqD8kP yQG+Wr'>IyF*|VѴ!fJG4A rQQ5g.{GS'Ú+(hm9%L 7Ա9#vc c33E3H_pJęSV9Nn 9 ZnK^4/yQ7S/ODc%G'K6?8]]%Qrt=h:{:}2|>Oߋ3@I$̅B9J'i+&J`:( ~vH^up$\%Qsr&/*vz@]9'?Bu-GLnF1ڥnU]Mqo%fa{ٜėMB;o$˹jU.~t@.dU`=SFbi[Uyo@z.#(`'٥>Խ9C%qzHp^5M2}PFEۜYh1Ȱ̇M*Qqr?եK,>lXw_hpTsEXxM^ n4)eևP9gyLeC^a-ki/NdBORZʽ9=_n!=QItsSI^CCLK"lXj B[6շtZ_h?lh ^[K ma!b6hr?+rY>w6εeSkGmm'9iNgJW0H=E!;0sTڢ؜rFXOާ2g?WNR| yCjij8I]6oWHT{F1lY>L=B+W䘦T <"Oq/Ɯ7 gaTݏIinQ79iJH/2X1'p@NFCzLq)9&\ EDPoB1-4B%q{ZNʅ,+hR)->@KIN{NM$hҠ0ARbo0D^ `&I3W6 QsiJi e=:l-793>Vȕ\@F6֌1X^{â.,MMm闧6oNFt 1<ێzhOzCjjxl!|y|1OdDr,*4G>:J*1:#9  2,xv6A6ԙL/+GŰd8 PhHs2!.h|(zze7 r>`~^]Hvsn_$S_M-8:ޱ<9"nݝ8N/"h6T#X݊esmMP7vfʃAO6IXIg|qܚrO"7I g`pJJzї|bj}EGk @5;w0>a9Qۮe1ZIN\b0LjKrtov,s&Qln7\6+dDX3u"jb0d|&{~̽,(|vP u(w*ƺ}xvs#泻gࢎvVvZYmU,ZfK)7"&\fpš0iϪ8Ǹ8@žMd96cc 9o̍ky[qׁOr[9#!PG%af_0*$:P9Ղ$-q_ /XY(an{1;غ;@MAl=I'Mܣ1"N+S IIj__\-zB "nW9,SgdYTl Z%ݐк]W9۔n>Qd8c|坺FB,3fI` P.59LL0KզQD#ӔMJD]evѧ,, SàʎLZ^ߓ0!֧U̒5 yxɄKvVRWԵKn,,^[nM)CNJخgyFgW.?@)+7&jX"akN(djeYS{;Q`g3L6G.sVdT$B'\~ '!?iPR4O҃ZᾷZGLhbADdNCy%]@̂->Ӂ:ΫfGy^,. r@>x+ q!WAYHUR/Bn>;~/N( hM?~JAzEãBJIBZs[ >Uy`gwBfE&GtgZ:ܥny3֭ߠyg7ڕڠѡȌė: e+ޑ(5uXC\Lf%AXHbb-~O1ŸDNm[W~J@vS<G?s45F_h v˚«O > ym@8=4 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 +bTDO!ؽ1w[abz&y#1x'?Yb(rӆ e pD>ZwV>ѳP!-''JM!GFEnɯ~L/h׌{BbPPfOTOJVF} 6m̈g%peb) =CWH;2 .wM] ȟb ԧEyIK{q'Gqrӻ<8qyP3 x&UQop8)X?kͭ$X 10e\اf]䲁B_0"IϟGd2| }b{M] \g{BuϿհby̡R ssDDB*C.@C{]Kg/Wo^8g3mFJ[((7?XJ5[!U4 TohNth7.cP9X vםf7c&+FgoP6|/-7NAp7"8ȪjJhU=5lV  q^L44 6gGu<9J[A3fL,ޚ V`ՓD04DH"10Mh<6)wN,CL#^i?v}|L*? KPyQ,篷;-e#\ ޗT%Vݳ6ssڈǕo};$P3=zeVN4ARY[܀q-H8EY@hXާI(^EZكV%=ʩ'n~A;)bjE]zhDal DžZ'7(qcU*3 .!ԛ5Zg?NIDw ?}t_5Fll5I̋5WH;KBK5  r 8[2 ⁔:vq\e^DyۂExr 'dڎ9?adXۗo[:ߎuƎQ21G |P'P,':8}uj?~o[ɠWܵXIT<Ux/hbe#%Y-X?:{`ܻ-h>~nѫcWp5ÉPlBЁr-`囫繽jlȹ58 RP@(TPhw\]Ny"ݑ9E!a؎(>=;O:[vRDd/f.^_ԄWGMloV:hρ-D<7~gLlOd (oHwcM*8f b@D΋E&\a \7]Ӣ:pFk,g''$qR=5 (ۦ.ib0rB=x|Ha8+K&qͲ=zLV} tkjq];IvDn8n>f̃C.şg6b_ܬhiv `ܶ2|fUEBoٸ1B[>^j8> %سtpj-RDUB,jǗ=&̸mIl.eNIc!?1l#"W6!8r{DB"Z6nBx-љҦyG2~[7 `IvR:P1Ѯ9擲lМ$]3 :oa5'@8iBzElV߻1U;2 o{-gu84`i qƄSe+.ю&׿'0Ƽk:Kc'૘ {?J}@+? / =cBrarP;> O@aڷ~da*^>xBr5P0=T߼-1ZN4 X8a* &T"_sf.PcͰSmfZEY-#%]}XQHa&xi情dk}+= 2MY ԮMUk X{Ђ|9aLBm*9)TQYTxBDOd%raSbsMܒDCa(־y)1+o l!$#]Kg &U1J!:490|qeICQ0 @`dlC6乫S1u_ܗVO+kNZ:;QOĒOB {P"2‰A~$t~==:vrtG=X6ꢏq47?. M|PT=Zo`QGhK& x H%S*,2_:bmXZBl2\g&hߍk%):dm/(&`u;^};nJV !T͐kͲ>@&%\$_/2g>!_zCNNl*M,6tt)$3#Ȅ /3 CSp͹]Pg2̓UZdK0z`eXy=S1p/(}bmmSNDgUS ͰtTNrcim 3R 2Ƹuj~scR]~J"dR}A W)396hL,/ ( Yy @7@x(jRXm%@Upamq/ bZmD?daNd9vu?CߛoOCMՃZ ߆yVu\+HNDk"%)^YВ{hr 'mS{lɈ羮,@wh)d<>j"'!K{v,EPpXe\v^'l$PNV@4|Ԙ0+zr'#Hq?ku ,êٜϛNQ}6@e \xgł4|??WPm"c"]`j3Ws?QMKtplBE[9܀U1\Rq8=AG_1Чs۶+Zˀ4\<R1B ls^>jwj<~ "jӚ r1D dBm/lχ7MlpEvIF*kUHUO*,o>"vP5)O}Ji-%S^!%_V 09⦜:Q%K >HJ;>uGOt1i la4ZyYx\Zt$Yx?<~H Iƈ.swyX69ң|:$5 = ne<Ų8ZZoH|h0әϨN]ތZ;20Z<ӣD0uiMz* <R(IYhU4WU gL+Ѿ3׵ }+dBglV~V7$G^=/UaGwe+\oGj"|\pT؄anL]Ir t@x#rK߭{c.usy |T 9B=܊ĪMKf?QT 2-C ,\ف"/EHpLNނ0l%Vzd$)ǟIִȥ tBwa8}b?.Ec@*7PsJWJ^Xm TY754{nOv,>YJx++|Kgfނ tdi3̛Z4xɚJ)eU@|EM80ON_OEd}$-mӛ=ad%ͧ( Cj 9MCiTCfw%Gn:>Р;RĨ+̚/UD .`\aB8cj=_hfpD֮hTK|  9@T:>=NlHZ)_A/D3QʪC+_tW@Pgg\1mrbm>;xIJԢVP_2scȷ!vd҇'Å#P':aA/g* ZҚLMڬpаN7Κ )vD^&dDC&d4?xi!Nu?[,6lT[cZTy5#ϭXhtpfH)^!F>Iz"|'Js礫S~RIl9}=ǀfRB3Mks+-).<U΄ RmpLx;Su#S =׬zh}hbˇֺiY~)=fwkhF`@-kdw,%UtfK[o#:=^LLJ3/jUa6\2,`SR?q@ Sej|3( c״4yvfi`vH6Hm;d/,'qr9rH<˚:90XF.56q6ZF$ | U~W%f8CZ5CTy6t _ڒ`.֘ߦs U 4a%6KK׎Ƚ[%'[ ۑ(,,"r;SXњFDl*pwR{*+8 wO`>7e[&'y|#tH7vԇW +M '4*c[i'SsXAl;_)[A+A,0֑3-u4kK뾙 [߁ҠvaZ|_V[b3*4"bv8$@w`n@AR J婀XxEZ{{v@1wsB@e|f|S[ SdܰOV( E}<{~5Hf/4h(-$35+H˱ t &6&d6=#tdArs(t:D>dVYn o+u=8 !8/Oadcb V48H0ZR҅Ĕn3-<ځ?_|շe8joG{6rM=d#ݞx2(ɿn6/yU>%$D 2ST7t8ش~tܐҺ8G[.Ql 7_w]`n6NO&jLI0SlpoZz^*݋ )Pfvװ+C?N_ 3}ΪcM'W@שr w:w& ,EpY0Q9B+ݢW$+cFa`qf;f#ט`ZA.bcE&BLun{_$)d 9ToԎ Xfk4S^7*bÕv: 2,|=QSLAgV]⤠agfg\۠\ ƙr)t\bm(54&$4xx JV+$'F2= qjD"|F,-r\l> VPeKٳ:qÔkq7wi{"dIHպd`:?YC R `j{Zt5G{7%*)6I^fGQ0Ɩ@apVZ9.)g ߻ 19@PF4ZWo3>[륏̨Rl <q,}M&Sd#㴇*COx ~5$@"!Mi(KO' Ͽ& |1e!B-L%mPIg!'vc `kK^@&_Wg~Rm 2S8{VdٸɂDZϬ~A~hU fl|ݗ.@H]LF),15d8O5qܪŞUZlǨlT}* 4A݅/Dai`Wg*BX!CMs O.7Qpac5$<">5ܰco%!u| &@zlGGTNe7 F:{W چOq@\7sd؎áAܴI(4Ye2.vݏQlN Lu-#\xrpVJw$/OU rBR0Mee dƑ)~ȕ VF, |feSg~Q!#54<"UGCÃA:**c|fs؅G2T%ÒZCŽymH 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}ǵ0w:xM=A'LSEE>FV:F)O?X坏%DN8;DVυ1%rBM eV75Hԉx=]#G@ž꒸<0R2|q2ـzE<$U7l_/u :LPmվXJ.Dݨ/]*:a񵊯q5E~P$g 9: 0/wVGҳXs:V uC%ЉqeNre&2)fLZܭյ$%)DWZ7yPL1O_w4){ɳO`)nGKAubMR_r?W XO rF6qh7=2PRaꗉ P(c"?oQg uIPqxB$jEOSyz2:!{US@>hL62ʫX[{Olj'0ճ޺"=@FA咣nf%"hV8Ū;,LFV cD/sݬ &F9F_dgÖu@~Y _Ssx+lfYAavؐ}_FSuQ&ZtUU<hÆgor].@' .h9TAySCV3Jsj!KS&eY^"rUFꛭ2yN"=9.)AL5Fl:173u-Z,)sio`Pݹ8ZN/x&zo1:'PL9g(Y@>ygz'E+WAF~uk*n&ɧMXK4(J u 6d&]exVL{/{,VTRJtw w%ޏ,9 ,JYz+ڷd'7Hp+h>q|YtVvr6ڃxl/tih*B#ː,M&Lrw\+}qU^dvkŀz5Z kDD^ ';E#u$=|RP?ѯt[T L|0%J88 jHO^X.,Qū))v}X- W]٢$,^R$?@ep$L= Rr1T^hx8?Cn5me-dTq׹upKH<fzLÚgޤllԱA=p41 @{ȆE;'GQ!SbSEwU{ IP+7ya">:S¼ Rbz)*&5d ;Qw".8J}g{ =R"_,ytMjٛ@g;&SMs>+N<;Lï[}R"x/y4f_9ń?"e\ *tEN-J?~{!UtoAM%O 6Gyy'WhykbƷjZBY,>8Q ^7@orcRγ5UY1bvոKyvjEl; ^QX̡TYc66׿),!jb%4M>؂ Zc痄G|UE #:1z|Sj} q (`NaEpzk:w{4G>Pp- Jc|pnB1ѹN;ɝrdC[αNfs9!LPcu &xr[.<>m 96˜ Q?`-}%WE6 kHigRHU.;Saj*eC=-6EF ry;X*BTyBX|cP!_l6 k$uJUR4S{% 7z54ūt|>(>M-3|ͩ "Mo!%rаɪPjؙq@`#@j^Mwxv36SK-:`L+)FIMzf9ݕ(bT:?rp _&B$k_[gYZ#" `3)^QTzs.n=Z-O^ s]`@%)'Xnu+;?5ՠuP=eLm)fgCWїA 9tB7C-i-bWrQ7ݑ ]&D\e-80}4rk9n80}3X?Ǚr3v^35i V.}R vd5  TU΅Os$jm3EGPD}&|_ >g2ɕ"s7].3,vgg]> >R%8{=z G42cwQ/J@n e2(暟W#Cv\"v/)IjI~Op,+%R8MCG%N327ط 4P[FxU_]4"+.ޙ1XQv/SsfxʸəY&+NBfr_R?OT> v0'"J220fzx<Q?Od9h)CXD{FӖrAVm$SdiGdn$g|ͪwhO y0Tm=R12Be4/3< f1s8ʱ[!`$5p4dsߞ8,*COU"$fAԶ)s.qebf1ftD)wtÍM6H+i/QsJ?AoG#AdHE-P{7\15ȜPfp0L:CanA՜+*yWF;F3u;? fk tVЭIiWC!2 APf^ˉggWl巕;QGpʑHc|Ɯຍ*QBz-c~*Bng׌$n=KRS["a]RX ==!;LK*~j9In7^7mI=/DdVi0R(Tvb}\G|ܢ+yE+g>«~NlDjZi8MG&zjP">Ad)?,^c_) 54Rwҁw퀪QI IAOM-(ma@i^yM`쌘-Ńޖk` 1 Ωڻ@ *RRoeH_Pl/GxG2:$1-Rlژ {r<*J(6_1UV n(7'{^Foh hJ>ll] n }jPlyXY}IV_yr}H&R ӕ zg[B~x5m%<3UGӽ\[3PxCAkm*Y?(`Z{lK Eʅ4e\So_WD#ʉS)K$l`vj*/‰s\W|hmҹ9ZoCXбb W=Fw4M `-\.L5 ?||jf(cP*UE%~!zXPi1:q@'3\j1{V 2xͦ!zAy@W+v䳌)By&u=KoMv{G[PQo9r8Gz.83zXl=.*vL]PnлQiDkM q}c_ĵl=KzSݚNCGYC!IE'Xj10!4>BxA1Třq++<(pNJ*tAx%7îrhb bن 0r?7T7DvfBb@Dhi oɞ«1p-F&ɷ*yrƁ:jnBTKgs_^\9(@yP:F/f>^ύ`Z eЄG4k~pRvb CL f{/J#|^,! qv0~ 1v=L|[|mOX܍kNp6x a]uR{A{ V)jF`z@Z 4m`SHMO9o$aWƟ%p?'c[}٠I`yiRWd-g% z'1.ۡT}sKn˸H\_$%Q^sv$wlvtY0'aN#q5#Udv48~k|!.$U 6@ nRN2 6T69jY7`| դKsBSt2y-.C7P6v 'e5&R#ʶcd:F ax. )L|D "yoGz8Khvpu8_?$yns D/ D~FE润k=pxeIM#?j͕ go@nB (YQoLr<16-StA u=dc:) _` x}%?׎^c 2_c2]fd{FigX̴Ю쭟J!vuw~Mn Er.$;fw!MVu0!1JqIyp@1.ՐcTAO.yN1ʿKʺt+VXY'7k "I'$Ss@X4?U܁{ 'EuIpnq3=bS܇uXKVq82hCij0AcwFr\&%i;|4M+KU=Є ⚶2EKĘ9PW' *b"ZK`WڊVhUcMWވr90;j%h, =tќ&`#`0T6t*=A  1Ԏ2D ֙&h|Fֺ!nގt ?l<d;_;hJE.^=) Ld'h<{h$΍k'1Jg`vGT~+GN< ҙ}N"|peiQ @bvBs?m>2 :*+}6} |+L, .+hDjGHИ|(8(~tv=&NNt|*CK450C沐=,RpnW|[O4Ke>Mzz2:UCe Zu,\xetZ9 ~ 1 !y)k[o*PQdR~d.fGU>'?4?RJ"/|3rJiL:Ul%jai0U9Iv|nApeJwWĻӊnS&b7bTo88ZC]FBq.jprl un"UVTb˵[RhPpVcndbzGnT8>DlnӘ$o:ʟ_LvtF+;Z+C$$|ჟm!X MpOt \;8XJe;U+WpW06 *l?g{~p;qs+tYZ=ܟnʜ"Zɺ-wN6"by⡧mJCҶrwH-R *=J MgYZ  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ֱ`+ G f%,w &"(ҘwBd5]4OYu8Di\iTFXu 8-?ylBzon9Q1> DOrW.V{v{z$O֛-աi:?`'e+'@4EBv r ',_&wxbs| e,ʃs0iX̨/} iOy/N (V]w!s\CDuh1 ' 0 Cx1[}^XbRvOfK v'׈S9VISnw,3;\(j"33YƼ!!K$6\55D39G {C뵘J|tٯa:t'KU.Xx(V'wJe_RP6)x# b}5# u潢tF{Bեl·[7LJuH{(}'Z`]~mL}>JMүSFDjrUip3;cYkgy7SpZV7MzbM8ŜVǐ><ڭYr7A P7}=s@I+kFUuOAg}czTXO LTH4c5c*mX w i6X)_y||ƃȶ$z}(~en. 1^ K.ևFz-w:'J5?8iգd`< >0qjY a8rqZq P bk)%?öf1$v)XΩDG 'XOe"$UfI#<>#*JZQJvo$+h+ 2}(o2J/;mY5 ^%j!FC v&)kxu} bUPz'="/,رB8:ꈕ'DV}E$E$ʻiEoo{IK2UE0)ȹu]Cl"T7,b^f±%Ɵ;##=QfÒw#rFˡft [,)<-i`a Vq zU09I q qj-4F;722 KI NX-Ϊ2FHoA sS4ia{;r@ >i4-Rgf&ǏEy`KhNQg,C::ՠ 𧙋su8Ӛ8lk83-ȷ5S ^í*{Φ)Pp8Y*)<3涗W]s{[22[hVG ͇SU@v8/67W7yJ@^Dȕ;u", ǼZZHs7f< PN>I:]FYi/u>ZfH2# yMƒ B wGԮ|Ivc5%I%ZJNJ$5QP|w\T0̠iD!onɻzd9ҠkQ(By`3IcC~zNZar!# :pCȁ!f/>/"'~Wē ;Ck"2m2l_&:>_}JA*;wa7fo] sen5(Mdq3wA,*,QHwf0v9|kyv!HO*@%lS9 RlAF]Q⯆6mqDjN jYaF%`]o11[O+{O: 5Q:e.3bx)MF/jؚ^qx'遁.4IʬcwPeia՞K9-~oA.KA;o. ZE);_`Nw2YfYOA-v, o{Ą*/4NHn~&;ta{Qʜ}´{w-s,ch%ƔL;OYTjDE?py<_FAV'CBCn/V}$ dQ7% !+ ޻͠Ʋ@ʆ>D}ΫѬEȺEXQ+L|"s~P)3(r N|}'h4uzΈ-|b4[#n+!O~iꃱjLTOhXKOM C4"%RG>Amy𕖗_$QX]ha-Mйk ga՝ZDمwR5z)ia#J B7pU(cc/Q$1_dӜNahx#77D,V d`ܧA9AHa 4>E5;D+`Gfnm‹,4 W󕓙<,CnaLABjza#|CqfY2*6 tCLuܦkm_Gr}w#iz(#d`16Cu./Alz%D5$EiL~۽<"؊b<Dy2ևB-VᅭZىY̷v*Q;Dк%^%)33}55`y٘WTޒ+T1Ͱ9`S ̾r,Ӊ, q.~=@SpPL"$w!U=dW';?*E8bLYj??BS~$)E 'ƪ_C!|LUibĂPL&Jo ߬+c#6b[Qn/e{^&D W l$Hb8)rϙF(fjѠȴ%uS0h@lu3e_}mR6rIY7IjMZd(BaUt@ P粗1zqp*\G42qQ/$bĵ=ny6sʅ A)YHz|fr=cVg)d@-}6LqVF2uv@ώVҘP:gM+2adk op5R,8EOWr<>6?;>ǝ=1mfO/iE LzFRgkY xJaS#ݸ틅~rx& *ŠMH7Զhf3rv wF =bF^HzlhMfƳF9D\FX':><4fS RUr3¯ #K;|}<-61it 7'id zBvly}3d#v S iE][* !.4 ;V!mGN4|m\I#=!әjzݒʔp"W PT˜,޻oT`~C?Aex3a4yH駱 Gp'1不([0Ԟi qYUai{ȟꦾMg Oa#fG#%ieOg۔;`IwB_`D'foIEhe'b@(!Ƙo_ήqO<^^߯NN+p.bޒ.SdCQ/Gj<~SE{-iuq¦qhw͸~͚)s 9TSǏw Q+pEI|W(@Oc}.]n⢍xֆ5Zyc96_lqiEk\×to56mIF ŗ[X%b!׏zŲxUl&LR~A:mtzTwtH P!@$ f>_1"ѼVXug\ K+Sk]. 9:aL,uZO8RHἆOʇQ? "S÷|&Yw&)Ҿܿ.%춱9?M8,P: E$,1RO) &q(I{1ݹ*!Bp[ ^s]\4p"ski ٩xWd|b('A[+ *R}0*z^2nI.3VUK~{A{TW=ͳ=r: R3)>]+vvc}BrrĨY 佐ܩh9ކ9J%r{hCT-7ƷJቿ1([qbJ#xwoYVGb1 !K5w>:#cveHZia;gɿ2.pj d; &r WCgY#^i*`t3n_$ƎJSg ؗDU:5MȺjz4=iUfK zg6H |N /o2I^-o["WSMaԤ-t,J fIĞiGrFm3-@=КE é"F0,`͒H&Y']f! * 3VI"Cqx/dC]$[R"D8UZK1+eT[|+T2QuHQthWK@2ӂg&NVyzu|}h_8YM{%i3m^I|!D X}vx1O:8u03EF(ˎ K_NoL%Ab~-٪/eRt7DD>T#re3h5M2@3%"i)Ͷ x-=Zƞɉv vA]T(M~ T֞bY;MD(,8 0G6Prl(t}@*Y5cYeh-I/ C"(KcN xCp^pcB"lj+JSD<uN}MܰU"?<5ܘfwX xzVX$W2i 9wƖD>$ԁkNWbpَxA[mv  p?879p,3y9+1d! 0"(iz qEP&c 0.4>ifeD<[@:g)]]~1B8 i.n xA@-y,9@ЭAD~" Cu}֟P J{#lM2 eRgFѵɪθT?f3c䳢=uI8n[&-6=(L= $Ck_: d`cku)(^E/ K8!k}!:JpC?xhx<+Ң{%NaqWl |v6O&) 'c]ljTTJ6Z;x+EJ.q@?u[a]4%roI;$ri ͩAG}TtRN~ y1!yYL,8^)ڱDwVɲb;X>^v/sB #xA VTCh tQ-l̍4h>4,%.)2Oܼ3vLRth: d gJAs9]FAv1'u4o-[z 5Bb@a84P1r%fQ2I^s "`rby%yGI"$m( T^Ҩ\gA+mdfq+vOprÆ AE4x$J Y!Loo8}4"nkt}V1 qfTvCڂI'"Xf}N~ԞTd3XwKyk8uh[zG`` 6=("j'Ѓ%X{ \<X(9%t՜uPC.yDצ)J09H#9r,Mm gpSK׃ܖ ӂԇ}xOJTPwd ztCN$}Ph]3adRG̥{N9Z yֺ׸ U(G B95),ncœ([DQ8V℧J'"v-RoMPsmXnt{z3huY2l m@Jv3p_|ҺqC9 JJ#wO$&,KY`:WvA`h`f.?)bZ:yE%~"BͱgYZyRAv! ӁhziQĽs;R!4TyY$4{BG6 IBrmLd]-ޕ?W',&Itjeϝ,Jz $mË9`Z)"&(bZ zt 6s ==Pg8Mz\9zy+1<)h̀!G-/w_ֈY{c P9 \P5মs5smur17J~E*ې!DOƒE OW_5{&y4c:=L^ߑWBH?ušKw,y_x-, "0s~.]a-qSʶ֙Ӽ,2?dW`:,&G+߼J"GTqmn^ßHG7bH56I`TD/cVnw/FW>zQ85p%@d M'&*m \f&BBZO>њ}u}F"CB?;̖ԛ9vqD]a2##.ALfc3di!Su5#5ܴV%jK.N&Bf!Fٵ~A)| Ikۮ7Ėvtei֌W*C{V3^4z-Hss^p?sZ0z8f~:XHuz* nSD!JA@n66}cPzxBL~BNveFyGBw)רoRuZ͓T}jC,Z2%ntsg{GƵsV{\ <ŃW!B<OPb5 w+B?p$s 3ʷ ̈ Z"HZ:zKBٜ)͒;ְb;ג e˜OXT@E2/'R.WBc@_!-o^#46K<Τ{^+*ӗ\np➢8H5aoܵ\u G{״?tq S$eox8Ƹ&zseckTʖo%2lΘ*$ #"߸D\K1 Җd#VvS˿xZYDz^/† NZi~2 m*_Us C8^BJ@ـ{O1.Ig<]Dܘ PlQdz 1\m70"lȖuǻs.:0!ӟWn_HI2yq_S"_1Mqd xgmg`ϩ+Qi*V#ztB@ycangM.z'"C`q9B1ī7lGQR^ۯLkjeW~ay4c˲s$)$D!~ cemy8puigJ^[K4O./JNՕDN4'S8뎆wa3 3{2N@ໞ+#˒-p[NYtjxfL]Jn#A eP N!|牕2Gpk%20#%[ҦŖ,vd/Lfe< H[4_Zq LeCy§=S V%% ɳpZL]~F}&`0mGZ8Ո5=@ZLc*0zl}`5ߎog*r%³ʚ$(h .i~IBRDk4 k;KG~ +3QFP?wd1>X #Xsٓ8*ʋsEaY+M>f)y|,85iA1` 7{^bi&LaxK7,t.s aӔhy:B #IYmzg8 i@ߤ³7?1zix?hsބc 8WcY?\jzu~b| f<I7]7|i |=3|ϘY&v}2a]B/U5\D[)}b]?FK͟(h$t@̞ADz|XTE.A㤤3Ny 0N\nk2 ƛ1bx[Q8'_FPy];[#MiVgڂ[}ךuB%eqNsπ mW>1MhBRZ5"/X.m~VəM܎p&饆t`4 %,GuT&Z2S>yIsRAeh'VVɖ y&< iekw&~wxReѱZ'T2vIhrP`;EJ$vj4+GT XT ggP< ~6Bgc/MB<ӏvBG?JV?"3[OtT= 3 'Am-  O(B.gE#(AviQlЄ,|NxwIa^L ~q': ̻dt0!ŢA4/;+-ZnWjCP8ьw w`a6$t~A*1|G96= zM&[#k vr3'H܍nD)I~̊|Aēy+-@>W$NAObB ]t$^ϧWB.V)$L ,Ď[`D{PoL ebR`MuǛbE1nS#8֐ϱm"q7wep8{k,W**&zu (1b͎oeh}]{gDn`2 c"qf<$4&FߪC,թY.NT+xˬOiORl@9.a(O>WhN,B\Q˨AJk1KRe8J"/v '$y-gYZ*_8_F ЎlL 18iJ4iETq)#Wm3XJTkovAА1Hh\h͚A$Gh<9N/y.W9ͧ 75!$r6QX AdqźOƙO6@M>u4SKaTG$G5It& DޟEٜrU[iLV+:/)$S}9|z$!Sgn5PIP/d)Kի^}/$m^i|ćM?NS᳥g 9BT5o1B"r~P-2HJ|(\[$ ;X7 K;IFJI B6aފH!7tQm ҕ.e1ylIM#Ld ێD3hh&s_(EN'tFT%~x6Air5bއ`E4l$~ɬJA3ۦŒ|G]ډFm< >l$}L5gJ.H%X*Xp(D>V)qp¾d5iLˎg){ 疖6zկ;2`tE{o͎n^5H1 6Qvغ{Ffr Тz8{vaw%ȯv7x%iU2`Mȁ 6]pз}3*F x11%IgVUV F/ | Upn#PepVYYZ)˟4?ߨL̝ HOPώ^6ix (1Ê5hȂ!!NV*thC-s!bNgx%J$f glVKGg!35Z[s 6 oZk?U7Y Q BG$E!XnQ92\NoQ8+I;Lʃ`<bhqh_ S76q:R (ya7 :L;EHylo?2r(^PiNIm7okET<$9Z-BBVHqe;㼿)0tb#nR;tS ?$Cޤg~6HDž<ۈy ʉtvg*|IG7kF<'iЬ]H[c,v Aj'a'{vq(,tlj*n&xE~[;mgD:y4u;XqT\{IaF4PApː)u mM 6 (d+b ZL 7)Ϋ{'BP//~")CtK(``͏>@Oo#|<N:ww=_-Jh) )9P`N%2Ow 'u$6!n$)F@ӛ@]]=|Tl.``u1Qqpfָ'-H]s ,0,+n;Q+E<9&3I*R{138.`z0.Zu eٳHo`DU),x"<9ӓ{9HuL }DRS:e9FvB"tAXA+b%: q)Wme(ngdDȞc[@p5ejI~ƴjwX P_˿̋cbB E䄚% TƏ&_H'7`CǓ䦑|q,X^הT35P2'vC%mҬ4,l[v64$7n$aX0QDKhGc3PU2nh!Vh5EՄKihm,3!].֮ezFAZe5{lc) Pac1:Pݔz}W~OFn :]5Ux2paҶb" ou#Q/q&:B{??)G]ԯOD  .уV)qz_MvG9z/0E-ULsTKgf }AH7Y?l;a mLlt7!f!)ULVi3D 0HduZI&EjF^pqd"Cf?lT>AmL拶bVx yoN roʲ fAw܏a-;]fw538Y~5u:NKHA^B//EP"_PE`oUI+-m\pemMTY )Z#`uS [$3sʎΟp û=56XHRꝬ)So* dYmWe6?mXk0e' Z!`hs,S^_tnstuN5EoU.Y@+ZXuek!+ pZvRf,1p}w:=”Zd5SRϏ2SSST?.n6kR&YiUuae'VA{J&K?dk.zL3˳;qNw=a,jOtVp=p {G0vwVC&Hl@ n *,g?Xՙ(pa>mj7W%20a~D SjGP*؝ށA,֊;1 ]̝I-.51kjug$bL\E:gWWyR0TUϹ7ɽ V:tAtܼQ{_ UX+J9\Cwn%p'Ohl-w܏V}! 1_sF,J!hD9Z(t])UcϣwsNk? ukїQw)IL9 daqS$}ךsQHZTs;tWwXkϕ65DILBKQ`Z)wkU7/OMмf֨YtII .&wwY'?JA4Oi{H+IARzm!e(^>5Uul)b@&V .^fCݦ4^yvA Wk@3آV@v68mRqpS?^FнʜeLY{󧱔V~<&hw1U_2v2˃@k ۵yONK~c;@s m- @oau< a-B6!s](uw(f _Ly2Aӏ>/iVT\W#X]wOsA~1X:dQO(/*|GvYm'brC4':LP(ͭk!|Tm{I #L{o0h[Dٳȭ*ءZ>A/>g`KV럂s49%o۟vgj1u/)AōFοZi6vۭ!͍-qi5cW2opa%0_Xpf)Y+Iղ]Wx]0Q) LZzܿptcO_Q؋np;*$I`1*UHkrQin満yT-ifث)JJc2U-fqY 8}m]2S{5>R,A ̩PqQ1Vi'ǔgA`kom{1q@=qLoIn|G[eL.^Ul;=mZ@scJDPL7҄e> O+%{N2ƭk1t̃6 GV;(,f:rY7gx Ebl@X'z[㘮#\:J{2F2,ͫU}&qҊ>dzq_9&g@^T8D+fuZ4ukl!IS4Թ9 "Q7;rp+ ͛Iʑrdb_J"wimJ*2#)a(z0٧shyvcؘYnl|a`DmFU.vbJJ{V n1@b4M)OԶ2tb@윞eL~EY6HpԆ9Y ]]I!oO m5cߚw؊$*eDf28Sie/ㇳ}@d|Ir5\%</t/4Y n˜'U3Z:d}&3\\:TZxs/Ģ^TA\ Mf粌Ro uF s9,lmUfC mOE4'n >TX11Fi?U3=ďjuNr [}H6k]x,k0t TPt凅uжk"/3:Ĩ<{c9¡`~6u5!ꠖf .8E}&h@00RYxSAt- = ,G g|M>j|>*Jhr! #>W7U EEݼq-[ɤYÚb83V1Fe*<"bP6I`vObfeץR_ %pO)w8=%h A]ÕG~f~_` Rya⭊ s]k@!ǕZJP~!,z*K꽾̻ɻ=sVdнg Izs JA،6L,(r#j]GNHۺw7TWk %5Z$pZ|֠V.]VmR=fP]fT TXιPL8t;3))U"XW2&GbJ3_jŋ}W"U8/Z,MPWW/vԤ+y$b h &z ܤm> zR3iH[80-!ɬFUx%UvE 6*ۃJtDx5(w0G#>&S? m eBh\lY-aģ 7XPZ"-)l.J~@Lچ]EPMzSJ~ gC*0@hH`6@Cqڥaw ;l#TQ<7* E()m̏~1jMuP!QqP>&+SEU_B9DbʉnQFX "\"B]HW{aΏBqf$0\i]{[v'dgJ'P?sS߱,Hi~im1҂FFDiKhV9E@w\ɪY3'4 X \{bgr%9uW6&pDSG;f֠-8sk!>=&Dqj[i).!mقR?ʠy?ܢ]2ѮCJSZ* 6+*|#lp)ivsx^Q %LHH;fhǝ"YsjğCW> R`H5@A8G4}YUGźt @qc%ۍ_@n~Mt6W(ɯ]BjE(CVd汀J>=Hq!("H,J ? ֞4j0ʷF i%$<0+8tj7I7t$A`/)1S42G<&"Urf uK}}Y?s毺KMb~?Fͼj%۰쭴"cmٔa4Gog, cU q"P"~e۰:ZS؊&M]a7gՆgu5`mje"ǐ'+PKL@WHX͎Gor&~ 5GIjӄ{oN7gNt%[SR/m%<; h)Iq7A4Sq:O;qj<`YsXfiI+k0&RC]ZXp ,ITmE θrYWTl͒cM3Rz+@倯Vӄe sj3]yޏ7Btw{|nlU6~:lچU0kl˒L Sz3}xEgx{=gE| vHY &2>i}\j֠o6U^3 ޓdl-6lmŃ8mˌ *}#"c̈qGWcXagtK<ƻ9M>PJAW>FQc~s*/Hge}j} L$c2ujkn%?[<)rz_ r3 s־>Pi@_#~I IC PRތ좄ASo$ۋA "rGm)hÿ6}\{<u [+v2'}zl<)p]݁oZ"D=I9՗רA?>(SmE^t &~s'.,@0-c칻YrdY2Pƨ YK-0]Dhz_⿤sgGӇ"Z/8ҔA$%el O 8wiӠr7gY-0|$Wu\WRy:w=/K%{4b^ &4ZI`1˗JQOۅ-,:O|{^@ף(oұ0gl*h ꋝ˪޳y1g(/0s+^E E )%:q`Ŭ%BF˲`m/7Tw6BɏsJ0s1qRPp8uEb71k6l4r2tW 0#iRE 8/|AK,5j\[,hd3WRgFWlr,݆hϳk`Q)HwzT_}2[Ka.@pXҸ1fg:&8"Mtw"NtVwe9Frvz6Ԁ-v:jV..MΦF*FAF|̗xkx邞Hcu]N6$i =P  CVWDŢ# n6,s[d0 vErakJ%#>TCNv sx ^1ɳInѢD }zSwu$W`ǹYNgJlm:w򵘶 B 9:M q V1vg.Z6jm7~8- ӏA5Gڶ·]?O{KZ&'L_I[̼ SÏԐWgm֪+؞;Ӂ;Prx6<'"kA܍4 RG˂;hOG "iϕ w:[vR0& QABL*uel!Ni+:[({TE0>|=s1}h]w/{Ej*S.w0l&Q!'͂l5 $nEm?PFA!bYA%9tLoLT&ճ5DS9|`:H+I&؄6GCPX}ZG/ Al6YF䓩!$ [lI9cHw=~zb-x*N<&ԋN¸Gqv^ G=m$^I"NH@GkKBen%B3|!lzI*,}[E3Gm*x© HƱ-L.xKHMŏn ;2/fk2CLY7tpf'BXX [(E*sn"7^CycGּ:0dɜ1R79ܣ>0=uym} e{-#3>C^üm+[Z<#a>Q@ 0 vɦƘ!;lLT:8.^d+~,m[&Rx7<(5![YB4ڌ<9 \fQ#ҍR%}$NA,XEߓ47x;%}30UK%:!'B.cQ?$uP#ߑTCK48! 7s-w h,Vy^4#/uȝPȣ8R$ƵJ?}hVi;rv0Bs lp\O\_ň[z` ~,p?q,7ʶ'xn_8C'.;_h冎Na}SO-tĦwx53.'rNB*kwM ĐVYn,5>‖=V(zu/_:ce|3F.( wNYV_I~T֧̈,"IA]DI-{jx ^辭7xd̐7]ESqb`5[6Ih= BxTaR]Ӝ/>vKβZ8i;՟ nZ xxZHƑ\ 2%Z-7P]F:F8VsU랅DlXF^s_nIfNj&A[.dբb{0T[o*ִU&S=E:xm#iwB~~ߩZ?D%I $WwfAY9*&Qjl& ݴ)wuølHש4RF6$og܌qoePd|s6`p롩Ie0χƙ&(Y%D%p4*(d3WPJD[f'햴% ?NI& n,Ƴ~^?RB?T/.:v+@ 86=tk]iv%|˕nlXs9Հ;r)VV~lC2;LcT4ixNzL/SjŋK[?y' IŴnLL,2kلl@kzX'J1R+2[oEEnOtw1K}c]mO$ LT&qv@%`eX gY+u:n&_3|bƋ^7EM#.0P[Mn_j]ކպ"mU]9Z,o}I-jFᤢ>lMvTu )87mVSoIq(^, Md e~#8vTiQs?Z xYy+Q_FA6QEfT}gyAum8k *xՑ'ı?KՐ~XH4fRyaWV̻'ߡytjT'0s 1ڎ8,(qg 5 hoSڦz:MsS'>-ŏ rnfh3qR."ik`겫oJɅoژX38X4{KI)D"gZ0O]*}e#Fn\Eoi'QE*}F{mzu`ftPds*c9;g^gBhn `9Ğ75s\bn!WLӏ)0AUvP@ɒ2{3ZbBdAQE3,U1scp)w AF@G%MXt9T {,rz^za2v\]Ď7x_Q?̣u~4Kjv q/{nܱ.V 9iQQGQ.*G9(>g谄Sa"j|?tW*)QHt#F0֯J+whv#4|ĥ=5)Xhpfif6mtV{_OԙR0u "/dtL|ʚ}1$&ft;l΀Ȅ.Eǿ!17d2e.edZma4oz魩 ۈ|/d"D6I:jU-p@sNOp?ύI7 ^)a8qTjJHGJq]ݧ>1٤kڣ|h)ft`h|ѽ ^81t:o;GW+Y{6l 4zGm&ZDOt1ݤ1\Hp j ٻ'a "/|s#Z—YfLP \upzU;9#%׬ּ A8T/!vF PSρvzur`$0Won(ʺ! (5l`v5j܈5gAPY8}Ƈ䫧-sh0Bq<`ގT T@TM ܺ6i=Vsm0,E!°L|Zl;862zK|@I"snbR3Cv}T_ 19$1jmfKꦺ "}I!2 K|#&J!|ڥ|ceO{ nv0X㧑 8⳸Ƈ2?-%wq}s,)o0zcM?->3# M}^kHWvp8qaȾo޹eUqI6_ K}aK9j)Rb;q ~8 [t7묃[0 O1J8󓋈0 @#v %CHa 4n(Mg(1^S'~XMRp%^!-Ar5";]v|@'e~_kqR4ҧB]] S$;]|ht'v zru3#8Wo qHqqmcb7<7{p4ϳ Y#3FL;w*ЃjTUD(?LA0ȏ(i\q)n_sBipB(l5Jʝ0!뚼D8ge FĖ̙fdU~Ě[#]0iRS)eE >1Dad1:+]T\/ʸ lfC 9:BdW^I`>"q55GT pbG R~`Ev̄,|U[Q} -o(F(T2ư|>P{ vv43*SF\. )+>=I $c+mc<0$`kDQd_S您T L3I!;ibٳ/AU {ly?ba{.j:kUQF$Iuɸ1uںFDƣб3qls*4Z{w:wb2c]Ni󯴫E}Axfr@R+Е+cƻxਬxiBg1d PIHȵbg.ڴĘmpl5L SoUD].RD g[yitJ99 v- |]7|k7G!\HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/files~~/src/HOL/Quotient_Examples/Int_Pow.thyL7G-HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/document_id670#7M'>HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/messageswriteln_messageserial=10411880line=52offset=1253end_offset=1264file=~~/src/HOL/Quotient_Examples/Lift_DList.thyid=666See theory_exportsname=HOL-Quotient_Examples.Lift_DList/codeid=666theory exports 7M# 6mganco=+T8a0Ie&zΝ My=e]"<[1z)>s&,!T1TsSD-##SN}|՛E*UtIkev2loa0,z;v_oa>7G>:>.B0۳lcc\%7ŪFdX7қ""k70*_>41͠,&0,n}Z _XU!?mC= :pC1j[vh*(wY^_2D`R4G7l-^OD̰{~Q47iGW:R=4I)4 t֬=׹.cLN=d&O`m{LjHuZMo< {=m#lL,g)fNN4drզ:F|:a~Xm>W%%},@?R lgO(L'wmmhXcIDO`t_=Թ5B5>HWAH.uI`XfuBwR0~M3'\ƝL)]"1dT'<> Û37}Km+@i^A? KD5Fh @Gs0nC7t& T~^XoK%w.Ko{6pJy`읂(y@M$RF A7gzL'eDuF#+t,$c[2QTcm10ꭲC?%xWGV8·m)mZ~?p+ Lwds^@E-3GP[Ȼ*pP :O=BԀT 5>bhLШ$jCi |B%S dʦ[ FdlE' 8Wu- 9)f LV eуiwU#-47[+Cuю#{:&,QE2߁xp=2/yN""Uǚq>wk D7RQ(Pimw.=jHQQ SJ⍸5d9'Eý*T/ry 7dGwTwU~Vc [ IwUq3su뉳j;hL46T*DeDN;^_ϻgЩYʽrN7sL]#Xc-#/9eHfPƽYq)|Ќ3NʴJs恡ዓKcr-?͋=7]霫A & %,t3t5pMÞq̢Q6 WoL ;+Ц$z5[& [lh%7VO!Fz$j!Z1yO&i#`H <jGyimRcj i{_C~On R:LPA.)*ƴthoRUnFZS\9zE1xkr4pCQ-,.="\jI)j_j[3Bdx|[Z oߝ?o@ݣۢS1#]nj$rUedEʋR(4ln򜛨Jޣ:?ըoWh*ЕHp;kZF9xD2Xc47Pydc\ezCVغM&բI 5Ӄm[T{sauXf̟G1MGk- ^Ud^NRt>wt&_4ޏ0Hoj %Mþ;E4`_ź! . a|}QSpFnߘR8'gеo/rqjPuXCOHQQOt }7L(q1?ﺨuAޕ+3|z\cP" $U3δehgt+`9@IQvjZoUѵo}g FʃaRs~2g%a~Wv&+?Gϐ~V'bFXԫW {+E^z'\D<6f@~xqt:G<rO2r S:+Wа~~+{^-xXBIp cхXʀN|1.5Na )ϗ{)4HKxh S;&pRܿ'`xtMoTNgYZd|gEU3bK+iϐCd/Nqu?y5t^{p?Ru|>_xN6oYm`zgOEٽP+vgUXfN. ޼%O۽\F{ܧ8WBV4a&osCcxg4A0O'艹sm/*LX7ZԠh҉Y@l̵U&jM8rtr<2>FyB=:8o<74![AjL5ٙOu@Ř/N)gߊH14fBόq6$tʥE ѹ}(K'`*>ЋP7Ikw-;=+ ╧V׼ D5񤶍k8@cq^sQ̏|P]ͷ"G\|-4Wz!eS+ as3 uL̨.U49Ulw@ȗ9)nZw6FrI#,| &b}4gRqPovlj`UcF*l3 bFRa#UmL׈exW<4B15\?#]Aɰp4s}O92I,tb>7\to6uֵ䰦j),G-B#16;;YY_&$fo!a Tcbpj!A[ hd77Evo;mw qy=>s`[H,s@lk!=Um:gÑB`f]Ws.m%> RrK 3MM=A]aݺ6nVU*3')N<`+߮vH.4-̄xpskԈmSm4T ݀)93Ҡl"RÐ~07yw)7DxKP$x6mzz8t=1 =%cdȕm M(Udن pP`c!z|)4"iXHlo:XU~AEҊwL磾+ &?ջOvT+a0D[n82? ?w!T+AprXVrI҄>4ot.~S.gsa'JԬ×*uI%7ҊNsX )Tנ6&2qh܏y.mQJqᦤOdM};R8uy[;R!_ s$W r_T#خ8Aڙϯp!8@G_t?}U>»ʭDI7"l9l,>S3G!&]l~ึqܽ!F>F,DV/_eCL r>bBT}l?ZKwk+Xi u9Lit RNg]SE+Z w(bo)TV0|0*(]zg;$gK~Xh-S؛g\g'_`~܏PcYn$\ˍpҡ9ƅ*-AKwgzdܚ`>l-RrgEb/ҟ鿎9k=5Q]`T >kbZZR^(_Kg;0d $#t hپ3d( MŚЎ\r!RQлFnCj- Wusd׾-Qs#J*cSTlW OH`6-<ث `Q1P=?K:i< e.S S]^[yEMCߴ̀,q)e8jڵ:U>qZ9_75r& 2Ѝ73gAt@X%skO?KP3O%Vrk=uHҏFtl8zXuW# s>E s1 L+X80 jO#st&~̑) yMާ:c_NM7:'bnzh4ȍOPG ˆ?}%|2 AQ4Xn" tȵ` 1G.igV7Z@T= 'WϾx;a_w/jt}LEZM=[ICe1O8Bwb\_J/$zoc5xU8-ڬ@NzD%y{ |6łw,3v؝1c꠭ϕ'%?W就2kOR[*tuA xqVH~dIAbXA;m1S8GdˌGuP:ZYWш4F3u$]zeíP 32 )Ex)(:n7b7!f*P,ۜfhsX f١h BdKlLkPۊčҸh#Wh(pAB7& ;AմCZAvv'S,GH<$G|Yv`^оQO. 7"y&NgjJI3L \ ;o\LQ S : kzh|A2~CyEsC[u'y`PcM Vtw{h {0> ZWmů)yNiQlO$0\<X ~ ,Albj(K^lʊjGne\}:s}UV;z\ܾ kQA#Z'0e睰QBr͐L2|<'DX=KA#=2Qm#-U8#X}̱gYZ /|/Q7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/document_id660w7G' lHOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/messages7zXZִF! rn]D?7 {?:fH\ h `EQ~Ys'V|PM3NȏH(`IET^Y L9~qFkIݽ1Y)E^lcC~~َ ?Y릟u2/29n $ gP;g];xM#uCS[A|jZ*uRu9 .Eg$Y;GGftGQU0iw1LD8aê^J?QdqPDGHze."*&*Zp9sz`K7-hJ8عkNr7rld1abP(s0cXn9x8YC:ˍKa]K3I^I1UP-dZ2\BF1r=@uɯm=FGMU,0uȪGJlUځabzlU18![ȟ|d#O+dKc f1H븰4X EN =S Z (;Vص J}jmX=YEVMʪQd Ʉb>zqg[fyΰb5@\Gys.Y`MK.J!_79-OխO&TF.҆. 9JW$"3NE-sXR&_yh d|k._ѨİY1K‰]~YIje|/zrLmjF\CGTY;h&Bsϴ\7 t!kh %G8jZ=ZEՏ 1Wڏpis:2:]V6 ~h}?tOVî<0֗6P:WF7.,j!XyXI1EF f۴tIKdaN@qocF!GkC%=;zP[tٳts5Xg! @ٌ`>L705 fꒈ8+촇]Q=zct-N 0P0S#7+}Eݻkt$!NZ792 ع@ G>^YT%xC3ޝ ^XMkpRqǤ#U.{"ᬺPaµ#&T^` oRj!ŝ.%wI< $p|pb8h^Aܡ@|Nh{?~ |>|Z >t,:-x !Y; &E9'"x3 ǠϨcpvpϬ/LD(#xo,MO,g )  GB'| FV6Fr<, Oa^Q2V%^0b3.3wOe1b"5!dCD:pBڀ֟) sMYo_A8OUu`X&d˝\˞>/R}TP#sBNL`o}CF)JkD]Ss6gEOűk͛%lᦔ'bcӕf ql{$4qqHqq PZWIZea@>meݻc<_.憾M&eYӈl; vֱxg2j@2"B봩ٽ=TjpyEHTڬشsx0f$vzm4$=ɣL_˸V,wMSDUG߭+#[82/ yC;doK&Ë=&fFS8 >dkdv$z, E 5αj] =u5^m,|XVIUbR=ybhU:&SqҀf~"r rYyl/R؀yU:(wa N x)+ َۻ-Z]vcbo.Ły >ʁr$b1ǁuo}]0 kk 7Q# HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/markup7zXZִF! -]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$PE"EbpԺw):XЅ%Tv] <j<@QlZf! wszySH9gQEv]6 st8('$ul8 9cvՀM%ډB{ri-m !'bb?G\p{#sś C -2h Ɩuhw {3"9]'+ʙWI|f+hYI{2*Aޥ+^A]=0=FhUۧH+ĭliU>[2z)]q>.IAYQ'\ϫIޫ` Tmzi幉"(,J<tU+f@كdtƖ&u0x=V W onk*;…yPE]Wu㠇tÅvv=x2{i0Ldx:UW 0x9 ,7| r^*Y`w"[=\jE<Weۃ: 䋎(҈l2EqcΘ+dCɃ%<˪2;AaƤw~ 5 4# DYb1[X\^7QIVM'daWYм&%9#ԘZ|N Uw(HuE cCy1ҦRVnxkBv^'ՕT@h k^P)tQ;}R̆aGejM~{?`t$:5x&iݏCPFjgj܌ Aߜx/`H%Qjq c?*CkG8@NNvWOͿR͞D\b4I[] ֡N5Q?"Z0؊TVnKMTC5Bj +gcW8a4W ijJ:A?/_`T . v bn |2Ml˟]Aa-^0GyNSOc/X `wm$~`lc ޞ0D~'n۔eaNXvNtE47p(&J99F\vБ8[TrQy޶T)]DQ KMPdkZ3oEXIlᕭ|Z^$vVavQk w˱̄O%ϔz`yh旕ư ;T72RX-QhbD/l;m I40[&o~2/Ybг` /*w2;%:"vaðdʶ_¯%[&R<*,>!Lźw,ͬB /PRz=jl[gwt;( T (k*_ :8};"ŝmPȢ.Vԅ 1~R -vkEE*fQ|sjFȶW$%]n~FH}\*%$t6@s+UFݻ"=Y?>k(A 1Z^2-(V3_ȑP4=|Vk !N^ǾnnNޚ<7ۓN '-`8A{Gvv(waaI 4Jħw2c"lz- U"6` h,`T6`fFiB=g&#YxI'SKR\/7䎼h5[t~14㻗(3#-l*2[Ȕ_z|(H8,pϣz9dzm qj[NrZ4ok [@LwRjs]{}ɣS&n[#f#1 |Wh.YYO7@^>0s(2NӊJr U܃KrrZA3u7Q!fHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/files~~/src/HOL/Quotient_Examples/Quotient_Int.thy4BxY>F_IQ}6Aͥ&G* 4L!ܖ$ g ~tQ)<4-*jJ8 /#Lxy=(or:̫-0;w?ovzP6Vn2;l깛E[ؖÐ#6$dng$ehX}kyc h|/;Tbь#D~rKF=V~^4hƮ58ʎ; rdfX;z7f0okS\MkROG<57U8>P^/f{꽷.Ga!Θ%s" ; 0)ôxk ztϊf`f2HSnJET ̄I'tmMX\Q;gIK >QTk2l =>7FLrw! y6RpexD-G]K|0*z/L\<|V kDXMĽ.\/Q:\ >&>/䇞{s$1-.F՚R\MV^ X]yP&g(r1<5c.u%9 ʔuP[鞐%6cȼ 0dMmɾf7+N"-ǣvkTt Ewqn;fnCyjvmz|٧1#V庲zXl⒗ORL lLCq$U=zO?9#Jhgr|gbQ@Qe N#X_Z ̈́WʛZ?%c{oDG-QG+E I֏8\gusN~3YKgB=u+"tɆ od0 le$a{8 D[->t:¾U/Wݰf+@`c{dD@^O?Cr\8.-9WIpCű~/ 檜XM+vdkM5>UlKvi6.O&;'x;<x:.O"b*0OD44M%^ W :';>ިpJ4#U8ǚd=i}>L.m%$?e4'\!}31U|[׼w /S8 Ꟶ3j5F<7W+$>mq\9p aH'o~33ҶWۿ3t:P5HWy9ETFZjHsP!{\ur%ud^!J$D3yqwYzht43ؐAO6%_5:cQz"a~%;?% 7QE^{@htz>O(wȗ(>LᆵNU2 IR/}1yAT{NV(U9@BPvK0}TqAmAo[Ĥ?J3zƷBoR AS7jKW݀Aq2;n7d#)aԶ<50ipMZo,+ AܱSۻ7Ճt " 9IutX N0P4nj. O!9m ~^ѧ2!Qfl!UX%=8m<~!8^Cv8Ybm'Yl\V$'13arKY֩KyStvChW.} $38 f `OǸ}H?2jt釫/_tn S1HUX&{4y“U2`Ub s +¾YtcC9Y$__r-<3Dvrqˊrz߇n2EEENDgħ#*-G7u%xjoyuAoBf]=T <ʬpI:f"HD{69na3}8uxjG@ݕFDSyozہyտm{N6fNtOʹnb\?((_ Z=Aʏ,&:ݏɰs<ߏ َt?S>'  S v"Qd-?r kハEW|uUnBj3}1IaZSZ>h6P,>b). 8\Op(jïh<&dk(?^JB<۾`+`W ruiDzvVг >#Kl/X,}UZc3*X?U2r*?sj.b2] ~6a^yd:6 - PcD!*P{cU nJ5LPG[3¸yL l8yT/)/%\& ?AeQè-+ n;huV_%HK1[% &Q+Q/c"`SO5ݹ)>\;5Eʋ?1l&Z2sg՝:Tt3*p(_G_$\[~} L]n8!LX~L`(K/{fA,"9LCr/jcDЖŒrŞ9BR`vsHG%a0PBCU_ҩH2?lW.1(lg'8f [-yFmۈ9YVMq#VRfsH#djsm3FQyֳ!x9оɌV^0b;§mڐ?j/o Tq|bM %g%*fƞCA8WXӢz{BΔ.4pei?y0qw ?L!k#B4nN9,SkIT5YTuTh0-(̍%O$/RkY SbQQLMFL:HO|@Kqx@QSѺV\^ZurA@;^RU!qd}=mw Ӌn70팛|;h`Hܼ}0Ȯq RԪx ZHo'>ͼ:.+$7 As X+$ M_ 4,^d1GYA'YACT:P@mN׶ yb.j;2R%)NH1SN~J Q|3CGԘ+V- Qcunގ 5%%~1 sJ/V͒<0'ɖf[D4wL'!*˞X*s_缔UQ| ݺ*.ʸyZ+KJ4^ĝT#RCv.z8zh7 yZJ # vǤ̅qQvZA:M(M< 9qvā AuJwTpi;Βɀ\ln+sgsCY)Tp(x bz/g )?tdwt^|* D:ƍ=M0Ô^u2%^b"LreFy'+C5̕gտQV g%kT0d̡8lY-`EﰟyK4k~}f/JSI̴2~5#7kmSq^i3lɋl*R֘v*\*sg m_D-zRU#B[I).vO3#kx4\ߠ gg6Pǁ]8Qkbq$@UfT.ELHC`'q|oni*jEC]L>tz.Ar+~7}UD-X4)Ҍ#^YD'P^4=7mAfLUD-)}+)?aA,+9CzpT+X7S4*2\Nc4l$Q;XXBmE!)4r8*2wD+_pOG<;VT% j}tP~'n@nXXq^DX~EG2}В>LRL]0 !q!\׃.=.f_ 3L_!FZSߎ՛S3_򷣼 VGvx_gRpecDւ E3QJJ"Su)[81~h31.o(n$rKk䞑̙٦sķ|@Чb?̀ Wc;l}?OC= ae%7%DnK7YcAʥO 3qsC! !`yEX1s~!&ntUtAjken'cI +Q'Ya˃``&qng}Pk #TVcjǠΥ? 1UQCC˭ct-W39}o_x*@C`H 梿)L wE ~Z+-Oiy. Ua!˒Ύ![ʪ4%*̃~]v|:ӕY ŏ2rP&nN+; y.3#"eF_2 n 9{"CmϚs_r۰6>)xV.\HEz|J}F+ ^e `*q_7AojG ^13%wv F1 <6pME,ӊ yCv3`3He{Y \܁JPP]+it^3zQ 30)*X:"ZP#xEXˏU2m]Flu&UDR`Z5sr]U_R1?!X 2lB]2{W?5<{sM-#lJ՚QhƉۋ}e(<)h~}e=z!~2LF _ApXÌbeɠoS \<Ub v98 RMy4 iTו@Ozt -`Y[u`ɥ9 Nj2 $y۫jOTZu?\ܬuqJWF8dK:RWc$ۚڳ:Z2]ǘ X~%nJZكyLh :j 7gW 4Y31}V;r![UӢ𡥯 &Uxj@X% "*{n1zj1t & eNRnkƓ r'B]Pq*e&Lf ~_"*3 Z<Ͼ鯍ԡ:(gj o \'HqUr$2 ʤ9? ot7V{81Qy {M<隆T(?[PUVzfFd N W:Ev@wjj1X{i[^KK1,uu,ڮ*4BHdbn<cä$wNG/%VA /:eLkg9rVLe U6%髒RkW GIDLۆ ShCfq^V r֫3Q3 *HE g@<-{d; t5 ED:!dSV`#@`Dd=V+r o |Z2x;:TSqR]꿈nWdrĬyZ{[&򉔮XhTvy$Hۿc^ PByխxlp  JGdJR8Ԕ4#xlDNA)+0PY2,U5þu%J+sw6";R ="S͓\t38%;|l*D,y?`6N)>ִV1ώg?x9U(k74G·6ULPZ!9t9ƾnߎ\dZoDf*8xf"8+zSze!JU#=Q4OZKh1 ,v} c&)Fњc_UZÒyu?}pPrJ yWOCH|RU\-1)D; WW!1;EێjV إ?65V!՚g`Ux,A uH~}+~W49U 6')# zLwS?= >&pn&pBqla9I uiWm ZODK}[9)E[Vak-pE= @i32 $E _<[үAәU)ff!`ҹv㍛+sBА|l`/[zAҠ##)|n6ŹO2 Ń|,-pvNDS.<&ɜjnX&!~ |6=huHD$߾n{PmOVm_{:ƅjXTDu_MrXBd+Ӄ&69K66eE䖢tFm4co[V-z+o3kpN!ٔkeueN>kvZT{bWܧ g>PҴa jzG 0.Q83[-F@.-j[kdJnx'bl:aUb?d) S/w!WA_lb5a&yCH̩(D*QDHB~y]j<a=t{T$6)WV2%_7G V˾!(u('#uWuq,JQzVSU1s"Y0cU+xpLHL$&z| ^ʀ/r;iؽlE WH_ u$#.CpYKiSv iErVHK`lD Wt3-e3Xx s{ O)!4o093#o~IxF3d'edGº lͳuذv-ֿRχ]_(yᘭ1y\hea.WZDN DBW a\Bז_tz,&]KP*8 ю P+I |h-\3}lkR3ɳ7N\V^QY峛*S{|/5u:[y"'q"cTY"طb֍E16l/$  dSڍy5PISj N&j@ wiYȀICD]L{nX8wRl]d-fU:*[WӋGRdPqP7J v.wnq@Jد䫘0>: ;g]ҿ=鿼w;2g2Ih'g{h8[n"KKy$o.(Ǒe`MqQP6Pr00J%qQuXb;vEg"+2"sKC//&%_R2j1Bb%~vwCR'7.eEB460ve&R0mpbT dދbktU p'H&J(l @Vm [?=ePFjAK/&-'Xgd|?ʱ0w)6"wxRu-|lݛKilk#~= gǀPF]{Qf*qWGߡuPY1)]ꙝbo;@G]#[ =.Pݛn]=as/;}C 7(Rx{d*̨8-fF5Ce^ƦY5𳑈rP C*  s7@2>-g" a7DӐ#M7<04 בzܕpD6Pd&MN;8.De0S`vM}9E/Nޫ=;R'iHN:DawT~ P[CX'j"w} B~ŲZ9跑Lut̨t'.De;_>*udkDjc'%rF6V Eh.cE1<$a;MuS&jo˓lN.ݲ,f?ʦ˫#c4å[߱b So,̰x$38j"(EpkB/j.-iեnF" ͇egYZ7SU;3[4Ŵ4Rvuw^d`Bx᤮ um8I*wOzؾRR [3A~m(Μf}GPڣϋm9tS#{/D hb9-m!,kP/&(X|ݔ(nR „č\(sne,D O6/BUau\=l➴cAbjd+av{5b}E > gLu@vcs09mFJfJkJ#;gZ[Kx8XFFս%9ٙދY$#vO[6m8 DY&3YsE(&07tvd+Zz>NJLΞEk0˷1)jװx>Ϙ5$CPMZH@5ԃslt[Dehe]%͗îkwiV6CmV%{x{*69Wp%lI [_ؒDd/o&!{7,]Ll 0rï`3p:\3']RuqOK7A͵/YY[i=-QKE_0MrV9n=>{)$5f| WLTt}*P [74)ZP:_a*|tSX37-抪5|و~AF*+nr;zU%!H -<,*v-UP͢0Wr*)dKxlf316z=oRcVVյrS80ڕ;0uFIue}bjh-HR3q@L{#D!|\S*B ;Ғ$V%d,X.b([^BQ1Wmvv}eXzPi/dq,`E,o:% ֕ Oy>,vhN/ ];ΧbdAn>&eFs…N^\ds5lVZboR0vqB)$|:vfl>8(4rpXǯRn©C5->ߥ~]⼋!OV"w#4*!c0d3%KDֳŔ\&+&\z*OJWZu'=rƇ~k'fʗN'yc,RڃxQO%^EwsJ0D]]y@}l-^ݴ&ƇKO9H'Ɍ{aۺ uSȃOvhSΕzi8nH/"K)wФhE߶? CXα {_[>*=R q0p B` MCCH^-_xm 0MPWo'L(u,*3O3`0C/g2쪲UZ|=nɓPBL"8 bC-x? ӟ #V-Ē\ vL⻑KBڵEG [1bRXC}ĴYrF~M_!<["'Gu.5):xjQـiin~3HaL\q254j`Q2N2$G:ze,|b|`>tT`mqU "lN<괕 T3RK۱j B_@juVw/0]n)G?go$1Qs\Knx]N[* ˘^^̴b[6.ad" q#LtH^A)(.yzr&k#.Qń3D([.P(o%hwTyFp[w 轓.̀m0@izaWZO&:ޓ 鰛uEh ر`9 69(=e>?OtC[Ol.;Л:*aw?9UJ(ܔ.C:8vPp{@CzV%(4 YE>g<#b0//}?0VR0dm^JJz° ֛sU;%݂Z d-.*O7J茘xK YbZR~%5W2nJ{eǿx1 }PTܼ1 WᏞFMH`Ů)^ZI)ͨy*՝,yz RVw*1, S_]+q$h3 4 8…$$v5P7ma/U: ξ.Suka ZU>9c¾e3=PP]n@oǽ IV iyDĞ4nҠ=ЉVUQѣ͞k-FYF3J~)*M{(^>vEo%iXfg#IxIiB֡9 פ`#,, cĔ =GAE7&v̈gĄTy3XqjO+uJ6Ff"cYqɂƥѕ ,r#iFQ/s/џ͆8)W>:n3rVSzAԔ!Eě=ic{PcU^ on7naߚ﬏(XiW(^ږ\~δX]@S#ĤxD`BV{v;>PS\ w-" Bӕ -d';;CEJ`&JTKX9%~zHF~d%: PA7čOeAta1LTѳB׷jÙ,`-]ep FD)gQqd4oCsa3(j;' nT/3֝O$gtbV]m1ӂVzH_Fxit"Dj Õqj:]4դtN 7,jt\+'BGT3[E>y4G3^+jC)h4ˁDaPGRR_d&55QTmgdty$ܚ~[&'Nf#8p+ " LAuण, >W5kA!=/nID rwzP@tQ<ʹ&M{^[O3ggkI%)'w !k^]uƻ=$Q)?$xf_(&,߱HmAh1`yuLsJ۲6lV+LcoFqz]QZ&(khtq|\GNeZJ|.2D'>ZF*pfUq6{tu3@N}~5K1['*4dR~$DqB˯ti<%kC { L,#$Y.9GgYM֯_r9ge^EVHd B"3nS;qMa {JܣGz`xYYf]ţQXu_ ϝgZfd3 3DPḑJVKi@{a(GjZ5XVOf(@c 傱`P=R,T3 Ј_ωJٹͅ7 (Lw!~slc%ngo`ng_Q7Ǩ{oP.`?&IlR?M! ʘcLV~K Bcx2W+w~;ԠHP^1vXIOّ[ Et]ݶpxw?>*{ExṂ ^5aPʪxNƁHZJ:MD_!ACw' :Q^;ыrC.8M/Qd!3W\g6u"=/Cy49UXRvG-5pX6ݯ>g J!QF@ߺ%1[\Z*V#6­yZjD}Vu/98<ŃVO~mH63=s~- l;h!iN73;jAHQΡ֦o}$FL:ڣk:^xFdl48J7Q ~]lQ+)>&E[t#$D w`oX?28ESG mpo mz>nR|gYZ xxM7I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/document_id672H7Y' |HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/messages7zXZִF! J ]·Iq n[:|&[zjڌ/*mj^L1=:A؞1;jrPۨp.WX=;uN wdC;|dMɉmOMD.i9YXNдfJ >}TBA.:!(&`En_ڏ і * 80k%U<8#s^8+(ˈ؝rHnFVk\WJVǢh$#_Ǟ*9ă"&Hp`ҟa..0&Іf6>sۊ5'npi Pi&o%)ҙ=*My*,fR쭼c %hg::X0Sx:L&!Dl2%ӀƏ|!LcPoȟGCƊ4YKkqAm4&!ȷFp:x[ ye 1~34{&OðG6hYR2Rk/բ.k[ٺgR'%N)~{ҝ-x"]޺!@**bJ_n~Škn9I7|{/zZFLc)K[/by:on ?[W.G1;#ׂjnT@)yx(jtqBLXIa h}MD) } DmgYZ_ 7Y# ,HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/markup7zXZִF! G)O]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$ ;L"téK+ji褎8õ _0w9`bդr9U7C{qѢ\2/ZJ} N,7u`hKUv<^AMY{ezE=z+&*rY@-!|N'q{xhJ1KdWRFt @@ 'nr +9m5Jɉ-3-]?9$L\^}/ȯ)D( @ϭM08\04>U8-Qek$CO8~ƒ<8|!]t?߉aLS W>64M"" Dڕ]*y9:*  66g |0f;[uCEPfh6Cu \/ɭ[Yk ,L@aRufpN?u%^<:7s@FӶUIHAh ', kN*.xt5K96H'fvp꧴?%]I ] i_ ̴/^j :G*(Fzr>`)@ؤk$(Rn}j$<' 9L FؤÅۗ~U2zSIi-Z1VY- T?Bh^ VMyu&:sǩ&RL;.pi'z[$-Q+5*.csGgu'x%u]+ﶭDC oèN9fGLv10?!%]U= >Aj& JOfe@ Nm@ؘwJn^ǿFGOj/em@jZ/n }) ıqFXQAGcsLdn(W#xbZmg\*5vSx<؜ r-<| 0 77i[B TЮg4! &U0f?;On\;nN_=>(6 :!7I# tHOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/markup7zXZִF! $3]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$;X5S}U$+cYlJ8-2O(. 7Z֐`_bfح;w3GAFr:Z7M 6ToLY|zǼpΐ!ڄ(׷ocO;*_zEU SSSՕYLIUTs0.|R}$;1طGh[x~/ԋX&+߃/_ I^\#AVπ %Cĉ=?J_nF@(+K M2`.bS ]^H~Qp2e$<FBx4sM2:[B) ;[4 w RLwCW 0絨{@ݯj>ƌ`1d1.|Q- >3h(܂)/mWMY:Y?>q 9h"[W6xwq"YU2*j?/6 㟻Z/pטA}! NRH yRVPb{+VPL+-!k8oJg['8 Z{c,Jg-~cN` WFUbV2< p g睮193X 8~1N3T`hEax)6E ǚ@ fjO:Ig&3OļiI0TBsZ+ r~a`֡E#8&<ؙ-ka쇍/..)E&ϧi Lf hK9xxH'DysqRӗyAWϨ Vj[m EO1V".̑irIh%e 2DÜw#B" Ө•\~qIiy>;sk~ մ%fNJn:-ISvgLԲ7n>".+ %3DWH:2XVA]J :ʈj;K J >e© gw36~qE v# +3C譪 m? je"?]DN!k!&u:`Aq9TBF=! ؍Է` wB%#njYw>. #hITtؚn: B HOeG(^F.k>x%?. }oqXݳQJj?C‡>bJ#X%(iM 7b| k`rPQSREJ7F/6er"QDz:k& #~12]9V:Z W33՗ǐW(lr¥+"e/&__"4n9DM[wln,fU@y$.` E@YSbN 6QvT/SLە0z42`.*BI~lQyX|T`>i +Uw`wJŃykG!V|リ%.]IT x3I$S2Y#%? |"?v8-"<ܗd-ͭ7ťfm%x/rB|Qi+?E,6Ø=W'f\E$`$Z #KUjj"2Rw6v&l_=,eøG:N?h NKf Bеy],H]ܚS Uv n18>ÿ 4|̔u.:}0B }%q6ϵ\e0~[q)/W8 ;5AlC;v}@ڃ/-_N3ނ邏 }BCc8cŊVoTq3qyrK ^ 8 aXyA ,1׍THZ?zϱkUOSlhz'񥋺Ev08^l NWԜ~VIH]ybfUHX0Q5ܰgA?Ct"~3|:m 7I!^HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/files~~/src/HOL/Quotient_Examples/Lift_Fun.thy*Ckm#H`n; N}NJJ)BJ'c[%?M([d+Lǐ*|BVI`uT9 Yj/beݻkGh1j J sq/$Y:򩺯Y_F=U}m܇ sej>۷!WP(USWKI^<M^[8.JL%WBJ{A,`ռH`1 26ATU C@ڄ nj\ȹ- ~tl)o@Ȝ2Qygsl ?U+ DF8LXEhy'݅N8R8ָ>QA|EV|)%+kN M^ުfGM,N"ʖ  ,n-:бl;p@X4hYoEƾ ]RT' YxF]##c_.AW|]tVݪ+ql@1 !^c@"r3f‚\E54%~.[=B$^ g@6T}Ilz9"'鰑zqxa1yۼȟOu:ƒy~vCd~'xg)BGT1&RmN/TQϴE}Hí; #a\DMq@>Ku& # gW7˷! ۯ:0#YHx#]<ࢥl)g@;NÚVi+F$vjb(p3܎БXM VFz'ykgƊqg9O[pL(v)3E6$w7K/YrL!(耝\hYQ;@UV9.fA~o@ȬeXn߶XnDk;Ϧ*񉍮~_lo)Hm,+x=qR[TKj m|qgmZvLfF%O0lgo66u^9!5x7ʖA:Ab x;C傳Q5\ĸ rH G1r9'sU|Z<ѠNْM]%ͻrHs6"3Tn~s%cj=BIw3'nǴj.)@6gab@|lK9y7f=oI8P8[i_o,XohM%4%u,)c |)g/^ׄTw% UmuڋI&2CXdl~|S;(uQw d$ I{l?mEJϭSx#{OWT*9BOɊs'̙4q֔]C2'q+] g%,qgkKbȖ8ǻĕȴo[+oxTo$I͖Ł z`gMN叐C:{$(L 3{^C(9כ4Ÿ=' bK,5Kz?SW{l$rUȍ\koS0Wq&TS{\OVC>LGBlA%/X1.EbKǭpHfͨL̓&[{maԥ\pI*ʛ|H.M%|JX؍W# ~MQ (`MG겘~ y0ƒQ ba '} 6DTfޝ\΂~QjPMR( V ? +6ʾ[-C{4'HLŷ"P C+~vI2'B2u[-Skv`Dv2&j}|Z-\@$XN?k[֬s QCv]Lᬲ=l&JlIeM.GBKq-S0zw wL^ekR!(ƅR# D`+,B9L[L7VB)'gæ=>$wĩ:U\HVjQ- &&C3AΜV2} } AS19@J* wm@G%*S|I,V!Wo:{31OVdt'$$*/FYGMeZZbd\πPCm_ӻm4(y;u| |JMGyF:vA'¥lr)-wVIO@ÁEONQ&Mx,6FIP6`M;F(bO.:7ҚrKi ]m놚8wyKcA>D9IAM+{o<`hr=*Z/uR! O~y_hVJFvIX` C bet8W:*fQ={ BC8Zt:?UʂFcPxo_«~ w(N)%HfGP[I֑lWåjYA*"j01;)D, 2\v>&ˎDt@2.i<Qix=A5fa5.slÇUdZlZ`Y# s5xouYI-Kig^kJY$/bϗۇ(0 ska1 ek$mE5F?n>MC 굹̄4 Fw&V\V%A<'dcͲO!$UL` y2P?+ !!}78LC(H$&2.;pQ5ӻ#MSpU?+K)kcm})4ӎVL]-N1PcoϤ6W&7 3躰wez y.>U̿.c^>>Ԍs wǣ' Ax@KSwkY7XX+w~?B+qE"_>=i,_XJeyinůլ]>w_z%-(c2'0 N96EI̞"Hu[rOp>TgLWlR,hcyTӂZl-phsryǖeLo{1eZ,3sP2p` 6%F[ְQe&L u63ԧ#eHe1zc~Mq?CLXFݠ߸>yW3lp>`ݩ15h'@b=kpVUAh쪪 vF:Z cV)ע>u(7Q!fHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/files~~/src/HOL/Quotient_Examples/Quotient_Rat.thyQ'7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/document_id680 &7K' HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/messages7zXZִF! ]·Iq n[:|&[z3O۳t}LIh0}~swu?Ky tɆ,1&o4?~}?Ez 8ہt;A+IHi@&TQgIhEptęcz$Qr_)kB+.<mCIz]-P ta GvI!=x>YU-(@Owa:ӢXKڠ2ɸ(:apH΀sz9mHV4KG_Yz7rOt5K_Ǣm(?t$e+/H!Rr:̹#hiQ?%VouX1y0V_js )u>6np."bꃰGހ[k_k"^D7lѸl*v̇r,B}}զ o2}d,7P gYZ% 7K# HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/markup7zXZִF! At"]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$;X5P]Vz!b(ɧ&HGyYsY9 "| 4Tq?48TxJGp5yŗ4D`jcX:+< `;ZYA}R\kьZ![pamZ) Q 5_Hs\u#2ɆHLů@ 2E΂=W0Z*vՠV3'* V ûyڸLh F[8T-G۳ 0mx0μ6TH̠2n\$5$J#+=/öX%W@Hii0I%2 T9p K^yV`QH7{~}ikjyRLl>Ժhf҄n_kV# I$#)ddS\To!] g}m]$H3Bhd~ \PG]<~uɞbu~A"NSFS~)K }{ˉa n0YĈ۾Z[ ީf8T09Ǐ4lbEGﱃܛr⫶'U:tp5(gbܗYO}pdzdt5g%P=ޠY1A /AB#}:w| Kt-QMdP$|"e, <- *y%dƼBRsFG55j!ѤZ> {IywNLaU5J#QRdҚw H-6%mq]&y'27 Da7+9>J]od:k_`e0UJiIawa'AP$7ǬU}q(U]O|dNFߌf#6 0m*܆ / 7P^; kFһ?Ňt/ô[w1/Y\8xBg6U9g@{9!l;h 3éWKvfs={^ :N](GwO)&/#F-gYZ=^*FZtٕ_ҋ-0[I<݈ƦYz0/ҭ2TV밗d6蟪,.*%ӌ,* 5Ӵ>^D>  O@@z)t{ǕciDXNB !0F`_nدxBzʶE/@ۦE5"as~Bql"ZgF Jh, \t_8'wf:!Hfг֬$y߼ƨcBlE;= o)7x~,;b~pWqfe}; 0mxPU^⑷FAwˋ&]Ϧ^5Ƈ; /My ̕ʦm'UPLfMpyp͑LSSn]Di6k>m;0"&'68XS6PPL0u;[G=Ғ_"\jlct/SbvujGӕiHc(?ঢF=SۘKm;}uQa ]wJ= amI>Np0`+$3et>}n:u>R9J jf@w9iA͸_S88ZF` {xNr?ihV?N a'{/8\W;OɏB&;x4a2E+KRḰ^CsBG+R 0.[?1"6ESt};tmYr\xL>Pi<8~ _&ZE[\Ja`Hܟ'h hQX> - Z -j_xeN P{Gg(CVos]u-P<1SRS"xy9Jg3P }boALx ('Q& 7/8P0 @- $lɂhD|EӰ9Wd Ģ$JbOKDE_r2k=%ԥ,[*M!ˌLNͅnP}bOnZ772-V=g>S(9#@wELb)ӷ5*:2fQq?X?_ 6 l e>o _)&e ҉<o?n>)DU~< XۣBMKsuH0!Hڅ;P-Vb6[2 V=8iOAgT[-jP|vZk#$g:No]A@2?%2*<|k[teXO--ಝٗEu8`~LdB|0AaNow*6 4dIA*2;>@[ȈrXOߵ ! Xs.4ڠkM=\ LJ5vSv汉D,ReS*vA60}{/<U9 #ĩ~PU| mXsb}n"c.hxYG!V5 xP9Pl$>kfa+!pO/) SKkySd5˗gHх%sK|^E 27J.a[j}u0&M=$^WJ~- bq,NRs> 0I~]z;P)#ѯ#Fz?Up__ `>lO[{NOYjY0g3ږ0x'~&2)*4SfPb?b trN0AI;lw-,G! 6by8BC~et0P[X)Cp;TTG'DX>wI) LAb擒d喆;r1>f]*5W\#y0@MJ7w) ?(]_<77xl@Ղp1G,q@x1&\'C\Qi?hOikAjDuˉ< W:B͙!N׽vyW' nByN&zp|/Rd Ƿ}l\fC ;9^ ?ė/b@4 ! r CHJ^_ӆ?P̸LlO1ᲡT O0ϯCـ+5$W!(C>ˆ*,1p~*M!pf51Z@,y9h "XF8-Wck{8RxF'fɩ^lg-d-'þˡ2߰ 슪e.#=95_V3W'beiI$lp$-y 7XiON #sdDq<]9 N16 Ok]Zewf`koH3H>`uuΗ!i;3AZ^r(ä6%ufRU?I08#uϹhALͯ I _`p}` ,j!eUΡe]vஅ=0x*OWr5txTqFasjr;9u.rT/;( "Ro7,e3E:@ Vºu_پ%tP3i4JFf2rt!h9%xQc/aD,+z2Xw< y׋M~}.xao/m`5J*l*lvG$<|–z?kGEv\y<:ĩ?s͛\{x0قZ-.qm)m0_ΩZ)<,:k@b4o`L-W߃O܍ՑB{:kǢ"q]=Ck;(rL>~gErOu: Ty>1^3*D~hNOL+&S2BEom|seRk=Zcmmht?:1@ oPA ^ FK0 M1t( bmϘ#} n~=V,yj8ʬޅjd(o V{gP@_YHKS';2.AYw[, _T>{CZa)ןZ g?ym;!1Ǐs"6NeY+=1.YgQX0k1N}T7 EF֍*'+M1d&~9]_0N$0^Nͱ,Tw7P]1eNd\i0l!v+Miq(gۍtNS%rtӮG i-SQQn(HuX}՘Ÿ:>ֶ+Ҡ%H"Pv\*;svхs-# ٸ x۞}F]]Iz_K|=a[TmX-SkE$_\퇓xkSWV[C ~|Kp欜gq5JN<ݕd!CtjC{)ϚbpZEsez,, yg 2$zPdS%JE1P]*m /#G[ٌ\R|Oϣ9e@c2sJ>_| Xޕ@3,IZU5Rp,iD!W&%YEHd6i#:.tQ<2z@q"1Tt.v'8Va)R>bE(Z!gq>0;% FrGx ?ٻi`#eKfza!D8k_\EFDS-xET$NB({?s,ڞWiw!ǵ\ owdGjLtNC | n~/q6sJ;~%=$>3Mʢd~40Ihd:v Wx|QI2r'J c_ Rrs^Q]7Àw= }+S=Z)#!anL6UrL fXOp^~9sNOwӮ~?L6NFZU:uKT ~4!ӘQ5.!$mzmHXV,Ї̐^9 19)`??XB?o4\ [Avާ] kLcdB)Xr(5pX0];j'; U1*9O!hm-X5,ff+(~Zmxn` mz/yS7X^dAuSʺoI ̄xB(ˡx;ƍf^ީK2TPq\H;Ŷmb,{Zڒ` gذ_1s` Ƽ(AULfJ8|7rhMR?l;ZK,tN 8Qw4Ry',ljXig{"vDS*HȠ](kȳr.]|}J委8U]M"Ϻ=U8|?p=S}gۃ~9ԈVX:$<gQs ,%;Mp4b#fR& #*L't|HKx'5q gĂ[ >wSePIa^/m 'ٖfMyr]I?DO]vXlcFU\vy=NTnhFIޙ`)*.~wk ¾1{a1JC(֠=1~v)7 f'VEiKƟT>MoShQ#l<֎cU<~0^H4滅P!I>_]YifrE܇B ħ{QT[RaIo e46 @b)mlCY>M #K`(m8ֺQ^rԺ9f'~FvteqT˚|Ht=0Y )YngG=ͥIgisiu~{:Nh +V#Ci)d3^dEKzo8@7BVܖ8SiuT9$y Yk8݌/g ^E:fHE3Zpιj@r 4R) FZo=2v6G;T8)+ %fi |"Xd%] ;B^NlO- #kYaH1(/ z#0D5A51kX"Ag莤gh ~᪀}MظN5VDOvL 4N㉜g{>dl鬉eY- l|`--DT蝕gIQ*M#|ԇ0ER)"7ǐ$@3B֦d ni ozAԹl|dmxigqЪgXn.6o|Aa7b.!Bpp vL@zqaiA* [-PDm0tM,0x/)^8}CFa8+VXk[M$lUZ)N}gzrĤ=V^^+_ⓗ:/%dXBlqj;F4_.gYZ?JJ-g?˷Qk?#}&bj=i;j#$ S'vuaVk<QI #|@`iB*m}93L{dusvWpF R0a3 W/YK-|s)l=OP23 ngFAڗ'8f2I6>5h&^Gi >+9`OW4Q],ço0y&fa +QN\]J,߃Cij#ȅn'KC{`<ǐ0_-6IOu}\ax] HWy.BΤ Y(3$Sk^mRdG| <ԙ%0.'!:)TNZpLfQw̚+IgC3Xݖu3cf FOT;yV5bDSuj_G;EqsjL2"3꾀8E&|NEB$GM⩦뤜u+Xz!pmdԟdr{9|{8(e鎽/Ɏ1A;;h , 3`sOhC6T( cx]~^0T|m*6/# Dv|Sx FQX,e$CGٳF.y"Z (`vhDŽ~QHryel5qӧ4,<ılx gIZ,&ve"U2'cry}i5Yvȃ- @p]ҲHsOKU{q7z湴crȘAAj 4q]{h\ssf,9Hm:pB?}}"KIrY0Kl2āeoX]fߤh ^0 #utͭY*Tyjx݂0mUa*'y;c*WIRZNODΨ4KuOE3$j8Obz –%\џ4X\f!z '֗M#d1st<,u.\M p:Js&urD➍ʒ!VuS~=欕`|ɾzTTו(z+ڎͧHeAX .g.A_tU@AL%FҎd?Uo~#3!kW(8 -=F+lc\J^ +!|vE9574خ۷8XQB3z3!ȍ&Å0xZYC)_Z=GHhN}XR8fQC,wUrA)袐kgf»S/Q؎*4t\6/Ww,B:b stL:[[_xOD\Dק۪; 0;pzH}PE%&T E>|HoGMy)(4 :qڴx@;L|g!f7rdlT ';o ZUh Gr׌jA(La=cluM@t7rvGBJ0,@p[,!cԎb$282䤬3_ạ&qp]83 ILbs{F$f& F#N⁢)o)Tri6*mMupޤ1($);yj^6FWNT;޵)p4^|;>s[b /ޜ"S[VUӟXy]ڱ=KaD2XP!*̆T)tWiSNMɷP<ج{͖ȷs0v̉I҄FfQo1'.^:$LjĻ/3t$ EMpf1!I]cCMa+g+ 0OY#i8c8@ L_ȟ'.ܙ|? i<ꩳW -:Myrɺ.ȋ^YI[jLD7Y2kF\y9A-܆Q"7,A C*k.:Uj\R@#Qiϳ|>HImb s&LbJ//8h3'9T8Nf$I3r{XE`J#=#QsMT 6C9ƅ ziW!18O{,1Ͷn@zeQQJn,qlJqE&Ѩ!t"51 k̓:NoYSaa \72lYx8}n/*T^ fW1[B[2Β.y^6br+Їsjk\&lHIY^7 *QA? !qdg0!՗.Ë_<$Z!L)j|L"Un0z7֔ǢU56z2I40y;q@&oAn& }"v &S%ꛪK>f^_.eď+!A=K䤏UwFQTMsw@nQAHt+&7Ñ_x.bfYaW:(@Ϟ+DGoWb62 Ai"?J 5&̒ gxϦ5|Y#qi^M4 ȒP%^8lr=D*ʋh0'| D҆jޏ54b NpI.^8սvEYE!)FiEl{A\Yג틧cZRbB]dl {!"}:.@0̭b6xS!PS DH!W|?UCI<4Bۮ1-?dgc* TFN\v$F[il<39kߴ;tK!v.1֟R.Kz1rF%i 4S1\e6XwsaEWtR*>H,9Omm Y0nCó'o< `@AԢ\ws7nYWEƉANU.r:O~X\?݊#\Yh!]&PmOuU^fϖuŮ-#y2't@y GaasiN\Nanq{j+Eṇ1rsLD4[ n_uU_5.{Gd12X. ϡ }U~0i/.8 2֧q=n/eΓ[Y4|7f_Xyb& &Wx;Vջ&",p&Ϟ5+ #>Woت9KlK~=Yqܭ`'/{)s̿5+=;gxC 8 Կ$9,CC(X~mS^a\ADpVҳ OFs?QmkTر Ĥ vgEB1E jh"CD/ʒzg.9?; bh3֪:E ywhN8?SQ(AGЖw5{;% (J?1]c[ڱu9 9S3cŚoQ5@z7AQ\mM;dZεOq-Q#Et2Z.46X;x) /xI&ֵ [h/-#BC5Y?{>$@kQq X)q{&cH<[δ mH=]ŗi]iҢ46NRAq}ɍ%7G<)aMIq-Ý !/fa(jxO;y`>X5sQ(]IǒRRjdcϭ}[S &}/ Y\]Ͼ-ZKJpDb*t\,4 jI>qnGS0uJ.4pk{6~^R k g) ;H%@5+Ed\7rO{1TI;f檷 H'(^ s*/?|EeccH1SQ ⛩{u@1>g5w6<:<$B,8D;A\ ܏[*X+ h?坰zp#l{!/=&bЮHw[4WFbXzdt(Ζon(n;{y̚儦Yq+u/R#\f>l(\u]8+fu '~;%Ȍ7@LZI(lQ(f0d ⹑7%CjJgbu 3a% ]%e#@*&!%}Qsہd`D eIqΰfU=Tfv<LddnOh >'aĤ=WȈ?g.s']-U<# SQ4d0 Dwï/+ c0Ϭ?.Qs &A[q(~O'bW!BPdBՎR^M3GoJr`qZ$#};=z5G%\q!z I⃌d1"iux ~En8iq/v߄u1]Ȩ!kcEy~vu2nh ;7 ~Y*^[< ShvB{!qӻZ@íVK(v<YWV϶>R:b K*PVgܭ-hF; cܿ]6n>m͢g[lH;Hk O!b&xEMH<~cw2^9Lt3n7djml.*=k+<9Y?L1TpX "@KS)Pi֟~# PZ ibnp'|cRՐgl ]go.>fa,(2Sy~_T$)p@m%+IE-2X_לZ3M\IvKxCw%|-'QE=u˞S0%H>K]K$װ*#h+1<갡OGtDS.j<9(s;f|Ϗ4["*5x!#JJ8x]n8UK(Tܐ-m3#I)0੡!h:qVǧ~!-@_fYUv۰Ha]ͱJ,>p\J$R)\K$ qȯO) XH fgs"Rl7xpj0RC?f* /UX#$j|V!fIU? @[Jtd@,'G^gɦ!Tu"hu+M RBV>lS/7.L"9Lsd 0\E4EKq]ChZ^<>B^%p[]^afFin/H/CNNA:BP~;xwPrPv |7tNR8;B.м͏eLyBc1@1A}՝0'(|[BwtkqVYй|%?=(0C0+ouP R ҁp*ZlS%Vk`G1VG ':hE "MP\%ZSgeQmNN?W6^P jcﴐ84]??WKgHi8 ɜ@8?pe:8ZӷjmDG̩jo &`/=:Gg@f4Q'H7l-7ʟ铬f)SG+P~Q3[C6$&'_,\FT;3Q/vJIIuΎ鍒yh8|aTrH;0Vц4zfܓKΧ︒!~d+8wslca*4-Tv bEH qE7hɲDF]%zނXŪ2#K^'2߹LOa+8B,tO'mk?&GB"p1 ^0@S|Gh];8Ø^ aGM;K8"x`o"0/ d4Ax ;$yPo׺OQۏjĸN}goϛ)ƎTI7a ظs`:@qǓ+t0rp𶭤MX:Og1xTOVZ>]N-[H2h5zeuzxp(M,/.1#gۈkԼW 6&+[/Ns'eT^'_\з Ҵ4=UЇ rEy7L͂gs[iolqF}rtyx0/ѨQe5w;9dU_؃Nqt*m㶨B՟Ub&B# !~[KlNC>3lmaGRѰhdfGc޽iXռ  QԖeHHG 5oMA )r| ؖjkAqz;f(~ɏKDźP\4,:_s`¢%RiTӪHETوцQ?kQνؖq ~-!%;0@al,}o߷27Wi1| R \FM4X k0f][]R( v-4(: 121r=GP1ȍl? âK$qmwUQX%'V=풲npF+߅Q.mµֶ3zE1BgJ6[2F_3gtۑ_ǿ) &?8K?7.YX3)fW賿mbhTcz;:3Ԗ\±)4RΎƴD納&ՌeT-}'J!_Cc\K=;L+j/<6$儤'D{30}HxC!%Yo׀xC\(}zȺе|Q elHV{J} 8 >bИXޘ!?aڲKlVִ@ߩ*O}=;Pk4)! 3HxtRĈ?nRg$u `#ۤVYzw:PumEY,jIp5"&&G>i pchgHox"6O\p.@K SۓѦE~Jx,5RPUMk,QLqJ PSFO =aT/N Hg{՟fWf"fBM!$R-C-`OjrYa,(F8~;%ʋ1T̼QӂPUGPhjxbDAeg_jxOo|T ٮL!Xdf_3v}͐gJ>|zrm*z|8&n܌6_rWVHh#XcTuzɗ=`l.k䜋Uo88JߞxwYmo>'O|O- OvJ^gRڀ`:+v7\//ף{.QN1f"-1z6)mu@Hx Χoim9FLq1ACbVPaf 醆y0<߶;Vf9:ѴOo04ߋאx!Ư 4||CZR| PpD}B/Zp_°;&΁&3"~Ƈ^eVT&zwF󴟴XT 'S@|ę GP*2RpJEds@/e #`ؑ,@ n(DgB/S;MS%+(N߉&H٦P}#Kt0o7E-3ip"R3:.FX=nabJVOmbbt6p4DNYN1穴$U8.tzsr=FǨyc`|r\FF*|yK\$L{bԞHqEr3QI/ K_ǩ_腾2QMeL/:c eM1Xਚ%R#Ӻ 3KNtgخ p?,op%c(ЃIik.k0< Փ?8y^baqZ4pDSd\$s/ *;]5zԞ9ܠZNQa$>lJG w~',f$_`bdd<KUin+s{퓊\9*ۧC B{9Bd&C Wzr>]Ў۟m?IRʃ{{] f" Ξ#R +Ϡa OCl%R;, hdnTjBM_;YUEK˗Y\\>$}X7󱣪@$]}]g:#aőr$JMBl0si&|^E jC' * 275M@=UȰs>!X3vwj0=WFUL%>1ԕW՝.f㈤3ϝl{O} 634sɵx^n2W&4 ϗ" r$K#{A 6}q#("dRHuC6fÝd1 ufJ6KQ⣏8٪~)ڭ%Ol^{D+䅐]dO% }؁쭺ugJOe-{ 1>R8Upބɉt>>{D9GDrw<+Ϛs.=^}} ݭ_@ϔ-$ޝZ X*Uv)zU]-ءXeۂF'> \D"H$%g5Ίi'u\4U.ܠFE2;53] 07GՆF ]=)03zsĖg(vSZgxňD2$ot{&㩑< sO;T|P޵+.T.&K}F%wSl Ϗ&/5s?jP6>GoTJ] ܑ}v?g*ę &+#?.ܡq8vh|OHG1*&rrzhEw êEԞa)0~=4Z JC06TGRa^Mπ5cRYRA|$Uunwf@9iNO΃!̭,Q"͉Y @qP fUęHV机˶,; ^iQIOt6jDx8V4׏u[[_ґ6E$+n kGrlT ϽEgi#0BxGQ2]4]k9`&rV}v&YoZLXE"귘ەfʮ^. ԧ'~Q:W?*ݏ{H#>;Nb&W1)md:v]lD׺g^;݌#+˩nֆyc:^F#rF,F(X6G 7젇 7ɰh  nej゛%t=vh} ^3}wz96va!cZGdЅ\d>'z!臩Tc| fx .5hfAȫx)ٛo9f q!g(cu!FduZ9m[tRb(XgPȥ+`ZھS#OfptT&9gEtfG"Sπgy@/l ltRKt5G?s 8 Frb/5t8n5԰9B^`3j#S `ڬb:䌾 mzB8MtrVn"S\併էeTRmu& 숑kl!Ad (5rt)^@_ba+;1֒ F%*g7[ Mpg<^E9O}4k+!E؟ uqBPzKo*Z6I|)t*9yӁAVv痪~! 8_',ϭtF!!ɼq83_n;k_\kmoB`L'8$*Jtw="ɛKXg>o|5v0No@?ŞlfT=4Ov`fX(fVH8a97Q0)sh6ئ4rqRm)5UU9kxThQR.Ky n Ψyk OwzJ:N30ck7׸Wf$1݊~MX5VqprdI`UmL@ njtU(|Ԟ2#,v*Wmre#(aJNH7}|(/ f> 8_l:Xuhؒ˂ M,n)W|Vz6kڢ[ĄoZzKaJy\QIlYM8xhdB`j*(Xk6Z?wo]q.ano>1RMU,RkP:!%|noz4VؽNfv<^? 4 Axn.~E'L@wh%D@2"so5]9׍Zu;dzjq`R.{[y8` +EOg/#LP8$6My 3j%UWyؠ| (Zق,pA5Q~5O/MX}i #LS=l{jw "#8yO!%'#dAƖ~)ob(j7$C8vX~mA{8!֨`Mjy[RL},[blvDyTH:˻F[F <3iO &nf'H<\)H8?ԴZ.ԃ4IAw[Ef2N2\ݡA,B>QcfUO]3OectlBY\$/ϝ3FL (*>#.<{"Ot(F#rjCÛ[p8";/ qsIϷdeeRB|w' :Cؑtlǩ~[.5ll2 W1}_P'[U "HEY@F2 Uz1Ν|2:irmk!{=('/;DZcL EH'WYfGr(_Я@J-kڔf'G56D]3-ekn]~(Ifͯ)M!BߙDpm+pĹ z?kv!yV}B= |=[ ǧ#>BO ss|b=D1fVmhY|VjXK8ZucM(JQDiOg_V-B+ݫֿ9LĒY#[TM;HWݒD$&pn󽯘b.ӦH aӐI/^G<]Ӧ8C }V\:V, ܵSae qOE~RޡUma V"Ql6߻0GOdц&2]$/ҡ_&O5Pb5dGԕ-F {߸/؅n' IP;qf#GuXt%@\=B͎X_c{`CJUG|&oM tڞRt7¥ Ѡk9Q|Zjۜv;o㜎gxɍQpOumaBHWWW1I3(BZX?8}:ԭ(d)²S\jP+/oKp JmuN&JyYA1śu\tHΖaaU5! ==GS*ypo h8^j O7q rcn6T m#4 멡y }4!+Vw2"YɄµXm#2vݽ ;X}Kkcu UŹ,t{i Y98 ~837rzvi1Lױ@.+[B+h=.ѭ}%WL?rw%<${Ar*5{-X@|n#/(=7Q$]X]:ik)HcӟP +=W\Dmʳ:NxsH@.C/5os ͐ANSawY{Ħ{f9؆ *#%B)?.IwCf8y /+)%#Z׸ա¼6vt9'k[4/H=s ^pXKOB zҰ!{ K## ~٤JuO=ӁLh߸:62rvځ4\mI"h) n"a1f~D59YI{|wrFQ UBI昞 *kZ\Yд+S.CP~?Gjb'\6T22eb+ !1tpqJ1PGwCbxD~CoV^8\D-m% ߑ{ R!oV]z5ɖ!K^|KKj&a$`(CNv9)Вh=C!x5=QTbli8 70+YzRMx+;2 @515Q#")Ÿ&HG=卺0@f }+\t?YFU(Vj{ˌ@<ͩ E`V}KY(r,ŃًW'H:*uBٯDBsVhK1|$aI$ Sx?b !n(vad,,Ըq!a,aP<2VY"y?1Nn`Tӯ0,U;iOZjXObOO}1|CC> ; 6M&V _{A_tZUA/hsûFХኘ'#ȠJh%!R(<4D-*]fΖ0c"m΄S+U]-X9~irnχL2Aw8f`Wh5 s3@+3ΝQ Dp 8f~I`i$ikrX}EEV̑5nKF>oIm,*0$^]ZU~g/|xčJhO%:%E4uaJPH'\k ,{#W8#M񎞪{/>+9,yW¯Cz[]╥cJ˨ 퓘 0JCG<~i.ohP[ n}/spz̷R1r?0 j:kJ;ԜdH\x&1!o.l;̊6lյ(l =pf?35dt"TU1W,eG]34ؠ- â$7z$mm} iuG;!P82琨N$0r !2qanWGv3^#͠V>c4V?",$/ ]; z}xx2Q'hDONˁ9zaP}7x]T|UW?lIO-N:gGn^ ѐh+ZSFo?KF1]=a7oK};xf_mg+=?,3⸰2/^Hmin%uA:R"ZueJCM %i>[asٸFus0IN0hF9}_vhsص˚7o 9an܍TvT^\;vn<u!#['__U#.-(:@U1ÑA2Cs9sr{X,ܮ Piҏt` xtga-*"NMuMTA@yeQAIT{ ?.aAI !SS,8p ^PSS!ȹA;4VȯS r!:},+Na)8pEF :u_SRi}.b17R.ˣPBpn0&S%Ғ52c^ˎgӓWd|o4'L+i$iV-~..HC B*44/ w-)YUvg??k|UϫbHb?8U:> q/; m1E]4Gty`Z3ȗ93QyGdtsi>V "9q "s9|,u fsbmU"^ 9FQ}%=DPE\ #(j*hFar)` wpmK U @ fH*;'IIh Dr263슬723>o\͍+}nu4Q*m2<)@/fެ6ޟYA^%F*t[ zAEjb޶ٿ[f0aiI$jGrsZÎ!bwyo5|nY)">&U`/E0\ )rQgLs_6} =x漺^*lfNn/ >;EU D)3$?>U/qA4nA,byu{cǙ#k8ӪҜZ_aV}+RMQgCp4mzɯ(FD6mq2 ^eړr X z bo' 6;RyL |R0ԥqT=$ >FYXH$dd#?=\Rl ʬo.ëy'Q֦;=9!YiG5u>vdor8Ʃ!W*ĴKWCqa 0A+,ѨkB͍k!2Z1F`-$[0[U!.؜B\{W0[ ڇlW9&[ae {~  -3qDN=%^)iV,z5/GmkheV@<aLv{޽Y9n:׊D7 6ȥ'ڴ`_YAz{e=hvP>(ae43̭kYy;`X@w#j2#3Cߨ|Nޝdx^ (~d'7C,+ee0n/,8짒eLVU] 'prΰ,aϸ! ڰrv z{δjp[Atj0):k1o E=Ð~u#=0`I65zatug@}1{K̻Op#;4h*,Kd>?Y IzӗZM0vugCDV? wrMyTAFuȐ'ɦP,\}vz4 K]$x'MT] Lwr*XJ*4 ެ2:3>a0 BDb-15ZK}jYƽXfC?g>!ZCaWYmx(QYEC)<"}_`̱ˁAb ڥjJCxV_Zs:΁chqd Z:C*WU;#Nv{Gnc1P]c \m/\)~7!YmxN؞wp)Izӵխeֱ)`^a{SnL`- l_])pFjI`!AO&!&;U{ 㩨pnTÑ{a+=+6"Oel,oSƧJrN$Mcv?\zVrL o9F(/I%?,uKp*Aq9%w:} vG:U q0;s!?& n09O+=@AS# 7,`$j+,DjIhDd])Yo=~2S4ӹ`h3AK2ɢĄH+>xj!6\ռ 4 QA.#`|h,#r4~ΏpgVû5b%puʅD(wL$9ՅqݔkReBްM$^hs]֍}bz|p 2GUn䀄?eZ>ķvV4B{ǨYPmۯ&J +Z409Wbv] }N͆dNnnq п\~$7`+")-BAG76zY)ny}>eFߛ(t 3F@ LHNYiL:%%GÔF+ʯ(q9vY}kEB$aVΊ){.9Q'#k׏1чhqs.^ciGC.YdU<}$YY$( 9~ V9iOHiZ4930W(|g;dA'#浶DvV0jѮ.󧹺">zOc<۟5Sw< &{>6Oeuؿ#\4IS0tLFsL9W*xNMZi[E`~uثUFQe{p/ύCO$Z=클i8NK}Jz-qYJ r$Ԝ)awFOs{*`Z۩+%”rmݟMKut1T=qu|t2'*t&3hEp%_JWob"L?A;n,2Ɗ@āfYi[cQtivGFB,e''Gy'5>gHмINas+<|hun՚64&Ư>Qo(C>JW!%nހU^{ZJl7ǣ㾕4WRmCw7lCHFa˺ΟQ5<"0uV195lA mmyH*/*u MNaDcVPy$S,irr($RZ;j0"ylG+Zþi@0ֱKMh׎ ˷1"HĔ"䆚~ 0iޡ33) #Cޤ#TY&kVk?qڱ dТ5\d&~]+6 =4A!K/GΒ D(x ?7Ap:Gf/{ˍCR|p Nd1~Bw]G!+Ghˎ0(^cO$hn;l)/B ,4::ZƙӪڸ{\ElOEQLƠb%&s8R?};x* n jx^-߱9#mg#I Gk  b ,$SŠlwY0+ `\Q*?SInmRdjwKCLT`]@6h[+#7 Fף"ӌ/5CX4F˃ſK7>`(ࣹ! 9Kw6>٧ A{v&Rr蘈̵G@SEkyCvVџHzWceJj5Z$ɢ\~5 GihMcĆ+R.qN>xKu"%rqӢH¼Snp.q$P aOu 0qH:PLw{cZS /g{f,Å/-i&##Ǔx/3XԜEX9[L>%Z0e#[PU?َVdhTL5x%X1ZcKeXLQQM들dpSQ ܵ@΃;_n g46|N/+vMwqLa@1f{t;G`hH.mJ> k0hͶMT#Mى|^nd@6/+gDs0tQnX6؎|Zc>nNh,fxDr6:JkO\XG 5T@ߢ=ChG;Cb;9-05zJ>=Qw/Q7I{=S27n<e+Y_,~4l\xQM ݄ &Hᷮ,:X∌vK2]XN9̛qIrWb@kd]鈬U>BEAu|yhIR W%`ƷgG*0[cבSQuPgi~j|~ uT@&g72xpj u_IXҗM:E>G>_Nk_)58n?~tX[W:GNՇ#t2o yߺK1b5^o&PϮ |t>FLVzArFYh#΃EP:(.aB>i)MqTG/PdGE&" DSK\w1w@>JAX-k쒧1oHeG =Vepsvڇ~K,[0Jfu* ni58$nR*Kn5&6Z]˯9@RjRjO-7W=K 1OLI-R#+Zor!M|6UuM1krjk1M==ModitJm%?D[>I~, "Gɓ9 NЬC#[Q9S91k/dffxwo%e dہfZLgd: UnXY;2bca<>+)!77G y[LSYQ:;{lJmisz t~ IV:刧֜ŨM)ğ[y |ؿrU`ks<~Bd4`1 }e~fuu =o-Vg{{}ca1+a&}'Ӊ*+tWp\E̕!Q J;vpfDY50cC_|ݐOwSt`G#vCa^Jfn\uf++k3謲Rkf"s{UgG+ؕHM Hp%>V$5ύ!n~7!L ٧ Ink0v/? Y/4K*3q%2,j?LY9̤umyo9_ 4 -}2x䕝܌Abz2鈋j_5vrYJ);.ˮ(?';P_ﬢ-SDcqUDPne,J.ӸU -+AˇlcH le ^r0a)]I$}25N21Rۜ).f QuM ʃxNG{j47,10m B掁rrgFS3m07}#0T{i8>1ecD?Nj&Y]8X}de{~G٩faIjO6v1HvPzn\7](B*%5'wWˊPҐMŽ|^WWU)3OIp)l[Ȃ7;O8cٝ.I.L*2pWsl@JB#q˭[ߤFVD2ENwzNEC|jzq(2xbdRΕ>*y@6 ~8( 'Tb eY.u!NNXeXFF.㱎 l_SM[̵EϭtIʄHsIAF:1 W'+y{H ٱƋn6׃HAKVM=܊fgTySl}T{(d6i;jt:TPsC8@CWwٖB ZӪ`eiϓ}#2(O3fb薸ӹ&|BXC#^tDq Z֗܂GܦG>阑*dT6PA{>ip4fd2gB;|y>Ze/1@AG qZ_; s4W \L̞@ ~fH}42C~ F(/&#l{xrǡ븝]z}U߾곃Shي0mE)8oK82V\$"u wO,;]bqX:}W{p)dMEZllt}lGF|C ףv؎ :VkWyg'mo|0\=TK[X TPgQXE w.u9pS1Gt+'PP}Iɒ4NeK2|N;L!d*9N:áϴz4 ӆ3xѻL#Jh#<I5q쌧ٌԅ+x+6܁^z$^6˗yٜ~aVqH<'n^/Rz6?k֔ ߖfI(5q%`l= b@Z#[2/Ҥ Je-)]ޏ!QPԻ}[jfU|z-aY k ҤT732<)MS(X\yRb=_va]?P1H-gIx^CŤ AtV1~ )湬='!V'JG"%-_ /&lz-U *0QȋUh!bކrQlGɥ1?(%- uDNOWiBR8L=b[?@ˣU]yD^z"sݺ?vmA70RLI Hwj ?&bl*G#@A*ڇ9"_$oJzfwj_yڿ7@dy:o0ޒ徢 H!m^`o5^1swGh)TbJ 9L7Q"-w)֘=c:97Gé/ [O/,_0)ev]FAǺLoto`Sacx}z UKF:N\$A@׃r$sL[^ep~P.}[)xoCMs:4LaM rroT5$TU"1u;m*k OQ)JCDM/XY?k^)7st@v˶[hFdDߌcn@Ko5U!Ȗ q<s1y1 nʼj3MY߉DG~Ĩ Fd&ޯrO/^[6&ށ%w3v e:Gٔغʻvc.׍q+˭6}\V9# 9c%/.!\׶:uژH9힊 rWow#I;@k|E2**=ЉH9*K،&9ߟ(/Li. u]eioy'D[}Po[u[tN\Q¾[҉]dҏG?Ն^˄3):jK@ Gsd|ZlT7U dN0b-OSe9,!bIjuM?Fr|r ŰW&kB>_sxYm`s? rEWieV-r/VOᬎw8uJims3­]6edKj)rNbK;a}NBn~dz$;2ɨs2/"–~PyZ`췾?lEvRG\<"oN %;3.YgboC\GKSH)^PFl:ŎWzc:$K~"qXc59~H)қN겯!8||oFZ$hqe@kV 5eH> V/Ek I.y4Qʈq/G\Kj3=rO?xuT FpG#N\oSY]Vct[` Ė7DED$Oy³Ђ a \ն$~cɎ)pXm"',}h)Ui%$dNM'@>YggMԀHY5e΅P3boMGߖf.7``0?x٪%1 bEfkKHYQ"]SAL^~?!5GnLQ*FĕZ[9B M "E;iT h9tbi*q5sepƯعr]a_L UK桥{'01 LHDE)nPh9̐}EM0:Z7J 9[h W 9H>ʦ>6?^Eɢ3^~NzZ2(ȸ \@ YXVB|@L몥[w2dX~O- 1B#i6rS=kL|J`4\Hw{$q1Fi^<)>Tq+8!'RU3vGkeo'A1L\,$4Aka: M67U[ftyNfj$ְ[65GRw?^ ͙g$b"RhKq?嫳 Wd[SH.PXn(j:BAũ#7KpN&QhAΩpP<{iŸ𫇳PqcXxtD]+tc'USq c )pZX,s).V3h7ːq,G格gaڑHK;hoE?u9 D}iA Hrb]ܡ} rLࡼHrx c6ZBI!ÿ\ޅ٢j·OgذM^NBHr1B$-pvc?ACsxJ u3$ K=w ?'uyyZD7J 4a4odJqTa RҴ(O[QIO/FOa:zwH7f0UO@+Cfպ"Cg KkP2 Uh|''mu mlT4\ h(}%x 4~ڥPS {w5~U+ vzZP񪣟j{[M(H46% 2ItOe&!O6So& 3g#+>^-)<5A?Sqyx!Mgӷo˙fhqLj7a?6-'LsVqs'2L:0#vj ٨kLyZfegĒSr+=NNCEmlL3[DKoQޫZt$_UfG:I_Fvain=ҀQWf׫٥Jwxv|(,p}C T>ujAClM+i pOr|5 z\ߞQ IVL( sڤaȰL26$TFR"(tZMi fcϑ7r/.mׇ|Jɑx6UW7ahyvS7R䙂uGFd ^˽!}g='WdF@r dOyk;0jqi^v]DsVTq R؄zP* &߂l 3΂11[%`ay8B|En]PZaFRcݞϯ) Ȳq3([{|_ 9{& Ft|6⮐p\z3^ٕт<#+[99A%܃ϥ8uM(Vӧeˌ*u}݅\Xxih3fc/kc@JYTH óH# *dXLȚ2bnQBG\{kb㿽0N:%0& \ӻ`9X0]] Zq\RV#?@1i)Q˰C.`Gƙ}bd2be/F0}gIe E8jey->ѱabL0=|!+1[m@c̠(pJ(Qw(egxˌ!Y< Ht["2ۭHua7mo#b$K8_8$( /Ο)rK&7kLM ^6[֮N0 QM)Wr0Jf涻AD a+8̂eH<[YO@??18njQ~}g$7g_նnxԌ^C]OӧmzPrڟFRo ʇ ?+o&zLcuN0@ LibF"ORPohs 38R^M@_Kf}ВZRml[yL!4OU>r_OĉM6c_͞oYMce}U%2l1. 2 '"n`!BUStS`FDF;+XvrA\;֑ с.n(D&)S Luwo2Dʃh+ymXYN{pV/VuEKʒLThT fIgEji`V)ly5NA/o;Ϯ\1 sнdN?3|5lgbX@52zb-$\j]K7QK٣p@Dk"r&g<4= J&Ncbmifd.:|1&p:5T}yc2/crn )9]O@ppكK?C{]uSÚ1I ݶT^J0W>A?B$G~/MzzqvBTR&+'T(kt("#${P>*pvȼ H,03E#)C f:a*ApIFMVh}!Tf4狑,};rĬ1SMHG{ET9g}\)8k4 _ $\/ zmlDE[2ZG7h,.;<"fӾꨐYMEP _o.Q8?/mV1~S?.ƌIu8SG1Ȉ`5H#J C3f׵exx(713kP~lǴSaȑ3BZ_#D}1̕:?i8y~.,g )꬯5(݄V`=+1)t?V\C/E&سdOނcua]K2mO!LY :wRt<SmJPH!* H/%$q;Rb࢚=\ e+!v492_*˒!O`!z,Vüg7lqQ+ɴ\`:grjM7&cLK٫aZt !N{h㍄gt%SGW Yf|$looFR8LR̍m,*1hݶO゙a`hbR6g 6 ?j㷡OkI28gNiqMq\>+[4ր{t0HtB3JUᾣ(DO0g!ܻ^ i%XWW*oͯ~x?}xㇳL2YHHmB;LH$(7W&DеYг[Nw*cq^[;Q&}-šl*$[X|ߑVtV4"_icZLt=z=Y# \8*$Cb(|Hs7D }.}o/rFX`.oQ^t7l`ux.0wCdmwW IM9T0ZvVݰZ|-bFse\/_ &)ǂq/;k-p~6]/@ZRXJP%W㦟#*Ӽ8_|4 ȕ@H #ukJFlcK!mrPSSO/~yx;QDZ("e (a`BۄzɓNuD}sJ,wC^e__y0pjDcji_7z2o,ΎEÌ |cu)zF2${Ԏ*/o~#1骒K̫ Wo:N7&/-~$#LYQc90d"z-{K-K,LɄb!/Vfs,י -K#EU:g/.!*}oIsj yB.^w^_/znKq%U3\Ž@Rʧf8J:]E@8,t`YQ;Q8f RNpN ;~#?ժ·0GР] | ߼i 2eJ9}9&Db7PRXtM9@t۪f[ݖ.IK5aE--=8!5\q0`a7s]#T5Pmcr)π>ken+w% 5J2wyɻbF=3hp!%s]..OuiuyU&iS{D%.@yװ.lM*{xMY݄&[Re5aΰ[ӳEMd;Z[s;IU_9(vK ~ YdlLe$ώ`4ctE}h\p o<|(9+<߫qZcBjv`p({h>$~5H9q̗ D bᲷ=ej`z*ÈC@; {Rdj^V҇Kܤpƃ­b~ZU2=`aJ쨮C tnGna.LI?RŕBׇ3fyYriVYGo|C;JxmQBx0$YY__JЗ1# < eavtgoԳZ6k*.B'__d]Q2,ZR:yҖ=*Fs0->6riC!g+;=}_UMx7T92\kcOYxD`̈orq>@1rSs-򶘆UAċjbӳB*Aіl񷽮AÁ.4P[xbݸ~c¾HT{^qt7sظD $_ؚZ" *>iVQ_Ɓf6w3aayD'ۭu/SDQ%]7͓ PB1#*cR6 9웝T$+&U+49B;0F,4x~w Yh c0' *""!r}Gǚ<" |dDžTЅ$9ʀ:N'w7BaG@I]g{ER4R-ZX=aJ 6Ll†S!Rڞ/z9J(lync|'@L n84"p?dZ#sSQ5v`胪rm㤁o*"7L-h$LK%.~#stsFAX%8suln>5c%-s=#زA<+o*LƉb]B6=x.(?DA+uI~Awܕ4+!M}*M.4e+PyH #Ѱ<{7bo2gߵYqpL"_*[aCEOk k TPW?$$mYDP`hn?C!)WK49&aʞ{-|eQ%زm]%v\%LS'K{m9 QI}|Ā/tt  2ܸ-p(UVf }d]+WY M$ k7؅9jXC05ob$!vK$Np'2{`mP [(KNgKcϲg}P΃ L2L)jܝ魋LX8C'TS+vd&oed,&g`-f5r 4F4edh+&kT·mƂ8g+#&vxFǪtL\yDDZ}wЗ/;XfĀT EųB_M|!\m,7v2د"q1ܚ3bqolDzڠJzZ/3ёUh}.D͖0V&^PNTӼ8x6V3(A )zUKk()pp1屘8rYB${ؕO]^_(ƣ}0ŊocD>bCA2/3W2 Pg b >u 7HXsG!րR9x>l6bNl04zʪLpՍ 2)lj3{5pt2_=j [ n%LIȞȅb5dwoWPy7<6:0NjV2Oo|҈Vm@L8ű0gP߭-/ n`i}<.;:ifHπup:aw l Q3%ԜH9Sz{P9/0 % 5H=Q{= ~5ȠPlc|E7S[TR;xȗD*b3N]68*$ܞֺ\ZhZg={.:*[ udiBLPTkj:l cmkiFfdA'-Y=;l)葊#ێe642F#}~W ZcQ AJhczqcgLO;äBVdϓI;ACҕ>kɽ*jx%7xtš@o>d!ėt(Ҧ&\K}cH-/f]3YI55>cS/15|lJƷ<ˢ"Kژ;o0>jYa,`\󃶭"<9fmjSVoXXY )z̙ /lo aU,|qe|R{#lZ҄޾bM)]9*ؿHlI fsԯ#.;k)l>$_~s)>eZ tGW Hc1Lqf2=(mK~aTd+&LFOUθ|=Hjk&9`@'%q7%%y2Ku% ӕ/~ߺ?[t%i)k%oּl*@ FlS mTG{DBR~)J3XJS<[ lrt*1 &s{Z8F=l#+ݏƆ9cQ5t[gs m4A ԟi=ᢲ6;[j JrmTiRC / ύJ]3cTx'fOimË_x R*uUHSd7wsݰ:JWx؎4~|&F)Jc3 {%.w69$i)iR>r +\$R' c׃OXK6{ыFռ]Gd-s2&?'#FFp=/B?F0&9d/ %W_ b(*$WBj38hDOk "/Eʓ9d6YTӾ*'z0ٷ>x ZO dB<Mߤt]M9h_l, e.3y-@NpڳxonIgYZ L- 7S# HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/markup7zXZִF! 䙾]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$ Lp 1Ҍ-kŕksG8}+3B a~}B "ކ0;,ysP JcH6S8X9؞v4?8%?y9L*(Yn2# wV[sYr 2#'s wVWa |-(1>] s49K+=8QB\ȐxH6uioAPׯ4-VJҼpH"~֟QE3qOIEsz Cj7̛۳7Lk{V17Rflr H8'Dw@/\:fU!*k]Y)JiOZ-uѡ&lñe=U_@>2^ö)>ި ,A_*O6x#`J;1 g_qvҀ0%KD!!'"ןҸ4]|:AMǯdG= f7)%Usyjs HFћ`X8J{si& 0i@'ghQ8鏮  =$ j=#M2I2'e@.a5>;fg7s.Ӓ;@A y1m7 X<^jp}^۔ #;A %|]bwxGdݯs36vz'6{+%D$msyJ:1QlCr-}',qXw"_ ӡlvТ B nL?E'QiF">D⤑BپXI<f~9*B&t8V$+  r0/Hkz? J=O@WiEvyʙ(R4Df4lrjPy OħoSuO lX.OUn'y2L!-ZoY`ǒ%Ϋ"!<%JilQ2 [F`mNu224ODgJPm `?uDVIK%H?#ɕPq=5BZ(Uy!UɵtE+ 4@ÝAߋgi쉯4Z"f(տM#;[v`ZmR;KjB}&'nUu/q4C,$Ha n\J|x C=9ȹhϑ*FKg&1?0@<+vl;؇liCMbmƃY) S&LnٚIB4AgdZdn'֗LquR##CF&['Z?a=(ɿgd,Һ_yyYf(l 䍇*ǃkwL#e`*øuPq a'8SfY;P 6i>#![  " ]~ћf rM9'UFlm3#TKͻR!`#ٙi.J<@~@x%>s"'Anǝh5q4SwiU`il *\$|ﯤPRCz||u)/ ڂfBO>4vzНugjn0(@l+캩ϟ\ʲ~|vXgWnz]T).$%'ZFvԑ Fl9p؜sb. C~j]bT%;dJh]32t)ci Na Ɯ֞W|i&Y7Vr-E<=Gx*0,*6ꖞoD"kCuC҉PΝ,G.F諉P`?xFk:YwKpFrA a07a!vHOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/files~~/src/HOL/Quotient_Examples/Lifting_Code_Dt_Test.thyY/7a-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/document_id676A.7S' tHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/messages7zXZִF! p]D?7 {?:fH\ՠ&Nٽz美_e-ډ'#DL~hfb¯3W*$RfjzטRr!q(nAN 2*v(Z]}L#E&g a5ŞO7 u/KYNC)v q:oIZg`7W*VHV+Me궬 qwq)m!h ='MC*uJ*Qal;7byet0}PZƸe+\7ك |o>LxnsWc`>uxcGe pfMr>[۽y8wj!5Scz++Nے1U qv^Elj!(Ѻu53H Nu2?L,>Vb4 F\KNz27j&{xڱd~jf8I~/wd\+UibJu92Q$1f44+a1dLB\I2]ƺMY}SڝڹL>cbO&~z6LsVC=δO o,N?_1xeImbj9k(w@Rێ>?`Pw#ZË+Kt*c2eHrA.NՇ=ES5If?½0ș MZO/NP_,wb%$* &ʁ }3ѳy2h]jic*7]6Y~dhR`ýOTi'vڊ{&Zl93Z0zg+p4mk?ܒkq2>JRtƙA <}E`sWݯ/UٛYi4i{aYt/pSwPK72ZثAd #2OBw F{N2 ,Pw9עYϟZ"ؘ<{ĺJ_x=јm#ܲ[FQUJVک#5V:= hn [ Nȿx\ nYwmU߀gFhBz`#IoC'ml(A_5⵸)0>`!p'邻\lk!q"U!H;VR+d&n1dm )j:)~U.̘AM<@<-/X*H;H:'@x9lbYDv&lT ~/Pjf+?;y^jX$.1LtH@Zn#4EZVYӿq@,N\T&-=;ꩧc+vT]C2Jd9J[|cǶGwoϳN:$uL#GʧZq =W_-+*6'l~L"@l-1k\5Tevo̮LjJR)n!ܶ$捩`puԑ@PPZPH.ȝn"&Z1u`Dd;?17?&3*D +S:н=I@l gZ8ϙ&P?c˜D.lPfL1:VJ p>o}2~dPuh>ӧ8~Nݪ964QJy |LOm{GJ d$M'AN^(qi T;P&jLz!cb؍Sj1Hb_v)^_YE';`Q՟I<ݨ\!+/ޥJ0M ~;^4@C@7U#&^j~O}p4==נA(hDgrS~ITKT.u`?o3Qt&AًI)yxWiE>ja=C $6Ӱ >opPB KlǺJ8R}c/xvr4Bp1{ꦉMX ޵oTٲEOI6;."P/p~szNk2JQ"rJ{,9'EJT{={6SɨoCFU%D}Oi09*wK0ƫtvт;*+apf'5u?dMjΜ@6Gsy^0BcW~\R,r!D""4Y q52Г@ir4ZŒzP&Q07AB*Tŭ L&ηs*d{>`vletmt%FlӦJKV 4^g5k7 } IW `BFY[[ 6i\nM5/׎У/:rˈyݴG1%[t=rjYDߔbW_Q䀃}E юgf[_LP=UN^ܷF˸7e,Vu杙ˮ[2 3``iey]*D>Ev-Iʗ%JiȵA~Кv&X-^< 3sOP/", -u"o<*37Yb|;$1&ndl."%VFF(x*'>H{PޏPA@ɁQX犞Shd~ȶP62v-j1r 0.ˎ2^lQHe~PѱwJ_[z:Ta 0ێ`N  k3P_e8. l7_>Ӑ>5?IskB9/8ăErdz3Bףa"%?B8EEd.!G䟛6At(wka ̅u- NO|ɠM^W[x3+| N["^Z[YXQ>pOZh %xAѕ͵ԍ뙚]ͥ{%C'и'.4cUi{; Lx, -O\*W& Woec?[fuN*tD&Ϊ4 NdV"_:CR]Y6^Q5o~qW*̲=[mšq*)'☒P?HS[ѼŶB6(MmΊ}+Yt+IX+j]^9X_gE6ۢQ"Kݯ:#S5jG| &ɢggbޓևKU@tEДp8M8* j}CP9y9(i/uEuNx@mZ&NGYY?oo.Kq̸\&i"UdXMlx1dp Va(,52\jrN~`c^Ub`}yH#MoZhYS1Nf*T_>2kf13Ƨ4B.\H ĭdg+$yu,*(Nd {%``Osu)uk43RB%w"fr;pCxir}_迪:գD7xo|a*_WLmNiD2d_QNy4xE/s97 oE5zVoP:X"x1R*c\60H[}'lg:F÷߸L6UWukJMX@q ͠免AEL"ޣ xF%1kחTmY. ª=o'Xߌ6۶ lkR_cV'0z˵H'z;-_w͚Gs}nS%sp_e zzfab+[JW9p{"Aq "9rv AX;g֯9aӰh#l\dZ&ZQ))d:.w'+U_hc#U*[*c}AIбYQ;B`Dx'ҏH2x$"Ӏ:A`bfVܦS3p|Q$B }בW!_: ogYZ ;;:17a# \HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/markup7zXZִF! gc%]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$;X5t_٧ mĵUK=n^u@sKQ% +:OHMď曤/Ld0eu `J:) 10>NH67|˸: Лz~!BsՌ<4rcMzkŰy?R 1|+ZoZ2M:]@h@`9y^|35xKe`ΊՕ~ _3+|If, "Ʃٚܗf3-t+*8_.-je@ָ!y959fABU6BHy7L.K6x~O$ -}/ n>\B4MH7 o$]#t_6qg\^]hF,OkEk_-yaN>q-k[O :4F W`4;c\A]"zPl玖Wʾ A 8V²3k{VAg-ֱ; {g>ܸi\w211R3ws 4"ۓ !' E/A7 dLKt#Pw!i(c126P$~&][KHΩ3 ,A4Yގs#2'<ݥ`g7q).^*̟1qq!&4Hb %Z;Nq5?CB W&<=#t$k{Pk6|{v_EUڰߟAx-^ۺJlZx3ei8ͨܖ :-;3hxP2 켪 te\_M 9puWY vnoZXTcq%|w (l֮+{>)|S$ D T*q[.3W:;:|!>o2/2>nX8I14CsMVGgD)o-`~wҕmt/I֧KH8V@nx7#dӳt{ TPihH&@G0.o|pkQ_$k=9:x|% h:4, PllPUaK bvdq{t7XUH`(^di=UZ^>!hvt0^\tP5B1{[3\AmN][T2>\P"`@awT6#TǺQ|3> !}Rؙ3Ja/E1SDN ZT9bO- Sp rPJ2bY0&tX<ƈ޾lBsϙ qvswb PQ<1q݅rIdq_^iDfT98A: nɲZO;6T=!xq_3eC΂(2?Xތ HEfC%67S.;Nfb߲0TR~5238<O(~0rU%Q&ElUyzmre )6Cjr' nӆ6;c!_,ez3U!ȤrX̢oyg"fcEeksXkأWur))JT(UiT3? NIÌ7׷m31;tjVK-&zlq8!YG{R !4yL8y1_αS1Os '" $7ewdd!2R,6*[־I(.;=yd$RԛJ/yIz{NjZ#AYhE;/˻UB4h)F!xCg~OgPVj<=ƹB]grjWT)>D7A~E#ۭo2=wXX$,JTy9EjpM0Í2Q3.)ny.eg4"H["c<MM 86̦m7CT5\ dwL}V,]Hw'' oI3c]WM\CR%LkFK椳 HGGR 4'6лC}F"+I~MЩU?lP4K8ZPq+FjY]wӋcNHXɕ&i=xv.k.+eH %E顠USyoXI\/9ux@ c7[Q`אHߴ>Z"bxTU!-9f_9<09Oa{<@vU9=/&t.߂Rw0 UKSZQ 9_T3S1e ۆ[Yb8|Ԯ]T(îw$Kq [b-bghApwIL?tŅIDס0xfyRr۪91]0a9׮ E1Kz(ES 1'hfއcMwlr!;TWNW+v^Ϗgiw#VO=d_rH>LۍeԦ]'i9yfa4ӽ]Uʻt3qR|L01zYƕ%>U+N"CǺzS+ `#Aܵ<m.y*_.pHx r^c?],KV#ND8 4/_bD*I#4‏h}UD < J"]X+MTvx08D~ |*e~X;OHy=ɺrVBfE|-SՊ .ªpnX*~5o5Ry}*S4,Ŕz3iicCMBXP, _'|nuH\BY:aQK(PYbǧk gU=}Z"yu cL  Y "57I# DHOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/markup7zXZִF! V ]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$;X5 aye)#9W&,}sLm/v'D)Ԁ AZda'Q&DX6C:I+gW@:+x+6s|#4)KI 2Lٍ|A}ƧXy(7^f֍$EU)cϙ0!S'ӐX<%D 0@KhA!p(tW2XM~?OZQJljÎm{xlTu(Q4`XӞ)Eul]m;`h)X󉷜rk@ƫF1 b|ͭUtFDXǎAM1ӁD3N]FVf] VReS,Eڠs u$p-h W1TtQu4 h#306E_wxDuB Wx!oߟ2+Q'vٰo Փ5qS_,3sa~>ީgRAM&Su: 34~Oy ؋Tm$>}͹um-e+k6m)R4tK+Tdpq+KIHwQ>ޯ\ຶ"W@(#g!*ܗ28EV&$ $:Z+b,xiWSJblo`DIfng$W&np82=eEA.gch|AN8`9 ImWNCOo ]h?!*B 8.^V t=\ަ,bf("в D;ϱ\{(33*W\cz~ J^FRZ^x"RQO(D]۟ Y!َTZr DL;®܌O,gΕ|r m"gI&!??^g{R9űmSJv/v0Kښ3Jh8!FN/=\z&|RIc5%U}էލM>D@设H5Vwoc[ea#BWiժ77O!f/ڨHv[1,"/biOg c8F9ko} 9E#P,f" ubG{}7~Pm6C]wifLcatZ&T ɃJҞ[;mP`Mbd${>-D?돼hiIHT5m:ckqnen&PvVԉ6odtnN%FqN6a_(>5ըzJţ஛g[ fӎޏ!_1bl .fukٱh%'GRR` $|." ʘ5gdu ';780oz⹸p1* k<_D]y)(l囂 P_srŎ_ZHR?--!/ V'Z#,| oG^¸sx{]5Ռ?׍כ\~oa/gʼnk $,,\\~0x ķ#fUr/A9QFɁ8ySxV K,m+Λ/!=N,nK&_$\OR+t(kHϵRs8M18 viUCH)xDwly|׭#2!PJK8Th3 j-ZCrYh¡tj#Ô3>aԇIWS3Bpo$C=5Lb!|۪jkT;G-@=QJrM{>f4A"ѨC~|c8Krݑj@GXMeesI=ȵPEi9n[T8nIQ+ibu.Ξf9[]߾u[D zV&ꍎ.D0**iD3.(g>vI;I=I&#ܞvUl&PNLA%W+NAlE^͞E?C@69[P Bۄ-R d8N$L]K 0."4nj [ ?z+Y_`"fS+(~OR qVՔmTZT:ȸYN9z-??lQRW Z_E5oaHUNnhxt +V+T0Ay!';<]'9M3L?zC-mȺ>nw7"  \uYh  y Jgh[Xh{I7K=@43iW΃1P" pg VQM UG~ +gz1ڣ26@9_ 9i3۸9#e0p~ :|kMX`2L9W)@p|f"ciJHGy ^ =|F*ty|3#3f%^R /wimL"g-^gYZ ~ Q F   b  q h  t> ,4, ^N n &@X @A D7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/markup5C7I!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/files4I7I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/document_id3XM'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/messages2P7a#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/markup1O7a!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/files0U7a-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/document_id/K7S'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/messages.I7S#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/markup-H7S!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/files,N7S-HOL-Quotient_ExamplesHOL-QuotiC7C'HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/messages:A7C#HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/markup9@7C!HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/files8F7C-HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/document_id7F7I'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/messages6G7K'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/messages&E7K#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/markup%D7K!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/files$J7K-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/document_id#F7I'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/messages"D7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/markup!C7I!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/files I7I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/document_id d'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/messagesL7Y#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/markupK7Y!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/filesQ7Y-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/document_id *'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/messagesH7Q#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/markupG7Q!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/filesM7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/document_idE7G'HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/messagesC7G#HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/markupB7G!HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/filesH7G-HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/document_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_idN8)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Ratdocument/latexN)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Messagedocument/latex N)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_Testdocument/latex H)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setdocument/latex G7I)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Fundocument/latex H7K)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetdocument/latex I7M)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListdocument/latexF7G)HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_Powdocument/latexM)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetdocument/latexD7C)HOL-Quotient_ExamplesHOL-Quotient_Examples.DListdocument/latexL)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.MLE7K% HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetcode/fset.ML qZ b 4 Q  q  7 Q qK7Q)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Ratdocument/latexJ7Q'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/messages*H7Q#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/markup)G7Q!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/files(M7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/document_id'O7Y)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Messagedocument/latex N7Y'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/messagesL7Y#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/markupK7Y!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/filesQ7Y-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/document_idK7Q)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Intdocument/latexJ7Q'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/messagesH7Q#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/markupG7Q!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/filesM7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/document_idL7S)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetdocument/latexK7S'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/messages.I7S#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/markup-H7S!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/files,N7S-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/document_id+S7a)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_Testdocument/latex R7a'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/messages2P7a#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/markup1O7a!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/files0U7a-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/document_id/  ! lX9 7C# 4HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/markup7zXZִF! $E)R]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$;U+x+I9( 7x4uvԠѬɽ˹g""#ԑ bˮky WM6x Wu[է oՅXC`]jiQXէa|?y}K0z:zqƪKU8= HpRt"F&'w]\W&]be[ʼ]WkFG!ׅQ< G9KaM#L\S cV o)Ff_-4 ei 2.x0z0-nE?ӭ̥6?]^OoF8R7̲mWbegay;e>x)P3m#84Jvn djz*e J8`71%eF?4-="ɹN2OؤX6hET@#m<OzbI/lL,2cEd<;uK7,"jVWt .KsC3p0G8ӂ *W]Lf?;/c.B՚<2q݌[ڽr3#IGT>ܤ7FAGS5/0A%(,ܾs:9hh6X}O>(W2}rO.X'r5Vt"GSewmb 3O W>U<;ՈvΙ[}D`,hCZIg W5hm]!|[SЊwLMTHX9}nv,ɽU}<ٹOߐMo],piPxm| zCEp3z;x'+"[Dn52l{|&EI3Vy:^i'&Z,j7 jΧY1z&}e  KuѽgBL: N}ހ4 )ӏƖ_{AnZ 4E%Vp"(uoGڣϜwm&5g<t_Y:م[$iP)VԎK|\2ٙga(?Y\BgR!&@ P`9>g"׏ k&*+=8a"hOdaGvO; . ,hc*ˈ@usaiRwܵRk*Şhz(kwIf\%nqq`6 grqr{%T8> :;UvޚŅiG72$O8"]qѭ~՟p3huf;W؆Uڬ<6ic+c)~˜'`2c VO^Špꜛ'V-ɵ~- a?5,}{CADs91kn [X`MTѷD+ aKβvYlA}m{-_w@ÇC9 u&+ΏoV [[_Y?\:=\Mo6GRg87C!XHOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/files~~/src/HOL/Quotient_Examples/DList.thyJ77C-HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/document_id662\67I' 4HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/messages7zXZִF! S]·Iq n[:|&[zD",/ ~|^g;/&4V@V5Ry$aL]jpF8Tğt dM첧Cr遏7, Π.5U#kp7z*БFU s:8}\*O7WٝT41n;|#ތ{n36OR CZuGBY2o|~ {t"-bo H@~%a0Ms..lW0X[#[[ u~p4C]DJ_XfӮ緉~HкBZfhe m!Z"[UZX?R?:t~ Q;Tyvg[%NA T`}u4HzuTإbQ+sEWeaNoZ;K0:TƳ *Ʒǒ)tlMi4xi?ƿ~j5ef` ,4,imgYZS}jm᛫7h Z(d ~OEXб\>]Va2FJx_YģZU<vrSyߵeX1;T9/y$Df(nKZEBu|ٸĮ (3.yvTj>l_BHKE@zXM-"1aG[Ww:ؑUrZH,۱b:~dXE]T-xS$<$*PU *!2U4*PZfP-A7d$`yd"&ԃTgi"ƀJvEADH3)MGto.0D&Z86\D慉W pEnR.M͒dpә(jbhp;Y&ȯ+JA .%c&3 N/hNJA}4C\ݶiTwɄS6G,,iDN{FZ533]:A7E7)d^ۉND^h*帥UeX_BB(ʞ'A!Gm.3М5STZX_ Obb7!ہ9K~V Ij_VՆnf(9ŢcrGLӘ;~+( ӝMPOEW@ r%QcF`u"y𠑰lQIl&/4,6QSڡ!)2jq;FLr^k/#i9oZ7N%7W${lkZFᨿOÊ)r&iߥuOT_lhs._A};muB 5IjL:Jse?0 ͉%Θ-B}I6i/9E~MᖮTXUNfV(_$HǴX$h{ʊawTbl_A/~Q>m#OTHreuɐ&0?BJt L\D7cQO U_м'Pp~?܃Ӂ& ؇z߄= CgoÞK9sV7ӍBq~L hRXWw;E[%GT_'6ȳq7V U~m6KP4N<1J,re0Xq}%@uCܠ5Ja`AF gh|E#P'#>Z):X(E7}ָ,X?|Ķ\̱3aK`bx_ C]g"tAS3н2m,@zd9^)vHBq_=ٽ).ChSap_?5Xۣo-^8,%};Yp'~<ԧ9@rRhQ( ⚪kPp* hy"\Bg5S!%Bxg NH ˖PSԿ#k&UT됣PE#JdXd93Σ©mZ0|5)7Lͭ5 r$͏ihÄnш\= f)jRW^~Р3 SE^gB^Q2~<0E0l,v&w %VkCAHR]9i#xN_ П[͏S&PЊRRVPԬOawϽ[5Oٮ^6n JѶl9=  ~%GYuMU6U3qAP 9@tg`S.!BGR)1@dN`9c4(s,E+EV*ҙˌ"u?Їpoph9`Vb wA+ LCfr!cҰIJT^1}o_2Y^ՏFV:;;盒hH H҈UR]Ư $ $:-Es iߒ|ٲb_th7?1`d2ɮO%Irރnw7_?SP&"L3.׏DZv4n߷^)S(pG&\'OG4Zq6^*mvq4X43k|3ShDqL^rvR4v`y7okKoD_sɫp'j׫lumrw8dyӧPth ?sc[$YDt!2ѹn sN@1wiǤ"o4Gq pGUyBj a%D557.v.lx%;L?uPTfq\7dp'k bLaB&̩!rAꚌ9(5TĈs؄SϧY>ajNz/aaAvҺ´Qɑ$yEbYd F(ن9Zn~* ReȒ`d Nh%Q\ U/4%ӵCy/Q~Y yYLLMpkUT> ŤW@e_U$*jY+Z8c'~xɇhij@vYH,Fެ v()}Wu1IlC.kP(t`g\t7oQ@"E&^,XlLJ卋Rn.$>eB u̅NˈlwV'/JZZSĉb Z&akZ.:L:$PwZ0X!{_ ιlweG>ʳ;2bl^{&3 xyfg]O\&mӪ쒘A[U`:j)";AjS&u!lcOvQ*L9ޛvo }E"փ M we`tWai@<Klׯ; 4;3΃++nP*M8V3f-x*>ڇku >uPL_Iv^ 3 &tqmȥiIDOcnj壍M`C!H6eyʿ_9e/XUz(ChGo8l \3ׇhtcT8> z&rJr6;6tB'=dngE!C D_[332Y3 L38+c3gΣ#ҍ<76_OWh#y[Y^{֯sVWK tpJά 6av]+^^?Cpm;Nya5(2< lo!nd* =sذ; 3urĻ2OA27}oD\^х#Ҏ} ̑ C䫄Y #8"!늽`b{ێl5ek &< K*S([Ѯw2(bxɦK`䆩78wC w Ϝi;}ϲʚt=͜?OR2Z vYѴiZ]g}#VɠJ<g0>/eN߂s/up㓬yxd>ocs ~Iֈy`?Ӹy#ȟ;}n:wHw\#, |d773 N|DYB6چIFԚP;qM exEw$;Hn\׷X'W*ñJ=C^Q9FzVn{$+~kR1;473lST U9W5uKbD-TPV%gTMHI~|=}0o?bKٴn܎1 ½] lİĺS}yEKㄊ5H mAfI3`I*M JcUrڋ }He$Nd8i>qW Y#ȭXEd"D߁ګ{-QVV8Yc4Zn2̋J>7nRh4{z H[ΠkJb//ȈN{&k,]vc1=љ]1m@_ z8p|1/*K-)l1R+/mp~ٙ5tPOoW)Xֵ %a"^̾3Ҭn}:BW}떟D"*'JȢ*݌LB-]<ġ]ĉjo#.+(8Cg"LC'gnJ_HmBP[F16 2؉0]I +T^G=>-HnKvc8_tk`;7М22qQܥ]Ⱦ*ď&ĉڴ]Ţ.=\,ԑ@R}u#m+: i\O:'O:hǔl^LI5z)ܻmo`y ѴB&Hj\ ݬŵ8S˹~V$-%ѽ?-en%(+a@x1)ŠB&Nü10nd@*%4. L(Z2 AKh*- G3z Mzh/ֈz$/$ ^PE{dC\*!Ta +X5ޒB2[ nWXH~莑S 6lA@:꙽T9ᳰcD LX$I^v`Oez}VSjy)U~@iPC#{b)|%Lڼz1WVfoi<:~m?b;#{^G.{,u \̏ !$ޯ p hP ̈+ԗ5g+ԙvh &]p?yޯ Ѿh\ lJd )%%ՎBqD\R޿)6s킫+J?J{V<&g+jqrљRzQsޑ)e^΄ȿ A7+fX[m 빮':j3:o|ԔN))= }_O,Xɘ7}65IΠ%1e֕]\F Dg&b +Vnն ~\ j3NYB)P{a$5`s˯4:ӦfS?&'.@vn8-٨J0d UAKu1 zB_DM3378Y gR_^w1Wco^U}D)ν{J =3F ')"]` %W XXD{cV"}|?,u4հv,&B0 GKd31(#ɮĤHAc{2o\M5/]Ζ'Fː635xފ8f#٨ۛ\=^Iˮ#'Q~ ]jPYs}8:TX.+R,.) }[}i2LjwTT,+Y c+l 9Z{}%~3LXl=LkO~ڋI(M[tx(y v _(Pu?ZIDѾ ~/h!KE=ŋ k݃/ha}"ป KzXCYE*o)DڽHfO`=S% Z]Xn A |(1M^/^&aP f1 3BD^ R EljX*Su| <}„asqwoBQgt2K\BU`n@1Zy73#x>3%+QGKGp+ ׭cF*2w(@%Uٖ /*$/QzpҪKnvRlcþDp.aA$P{yWn…$S >C[>9BTA/-G0SP'3>Lڟ 4UAf'3Hs\+:puݴO&i@ٷIja{{n==c߹ 9jy GDsbq>ho09{ blݷb':+k%gTo3:fߙ.5Zz 'm J 6T(Z;iхŌ&aNR)VЎ ҫa|*;Iς< \AbbԭVqnRQ>!x@UNgoZRRmD=y nsSr }Ot NߧtiiViӦ%ݕ3x,?RIgYZ  :7C' 4HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/messages7zXZִF! ]~ hk.<VAHgM@*$b{ύƌL8&Mm2EhbNtG;uOOn&F)/豲T99uTC)I%F;jP1(첊&fQ x1CoLQ";8C݋ϿN.-.OT$@O^s~r3__j$[`X(>KĆDLn;$6Xm0\YFVRCZTL`WJfFӇG4J"Ncvw\z1IuZ|Fpd:+h<3gCU*Q-R=u^XbD3}͸ t NT &.԰*^@QQ*FR̆ v i h&u**gYZ