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 7tL|D ]% HOL-Quotient_Examples:threads=6elapsed=25.873cpu=41.031gc=1.8767zXZִF! ^]ŗXiɟ=QzX)qFCkW*g_˴A(Ok| ϗ]1 7n(hSw<'z'=ᄎ`,B_Feh^*sW EU:dr"pYS,^6S'>_v^7{loQ (;3w'Q zS68T"ލO7mTD} qqh|ކ^1.;21X!g)b_Ty&REiQ̉qȖ4[[;(0"^߲W՛І? [xw,c ԝzg}Vhv|)ܔc(j>$@3k4}.b'*>VE"t[Wm]zf<}Ee,Fg 8?F6> 8g|g^fzR$Bm(՗#'iIHM,ZI73b }W.@$<9+(SV8I{AX![S+g)TӱgYZ7zXZִF! ]ŗXiɟ1TgsC2MpRP q ⴤ%Q 0 P ?g(&^~r~u =(1^z{]m\PVd?}nzڼJ]fV\,~X Nڴ8ώUhy#6xg4@X0\t50yێ:^lXa+(gYZ7zXZִF! ]ŗXi%X2^#JTi[t {`xT (wp}]If7#T"6 S+nj)*cFui"i*cm~+2t˧[q*^rdR_ed Td[@:rCy 4(W*>QH0ȋUu\h]' 8IJzc >Bc8~ /<0\%և1s@\* &Mv[.2&hPq' HzaТJg#U<6Ad]J5N 1 ao""&KF\G 48`?*.L’}ѣM* QS)nOɄ~&@גS]\[u[da3#llxEBokW^D 0pGtA|}M+O2UaxdReQ+ \ u5%\(caڝٿz%! tk`6$Sv$f0!f@Dq%Hrn5\%v-(2 KL½hHʞ*}& Z Sah?x{n2p| p97U0T'$\3*&G[c_j"_ &:nm$c%q#6n¸?Y‘طp\gsU*z-B1? `i_dܻ)4IPi ]&7m RCLiF=kվ0a(X9NC 6Wmk>y9ɗ G?5֫nى0x;@Qk_=tDr۱.YcɟtGȜ1n x瘱lTY㗽+Cz =ӇܧF1LW[?ZrǶO u-^A[xu7&ɣ<Kv0L MP9+:{7n>x)m x#u7eO? vYP0cP|g~Y,mCzنUW  j9t&g?C uI0r@ L$&)KAn}"V3^hI\ l,כ3]{năY}kIS- suR/-f|ZAaZNQ#D9C @߹^cČY"*~0dH@[N2ƫi1)7*/iOv]=>oʒtB!&Cz{"HV #tQʺ Yz3XdL@E7ZRceK|b-/])g}e)V ]Bj˜E> hi0R3?ܞa.Rus0-HZxv-&|uU|ѯRwHJ'>6Ht@9I=cѸMدRҹd,M<:[VꭹPG6qX[oRg6eR79_/|0:z*!wPћFC<{@^L}\YՒszgw|X qc?ygYZ449b80a1bc8bd31573cfca1507ebd04d957fd1795234d5a5043eb9f3e26897b36f073692111b110c b91e791daa16209e13166716aa8f901dce4a31bb f7f243cedb19960e4c82b4f78c91c66f610a3afb 296288092e02a8e753fe8214057543ca5932f801 eabc282b6244b705f6adb6f9b768a3effa0d71d6 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 650/     P $ Pi q N  B4, r"~ ^ r * rD\ AAD7I#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'H7M'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/messages&F7M#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/markup%E7M!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/files$K7M-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/document_id#F7I'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_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_idG7K'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/messagesE7K#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/markupD7K!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/filesJ7K-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/document_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_idL7S)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetdocument/latexO7Y)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Messagedocument/latex G7I)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setdocument/latex S7a)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_Testdocument/latex D7C)HOL-Quotient_ExamplesHOL-Quotient_Examples.DListdocument/latex K7Q)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Intdocument/latex I7M)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListdocument/latexG7I)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Fundocument/latexF7G)HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_Powdocument/latexH7K)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetdocument/latexK7Q)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Ratdocument/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  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~4kyeF9-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 7Q) tHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Ratdocument/latex7zXZִF! lr]N}T':=Q߲mZwb3Kzd? P=r,_tW fWm^`G0!S4 4{-k-f@$عxO; 4OݹԱ?s/ƅ)+,(f +  osYeOn~ ;oܰǷ[j OI'H:,N#&/oc-趦:hīG\ y0ߊ4sWZ?s&yHQ2^XZ}]il^8x-sGSk6֮4B"8G{EI[ ZOOObq\C:Pv%I 럼];V7d)_Y)eOR}*S`uwW/'ztu蚵)P<>Kjv 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 q@|phlv2`Dz=Zpjw~Mͳ,!.R#i|ճAEE1U6^ 6E0'LQ-..nblY\_$kMe?0>rǻ:-hB>7,A ^#"Q;K@cou[_dIO-Ң %]Z&xv~s{j&kF;KV wls&ręs "9A7~ Lҝcfy3k+F8k{VG>f9B*!l/J= \QW= t7CR?O3vi')[ 5,54TF["a 0`[֍vHBV*+'I#8 Y0 .&Ŀ*Oot*WLnz~[FMX$9V5FRs#Lj2Ͼ0٠(U+h TE8Vk_DӕЙ(m)17Y淿-e0y^ X[(ZOsIX\NXɈB'XG(pT4/<ZOI2֘7Rz/+ n#]' b@Zn 7f-?ʅ} IJ}kjKK1QN*ugr=׈ j]3`ެ8 'ђЕ <ΰ\ҋ '3~C$p!Ef"א" ȲÊ"?ݼoh=}niaJ48V>r-1^jju{4B,>3 yJ+v,2ZjOdcT$R6`[,ǙJSMXuZ$H\Vʻ՞5M  ƩGY$pUҳB7;FG_Lz1$k #i?Q_L!9+#Tɔ(>Ӕ[ㅪ@|ż}P g$86y;+:-b F^ps6dXȯ5B[|MLNs_=q -U4[jV~$Ua׈ ;^eoXpۊsf]PAF~Y߾3S;CE`n4Ƿ;iDN~4@>>rwO6oHklGݽ-,n=/_x`gy 8 RK.8;gH3FI?~gI\Gbɲkޕ hEk:s+C{ y۝ڤi{,KcS]J#K`:;^\ĵ-wL'~imV)CEYP_ĉ9 0OHx#*HQmVsp˫=vx?{>w /QD  {F8jg?ɇE?pƕx;V'3)cӗ`VfNcPAzG^e6T2jM>m}E ֣|ol/,bbo xAqP=)1TWNTQ=CIm"U1'ݿd E5،{CiF/AX2VZzKÈY`W@Rw_&TԤ:7(Iҷ@D:&G.'bFk7 -hGۻ΂v7nUzdj;)YY DBe+D>վ=ƂӴ>Oo50=Iͣ9 GPOz'WV+YVyybYQnx(Kezt0D׭c`{w5s$$տXX}\=9OU&qV4@~+UcEG._N;`APˮ$uW ɘ?.mm:u;Ȩmm+Ȱ?rqnTHHB %l3%rDLVB7=:Pk6׆uœ$K+}izi+a YkCBXƏ >;_DWcKj8OjM~a7NTTB9n0] \6͝Q|@U) ŷTm%"F9 GNsz34tկb@%* BP!480 ք#RN[A!^y[K kj՜s7(ګn)(.;2W%#.;ur"t0s*p j5 î AM¹*L/ ̚`: p0u=:YuA<#:n\lh4m"@n`a(GN8_wWjiDp1RRo_~%9?Sc k9?9Ӛ؇5w::CCT,te¡mkū(4gfP^e^>eP:8' :') (U2 ヌZ%zWuiT$m5_iq:`Xo+.)`n: ;"J9ɱ<g\: Ù7H^,&DIJklp`.OXKȜHG ?i5?S^Gddi]"PB1eW)uUe!Zt'HSޤWԇr߶zh`}XgЅz/DQ\\6#Ai=$*_QgڣQGws\4: ̲[gOK)c[!KEZ?3]2}5-G+7m.f%-Nb#)l8~ehӞ%p!~d$,fr|pr&zg>d 6Į@C WæmZɏ J+92S6 [T[m4ҺK+dэSs ضhΏzjsA-Þ`JD^7(t;Yb?D5(~X(_#ϖd!4fF-/z ^IGNmvdJK C:Rr҉p5s. /-УEk۶q@c ؑxgdGx3O Xewa P ;%i6O4=i&p.`W\@AEi<+pŭĢŢ$` ֪u@4#v=g븲}JTme5&RLK]ƇEbȓc~=W׸lD) ͼ!g'%(x|?Te3)%7\RrݤTU#1OaJ8ϫ Io&et'OK7/;8u)M{4.Wp.y+pEJ\j>ǧJZϕO}oKwg4Uf>W ,Z),S.ݻg`/ z6o7u3b&v/$ Gu3$5wbqI@zP X3?OI͐mQ.z`f={C[$[\ғhl/}µîMpHؘ"!C3p( MXj9)]VpJV iHi2Ҝɚϩ״鈸ckׂe^<EO˅` %sj4'+ZSuksdZKB<;ܞEe1V;V$C_3h( tXk]WR<3,Τ5M=q6 m#2s=c|@Z%=F+䚻eM$IkeMY:de6}uBOI o̩`ƎAq ˁE""ެߓ{=E.- yy1*UfSIOE&-?&kݘ8c;a*ŧ+\'=s \8Ddulţ]ovY;hɉDuaژGYs$r90<%C4Hf')4QC]Dp2C";LB]O sW-u UV;UЯYByJKE_,H䪞.5RϺ߯"L)uE\"2_V|-e'Rjenoce#iPJWnE]=w/fgaN;I[%Ot-)uDhu}*?9@C;Ȗ\p8/w;S@ J#rnaEP bfd;o"щ?re:ă$*je 4|]+A*J·m,JGVwn*z'A9ZLa=D~CU{Hiw/6a?]X;I {ϯZhlJ=PB2` e%f'&|8J?& 9o: unEj*P* b[l_=m02mT#Am[h De)k !}M?= D1c} I_ȎvR0MX?@ӐC':'b$踙tqt%1:l{|7--8=GƄt5!I<$q|Z~#!q1ԣ:;yw:Ոw,ܢ?Vm{bK(ܶ,5ی k 7\hp%9ܸX{E~nCOCL..-lj2a] E:9yZxcxTiC:,U-LR1[حE]|']K$b GC,<ђUpY,(NH>uʁ˫;Q2j}r,V;ֻϰCZ 6ί!Gtv4C mJ?k}"f;Ii5@ov!w4ӃouD;"PD%3"^,yVzR8}_xZN_-?o:C3j(dZ=!yA BF)ȠӎtV\l('-?Y uh9 <"wd+[[t~O%3Z&v[<4I\=3hEn'un[.)lLIGG$#s"82ATaS =,LAoix۶&Fo{*W)QlRعpy[Zb"5TӸ$DQ# c7|a=Ns-aAu_!@SINלgh;{h=}D^f𥓃vnDI茑?d_(Λyp%SMkH]Է~(%8fcJTOT?$-oח4UJ԰|lH19O7ߩ\I ?%r-b*9G A.=:yY0 92͏9;~='rbѣJB<8J MgYZ r RrQ 7G) HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_Powdocument/latex7zXZִF! $H]N}T':=Q߲mZwb3Kzd d_vh_KC(3 /dipiJc 42MQY5kP#+%,4E P|9? UsCdI b"ƫK)Ǽqom5<9'$kO Zʽ*Y"N̬ V:T <6^1D>'EmD<: ޚthӑW_?˶=| M\DcpD 7yxur^ʺXށN5G 7Di*3͌l;DHU kKՒ7̀Ca\DX ؛zYf?DxMQqa]9\˸QZrE9Kq[;s=s*pTEVdPΝWtAh>,|:G4c5նDԤd x^IHe]ه=\b@bt& @VUʱ sg% k!(\@#>I;@Rv%=US <\|,6Gl`*Oб/|bo)aX09(d=>rݧfd{i)E9/O|+½C+|U.*z~ՖT_&\b[Phذ"s^:_LwVQֈd Ek\j]*"K )[)J{Aڏ9Kliݟ*o \b^T:I^B@_#h/^2-Fț{(,5+4n&z4!qj &y.M>Fƹ_w p2lƲ§gUGhlU qUf#S Cz2Tҽ*p;v[[(HZ 4P>&Nb2! c=dF&H>P2Cǐ?\le[NieW,/W 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ֱ`+ `G7 vՖ&~ĤPĀ8Vj>8 !VX])*l}΢V) !Bߛv q-wHОF2]+^ef0U#{wE;Ǎ6cLjF#X5&zdg} cu5qm6]vqzz()s+Q:X_teyьZ4b2 ixջ3K sWǷߩwXڷv]x۾fL31M0 ?36Zx(D)]@E ⠉ؒhY^ikpM L0cyR̄@{ZcC'feȚ%AF4GΪ,) үm2k粨>lOw'= Lt;Tqn/1=A)"U=\EGA Jܝ7´o$^^J(iH}{9 u5>\tѭ/SHqG)]VSVztS^|ˍT H^>ʰV⮺clͽv)Go _g+(V'A "ڷTSZnGt>˛y_Ro3[/PD%Tlt*AMi)9g|QF$E'=,<1LF ڡoE3DޤX1{0ci݈a3Z,.% m$k0a Q~ĺ5,`?6,: EKrx[Ί( XnA;W}QM-$ 77|;$uvfUR?P\0.YL.vwE?mG,g{8qZr5֓ϸ)Vn9,`ނ,{ fYCtb4Y3#t*[P{ xo0/EE^ūC}3LYm<-L2+; 8Fxّf^R!JUƨ fy9+#u?C71rCR {';aHwa`կԸs+($)d!)¨N8E-gƖ 5ЊMƼ|/% |f pN0+Y3=DÚ,8&t`S‡8UsI)뒟WirwJܪ|LODހnzbN3оl& G7;ߧ=;YJgnc)RF:yH޾Lgzm=¾+z xHfhߨ}MR}*Wfp>k@+ 9} i"VՓe+: Wj4QmcxC3V瓫Q7)7}61uk)v)>?3ז>F#XH |]ÌŌOc G?1)RIwDqn1q6bVSJ{-T1&j=LWA{Fu[oOHP}v5>ss(>q[~Qn)O|9W6*g.NhQy#w~dG6x/ lmEhI?ik-L0nM,7{fCb?ҁ.7!\$^ϙdfA CHܡ ƹw@'m<}{T7t~ns>^o»i/{$8 Y4 )C9]#I'oh(ږ)Xys ~F4{=deHKUŁ04 1vZ(Cz lMp̡8vPf})זgug-\"*6 i=%1䫒E҆Q_7u O2$]:X*o fw ku} ]bt0c&01Cp -Z3"9|_Wz抍صҜt f>4 ?~,I;ϔRA1R{o#75$Y)B' >9筧7t7#S}n>Ӹo?3Z &@xPZ\Ҕ[É<@' /ZN55` K*"a0<$H=B%[?=eVx|₈X0EQHGگGJ:=>d"+d3Hn8M`ph}ː` j9XԴPOh)N&BJ\e]X /y</QJ,ʄ:MH~9S];;#NPo.AmKQKXtq6yxDU¬!qR]3YśB +os:bOÃ,^Cɴ0h+O{9g'YD]0춰0 w&"RD#NǦۇ+^!ZN"c85h%*=R86%$KbfO*m#:Pn ::v#䃱k)qa.M}PD#H]7L;m˗?؄7$<ϮIHz!e^5u%Ei&0pW]> ] R;t#wsVDYW-\uY YSO)j_afM$y=}GFyb5:ѧڮ\&۲=Q7 PQbR>/R+.*0T ȶ=a8AQnz aXVqE1GUFU%W\Il}> iQrzjQWXj) 1I|tJ_SW:-XA ~nMr@v̐CȄ[gz*OjntN5Fv3c/=?JYts'jЗ|6m45Z sw$:9\+nWb#+S7 RwӜPf.vxBR]h)`b9:kCIEzǯE'>Z ]PȮ.[k1WH\icbQA՜%SڡpY~Ϗa^e %%6KpsYg` Hmݔ-$  9w;$l V)J2|'Őn u KB4,= f ޙ&S vġ=6`ح% f@naD)&wR2dO3sP9_ kpU7D#V&1~3Ooyx`CzjEC (7928bISWiϾAQ\諂X xz1#:f{NOӍP# MI(sp[ek(}S zM  :"b扸~wiǖ)t՞<1Dϟʮ==a|/V SG .E.A=T;ATʪv_o$jyz,a ]2XZS +@N'gVDDv~"?Ctu *k XCWNɊ˪$gU/@clrQp .<Qv#☩#S-)֨!A3ny9&V,*s OT@b±J'|DѬzJ `~!BǿfsfWfΧQg ḿRK۳VWkMۻ/S`,<,"ɞ EW?7C6\C54»X@mF}z1B q[oP=ͷ^9.~xwfks#H F6lZmU2DPI@f8?*1~:;Y7}@vm4śR52@^܅e@YsZ}45"ßaQx.hxf&` 4.OE= D[\퍬,+|Y鎸+xi@y k;gK%H}F,Ǿg4͘q-lGY' CgՀ/~3 cw> *#_;zg|T/H8_qJ<.|դ]dCA:XuW\N2y,Pl6Ma\LHjvdnAS@p/{.-#>z`E ̒urZϼNt|%pˍ:Nt 4gƈs"4Q7T Rp+3֓"Ȕ Z-4b=Mg(SXIB8IEM_͏8 Z\Ł8^?#zt^r'm`_|u&܁`i(շKhi_MF*?Y>ߟ "<ދ_kj|4Tp.db2Z9ۡʗXa}|,y"FPsYe˦(iP5Ԑ;ǓÊ L0oW8B!+9T&#Q&R'#@+JI?ֶ;NƨYI>g!nJW9aYQƝ9fTZr q/BKs`~W".=YJ̼;u֟I;EGG714fWjUφ7`-z+pCҿNh'@be1v'E-0c׍)̈o< Ms 7\[܀EP2ʕNMXV+~ 丂Čk!#SNwJu/xcDVOFڲ&q<%,UhڼhPY[ߢc'GT@dtEH l~OgYZbMlŦ##JشM3`%RIs iuW7$^?}_:hތ)+Ϊyo}-º 1X.2H0B&ޫI{ {\Jq# .EG=vN\A#/ ٲⰖZ #igJ$W!=(_t(A/J;?ZMdȔvǚmynǜȻGH\%68XíOv(SeU2B/ugOpJp5% qX_ʃ?c* 05ӮH1 Tr Mk;#&pe4ӣ/Fc# o,NBΉp/( ,`'X*ܹZTR;ak%g>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@a2_਒ՠڇ۱ǹfL~F-ŸxaV.{P1}ǵˍ}Po;ڂotyM-VC-`(ȯ/`GV@5'|mYpFSySR~,ܜ~!K1ȿ]YwՃ$ڡa5pFSj1!̈́M+e_Fn6-X{Kw#=C%J EL]ş5NMsuE1c|L1B"م;H_Mt'6ªI_mG [@'wqk}ǬD~KKO7bMz $5t{Gb;ku;wpgi zbB=DI gE<2[,j4I #k;5)Dh|k8'WAf/g&wŀ]p -,0$fP WL|W_cnxk3s:7>@ QDZ[n9AlIAz> 8ÊEAaEW(wW< :dvfG/:g:@u[ (ht*0tU~fwZ| RF6oTYLMZ 389Wa@ %a85$ՅL?)ПG\=5G7HrE]:g4TIuåB2}A:Dc}=a.lWVSzz~:75`F[u1-?]D@)FX`i)~4ْIڼ/謃i[vcXTY˛Oe֧:%Do6H2.譒oyg`:O'Wwh!4wJa_}!0`y7- Y]itre`m$cx`R52xy ap0(zϳNɏ$.u _-ߩgYZ3B]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 )) 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Ĩj1gYZyRAv! Ӂ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 (( 7I) HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setdocument/latex7zXZִF! P&]N}T':=Q߲mZwb3Kzd:ř p+u (ѧ;g#L ]I=B(v}i }%7QV;Zzו NKN([ډ3%=Ϋ| qq02ȵ4Jjv<u&!F'H\`w^o6#}", E  TNqcVb ou?symmfCpJfnԅ}qLϙkzU|6"MnBLOT0Q"٠9=nxCП`2$kRzM,@B+r wmxPz*8- 78ډ ZI4?'jt)VϦ\iuv?|RQhZdGX]x2$,/J _yd4cߥ0 ź/{iţ71K~d"j9TMi_hȣ,T۰k̚xIx0odLTB'Aܗ-ZM,mn׬P7kpQx+*%jCSvceW.a_Zw.`6]]N{>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ͱgYZ= 7a) \HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_Testdocument/latex7zXZִF! m]N}T':=Q߲mZwb3Kzd:řrNyʙ|r"Re #K'.`V1pEƳ@)IU[ڼacѸz=Ơsz {@㡸\dDe sDp 䛌OA'! G`J ΝFȠDcJ(BZˀ֩%:՝V3Dڷ26xwqCIFQ n&(uA}d2v-e&ּًfK*Y0G > 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 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 (db 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 "rZwV>ѳ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 V 7Y) HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Messagedocument/latex7zXZִF! x7A]N}T':=Q߲mZwb3Kzd? P=r,_tW fWm^`Ge{e;CBbUN %FOyF]; {kƅl3udk9ŵqr6F'W|\l1p%jj8OgŚyjq{GŌSJݗfݽvԩ@&-MFI'JKTi==񳖱OI!j1'XQ2tGnt1ȽXIj= .'>Gm)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!ceG=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-癞LQ4%MoeSŃ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|{͐>WC3A2X~>Cx}ʑNuح,U7Vkjh|K0JIm>1݋F?oK$e&.0fqRhSq̪j 48%Ē4Q:E f;&<Dnb}TA}}.]rmw Nj$_޲KzMNZ!.`RXБ)nɘW¥c@aOhADC;X;iI DZf:r* U7 Y$DO: !?< N{#u/f-m8pPDտ*R('nhk&:lUHXrko`%l 'Ǿ= 8Vvt>KSF%A/*;\8fDP0`ElOJSgz/W%(PsMi"LAˑ=G)\koqr۳:A :ܧj/+_x/%oP5qz _h7 .]OM\Ho8>?/\n"0 ߱Vlm֮N5ESpLkqXPQ%q.w٦فJ磫dU0]k: zw +kޝ68ob#PMsb2 %=&m*6C\t3fc _)*k4[Ƈo(D4ʂXC"3] 62sfCY_:/Nt㕩oSG\Nר_~ݿؗ,֎MJ(T;at90TW&1 7^Y:/ mG*4!.{[-zn6c_}#6V K& IuCQ+UM}#NwQ U_=l[6p\寧)pSuWKuhaJEeF2s~"ZxqݎF%mOK.\k rd P,YК{< B]8к#b& tW_SJB{{:'B'|6t3=IRU/pQ|]VUч~c n?cˡHxgW'U $y_9l%5B\W5w^U\WQѿp )D,qscwe~~`h{'"[OEDL>ժMSZ* \ 3 *z0Jg  %kL@SʋǴWYeL*JB?A$){ſw ؒti2(⭲]Vy1[Q> 7L\fň8ÚigYZ .x~.N7K-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/document_id670w7G' lHOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/messages7zXZִF! rm]D?7 {?:fH\ A uiŊi<]t# }m78c;aɖ_ڛyUyhFR O8d#5(vL6gz}o,UкN1*MXtHIl1\S!J᳅Q@r"Wx_d_l ՟ד!V;^^=sc - M|>|. vDsCk"lGE\u +֞*tTg:ۋA)oMI$0mғ<X) GPۚMN᧊b.s] ,үl#kq:haL"EGbGdHU$C<3V9d'b gAG}d`ے8Z) a!9x7Őqi/{Ci!}n6zZtHrBR|LB74 L}lO E. ^ʑqk#SiiËD^G˘g aI#PlWyoNVgEL`K`n)G^ s-Fns $Y/ר(Nj= 0!.jj3|ȝX"T:n>ag&hyڶQ9 sWp0 ,!΀on~ h }9nr9y_O85SX5Qߏ XvFT-[!BɫH|P}gOHVȄ*9;2d_p0]cqL߶Z_+i1uCevQ/{NZЫAZQԔ lNiɖ/wu9aH I9Zu])0^C̀cmJX\aؠsin)1) 8KS1 )(zu!D+!QC0}TkTEe ;e33 v} ?lq'׌˧/RR9UP|T F~Mr2x6^]٨d8^jP/hQ#71JHOˇ58MӭEf a pL_ _boyo{z,|+,`gF)CyaJ„`{SW`跮h4|(+C?+筀%d (0]OҝD[^ >u+E3{o|4X̉,|&zyZFJOahm(acfWlh)?XW5MZ ;i]W wȀ/$IrT,'Vy^6mPAua3;=.1:LSDC W"EB"!mA9%#0&%DY4 p͖ӳ2pEqwxӉn)Kjx#-!~'eg8:bP@hދM Hh6G/ l5wV֪_/0@L[igCf9plfMbJ%F50s旼m+Zl?Tv* ?:<Pn-?Y'g2Χ tCwdL֢4D?FGX ^b.ŤYg5$ܑSݝ^$/M]Ϋ5nꞤL|E﫫 H%<Q n2c%QG@nKdTrGswKrN_ ӕ hmb.["6"d<$ֿPn"G'iewP,R}GU,ٲsi:┃ߥo>(ey+^z&TZEU煣u:e X\x-fTPd/UDh.3E+}͡DEx8]X;JAc3̒ENd?.'z[8deAR&auMAw;k! oUnx1& }2Uͳ"t6Yafs: ےIvy \#n xbX[yߺB;6b u[+NΓc1l}ϱHֱ*Kl+/׷:J0׉g _sBh[ZӇxKu-wjpRUʔڝуF0z.0xI3q ǨIN䎭֘[w(_$k`idcW? 6uz~Ww)cxOK/9*4+"־]~R$\h[UTE`>%rh}ʢT ::U*e;,(Hϳ&Dxr7G7{g0qTm>"2-ҙ@&즅cshI|{ax9&0"9nCԿ ' zg!E- \ |Qͅ['QYv?m܈L9M#.   =u7Q!fHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/files~~/src/HOL/Quotient_Examples/Quotient_Int.thyQ7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/document_id660 7K' HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/messages7zXZִF! ]·Iq n[:|&[zs9 1nSZ, pf:%ӴyXh01]LuY(N퀖wDo(nbƪ};qMb׸Azfs=/ |5ONnš3ڡwxM/MIH1jJau+-"*V.OD; ؟~4:GBcsXV!bE L! V<ΐFE ~0f^gjܪ#܍)g֦ \ևFYF+(þĠ;],":]FIn]q.X÷=۵Cmi~g0.ʈ&ǥF8PP,BRPHϛ&4.1*L|RV߶=\uO$,AkBBo2D-EcVQGy$ycbvմȑa;@#V A}r@dX+>}&-tOsN}<SH<8e*|EeiX"YazBDԜ޾K bpL%nQ`q)meB.>#v*4 }wA;*tj[PȥnEi\^`#wƄjV*@h`dq~D\jb<'Y Ua)>q 74Hj UQ9etN$g}jQ~P႞4%!'\ŢM}ٯ=PÞZ ePLZ'ؗ-M40S|$x~*nwS;s#,J0Pŵ:bO'n~'B0Nho1IJ;ޫ5m.˕tvCy ]-_NFҡSpL&w lf@#aha0 yy'^S]qnV4WwCx3Bc=ðmߵ5b2S⊽|"n Pj2J5tՍ`6qqs?.Ԉr{I)"!RȨ﷦'́{ށz,k׃t0LtW^.;F Ƃd${|6*WA>ۇ&xr -KqK /˗nH2`7h Pb2˳-מV o%hv{H3c.ɭ-ϼ)7pޞ(H_-tM/`eg5 R]wYP;vuj "mM۬+w``-MEa7D%'헏ϱg3tM!;g"Phj`)5WCKR[Κw9> xv׀a|P?X8S$)hٴ^ᛀ5'fʜ3=_%pWbREΗ /]:nXT("_Es՞RKϖʪlfନE$3 t}eg0!0e p%yLHZmY6"@`ȵl:=B(lJ&gԸ:yLhݻkvDY|I-.i(Jm3ٚJ.xǗ6x6M3&q0V0n^ cX<"o8a, AC&.1,pޏpکtf>hLeܲlfp-LSohb􉿭" l?uΉ76Uk *F~`<3Ovxf '?OUpOg։/m~cׯ(.HNp0Ʋ/> N ,j)ZЏ( #b*nyiaD&T&^l8E]'VJ ywmz+ P`Sy97m郣ˡWaL'MWW։vfFy; HRGQgw @ iG6 a2,yA)0K r_ҋݬqOT|X ɭmtCޮi1fE,QdaN'U 5gB+i$aU[,a+FyScs=3R5ae6!6<^+Y5߮c {DY lj)'f*NF)1Ck#U1jBNI)H Rvߞ7D k}INTK򏧇O oTQ8ycpbb ^SJ)J|OO5o$߱ڛz᫶ <"bSb OC;e٤|1Q7i=%Q%?-pPj`.]_(j$v(߻2}w&' -r!=T=1u㎴HzCV+b,BUZ]3IYD;ZZSjIZꦇW,~D˩9[MW/\D!AF,3_۟?2.NC;΋zBHF'/l!`{;K6>wMTtܝ_nF?B 1A*9]ԆՆUA }o;Xjv~4˃ 3 @@ׁ4k(~USnK-"\ku4C<ǯdIw= _}3YoK>π8F2vy!YbY"|J׻"Y}i.d(0D,a&rpby>O )X@'"oxrۍ޹;]'5/p5Q}HZۄ|lK{Jnk829s[+ lN*FqQkB*I>Vsb+/bXXz(z쾭ȍ?pQՆ\rE1TӏD>1NX Y]׮Z~B/& oPZ==i!ICSJ*@CV\}lư'ؠ!l><݄9E8rNJzqC{,gD2f \)y)C_EؑrًFN\|UJ1{‰Ae-etMpㅲ)'ɤꗠ!]GBp",G\aޡ·ľ&|Qq; "چ!\UqbbIh5X\6 àyJ-\h:PX#qG{zG6CTᱺi .v{|J%l%I޿=VJm ɦГsx'Kn:%~']jۮ+FlڔI54D›u6A0ϼ)Ԓ/p_e|OA*vO)e 섔t}nȘ͟&U S5[\Je>@WD5$kI{vZalpކH@ #C9Kk&@ƺ=BF6VyLtO tlF. tC>VbƓ1Z!Nv݈ҕNQ= Ii,:U'ϰozqۼe1 <]  I|nvU#.bm+Z\(:l#}Z6irȲ} v.nsۏ c!hwzc-9 =Ǒ9hvYӤ'i=8c?hTW&'޻*7O]0bAh%^boRs\.h Z!\t&/23AcgU뭭p_%fCiM-o-u[]A]2K\-""];"}|NxfNuNK U9$V7ZS=MyAq=ܩAXT.)_i fvl\nԤF\P EWO/ltL'0`s ϿA]xVw Y م=HMZas:!9Xa +fbRW7Yc"YQIV`x?,2v@.xz|1.FO Vf"a~`JRV*t_Qyu87t rB FeB?p_=4TYH>bCO\, Cblu" $)hv=~x;#+Y+i !Ʌs'1S2+ gҖ3;_dyDL_ߓIvk}2nf3xoT̓6BsȾ*!n@wAROd.u%Qd\6-bcW[Q?d_r:z٩.k"R~fXT;P\X ܾg%Qp$x]ea#sgϽ"n,Y 3RR~3e]OX}z@]'f$r1sS^1;O~-^2-!o-8*(m_J:^Mb?_DgXmR3p{q;ǯ.63[vV?{:s Q瑾w\QήYSTS-"M'-?Cdsqۥ *',E!|&(+R8oGo[oK̞1ޑ8t#1@g#L \@o?DvnxS|"yp.|x%5$Kh߷PFsG1cyMYGZVԭsZ,n@N߰Sz4q'ߗm>gr)( {ki]7@Dݩ{̺;Eyɕݳ o?WC%alq,yFDB[IDE%gYZ49(_,+X2u"(wwMmq9Q0}զ9nAʥ~8Q4\pGm"Ef7eŽqamZqfSg~}@{{ 4ƑN)[DIf'XqҘl&- Pó[1; rD1!H|GP5sފZpRWI0/+9-A`0)rf"uoLN8Àm13n.GrtxI ԟD_A%5X%~F{ d f7릃Z24Aכ%PK# )c^+5Ab-RFu}RHʧb(=Y_8$(Zӣta^Nä^@ЏbEW_!zӣ}-]J oNMRwN7Ok;콽gS_X]4-=5 w;Y;4*&D3NE/#;Vdtx'Ԟӎ+HdU1,zxy6`< "Q.\Ν_XT߿2:3ololB="u96#ZfdB5јkugZZ52D,r$;[ֈ|mb9ӘP艃[FOdsVa)]cEfH/vlM Ξ#q3-hFm]!P-+B~;%o%d8HQ.$ku`³mhvHiʧ d F&KfHkI`ɲ_RVdP]"naRDƐWT÷7]嗖_]c_%+X ܛzypǣv-U ˿I0F-{Y9[G4UYpܰܭ\$ %;U)$!Ư?"]?D)[ۄ$'w짌>zFDzؚ'JIe?3uè0=RT6JԽlqS0mfukK+_nq8Xҙ_1 5;ii)8`Bn eV"+/y>ϱz[R4c" TVP3GݿslJuM#~ZLtpcΆ)}v DrQϝ6y{T?:gA-6Bkqθ%A0‡w~jr_sH*#yZ(TO,x{펿oښ)G]{g1!{:ṣ=3 GΎ6KeTvJ= aig1h |(ۄ" rOWOn*z4scmU|۔-)ƦKpg"Ekg< 2M@I@JYg>oj|XGlg| muӲArrNQ9sSt¢GOR$;)uLڹRbDda$8Q8=ruK#~q"{WT@u,(zGxmV] sWxf L0랩u_h\Vĉ[Ustm̲B $Ss5(LBc.a&+l\Udkx.1eBHX}$M vZxQBޞ0P±Fy.+QE AJ.";֛?`.`Ѳ Z-dZUa-sY _ːlBA<ŋA5ѳ[>=*$׆zѾ-{j@tӽlڔ/⮦2!5!JgdZ|} 6 'c1mTAx* b{b''}A:ÛԸң3ݏ@(Xv ن Qt)T\trfm!FB"٨Dج-u uվgj lH `+j7\U0B}g#^_SVQ}kVK?cK: U!0cY9/kiYʏBzWc7![MVeѶS6miyqttvT 6[B?8kD(`"GUL9.vD) N bLpF1Jx1tc%m$1Xs-&JRנC겝ֳVMz 9-_5tXLaI EAhhW;|0+ rC^OϦ %^i(>YId^\b6h7 DS{ pcJa-9<ۚc&H"4Vpsl <)>@F_4Xoo0LPIľ~B?0$ƼM?qGEP,}+!RN\Zca!ČAK~.rf DQnHa;bKD%;_FJ2-,EZ!P$%y6#[@(bS)N2߽iWp妾j6qQ(iw&^f{7FVeZM7eɁ!-^Pg$3Q@p Lk 60e'u7S>6^iWnm|IvvVz}&)3i2:N%ø; &1TjR#)Ja\V=EisR ɶ5\Zgճo[*WO';s'T_2ʾA4mQ**z9Nd:EDG?ʇS}5zYu)+A)mLZ]3`TПǾJ$ I1meJ< RG*X>քæ>Pcf6)cc4L+Rf;Kƒs}`/ٓ8jn!,VҪلJ/FgwgegB`|IO1E\b$sms,jɐn|P n GO=;#8thz67xo2A6sҲM[(! % '{0~L$VvڑCXDEqTld~W2-۟Y/gE{ˑzstrt=(og|aH5.@+g$K;k  _У@Gt`#B gpSE4ivgG $KbP ^1H E (ܞhŪ$Z<ewtоu4Ek,rc`ljdjyܨa+85 DC4tFԘ>PÄ@=?jD|/tS}ݑd|~A {3a𢨫~ĵsԼVP27@J16JMgMAVgA+dӖ{f! R[7 Gt BOC',܏$a4Eb˂3a5h?~+%3 | /#o@S F UPr$jHs@g/s}XqD|`$d=D<ǃaB!vbZon%{30Ky9 Fwi;eD@#R~Urp;{>\O"ߣF Jِx6+dѩf @]ɪ%Ns;M8v CXÙx_Nh)TY>`0˳8_.֌|g&\rW t}tJuln ~VMƀ<ؒ1uƟ 0uRh%nyp \Bрf^%T\_WGPoV;i'*6+ʋ6^tUV,]釘ľkA"84;|}z!zA,E7^!ރ=V| )~ؑFW reNrʘ>kV0̭JΞgB4l<m-Zώj^Ϸ"tgP`m6A%E@s΃UƒfOrgLV67s~ޗN?0̪O0 4z~7awMFhy++il˚T4Aya:0 ^su+T){3nYlTh 6L&?Xmjz{ 4F?&_u$1APHz'A =?z`S,i6huewe{5;ybXWGr]UCiu|sN(9i^q@tant/!%dz 8L)⍈m^]w6Kb咇u($65-g?MTK셞A g܁r JD:JEЊo7&P Y4~6|% :o3ĝ߁FQfF?ХC~JmTXLgmvNĬ C1xdz.𴨓}I@9[t##JA2^ux Љl'Z2tj5_}db# M>շAC5Lٜ"5Ӟ[I9hΏ$޺%Ju&]ڌF[-׵p&+Iw~Eo(G"k`FYud"I R|\d3bڰp4]ɝXrj;X㱢aiv 0̷zomC)Y>J)cq&-2JSs65T S삓KiQ׽"یoґV衃 JCJ")\%KGw-԰ ƪ%魠N~] ]G$#Dh> lnF2w_IֲvOFf(n}[׫*O8-$9E CXĥ_:ˌu`(  6tz' kcLȤ:Fkzx:mX}XVb%hƳ_2ǏHGIUJm-VGM+tvYdp(Ejt_/O-_ĪhLaij#z.EIo'3|DS@vp'Vg( BGP:1$ tO8"_9N#GOHv$Gj(IC= yaإ?-Ma,mz<)$m ?e)ϯSSNP-MŦ*H>YQu`SjQG̔OԱy(b*gdde-_Rw`V$hctw??[`a@jLHcc36Hc&O?i)Fv^r񆖗p04AO`d*\f&۳H _>|U6H}fN7򀣃y(HW\D"\5ngfS݄yu|ȌG7QdŇ`n kt0.g@W++D'+Hص̤|tAćS ơ*V{sĤs'GklDCbn!H<3MՁC;c kᔁcaN6GJqr럶Duڇ  %zjKR^Oy4q7)GE [<&U.IL-Iޙy/E*yO[[`c&gYZ + 7Q# LHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/markup7zXZִF! -]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$PE"EbpԺw):XЅ%Tv] <j<@QlZf! ws|@Ӛn`vRN34  k z{=UjC86s!Mx{Uy\ F8Ͻmgby%]BE)診̸ԳQ/8S#,B΂<2ip^g+w -8`5~]RY<-7< }?L^5@Kpo~^0b3g'=3qX) 4{dI_&p+d>'>4ZFymؕkɨTs͌`뼑Ufw;L`C]PAr;r"d}/5`rY")Wnea3v#e J\;8$ PQg{gϴ2_zߓ^e* t:?D삢>"$k4nPHSPz0~8I'ě d@ħ;@='P@u {q}ߑD)=I \:-Q0lPn CIaCnT>-+]9TBZR:Blwi1.p&~O,TA_Qe $Lsŀ^:r\ 9ǯS?= pq^*B\3?S"1ryB0h\u( ~WiW5Y6vr2r:HAPW⍠r@YcBE:H+}5Q`lxejiqz >hG Z }]IFvWxiD!G]jzPhnaLק?T$_6$X} Nc'j1>`O\ލ7󱝘bb@ċOCTZP;}s5]!@ycc*i1*8v#^lŞp׽WW!n{S쒈ړ>_FqrWx I˜siV4qYc?Č@4ìܰ04S탂-ľ _JI݇;u&/%D!T8G3RtCx9Mms8}ksFPցUD: "rD׀R"CvߕmDQ (lh9pr+sA!4zUD-0lJEkג /_Ϋ" v Z4I+օ@Yc;b<4ĆjPCQP$ئB۝Qϥs%` &ocW <׼ m]0ue 7LL~"K%UA_[C28Eg) XB''l9Pneha%~έkSDJr0¼jXa`eGqT>H Bu4o"E|0 cx>\#lQňqH7#D2BcRRL Dvh_OہX\thJ-ލƟ>jBsߝjnM[q\Ҫ` @췠XW) WHJ"PC5܅ 0Ծoձ67 g9*J _]fIw=m߀xǦYWDnCZo<+,@X4 ]P!︒T ^tRb:|D38 W76m+ Q181Mv|O<nE"=,4R -c/08_1cXvR RL8aZ1F/J+JN_^g$q@xag**kٍ(喏(JIO[Ec|qcjL&_`o/^a#s{]B@w\.umIE>@L0(nB\%%7 ΊO@^Zl>!aޅvB˱1SEXpUik1&D+NǚcVL }֭l (-x(M0J@ua\ hIҲP)dC9Dܜ(J4NNlMs]lEh Xmcޠ"h,eZҭZ h!RJOnaeNF~CI޲&R<1I1ZK0޷y^¡fXn3 }7Y!nHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/files~~/src/HOL/Quotient_Examples/Quotient_Message.thyU7Y-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/document_id6787Q' HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/messages7zXZִF! ]·Iq n[:|&[z{bW@nāީhF(Fl x9.6Nܩy6h*+8\NSn8;3ԘztYF_ubk6)QWYCSZv%@x!\>F8&c6$QTDH"R<X|P,>w;\a&lPwrsZQ:m0` JcV{DyYhg QT ꠖt)3_Cd̠JA26`JZQix ~JJrpXBJgn7Cn&t;'_\+ 3ZvѼ`{T9GlZITїW Go% V ]]$`K>\mw@&UsQ{}:pxU xz0[d%àe,3Ųp~|$&QTLnZD2xݾ*0mj _\f6Y-,5O<0u":˝qRgKڵ}Zv78y;$`ʙ`zz0Q3ζ iFg@'!5!..=(R\K9̢@WT(\O)U<}<_fb_BuzڟP"ڹU[[]堥Uv1,Eo2og-=I!"*1:sR1t`rCW ]T@*C?g hj+ ND>J N<Oet/N&le,q&qv a ox]_=*;x%iԓ Ha<?oBXlEZؗhv.ɣ.ČOrWp]S5Y7M]W`ϸu3qflR:?m :yM=р r .n&G-T6(QE5A|,?NOd$L\a KAM\d6yO1^{\Ge]!?8 H(&4%G=ι[~`%Rsz%hD)obzS%tƤ}JGPD =JhT{bλ[p>cy*͂&mO >A 3ck1WxW4Lf(IDQc/IUGW۔]zV_P%P㬭9TblCMf i='ty%5]g_\AI*?e-Z Yvê6Eveu.m͕P7mv3 ͣ3Yƙz&ӰQؠ6]dv˶*\vu+f׈"MyY|+ݚKEi͙EtӾ8','E~Oe/ȿU[>8.O $iY4oдRtj+tG5ڻjq04EO!J8vWI$ZVgpe&Ep^U.ܯ~J|GmϢ᭵^@$}7/i_v9 _H0#jYC Kݶ9BPg'd;bmh)rpGj`Dr#~QQ)uN[ҧQfp+bQF)!Hڸ|=P籉Z2So8TRj':34@䯗_ X8]Wgn7ƢXJl}Fv‚;Ļ]=+‘dzK]=ska{i^]*;kĚl>wR^IٚeF]^ռKZƧ KW<Ru|̸uOoh Mj'vV`JX:%bfõv4R {8έ96q^B[@KSN*v,Mc~罋w4W/%+Җm*eK i긵.?\a5kLp#] d4C~"ړuZ`ã^Σ7Ç͇VjgYZ8=PM=FbqD?zİz~H۳ im,l#d7)-=,ji,M{bY%D)KgՊt8˺9-^B<3 9_٭}[oPTy#`LYN"1=5Lw jlS(X+axߏms3PLPɖ`)QGֽ3\GtBeO'*:ipϏ^2bx s1 gv)ïUbDH\pE2JZ`w݊ykJf13c#w'q~-M2$&oY& {J/dBڴB@+);VMԿ"j Ri#+2hР!6gdgZk (V o<8|tdH8IYDAvh'e2TEB:T5'}'*_XL3 ƽuAcn/sE]ɺÍ+OuG[QMK)6-RyTk\Y1pe(cX AۮSo󤪤^a{8D2~^(*rkQ|sjO8a.j0q"f]s79RODC⮷ر'.i'U3F,wfWMp5jg)jC-bl}Cq=/ڱr2Vb8 _kحOc,yy9/]ظ7ƷŹ ! 8Ji+'\;$ όР93O%ݤ]2 g+؀Emk 2(]1^ ?HWJ$~6}^?7ϑ)8 G(A7#Va+U3fwG}*{@$Zө^M'{Z<8Gcg]k'eڗBj[.x@M 7rK C5[NzɊȧ"9K07E{]+&z@Z { Ը1EޟRJDysA %ESS妛66oe; FP0ΚKuW-_b󈊣)`h(ud%4WasdY3'wWE^ (HQ=GSvu#To 80^3>Jp|< v4b]ERV'pVN RKyxo {@Upc9L0[">Gvbv(}S{(;4y5{ gvIMO932w66_}hz!-K_Rl3*0{VpF bhm{S!z0"?ɟ\#'&RX}&l7 OlAvVeq'U@NJ/B np_czPp-!{Q-˦OčP%)A 4R3!3v}AʱsO!0Vc*pSى04{e#2E"iҖ fDWzHߩ-Px%)}dIW7lFBc/7"PZ, 0j2S` EHj>- it^1W Ûj_D]1O?v]yNL  /[mR _iR<# nZCYg@ʽ N t;EW),[@ 5z-Es :8' 0#$\\j5> B@ʾW}HzVIe4ePt~*H{,X#RrpJ V`dY`cN?0XWsl=SؕM|FC2۞HT>t~YeYMTo03P,7 LHL>~_H?Z c=*K晍AV~ќDeLr&4}.hJk^;NufGq%*q=^Z(BB$ePC`)o{4̓`+T9NA?:=T< ~*YHLJU_J(&ѥ ɾ{l.#. ;8d:+҇)JVCаt6Z&kMP11=JFu/Jt4XHqtBRP_BCRG7&aXQ _gC^?${r~| ae uݲ,}Nέ!:}cl9 J]FV b8H1Y.گ{U!oi1R驴JUYc0j1Gwt4I.;=!C_.#J9XG +j / R >N) \Joqǁ'>`A:17 .:䁉צ~7!|ay}s-8eϐ!o{4OQYD] LڙS=wfd@ ap?-\Б;ۇ9j "Qؖ5fCPH2<(S7:?r.R`"h`.9|L-y YÙ{yq>G '\k-I^ĺKYܖVذ4/i,DsrvXläc?/L 7ɂX_L6TGъqs;Ы$shDݾY|KcwW2 -d==ϭw# BDžQ27}%&&Q,{;p&RgZ}9OGix.+}I}SR-VND|،9bFitB:8NVp9dF6|Q(x %֦k WW h'ۑUUSf V7$s| -͑SX#I5M q,5wXF(Yk'lN2JXw-kqЗ(&X۪:z'jBkR%nK˹A%5_A nu(?,; ep Wuh:57TPS&%(lT8AL'w*_nÙ꓍]ME'ɏq_4}f>E?|Lݠ?3 }x{Ʒ_a'6:@"<3~ -Iy_hU;rk%֩-XvSOJLԻ~PA j9_Ybb0&^}%8i%Ué"tv|Pe,O5u_w^O{*hMNB4%vNǙi/=;BfF\ݹe ?;is/&&%0q3qš``2v27 gB]GlDg%|<`àJ؂G]6葊&kgOT׉LJ[jDCW@a%5~.nt|z>s!Xl7XW.+‚i  ]09(-cM[R}a;DU^/"ʣ.C ַ׭L4 B^raZ$#n\8q_JD7&xh 1vue[e˨?#EYMT.`%1h}Ҁh w& ^*hBt-=]}+Ak&ڨ4CxGB8&je`g]}0 T4tr~N㷜Tljmlv3wH"2gÈ<)=Y/AW9XT'XQ+01RZ,$rx >@#p\F+_^s@oki|]o,GsP?%Q&-fC~fMzQ?|[n,|R4/ro|RO@o2@YfD; C(U"6aҧ큦OM'^{U@E ubq!wK2rlBLGZy[WB86֭R\ڥ"H^%hE"B?im^#5&>mڠr; H/f)$W^5/ if (;}W[Sbh '&oedbi^g ԧ PJuGD ) >z35yL3"\ȶߓA>;xYQ?0hN߹B"7ٝ`%7mőnhĀ(ʊp Q+XH g(x,Ha! ^LFf1\s}Qvʦn z qL '/ 󮛤SaiutCh~m*. @\+#.VwNK ;Hwv@oj aί84^<2uD,&#%kD؍dVb9G&㎈NjJy2x >_g`J(Y2׶p`֭(oB6{)r3Uפhc6`+ *) ^ zwV,IݍW*b<55&P%),He,Bec$,x2ZU(~[u&s&NyޔUwaN 'zt|s؊4XbeaȪ=c] hVC*'ľ dGt|Pq0¡s,W@ago5pYN'wnnct=ȫgEms'8LU6vrKf#74VS Ijk}]ia0rvHdgGhGEYBKo]?X&sqoF,DLa.DC9Iї/MZBH'YɻM9A*Hĩssd,oTtlw-1▟LxAxn?~gψNDdE^CZwM_(%)ͩQEaJTRh6`ݱgYZ m 7I!^HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/files~~/src/HOL/Quotient_Examples/Lift_Fun.thyM7I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/document_id672H7Y' |HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/messages7zXZִF! J ]·Iq n[:|&[zkd)3/۱m;TTfE29lVsTs;(x'!wBȫʩ<>+\{A'iAX ¨LI%Mɫ698MUlg6fv {+߈M(6ۚ/y+ڥntn0k+NlK0MԜ5hsTЬ oK`1=|yVbI-׸2=V3J7_MPLgJ9_nOVBis\dEPg {u"ŝ_E >F]YSH7_V|w؅chs,C.Mgʓ5LO` F {U\UD p (S0 2<^M'yH֨w`;4FB:6;`%x"JAGu[W3IK6({ym0hñ/E-.u>'*JU\;8I` {Av%E,?$o'Td5n;UaȘ}XÁZK 6gYZW 7Y# HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/markup7zXZִF! G)E]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$p!z>i]P6aF9kM 5<}XVzld8$E>֞> 0 s@ܴaZdb<2PbTƇ\Z'`1EKa ]iwTz"g\앇v-5:> A@p1bwaQ3DyUϗ2wq7CrF8凔bM(J͓֥OtG(ۃx}9 :B; 0Y@X.خtT9CoMDžlm!<yO4d `JUZ`Pd2C^ Uop_+6#"1eVuA=pz X/OmʰmA&G(<'9XlA)$=Lq(3o3d}Z¬4&> X6C!_"&Ֆ$E[PnV],Tި\&ބ|N\"0&-ehN51H+>KvWAMfxkʠqzs1@vU ՠ ,ujw˱7N$~#Y7!2nyn|!Q3e&% 4i %<*Kħ]NQh$u`C8cE{$gm)lu uY ;~Br?5zs!M G~expi]D8tV# %[YFBT٣%fH%@RY]t=g%qܠ}NL,s;'Ͼ!u}7JZk58DzRq#aP a#i}$I]0Bxf..\Fsl{@g 7NyTE{(5rk.6f  S hRqN-?6c+t?nMW 5NmD )By灍芑a[3 ]U{#Nztuc@@MߓblormH^ VcEy\̒n&t$dݙ5g#^-`^#rE鱷^Ea}qbAN]P) e*ZXoa`z;)AsFY]Ǒ y8џ7J؁ȥ{T;zhVnlAlI,-Viu԰ 5 bb7^-$9懌1R*-՘|oh.>V\+}j4 fYmjAhm] @MBR1Vh5knslT0(C^#MԢҖsU~;$[X)s:~lC-$PCL2F]q `ȾCԏ98p N۷ F]3DD4)td˗̹'VKk<3VMz= Q;yvdA($OKD@45?GIf O+XWX|n.>V!Cr]'*?p^%V#>=dz_u+cO~S $7 t1YJ540q|QřI),CLʨ^/;|o伳7Ҿ΄~ U0WnQVk2 Bg1/V~77_qE|NA @Rx3ɬW.!37Yx%``0̳)wߵxqБ /E%t::tT~ޔictݏ=(Oilnw[(ړ.ϐC[>ol8uJ V`R|`57m%4(Nk>yCt op6?p>qYE ),㖄K3j*1D_)[ygN^F#@Ǐ%Ǽl\A3r@ಊ)?TP+T/OЂG>pz;GL;TǾdsv혵R@ءL 1eAyu|u*k.qWY'~!iiM,@u7Pom)d}d<@_bde|ee8<` c:VMMyYF !gٓRd#/rP PĊ~g  !dM<|rljm2ن+̦;r{MJ[N=RRJ V%"Ɖߪ$g]S܋LeJ/>>{SS.~XAdh$' e}\se\_0<%+#M$g3[VXdy:31d&!%ݣPxJnI+ [/`nGIX癃OWp|\nVlVT!֓r~E@ccAshi[HO E}y%Y# "?<U{^#{LBd̖jKGjb?-5\J*m#JԿ<-6nPV~h\HpWɱI4FYR(f0yt 6vmp1m5MqMDiSǺ[9E9=4kGZПZWH`?xqt<@[xP1soW_°,J8NEt&|m*6 B%ca7jčIOuLjvp@,,?Dv?>a}0a\ +S_̃s遼AE@T uJkCaj4=9 6lϲy\BcyDatU\`~(/:@Yo(_PHh6ew.zg}]U2*E}#}?bAA%̛A mKdecl#2?!8${4Rz< (IO>֯{{k/#TVh<n#VZp8ɛAu4`:[/GsoOj-Gh@wFڣ!-mBd)13/aVcl-=j,mGC^7;c\NnJ^o:3+ RaLscCNoj(0-驛}cUF M1N!Sv).#˹paf_<|5r%Y-0_9ɩ&լf!Wzf]SA$ 0CUnK"ı2-!DhNrČMQ ȃ(d:_Hj)huѳ7=k:ۤ|Xz 5InǺ":Жݜ[4~a98!8`Uᯙw֚hfũoQ^oP25/`ȵKaFo sƚ}@I՗ۣv|CmB 8(཰ق|$;>N9+v1ջ*)iړc(/n=N^7Nyd.03gL"mftvJb9F󠿩ރ<:PlvF9 |8C3Ę y ‚ q{q?P1A_@ oUK^GU;rk3HJ7>8CQ Ɨak^R7LH127tNaCyFQ{/S.R D8 "/ױgYZ cc!7I# $HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/markup7zXZִF! $ ]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$;X5S}U$+cYlJ8-2O(. 7Z֐`_bfح;wFzYoF|R v`-|O- *^f3Mcsg4U_?@N:0AO 5!|!z;^V Nz >2{41Dހ tl~ &ȉ kk!|T 7: XQ6J"[r.'=O $YoSbOc\1=1+HՇu +ųVcþSa Un1IS_dObQ%C&_4) (2ybtgR9?ݦv"Q pJLۄTLGWd^t,"-{ I$'MXn05lYU#uAz0ݙ5euԪmufzuN*D*== y"bA+L8faL~#cc9tzG.m4!`eCMWwC_h/&Y!p#v_B0NyX[e镤Wk$3@UVyq m eC1m\ໂw4ۧPJ 3&40|Xq&ϕj4Ua "hB*$S;rx h] AvƮxC&qW0:54k죯6..͆v׊Αw䉺͹zY+ NyGNÏ8e]O[Xj3!'쁴mfdh< |=^R˂ƟܾS] 5S;ѵyQU{? );y>vW>ǐ釃'6n}ړAȦ"d|aG1r~.lWJ̊`̥*hghܝ#/-0܄5O~ @!AJB370 1dܰFLI2 \__]j+ҭ17czI4qsc4N.%txpp]CL/ &޽̧<{?%fWo'4hJhzxVO|f2FwU_V bHxyxM*K['7@\t'*ѣPvW(T8E? D%c?8qOonvH4 v7e&[6Z#c*e[G weyS =}`aCvQO/Rެ|R%G*(OKCc fmXW^+_8#XK27Rj! I:aW%fbJЃRH12U驮?K_vheևU\'YHq.scF7ϿHS)?[e$1'GU> 3:t nUkӬ0D.PwtUN$?wag8+u4u߼KOWhec  aH(d׎e`"(GW28n75 3m@y洠+sk)h~ %:|3TDx>>c2!/( [hӢݬ-xˎ<ґ=gnFסA)=$&-aBu폑/?8 2ԯBh@Zăf!=||T&S.DeI(_5[d3pǷS"ߕ< .5s.S~ZM8-Ra;;}8'$cF1}xZy"q wBҹ5huE-"/ǯV1 _uZJa naGJ r:+t߾ {Nf\\DUp-/wo:>;'am4ugS-՜_GEjQC_d}:T%==:  E q$7M!bHOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/files~~/src/HOL/Quotient_Examples/Lift_DList.thyO#7M-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/document_id6688"7I' lHOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/messages7zXZִF! .]Άxʆ5.f-9 rq6c YdWPeqA=&јʣȱ9Fm&XaV">zws])-,{#b@L-Rif'!ݥU\*J]Yc* sm ?2 5SrlD2iA\`hEOwnUܔBo3g ,  ."=5t?Eސ|o6XCQVIPc*~F=aQ ǤQ /`0wI{D t+s{( =O{?ܐF~[2|sq>o0b~[(졮\ۦlՋ~HN ptjBK/f`tʏּЂj=2@{+bf+g!jпൂG/ 5*XStNsgnTϹIch3_HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/messageswriteln_messageserial=10417240line=52offset=1253end_offset=1264file=~~/src/HOL/Quotient_Examples/Lift_DList.thyid=668See theory_exportsname=HOL-Quotient_Examples.Lift_DList/codeid=668theory exports(%7M# LHOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/markup7zXZִF! ~ ]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$;X5u+G4 {C %3,]],Qz.4i(! &K6ҠEpc:bqR@ d!Y۳O<oLStr{zB1DXx-.wzCre&?ĒKS?dXҒ L#Aﻱ՝Э(~AUώչz6=~iS}q^_|Ҿ=cվٮJ-ְ6퉄tU^Îl6Hg۰gޡd);TLɸhDJ̻&m>w#g^+"5UD;~"2/ *tW/tʿ<̘@H`W9DF?DZڅu-!T]#qdZ6>ī1r.mF+\kFZhV6zGm|m3mbs1 M#u4fl6GY5\Q;=zUykÙPQq+6،N!iK4U:.AD,G&:RlI I,©Q0 R$ksjC}ʾXvtF|IxezpC{L8h)_ ַ}I{tpk|!s;tp}纖a'Ooaa+УH0)Ĺy-ݶI0y*s`[ VXoMr'B˺-s( 4G;Mg w/PsU/!hoWb_5NY[%xɎ'ŽiYzo@ 2EgcrLx^QV5KkJ/&ogwշ ZMZ=7FNuԳ=_!U=ďQXxpՃmn֨(lhD`Ib_\=s0ך4 J/OH'QcիZ(kϞzf|^[_ѹTve\C#mS~9 D\ a#hDu<ء}뢀T ^\Ǭr+{=kǭs63Mens::.BGei/TO1M"ffr] ĭ >6 ($G󭞎GGgiaj>po=֠X0s\H]q+:ai3Q)a=}/S_V_0S#+`HtΊ7J t]ƹ~Ss-˸n^Xuze k^BM)ڀ6~zM$Q6 CB\ q%C &n[Vv[9LbD!ũm4T>`JA7TNVZ~זH!$ fE\Mj| HkD.} k2ﱔ YܴUb!@7k^u w m&Շ w@W޼]̪;.,Zr P y6c`c|}"O}dVYk̪=[ n[EdM3ONosHup5!o5͛p:9OFkJy/"j'ŷج򔑟/~ؒH$I8Q0œ{@p ?{B_ojٻL6 bp`( DF3s$1^.an`z8{3 o*P.u ̆dת2&&/ZT~,?Ѻs.OzPC:n; j$Ft V`bRؼcr$bZMȎ=|'B^<DMK1Vi:~%MtM?%}Kk)ll5gɨ^i.@`x;P)QGslvo7~PM Pަ29^FnI g}.Pk&}vvB/c8 ڈGLƂvXv0`;7Fzo3Vd!VPyZ/z!a.uxT2I4x]9 ©y~Ҩ sCΠkrP&jV(bBqe4ZzN 7 C%Յj%=d~ٯ |±)@$tO#߬y t&Sbόx JG~Ia.-|>ef|m$GCG{k0uǚO?QJWL=bKgdSlzYBnݱTVHFu $/"zFL:vFν,2ʛŶg2l4ūZAK fֆsy| ( ~~'s<1H{M q6g{ؽH(/p€P ZPUXwb kw/]\餜C1<ôLQ2gtAvf*'Լ?{er%ˬk|J."zr ?[}$#(@4˭ eȩVI_GZ֣"FO{LbIpugr{.DZ ZJo.B%[Ny=.ba em%kgfXFgYHcRPRn ١D*s73'`hƵ~ѽ^g]Ÿ2M`%ktkw̍e$jj4&]syl*d1~ju〻jȣ쭠}_ՋOTL]^:lj&`JN&fMYgYZ?_ˬ9M6k"Y ZdMu7̢F[Q}Ra0/Vbܼ;̿o!XɢtQc' ؤqLjIS0챱9%4y :e[ 8}`&ZW$3Xxk|k5)]ĦTbթ6 Rč/4ⴸ0b5G_nMGFKS}Kk'ka9.<9(?3P8vC }27Lӹ>d7p'\ԛ E$!/e] 紉lyt{< 4 "JumN͎ @ լ\^ #Nj#D;{JcnsMaKZ.ݬAf &Kr8#L#X-lвFDЕ%srg4oΡSN-DI@ H_#9RHvܑ#flݐv|?;KsQIvq7GF 8#3/0: 9@42Mdf#:}] ((2z[DJfI49}5!z]Ҝ :TBGщLBMA rHqeT 8G[[^hp 3_Njz"+/ȦpppA$>)mF:1ܝnIyx&"OffŠGUC3_WF4D \-xKgBh1 a 3}"mUNa:@* sAͯ}[v Sp6fa\y 1^Ptڑ2gfAZb)ngQ޽M& W6>cv!; 7Xl_&g\:Ds>rle~lq5 X;) 1-YOs" yY{ E#l&_2^nKtL>WJj'y Ǭ[ND31?gh];`n61\W{GQԌ8XQ!,CHr\\ HAZa8m-1+lȴ׽*vA ov62kUФxѰA XV)QUƚ\H 09 sd%=)c`E7sV bEmѥ`k2'gE br+MMTH Suth\Hњчn^3pLȲ_Q% 6!*˘@Яteq1 Oc - @hysYt5rp,}Fp?2/ b|># 4"ɩcg:Y@5pP_o4JGheTqRJf@S5k-Ҷ!B { Wj:$,@p-uTr@|@ mq5'MG;b<Þw8>!}X$X<, 5~nEC`Ulxz搊bxj7A+Sl44]+ei{©6g9S N\a MɅE#qrK%&&W3I%gRg5uoU]W#2}IdYBD@VInm>Ĕgih;c&G_3fNt x3)̒VJ2FrsKOSA U{/v(9ta(6OB@:cH+W>ROY9w˳݋-ʠ#]O3,!1#);GE.Ce,{aaw:wCMFP]NQtkY)ָ C@D+Mk0!%_P{WtJ4مrjlF;Aɏy 2Ѽ雲*ltS-!«ޗ1ajΜU {[Ӆ&4xŻ|C|ޯìw[L-) vlN"%Eaۨqo ט6&՘_Bv_.a܇S%aeKo'xmgR?+pz `T}6ۢ@Hگ:gb΄ V4;2`֧o o <ƨZ\nܯ^fԅ?SP qg&9ؑixk_ JVZ$T`uU+(QHcG>:%%QGgQ㣊E:-|kD5OM:raxVvaskqTR\$A5o]ƣ%P.oi5SĞ3漺 P v`,30l=jIϿ"Hsӹ1wK^jA rqM!+1UbƵ~⒃Tft-awF<1qķA #p:}5`M#f'3d &)eߓ+2Vy S,|t=^Eߤ~qAwlW!rWFځhjKTWRwL3~RdK_B$IlJdaꗚ\\.biR&4?0f?eۯA ,ygn\h{=M o6 ^KV-< ۵ZPorfy#:F#"}?WwГ(8YY\CjZ?+,) .`Y9}|{]G_h\N^ T'? *t,Zt:$î]BV(/mġ&{iHo(4K1=л4ԞOd-HݡU{B$ULV8fQGl%$E Nv/#!u}0×.WLU fYsSgSccR?D YI( 8Xt y@z4=vEΰi !bضe*Jk`klݫkΫ|wMCh[,SG%?,顋l-~.6!NFn\&@*Ih31xYOI,-N7/?aJzAT#0VI؛'pM!(}`qTaFY{vpl,Mf51]}3=8)2{ލ-*΋|NEȬ8%sg;I&sb\0t'ģk;1ͥ}_V6 3Y7ћQe .%s3{o3@4 Bu'_Pߚ_ɥOOD[ q B5JoMzCy cx(U=juY,oZ>%)Qu_Iݚl)- 7! xB2i &U %WVo"!*43h "U睊$YT ʵ K[*0Һ@YcOdMƝ&hs]̷TWJcR4x2ޏւXeY crpm =,bM8SǗgtw>ʋ2!#HXCb Z 9n[n("RX]$LՕPtwW cN<2nYJε .SkR"5[b'1'GW"_.I6**~ӴSFE]vyi U+lK[ =cKO0JH_Z\PIlQѺt2oqˆdYg;K:?m <5!+N`BlJ GHqCۉij[WiMDv1%:)+\ dX?Ƭ %{&1/F'Oq&U"e-k\69QyFE]}ݱJ#ށdHLGu 9gjTK\+=U'ud9K#!d⍙sWF]b4h r2yA]^X-߾[ Ůh6Ԓ til~}*xU$S ޗmfM8gJME);:6ϊlߺP \CRa^!vJnmw[h XFc5 +3=*I^Z'Jy֌Fw.,c X}3QیzsO;(1 Qm荢v@sH7r5H- pDrgm2jׄngO` #eh=NzA1*j©ddpOVs5#ʗS.s=@i=o${ 03lTMn3pg!uh}؏E%n,,/e.x JӔ Cq%$_zp6xٕgh ?\E9(O^چ [gc૕{&Xe]D #eM U}(D Jr['C: H71O" JsLxS@pZ\PfWnWYɝ:|΄[*y[̗w|Q.:z#at߁6 +Tv9,ntݽ)6DfrP1җ ;6;P:Zd%퓄Mw^1wȋr`C-) u-ZjDrFKM' eoۦƅu.*9(gKˆd) @/|cDI,M7\uC_hCH%vF>!2L.V&싁"6#]EHƈSʺDDg@kZ{oM+ ELd,4lgzfo3VCuH/Lxbr^MFX+B).S*^c~>⋲"b$PGs"A ,gYZ iw,7S!hHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/files~~/src/HOL/Quotient_Examples/Quotient_FSet.thyR+7S-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/document_id664P*7Q' HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/messages7zXZִF! 8]D?7 {?:fH\ 2eR,C xPtR\R3OբX:aԿVzVcW2c SF~8+Fx 49"BRSO]nGbac_AOrEz;Ytcwþ;2؜Ybzy-HD8 mmK.*DL/^Kx+2a'8\qX C]hAtxM!{s~<x?t;RhI&hn9#u|vCƂ|+aEge!.t=/s@]h8hwYZ2c yyU[n4 mT; *w}Yo!~w*B$AΞq5yp>F:b 0a`I$ `v9a$ڗ(s^B6 {-| `d~565oae86k׫Кo7˵+8È?,[^ G8]YQ{3K3|C=([-$M86nIhP=U=Lq3oBkȉZzU/Й c>B#l*+DsJHF'j?Doʴcm OE% ddž"oK3/ɨ+Eٱ)cJ#_JM_Eo|szzH G/Ki )n{4&؝rfe?J@i7" ȰvP g <4ziJ#T$S+X_8QhbggoR ]@`egE("Luё *TEv|'fHΟ^90]\go߰Q**8^ā|A Tk90P7)B[̬':48^ɿoPVqxڿ: \2Wx"w?/)o|ߊH>!dL݇?6+;yv9Z(*s]WZ&3ٖQ)ꬎȨ:f69'n'so-fQm:"7^*/ve9ȖOPo4pi[#ǏG5VA$=Ek{/0jwQAu1[IPsExIkO۾aeatO\?;N\"uF' leJ~%j~o@h"PϤռyr}Gӊ(~#}Ќ> ^(Q$XH䱂}<`}ik?N{=;D<[cl_R taX"&>%KmP} `wՓ87At|N.sp=%F,eG~,._ y-&fc$B9?T&pVH`=劀?vV~ebdc[QXJVB~bǔg|٬&;i ߸.=z n `K &~ <ѧmuXM-]E= ظZBڍB ܦ"IM-Y*7DvAL9Ѿ'zĸ7W`~yjAppv3KMXd=iν x4{} 44ޜ}Z-GR?BݚZ~$?=4MKQ8ouҁv%@LzE3MWUiOkcE&В@]!r@ыc6]Z Z^ZF>s{GTT۱xަ̙^@ЁN{ɹ5Kcܦ#߶$8CF05}Y\_ s#CE*ņX,]e[pㅁV_*A|T y5}5@[¢U.g_ ֦@QK="R_*vM0×*J&$W |f]Hkzc {;X߽X;\PIMDT럶zZsgA EDuIV@^u&`AؒK^k-5nc:X$?{Cn<Mg0bIAU\m|?TBX+}h<65Pyd5ax? & P佨=~!q]7xHgIj;!108^p AEƕ Rn8x.ٶ f$cQT3"Y9j, ^,i}CcyNׯH`eZptU >]٪aᏟ3Wt|o{'p8-٢-k5u(gm}^_VsBBht.!IV(=9Y/Y遭+a?Syk/%QC x~iWBSHdvKr:&8*3kLP 6WR]'x$Fɭw2_~ueYM:5KnZM\f{־=S![rTHWXEJ;"Z|98gc8@٪#Mvs?&Ea.i6C2ŪA *2a,DGpTx.mB\AdXCYe!hdYj✍d1-:w I3z-q1 Qy,+ qIH yb%1HkDims$"5LR˃ :9'O~kDZu) 7C%CHR@ԫd]W׉%̦ -(HH~@@*Q==!;w ?MhF˜=gZ=FR*ƍ*xaйAP>4#^G wwx`)hX$F\3 23hOD۴,V~h3?p#y|޽v7A?\Ss֓7)Ik$|k3M=hz1pF[%ƍ;׌װ=o XD,IŬ|sSB:Z]NXN蟭*N=۸ЛU8IPܘQ{n;C_Unsv*SN)6Q}1f'YĮ7ɱ@CmK=Sq>F.@ޙ}zY!Q^kӫ^wߺJ*$S%(߃^tvWS -Ofjw)Dz:ExVD~CЈ;Be 6~j}O#44=&gsQ~ڥpxq6Mbn+u;.defXUf㌈X@%32C9]@C8]uyOIu3u4B+KDuȩUEEYsl8yYb =HrdzPF%*,魢,GC(qwk|B3-eɵt(@ r:'Y̫%n̝'qwz '+/!bMy'$ xk^6-Z'`mh%Y^q2젳8|SsMP=5fH.ttM{H"^jVO)PVB"Qʇm,N" 8k_ζPq,سF[7\^T 9r@)ERfH'o{8ۢ7wgvp$DmiT(/權Wԛv6{! s3f"*5=//>yk^.浦{lK\RI_cDŽ)q7Yo,ȟ8km ڌVNM*N@noyf5=* ^ `d:A@6FI#Dd)  , @8^eL 7> UV0#*v3$qQڦW|BOnw+PI:Y?z bP V ż}x#:/qڊ An 3|]h L=T)8rʱ |5X?U[{tܹ3;OnC__'y'qeI>Ft2{ȧX!KF]w^_omWJ~ai[ )keo?҄Μ zܼwy*Zw±UBgJFRnu"vY~lBOϮcf"W{B=Ϧ`kws8ѸKO3aa~HgTpG;}Xժ';/)G^e[8XOMxhg)+hD_^rsnH槆Sx9/繤Pr:\]ysX|:JkR6_k4L:cEnTԎdkHe$*'_3N13hF:][q! EMFF9tupZ~gX8os?09J1C0Q ġD{O VDD.=268NwL*eWTGp5>!iZX"a"eZ_ ҏ#Y8jVk(#^ kJ; {ȘZQfʸ2GP,EȌQ)6yI2 \ܵEs!}_ ;FgKD?*T%L.!BInQ uf4eDtv.qYCP0 h_[btS NO)69'K&_ua6R<$Y=;KD^y~f hJk2j'a]ʿIbPA(gh:30ǩ,:]wW=R[#&j=O2 fm !*))B|1xg3L(z0e#ϝ[Jţ NŸ1jY(wb|'s,FJ=R RCGJW>hW߃uH= 0tw[˝rKO{HdFW=–:rϵw<{| `&Jtzes|ģbW=\\B;c|R)%ͤ'r?]DRs݄BVKQaR'1`cDPRY?Se(:(dy;HA$gr6j%xNzdw {jȝi!}6t>|Fᕤ)lQcIDuiQ;1iQk >uLaWȥBIXX0&pFKo5PSv >NTӴ'yB3{w#AOnlL$\HQ:TNg }VN`pʶH傂F%R^s\";1.匽a;p'abZ_g){x(1 x >20$-- bOE8>zcJu@b勤qbcaJh =p.`oZ,U4M."Ƕފ (JJ?pKadž7461u 5'-/ÊEz_~ >Yӧ|vMƈtzX"[7*5i!,^]κd(Dth3dߋvx:$+]'#̶L,/ojL#!)hWDXJ-/1j45/X ]6Ts͓[< M0{b%ǿ1lBћ> ,Er5Li8~#/esɟY}&XL#zx- l|V2ވ# Z3)*΢\y *g='Ca7 2 tJQ+0w <ܦ ș0nf| 1 侪j0j#vcqyeZ8iҹ35qF/E4eiz]`zT6z=⾃ ?iF?n4piZLB *c"wYB+Dpz,u"}\2Y=>aj8vl.#6p,v$!AnC_NGӢEMB W#Q h+ܳ:X>qVU+w`.mX7ɸmd".!Jx$Zj#ez?Z/IJ>&XacL$q%@i͇vܩ߉zr./*ׅ% |AW8ӲNL/chL.0$W;3϶Ekv3174N`"N!!y[c14%!#%3D*)XVΓaSȝb AUY^]XH3bOث *3n~Y?8jIIG7g"XV{Fg$H[~QIQX#sfn-pYki㒾wm]ڬ:^QU~@ȥ yCv&F(TrA)*n^> 瓧%YDMFuqpkr\-_5ҵT/JY{QzFxOUE-]IdZر+?(' \} ^C!vU>!;k KeFO^oRG;vpuwJpؼCu\*&u o8Ȁ={Ϩ><=6\NGz:`esVk'}`L+)+[ jҭћ׬ XaB@Q> YSw6ooi(oAU(I@/<$nlaux'+ŐY[ bΉI#rN2z\O+twJ`I:e),Ea {Gys~T/ZxOiHL_l|Qnm^^ùN{+Wz7ܑ ^H%pڿ$T3r*XyEwhyŦ'12'%/QFC]FeTXP7|=1L,3a>׽0tm^pv! 7xAӶϝhA'\N-D[!{tN{-U O(lDﳿR'WX6@jUśHEH3 pWԵ@W}vSa $k/Iza8E[Sttf">:6տ5F2u3\0 -gr*ð9sX~ZAE0;UUB'nN!*͚LM9HϪ W8$N|طG9<X!mX HPx~)8K A?[!& fl̬O;ږ PW}:h@r^j5x)Ҷ>V&_kR~m.8)I?Q%U Z?wlݵrlQ hsc*5y"r/ 6ٽ4Ul> 溂&sTUv]%&SuF)bQD?VJ _5Iqf*Q`!a)ZCKm`&_g[8iB W-w hM@ؚ6zδsQ^kǓ[PCk%~ At-=|=Dڕs^{f2ܼ!B3Юш|Caa͊$dH^3@+T{fIV jU@%c#EP~w[:;ؼ,`=d(|S"2serEb{fm0\E|%cX,[!NcRN9zq/2+F?-¥U~MWu9iU\=xEI֑"]: ԍ݇O KHg\cEnhW& H!+Zvlf^6n(>>e Xlfh_zo= owLjX6mVӃuFV9p {_=e3qgoyHe7n]\*aCr3ܕ=.~n5d&$єJD3P]u0>g1@Zt3Y>}pN 1. O9 |Զh1{Zp[?82_:I6RiKr1AS4>+X)djUfO՛J Jo x%2bP(s߮ä@?wG} eϊf28sM9r}!W]aѢgb__A QƺÆ'ݱŏG;j3JHc! 晏nre fR*΍9U/P]'n+ŸJr+۰XuHDse#et4hԨXIȩ߶*&^@F3,~a܆"wτK(Y'K\hnnEG7o-!d7e p!]d"bzJ8*T`B^G}dVqv)L_os /}+ ]NFmR]H uE q?q?ʶF++q, .$ixV9bqFv+q%c ÉiX#%Ggx2MYKl̒BnܠM}n\^_}Im>3wvŲQӌ(M _\3kpgMۆ="A#xP,»)^tǮ[i*5 xL҃rŷj7TjS0jPT6ɶ'@\oܛT=nkPVl  j#KVwRKqv(p0?t모5ܘSGPt{.|Hx]d-|WaR Y;E x:TF lmB z^3kƻ޶hcXWg@Nz-FZZ9֒nA  PzaK}hq ͥӷKӂAd0C#V9RIh!՝S/ e& ZI77@\Iy^+x5^WmTI)x5';|QϾ6nKI\IFŌQ> &6%$'e~Mv|kdeUnD/?,_u$@X͢xx P< E,&vA Tsڜޥ ӧwHLloj*(bfK>(U.VؑY$! p(-ƾCc#}0ts$?)?_Uݤ]Cm\C}>=B):( ܏|ă7pVxRlNm_7Rw5{w/gl%[t?WU[@:(2 ׎.90_a6҃?a7]Di͡O|^3z1Op}*l_Ǭ~b?bD FXh_ty`ݨ&QÎdyg@ߪj9|!S]W4c{(Z/ =4Ӻp~88!~*~v&)P\= Rg'ʯU7WQ[9tl"l ʰ I$N-hU:ʚlc% u= ) %<gmzu1-Rûʽ7O(i`֦dy'`V߸ipTb:=B8L [.@;jZ'Fy|;ȦK9 $I 3j̤/{ 8EU;ݛYƊ~Z˒0`ē:Lii2i4.YlC+71 b?1߿F g>ǴVq20v ńQ # qzp< хo*5YD~}ALjUR' QH7HSy5BVo/>&zwv r^y>;qT8Pbc,ԟhcr={lnjEVZ/H<9ɭCsclRCO4H>l(wDoqi(Ɏ es1us4|@C|B#&O1v{G]ݯ0USTh>UUL0WCa2pJP5IG(];r( C/kf9oa3B2,_LF쬩o%GhAJ Ҝɐ2S tou{2=[NY| )X^ l`ἙXڢ$HUm~5Pг  .tg+ˍbb/^4/VYV%OD-UU'ڱ2*TwMIr|bg?~x2ۣ,[?^J:L 87Գ|5^gIƂ! i#}贴9ˏdC_cEywpy;qozb~ 訅(>+NYϛZgSKٸ B̈Q'ʋ :KL $U=FnO@- b:ʎ($gLQEHD:?u\r:M7x*BHD"j o"p 7zvv-l-WIgW9[s~ʡ}O>n8f{Z>q^mftOyЖ-v1fZ~,cr ϓ̋9 shkVJhHoJ'1mK,rG1dUQ$Nts>YBunQCeLD_DbN*gT%BaJ (x5 CƵ&0/(UPBH;$Q{m'/#,W]rD!GJ1Z/0:UdFuvQ<7[^WїӂE[H:k3!^ht3+ t;1cJiP.0y5HY~D'9:p?\P9؁^/Ƈ1E=hdp;AOφT3~?t}Hd?H"VQӻHE~#C\MwV뷏tlor2γk:ǔ(?LZ*]Ce1ώCA'kevzIS] Ԇl|kzla p8ahCZe!I [b7%`9X 4_d|S{jȿf Gl:{_)VD:H]b<^@#?LJ(aE5i؜U;_ J~ιW58;3I%:c*5o1bMNw#&vh4&%޽EFo uV9):Z-y-v@AjgnOإqA74j2 {LP+ՋE*~镛ptd|q$d |iU/a{> @X4r|pGhT qXɜEq$N!wDP|qyF2]!{X3*Npzpmg ne`O։S顨 M&p6$$`# \ hn@ND϶3ajdt U?o@ӡdDBćJoڂi{H|wU3 #~om̅ D&4lxfo*NEU d퀇&g ?Wl5"5GbH^8"[Y tYi9 ֺbա+GT&𳎺^,(,e5"-fr tZ# M3-^pJmPu '9c! g%^'%!LrzpO1Qo)ǩLo /BsGaXA~RʈDZ }b 20J:Fzi=P|-g0q \ge-ƣqEhr#j2ڏtfMԷυbϫAXdU$!ˈf/,{GTS[[a>-x˴-?:&̶FīAۈ볲1膬llq5kMDn_SJվ E4 vi4K}<ؼIw0[_Zfa$wn¿j,F c B IQb@ctjTPgQ"A̙ IV^3zKK 6#;' \w;bф|o6U嫒(4^b}]^ d :*!NtG|yav +|܋U,l8 sio39FIPS xq0վ+ P k݇d a9':yBJ{&sZЇᇜo;%YGgqf>'aBPɨ?DKBt2ffVg̛bgVwDwI5]c(^{0گ0Z Nr=\gq MsZTAL#Z=Hx!ڔn̕VI C]Hyo $B+__v1[m_unD lT{v+hV!UrRף 4h O^ 6}`iݢS,#"o'cهvs`//<(A Ⱦ37x|y@*dEb> cl;ЁA*\E9l/3LC`܍ O0 //.'/ BU0Y9l&9^{\RPƷt^6YbqCuX|kRi7|c0;RvʷȬ'p;Pfj [wS=TmThT<yp/ 6 @pNEǸxҔ5.@3}2 ̓=j %ipŐ'fT]Ny| ].?Xv\.ԉ~+ ca0GTBY`^*-:ilV%w8`ZbbMHԩIg\၀E?+1mRn5yGzM OݬR%:Yh7YRlWfp Zu1I .䱍i+}MIqbVS/4UG{AC4:Dytԩ%Nz3ˣ*rI@i{MڌD !ť{FZ}.h C#a"u(Ns%za>cG:"qP^)B"u%" ȧCsa=l4.h_?:^kChS Qnͻp i>0ӀܹsLC֦+y/ Ԭ4NBBpB֊ڥQb #"PMw2w]F((g{5+y^a "& U=&Fs^*?޶딅~w|HѦ,E}#~`j"LCC- P#ENf_*ν<Qgw:8ʠrT{+Y4Ɇ玜/(Vz%`DjI|=Iږޘg.i=z~Xݠd|Z!W#p`>'VCFtjw<ūhN5*K켈YS}jɊ N\̈z:1Tu M:|ved^ p>w"ta8=a9zFnJKâ2g;5dFs^e̹\M}>CMA"h7D!7A!]kMPR/sͿXO\Qq|;kŸ|3jd4[7CLbOW&;?Q3TCiXPWǸɞUZD4.و h?Чu$ɹv02mScc۱o"O ,u#K1k~L؛s2$tfDXCqVVz=]DPVܐ=j갫!F,t ݰvi}Bޙ; <}0[o4i:`DV:Pc$I7zq*;';sE<BDJniıDm- ̷ >t s &:2_B0CG焾(==-k_I.,iO2|{40^$%쭍G?J}zf!YF4sLiWjZs;P/@تf~ S)xȡ%0'H!q/nP2 ReP .yO4~JM|bN{gW-ɦQeE>'<579Hdɫ]. 1GwʃJM j[z3CҘ,%c> ;gqLwE/rtz1ɖeKV3;>daؘ+MdzAJ9HDVf:cH/XJ(oWm NAʷg(<% P6!ULRcA*o[lUI;hB{K/OrvI.RıHd$Led=eӇ@D[#쫔n*p_v]p~ J. n% EW!]i%b3@7#rA8fɷMk$/Kȷt v 2.mUBQ]r&gLqp 2DY$AuVХ\$8$I;>%W46j^9- 2ˈ-wt;?2ipaݙm}9H#QCTlR:Ǒ6_ Z~t۲e.gLkut9Ri+cb([#40 o Pge'ozAܯ)^R,G&npU})WS q<+g^J6(=)clpҢ+X+8ᦴu[fۓQ=2n}QxmUVf1Z.L>ųAèU#dseѡoRJd$ bPL񏆨q)sYuMӡRi5zOZ`x,ŧjqéH. ^rH'ǜ[90oxV>DJsn Yğ#\Ĉb?pkN`Z/"[4 .jF$UR1TIFKNX<]"X_J8 G7?" XCO@htĜ% v{ŖTɤ?i|MMU{\q UKVhq 3Ο=dH*)C|@R?A<jlhM6Fԟ+12$tןY Esf8Ji8φniwOXL,T)+;V0+FcO4m%ŬQa)ꮲ]2 9Mk} alc +ާx,Q2Y`/dbԻLZWkւDxxl 01𵓼gm# N$f ډ?pc{o0SjQ8%qyBFֽ|݇@.fߟ N A˰+(uJ m bbMҽitI*GisL# ֺF&*!Gb`AϫIE] um~E8"_U=^P$3SKk 0pYdwlƓ4On+)-IDh "q1(+ĦÊ?5+N;5sh*]XͅajF^4HUMuWgM{Y$†"1h2S; ƾd;AP/8\JL羽fm+™ `[ ]XCw+(r"yej%hmtvky0>Q E?%œ}ePFc.er28 ߛG ?'Њˇhezls棜'U\:&c0͜xY)`f 23Ë`ԋu{0sdB>=84i[X{HlƂd3{^,!A#O[,+×G ,֩Ujңn1H;T$NI ]c;=VtۓT'-ψ<5*AEXXg0iںw/?V.JE41r=wn}H"k[@1N`B<ܾd WDxIK됕F /ŞRs04ABa675CWd1`{ɍIA&;Ex-^ :cƅα=x'MP>QΗJ3H\G {ڠe 7j^D>DM؅zik@SL2rQO-o]"zOCcl]1rYfq \DI B..L?W 2m"!$%;f&l:i4y4X=O/X1e~j? jAzcyT ~Paź&l??Q !1F#$sG}?~ .H_T Y`qEVh i2mD3W|Fo)Zk3Kmdtв<ԙHGYUQK}`>?ԒA)8S'mxE8-MjƐ7NM8a6|]&!~Am'\7R*art%>T~x-K)~J^8GejgyiA{黥N0Ў3j_A>t#f2X)qTVUY탘~ Q^ ub|r00YCfIҚ@t`/hO[1%oAI!x5k?: x{XcU kiYrPKUhSmTґ0FriwLzT$'g#i[;=Øyn-G~kڧgw )RS/=BsI$TJ+Ʃ](Oƛ6Ūد`9;= 6Mi}b-\Ye^ksy穢e*%3BhM{G?bCThCpE^D@$`՝HPD~) 7AN)kOZSe> jl.D ג2աubE1%asp0q;aM~LOx$v$fsE!q!}s Ě#0 Y-_nCXGTw)eI G6-n*z)@pkk~ *H$:2*|gC3+2" gV=|&ra&|y!' C:/ƵStw))ET?peL7(7qR5 d4"k}4 zE A8X,7C##@k/.Q#ɫn(u<[QD:OC2- òO*c= {Nk܀a*u6n081dU1̆yҖlaT]zT0~E0?27[7]p}s; YH7uAh"2(.Uv%j6w>T٨s*X>dp{UW&O+7QDzΔN(`mUVJw6C-UMiĤ9X€qJ{=-/v0Jm!=8- a_/ͺRfV-kaZ5/R>kB`zB)i9DVb Mj?G܇L|snU32utE;5'k\'nqu 02&O2/i#Sm>U?>"*-j@mZỶkTyD7EnM蛦l:w2?ݛ_Hs\ɟ $Z pi>qa֦2ɧedB]aаTt HMEy@?!<)o66H 3ZW@ΤgIGqbLS/rQi2~4:3Mѻ/TqʼpӡGY4C m/39@&<5KM94滵i_%sKu1zs|lCcާg/D|@o;:v΋07L|:ϱ97 FyjA/=vH4VJwgPת7dTWڥX`1xPPXƘ4Vv,U-}q?`rn$$Pp"11r;pbW*d*O!xQb&e~PIJmjk@]Q %/u6sR":(o\c+EaxEx!kAs2q֑S <E/XK~VNI})O辅ޫzTA:˙ ٭XZjӶ>3Dy7^Kg5~יYWT(c.e1:7"ZEE1XD zgyyzv~Ik83)eul| ~B#W(;-vwymO{oq1iQXX̚];`LAtW‹z$4D0S[C ] HhsJ>ۑ^ aIT+ŗi+`~/âڔ6m.Eά#?tD'7x3]S{p?8G X]VKaS攷!/&>W}G*KXHNP`+TDZ*p{! [Zhu^.yo;OP(6HSWxJ`\HubmN/oѠZtF6]'EK# .MOJ2T~ u߻!J7h_/eݝݽ TKrt bhZI,wX[;ٚFb6Z{T)>V^lUQm Fݜ ce7-7+-1; ~^#b#HTx%䙚k1]ۺ^HAyBN{pX%%[J$5 8 OθIrQ?$-i/gxm"fe->Y^_tj-0hPSKcst&g+$f蚏hը"~F,oɗ1H:.Y+8h0Z'JgVu9qsn{z+"ͽz.HȤU̅C=r˲=֪Ú'݇lT5噪`y,9s'KjC 8hu!\yT!vS T9DrH,D~s{3Ȣ$q;G]cA5pŸ̚_-\Z~CzL)`4dp3f,2vgv^y:²_%Nϳ.L/GUibd9Z^+1;N>Qiy?& ẫ)\L*&z~!L7 =0{$| f #ޣ3 20C/v!&{ᅞ;B}cڰ`ܭ E2V9rS3}Y D7K؉Bx%0pA6os;UU0>$Sc9pި'yڇDeΌzC,!DzM%%]7so1:{ U66٘Kw) 'H}\"6rwhĮI=.5Ą+bqMO~0N L;b6*<(U~D]kia_Pl)0 S'fbb@^Q@g˭V "bQ[ kif(I0SEU5–2~IY!"^u6ؕò*M%"sA`R~;84\=qB)#< $ܺ^djؠ@!ǖrY8pS3VE@ª9urUڛeKW5AuęJ 8sRbb0ipjmTcr]8g{xmTScWM-(kc.J ú${ Wg0I';퍱Ȕ̯ ZUʹee6)-F+} ʯ53<{"`g9oOlq(?fR1h5tx'v57֧& }AnJҩY٣=U@3l͎w4!(%)D_7 h B6aeȋȶqо5ߗ5G|ul]\C` xQG%d6Pv xLGzyIS?|T5({SFDV] IkkLѥH‰ڟ@9t; ci*Y7Z[符|<̻b k&sXxx`Ab3i'eeݏp!snz.Bn%$V J2^zc߅C2f{]`#a+ S"¤~?,YkKl=Z8D4A'191u~ϹLC d[ ܹB=$ч,=ļZ`OhAB%P,}yOLt2UJ%6Flighև'}o4nMT[A8<Yjz(nD6p3l9(_ p:[Ydg"2;1ݒG17}>:+(@Eft ̺ofjj&U)}ӄ ~u1茧!Z=Oq>|b1hN=`ft " nw6NC0i ttz)bG&S8Hk3ycR}υhd׆C$YKy KyL:2Ml;z?.3z<:oK *7X\􎰞 Rةwiˏ~#,27$CpAhڤy{T>Y]Nne8dP˓Pe\v=@[dƱO'/HC:;x{*g1&OP~^ELZI6M0>bEy(T#ƮFoL\p}L6ns)fy1[T5,lF<։2׀us1nTp]b_|Bd ˧pV_ xRV.& F]-$t}mayZZ.źyNJ pP6LvnMt^um dmmqܳht/K0(r_YaπXBӪ\o-בz0s5jzыh<>o=k^VElUw6;/ D}M2WN S# n KK,%Oz^+YеN4A ?`C6H9Cj$x6>gcu⟭D2ǐ脴76|msXr ԛE>f>u'%5v8Rpjs!z( }=,`yɹ3q Y_ߨހI֊hu g.ĐVOnq`дa'ze!V Owkﻎ$p6gZ71rl}*; y2_ߺ2/Hg&ټlߠ.wпǛ,W@7X l:U!54̦PX$`3倔=bTFa%3#&џȵUL\nEB҃MSׂ:APY;,K֢ >dHf2(+ɷ+W(P k3|$=VIgW:kmA'q΁t_&2oAD,Q@v.7n(>1L<~Gҡ ey=Y!A;f%T`!%bwq` Rj%}A;rOIL5.nݍ[6#8ǝg!UrI9 EqZ 'QCi7-2yue W9katc+oXFE*bV;ٻ~M꿄 x-ۋ%*} >(G3O0vkIS͈Ul]GssotTe.,[r_.8ֈk xwTwuwvTP@*"2ܽV‹3 4vcx>z)-VZ~Fր'"  sDڦU2Ԙ1yd]2^wg3M<l䐂QB;1H++Mjk6d N93*<$ naj[֖Ϡ ]`J'{$(i]/y[o Sݢ)LA'34Z[\yaf"-jƄ '~]mPтu.6\yBpDi7vWH<Ka}ܕѝ 09sI^p_V1KȹB!sp;~#әIIH̴hcǵO]u=/2Z$ޑH]xzԴl,IV$x'4|M緖FNe͔ *ײpݳ3?7iyK˳F_ÁHU[gL_IY`%PKO-gvxt5bSS $: Yxx;+1E܇(G1@zA0Ǻ,SX=h5K@"i+m g]Z 41iT aRB:tUB}TI Ms`q uwS>K4 ߤ5Z6 ?!&eO @;iꌋu"ǡ}1H{-^ ԣ"V{?!@Ϳ)Wm?p)׶0":-9't'T\3&Osٜ§{}+YƧVzvl5\Wy>NWgel.oaǭS-$| `> GYٚO]y>b/so2 *(ڽf&1cbG 6p{s|ׅn-=*{{.rB7DR[ ^v2s s}cڐӏu– 2g`q.c֒Fl2\ ?G9F!JG)I2*)qU" 'XQꖈOqBJ$:imx !M@"xEBL%z4BI*cq~EAvuYRrgeq 7^dXQ8IL +gJp}ȼč3[@yW(Ndz*7 ( QcS~y6b|)HxI_gYZ  - 7S# 4HOL-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\ȐxH6kUhZSuBc(,#oUcfy,%J5(' PD M)xU׌*҆㹾K BegGjk+}! ֬5XM쏙 :G HL x'0eUulׁHK.e(F>OG/45Gނ,q'%;݉c>B-h%hhmO) i6Tހ9#`2LɖWK5Ϫ>H!bj,Da6NmsYARK[7gkSg?\0?c0rU)陇V(6CӲPYy4g5'/\=X#F㒽FՌ#+;3!2z!e(Rmu)@ ɇV ! O3߲F=l:gg:V(W@ IZ>'nV-R=FZz@  !&EUu72:^>*{Ή\kfn߫XyBέ~HH}L-s&4S蠁af"5ڈx.z >lwKIXz`F?+Lck x]J/ mfW'snN ;7\5:sMJҝ ABqJK~ gUa:-b7ٳ`yCtQr\;`ǭiD>{ՈN>NtJ[?&dbԱcbO3ci6 \߷iAֲ5mJ7Zvq*;@s]FKL%kywY,fENl xW ڜE8!˫ƤMUBE@p8)7,̟'\[Ӑͻ =B-O*-Yo Z; m1yMՃSjүՕxrV!%J!kÍiLݫpY}sV+} 5Mh;^΋+WM*}2z"Sk(|ы*iIFbcJ YKYƽ h 6v1Ǻ;6+B7^wA ]07a!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_id676E.7S' |HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/messages7zXZִF! p]D?7 {?:fH\G!pY)Fᤛf!Mfh6?i0)/L#nZ &y鳉J~Is[ٽjbİ܊_Ss)cOgAU<UŎS*3HQ]:%u#肌tRjap)JS^dQC$ō2y8Eo̜1$zQc+oLzgl >"X][9. ;f׍/fG.&s(<gXhvMj`;rbd,UtY#h bQ(Bf.GquA\R쯅z-ReW tԍO`g\E%ڻ=-*h՟{7*m'jh;a8$LhCzGU3e1ZKQ,/2I"do\o#1cIw>$/Ni 5 FW/}b@HpDdco@ʟ7eUӤ-YZ4.PDgJ!7ll CI 46Ez].jTl~~W./SsU}U@G;sR_0Ll!?_vkfPt#|jFt|wL8]4aARq Ϛwk e )1Nad ȱBq 4S,@[dl.v 1޽hRZLR*4OT}u(J!=_K)#e+ԃ6UUt᭹S"_F1'T ΰfk}gs[@_%~f-$`iys0K耢 !rv8TB&74pǡ-(g,z?*TMhL}^QHYe*o>Wphx e l@:]|h:(-0TO+((_kwSb+v_=XOTȽ;ƣ?14De ,6cUVv%Łzmg#xn%9<*֓B8/8z1>Z챂ղ.QSi M"Xr L= h(/4}1queAήTȍ;uưlaOǴdC#L ]3[wkSGA'>r9;; 2.j;䶘bHqZܞs `D).,5TkG ɝɥq6hx0 i^W j =/Z;u6Y|Q%m5#Pf2TsuRl Q̰ ZB&JZ1,{率(frܗp{bǿ1I o:cȉWK(:-fsPQwMV9 {ʓ`NKw c 3>E/3g'-lzIL?٪9fA݉'k WTF`ITj2C(p]_ i.z\o|{:d1x d]xUR>h.$Mf*5Mn2a;_ :ލdYa8-9d-)Uޖ^c[^Sq/I]hj6W t0sOJ{㈷ *ZK |gYZQ(!9X&VW:2|cIjZsiXx&0E ݟjHaCbU'ae ,GfvVP||<*@g\}瀌Cg#Ɣd[F'xa$T Wk'`i aO3L<v1L6;  ~@_Q>3I7o$rvY4Mbآi-̇3%afG\قFtCl(弶5]zs8&MϗdzDH߳⎒1v$$x|ȅP$xTm V/(Va4zv0߁О@B"639_[=MJh@[EJm"Fy t'B34m;{%9bdӅȻ0@cj9xGe^pc-%܆Jf~&/E#\yoM5L?'- .x nȳzeµ˹6k]w7qIҐgPi Ti:u4ɤ",o _,m_x%AT m|X2UCAoD{o7)ȏf G6l~wl{4jiWL@+G+ 1=ȴѶE4:FTXtiMg#c\_NJ?&~Tu-eF*qn}BV:ϰkvI@R HXVH\;$_Repb#ZFsFGGw!!ws=w#JZ[<f4rdIvu,t#Rfmui}xNSTj_wD f9Jz -Bݿ W>'v341I-ޘ笓;-%7w+.7^aAHPeP׬uc!rW2N^>t2k2 sJm&%V]9g. dй 5\l>>:H7Sq*dN,Z;wssK @S;JT]pl44훦&=!OWkZI3suyVЈ+lB#꥜%61tޯA9>u4 -rKe覰 ƣQ'cUj\<&"Un ^Ņ<#2^:NT0WTq)gZ&gƠhe{arˆhKϜ o>Td(AZ0{eg-7;I(},MCCDR\o<6߶6!Z]_e{IP?%W-^[S2`ѽKaGgxdA0v 7,媂'e 5zCByI<(y'G˪E%m> ~2eG:.lk _c̲Yx'߯ J vpxrOLy{Wjnrc+`yM3D摥J`ɷgPlCƫa#DgMX&MhxGV-OP+*2( cqrZ?u 9Д>Ƃ]䣣v$z5NΠy A5oGʏJ ?$5wdʹ4]ڝs}6R-c4E{{ڍe P6YN 1# KT <򘱊j'-- h6*s]={=VS|^w~<꺅{ pqa>wgtMqoTdYZǔ1q}<1+~AԪg&7n-=J2bO'MeB_F}X .-@=ul94^ߧéܫ`]pfRߧ")fTa@X<ۮ~®|cݫ,0것<*43v0κŵSh`V{{RJ=fӨ[Ë+G,=;W0uܸ}4`Cp[BQ@ܑq#.žH‘.!fMd$w8 +r#`q{@?픎q"܏~י"By7k/)vT6&|sP8;U'T֑uR{íG94 jKp8UeG'qu(q{`7V}l׳},#qRvYUm(MrfB h/*{Ƣ,i,_*Oqd\%zk oHE;"FIR~pKȳk^QfA=0+wn*bSfS荱= cņy9dV >X*o3)tWCZ\i[E/CO),0ē1 =}kAM,`ő,p24a` ] e<˻pyU|:&KR:J2,ZS?)aj% 1o ؙ6WA4: SR?(QMғS?nN=ZT\E=?H`M 0:.r]amJ<1ބkעk@YA)zHtv-쁫؃j'{lڄפ,EZ] mabDDoZv];CKeѐ>at}C`/ SW1#JrU6Yڼ\ڸ2M*dƸFKR1OY'1%|g2+#[b9^Tٳ^j q= ѾA9ҧTݘ\E9TwU, EĜV6@t~CD J޼!iлX)\ze0hw2 auApneXDKvd^`lhi*&3pLhz }CnmwADcU'`h0[s)"7_QR,`ԛQ/EHGb`D?I7{: {gYZ CC217a# LHOL-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Ռ<4rcMzmu?dlFo> L{^7Yݔkd$0X(0 3̼Vxi*cex_M)bVEKq)G_R&OJm*Ah85wԲ|? ۶ bU.t%hϭX\];c"<ߒ`QU>[YOK筪a%UrQrWZ-[d}ֆJ;=&TSK7 =,.l >x0cil(^ ܽCyT ڀ=}ZY)!Ͽ2= ~Bz.>U9ǹ٘K3aD AYA4քPFoD)"c/nQ>֕Ep:8ٲښ_!d (dT]w`K0gn^bEF=zF]9'ֵZqtiws5 aY,c%Y ̽'j2y zs'(s{$ 8;"9De3۹G%iͻ`[Nݞ$q>W'C!*/!/aՊ.lUj*IH&u|,%2O@^ iVflHE)b 79R盩&҄9EjW,PKzT`OmGLl]CoiԀɽ@TKs։:KwE!#[յ|f|dE4* +T+NG_@1t1}OFFYBoV޽!h(vm;80$u b#5͜Ӫ̓ܠEasMk\v=>Y0Ѡ\bR)4Lј'x'xViu,a'#-rj2XNH d:kI8aǾ1SrxܧNug3"Y1zV$}}kZ)7+욊:!EH(D O"u"Q1 %o~<wɽEן] $<Zh}n'l˺w s5uT51V nRIvߋN_M-Ŷ[m;͵%LLt:Ss WkQ|QXt<#XRwbX)qXWe%ͽ9z4tR7BaVf([BMe"I1 n+%ՈL`c, $5,Sv=_rP )^\ >ݙ(gbٿr塌ajP%^JudȌ#ʳc5jY{g={{_?㉁vqF/I uTbHn6J\y+V+‰ .(q/cNqRv 2"Tjz|4eJ M 8`HD+$ViZȕCGZa*fTLgSկAP$< T/#FZOYq;v8uBc xn$t5|<)~A_nWHLS=N$kS N`J>?c|A~m jm4o=4>M ?9s45n;;16vT|T0Ijƣ?} ؎HcaZgڼ#YCz TDN,L$znL  Y *57I# THOL-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+IJ@(8/wivLZ lKl3pƈ3rn{)lMuI+aJh"jo4)]BD]=$0Q}2ha=/su/Å)J/ 3zo])R?"M;"A|esX"|]꙳Ju `#cQqyy2-5^ps43ܲ18uZoQ^2N=^s^ 7&'_rfqH<;M>e;MDpQ.: QщlUYyQw?ISfת=&/į.4fCnat{ߩ? cJ`ew Ҍu0~gNkGz?Dd& ]@1e=UI< AD' \rrnYJaŏD0yn/YMu x^/ҍEg%r3}cP5np̡vX+(#]xmfCQbˏ~˄HI07V@nƯJ~Ҏq`h ^1ݚd|G! '韏 Rr?CaӖə8u -Vq]Agb6n9M"v;se2B4T򣳃&Ұht} .l?61b0{_AD'#s==D#n("=x TI!l5ͺHXv{vǨD!Hb96ds!n՛ m=ҷGF+ ܣ'Ts6cvٯ^Z™~xdV3QlǽHBt8\XXyX_,!-k@ p]"YMEJeAXu㍉;ġL2R$ LAO/'biגF2Ai[AJ>v@+KkTuh>w` u-ICݕ.kܱ_Q\6ׯ4eKRAjscj`dRfæ˖]宖.~+Px&D)/wknZ%vҺKL"U6׽Tk(KKnJ WUOt恤L )À.AU,lLOJWHzkA$~#7GT DPv$؉ E3wFXtS%8尨OUb\Bp Q[l$nM]s0Jz)tP>& 901tUy`YV]yJ)c] bEaG*o`xͳΰ_CHscts>aBtY ;ozk.~%k=buW+aa&c.^idnE,Ķ}[6u1. n(.1 ?v=<>^wwWF^n5==JF(O>Lc !EC`L?1ѓ’^S6uzEP(RD᱿'/D߬$ipwVzي;Z*$%?/FOvq~zpqX []J%x3W=z;rSGB/J2{W*-X (#MٺWi.Zᶖ Ğ7ŠRP e};P.Eĭ(fPL!1:I#kW1w6J=gYZm47I!^HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/files~~/src/HOL/Quotient_Examples/Lift_Set.thyM37I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/document_id674$27a' ,HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/messages7zXZִF! ]D?7 {?:fH\n GE_g<'%X#fe]ʨW|m>C %K%@m\X~(Ep;[~Odm,JcR |'+үL5\%7?v>~sM<{aVFw[xǛa{ō@I-`؎t'LX{ڒ WoȠJ?h/*Ńe7P|tD8D٫ܯ\QֱBڊF^DSسGQ6SY-ΰps׌Qґ# "ϑFwWS`ndi8EGQ :cUcyp4Wr66(ثڛSI"B+m +A#_APePEe,z|k^KNJY8`zgEnK`Ջ@O!OEPYzpd#QMϮJn߈Y*׍ w.92{'t {aݿuVziѴ%@2V9{0=t_ĤJ"7UAN6kf@Ҫ,6Nr"Ϗ ;F_ZVn:n;9r4fGWiU-snls"6<@IB7owmE%U{+mUճD7nqYV;>sjD旉j8waYͺ!uC H_6[= ӕF7 8%V11*<]g$g-^gYZ ~ Q - h $ Pi q N  B4, ^ r * rD\ AAD7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/markup5C7I!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/files4I7I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/document_id3\M'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/messages6H7M'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/messages&F7M#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/markup%E7M!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/files$K7M-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/document_id#F7I'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_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_idG7K'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/messagesE7K#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/markupD7K!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/filesJ7K-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/document_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_id r9)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetdocument/latexO7Y)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Messagedocument/latex r)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setdocument/latex S7a)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_Testdocument/latex D7C)HOL-Quotient_ExamplesHOL-Quotient_Examples.DListdocument/latex L)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Intdocument/latex I7M)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListdocument/latexG7I)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Fundocument/latexF7G)HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_Powdocument/latexH7K)HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetdocument/latexL)HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Ratdocument/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/latex J7Q'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/ Y % pY9 7C# HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/markup7zXZִF! $E)]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$;U+x+I9( 7x4uvԠѬɽ˹g""#ԑ bˮky WM6x Wu[է oՅXC`]jiQXէa|?y}K0z:zqƪKU8= Hlѕn84y*<]ufgǀU0]=^t$\0<\BVKso3WA+|RLJK_cۍ, )\ޠNnr+rEsB0tVX7|X(r`$΃cڤ4.՜ J'c]k( `v54xϷӸ]P q!w[^As١s$dnT3m`OUn6:*O~l.!Ewwp+VdFiI$5L5V?kE$qRY rgE FE 1炦QRsFB:ZEZFZ'WZzuTgE68OQ-Kj) C1:L --:E 0`L!9b5@/_\R<,ϚS$ e5ͅUI1VgsE):[3ĶB|iy;u1!?AJՃZW h} 5">|75@7> !]¶x"˼ݘ3ٺvReC@'TLhՈV H7K9E$=5 ۩l{ cNH3MYgN1|`OC:4{iJ*?r{+@Wxg/R>)5wg%CHefH&mB0gu%@lx+1rt;Rt\*/'*CSqA X ĈCh3A`ڝk\U?|iD 6^4Sl炧Bs *#~iV *z{B\!=^Ϭfy"=_kW {9ý.@&!+ ?uX} Qt8]Ɔ~}ӑ.@9r[M{H!|~~kǎM6D%u`OQr\]%:P%|mW!Edh_"g}.q%olk 8M4e]?sy{|t"Aw{V p.HINS*R.IJ":5ABwdӳMYˆ+Q>Ϩb>3R%CܩyYx-$ݙ;R#ؒ@x u(!8v8&rVeǀ6ЄAmw톎{rSV{8::*9RqU m.˧SvӢPcL˵z]5cSKχᧃŢ>K)JeUr'vS/tKX%\5^۬i &lwa"ۓ&q,d@ٵ̈2 L=dUjxjx)83Ǩ:k°x%QXRh-L*=3m/EDBۇ7Xn-8]L@" 61`NahZg"Dא;(Xyx99VN8o>[/,ٍ[bǮ6^ GNY u{$9 V!RO(|S,dupRg87C!XHOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/files~~/src/HOL/Quotient_Examples/DList.thyJ77C-HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/document_id662X67I' ,HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/messages7zXZִF! N]·Iq n[:|&[z|-Jtӈy #(TWۆHndڪO@[%1d!FfEFf +=G1=F0~>kwkU~ekB~syjH<&]8XļM|{WnBOmS f5@8/9V1jH}d VKTL(m*9f5J WRjQtW\3Vu]PpB<8N8ԝ60Í}u,NIAASwOhr̾k0T4дGʹpks~Q8n[p5uӸ~sToKB.ߤ3hVa7!s`Hw)]T''°Od[:(,CWWZ*m 6?ҵK( w: S5 pyyE|?/=;  OUajQ t- k|zT¾GJ(FTne"ƂnOﱰV_ r P9o0*$\b7}'H/T x~~ꞞLB:q''`׉~ * 7jZ@Ƥ݃ 1O(|+`FW@1i8bCf=7hQFEw>*$(~X+*ZjO_t ԮqY7!{N4>C^5CF3@a֟ش9'pZ ]`v{AUqۏ1\a ;:,+~`hzaR, =gYZS'\Ƶ;fPqHcX!swdde:AQM5\{K}yG҇3ue`t'C9jH]vGBlE;-ao_,"RUb}]w$Wt.ouQ*jkvBcnEZkaWȔ#-aӰ iZY$1OT/-oBYhy0B,` 4,;x,fp+wAsxfa%(CQđ$ f$vJF]saLXK!qIn1?)R̻' t!#9,CX^9E=%48pjDZ%煮3U<){L*y}G 4I}~.mf2N5=d g1۳kԸZ0+FGhC/uSb'oݙS0["Pt!SI\zW5u<΅||. Th[N !'2 ygX<~|U ׯUsYdC%&zY2pᡝA]m Pg @@qgrLp8GAilBN#Pf(q} 3nٶ4o8㚪V>\{ ̝U,B;Y#&.?sYFT薆!mqT oC8ߪ`Qw3`Vs'De/q"(XsX׌#w'# G ?@np_Q\=<´pnb<L@,m3 7p-+Jn_`-H(v/sXZU -Gp`V0h=7VLN6tL_vK$1.ߞ@)ʱ2*bGvs#Tٷd+JF#kca3BPNF깷OQ:( 11ѿPfz/0#"R% GJv2?(ix'\ZT8*ׅ<: 9=7PS#䔬&{pFA yH8QL}4m8;ON)mVG ؎'p\|Y?Ҹn: M6V5*gfcs n=AꂙRStabAT '1' -F7T+͘L~ojBl$4esJ#LW9CDv{#."R̥dF|} wgp_֢ Z\t\Ck[׋lՏEy*ٸ-9 "CB*hCD/F=2&]dT;@ 4l6al*N#2PX?jy\BX,+@ b3ʟB0X/7vpʬY*>fsEU^c}/᠟QWq/r]HY9wTRi,L J= \*{`8DVszv];3Hl B~IUg. Q^GG(b-~t-edHn ~FWE=KU>7 _%ASXK>y?k iBĿȚLcě Σ[6nWb^ی_S?|+9(&8oV(Do`{q!h\PyW6eN_e*3jE*+\(CH?zvMbb X}l՜2ESϣ ψw* G~6M-ʏ4̬3UtQllIE`&|,OF@OG1k`L:+d&轁TzEeo{2톦L) \h7eM[F]ɓQםX}.VeQ[\n\u:mn9DtRMדV ҟQ؉Hf#TtHP闫 ?An`aj8q–SW Xj%))Qs./8.ŕ3^w r6:E>C7p$m6!^d: ue DL^Z=čd츼MĂ`S?TCwQ=kRdl.yxSxrtoxep"5,k'm\%jAz?r.Sxv9=L*UO~w~qx IڦSƁ< ;<%[QrN޾ILoWhpڔ={F-/]R"*b4Gi6[;J.Ԫ,ZʟY(Lƙu.$n΀(R+9dwI wK-ey}2LJjE¸^+kk`U e+K c݄/H2q}fsi E`0X0Zld O9eѳAH"Mu`&EH\7r(>:75IJx ]i8y ,I=?^7,Xvg>0. ΅~IH,>SHд'dOs@TˋD;eɕȱ]50'V=UwX9# it&ty+90O۽3@p#;Sދqf"[sm^++X'tW ";rclvLn4Gl9Rn xXjX4oEOlteDQh& yY\=a`WyQڅneߵ"Wjd|twǺ~hF Y{RV”?ȭa"R)}MuT?tϊLʛ|v\ Ic'S˦a>8 6Uf ZZu<:F.mҝ$4!Ч|-8wI&xf<ᱹ9ݠp\k*! .NYyW[.[/;FcEh0ڵ _5fe[uD3vt},jcFa<.Խr mfh_jBEt V='UQO"sZ7,/̸AwreEhrca_ Y7e^q=v`;/{tׂ& PTQBmo1jkW4:~!:qMiTirz\O헯ϼPNVFMԀbuUnIX.9",vJH)BIsJ7u)~$e\ԩGuMhO#x1߉ :6ƕp>TYR&a7?(Fs~Yǐ,́S;B:{!߶Y&ocCCAa?;-B%)41"S}Mh\<9LEIIKh$Y]= &pa~SJmlmхVBmSH *0Ijtv,q' r69AӔVaz O-*uUy_Uo4as*i%rbC#i 6 XcR͖Ǽvv\jq%K;#ڨ ~1iQXu(EUPkO.+d䢯ߟ=q1)}0>xV^~vT}E[CੂgUɑzDD~ꀍ2L '7ӿwrmj|#yh6Ys\ 𒜒2P+^PgR=ܼZ*Mc OL>93Q }B$@kȄvuL\JMАa./) :^cАy]_q&ƚTYdMYlr#tgwpQ®3poqQR P7>dvoqO8WIq +XXZ uBp#IR0`#Q Y^KjOT&$r~/Sr~࠼anw46+@M;A4ꮙD3ZWh&BE dERR`3߻gݘQ@ dduR}Ij/G_Fs<!֢uk^ E31@и C>sيI`eÍ1] H,eWu惹ZVjAáx~bݨO>k(Hޔzbz;ɬJxkPieK/(?JS`\z9-_x KԝJ:%~V4ߢw23:nl-Tgf6~ތJ{|~0ZfP2e2ǪzloNhLPUXH idTLvuj Ⱦ÷,c)fHQ O~ʬ&%S| v(y{\12. rV^? 15 DDžμ@DZp<q她U$d< O}:{XO~IM Wܼ_;5glId(eL \v '8N y ]Td:^b%V ؂1H4.ދCM5fL|uZ׳0_x$QXkԃ}R {/ )B ÈmH"}X҅+[沮u~ U֏UYǒFJ0h="ڱvCIkNc._*O){j^r(gu` )Ng8 r@+d(YWEV "yt.+uٜ^Y%-z`6&wU2^Ls^N(6~rx$oZ%rM0pQezN,G ufd|h0Ur%4{ BlIǀ"Y\{Bʶ)=GZ[|AwKI M5Z)nwn:X2댆,MA"Dwmk8 T=-l+7NGK}100|B~։!>#[(=-~o:'9Q_11K y_ 8Rk}NJ< Μ[/hqrPqPvf( n'c1$.<:6%`:/!& ^X&ų -?K+Bw#ŸD&%LeڭCE!:0 N D% :XU0br/+pޑ定~ؐW0 FjA5  p +IzަtO;FUPN aGh +NfdwN;G8|?YV99=/t01|*D@]7ͭ6#ث>ϋ!Pq,m6.FtRp5#>HH`P|`9ƆlsyZVZ;>ex]ğYq|[C«nqx}(\,?3iL[H;&9x۰S SgYZ  :7C' ,HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/messages7zXZִF! ]~ hk.<VAHgM@*$b{ϔYG٩Z|@KK@Tf)*10!ýc^qN$i/~n5>d5FߵD\攪1)Oepo,1VSlXgR{Q*^evAp{!Ѝ ֔А8삠jҬHNNk6疤Eq{nCpҁaHi͌c^=cb57VbjqƇAhҊDB044PRiI!sR> 9ol7a.(lCTa޷!WbѢw9d؀YEe>~ IWw2BUi!PX_枨K 1Yţ`/gYZ