SQLite format 3@ #:#.K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 7t tD ]% HOL-Quotient_Examples:threads=6elapsed=27.626cpu=46.356gc=2.9367zXZִF! A~]ŗXiɟ=QzX)qFCkW*g_˴A(Ok| ϗ]1 7n(i tu{'e 1ę7qR+v͛o!‹$ xfy^SJS\L`pmԯ3MOnt"Df$1)w kn^9B/(OQ bpxJ썢vGb҅/(:e])%R֝2鰈?) ::gZjPͬXuz m)H9|A }/~I`e3.FGqasJL9- 1Pb?4d\G/E<DKEZLD<EBŃw [B|TVέ^?L/dWD)X"t@/taц>.k%ɥu 5X\ b*ɘuwd,`qz 31 2IM^d[o̖~P+jtWT\2v ]-HC5Kg}=fhtz_)3v}&7[s1/l 6(Vto AMC_ {dt T,A"0o^~!WWCQ-@Ts>t@@s<#+d38R;(r0^ҥK_Y )78N,ɶv26uҿYTy3`d9 M*dm)HJ:KEm`k'2O)(d#B6,ԧV{ .F ,oEЃ -Ⱥvw0a:J.Z:_/g 7Vk%?f=1Q,5u9d~ovlK,yAcɯf\(ˌA Z,Jr-:CL\׋.e(g\\W3ҩG6ItK gӘCD=ނ5~SE\8TtdJ`p4!?U11DT'=˥&"e3l2tEkH+NBƜ:M>'!ID V`ԽA"N{C8pm$붺tξR ^C#TGp|C42-G:p@K5kP1;4FCSOJzUq "Ёd܁Hko2*+3^^Db7[-H\`o;9dUiD怗*[V9y~,"4 bGx2VI 5l=L/&9Ov]'g mm6jm k9gH]S($2LO Eka!RmLJA}|0`ll.ҹ"tQ`SM81 wpܒ!`C uICӢ^OCJLmz93fgC1,b_"_WD #FLB-Crh9pgY%׭. @P-ic`N;׮qE'!D.ej ,UmaJv"[Y*]W'SL]n$;fՋ L#c i<~ 7?ee޵ZiICw ^S+ن3v]xt'T6#m/*E{_3(}qJW}GÞߙC^^ FW)$nzJ(1MO yH@K>gYZ5de63e913b71f09f9171d21e1cb9ce2e3c0888be401e1f28f5a50f5c72f2ef48f3f4831c174724f2 dda45cedd3f641951e9c6ce6cf5c77714bf220c2 b29a47d5a21cbff3e0253a2ee81aa1566e1c6a7b 58460a61e16eaec4afec0f827d495aacd458409c 54a1a31a9132cd89cf503d26ac8910ac02ef1ce4 7 HOL-Quotient_Examples:^7I# kyeF9-6=X/~B~-5FO ʼn/naO7؄)dP *Io4 DR"ż^'<5793.B*F jWN|_R|YBW0ȵ@F+J[9egYZ7K% HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetcode/fset.ML7zXZִF! ]]9 ! kH ~6ң~& 4E~A3I3?BXCi,ncP)~_ֽ/`gO)cv7[ dC\\[m_- $NEtWl𶎥Ű5^`~C'x$L&TF^ k/e:OSpwsRꙜwo\aN.b 6y#KK5֣\"S 4Hp-+-n"}[mXMJ{Ώ=8&ɯ.~]p@мpKk 8gDT2D6x@WiEuP3pW>ul٫ɔ^Օtu(S"VsDNQ amE60}׸wBD(tki5a fK5/ JU t}KJ^MM{%UFeߖAA9s7.`ė*ie6/:jV9R;bd +{gYZ7M' |HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListcode/dlist.ML7zXZִF! Fx]9 ! kHCKt TLh0qWoeqsŴ47! Vq-TiTՍLSl[*~Ax*M}~w8H}x:@L,CEAcÐeؠx]G>m/Xݪ,7Ȣbo:lTC|@piY>j37t٠^rGmSEËheI3`k={y-?kyD z 2*}eze:5Dz؜#~nT1pUE7{}!i-mW}^~?$[/FKK 9G 8Gn0_HNzGoX{ +歖i+r-\٤DݐAhqߌ%:ؠΠ\=-OOSԼ|C:l^':8uWhMD^+`W\@%?fAIn̰H3HMThgk8ApQ <[[5ozٟk};;qfi'6VS% -7뀜w,6 ^8[}`' w>ݙ6_ʆSL 8S VbWCv'F[ہ(B,MYMpE HsߜLgJUL_<tJCe}<>Yev¸9T9\$4[6DJZ=}#mDo[C;vˇ)ݍ*Ĵ9sH6ovf ʈq)w^=T;qkc@#09,5)3(/&,%)"($      .=;h% D ; e i#q  K ?@,  E Ia ^O7a!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/files4U7a-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/document_id3N7Y'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/messages2L7Y#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/markup1K7Y!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/files0Q7Y-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/document_id/E7G'HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/messages.C7G#HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/markup-B7G!HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/files,H7G-HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/document_id+J7Q'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/messages*H7Q#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/markup)G7Q!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/files(M7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/document_id'G7K'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/messages&E7K#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/markup%D7K!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/files$J7K-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/document_id#F7I'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/messages"D7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/markup!C7I!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/files I7I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/document_idJ7Q'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/messagesH7Q#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/markupG7Q!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/filesM7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/document_idC7C'HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/messagesA7C#HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/markup@7C!HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/filesF7C-HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/document_idF7I'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/messagesD7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/markupC7I!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/filesI7I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/document_idH7M'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/messagesF7M#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/markupE7M!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/filesK7M-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/document_idX7SAHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetdocument/Quotient_FSet.tex^7YGHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Messagedocument/Quotient_Message.tex N7I7HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Fundocument/Lift_Fun.tex N7I7HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setdocument/Lift_Set.tex f7aOHOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_Testdocument/Lifting_Code_Dt_Test.tex L7G5HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_Powdocument/Int_Pow.tex R7M;HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListdocument/Lift_DList.texV7Q?HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Intdocument/Quotient_Int.texH7C1HOL-Quotient_ExamplesHOL-Quotient_Examples.DListdocument/DList.texP7K9HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetdocument/Lift_FSet.texV7Q?HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Ratdocument/Quotient_Rat.texD7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setcode/set.MLF7K%HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetcode/fset.ML-C7I!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/files    h^7I# kyeF9-6=X/~B~-5FO ʼn/naO7؄)dP *Io4 DR"ż^'<5793.B*F jWN|_R|YBW0ȵ@F+J[9egYZ7K% HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetcode/fset.ML7zXZִF! ]]9 ! kH ~6ң~& 4E~A3I3?BXCi,ncP)~_ֽ/`gO)cv7[ dC\\[m_- $NEtWl𶎥Ű5^`~C'x$L&TF^ k/e:OSpwsRꙜwo\aN.b 6y#KK5֣\"S 4Hp-+-n"}[mXMJ{Ώ=8&ɯ.~]p@мpKk 8gDT2D6x@WiEuP3pW>ul٫ɔ^Օtu(S"VsDNQ amE60}׸wBD(tki5a fK5/ JU t}KJ^MM{%UFeߖAA9s7.`ė*ie6/:jV9R;bd +{gYZ7M' |HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListcode/dlist.ML7zXZִF! Fx]9 ! kHCKt TLh0qWoeqsŴ47! Vq-TiTՍLSl[*~Ax*M}~w8H}x:@L,CEAcÐeؠx]G>m/Xݪ,7Ȣbo:lTC|@piY>j37t٠^rGmSEËheI3`k={y-?kyD z 2*}eze:5Dz؜#~nT1pUE7{}!i-mW}^~?$[/FKK 9G 8Gn0_HNzGoX{ +歖i+r-\٤DݐAhqߌ%:ؠΠ\=-OOSԼ|C:l^':8uWhMD^+`W\@%?fAIn̰H3HMThgk8ApQ <[[5ozٟk};;qfi'6VS% -7뀜w,6 ^8[}`' w>ݙ6_ʆSL 8S VbWCv'F[ہ(B,MYMpE HsߜLgJUL_<tJCe}<>Yev¸9T9\$4[6DJZ=}#mDo[C;vˇ)ݍ*Ĵ9sH6ovf ʈq)w^=T;qkc@#=X sŊcGyyzr6^![4؊Ykv1Z gScQ#/>N2-tF gYZ 7Q? dHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Ratdocument/Quotient_Rat.tex7zXZִF! v} l]A-MՋhvG"uIBm5ޙAvcia&zs(;^ⵝ:gN&a,޴@vGXH։>\S#(;ֺJb^>Ї\07vja(\ЬxYa ̴‡9cd6Bʿ_B⢶Uac$vF]Fn{ol |CjfMB)>rP%ď@5fǡ<+fvTdѰ>f%pa2+9)O' p:|4 X~Jq{Ӗm%?|Y uJ>)kK@9%i 8=Uq t2  ef-ob_%y2 QFP"_k{#ZxAGm-Ne݋r3 90{J6I?c:^o/}mƣP}8fH(y"6曈&^W;Mf&Q-y_Y4\b2p/2UQy g4\|Z޷[l%rjZ%QZGr2b춲S8pٖ}V4É&}H+ok\>=ķr[HAǙE5ɬҎvp{6|!qMž M7 n|r%k է_t>$7 lzbMd2sвH$Z[l!E54RoOυ&m 4&^R灀~xh$pٶu U-qW~NsЌ)鴌Wt\hzO׹~-Yd3E©5?Oz'R_j&QNNIE:RԴ?K%JXmDT ^.p襲h]Jΰhp'K}}N-?&Ln[0`{=}93I](ɜQZnаYMt(Ckqb[ uYw`>̙_'Nwh¿׏y"1dpurt\y97PHԙ%;5Q8fkaTWe] ~(0'9*O.֞Un氷YhS['26Ytz] GL*|(#iV>ASFNWA'.^S&ȞT +H滝B3u>U_t8Ae7╠$N-CϹ.ylV:Hgj5,X:3rbD3fc SJt)nl5TD01NKpK/tA Z]"Ԭ|$oB-3XDDdҽO=@ˌfh3BjF%YIIt/0QPT'{hAm~)s(wL_9]8J/Z)Xq)k~]QfD:VFgxOR`̂GTR+S|:ЍwkDP!#<]=Mh{/g8)J[څyJz5k!^QSDeTv@߷| 'J–rc^C|#wZP=m1{N%GB jR0Qz1iI9XяU/gb3Z}{~q"ŭS?y+7 0qxɁ൳|;Ћ%~ 8*;PTr☽k(\o;Sm(ilU,c-/2~s)ݾ>>؛Nu @:<,Tb:BOv؋W!0q7=_t>c'.zb;n%Wǁ0 pn| YxdSv4&jdTT/j?2\ž,W>Bho(g/0G&ӛ4֠ZޝΡ^~gL-RDddlG†k6+.\UZH\Aۂ/83AVH6\Q 95o+eVlg=ڀ9ghRz$#ҒIKņ< <3׭bZ8s, B6HLr*R2Q<GpdDZ )`bHAg;/eDMΒ +Xr:@Rp9i v=N?QQR*_5p=#w&IzV`,ye0 Ddl (NםK1ö߸fyO1lu={}Zwbj)W&OÕkz )hJDhWM6 5Y1*q+ [ym׾w'.-4G's-\jYO`>46F<  oW "ܙu[deĹfB55ϭSz$0_>K#犰oҲSlVݲ:ܯle=6;ÍDt]Wpc#FgYZ n7K9 DHOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetdocument/Lift_FSet.tex7zXZִF! []A-MՋhvG"uIBm5#2O X`9; w6G?0VQ*? 3FsvmVi9ZПCWdjidzv[ѵCϳykS8>;>j^d*JozHw@\ѧץ9wsfT,>xb6Y+K +Jo\US vn1 2ur)QuMb9w$gEN`?_Я >cIjKI1xB璘!t񠪻^Yz)hzo ,yÑu ձHx-מA6*~WGkqg0R@Ɵ4B%$5ou>+wyGpW/4%Fnإ$SoԵkA Vy$:Zͷ~ז2>~W}_dձzPbJar{c1O+RdœQ,pN}'@"Psg2j]`17+G/rI0΢R]_<CԻ1_{!NƘ<'|$|{B2Q6= k3J/{kaxA` ] "z0ZO[J-ώ_0֐fSFd~,PY~Ŕu>O`|sq HiRl8!.J<U@gZohwJ}i᥏ E$m PbƂ-^Fwx|<:>,9M4Xz>.C3q)"4b=>:'ٚtuBV%紊Dh<>סs`+ y3=:p &pЁ{5Au;s29EGSts& ,^zաUK^uYe)E-a6ҫߞ}LV J'+ HA:W:Xݵa*˝S㯪QZl9$G25 ;"vdi d-s!D xA(z .NfhWBy u &/)B@8!gJ-3hv벬4~E^ "›0eXVڣtS?+:*|}^%g9fJSieR;hrO ({t}ST"p {qicy"%W\܄C_~b3iMthUW}ִ2vr42O}E/&fՂ>rñp #qhbY"b{k2r]4u=q \O{d6ծ K68^fuԲü&z鱣łX_a;T]2)ԅTR$8[-% 1sYR)04hSOD Xf(Q9%HZ^MV@iN=Rr.|@s':jYQ);ujN#g ` ^vFYԾ2l_'^> B[F .n2 ru7-%2nňp}CIԧV\̋QsNwm+N1xO94-Ffn%ƥ Q5G#<%TKÎ}f8:ckճ4 V"$le}Tε+M4n뉽 E#adR9rh6@4@NU)'_Χ;t!Oyq<Ő2v[uDA7g)6$Y[ρ+\tQYG,S"O14F`bxt%pq`wc ׹; RfXoW;Icb2b8p$~R?msԓ~E#8u|k ߮e)"Juhl,z^$b=%N@.\˂-:{"@J '9n#R3v͔l58u^|>F^w,͹G3]$Z&)2+Hlb fT>u`CNXɏ}Jw:̍ax* -:kP0($آP؂*Z=J }ȮKwW_^ѝ0|ykqS0vS]mf(2#})oQxĘkm!:B` jMddcS7/ϫLJX_%? y:4_?aWLCwLjѣn,E<IM6_JðL}?RT3q|b-ވ(_ N͑/>,MTLe%қ`rCڑ؁\ǂK;>ⰠX 3AOƙB|l[zWgmrڔ; s(ϯC|ACN +&ޜ@)6sӓiv.HT6}@,r_a@7u+s bbq.s F}bvDτ6Bh.%>.wEQEcɔ/<Hg1e(Q AXg=+'ay]G7l!S/W#{?„C1Ήw;uQN"~ 15 IKCK oaU>VY;LeQn~drx }*.]Y} '!%s,9(wGn0S. , CwA& *6v+e yckXdpQX>GPE+໤Dgl*tR3<#پ4*X^`Nf a2ιRLjfkjV{͟ *+ޝ/#tȞBPP$y2VdMuJ Gظtt@.^Ozijд j 1P" P83rC5h)2~U*kO1-:/q+H@o?SQC BsnfyZ&eZNQcpM'd.co*ΊE !0[72sٵC9FuցBc#6'RkԃZ*@k?@^\p |&czJsJgStqL.!R|+lmWt?sy,IaKdÌ5^PXG $eXվoBL5 PC33Mɫ͗*BOW"Pi KA$L[x8+u(Æ4>/>N.f>'m,!A{h])ă@;kƺnoQ[$҈Q8r*e?ީeEKVM]!/FJt\֏@#uĩzGvl_9V*Qr7Y!24!'>.VB{ wXB R<?^e $9$khv(rRU:w^Ho?d8F1)}ɮ"bk*tg5F03ڲ908 GaQ]0|p7:D]~VC,غݸq; O 5,8(N&?b@Sc-N+dVwȡ'">_QsJq2EQ34NQvԉ'YwO{x@48VIp_=<Ҋ,1)pNDsU5n?9-!@Zo]*)A7IQɉjcO6+3MEkhoGbK  ٺ"wȑOa.ܛA*%t'fܘ%a;EJ^ئvu ʸY,IaB|$=R9=Rw= Q*?Upn^`oqL 8#: g ӄք%DO|-pN$ /n[^GmĶ؉wf# y|O?fG&y:e9&7GQ^M o^w<޳nq$!$wFvoc&nHbun6Aߘi:Z :*i{@D^6!Obҍ%>LuɗxV\?z؅ym4u;7(/ʥQy9'hny@Ȩ吶Ӯ2\o7R}moCk٘ϥ_<^{b7d9xٵ f܋(*e>Yvp K͘[ M˗342d\%v:RP)*f X Av -"o9ς~)Ę| \~36k,iRqZ==<6>/5F14i}V[Pn1%mL˨@sgP_ⶂjkTRi#+$;Xcde:/m/}(cy^ ZKV7qt M/LB 3يCs9*w gjpb[2h>RLo\v^teN`)NW>XXd/C,MrXc >Z@2((1Oe 6,'OIPPP`ӾSXil|:uz´ W?nΐTU|M%+!#nlA`Yk{OP6֓ik!48\"++?y#gF,| w> !>vzV&H/M. bYDEgQB Tp>T!Fvٖo@ĦëX}KD?>S6= 00T0ژfdBh_^:,R̙Tev{;k9b!fdb1~M,dl?ZC?Ax]61B8Yi(Ʃ[>;*t&ۣO}Dkh *VdzC*JOYnFtJ1ED7B4 m߳m-kCPer&[oLv9ۙ\`ߜTGui8Rb;WAjZ؅=v͗%pGc=‘hLƸ~ gĆf K{=5_dc_ E ш%5ФhAty%MgWz%zk܅MUgmzG1/DA j>w Rx"ogYZ@7Q? \HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Intdocument/Quotient_Int.tex7zXZִF! t]A-MՋhvG"uIBm5ޙAvcia&zs(;^ⵝ̈9ۥBCs^5/87"ө.* c,h~$͏|!X9̭ZDF,drpc=3 5 ,-J+njh j!;q =9݇ ]߾zj?n0ЗV'IMWc)N<(?uG[ӓO2܈!R*{R|Zy+D1"vAwrz0%'2pgF0ij:;刢0( q+dWX|Hv( gCdTW{v;2M} % дɛʉhPNO^TK?"L͡ε@v!6#sbKnqxs}D[s ,r .A^^ 2Q F7C1 HOL-Quotient_ExamplesHOL-Quotient_Examples.DListdocument/DList.tex7zXZִF! ;]A-MՋhvG"uIBm5oz%ZŅ i]@QX˄%V @sTanPJF嚧qg1hGHl HJ+>:Gڧ2xw쫝Y-?Sڡ`6HٯGqwXJqHȮr* % {z', X+YƋJϵOtn/iE8Vr OӨ}k1hVihz{GX7s ꝸ я*biJlxnfj.b\ wVߠ[ţr #9g f(#G϶(BZB`U9"'Sm;PGSq4Ūe %WY2Q0!G,>ږPz&J'Uڽ?P¨Z*$[ *\l3QSU& ^WsMQD1PDz}.%*v,ӓLFq›o2KVc{Nf;(w;r7 z~!:'UJZd+/J#<P?_q=fm.vG{Z#9Ҝy=o08'o9G !qZKHHǤN)v$a߄믖0>!T͠tnΆ9Tԙ5nIJ 4XzDzBo/|nu-3̲qEA_Z~zieW@,\'\Y4_ߓ]մ$Mֲa.Pk,퐯fmC?zBRO z &np\K4(C >^&RK$G>JծBj,ؐ!IA޸E鳂4u׶*T%P#Uv,ǀT^5rx)eu$8vsi!ɧJUϢ2xf]ܾpa3-;XdHqU9,M@P 5&T|V~ 7/rS5-DLYl{= .򉊽sskq,0kB]#\23}=rPb8; |!{nxEm#T4hg,`X4:&ٯ/rRڴ- [}J^1f Nx?7rh0(l%Rj\I7c^_6J *d -7#~ v- Iڟm*i͉jʰd˧\CN#x]h]wEeu#G`F+Wt7ŗ alLÜ=t^rja.lJp&"V ZDP-fMHbs^L_mpe+Aq*kz-h_,\,1?Za9xzr)&oAXZJ̹(g*|gcq"K]KﺇQl߅ ,4nTcى ^(|+4)wmjGO!.@FȌk#di?slףr;8Xo }K,D[R B_}xX^8l Tc~b#BطjZѫi&r'qO.Z>}(85/ED?{4;<pq#n;/~-}LȞKF}dA9]'VtбwD/.ROꤧ!4?𒩑^I{u!G| sevߍnu' }s*jm:I&bB+|CK`;tYFGbUwB?!0d&Nrĕx$3ϊrk:\iU> Z<91}U8]#]|$QKF7Y 78fec5H8b}Wxr 6|8oh#ƱgYZ WW& 7G5 =(k¸x'c~X? 3j긛հ1N`l([5KM#J M@Y"zC aLK9|>dRT%4{ak ݀R `XK3|S3yfZ h21MU'eq]+;lKc+EyG &0$JM7n8C`6_u37\9=‘J3Y /[@fٺIUd=Mrd7>"Hs .a/k]4&baT C|Li]*#fw5\MCKho&R2gP'ư4Y7Hlź:[rL;QӌTHԩ\[&zS>d:) ;EG5NB9PTR(_g,U@R B>`ҩ8RGw~[3{B&;MZv/yi&J\o;!f@xD)}N,#Hϙ|Ysk_U$ }l!{ 4}}b,r6mJRtW"%"yk@eb"]8F/o:渕BrKxؒs[de_nI~!JJRP1өƾW{}jicWP$ gXmKAazGUe:D"lH?[752{l[3m*"EN{R̈́N/g4dWz!],o[}q)q|N^&B^nO懬`+5`$/$IOefQ=>嗣+ #)꽥.zJ a;Ztk|(RU}xUGvFw 'ܑ! `rcBjOOf 2E=G[E)~̾$u_oW&!sb% q&m>u %\(WAMOB6,s@əa&þcc-XG&d3KT:L~7V@nCtk>AcKw#-q.8!b9zqdeE\o mV0(=?H*i"p S S*[>IcǤ[Q|Fo~:S@羊b O^]I dW,=l ?/c@9 30?~ XnT_(|hͯ}1FcW7y>!=)~gXgw4*V ճI٭֏!j+hYX:Y?SW!5[NzwQG p?!u2VI(cCT"z@ϔ,bQ5bD %p" 0esamV| L/VS{<>k.^0ҙ͌641\4\fe(y t ™]|FkW!5p n՛RZT6KzNLt1!k ӹlb4DH|GCt%_`p0O-=*Bfו:v[Iy&R $jfTz*Cqɬ SL~;]3Gqee*`q jН>1hKUYˑ(jI,Rhb0۠0Etv)r\(v5zmcQBäzٓDԄT˲fQP9or D&5V-@#\^|~Z>&OO X!k/Pnᔊu!{zxo"初>2lb9$n;)41|iZsW6qFRtdF|@+@G a[aLzgs`|ơ_{+l7Q,Ez }g|/*LkYmY1@662yZi˲X$Z8*6WWNяح5h!DAj8UT>ѲޥS PcU]6*gYZ  7I7 lHOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setdocument/Lift_Set.tex7zXZִF! H]A-MՋhvG"uIBm5#2O X`9; w6z;Ë"!T|ΐV '計gQ<0.Nu mG8}{o]uTW]lՔ5b*]cE ^DɛiʩKeT U#۝kJa~bc\}.\ UU3 g}"u{w O 9ڷV-"M8bfrL%f=QDZϬG)? 氐a{Px~rUZy0Czm1{@AʹJXi/v%1PS>mT]Rڛի?mj%^ϵ"8% LKz6\|jS \߄Ӝ3Ͽ%mVP 8oJ&(xĮ&&svg <'gS@s2s],ȑ-Bv͑TdrbYGR8Q`ѧ5I!+W-"fNWwPKD>?mL\wum6]Рbv:j1b[ M>9Jqt=٘8XDˍc$?oc2Qr@zߐX}+|W!mj <;d䭪1DIʣYjM⫦͏wNa̓F^֑IKwH[Lm d@>{,eֿ+"w* h^. , I,7y1[A%On<˫7K'biv5^=ԥd1`72^ªC^\FuQB 9RmI@ MM=kBP)㲽Z)0vSc13&>.P7ܹjFuйNdB|61PИ77/Q mg5UqoY1yHQlwfA+' 5\&FbTd\a 03tf9QV';|Cx>[!8o/4&PЉƑ/vEkgGVW*h gtſEEg[Ʌ9^HzŶL6H1ɑT;YFq^a@jKXWEM GzrO/5lTڂ0 JWАo0ڭ/s,1Up8u% }) /x EA*}iޕ<]YvR.Ij}^NZ=il7Փt2r;>Cc]$7/-9Ւ Iŕ.g2i"2Ŵ(evaK>k.=rLsz*XyM7K͵7aX48ᓤ%5a׫\]9mPwoD+I(.텨?]]2q̛ϏJgL Iue3!Ь@5P/D|9P)\oxUD p`¿]'DT&?eaOR^c79< Su0韇PW[ɺ@+U2766/ɏO٘gG⋫;6!LO>?lɴ~眥h#%19 +Ni֕V tB xHp S _f^ D0~Uߋ2&p]!isr`n_ejϱq "=;JdĞ])#eמ rQ~uM'5u!VHbA裬7)9H+wtޛ v..}Ds)ՍrȎQGߛ#0v&S݉/Q!{:!0]#2-ԫ_snHٍqze7H<{]kʫ)mGPrǂ>gYZ )` 7YG HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Messagedocument/Quotient_Message.tex7zXZִF! ]A-MՋhvG"uIBm5ޙAvcia&zs(;^ⵝլa߱ 3xGITެ0*HOɂ;ţ:9אnZ X+p5 MJ˄ma j2$s_qV6Bkby^fc4e)HSb]"Zo2>'ʹco[*̅x=1%@ק 8F8C!xGLƺ/=}^x~ꨡ&QzgzڿYwyJ{Tq45 dbi /4%ҹia>vf}N,%VC^ I QKG.f}FYoIS' lUJì JK@n) qMtl!C&iJG;UT 7I7 HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Fundocument/Lift_Fun.tex7zXZִF! w C]A-MՋhvG"uIBm5#2O X`9; w6J  ,(z}bw<`j$jl{_Rh!vs]l5m"rqprr3WOJԤ*0uf34])}F(D5Ksvs<[vT%$ npt+:=kxeNiD \;!C[w͜i3r `).BBAț A+h#uJenҴu=c(gZy@ǭ0ʣl;hZ6XLktNF4A\( {'!aJá7[ ӨPƷm EQ}{#+ȴ*Qq܅^{ףI8(9ǩ~ZqU3V'\%-Lo\yƢE ! S;b`+{S8"CM<g=hhUFx-ItӘ japcpK@Uk;FZ{:~ YZ z@U\& ۑNg9Fʒ%L 5 ghrr|R) Z;k;[V_3zu zDWS'\bꫫ\j8"O {)Izşz|_HQ-d.b}O"X"SZڝ([5` 0DZag29bAJq5cry26"[bWdnJJPwm!ԧR$yރ_;tH/@7ij@'I>?ӻH+b -&N^uy]nHqp[VڔZV >v842r? >ה~#|P z;L[u:%5 r{׆@6"IiR:ֈ^.ckz;pFRʓropP4S%gm4XT*͏TK|W*":8jE+dJ<z{ew=@MpV/9y~\w%f=z*Ej3UZ^s}囟ȃPplR> n.؊OQhyUf-_cʫd~aߵcwl׬gW&G-qc '(3 c(FDRYFzIŜrpD1.diΔXLBCc+1啕gvUt;\]Y3r2J F 'Sÿâxl<s‰: L2Vj #Z`Y;( AE+z;Y */@=t}]'W(ӧTli4wIΦ3b[{ ]d-z5ױgYZ DIө$>Wye`:$j2ѹmy'vHSS= 90M.e* ÅnW+͋u1֜_q4v{|=$Q<87g.P>.r~n<@HDzH 6fL/nlQp8)Uɦr8aBݪ70 rl$)[ V˒ٹ!0u?8ǭ!4c;0`%~NBlf=~c'la)7? 5Z.8=t:.t7Fz՝$1$W6KMHۚoptf=z-a t 2`u\qć,j]-m"{C$n.Ao7F.լtJɂk0+G{ QEpqBRV׀, B!<`&|qrǥB-e"6zk*5 ?~8EITSScW⑑jȄk-кh5qFTdX?Ļk /pzZb=)' gqϔvOyE(X!P$zɓ}l/ .CӇ:HU9&pK^߾_-1 RA#CT<=2Mi? !aKDŽbyL}GpzwtBdto)*!~`+0-Q|;݉r-ҭ \VOHJ!ſ`(g560kmºzt5A>/~l.%E%Qmt%4؝n VSnݾ}-A{^=j(4SR}ͰV+LG?V?;)^/tk/#R-W<Q㋗z_))%9=GcdvP)2}U,*o^Nj,sT64;DӐDjcgitPPd='YRp0ϣJ2^\)*hgY č)!/igE]}SlKD?x'u*$J[i06\N+Pz1=S`۾u74Б|.6gԗ1D׍'6ЂNZvmVw 7sߏ A ڨz z9YSƱbhA'bgoN|ǾCyY#ѭ>&vz@}ik#,X+rSf=x5cn8~c,(]5EsadL8>#e```}7"h>CVaO楱^ nA2A˔vf\DgJƸ^3 ?ϲag^P7LvF!)ަBnZȲmК49fe0 ISyg[)%T7 ։MTd}&q`RL5/1#[KZNJ`G}Oi'iBiE&,|p(]90|g1pYS/:[Nf/QSO_#2"WmJ7rcu̳ZݾxY7>_?'NCzeRfm }ɒϭޫt>+OXm% hZf.#{Ì(lΪ j%;M})h.rS{o~QƋ¸R;I7F$c^ :Wu"*CxZi2TX #="࠾=6/w,|}@,HGq=fk2q|ٕ0>]G[H t6U*F4ߎɪ'12m 46IF37SSxmX0L]YgcB2ڳ(L}'^ |:?B/RoH;x@fg@ W v<2[mU(+0 9wJFm~Ii@߆H?FRz0;MS窚bE֡͡۴v#z mփKicP6/$m'c~d0.F^*7g'Tװwp`OQ^ݔGrcฅdz` _ʰ/c1{I=Ut1ՉE;-i3f>iqtBb&@CVt۸@!*/Ʈ@ 9ުȉgU(^Ut(L1(Iv?^$SYHqH2Dbo5>ꀤj'uPTpu+9"鉄?Mp阮}lG[#Z. z"7F{3FVS#jgYZ{\`p7j&s ,#M2UޗB|pWV Rجˆ #PHJX޾EcP˙4{r(Ɯ2&_US]OU-9#)>zV4]a4sO״*]}u.r"&U8IEU/@r& +5F}˩&2 y1_2{|Dr?K302қ|ʨe%/0''w5 3m˔JhnjG(?=V5cDKI9 \]\ZE\aFnm- pJU]?*^1'Ñl0Y5vni:b=K7Мr{o#]A0AꉆIh#o uLq!_J/c!hi3GL6?(3_%Aw4{}*Gk:y+IiQf89 D nTƿI`g4)-VڎˆVxQ%yRD 2^㻵NZsBȮE&sWo*p#Qygک{5t)1KPȚ W->ܡ|!A0'qbH 6*'ʆ.ijD%c 'hKb{c潺ı_=:_w,( ӇҴ/m2q [y&;E\-|@MDzzt#{&Go5&ۣ[b o\8ֱOU #h֎ ؅k ЗH^;=2v ƫB E.hw3P4-+iμaa, .5hy>d:+@GA9mI$^B2J.~%cHbi- ⠼^9G4Sc*=}q?rZ=O`}Ҩ)rEx5l"C ]e=$ɰL@KTVt=)<|IhXҺv%΁0x\KC.g#o΍,=&mI}?#!up.PbRe0B7U%C=)\W?pfvFC%.枑XSUW>3BmN+iGOrU^6T'vֽ)!ƲoҨf֠+ա4.L髑D>Em&)Pfn쨅yFWѴ mW6(~ƍҦ7\>\#J]}e!4%>@!\|4Zs=6S])Sr5y_ѡ ?%/,}c=*lYso9IQdgVME9UjC rk?} o4sn`K]|:ьȪ8裡)Ed- me:#$1fac:+ g$?!kq[*Rl]0-1O jpD(+aλޘ:iZP $n";7F:掼">xWވi^Nii~~Q@( 3cfn6JUi [EQ(>{$,`K%Ϛ{Z{H4mMYο.θ8cURŦKNL0ÓQ(~ٚ(RJۂ[^$tY:^UMs3gm!L2ID+ ݨ;-\(Sj\ ͛(YwPfim YݰA/Qu%26u<}1xCvHaC!((v#F0mR3fɁfKu?FRaZyᄍ@gVCSHL5qJ4I $ gM.lou +C" z7[_Pǿ5 QoZf5 Hvj5x5e׻.`f~uګX-5Y)2.Yg~X\$(#fT7}['D2+#Mo`~wWNmD߂Hg~ƊZROP̎FI޴ t>.c<ۼ!q!J:G7q+$qWG>跫wm9wdU)|5PhYO A]ْRdKH~ɀ!_ r-6B\"i]b:=oC<&'6|&K4U|fS daϢ30 dϸ͕|d'jX}Wt>^QyBj|hcq,*Z-; a-9O4X-4lb`2| }O8B/U$5odXE g9nd OlXA&"0Po W:2kD Qrwxj.zԀ|_+UAMs>1{{@C/ZYk~ej3gš6GsDp; DeXǰ*PN6.*?r7Wx."|  =s/A:ߒa+YNN; !ϭ:"V_Vu,ȤhS綁,"m69uwG+yx e\Uc`1QFňW4IUB:kziRU4,!4YO3# ^+F;|zf*n[-bF)Ɣ#ؤD V٬ܹ'^oYf;46O6Mُ,k"QQsmLw1D%om()։(XMbTd`%@/{IwLȧ=J Jm2M(/T&qt^lT}. [@&%V5,xziiI3||B=jO1E(Cl~tM4*M]_:Ic]lW,3X#P'l!b!1wxN.@-5`k1ѦnޱtH}? Da9șB#iY5X6]_ ÏQWJrQtǜ출{8ӳ .ă(2ZIs<_OoH3ʩI VmKi(P k.z{o6)狓 FTPڵæK(O3AʩG\޾πldlt?ED1n)ak{bZkBK-.l"տ_+s'^/>W~= 齈*È # Z@2ZeqvϼNC~OVnoMFʹC\ǒ˻2K. wI9fm[ |/C&b7j/>Tr֐&`vב{Wm9r%x͊!#(PVV?P$2Y ogqu;~v< 3y"eC%1^"jW-Xa%S)tG>s<|}ʧIF`8 eSZnsˋwwRd 0-Ժ͚OS\,tV6ԔBP~b{{B>/8I ,9>j\"K23yu Ke0ő ޞG.\maslGg8;Jj0^3}4ںd/&u>w|&Z@t=Dl__{mƅ *V0B;) EUrx#j=좙R|Cjd;#:^ -G*I譁)9>'K2`|A\c% !fS(碑N`Z;$}I*ҥ '!c+gt'.!5 1YՂ>K D=4$VL8j,%O HdjVORܥͣ=K8wBc/-ZTB)6Š*TJ!1&MקR fn20wSa嶶Tp@G tvJ@ *?3c krAybN/`Gl8rX^ tBдvk BrU;C}nҋK zVAƉ2 ` vêOO\v(>F0ܧ6-LqC +DfsuH%WYg-Bv0f$vSƢ [ jJ==eXQON S4oD;u:L<(NԿ#^RK7baGב"pQ~cu5jPΘj7hOL 253͂00[\D8ZYXw5T̤:/f\r?򫩴_2Kf Tuk9?&P,iXxgU IT /Wyb9CEfiM 6 AYC&ש>W|8p6 uj72JWgŭL U 䔵ISKmsƖ|'dH% ΃=v^":XxG)f_uwUqL:x )[U`w'tS(mb%$ӹ O!@Jq6lP_H͊ʝ:ᠸx!>3~-I8Iʦ]M?BrHR,ߗ!z 68@Z4Ǣb5g{M 8o aN76˸}ObkFdOQQ6 [Z1ЙC^ O}8h3_<@1%zE0 Ьu˲,Sv+ dk'mS;21Ff h_Tn-|@S4|b9P zaDk4OMJ'L>z )vosRqTPQ[sT0K8Ǥ(p%7>cEL%LӂSwHAږة&zj.~)&Lײ,9K> K1` UAaU/ 7AаCb}g#(sYV5{uI󢴤ߖXzM~sC:A(}1rh\ۄcYƘc8W/}gNDk~?[>L$db M;*8L%`XAU|Ox)#ܡJ n |VhHQQqP9{2äSqEZM&"%}셇Y]?P +<#0MÕ8QX4#*ي?rq^" 1]*h/ɟ0 9E$~ `| EMZ %Zv QԜ}͚J^oK})2OLM*+R(qI_܁r,^pgpR5˙S&,g.*?8,DF'T_'f=yk[F2(meyW-.QǶr$I,=@z-]TLk1cQP-2MeޯXkD58*]Za+6@*״tW䉳P?6xyfZoD` 9 x у'ߧۑhX7%˾AC 7L7 nE[[LG9SzD.x/G]̐yId_m\ ~K鸐0TpcÕ4u 09q7h\0qq\= NiOZFT+O` O L5MtwWc Kh6渒g_a85SrOc!h`6x.Ч*ΚQ\摵o~Y7T#҇Jk(ɷ6ÎJ7J/ĖPRMU*ִ_)(CJ6* a#Ayr?ݺ|1\BG+/̄IS_s%Y ne1m3V,nAx%ϘZ,e.tҪ8K|ms@Xurȵ.At, ^׮*PxfTUɃD=kևyL㹔e9J?Ot ,.  Ƶ_$bX2 [W ft Hg)qrH=.)Ex-m,\nvK2Wuz񉋺 yܓis`gjMWbyS,Y=wﭑTnl0&&&NSk9 a3i)C"5rGQm%G3Xyve F^ɍfͼT`sܓ#l><$MvT(͝qc31'=܎ĮeO&=6U!ϸ4ޢ嶃y E jޗ&*'&it'.i kEUQ<$>3gxLFuER @y.)AwZVzjtSk&_B3ŒXafUJe4jð5F]+W [U"/q?DR%vό/V%k3?!s袵 nqxS[Ły.8hBB0 <-,ZA4pGn'W tk-DM]'5ߏj65F":uPR(w;?arEvCQfyN_-bcI\~Ul%y.&]wA} W޼+4e>[ 1񌸦?顠ZdsUm7cI>zvÐ#o]% ]_,/A/\(5qX<'lTcsK*W!"k_rN6L\+y\i^՜-G#|r@JH:yy QhڴoVO=܀Ne ^^mS?̳ܵ5"KSJRG2,pBl$rZYdV DPe<g7T?z՗ nMIua}ȁ~mttp,5ؒsrGp:e$nY!5ꌴepmn+M&Q0*YNߏ ok8:^`^}FJ.+'WC.>VcI^w?0V8SÑì>vm u{7P%vM $Vdώ&FSMF6Sm8`ؼє{4ݜO +AF#Lq}9*̼3'Y? Icju^q݆_`΄glog6 WILT۫K:xy2?"ECr0cHW Z{:Ɇq!Ǿw}p5]"C$a(qf6nq4[ݡݹ7A`dzF0/ ~Fa@:;g t\dN4X s>fQ[, ˣ'2q^v T+D[inD{kx[GvN_|t5Qp'Sӷm92yh# IAiZ9wdtg Ryf˽)ڶ!9#o\j""`'\8!FH* m$+"-KQB,3V=Vu뷄v{˩g5Q !#h/耎hgJc%MFqԂ~veWvljy7"ō{IQxf$K't;@?Rʩ&+k1L{&#ђWa^cH;ɱCn&*i9?V6.3s7aB>"ݜY|wDK7lvR!ϮԶH"0PZ^8ln7u-:B?#->yficf&38y`Ou6@A/4;^n8uq֜48.~;@9SD]M-IcV=Zo6/{3+ctC/:sҾяI\7ꑦ:m"奎yvcY[oX$f+`)-.Rh3zc GXcom\@U)*~ EPo:=jU.UY; a>G_aeC-`pMMOOLݯ_ X:GEL<9ѝLLgG'p`]e!h0ca^,v=ITG S%zۚRbԯO_;c$u;OmM4IJ6*+A0;{8t .tf=a0U ]SM1q&7lQro2WV@s .OkY\o)t RǬ!zED  *yU2Ҳ25 dhO[{;^c<߽T_L6%d BI[07aSoO@7^|G]:[d?edeD;=r{3Ɏ ¶$@2-U@" M_~eEDd(? 1ZGy4 ?ʃ51{5*< >B4 jD +wXKA&!P.5heHdrBϡ!Z;(it7jPŊL1q/@] \ lO/0D|i.t,E{ O%]x] \by-~F YO&U,bS[zA c"|4|[[_n 6N:5 Ki(/(f҂8q"Cmuҳ,Ec)餻,֍{ jIߤr֦ܝ}[;Bm7Ʌafcꢜc^ب|i%ºiDngReG }հQW. k:laըʍs³Vf~z&Q]b :Om/ƤX"-0đ3R @j#h͔B"ж &Q(xz kY-),q\ٲ\(`UcY4 v>k CP35>EfoGe^z\&A{Mrα^}i%W*`xQn}EfF:q|p:@hLٞ @Ώ[jI__BwevR9"i.*>l+*%.Nk>kT%u5 Ť#;\<8 ?\X)2t> Q t)|nE7 zp.z>d]N??9I\5W&v;Jɩ2nޥg,RSS=ذqoIV/h]@=H{it%1:[54.nܥ'|w: agVz#|w 5}wvs^b7)xegq'[?$eIC).jg?ڷ=8*Y9)B)7at%xsS ׆T1 ?/@{dČPG$Zz&i,Q64VY}&o|n0hA Pk8a$].7mv k u([- jA߳Dg'!}bM5Dd;#!)!~$;|O;|Gڕb5c~Xi}Ő1*187Fiu7-;08O\#FU)'3OCu-H[[a`I(p;>Rɘ7Ľ5Ot,n>/R >~it;&/ `ݥVpnBL3LfyZWև'4堔`DEp*4M{@ X+n+'/o[2z=9@d\2 %j(ߜnmaXH!TOZ\bWd)ڌ!2l *{pX&iZ+I|$2;1P-Os8Q h?əqzЉcqVv' ItBk/pP$灆zyW 6qr 2&{u|v L)# Ǎ _+{I{`#iF>%iZ|+!}@Q ;#P#[N)9߉}EYxe5X#.UyRwjsH]:+ 'x[UG6 V RKHF%$-Fn/HZwtA/ivA@qMdDת ]8T zEtq?<\AwpԿj2:'H|3XEviLcp6hQr\J_1 ٖ@=1faޭ4SrON\巐͝ ߖ~iN(V쓲/IA% L Ze"Z7rBH~ãc4b~D,fy1fV񏂁yh ɛciN}BAB6Q×.$lqZL~JEPʕJՍ$J\UOC=܁-=a gZ@0|$("KpL#!r,L7; D޻[V2;ГO=|rBQc+P .cOyvd_D( SB684U+g2+4Ov`c}>S hrCh4_ a CHsM K.{'-'|bH/_eHnq낚I`^U\;I(ɛ]5I~0.a9ly_N[{rMd`kf풍);ή+RkIekۋ[պ%D36ⅧQөy0Of<ٱ4nPz{, $yM/X2ݏœg*1*.{㦯Ed̥M'*lnDB)ءKZV*U(;f[KC06uf9z[-z(c58TvTi,<$v0kKx ̲SbSP'sR~g$6/zⲍʡnp)) (-HA̼ܯ{ I=i02<)V o*_ȔXdpsv/F"#^0WF6/eYl"$F˗"YWB6MtK1ѬM&6N8 Qw9x~?tV9 :|֡UtA{::yxb8Ϛa4.Gs<to2D)+p!Zgwؚ:X:78c93̢D陇#])혍6/0[: H| OL-Bk{H:t_hH=Lm%-@gEN=bfFK\  I0 ҧ8LCdg iZu5~=k*oX 8pIپ  4S8_y2x"۫!pI ;Eq:(X[AyoЀ,Y1n?'OT]<#q ?}g`[#Xa~4/i!_5u+rxK1Jp=ւS#`B=،Oh`t8;;٬#s[>0YG|`NJ%RIo?0h-creSnn]i[5\`$1إa [7I`^S)1ʹ0QDAjIeIML{+:Hr\ w!SSZn$Ȼ Iu)raO#]l\n𼊠7d1mfzZΐY!,7̖KzZfHoRa{_ Jߛ՜uRY(<*PWS۲(@3L0.JrP^,Dj IMG$C'17xLǬ^8m aI*xi:y6i2*:ZH4Tu]bq }?pޯ#<=S|[ 5Ŗ9+77o3uCK:0|_u(u5$^v:ʑ^QLJ2d%ZBPl`8V)Il!9&cUR0S.0*r:;Zc# 5 Ik\n'0PԊ v+V{+fsNӆVh*aʟ3|W7VZrl~1s+K:u~ >RsnC2H)BF "b\F(IR{Ĺpcj\٤6Ӫ~A̫z*ǷjX` BxSuyL˖hg~?l#5a/*)hb)ŎqO6ɯjbW$CʂNO1&PHX ”VhOUuscxx%W<҈SiAx4nj5`%C'ͤ.^otn/vZjYM5܅\m mQؕQSot>FE]GMu0Ԓ;wDoo>kzhp M\3k}qWIS( ά_6z?2qK&PCN Tbw<`""x ]dg*c%fթ! ْ[Kyre(˜&CHk03ޙ%r-Ѿx.dgp;; KF?I_MQy13ny9p9VG2xJQw:M*Ҋ<9N#Dj |N!iּOgs# %f X:[!K24$|5W?7WrrǓ&5E~ȗY&{!{er&/|] {j~I1ٗyTmj52Jٞʔoxù6LqV/";:+l@"HB']*J~h'~>(~m_4-(5;$[ n8Ѽ3fత35H]h5~ P(Q"1M@ :^%5FJFKV3C7Ђ+l)R ڐ{ñ5uϚ58wF*Q ! #6nKpc2v:@t,gYZ  K07M# \HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/markup7zXZִF! ( ']ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$;X5u+G4 {C %3,]],Qz.4i(! &K6҇y9j{!?y) 2I] 1;zB}C qT;!! OP~$?X69(G\Sx+6Dd,ɫLeV}N7~mO9+x :ZJLի,e$A+QA~<%\0Z<:{&*6u5&,.onTZo./#\:/=?>wyjl9p5+ЬU 4BGm?$y?G)+ qdsN83?nՌHc{" {;3aPe ҉u60Ё.Hyw\"ǏTwu >4L@iV<(٫hTJDs|.G~*X%-+th@_FS"vhe{  .?y\!ll, ey%P%.DdBJ4S೷kc 8xq  Vf4j-؛X4gP$BbpRbĽ6s4f[4X-:j6;4Z}P ‚F|pNa[OoNg@Kd*7<<LR vMਿ)V:[agpqȸē_P f g9u%l\M, k}X%X[;C2 eO;uKyOMsy>db㺧|Бm2FB]7cЫ~6XBbrl>@q<u~t!MZO1\ K @u߄Rл;%Z\m\3Ҵ^ Cĭ-AJ2T2.W;-[p/޳w؆PPvCR'̬ޞIZV- ,1?VF 0߯ϱE50 h xP(]/ѻR)fp-bB0g` rq֦i8& UXtb@+* |܈oUC $B=Bdo<[H◢`ºO՘1&PEzl u%~Эػ!2̀SAG@g=O?vƕ 9VV0ե*S&J9ӹm>79٦ZTC?zZ];[ޢ1>{ > :1R{ -@nG *~x%2VEV`t=Kuӻod>vdu dWL٢=) =h(a=wYgB̈{_/AYn^AjCԲ^U:*ņEjMY ԥ@}m25Y7R.>x|5ͳ*O`@98~IGUj84) I zj sQhoPEI'yo 鬿TYQ|ᕱ;1=Iwj>HO\dI Lmox݌ώ|] R.쨋>5O43V6o|[z궚S㘼k.2]pfE5٤mCRo:һ*4%թGXJ$6uKVtWG?+&6}8}6,IELt3\VxUB@`Hîf>{͠H~x~W#&nxW2 *ҧaȏ+XEEf@p6g~[9TDtPDRl G3`oIU%o[m5fBh:h8hpK@ߖ57Btɾo!|4^7i xeܬp&eu<ݚBD'x,=UjgIQe߂=&ȟa[Y[i&qS-Н=%"?4$"^L \IW`?\G;k׭/y皕w?NaF"A"JĶ'E@uetFHٙ.c F*"'hjUp&P$p!fiƐN^dڄl c iHpJ"F!^{hiT6xOveL[ 1Gwu\K tPeԁ}!M`H& %?Ke7G&;!d3'o|DwT߼"UCaE>"6HI iӈ/MVAH0 +Kڨ}ȤC|}Lm;mΧQհ_t kM:& '3';oxJ^Hb$}$( ^pۿ`=o] >7AC=(I{o8 }%0;ҤN=zE6JFdjjPHXK'zMM(Sтu$Пw`x'eä8tm̭Dd`*nnš(  :%ĊathgYZq7M!bHOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/files~~/src/HOL/Quotient_Examples/Lift_DList.thyO7M-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/document_id666  7SA lHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetdocument/Quotient_FSet.tex7zXZִF! 0?p]A-MՋhvG"uIBm5ޙAvcia&zs(;^ⵝz0_~AdI׭ ;%gK`>حLiyM_F1 7WeN}e料[a@FS]g @lq#6}QJկ:0ʷ"Mٔ/@c2Z֙h^ g]H,D )Ypr" 88 FƦCf2fHxr,1ф{S]Hg#[+ZK:@V1, 3#7(UѤSqu5VMSdRl3bd ||7I# ,HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/markup7zXZִF! #]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$;X5S}U$+cYlJ8-2O(. 7Z֐`_bfح;w<.6q}I>e-aMg4/,8+tf`*yH+҇35B)iYqJ|A}'ZyB~l4CG-IiU3 xD\85zUJ,PֳFEI&?s!'a;p'%tQT<{Iͩз]H_k"cvmP?#φ #BDf\(Qh|͢* Iد!MUC /,+;mǁR&Qv^:f,H6 8dLH);m#@XtVڞ h,KDF#ʬ<0p+Тγ=Qj L˥ˠjӈ3i=0iSW̱VjGxj>WY:%ϿxSj#Zr"_XvylX~AIk=/|؃m^\K\O;ߊ!yɁko4C7 fK#+A5N'])}#yU.3>޺bU;m8zEs6Ž݃&jD jȺO=DD;R7'7O}h 5e/k2Ɍ`9<^ (57RZyuJ)"Qfڵm-Xo_\AdL &꟞C S6=GmI{Gu~ᅡ$+; ؿ4'ac냬q녕 ش07g=_Eâjw񞞜t-u7" UɰPQH<ڣ ^Ɓ9̏ =b5c}s{Hq5(ǒ~]w@$󠬏掻5#3lgHO'anA0ӋY/N}G:nKdt  ImMZɉ;e'bfٕ#? ƜldPSԧ*3D/[E/?-bdYY|clj1Kȕ/ZM8>,gPAM_ z%UeA:@l ߿ $fh,# 1ݓXOά>' ?ɢ||Ϙu6e}KkYAp_ 1-KZ[\|ҥ?EuP/UC4bjF"c'M;.aˈu2C<$UI_Q :Ezƍ n A~~lΎQ 'taqr"#~TYU"`/:>2& ͑Iʅx0mo'1>Dletʑ\R[[\4 C&)&6VMzL[j'| LĥHڔ< -F=/;njFF5߰:n<8 N+b 6؋[&ɇ*ww֕!1=i(YYBSm!3ypdqo.f1ZpJ-Izm\P4(:ӀpJ`~{aD|M ۸*2=W%;oYLk꟡ mtp1|DbJ?JCȥGPaƔۓl,P=0!) m}TiV mG$UsV,1UW(4?rRDwt5\@7^Xl\׺;mXok'ԛ {Sd՚DƁm}ZR>NO؇±{j!]8uc\Cg3}NM ja)">GkKVIB9'»B2U5f=Ǐ\GAj1-; c`iΤn6k]ߵx{ݪǨKZE0qWbJ w ˆ]W(J([\#~>&~M t靽hڛWt SZݫQ=BNB螴[9A x 9w?- ߇:^Gs*pGև+(쬣`l$ -+W/h] &Z\!3[(JyZ[u|{w_fֆ 5\"~8*Xſ))j^d;TIa#iX®LuJO^񠎝J:PQ-\@9n`o{OaӅwT@c @X|bW:ފ riG4^?LvS e"2&,Z@n]φm5Ҿ{p)л ^!: eQ\0~CR<q;"7x9ѷHX4p} Q 5"pOZ_"ve¿y|}d5k[ ӝl X3S ݲ6IN ##D[TI0ijԠ5e"uhcRX~]A_FPz咑[{ڂ-8 R.Do$#מFkH]K# a۫ 9aUu'DX2zXZ.[W_c\hkV8%s5|#W M|Gr;/ ,F29=+"aupBkʍBxGpŻ]S̚61)#(fS*`T2gm7I!^HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/files~~/src/HOL/Quotient_Examples/Lift_Fun.thyM7I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/document_id670"7M' !0~b\ɗ?,V5΁@ƤR5 ,ZX`t.`}+Vl#b4>3y*dc}6`bLh,9Dܙ IKFU.VvF>9ӖCkBN!=i)8ӨLd4-4eYrx ػU1R}zU6)PDI?!ӊ_t]%ӕwjf䂴\::VSzsXJ +KFg /0QC ɐ`Zz㇬,Zu~K|X%Kj=1Um9]PZvuayn ;E+э1vvN$؈iݏ%d#":5Sd #W{/ײf⵺.^S,H}b)h׌ţg=l4: zZ(X jdq Q3NI~Z z]9' O (r>HC)fofw9"aXОv T \"_eoQ̄twj#I'okBq sې)*&Ƴ0zozI:j8詪 EzR9k"^KNǬ? *,[J`=CQA:F7e86奘'B#`,@E;*2,2:7(? )4{'y~ʟ>& ZB PF7A'GCF.?[nM+hj2?giX- 4N~\ )^AXFg!\s]M;tO q l%NpAŀyuN6i+RK07A؅XĐ ΕD|Es1 폔D =ВKAf4?,ylqsc=6$M^뢁Yh]Hp'^ S녺321*,C<pvxDc+,jOЦ 7cc z5>c]}UFLr@)@Ęp0GԨ bgQ%z8d=+*%U's9E'mtk'W`B+o O(i'\^>. !e=wX)ŷ`}V#+#NTtQRŽF^Ƽ* 8\zԘ˒T^וU5rtoJrfFWgvN Acvし+7j%)u*}4yK6=-&mbU3Viu (eEB_pOwM B4OwH77P8*U綇2DuS_OD~Cl| Ӄ S_&:h`Hp Nlc<dXR>3)4={dn020S_?Qs|:Up4"O|#({㎴ED|hCcܪ°zhG ]-WEm$ H'L ?LE*zP# * ݻnRY ${W%x?:m(oX< A}[ e^sFɋlN`.շc.DjrR^efl#`)HPqet+;ˀ|팄Lu@ʣ%iҺYs-oVFŁی {} 𸩵0Ov*R)S;Pߜ=֥tO0.؁%釖g,-dq[*i)jmns'2~ ɳ)ů  v4e14ϵe'g/͂Gא xʖcM_RKzj,(ּJ?+zs'y4v #\w@O} ˲Wi$z7}1/f FC-,2Ex6cl}dbJ#xH L|DHvnJ zоneIڅB ̈́,kfp{$g vCŴ Gt-fot`ܒ$;. H_oROw Y ۏ.(rN'=<+f-U:c*Ax|z&6RX:`0&rkAMĕ8$҆ |`ioГTou- շ}C{eSwm†AeưZ螺Z2/ĕ0|[+y`w6{}_b$ W>,۴"kv -M+=C2> |vlc hyL8| <\N^5(#$HxJӀ` YMUU|lW3(# "`u"Gz{xmGfo2E~;?,A1z)!HĆy}əegꬂڃ,TP:uA7KWC?N>؅eirE\j4͵r?Jp>+QE B,/dZÓVOҡ-暝9rbZwfZ,ot,*mJ:"7i3@AWX:*Zadbx+Uau?sşh\}Wjˆ4 |, lyoF[;-MI*GP}+DP@eva^|UC)ydt+YBlxɁ|3kmDYc2[& W?F{7ް+ 3=訕煓3'n*:40l z q'-s QS];x6K)ZԲ`bhG8y࢞6Ǘ*/%-^v3q|gX=$QTװU1ە?NoXj MB^$;l{PwLJϽgğo^2k./WGxd2ӑ ?RQHzf/`^pb4;B]}Kk_oa<Cfƌ<P@ GsSgגn7_u,egkT`WI@F ;j=;o#0Vo7K +A9d:{l+Z;S ic-j’^(GKAi ķ#("hFVKK h׎9 cHoS2ྱtҞpKJ;y%Zz {OY[; 6ۉ m A4%^tZv<늆j f^ۿ7\~!,t0dΝ] sR={[}Z>iva`t+Y,y좴Nxd>ze{HOd+$az gbsGu#[zG/4׭ڨȟ-s0CG</Ư8~hǚ5}t5cR~Pvt rvQgIL/PӶƶ4J 9dMfa,|Sե[3U;] 6A8Ў> ٞ=nwkWr N8k]Ǘf#nA])NG9]!'r2qq.UX0GxzY8fYQV9й$l/)+(4NnM9^M}X'_ؙ}%d{J9@LJ3jL)chDQCl1,лK =fʨt: #RkFHŋvIjᮑݝ:m>Z %=]Boz4kn Y S)d ~+c ]J,q;<;wߋ 4W(FsrcAܠDg|77{1 tk !+N*-?vg"MB9h."bR;tW qk`UMwdeR&{}g. E x3MaC9%z x&@o]{tvk"U<7 w0aq-:iBԱh[p~- Psj?yoD$~sJӴ1_cI^!*!d Q+\m1Pb- &]E2H">uN!XVRV;X{hL}4/*lFX{ʦU6[X9<|?28AP*(E+ qGf!WO(61?3#4f|3[3jMihU}ɹ\t$“{H[}Bl >^6uO%1x>Pc]?wjvR<ޣAL n$|mUxX@Кe*(?Tx"r]ǂ݉1;Ķ^}$zZ?3\') 5'A4}_ s:uodjKkOKCϐGU HPw 1"Ui~_-K% 9>W}Mk!\?u:yӘ@m*ރ` !h `ːn!ԿFٓ &/M=:V@Kxuѧ΅t`ɓ{jd,#t|ݫ0 )ܞs }S+˼ ubGl[byh;s!(VW>rXR(4V8|ŐF%O!fw>lqPsQX+>=}pFʾaS, aA^>BBB eC‰8gz.̈bi# ~n6qvt7dG$]V_/w.#s/KSS9Ю "Z>,BkvM+`KFZq{?Ri@e5up=667ȵ+Aha6חE)<SU`eM i?3D(s]㬾e<)^B`Yi1$$h.}f(1Xߟ?@;C2t]Iߝ3^3sߚq󺛶@ ڳޅY7:x0/P3*Oπ@4Ucc DjG.{HB\@n8Opᱲz$*׷csdt ö(e))i7&bt5ž5AXUTXj~-d$C !C \95qZ*9,mӪfuIK+ClޠE5!EO#y`"|t+揩ٍB=N`9ꨍ5?Աt'8QJLYmㅲ?bo>6?GXCX<) I%VFQJJCW4hP]C0Y<ӸEKBJ[̱qg wPۆH7&մ^M')trw6g%Y_NJ_lioE:+51 %3Bg/B!½q,'[>nud)A!*Ja"k#j&TѺM޳f&jd Nhy/⣹,!asaYӡQo[惕>9,ÑN- }i! ![-7'~@M'>>OӊȓIi{{Dļ[ w'5>8 ړl@b1讵;52׫J&ޅ9C}>:a9hl0+̤)5XK”ܔi+_f):~TfQ.5}ޗ8'V"?>Ze$XVM?a_,y&,z!oRu{FQ{*+@ڕwC`4BD )Nbtg"ZTyeN_6;">ri{s.nIbE3 FhH3nnQ74mjM=cDA_\W ݬwW? &pN#$}Jr1NEV•8֘O;cPZg7h8Ki 3gEޠvЃlLZki[%PC>^3>& 5sd} qXPg iUi}뭥`ЪCcB lsͅ8$P,R~(_^B!_i(qnz;D"/Stc&X,6{{qߊ1q_bS7 VLD3tLmB|3Y)LrbEX$Ą(ʮKu*Vf]Ym[?=K {(tVy9\-" y9VAKKe11GlVϻ(!র*t*a7H{&d*֢P_^s4F *ڍGA@,g0$Ҩ^M u Mj2XW%tu .\͎r_KӳX^t$!޶1t%'L4N7jRxѱFꕖaUԌ(!f+` 7Ө4?N!Ee&qm)c\O@WӵeQHB]O62uį:ra[` <ݲKQa7c 2u |Sk1/w,Yǟ6<< 2?P)Ϳy\T?=QUgu7LfK|+5=c?(#l<`2AŽ %EfW35Jo]ܨe2(H! ]Ǟm ,,Q=}S8`g+I!/@~BgLŸR)OǐU,lڹ*U&ptb.TPW ~r @νau!uYY yrLԕWAvUYvTcvZnubo?8˿1%t峳0n?PVxZ&+!R.Q]%GL`].>T(׺lS ?AtU\֪P4"hiRp՜<pXlzzJb=|^mʔh?nCq-T9 1ˆfn.3yQQ:L/깪C-4RLsU6bdZ;$]` Z“dS1{"Y &IjlH͖, `VT-i'`-V,cjZ!:/`~Op6í:HEGZ).H!A [[%,rqj6+YG1vhUc_u/sߎPꢴ`ln$ 5ݗ5ə b " 'nUukKf@96qod]Z za?b4u{dSq J\ )w̎3p,Z3 9.}T[t}raq=9,, >G|9ł&$X۬P/k@ǭ$'yY)ѥEfzjE*O>A(;55Rj]"#C.zw 3Ŕvom &N8FcUnoHrEa7Y)&s=+{_=Z,Lo33\?r;x3΋O9 0ag F{RG&_8{v8<{Ws-:HF}\Zoi³& bso\8W!n2/ yej~뢚\%^52yV҅l;3LYpKA +ܓW}b‡-ht\LgCRU=뛬aQܙ;˗GA IASﲯMsx%" U!ꄚ\YpCDdoaedu=҅ σWޢuNIZ2qi@8-(ă))^ s^)EW0t~ll'32=D`*rt701ջNOha1y¨=]ke=9CT c=z#NS{%~F.w5%V9 |&_x1tS\ھ[)eɗy^uw3Zīy niW0㼭??{kN$ 9 WbnT7- iЀ~}eUͩxL}\Xu oYvFcYel9Y> =):9(# gK !Divo ,N\k S9\[9@"/6 F6,h }R8 |ߊN. 7J 9.`u3 hF"m=SX։v÷k,9b5\Ld?0aT^d'd2;-8l[Ȇ}A^YҶ$/ L0NpG~]D0:Wޣc UswN>`w[%cp Y7,%;՛wcθGQ %}ڲ>i sGz]LkO_A#\oDdPCgT45 85+NrYMEv՞'cRaf ^ 2&!0=GI0)sD\'޲xEEKL^긧zAK,'.O;5VJH=c?/%Q|%LОg3CvbUN.VZ⟒f__da쵤t7 o PLKM gwu q!K;ġrKķ:d aQL9P( ܦ6 $4,&J[Z? '&5 >d]dumPL$P';.{]ϫܝg7[w~:Wf,g/='=$ʫl5׮`wY9Hiςdp"jOqx ~jhaC8=Qdו$ȭV~ᄌX?M#Fԕ[|3u}X1R]#}ҹ^մfj"(ƹ:qq=^ -7E*r}CʿU~pm"V7W@+? ڥ#kb9>D%U:9U\ ׈%" QڪD幒!Dep@ClB
X:O;Zv3"K3KV~SAجBg)6v7m"wEtXQ8l["ށƛ]^y\?hBM& $-ץk9ρ$EZ!WZ;Qno_:GyBbӼ^|s͢s?"M90v}Ik}/w]Dr9jj ,SbNLgUtRs[Í#9+.孲sbH?|e67pܡʝ6EWX#XDzeR~6B6t"=][: l T(ϔ^}WYWΫ)g'u*OTA+!ӷ]A3OФH~!1}v[Y#_b=+X!eQ_C]֗^THnl/+߷ĩko/7!OΓ̯KpSĎeMسˣ"kCqn4kc#/5n@b挍nl0mM_6KzNB}R>x!2IECGjBe\ec-Ԋp3>Z Zn͹˵춧hp4.ex[$sYĦT2#8’MTm$a_sdH¬v ap!]Z1-۽gw5Tۼ'Ug1[%:zI9R4(ٖaNa܄VE3OhGG^Ի^S#r32V<{:a=ZCjxcC |8fDF#`? QJF9Ym:NчLJ@rrO%xx+bv+.KqZewJ[ 3; |X'nh m2Ulܽ7pe8ObׅV:+pq,3@t ڠ= ,o/MapS)Y% (u\I.evڳA}'J92?G4zž>wwɕ"BT^M8P57?rv{(<`yuPz*ȢT큂ٿy4Hpӑ>Q_PO$1tsF8MvL(a>opFnQ.QHF)*cR"=4!$ 2M^My4!qS JC$YUn 8 H3 4J+db f sEO =_(ܠC豚N\UzJjxeN#0Yp2X: rT' XQuMw ۑ=ZGJFYCkį$!0TMgHI"U{ؐI`SjCsD'?{$3H77'Jz"͗9)sDH[\X,;zuӬ?[P?%Es&J'o/AѬ^mQz/; Qȧ-nth8(b7ꌵ(ND 9BLR8h"cBWJ{C{;d{b/#{, !Nzl~68; E`-]oNNSe$|Vt茥S1 0}EGK o*sx[j8@N,:q[X6gI >\8-6޸XI?+ x'4}C 6zMaϏ(x[5Ni!?/Wm\R>E PVS0egYZ !  .!m 7I!^HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/files~~/src/HOL/Quotient_Examples/Lift_Set.thyM7I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/document_id672L7Q' HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/messages7zXZִF! 8]D?7 {?:fH\73-?mUs7$Α6}Qkٴrx"|)Hr'JFJC_A.hXչE\ #T/J+ z9?F{g9rC*TX:vAyi8wtPBR}t>8j:uY޶\-ƬEE B;Vu1@;`a-Е*N;ɇ)qpUvNʩ9PӚh"v^.P:TGES sU-&X+. [JF_eҬ"GݢP= G?m2v#76A o⸜5 v(G9: 9p88+KRXJ+WftS s)*ٶ&d3nu˺JMq|+2)mD7m#nհ ¦8ƙ\|ηo))|}{o>NS8$?eta%qqiL|T4Lf+(ܰe-&"QUEsԣ̽K` %O ţ%" nBHڼ?vOiʰb/wF|\ntdm4B\k/?>=} qp-ԯ#$;t'cvL,% ㆧNꏬQAƸ-=K|V [rxheYkoFԦ#ٗ>6"{ؚJ{45plPq5+)TYcL q_gYZ? 7Q# tHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/markup7zXZִF! z ]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$ej JW&6&q -s^sxط SJ?"Q6`WY7d:pi)&NHA#IjSs8=\rv ?WY']?Wڑ5Uñ+?9[20eO@M·b zu V..YgDOs4 ^P9֙"~dOxЄ|H5{"4LTaa# <luH#P<-AR6UǍSQ ^@Rۈb7݊'.L>\89%vbT,xeLg<=Xز89s780՘%;Y݀(o8 #Ģ2t ϡ2q'oL=zNyjl~#gYZnN%lz 9k*8ĻnE*7JmbwAB"DĕLHaqeEjuQ{.ɫ/M|6|SMؠGΥ ZddXC9̴g WNe\VI n34dO ר`HDa6$eZ6?L4'm zgWz|AlyC_>Q?Tbi6ߑ;&_4%Ia}X36O/&2V>:FV^d7cVĽ.ro!"9Of(;zG&ȼkbbNh~VJ+!BY3i %+d^5/VEUEQ[قdkEGĪazSʌ/n1]4NEz"p^*囓%mPhgREC‘p\;?;n'Ϙ`=A"ϴN4&auhW < ~_w.W~ y kη tZmuSX.Ir1r6`SYnCgQm' G;w&*#59O  h0u_4 rͫeSMƜ\4qԓ5\J EI@WNZ2N^`GPI yCoc}WF̟NDOe 9!/MfL[p;1lVc Ϗt1a6+5*kLãJaWwp(4o,;-PJPl_&[tB>׶1%JW,,7d}ώ႐$/)8隋#>.0!`F:Ô 8 2ru9>S+[ j6 -MN%Xq #*J.KX6tAv TtN9Sh w־/Oxw,L(yl&}+&u@%'F~'=tl`mXn-2}eE6;Sc3^lN n9R;.Pr%/,vVS"X^W(O=` Kih$+^~6Brae#z(*g68[sљG$yLu?/ i-={tZ9t952L䰣;V3$FaF8:mKFѦG5 rŪWccE',! ~L:=q `iF?+b׉B -y PL nx|Ɠ{YL0t3_QƖpOwJcxZ랅?9峅Y0", p=y+p`Rح&/D&=3S-Ȃ^ݘosA\~\W4j*?4K*ZF6%h~stpm)BXs7 LuʦF8Dil&bPF#

Qj+iKպLxP%(SQdk^w&P"N鄚ǫv6գ>Z/{U )ǘD^AkȆVVy 0 ыf]@@1F#xm67:A"lɅ;6(!|筁J )ڼEZ[yw:6`'ڭ)XM>NxFQhOJaV eYچ@s sѭese(s- c2C]t0/9a10-SŮ{{EϚSܐORւqH'LJL5Uζ%un NN%u[Xf:ac> 5wqEuOj&;Y>r*0#vȔ ۡ).T6Oqh6<ӞxM*/ef}8{j$KT!DJLEL^tmg"#",Yߑ~?⡡ZieF_:YUŧ=7`\ܮ.RHE^ItMx4Qb˸KxH֙Έ]⁛GHQH14SLj}~7a0:0bC`z)P<$fLI'x}LK0Ȁkc o ڸQž׻g4cS̶!D%'Chp+t0/ ~F~yB'.EzZIbD(˱T)G a./ '@R$sI:vϥD6e|ĘITw@y+;O\!(>vBLFov6|@dUζ/AJr!\dt&7RTC|Ad+p4XGuױ|St!vUv Ә|KjVV,xG9Imq-(CV*KUX79 gߚ)u;qmʄM2RߘRk7`@Ѥu YBrB ҫCxpSHb]w;7]4w|t2ORr>x|zЂ ݋;hzğ7xd}Pvk aS\Za'b5A0Qڨe"<]ſH~G@{^fF.\ $ [;x)XE=,x 6h;@5(ܶ!P ?ͲQdݠj,( jQ1xRԐyA  # %g &ꢱUK Wo΢^ޫkLo. fÊ;k#ߑucQ _|Eȶ~ ^Aİ5 MgbVE-;l5u۽'aJAW28l dq,x>VN`J;叄A1L7>bʠeTⱯ5Frjf`4xܦ!EmY<7/&s;USu<$fRg r'CUv+N4/m[mi!Wp'CffK0n4Al*9X!ZCvW db^w}5?`#8b@X1Na 7<|+hYH4AdgjE'&%Z'ԅY/~t\݂#Ig&tۊmgG6/Yphps£ocmu CPa[[dZPY7bCY+z}6z0HDLۆVm9dP܍|7g8'ତ1'ΌEr$Cm(ZO24IV 1wÅRǼ2C@L=t+;!ӌjHE͗ WrP-4 ",/B1*a3km&2 'YgP io"߉IV9z?<6frjL2@|]8?e#**N6I\3׹ڍ~%c/ӝ뺷9:TiyGG\͢Z dWd :n{s8ddmVbV=k*EiNkK%sq1H{km}?9MqCg⁞ ^*^ϬB;$Zle-B Fܜb@IΩPgHiNkO~LoF3ȮZ̑ZLp-i߇;RrWo'V lÿ'uHy6DU8VEk N0LiL%MÁ^h#aVcMM+W*wy e#u4gxV <Su^+"uoVvZfYT%S>c?c53!QDy"{L1F"e2pxmq,^ 6`)$.^S^֝[8PF@&W[tmcQ$Nu ; "l*FF i9`}AbN4p l#uf0LiCr/MC[ϥ“L4TZD𣫺DآR͊CSoџ#|X6șkɮ:X'l6#ON1 G-sf`q tr_Ti9+k9. =hr:pFMG >lm^:tXN>æ싚uAWA1õx^ 9{Eud#XiYPG~y !toߘ鮶~ss?ÏoGRukNTFvT]O Ujf=d~Jy52>~D@Z$\ŔUS2l߳r"zW@gR x-\=HĤ,Z9C.ל3]" +M,ZU"ŗypB{V~xc-Z@c GytٌHEAtƜwYζUqdemd⯁ x@`q)$e x+mX0u]ۖo3v_2)x{a=ssP'GcmNҡO~3Q>89^> >+w{3ILa2\!޻3,JeGuX<(n8a݌t2&+TsfU'bX)7R<#9CI}n7wq,08ɹkX8!M5T3S5mMsgA=-Z|^^ ?ޙC`]s\p++ै]Xc~D#5z9 N!9ĭ\%a4>RacH2!dC?ټ| 0̫ArI{BŁZf =T=Ԕ.$֘w˾O٧U04Wx6ds$Et͓B[j"l+f;C"`K/2`ǷĕuJet7BK-'7{-2tWP?",BCQ@j(iL4>8\8YY臽nNwaP&YSuvZԋh&3)*:bFnSvFp|=h)Lrի//k d;jE[ΛǏ10JŶy?'=rb !5EHs?Df yʒv!=* {ʸC4Yn7 T݋` z7C?OOΒmcR=Kzs^+ &L(}Ry>ߟ%H囌&T vzui|IXӥtNUb8Ւ|E~ 5 V9 |w>u|dWK{iIûI+(f9G7 +ۏF\ bz y^ ^diO|4F[`\nkQaᆒ(<2FQnf.~]H0!Jqt <9wTB2Q(6Ij ƆL侫^e)9gʆ񿏞gx h;-z:cy 769Ƀm_;:ִçg~Yܙt i Jmx?YJaTʋe=1ķOdF("x[UWn u_k&hrt_vGOZ|V u5*n|Q CJi'qZ:8oLd䖪}ַށߟogno'$K."l:f"* JN"-f{>Pav: ]eZֈGY! WGdM]#%n^n .uzoyV$kx# B- Z%Ō\ < uF8x$ʒO!$jѥu0ED>1;4 .:*XM@!6Ɍre-ߨ"9vcOBF:y+ȕ'qOU*Tf #)u-(\iQSҳi*n1N+u^~ ~!"ZdXQ0qҀG+њʺ)Sn6i0EVr24wf huv#/u$Mi.Fʀ*#aɸm:CkM^Qa .'nACT<^hpBVфiuᣯfri '~G3vаꡉRSOu`. 3a濈*Y<(hQhj X_GBb Vsz7]ZVard_ӇFyc*: )X`0o?.>04,5.q!$V ʃK]]9 ܷ- T4Qm,f>ܛZ@Xٗ\[=h[̄{u$cB\ײ*^\5dR*>tw_kK_j-).hɦ6Ϥ K2NE -%@܆kSIAgHuώ j-bOc5#K1AXtvE\5_?8iAҾ\}?v\"9{!E0$M4۲f.K;l"9zX86L{.A5YQ}0@m4to!Z-Xv>!-U(8yzn颒<R${:Dw񓨣al4kG7\v`Ďm8:ϮDOHC LZlڐGMu4Q}c lKvPx-P:n~pcxaM4 p j?|HG-88'T]_j6+o!y,yDEZh(-e ! '|ۃ}d<ˣÕ~WVV<2[d[iep-oh vk |4fMg6t#s|lƳf_u,m'=u /Pr6A*?4l]DGhk0Zζh%%m#Uz8E q v+%"X쭵TvSayD+3-x9k5Kz|8|ي1= %&:օ}NB>`6 j@H~aN)[Lcm~}[u[1=-vI ` פM#*c`BmX<̻9{gQ6%䍞׬X1h Y{,&6 𗭖W8И oh TJG_NJDfb{#$jVZ76aWͽ{wCu6)~mjPT!0 L'!.B"zJ BvX 9h+Ȳ ) ɻ<U+ZWmKVA! Z`42SW8>0١5?]tSߏ/œb#F˕9$dO0bhQhڨVs2a3 hat†N+jʸRTd6h@ ]Lec6JDjPTlSeibRB(aGޭFcI$40PLfwK{8zC "ܵeU`OZ1 Gg8v@4$59YvQ!jGqj8mܞȧQNA^uNe:ghi?REz[k"!q|T;(noUUރS'#cGc_E[@uL9ALjXV֦h+gxr}Go'5 [Ā!, Y4Ϫ/H2/ Ylf4 eOr'[K8^@te?XQBB? ?/b(b%21ۤ*5# y6byBdLTzcm:b8H0uְinTh‘&&#}M3'aPYǂ34sQUoOY_:F{g jLD .rCFn/'&_~Ai^wĢ!HzC`ԫ 6gYZ!)GӶ'b"4+X}g03Y}5yR 8 [EvX(ss b-XQq,u}4=`mml 9-|^F}EPOͺ^mZkIc$VcFb?l)䐽 SvH0j8alj蕯iN1r&06k+v"QV]ZSg.`4v W UE bj3nғRݵq}LM` ?x{`uY: B~ 1]W8׫<3͚ՀKy4Pe"S@-Va|O  yg #-69")zLe̺) #ouI/)&F?2P|y?Yc\ E']uOQWц#=i UOmhWpKd j⾎xD t )yqݴ69kc%m9^aqUty},ÅV: ǩu(1AiE|eأ)vc'4ٖe7)=3,8D{@O)f8B9-Zv",q-AK3dWUP޻r$)(i X ݈񍍈tx !1ĉ}{&#b)G]%ŸD659w$!773q.z(SȘ&.턢4yr!*>ҭHT A6?mNETT;ٽk2l.Xf߲9x2Vs~E*2e [åymzGȃ[8k$Y.'րaoQ9U;)D*ujM{@IϹjR!bG vdqdui*=+>E7vMuCu ͏7B'x$˼:(JzDTr%/F$MA޵ "feKܥ쇣)55Ȉ Ě :kX( 4ˡO5ڗ('˾u\C*qBx;gqQ-4} 0۪3-tP6-QG1ث9 5 NhS"g8y6{>_o3)[-F 3oRҒzp jPm밦{אp~%7٧c 8L'8; .DGH8JX9"AmKAZg"c^& r0[1 ,z8;6u2dee[UT9x/X'9*97΀P6^ q /#*;H%->>zKٱ^piԵ\T3>X&xwU Nlւ8R0z;~੾!1r邧R9@7M4X>| L'{8 [TB)! ).,.#ZT3.j4golq"&0LJKGS/aVM 3B^.,gQ4[޿e3]E/~Fw΁]Cv4M½7 ՔƂ[<";Ҧrj 4ŌOx%7g'Ic؎nBl@c. ߜoT&}i(|IF]8ǧ; peRxXV_ɂΎ#xs;L.% >Vdv"J x6Pީ!gֺhY_SかٞRΥU?@'ZvRA|;k?bd5R 0eS`uvq$/׻"|V6ė^uIoz H+cGdk@Hɗ6\~Wo[tt߯ GcX[QieCvᙋY,uzFp b/.9Hxm٪Sd$82^bX@ t\N.'ueBgy_ R0 H9!!/< ?H "/ 7Eu2rI8InT,'zy} ijw샓*ѣkg4p3S>"07?spP!l)z~}ÕiUG2xLE!̘c@IЂPoNH'oi _]r лi.Rx+,LG}dO/Et/ 4[dSSґfej~ Je2`U]2r:.nfw'4lۨ0WDYA tB`ǗzbH:E$!eHАlSs2f޲cϿ:U69ThXWFOCz؆B/=:`sUkPvhy\: + ꄼmI/S Lvۂ'ߔ~nH V`И*&k fZ3| Li3,W؊\AtFU|_eSo8ջ} W$JX7PR,&̩o8mnaErAg;ܮ&.F$ QOwy#[}ܼ93d:D1>%6mz;鲹<i8"mG4:ʌBHjA <n)>,)A8_)s%|?!uQd5Jzyaʹ&GodD)ݦ'Kԯ߂Et sO}i/&`/ _t2տͱd(?aȟ!9r0Nh+'- Q 4CD{@ŝ55/jHy0|0N}hU `N`$l9ط v@lgLfGR3A3Y/5X):>͖[ꆛ1RW;8 u=RljcNyVv@c)Y}hI8&a.>VUrK PpúM˄ѥ5+_ЈuyQz U1'\oXy_JNNqj&穕WBm!4XΝ!8i?՜HOv̪!ρ`GIɈ@mG 7_ 4/'<V53x끀>q9䬩m[3֨x\ -%أGBqY[F+м@.`hCZ$ex)|nz-Tws2O*|}2+: Q6Jf&ZF;>ait`қXx''T=b n#3,BިnAʉxق"JrdKA͚vfEzoo;ͺMcuW aԭ#H,Xu-1mɚ_PLSci(RW(B55l@uPhX|0U̓_W~z nA'D_رELq R}\CAԗU׆]PƑ^rho@]1N!b̮&J^ŵ-+S %jpHd,vۀHljX?WAHvF.f}Pl8? ^Y5Fex⋈+5 !yXw?+BEh0 * ϝDst9ǻ_y(coa`ه5ӣ]9h(^"oO2)._Oܓ\'ry- whnEՌB!XYr>??_7U@5䀴=v[>HhQ)RGjH4)BzExdw(@F\Z5MH$ 4o1`;I דW;4l" ibyph71WN8[$H$ mEW? 7Ag,G^&VآAH\Jko(3 ˟qڥ6fi]|87f7e_] ξuw-&d0٥0%/C _`ms^-!lo3  vH@ۢ<Br"$6рc\JCmD1 frm|KDjʚ5p=nIwL %߹(@|1ʴ&ueOC^|\rlV;II@`ܸjLrkoUQN 8nϱV,^oghz5 $Q3@~>\n"w\]Ko"$z!b*[ k}xgYuwL8JPfu8F$ =$-rg1; 3 f. UrUp%  ʄ>ǚ@8Ԓ(VF iae[%:PcI!QbCOiu䌎@oy[R#1f b=^<~0{l~N]G8(i]j"emBk> Ĉ9a?粩֥5\APi$>?T` ,Zn"(VKyy^=DfQIL˭qOF~إF}hȃ r=9 f-Z`&_sCAlhifrLLbZx}c\r\cFpK@XR?sͮ1  CBME0B"=r[ 𮡂*c}βK&ܹ <P_԰Cn>Ԕ"dZzgGFdȢg_xq5Fy2MʱK ̐mBb2u 0nxƵ݉$A! I|MYv*M[pC_aECmǑ %х52?fi]B%K7qTQ2  MXCWk<}|ũiVdA`D As4t%M%`D6DayU"r7Ûk,dRm`$j7oVuӾJ1e:iu?R{[V]Wr!\n}CX P;=^jLՄOaciJBIO*ѧ+[E@P8›D݁ł'iƢC}p.2J/ap'xesSjx#O;gfYE[!eaB!~HT(tIkSOHyOܧOqRlZyZB x$ɪ@3:/M\}u} "D"ſ',3Q?)Mxche?RcBŗ&2QϥTK'I<KDJ(7u>} hf'WW[Brij3a2 pncx;[)zMXubqv?z=B*z V5_DIu\ p[ͣ*X0skm G!J &Q ї6gQ~Qw#Q{-:zU藂ւMU|8~?Q;k BLgBv(زD(9|>w^(DrEF pJ  kx 9AX}YYqM8r4؟x OԾ黓 NR+ t6H?5Sa XzDevg&q &0["i2BdHRkeAWsjڄh;m2݆u_ː}ۥ2?T?Xjf)so<)ex3-Iӫe zu *t_K xp9>EFy XէL{CkW cv=O;Nq\ՌEm.s80 (f4lBJ|e3;@pG"sҕ-Ӻ˼l NU"z$PPxH6#/c%ytЙ5LhwZLL=22 6']h[ Aډi+Ile"`*>6t!& D9vw3]×2A(}6aɵDtଜR54Gx…9hʿF-JD`$?khͣɠz}@p] Ej/yx_=@3ƕ{O8^A ϛfkKc-t](XAk]S9MOX@4,4?DH*DI'm Π7"[=r_e8uY_uԺ0&fQVdb#h3eKe\(ND׬Y|P"~yiPtR^+kMNF*yݼoT+S#hЄkg!w;W-љY?B_w=v;X3l8n{LXy ߻L1Gxyɫ S|)'NWeC6GHN9Y^`5/{%fwVڤO=`B? O>;S#6x **;m ᨶR(ʠ$ #ӿ~μYSk#ɐy饼_eh@m WC k5 mf/NEc'{_2(u"8ńlJ~IPtiխ $z-غ7;|.Dr6`Xn\L4]lFR&f\ phMހ!t/ZW::=j|7cX}Hum8@km-ϵǦ>Dx/< #Hsw󫌥? qSp;oYa:+YVgpX(""asI4j fM9ȯE/ _8*c I=FKGO J-Ul/ՠPcLζm]uɰםXt`LǻtDx !2j**|6m?2&k蹷Z eB#N2tUmeWJ7j-?g ,?>Rh W1I nG>GدǸLU'BKp' F4~h:O{7XJ@^NẒb$xsnC*)S/(t/:B+$QG}2,KW({A*0>)k OOHRAC`n|1l^sWM ş4['558:.w B 5ӦiE8쬏t)q/ 92't0Df1LyS,Ol0G1Q߿Xk=ML6|7~g3/&ރ?7$I"Wr޶R?eцϕ^P;ieV}}%L جP 1gQYH\A~@Ȗ mccV<3܆:BK8VwA'KR%Q\qmW큐pUPR:5$) GnX _IjY?V$,}U%v\SOB!J):H #P+gnJc@dkyWƟW0hiMy)TV3YJݫ`D<m\?=B'N0bnTȩJB+y.S  np_pR~4 yW/ܛ^ږX~fϡǤc pa]JU ZP#9*@Z܍K)3z6Qv q(:Ts>#즪OV ;k?d1aG-[?-*Q 4WhB }mtAu?ۊ/ ǔVVɱ3%lLtWհ̋ &hYjm ocs6N#]3 hDqh%ͼ9`,I #<9 ۪ez(,9?ǵjnk~` @ϐTq a1]#J(}3(6Di@Op1*cv(wi֝9wD)Aͫw%^$w J7`=q R+XZEP}Mh9aW8$Yo)[; *')V-.DUh ?&(o^ϗƸ^xR@/4p?H@a8|p=Iqt]a(dU#;q+4?n%xfD,;ajL-:y)>HFb)%\Due,lRy?TةQޜlX.%+ui9ܖŌi\#:W)tmsCCk}Xn[ɛ&_;RUF$nCp^9p%si3jQBߖ]d][K/L(5n^ɨhxdmAtHIkZ_gXxNtEoȟ~V,pY|Tj^-L) Yu֟ AVaҲjl/ @}h5"J0Kt+'FQwL7fVc(Pe#`piO#PکToJb J AĎ}0/("lNW ?k~\ |MPpP8ˉO0!cQkUqFߖ^kc)ю=.1k1Xq9fwtb&}ךooGvatn=Lq9]<`BgBv7$ }Li+9&cD.Wo?xؔNE&vRl٥|u~'IEfZB W-nE€N+ҵ(65)f7Ne{0ezO QUdJ4aZ0iz )E:1{AVu&8l$btUř9(Slh6nWNVmݏ=Pұ%R~kʈȉZih =0 ,_ɞ8r+OrCO9jkwrڥͶ&(Irl $x@ٌ,*f @֭p?%]/1~A@գ4g?JzMk*桧icbH{Eؠ"<exfm؜f銼.rS0wAe6A Y*y$wy%7Wrsff?oâG]1*xug{iq?BęwFhL~TWse^lZ_aiD7 ~l0̕էfw-&F|4M^@l4dZ+/HxЀ$/)@g9u+/6~us)A€P7ŃmݒjIed /ɬ9U肂T|5YĠ1]ZvyZ>E[d~L!5KPW,9}C)~I(J [I$j6z}m3=]]wmwsCW7 C^~9cEɗU 'p0!aߓ&^Y YOfO` P͇ZCYݻ*oA׿o$>0 uþqtR((5|m;aF58_ül췱ݽ)F6{/3, O'@֟GC H3Y0HH5YA[XɡhlLiYJ[}H:Mw") snjxk[h! 5D[xkB4_A\}kE?!^_݌Xp\}$B(bQչ \! Az3ƂNl8l͖ssSt%ߑl{x͉з[ 1~m؋K y}̜YA(.H1x`341e%MSj%VIGm\>!dj:AOߊ$^HJf(wNHm`cWk,t' E/\S;< 5(0VMstϒF juI\[% %]6EE7 skNnzo& cK~wO&ۏ`%rlqmO0O< a *-? 4H3yaSVkV+_M 9uU5N lԎ2,/gSK+}ؿ@bG{K]28Fb JJcL,@026;!są *GgSo*a`5WWMJ{HAC+'2ș''IXths[c}Xk]PFmƲ:1W 2y-5x.%?VĝlPFnOyy1`O[YTQ `tHN#!Z:*`vC6*VҾ sŔm* &" B ;Q8fő_k2ĿHm[WWn1PnGT3` H爎dOD^ sgHTy47+gS;aM+4ӸC,7yd,t2PyqmAv11_61#U#!Xqvt`Pe/wh"P|':Wy P>m j]ŭ'hegE_5:8ٞ%!' ^ Bò0ޚjČ%6C0 Jb+_P3e3 K Cٻ59%a8f^jKCpu:=fqzL`l-81Va1g^PM Wr.`*8` ƒVtB&kU%lu0SNAʸ~")tYB`^((QjV"E'JRO1dVs>j 51V-A -\&vM.dͳ=lGV.j @k5{}#^2$Ies@I m?Q?Qp;!K(j=$#hDߊq h QjeBtڀT^8U"V|eʽ83k_]CDneą U0-RnECӛ"-qҺ4iq@{:>#SdecFooOji.K0FC@:)%x+TT9 Ƌqlh0x&>6FntbY܆h@ ύqIR$h={E,i^R^3=v34@A͙ ,{!z'İ5V4e]nU߸WJWPqL,Y)֧ˀ˖ɒх1ЪW@.&/E!MeooCR4. |Z/ `uݜe ӿ|d8) @G^0Y>hQcFt@֑s).z܅%R6N,kAX8FmgVZIEfIsZ7:NV;yU|sYvx<]Jr`MN1Jd^ ͰuBشUr*;qڙFvtx/E$,hPbGMv%[ ~B"Mb4K>M ɸ?Bs?_&}^6?P&ʓ~M^ftމEuysxI5)KȠnx?:2;uAB4H I\k_Dn5m2KdXj ( vC[|?hS@IuUݎxpٻ%$̛d ;{#2'hXA&h 5`EйOM!95I|(paWCm}o$`eLE5ZI&_b ?M1m> 㵒^f6ݹх<lk HxH]bhI. A?"ab7`FHiKYИP\n \XGռi6x$Q"an9vl ,(VU$VKp݄*0C n~wCL#KyWWtzB&s͖߭󢒓BP U9,q9R=ĽF 6a>a,e(^bK}z?k+79D{/VU[%6/K: `Nϑ:Th?!0M?W-⮘q)A> Cq mN(@oF^{A' ׵ðon>25~8߇0_!Z3g[hllVuLG<7ۙ),L.˭r.|5Hw^\^HRƊ~OBGrۻG.śzQ~FPYPB9cKpG@vY@3lpQQ]ciP8u3s/L2I㵻 a5>M<_4$A/y`i8CU<;3q+0K "OJ8}qRXߪvQRy:vǶƿ߃}z#PO*IAs^'`psGrYXMLaoV7Ȯte`~6\Kea_?Ȧwqr*!BbEX7b RT?#Ц'=`Iʚ^\3[L_iyiw.:A^^P CaeX0*W }G&[]@MYW+uDl+SuFzګ$pʣF@w{,sD UIYFd[jȼ#K-raX\ϵ5`y(a.LfL'[ǍKgYZ ;) 7Q# lHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/markup7zXZִF! -]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$PE"EbpԺw):XЅ%Tv] <j<@QlZf! wsvC:ؑ`NIym .;*oJ'EWu4PG0;ԭYbo1G>KԮ˧\uO-ugBu7Jؐ^r_FP'tnе9OO}B- A4-׍D)Dpq֩^•g𩗈bXn N=$]o?I͝f L$ f-9ЗQx5`;9lYNGQA7᱃J_xBRvG_rn<ԍcaBLyr4+%Pcԥ+Kx&JfSX|gOBBƬˤ$ W~Ik A $ƍY[Տ kLV nS(bAzbv8mgJ ds.FI!+:d@SBh6+ADY^l|xah5hzY.gf O)EZ}[SSoN S{ī=,kع\fag {xOTyFr2Iy#rW;4 L4Euͮ02Mgq!=(%z? %gfU 9 p!ƐhPe#`ɲxq,a~f7-,+wn@{o\)t}l&ˠtwpq͸mT>'n(co *+Vp; YjoqWNΦ6|M$J77co;=Ek&o]WŴKR(SaCY9+%Ui fPlrH`nsf3𤲧K7bc4{$[v>ZM;O*͊) cyH?pri* tqG ZfVdSAsUQFj-zH!+@HٌfEMo}:ߤF)ȆrLU*b:t5ruTiݍ%rL܍5ϓf-]j?k@gi[!Zp@@jvE2"&%)SK>,)c:_&ӝDt087+ngr=aH. kC Sg @3 N:+Wewڜ8W>N<ܶ0Ch 'ñGsAIQKSw{7㺌tVfl~rC?`ò^U>=H~Ҝ Rɽq7ik<?b)H'Y*)K^sRX:Jc5IVd%~ѿ?:@@+cܤ_'OPTj~q}#.;]| Rg(pF)Kp Iѹ0BU<ÑT.uca;CR)%0fnS iWPHv1-!H/Lt#Zw%huai]yhPg>F;o /dym;ߐ7Ks s*.tقY]A;wPvɼ1\tT V/H߄䉪HaPӯ%PY،X:7f!%r|/`qϽ6%PzD4<ȜrЛmfBmEBܚiF9!Q] P\R'1V\<;mfgܥml}dX p.L|PtzUC6}dfP-ۙ"QvS)M?{]4רJ 2{sg hKޝ?.h+ĥbGxiDC2?)'z;϶vFJPW)eA4#Lplg+ ǥX*>J܂a(zL{cЙbyE+UX4ѱM>;9 2%E[]@߂' SX ̤탕̘F;JT (+ BE~ @+EyiWW y(VpL3VN,Dß AA9& OˇUbL%qsfeU--Sio 0ˁg2(4=c=fd ŻjKcn}?Y_/F D+?/q/#\ /!y9 B⹍$S,PHE; XB1eT,-U(Y}I0笺-rk?ͻa{4u <+qRv(hϯPD`}Dt1s.7:Ry.(V &$+k62՘XrBkIdK`Ǵ3fe1ƕ(|Pm~ @kSW;+kef#,3g,1ocWmh$7Ei,L3 jaB8Zhq-dađʒB2n+n<60#ѱt'~Ƃ'#Ma\y/8#) .[WԌd9q,1ケ 8I$^- c~m G ]?4vV)%.՝7#ǫ90joӢda[⤢ЉPsHtkiB3vL- {SlGh=` GE {\/^;Cnj4d0~6,g k !Ѡσj]1vyP ύ6jz"4O;<'U}~y(0Hh>u)qz0Kw{&f= rMc[g`C yS`wiD::)$ěwhHFφy B3!օI{L< ma3?@bgu>7:)f5:=<٬[cN8eEyqpޕaCHq$ I7Q7!pV,rm]yL頶sA5&㯋qQm'^3QG*\<PYtJ1^_)'O )dSf{/+po((F_ID_~3*D۽O ^B'cH&(2kOyl+6 uB[vG>7$kÅgl9{=HQZwOXviݤ #M֌t*  Hl2y`qA:bfUƔc#R {^[?<8nOH]kbe5p~ʿ-;ܽ)ͪ}$vm&ݜ\Ĥ~:)x['e&6?d!4XVHwjWC<'*߰ZmI^WSO}iT54<zтdS$QDqZSo>BJxE-WY7/o rn@v cV#1wWp?≂H(̈lX@Qf8"r `+!N",.߯ Z?DJ񡥦}g]Iu]_uL6㳉Y3E@eo y@U.x].A1͖]!?8pat^&穐׌_«ёxnB3sP4' nC}k20aZ݋'۝э3lz^2HT{zI'}jlbr y*~fZ+>W @Z\ 5"z—#4}ݬP諒u5 iX!JɠV#1}?QMApHvݩo*C\JNOC>_e[JpSldNky[I3Ȱywh{>ugrB,*aLuԁ".tiC4AL&M#`⠶\3w sTq<^ 0eƸ}A|J^.!:qR|D]pT0ô"#b.V Bp̅"L[]8ZjRDdl}PT;1*r?kpu\]TM5`= TP-+V׳t{υuGU U,[qƗ5&Vp#ޙ8) MUbm.f4U g&a/.MmR-jEn90w2 mV>y A{7OoEaJ%mZpjPngtp2- ^E)R+$ˮ 2Ƈfaf:>U&M"?%QEi1Tz<Auw ކ^Y/\ЁI}A({ 5~j~8Ub=T:Gn e 4&InqUCpBi H\uO*Hitmˮ[x1jg39[UAH#Y1|]24Zk/wmUzN`5tLb4i3C&VL&1[Oŝ_%5HP闼if17qyDZ={SgU%bBt {DXubԻt^A!1܅nGc2T m,nYsBh Ydӣ 8eү*Fbq"{& Ũأ)x WJ9ӝrqbyI1TRz,'IHYH.ְ& v5vam/!c=´iD rF&Nj88ʝ^vU!JAiWY'bd-Fc£VNb14k_d}+Sn> mMZJMN\ ,ĸvB2chzꐤ%{mja3wO$7=;=D鞥u@G$d 4y+A’ϊA ~iTl\by5䣎agpYV_hE/7œg/gI!BlU/Z4;*b"X˫gޢ<2  3DX>JoDN#Dʱ@JUQLCfH3FsdBۺHQC )EQ(+T/T.V)Ow&ֱbr-C$YG R.~#D4F( =}Ҏmpa<@ksr:&-%C_IV^Nq5y|u.~;aOS4  wdluEI{TonnvM!W ѬqQ<#`S ےzʣclt_`dzQ4ZТ5@ ԅE,]Jp4>k{K yz4R.Q @>H)]c@ rZ7ϱgYZ ;;U/7Y-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/document_id676w.7G' lHOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/messages7zXZִF! om]D?7 {?:fH\dޥ+=^#%UrT߯r}l)CJ:>ud<[Amb)0l}xF@j" -up'#vuBOh !b;u_?X7v-gfTȩJҭbGzU>zl@:_ 7VMwZ p]Ċٖ5K%֛zӉg2pPNuR ںs={ Sd/)$'Yߊ`ί6q?Ƃ xBm~0Z\tj-(IƠB{lQ i?oDUaHpwE2:ٸAG{LڝgKkΗaLrVt{%0d"߶|G %HlM*E0/Ѕ[5zv&M"4^˭/ur#2=Lq QǑ"&KPb,݄u (sigm =b*:״n s0+)/Tע[lp[+ luJniK,4I q9_?i2@_RF?)q)|BFl;3D`5y}墚Q] BGfCN;7f/a8Ԑl0"|pPG24 2KT5?!hqe"ly@E] \/l4sR$~e;   eA;<_/ȶ!z,m43$V5Q4W RLm%WVQ\3S;m};~vbXe %Ț I“DV}YaZ\>Eln 8s٠!OfS۰Xڍã!ŢQxiI'nMu.`;3c)g~뇸ïfJa.Iݞ땃gpcBg My{͓M~eB/:J!7Է~]?F֎~snb[m+w|a}Wy mYCIj3S*2{Eф[ 2R>ɬ陱 Һ?$ܞ N%O,F^SP@.Rަ\]L:'[znlwX,-6O/;4g8ȗ/d7[)sPi7|4^2\/So|4.2~(_ڱXYAB 顮W0۵K:LfHQJĂܔX YF@*sѰ&!n/]iåea"iHوX3`I(Qi1z >Qn昶Sqz* uŪE]1DmǙb+h+,8)2ο 8!f.L4}AꍗPx1!*^#XOrʩ!ܲ5 J_}~v11}2OaxC[;*0d蘢++ ,U$ w _^hx&qve#n{1sd q/ȾhTw$}8)ϨZۿ 6g}rbv/iLb]B 2Nd։fסЊ6Awx0fԵ0~OY"HAZY=[lA[| #,%\t  WZF/K\㹋E4ʟ<>Ai'\/行5RA.oOgVI:PL3x `ٞQA%e׸*GXs_2nw< `lٷvM&R WI0iQ>lݔ҄ L7ECӀ@!'mL9*ɤEvjY+}H0Ohw$hj.ZF&b|v6mQ%0']fŮc79#;d8 Y^! xKOqkɒQfpm( tG։~Jr\t R9)ï<+bnp҅ ,'o؊Hf|m1gBl`8OûP {].[>Vxsb^6R/k z(G!x5D8z"o;n!6ԝ./N<~vⳜAW3u lļIJSO| rWx컑2\׿wdVɎ7F!'b5Gv` ,K`6[~km QxvgL>?]"Pq)^Wߐ*"E( zJg_%+6&?gJI=_#P;a v-+|U,}=OxAw4uBwgĎ@uY@ 7N j_"}FV4{DӻtF!X]I5Ҫ٫4_\0-nJJ?q (/n/\_FȮb+ꢵ&{I@gXHe9i`g-bӄ҆k!`ub8Lj~Cܶ#-.)x{ʼ@) v#p@vY\×02.h yNEu6Kr7j;= xU#З,B:ޫs#LTN{xP37m'DONʬqɸАƼ ˍ' pY37a-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/document_id674H27Y' |HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/messages7zXZִF! I]·Iq n[:|&[z&6nL"MפcћG-ďGA/j-[~vjAa) U!E ܜq%|HNH/Bl3{ #г}1V}T VB>I[,C',`C42BF ꌑ5(:O*S,Q#\ҞdZD^*b(9UU:N7 {\C ky>s" Ů3N)NiQ-:L EH_+XB])YƟZ Yk |H!HGq2"td8S$k(yNYI7((R1\EwױK9_rHؑV>ԷvAtQzD \r@u@G u3/mڲAfw+\JD̀}zH+vD@#!wт)hz^i)Ar<<3Ғ>—\(D`eY]# مkTZK± ecmALT ${imltù!ʍ% E^[I~G */5 &>7FB$'N+qsἕg}M:a/K{ \;]y*n_L H4ONSkcGOSV|op4\lw༘FLM>o,}̾+" 9j,ϓ\5{+:x2W?oڶAQ} wբc9em2< ϋ0C-RMpEIX =^أ8x&01W^׶,ڇ<0zjPetݿPc*x9:0D;ҧhnvw௩fs/W`Umm߫F:f[ZCn_RF8ooA:$d}Bng ^܆$-zsg޷VR_m(&[GhVDžC8y|(&}5{:/(dj]\h:_-삽}w=hVrv#n:gBvuVY_ ӓ*CgYZ71 7Y# \HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/markup7zXZִF! )%]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$OYq5ӝS STi |/aBwPL2Y˗{9v^jGUk%>Dj?nd%4{lA!|z7F]/L ܊9h}_KG6~T M\)-~8f&GG|@ 9S Ik![X^GCk3UPEcnbru#Y:KNe`nF=T%w6|M5v Nd" +򮇺z`KM 8{ssE2;]e|=[I=릙>YP4|K~;!upSxׇ,'^{DE+R3#ir^&YB@!o** 6 NVW:m<4Wײ-'z AL7ŧ;GC9w[uvM-jS_P8di (>L? BM=hjMJ\CLKX(GGr2E$} "+@ѝH^N*X-zMi}]DDd ‹r&ǏYќ2 1u;˹~ԛMzPWyxY}Ż*_N4YQ+]rr< wyEi+}k[ǽc ε::k2"Q\jg+wsHGs0^7j7䔑+n dFcq} Ȉ33+@ҭشH2BL?RSƥ#auT:^\r \~}جIX^xfCZ@L %۬?0**lb^5w*k}߅PE 3 cx5cpm{U3e?atA>+x 0*bOQkj\me;zS{ V|:âC-o*$@ ԗ :O} :/\ ~k|g(~9!7 đ{[Bʤq8{{*{F֐j0C`0k pyB\\nw~9uH%]+C" ߘcl6%ڜ\{6*,_B9Mz&ȸ_Q׶ͤu-19ߪ3u ]nѹ ;lâENf]˔vPtأ+|NJ@EwiH¤cKQ6ʨu{1{Izc[5 _GPYeo8dj^Xzk qQpWn/F@A 1#>ɘ|Pb)WNX kt0 `,Bp/™j X#|,)<$GU F꯷ig.;$,HALǚWbHXe>y~*VoOժ@l<1XP0m&(X8ܠffehoh;vz> dm,'z6Ux}]C*~z'b(NtN  "C/r#8-:s =c@D1ɾl= 8|P˹UԥB?_E=3qY%AwݿRgg'n沔 ml&RZ]H*{|}f\Tj QTgSx>8zolDqA/U]wfz\)|ˍv8 7Q;_)//PK)[-r M3)U$RL-$Y\ZAbQ(DA[?¶i ('!`3*=o41y=_ K?7cJr꼳?Sg wnw&=qp55pW``ʿj[qS~~3{?9/Is4iQv~̈"J㭭PﺃmM.*Nmo/J 'Y;MsD7H6$5uKhp9Tu F7=]NįE]/nL[+'Į@LGl& ˬ3EauPd% wav@ 40<2i+B[y? 2vt2m|tOMF?yxWkhkEϲ'ߜ\ }&)#҇y(".IٛH|v 5q-@=8Kטv՛4%*& ~:?YK !`Pl*ߕh}e,%HҚy<4DQWʝgX![,#2eu$TfiJgqflzǪLqڇ5ec `D6F)DnxvCT瑥l va\CzWNXd-ho2O>%*@*FӲxiҁNIh/wAף4eB/&;YK}"cvČ-Es=h+5_)"kW,7]778HuɫTNJZB| :0Ѐ 1չ](oÎMF۴ 2.G)Č$Y_LXЁnOsXہC·r9Ds1(+zlq'+n?IEX>JDsBC3NlXtߧOKdu(2q%uMgǨ~#R?>:`Jjnxb³Aj4{eGQ1EEAp߃2iZn{:ij>GRt_Z-Lԥ]tcY8zx 1;hMfRZWnOQKYeR-zᄚ~!*c,UbTA qAO{Y-8bʫ Wp? ހ oD*syj,r9qLZ/ 4&RpqʝTֻXn<MgvQscrs*P$5VWUkY4X؇=?y,k 4&eVy+0bʲF|&D c4ڄM`D|>KjY(r@  iܥ&2je(ꙂA-8ͦ&Fu'5߀ϲ6M<r}c c"rˬj@nJ ݻݮv =\+sc>IlDd?rxdO}НLPRE~|@Dx\Oa;P]b3 "<] ZGX4/d]D O4TMB?Mx*-݌Q@'];3RAlBЋռDf'm c ue[[ 7r7&9w@xz~Ȇ.KBFw;T% {u\2 ]eQ8Y|.rfh.WzS#߆%7XE{7םgJ؆fio9K٦wt2͎;3}2ͲMFXS(v%$Hy=zUzO* G̈AgbY˭];^ز;CR/ByF(Sz!hW$K sX4Ri ;T.RSGu:da$Ie̩nn}f%~CD vZ[!lS!4\k)"%{"yXIiuK6~eD.S& w}yJn`tupߤh@M|OV$u>qmf+`%/l~~An`|ɘye&=,iND +'I!^礗ߗnNz^Ҳ.jFȑ,;=.)wrJfJnP( ~kh0Q& ~2ljh’$ע4:x YѦܒ!ݝoXI׵y:`E5c>zF0C2d̙OWgT`["E?* o2WߵHD?W"sݕxKkgB)зj0Pg*TTLI4 #ꞙ :6aÓsqOy1c nތ+~Z=#W AMf D,LPl̚;0=^x4: A}$j|X"` pqO/WAպ҄U`5 (x4'\6&ٍD\FKU`H0dfòB7kq)_O:K8ڮÉcюG@*3z6Z?X}ӦOۺ~*&` f3G`V;7:JXS3jШ9?\ ɐ'nHCNZ9zտJe;Q*An(b4sQUe]\%mB);O" xu*fb()~r? vj0g-r&A1F eIEӨGn CQ}+3S{%i(j9a[QXp# >Oc4#m'Y,ylCD#cf\I UEN{U>Jsn TXe_@:j¦H_o``+p쫰{u}Y+탖gN e"BwiD[HV8ڌDBVM6q=8XAߴ#{hF5jf ˵x}S*%GK!Qk C9"A#tfCޯ p~ECMT!38"h(;=U-qA t1xnTQE!m '3DhL|g/wSMZl'ƭE^PƺYTJPh6^ssSrGQ2{;e 4ʷ ߐ\}z*Y:ƃnW70 uÊ>b`!8R|f1F'xڱ5i9?C՟|靠eBC .9d':7T;)F-?61 x5b7 9z+e_QBK8g1N;$׫GxIN.j6*SGDZaTPIDz;\FwcI{Iѕ%.WlѓS:Ε{v d6ifuqpB;(i'neXIݬ"5~ffW] |:$,1խqq_T<ĤdznMj4'n#wۚR߲cw+DJJOLQFhaѷ&ل1>yyaJ PEn,Vj\i&-zE}h+ޡogMPwpp燡}_=鹌 ˄-W>nuV\Ud0M0X"d$+`[`m?H|q`Wf¨\s/7mpQwCbņܹϺ02oɛsP+8_Oٷ[/\ DY^ ^WE+!\/݃x\SȋX=% "LDa#!%B Uʰ'iZ;%fJ9 @C|(jy T撿{P ( R0g@I)s iv.NH67|˸: Лz~!BsՌ<4rcMzg}r3p~K8M( 2yLޫ#MIIdRp"A{f?owM^ld^5̧tp.=p#V3q&.Ug?I-?BipcGƣw^TQ/v6maDffU?Lʴ'%|n0B vW%jD6ǺLKVY6ӶY;BPURbfjYJ佩/1Q[Xp\=YZy~ش~֋Da< -N^զmr(BnL :,)%fH@qFC'yDDnڭ8j,u[|}HxcrY=dg.h|y291FyzCm ΧK 46& k]PɍҫQN{Fmw~os+ĹFK+Rz%mfA 5qdEDLє nYQ`,{m9o(Z\[ h&O6ABZa?ˬNٛ ~_}UwWʗQ#640zOߗEvR[I*OP#c]2 !C {0ohP%Q`Q8*7bh֖ i2Ŏ) B 11?:3EvAҷ{ ˄y#Os'c,}MTqO(UT:D< [*ZڙߒH9ΗQ?ʁD$oYsPyĽ )n,Fֲֆ@eA9DN;?"M˝Gz[D27=:"zMJ[[̒LvHfd=:(dK p޺Áixqe~`uU#=4?|3U$1r?V: Sumn7j Ө[-n ϧB 7C8jWe턬md]&LPF!vMkSn"7ۆX Rs3W|>6b̽LY?'47t-t}Ο$wt߼_RJ@%$;!MEm)'ڠ{s'{NN5ǜZlgupp7`ssY,I9n@h)Ov;Y߂v]/,]t.O1K[`zќ:7gQ\euy4LG' \c)| JqsT]'t٣IʕBnm;{(۞|ö1WOZ%N'ğuWq\Ɛ@s@,@B #gRfe"x 7aAtAFX娮J|Z(Qg*f.jReٞ!9 .: 7S Ӄ| ~_p <?[1봺$:k2)8:kmt_;BM{ ӝ ˄8HT o'D*jPo#J]鴣TVSY}p.T5@a(3Ps2qb#˘B%nt{]`|wj#[ ~uՄߎ3ONQ[z\[ &~o#{oޔ2˃x s~Q/i9&1,{l0 p}ɹ4#p6۸}`"5I/2K枢>m¬E,ͮEu& Mvែ].iAG}ւTA Dy'Uj/sLIAy]IRN-cuܧ0OL : f-‹*08qё| Zm&i:e1rA,3ka|G=Ir/ s uBMy-F7m_M[^"SĻQH`+#g;H>V*1p֑UL[[G:eUZrlI&rGN޺zaN_& i!6>pL4V\&z e6KNڕ_t:ӗat,/;j?c;jJk5N@3-N%;]P*C M@M i"ZxӺųSٓl -սDy6}wl]sǖmU_ 5]Y۰x! fZv?˥s,:a,Axk/jrbyQ!XM*$pwi4>92 ـ4&s"hIk^<ʅgI2/P4ofc?^K#bmvMA+lUOc`(9hl0: Dygn=U 1o\et/47a!vHOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/files~~/src/HOL/Quotient_Examples/Lifting_Code_Dt_Test.thy  =;h% D ; e i#q  K ?@,  E Ia ^!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/files4U7a-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/document_id3:'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/messages2L7Y#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/markup1K7Y!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/files0Q7Y-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/document_id/E7G'HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/messages.C7G#HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/markup-B7G!HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/files,H7G-HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/document_id+*'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/messages*H7Q#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/markup)G7Q!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/files(M7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/document_id'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#'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/messages"D7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/markup!C7I!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/files I7I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/document_id *'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/messagesH7Q#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/markupG7Q!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/filesM7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/document_idC7C'HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/messagesA7C#HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/markup@7C!HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/filesF7C-HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/document_idF7I'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/messagesD7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/markupC7I!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/filesI7I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/document_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_id AHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetdocument/Quotient_FSet.tex^7YGHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Messagedocument/Quotient_Message.tex N7I7HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Fundocument/Lift_Fun.tex 7HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setdocument/Lift_Set.tex f7aOHOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_Testdocument/Lifting_Code_Dt_Test.tex L7G5HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_Powdocument/Int_Pow.tex R7M;HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListdocument/Lift_DList.texW?HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Intdocument/Quotient_Int.texH7C1HOL-Quotient_ExamplesHOL-Quotient_Examples.DListdocument/DList.texP7K9HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetdocument/Lift_FSet.tex?HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Ratdocument/Quotient_Rat.texE#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setcode/set.MLF7K%HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetcode/fset.MLG7M' HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListcode/dlist.ML  t/: ; Y ) J V n  y 0K7S'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/messages:I7S#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/markup9H7S!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/files8N7S-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/document_id7R7a'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/messages6V7Q?HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Ratdocument/Quotient_Rat.texJ7Q'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/messagesH7Q#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/markupG7Q!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/filesM7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/document_id^7YGHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Messagedocument/Quotient_Message.tex N7Y'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/messages2L7Y#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/markup1K7Y!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/files0Q7Y-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/document_id/V7Q?HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Intdocument/Quotient_Int.texJ7Q'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/messages*H7Q#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/markup)G7Q!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/files(M7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/document_id'X7SAHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetdocument/Quotient_FSet.texf7aOHOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_Testdocument/Lifting_Code_Dt_Test.tex P7a#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/markup5O7a!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/files4U7a-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/document_id3N7I7HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setdocument/Lift_Set.tex D7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setcode/set.MLF7I'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/messages"D7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/markup!>#. #b6U"ִuPl49bίv'M&j*G]u_+VÏ.iWL,G~i+ {H8ӫ U/Z8;Y,왨@^?%J[՟ l e҇¿XgG"¹ݣ'u¶YCE) -k6; +c@+`PaxHͥS›\=4Y4XDGYٶl EXW!z&ԼS6M]ӳC$B7ʥ8܆z.xMZ˳(MyfUÔ [ pTbsr  yS94a4r)f8 p4O)RB2RÀ1>sJjCuZeq\M !Dz.HUr GuF2W1d P,UpeySzfi ^G$2V| 滔/7t}?awעobӋ2Tjn)g ;@^HXoAn ,'Ӥ`qeB:(:.XPV4Hܿ'0ߎH (1)$hdǾgG=Tzƞ0Pp'nlBlcX5+o,_ȥ>ǁv7 ׵ !aZq?rHɻeo(Sbn6W0hJ0Jr ԒA}!fnֱqS3A%x$'M&gjG975C(mmAx Xzꊢ+G3(c9kqHTrMaE9Mi>y䷃>'j]/㓚: c\త*g\{l[tI]4:@ rb% kIטPpodGZrefMx}Vb "d2cRU)$0;Qg'? \,/_Mx yPʝH=MN#%{cs<:+'Lqflߝ%IƘ {힙rUc}S$QF^klIE_'_K~)?f~ mCD!a^^ۚ+w*FNv99+vm\ml gGߘK~էnUmZy['qr pWM LeiVo%Vm5Y%( kB R$֏g!vяt}OI j+~$DJlv—"gzHr`M0}&'O.qьΫ0N|r քM+p].`Q4NhU^dh³?3pK pA9D"D#]xJ1]If!7+ }H J[.K>W+6ϥꕐWnǠ" w.r`WB@&=1=At\)nS4x[ezVzݫvakCja]KH9C .¼dWl\aJoh۱7 zkf̘?GtTdgC? R(Pf6Tbh[jO&CgiSikaˆF)OBӫC_m?Q)ΎX4Ijb X~]@I݅1+rQ ;;xUNYdfPwdm(\gc-!)tx#9TC&^Ĉ/7c4QO}obR+JB>INFRI86+U#OQ8Z)}nq~ɾ~rTKd\c}D֜a]'eEQbzA"]D]TيE@nT[7"xZd޻'蛋{ƼtL{rvtr.;p0:97S byc  /8q7FJʦH.ign_r=O޼5+F'raq?źK1IxMFKrf 9\v!T⺰f\}N8wT-j|MtNhsɗr*ݗ;s2󣟻EZ}4ڿ_''kwK]ӿyۚ_eEQlw2O}2TF'9Xt?eMӤA(MwPKF)ͣ]llfye:}jGdLw^Yihs-SbT%T3tI)VcsT8'߱ȾǞWn/gAgQ1ЍQa]ӌIzl7ռqV٫^`D&cz0r[ %9ג0asS>B膍>m[iB2|bϚ2R3en` rcc˰#UΩClbfXYȞ Q.I(U^Exd- 3ªNVy]+ƀ<vk Q/ei%h%?\/rCA<:bK5&gWD1C)NOfѳSbm 87%yԡSCXP Lp 1Ҍ-kŕksG8}+3B a~}B "ކ0;,ysP JcH6S8X9؞v4?8%?y9L*(Yn2# wV[sYr 2#'s wVWa |-(1>] s49K+=8QB\ȐxH6;OO|vDa{#vH@s~Ņim"oM$"UhPIr=E&[(J))Ѻ"ԚZ`DlDPC2ܸv[XDuk]N ܗRaPgA8ys+۲Cݸb%UX_w{}|+Bᕂ9~Scwώ$O|b7_p4_u:Ήl8^5Uw ԰Ʃ}UsDi[qS:6-Ռl_eT6llG{V0zH%r':KjWc*vgѶg .ڷQ^1.Gt]0l 7nґt[Zo[iƫ6c0^0?uE|Db[@k;o0'I\6j1xZB4SY6#ZKgw z"&~B!m^in)skI݋5 i*{a*"F4EB#`yn%])e0GΕ**l1w87S!hHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/files~~/src/HOL/Quotient_Examples/Quotient_FSet.thyR77S-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/document_id662$67a' ,HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/messages7zXZִF!  ]D?7 {?:fH\c)`" Y6ɖnD\ޛ ^Ϛxv[\}}S]5o.OF\ ;#\) Lwmj@8jD*z,d(1ܥȟЋK][#%8D)d眇HXCqTka:Q):~&RzMe}`Y`uDae0p?AIYAc^LP,e*P"d%pWO'! LFQbl b߂Fą'z~mniL9^1""'[rd-ad qqx6#gB0/v ɧg7Pc_3_|=k Fla_T2G2uN{|( sK_y=wH9Q lo|#[hb)RsD } _ ;5EH!lA +lj7OeL@)Rxc.GRY%Zg WMG]<ϻ@d~\)-a4Pxq}A-!XE9~c\aiˌ`x>[^fۓlCm7{Jazn$d/6T29""JTȟmYq^'.gì^1[$dR9;TdڃƖ Dwř0|B̹Tp (>߳O7 ̅t\ QM=xrraSvY^`Jcl}翬,*<[abyMgѦ]|=!/JVEyvpGuն讠<=!VW'sZ5١ )FqfaI>\M<1!=4ܠpZvn!&̜T]F3!o#QXK/6pRбgYZ23 C/M5%\0\@%iz!| BsVd!>XjɩërvCE3$2|F۔=!]j2//7􇒮n4Xh1z s5k,/$=_7CO.Üg*VrXBEU[$|ZDTǔ;]&eV l^zB@ذ=EIxdW 9?FSF.Bd!xy`3ae'&𝪣KUBU_$+P1;:Ȗ7EoG7 XODctl;uMrzu/oYU:B\bA >/s~CQ`k"kɁꞈ83*<ﴸ7!` SP?>INd SWگR]wI aDZFTNȩN 0Iڃ,׏8#2c4kn }Κ$t7aEoC@ Edtp4Ok#rme?9͵Oςppkոڛ2. a[vT#Í:8O >'OJ ]8݅Q-ȍ?L}v)F!Qesz$^ "#AXJѣJu̥1 q% m؝9QOܳ s/]H68F3J?o3Ԋ5 a3xRm=dvW1wNNW̰D9[`OɱU:O/gJ]5?JϾډs*]A+R7iޙ2T.Rn'.!cOHK4dH!<ZñKb%l#Vkg)Qkq_ ۢ#M$ũuҶN qJ6} \}î~i[yީ=_sNH}K~Cv60`1k%y`ԧ|RTË צdW 쇆 ^C HYոv;gG劢6І5MIU{xDj.Dr1r߳|ӱ3vLAϲ!‰'k aTn.sR:#b ҅SjiZj.=&={@CR-ߣ*tl (crVoKX 7@y'Flt>J`3mlnk gF~\g8"Xh/BzS,޾!IX2[}9GHDMm\dz:X[V?DDR KQ֨I.,`~a+a7,O$tz}Lہ k.G(@g5M Q-̦??xŪ[؅p{/(\Dzܹc.)12],i@GsB),HE7\K? X19s4Ve$e(7G_לJSeW{,XQt'{0*dZC)\OL7ezgt@q$@eSa˟EQ@7Q[G@1=9 [Xy^ ܥ_85rahD16I)ɳց ,].~|`Xt+Dj9Z$n6(ѐ уbل.lEqPҨcJڅ=1;5{x 8(YT=>T ߮ǫrfk?L7@‹,N^Lyx9P@VǧhjNJ)jGG?uo{ۣ,ϡ~ `Dȡg?V2g61 A78 PPx3 fq]>>m̾J=ϷanTE@?TE*TLZ}2u_C=QfyW/-I["էIafrE¿ܞ;;l(wW\\{}ENv[SYYmk`$Q mIq`!CHiՆ.^ka&֪V&q9Wr/PK&,C?FpڮX$ H^2"Zl;"Cu$@{]H*HBY}1lT+ Y^y oђsCeo!JJ._D ~% F[j]s7N Aʕw 3Khw9tӲyҼp7*7/(|'d(XVC%VK Rѻ`uPxXekwpKX{;tEebvt)b9iT7ОHKX:'LCelDXSgPSN39OhA W|׍Z'$53ovaT$؏Pul,!vVcYNRaԛ^Yj2($󇞻ÓI G_Y ^{'hKGDmZkeT*4liEd]޼A.iB97XL9et/4<3?z&"n޲|LsHW8 bN,6I'B/Zq|yi_D1ifH8 ڃ'´bE}G)LkJM^DB # >"n{w4G` FNZ/&.(\81VVsAg\]-Vv"mS{Hlv7 ]F2[a\l?e%4ihs 'ْWu7Bȍi/#A]l'r=dǺ,7Ņ8#Vw#$D}S>BPQLcB;2RsTFD&I _℉,tH6V^bdUlX _ŲHv%xT9N.t]$1<5>+i޶é8׎ 7:\,Nwei܃wiEmV9SpPMU slV% 9*w⨕ߧ !v{5r*$u;f#K˃4~R5@ޝ彙6y9>r7ы'FYrpQ5"wDi$c~>@?}Rou\ijIB'!,Dм3O`h}y 7.V>SԦGȎu Mʊ^ibsRU j)xg2&ž]vǒ#T4hD[@xwH'X7JRKyޙt|Xr5lj5k_v2&5Miє{SgB@U o *}z@BD4"u;{I7a,XoFF{. CfOrjVKJ2pO_U1gٷiH'hGBu6 ]^ǿ}3rS gVUavĩT85#EbָBQ O/8n}7q(EP7iCp cb~4·U Pޘ\^-7SPݥ"k-32L< wġ?\J4o3VkQ*JMEtg{t'&U`t2p*yru|DqR$SYmO-#չs­Cf|c|תF8Q{CBC^2%̓J+rWzd 1[]os#U+p4o]h]Eaybu]8, %̡jwu([W^V:f7f? ;ѶKQt3法pH3[c~ xnaVf4[WĻ38 ԃ^%Co?Ǽc(R㶱{AIˆ)$BxɬgJ5*C>.O&޾S{><#iޠ~N0 urͱ0X^0f*~AQbmRͰX=bA[f1^5j9rl%5 gu6,)yO+~DX2;,a~ʿɠe;8ij|̇Uߪ!+R5ڷn&}Jlo֮~\`M]ķ[(0~_Fqyl݋smZ#wKң?"ڐ4^[Kǯ!e7_bOh8ۏ| 淠 I1%offw _(tԴaD2N XXUn,c&t -xhlػ x{(ѱ-ZCڇ8Ŝg~0Уq4R?g]a:Aai@6$iigy*ӝ C> %o(Ήkr-l/xr6* Ĺa8|qrA~}Mc"鎣,cSK،T7FI oľ2iܰ`mA^̧0t[q HR%Ӗbg\.ZږB_nM@VC2FAu[TXO6ڞeǺl,I6JM|J@xEv@ HAvN< 4=& 5Zjf; >;0z& g?<8QNMM}hQ6[%V$V+{Stl90c1 Bow6wrN'B婿1^BVc L%Sr (SR8W&(,`C,4,BB*ApnMAżl# TvKvsvFsI5_ mǁ0b|T}и8 d19UC5ѕ}BIHz-%"ĥ?M[kB4C9ّй]} Y0P]Q~ߨ,5iB#ގ#mw+?4+KǛSS^Pf_F %6(Ǽj>Hg?xyj{FDm{ѱé\~E0"֖i4dc:8Z_As /Av SyꠝJ&^;%hk+Iym_xZQ{<׸ "WTzj^!i⒖m a%R*::WseJP|=BnwXY}%?u6~jd8jmz_AlC*)17JՃʷ-/_yۜ5ϓa#(~+Ne\Aɯ;cBw7G 5j|mKzB!-WVT8RG(+j%/9Q`YJrYйQuπCU啵 PG/O^]d Z\:CMR1!0eǛ QݒiR0U# .vmua7o)}J]+H"DvEk2򎇨S.ЖN~go3s fEA%Z.(qZu?JtAWR5L! A^غT{ޅ~me%pOQOZ"PYb嗑 & VWg&QD d!/rgXþKphAp Oe\n&vAaۈkGEk:u"!W/ˊ9Q;M/S"Q=CpKԳ\j$A6C/ 'BJB)0yx>Q'ieAyU{7wb%E b{ϐP +ڂZrC:s`aG&y,s=쬹9 쉽; \r+~[qMpr3 Z6%e$E~faKh^@*.2Zt7~o6r:""*z{7FnS OڋSt@:[~h2T斢L5 ) i3Jheɩ0x%и1w#~kOwit 6%8mY~S@ǫ'/Z2nR,p{ᬐ5zɱk?E$ϐu= YW;ob֤&[Zi1ϸIcǂ`I:Ny`s Mnuh1Nj 9> XP(Ęٰ,ĭKou&m=Hh۔Ӳ7jYKErnC{ ddků7 %N(iҒȧ^( `;+`E*`#<)S^g>~,0D c':\iu;a7UfQd]nE)aXr-v_k^?&,xxj`I]h#q ]0w0Nt~8-'-:R0"g+biavc3Tʻюu ?S!h5q`L=א B5(WF8@^% )hޔؠӟ T6NbqX U y]B^[ w c=4{ ƶ"ivMMlq"cVi\7X| BbfV\3F2RO\A.jE}"1aM/" 2!PH݂@Us]\.268ZdAt~nr\9-?pKqNo23 Naŏ|BQ\Yѡu=P!PO4t_J]=C~˳LPeko)EHOmp!A)Oc7 w.7E=#)\u 2D]YH;ֱ] _ꀲ <i/fqOt͕} X]0̀ZUG`|qch/g! 3*Xxa3乤|;>&d-#8Zխ/*:`[RF_(Q QDU{^La7Gm/z$6cm0rU)Cځ}V=0ktWqLAtܒlco0!n1*2Ao@peۨX3@sW?6yP>KbmwNz"q;o knBh!B'h[Nbem&DC+ws>-IgQUP%ň]qZg^uΉ{O ,M]OzJgba9RNzq3/eJ 8Za(M*Mw1*T#it5+XJ%L5C aeA~B|-«z*m=y$Z(y[Nxy;'Zқլ`G_?BPkؘuǦ[S=m憼x>;4Zb 3eHẋ6Nxp=vee.ah&gQ3!VXg O7.s,YkJlJEE.5YaFj=?ZHK![+j&B ƎV'{V]ĸԡS0s$%3_ᮞ)< Q$n6plQVe[6VXm尐iԲ嗎95YO(iCme&dstr.O`Iy˯z(xXw֮iz,OH<`t3 ݮ[*i(MjZE!,'+-BA&N[p/|1ZF1@=6NzB7a&׿&Ia%ڽ#B *6ǒ_FoBѷNO[0êNIV})tP_{ٕbC蹍n"JgËjZHL[cl !O'.gIxԸ@ѐgISX}%W@sEMwv"/F=`ʶ3JTS9.2 6,&j!3[pL6AP#u~./%PfgisHܑ7t(b*g| Z v=lYYPG[QKD$t;>s!gg-uff4X_@ MFxpW3"[re~H[Eַ!H}@NE[G7 'aFTgܫV>C˭'s1M_͛4u>S $yR/S]80c{S~Κ(RG܋VI\6D9j%wc'nR0 vϨ]#%X4H3yA*jҲrSaᕖ}2桩nTܳ5#r=G)뽎(?C*C*\D5S mCW|8ΔD_8B}WrBKxJ9 \vẅK6;- ǥ\ t(-Qxl{IMo)hg gQ|!kUĜ*YnR9~+HtZ YbԦz `^ӈcT5P$a1Tחd ؄iFnXw~q?:=rK?oݔ70臾Nb7!!jbX6ݠEru>1ʆC{5G-ޚ,+P|ه;A֘pnMqR"9fOX0hejl#ͽ,F>O.\Ӣ@_ₛ Fx]-s,<ʗ|:drjyKjZK96{Bt"<1,-5Vv ެJD ^2 [= o]SWԛZjyt3Bgt@jωޒDAV޺3WHӕSP"J2 *I[xTt{ؘ?nkqdt VSX Kt7"j#Kow~1Vt}OrVմf!cΊ||"#m}S52Wq r e9멯5,/A$ f HwiP:uK"ɸ<$z, B)}n=׮cτ""`Z'yPzGHKNՏf9eX+.o RE7BxAV3EdΑ=`:"d/Jjz {<}|G^G^'1J5em.&u2t`:C\ j_|$p Oش8[3?zl@9 hw>*SA:?'w8fzӫ+?pc ھq-mntck h'CY+,:fg&(pbEH𷀑w= \r[)"d[<"UAPg|w,|zh 'e&EfSN/7^&၌Lcy9T6H7$CyV/Uk1A#sPP,߱ɪWA|M a|lbPi/5ԚR PP~3;RH+K(Aj ㅟ /8j̋} > >H˾Aʶ-hCXyU1V1aPFU-a)z!?̴LrC|CM V[gNfNhr'5 CD!DծW%G3BYMPbo 4,b Xߡ=.V9?? * .(rCXrxP/)HҽV\?ZKTgJ Fv(DXk*2FDB e{)Q5&mf,<ҍ`Ysz?z@dvpG8Lt:ξ#`!CnBHW3l?stwsÍ(5F=# Z^iMO_6!*iBEF` \mLh$mS<#I؀lu2|(5࿬RpppNX"QB˝E*=U(Bh3> Pװ*n#)V(! jՂ@wXx =/ԭkѡDL^N3KvEJ SaI;{4`c71 G׭vCQ"/)#o4nK5 ok|tC@"?Պ"F1yƀ6.xכooA }2ĕ9 3cmq#\}@ b`#v6LnF7qRhH΍6#kgJL!x<Brjx-tjU{Zmї:=.7՛y5+*iBAr<aԷ!b2P) mEWQ77ub㻺(A UiȃUBHZ b-ʭK9;dE|x$}0ciJT+VqQ6AW D) xGp+'lKI-e?MYgk'(]+hMZP(@׹@,T> !GXaA< ˥nZqmRgm}BͲ)<ăвSCk%:rמʰez?Fwxx^=ڃ˒9 -@⬳&/!kO6bL]TTu960m֟ k$nJzrBC\,PƷA{tS{"uf|e#Lz{q?y}Tݎs6{d&18/\Q* #ة1 <2n~ ]K_Ϩ^(,39ŗqvg'Ies7NVN5D-+0iuBpQs+p>YYi ctm&r̸:C6Iw<1:,8:Ujo$l,J"T@e \W(NDz=2dYTB.y/v{P\ሟc\,yEME5sv1a+M?LS@̶Yn *jW"CUA6[_氅_੯eLm$` c7SIrP&`QMqoC sћ -Z^g٩C~/"zT 7$?$|^R'f0-M'lc;@G`NN#.:Az},ؠ/QH_j]7O[,;\aG,KtOT۾qS#IP=Mѻ /)x#iMp;[c9Oㅳy/H칐/Sy})F؅':!rwZN\A0^{Е8'VwLKݟy&$6Ϧx2C"&9ieeUOgT.  j kDmo8ߤVi)0Tf@xÕ̇O-QF7џ2bl&?| ,_IvvW^s0R x>Jf#AgͶ6Bl+as,Vejě9rm/ S:Q$4;4'8) b->E7ٹSsyx|ąmf\/.MpwrV} 13M䩁rCF¶1$k˻ ǡ>%}003d`S[{ʳPDe.Q |@Ȁmȇ 4[J[* ibYoК@fRr}]R24N2W<6S^li@/^Lm̸h℃J:d/<Ҧ~f$n}l7XfRJ^z7\yh;@ktˡ^MOڦH廾 x"ba_G7OH49c_z*;C*:v~9.:!tiLJIRiQ 0PO?B&o_#(^׷w7md:bA*1:xs<<8MF| |֫ ҍ3sAzx+I^w"SM)hmKYoKUlODV({!ALEP}o$ 4/qӿ 3߷S#^9Ykw; pIHvu[<8*((*qSGNaH8j4Ã\%}4Q`*<`іogwEIׯT(J &cm?1 KQ<AO7Ӎ:v>ڽ`jU.m[KB\سjD+Dn챕YLK 3}醕(^՚&M.~6%$MiYУc(,%tCSNs ^3Nwqvzpl\#A;6qXTQd xwu_*ZĎT=V&LE'{dȺG#~^R 5`N)1 $녠dJ%E_}j~&<4 ղ74.DEm3lO;= 3\LW sO/k0kkV;s }\M]x<4U-Y~¥|1A~X谊]y;z4HK^̓I@R܂_<}/Z/\@hiGgۼ;1}h-5nv [#J{|*pfak6D"DIw Z#4L( ቈа 7.Lc}Ho]ް>rVț`Lr鈕 \up7SjT;ܒuoҾP73Ur:Kd(!&@6+>,^?|[2[VvF]BG=GWU 69{>z[դ{}Dw"4 _YԔR{:U<"'8R發G_6Jp-۔ySԥ9Yi͘~\8kT$b{-l?wO. bJ+ w"a 'hUOp3_UIGDD$ZI@眖?{(Gq#[FC`npm!65bEhGA SIdlJgkeǍfea bx[ %ۜJp[It0q6J id 7ܝԇh̏vˠa+ Xm%^&RH{u;B;8빞7J(l7b(Ƴ@]('P$Tĝ&wAsA=sI&b/@śƺ]%{DPB{'dꢘ~A5ˈÞ"fj`faro.zz9bKjÈ}rvٟO0 #s4<Rᇷo8IΝ1&a0uFDHruܿ> ;B`3'Rg06/d ƅqZWǾ7oi=H/G1R7T>fc)9MTh+:.Jj W,U}sez΢/;J'q_z*'7!1/ʼ'*DaW4j·D9V:(*-B>ǩauM:av%p[ sb/Y<ՔYI2*CھL=V C4qKR(tpIp CGt3Q?֖@Hq *Fv['kcBP3_dv#f(@XP+L1iBۣ'>h22KD_Kll *G #ɣ>\ʃS)3aŰb%qy]d[rTO۔]|pcݷޕ[\ XmsU-xrs#^t 44WC_@0ҖZۋ V=Of '^}[* {L~ܵ%xN\m9 2a.U]=,+sUfdвj,U3#ӝm>(Nǝr@c>xQ8ٯX{7C aWL0xrmOAWEʮ"6˹i: ݈Û-m`/_v,cDݙ+O0ш+K.rL`f; <}-%+׳D,?˝|!D\7/PV Ą:E%[\4n$3Ok;O4vЩnv'.Ed)):3J Ʌ%6j*CR/^.!b|%sMPģBXoT®?RyMTZJh$̙{q"$6+P g,P&|=6)Úv1]eC~Yos׾c/eMl/?F'156|\~OC$399{jЀ(![GB4"]iyWNn #`I_գV-P"ԓb6.|mf鲹\$O/-Mal?4)}zw̻.XF\9h`4Qb8F|aTJ$ϸ}~ /FʒK 3ÐT1e|k@8,ir0S0db=/67$^j3]^/hFR7-yDce| |hC 1#&*u%D@*ݻB7Y(i*~!ު ʼn1ǭ}[AZUG϶6X!e'9+7XR=/9mUB7O%J%2ͫTA? xcc…x"Sh wI)Ik |G)| 2oAO|]ƚ@h ]jakq͗I?~nㅼ~è*#2)Q{PSޯzאH) lPx7P5&bf,OIUmϾ䔵'.-cjWLrf{jXn x-a/^r Nb'ޚY 6'(%Wh8?),!@=Cx5Uu̱=\}KH=7g7rp*~F~97gp:2|Zk8,>.jrLN%hysCQ1Pm~?(uõ65']0LKZ" M#o)Foc.*PP-3~[ݘc`fȥnv1R3%Nu{#iX+edtnF{"6dנ@tŚlԶڥ%83֤ā%ES4ʟg@&k<x򜭲nW_1^]%V[Ld8`ǽCfƃ(8ڑh'`E P ENjUY8\4(Ax_bSϾw2ݔEF@z/{(LHS~z% &7Q]Y3;S6!zSCh+8 `Dlϫxʐ1G,@uӪ06[?N= *jwn)J(^FPG~$p7%x05?+gШI '(AmbopgwcϡP`4-YWR.,+ { AKYKSQ2z4sj x'IаaDJ $rS4MQ{ǃ[a]2AA*Hz^Kµh?KXvXA{z4,@h ''847L")=2_^k3SDjYo+GםEjZ(KvE8tȟAHF^J¾٠]߉/k۷^՗z25N:*HBiY,?Ö=mMOKj+|E]j}oO1:M yEZ_ſ3Y?HU1:xxY^g{ 0Y6+=e&QmA<elŠ3~},^FS%\[%ťn4m)OrKs0ċKq]WaѴ>B2KP:~#^ vX*Q)$ Uje~pN3sjq- <͗ {3Hrz?Jew f~ms=g?ʓ㠶 }Qj3NxM:)?>X\LA#)ӄK])M gx4eea _J0xޛ@wC-m^ƯGI{j@e1xڄ3UJp;XW-ԧ Lڄ(¦-g74Iplʐ,j|^BS55J-'k}]aN|ɹęW?LwWhi'$n4yQR~*ah/j;u5+E@Kb~Lר,ZU hc<[gPt.'Yo'7O"hN{ZٛJl]$.V{.%Y4umF=j1zܿ<0k`t6 cN M:7mÙqGzPw, {J$_Ne^hRV՜^YѱE'g,1 Z%`/8eoNYfkb'൉V~xì[?E{q%y7vRbِ,*7cs; S{Ei8=D+Uɪgja'+(A݀w>:JƔDh]бE'T{fzTLE8b3=\`Bdߝ\\!*Տ?2-El[8VNƅS Ri/y0LG(*.Hc:`0su_-7X"fbp9A,e]fXKzK:b~ ;Kvz5H.n  }##,>47Mz=V >ifHFq֪?ȑfoְ IϼL3%JEYHRtB*lte/+&2r"Zm@?Z`]nuHDh2Npݏ+Z Cpc\p@O{ у=p*yΔ¥H`3_u^ILܺEdy'|sYxG~6ֶNA_篘!gƌXXYnO^2'j6-Bv<4#לnUkVCL% I"ٸ -]ECH a/=tq2 N Fє+:ꆬ` y!I3Jq^Ol!EOgGumoޣJC8KkKzz<4*ګ zH^"p8>qpoH9<g^=ND64wF\gBYh |*ƀ p!DN?u#)9P=JdߝL#QN()b9h'f ST[}"#6]oaunUp&~6ڂ )kcB"BQϳNմ2^*nO3%tM qNl sNuE4LaC@<eYD~F- 2%!7ʯ79>WLy~?G+- (1o{J5%!.E~@ƅݸqGhkD0 ,,XMϓG^;\S+x1fkbo"b4ZM_{PTB_0% j=tV뿇 }O]|l? '̹1Qxw ghzCξ[OQzu˓Sʓ YB̘_0[]+$1 2a=(tt!g졕&?ߖ0CYҹ[Y6v!l{MuC[ 7=Bx3qJ9g,*G?b]t_>t}T<0q+y'5b^]iQMM+k<saG\Y;GD rn tB :*꩘W83k=Y#% L;!~O}W#},G\*QQlA1L#qJx5Xz`q!h./w7ɌJ5*#6QZ#FWHEKl F4&rPN8JoW;\ -Yy`rx" [v_k}H48e+]t*oؼAZajFh '҃{,K'˄q_KLF@.r ϱ&z[CqHabJFA9>v+cݵiKHk}AlR_>A]9Tgq z6:~yAǮ&qik>PCķ:=9]nk{"_nXOF5Gʚ/\1ui6XEu4N3]|\/-R4 BF,!E s]~]/w윙O15)y+7DSb[gٖndX,q ~K* 5鼌l9qgCB5L ttm={؀,E.y@t6<%. Cv߄9q^*p§WrJ42Z/wN Z08nz+6Z,"룽 ޘW!d80/CNW묘-U8˷F$QV*)yVUܾ}G>YU{=Y~I! At7%Q]*/*Ҭd2}"hV@JLT'r,W/0lYܩ> i=G&SxrfBu o0j\j M@aW>ߑt CX0S8o3 W1#j%qmކ6tC uhzhöyK1~-V-AetĞ__L@d+/?bUAo.GRweRi(6irD{4*WT'1ǽ%q|!OB,8 t|2m9 ![M66Pہ2pBMj@Nh*:#z7h$`D[& 5^=^wxSU vp\FEq~K+cΪn[R1ƾIkg՚Y9io2~|z 2ڢ8+DafˀǙuQdM% EʿEamֻNY&~6jCLmݺwD=r2q9iҹW-ڃFxGip).J7byB~ѱ@Ӗv՚(^]K_r?> '8WC][%,Η^Ybracmn@U#ƏWvRŢ9|Ɏb 1.͘nlAoܕybeݡ' ?kKF<[/U6Eh%>:D2TBW} y,)vd[džcKҚl)dZ k<'AA@*fdzR]͖LgU J؎WrrV阔ݼď}yD 辦/sMSC$r\E=nZS@>ҾS&)W:>$|YeQ44N{]2!dc,EڪvM }LEÍ"U{ݘhmq2;s_'ɳn4Q^9>Lr@v4V͵ T؊llJ .Tg~~tmDC.NlP#&GKz;#-9,)}>S']ATB7!m&1{ܽP=?;^3N?udX?+8捼|j+q^TEQ#;JhuLh;>K΍~WKIr`F]s{6z<^ZLS[C"K\<:,oL0'.CۀҢC4*V:xa`)fV)N-3=CK8y{#Gf:q2j7ٌR֔x!jJ3;F}>ijmn7Ty-1qXިH7t顉y%e#2*DjHvG޸o#r&ӰGA [D73 '1Ⱥ;5<|GOAep58c\ uHKגD th-I5|@_GV@ۆM ^"r* m]avQ/w!LI1NF]5=d +sPjHet[uwR"+8;xwL{XG}g3 8 Eئ52IPِ}^-Uݵ>cw9gova$U!n>|LNm3)ܩ] sGQauv7Q[wx&Ƶ IP*%Ҧ.19Et)-CaNo{=( .KA%󝋤 guP}VbmWD 6,v#>p.`B H( 7C1HYP:7%IJ*W ?/ǧ647t`"-כ,}DR _5PI=&~EAmw|H&]0gY;^G+Xrz-l,@h& -i{\CC,[cӫ,ZHzu?Ԁ~ 3 klަރu( @:xRI +0? -y< "1DƸ_Տu hS0~aqI)ذ&R4q5?b$~*hw3Hf5q! ExOmi t{r4BL"ApB??)_ktev?ُۖd{Vm~~2^ Y'{ <&W8$V iK{e@ij a)6~Qypp@|u>Iu 5Uid.[yExtanœLĖÑ`qi25fTS N>]{B[,E3oj?>dUX?>@=UlNd7K_jߡ]7WA@+1zMȃ8 ɒ'ٱnpY 1L$|xgnቜhqHa|ɼh z%vPPHd\PV+#* %:`Oi~D7MGP}$^!]5| @T:c):zߘJV:h~IaO'/`53>vi_QZ Bmh5+c}Lx0B䌇vJJ7 bP1?4{JϦu},h?Zl`:"gAN,mя)ٻ8pjb>q'2WwJpV.['b c+nk84f)Eu3E~Gu!f1c=0tAl?m001Fj1܆Ua;i=B8|M4C2!  !%C"~+s";U.Y,eU?CУ Eo]wKGF~:߶x| 01q~M["#i2-jAl.(kZ$ y&Ur⾱*  ͚y6F,G֠A21ꑷO3>SO&x/kHW(>{kE OBϘ܌8[3۳0^.dY  S=}8ߎdiArvmvF}*4 e"|k[ׁ$3|iUf y_Z"aPD41_q`r<[@ܔikfj7;{Z+jy&*in'AP4xe,o9H͝0ԙP/.]AuPuoQ _VVwځG+$0oZ H$ jҺ嘧s=B3! 1vVy Xxn;ėTPS=ۣ{"}dQ20 G3ٓk730f&~DAF(-v>9+B(-["}sCU6ˆ dУve%r=%vA?BgvJ?j?7!x/T{~?ѤwTT;|tZ^q+T{ JeZ0x`nP#$b@sB64 ~h,{cZ0I `yU>%geͦɟ8O0=캀l]ᘌ%]x)fJ!lgibRN 愿?9l]ъMmvE(P # z E3"k/cq g|w3pVn?rb.䆪XG3uV Vfb}oGXhu'9or6ey+B4BH y&ΘF7.D\{>豌֠Q,c5;rJz鄿}5Ƹ-)ws'-SId*~>!O𶕍&x1#юy,!_LWgx;J^C@>^i1`Axd\haK3BD7V!V_4YS*dgcKuc/k)@nK,_X[So tD(DNHgMH,*'NàvȎ2WdLDʁ pq niZ 3IJep Y'12;튒~lݦwHFw杋XOB)}P\uA'p[0t@ -j0r4%"d ̬̲{ω29K9 .rJ8js Cd]Qcn$1)H6 gUhxt ڸsouI8Qqg_B(Aw 4 ~qSppF:qU^Gȁ+&:l7"W&l24~3(K: ,8r4PMeyTTL|>GTm1F^ΓeJA]>wMLb2{/0oW\`[ja w@yѓJ(*Cxv[W6ڨzIyJBxZ_XylӁfLD3QU\/Y!8ʬJ`RpYrndgSZf2X8=#/~"4 r^EG@`W>KIQ֢Cu aߢ;.xy)(u@ )Gj(6s~vI ٙ/D_,;S]n\y`>t_Vg)UAOw:iiߤ,joMx\62y˥ Npj@8e^ZLaӃF[@=_668mep02s07}\Il4 `[)BC22-i:@"M"%qC [_JDc]*waϚ'BΧGdzWm}  cn)*Kyc1;>n*]85u~ |ExJ/)?oI}JF /\;C3i;g/ڬiv) ;bQ2JÊSoϦK,xJ, C"jah@D"T1/dP8ÀǥP@D`q~{ik 9y!8K{J, G.sPte/cѶ/;7|%٠x1 RgYZ Q:7S' HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/messages7zXZִF! p]D?7 {?:fH\6=>D3EϳjEdȪZwk6H` Z&'`WxʜA6 J+PP]x"@;B:`6|f8.™rIdFla9yxs"GWH}=R& 7(Uq_nd *Ybi8[1ؒu uJ)o[oǸ?z)JYts{J4S@GƟZEXTxu>kԯDP4i:-wlt}.sQ4ȶ_:ֻ}YQbe9i~Uxtu4ƻK08 V?`Dmk^h[+jyP0TE)qAأ2o Yw#\W(UPVH)bpY?gB˲;+'[Z@jsy4p>Ivwd 1f$<֟Wv`QWD_9%` A?Sk'\+u &H1GnJr*xR(V7:⇞n*+됪[<4 ?2&!vƓ *f' d&TalCiokOm!o;"JvG&X~<Է" r,z;#z=L d̏HSlVd搁@5 z~ư\d5g޶}'5<[ "ys0P4z,-;kʇ]0e&4.BGɘY1zؕ,qr >т\JxPJQ\EɐᵤD8ܤ%urM70&~= i6-%xy}s‡̬^so}ޓ?^P ZpPW7Am@m\QWWr ~07@,U $d~Ȱ%"8M,D 8wYо,i`Tzl+c@Ƿ8XeˏJC& "FIWDTGO!52 ƺ&b9c+H𨿮3m!s~*GnukQoӯn& r1@QPA7i>('O/j(q<0HCG)6=Y pojmMRe{Un:լ?rYڄSn T4ˆ2Qw& VLW0uWAJW:жթ7!h11K?Qj)Z& O̦VAԈTZ~V:?eSS-P82؄uAP<[x&'#kiO8, y0ٷ <>qx42 )]zm|JSK-]/&+%,tYv]61ոqjѱ[ bG0mN<^ޮ~>BWvQO0I.5! "YʁK"Jaw`ICC0S蟤 h8-s|6w~JS\JNr_n| іK}=EqҨZݾᗸlh BEa|ӜwCH/wNv^:i4 /, U@]tgYZ