SQLite format 3@ $.C  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 17tD|, ]% HOL-Quotient_Examples:threads=6elapsed=29.025cpu=46.552gc=3.2127zXZִF! ]ŗXiɟ=QzX)qFCkW*g_˴A(Ok| ϗ]1 7n(nk^|.|npE(:2k8GnR z:sǑ2+lIVl^15`r̉(A`L9vYD.I gTlPIwZyp~+N~l^h+YrF_]C ܛYxbnJlAÛyeS1hp |g%{~NxƻlYӣmZ ֡ŵp\T4苪ݒ4c?$Km]^&Z>|ׯ+nwFءР l ,|tvAZC.Lv7FxJr='Գ0W0YODρx*7GkPݥZhΔ6fB _;#vJ6ʳTݩ>{jĠgyb|XO":в5_EYפUYhzAArC|0`%{n9wGm D#C(lBߖt25wYjB#k" W}l9da9#rm@mԁhwITK拽s'b g³F4O-.gYZ7zXZִF! ]ŗXiɟ1TgsC2MpRP  ?]LwOK -!BHHX'*I֌yQk+FǓEaqiu_KoJtJ/۳BYO! OfyKnm!L<]~4澍C | $K߲툠U)%AnԿfUҮ``\Ӵ %(Mk>Zs\IhL8XvV23&,}XT Ph,nga&ۋTC\.6`ނu}E<[Wb槡 aGF<_q4@=5E&grcI1 Z/*';C9DX4`%"  3AwF|b ׵Γ/$el\# u~;ot+z<'a="9:ف uy@y,9bTCBL_?v a:7]>~ IiWP*Ն[ܚv*>II1ns/_\" !\}֡|ufg ACcfqPJCC/MD$ x@Xgς0vvl=D}y 2UJ ݁ 7]M#rz>`0y:4')2 &[ط`z/\ }OZ$8I! ~ ʸO:\-'xP^S[h.Q&n(U=Hp9Ig+s(zF[2ɤKӗ{Nq/sNyUr5cmK'ZZӝm;D ks} )^azGo "[I-AEEc]hܻJ#n'wXGZ_C6=Gś{n+kp>ф@ovفG½{}lSV.2-!&\JY/$(z~e) /YqvRKVK^q9FUk7=qx#: yS 1|GS~uFV՘{SNQq2` p.DLeSrB&;;ݯ^TYK) uI _]2J[]T@^cڙ#)q}P`Bicu9P%mHljFz|Ү` C#Trҁܼˎfe۵$8oĈ@y@g 9 ,86 Ju"jJmhnkj BNJ) D e.@vHM 2Q]teW^:`N9w|ΞS)!09iR]3щ46^jv,fV7Ed"^j/,~ kKgh@1Vw 1PX$0&t/B~%BG~!'$X2zA,%'\JBQy"aڹ.˾C)( ^a[i`gYZ6dad3c223ea0c191e3c5ca6c799c81adec8b2a4676fd26aaacd6460a8a6de2c25fb172171219d3dc ab3eeb1feb9ad89c49b8b08584c31bb8c8ae5660 106747b91dac89db78ea0c000b0451d736508401 f4f035064d07aac6f0a1f7cbb3dce86391aa46df 41635fcad221f2b85dff5699a8067beee9640f16 7 HOL-Quotient_Examples$^7I# kyeF9-6=X/~B~-5FO ʼn/naO7؄)dP *Io4 DR"ż^'<5793.B*F jWN|_R|YBW0ȵ@F+J[9egYZ7K% HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetcode/fset.ML7zXZִF! ]]9 ! kH ~6ң~& 4E~A3I3?BXCi,ncP)~_ֽ/`gO)cv7[ dC\\[m_- $NEtWl𶎥Ű5^`~C'x$L&TF^ k/e:OSpwsRꙜwo\aN.b 6y#KK5֣\"S 4Hp-+-n"}[mXMJ{Ώ=8&ɯ.~]p@мpKk 8gDT2D6x@WiEuP3pW>ul٫ɔ^Օtu(S"VsDNQ amE60}׸wBD(tki5a fK5/ JU t}KJ^MM{%UFeߖAA9s7.`ė*ie6/:jV9R;bd +{gYZ7M' |HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListcode/dlist.ML7zXZִF! Fx]9 ! kHCKt TLh0qWoeqsŴ47! Vq-TiTՍLSl[*~Ax*M}~w8H}x:@L,CEAcÐeؠx]G>m/Xݪ,7Ȣbo:lTC|@piY>j37t٠^rGmSEËheI3`k={y-?kyD z 2*}eze:5Dz؜#~nT1pUE7{}!i-mW}^~?$[/FKK 9G 8Gn0_HNzGoX{ +歖i+r-\٤DݐAhqߌ%:ؠΠ\=-OOSԼ|C:l^':8uWhMD^+`W\@%?fAIn̰H3HMThgk8ApQ <[[5ozٟk};;qfi'6VS% -7뀜w,6 ^8[}`' w>ݙ6_ʆSL 8S VbWCv'F[ہ(B,MYMpE HsߜLgJUL_<tJCe}<>Yev¸9T9\$4[6DJZ=}#mDo[C;vˇ)ݍ*Ĵ9sH6ovf ʈq)w^=T;qkc@#=X s#9"841.)%    != ? ; e >6cq  K5Q , m z1 9 ^B7G!HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/files4H7G-HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/document_id3J7Q'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/messages2H7Q#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/markup1G7Q!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/files0M7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/document_id/G7K'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/messages.E7K#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/markup-D7K!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/files,J7K-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/document_id+F7I'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/messages*D7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/markup)C7I!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/files(I7I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/document_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#R7a'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/messages"P7a#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/markup!O7a!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/files U7a-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/document_idJ7Q'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/messagesH7Q#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/markupG7Q!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/filesM7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/document_idC7C'HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/messagesA7C#HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/markup@7C!HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/filesF7C-HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/document_idF7I'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/messagesD7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/markupC7I!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/filesI7I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/document_idH7M'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/messagesF7M#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/markupE7M!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/filesK7M-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/document_idX7SAHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetdocument/Quotient_FSet.tex^7YGHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Messagedocument/Quotient_Message.tex H7C1HOL-Quotient_ExamplesHOL-Quotient_Examples.DListdocument/DList.tex N7I7HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setdocument/Lift_Set.tex f7aOHOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_Testdocument/Lifting_Code_Dt_Test.tex R7M;HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListdocument/Lift_DList.tex L7G5HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_Powdocument/Int_Pow.texV7Q?HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Intdocument/Quotient_Int.texN7I7HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Fundocument/Lift_Fun.texP7K9HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetdocument/Lift_FSet.texV7Q?HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Ratdocument/Quotient_Rat.texD7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setcode/set.MLF7K%HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetcode/fset.ML D7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/markup)    h^7I# kyeF9-6=X/~B~-5FO ʼn/naO7؄)dP *Io4 DR"ż^'<5793.B*F jWN|_R|YBW0ȵ@F+J[9egYZ7K% HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetcode/fset.ML7zXZִF! ]]9 ! kH ~6ң~& 4E~A3I3?BXCi,ncP)~_ֽ/`gO)cv7[ dC\\[m_- $NEtWl𶎥Ű5^`~C'x$L&TF^ k/e:OSpwsRꙜwo\aN.b 6y#KK5֣\"S 4Hp-+-n"}[mXMJ{Ώ=8&ɯ.~]p@мpKk 8gDT2D6x@WiEuP3pW>ul٫ɔ^Օtu(S"VsDNQ amE60}׸wBD(tki5a fK5/ JU t}KJ^MM{%UFeߖAA9s7.`ė*ie6/:jV9R;bd +{gYZ7M' |HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListcode/dlist.ML7zXZִF! Fx]9 ! kHCKt TLh0qWoeqsŴ47! Vq-TiTՍLSl[*~Ax*M}~w8H}x:@L,CEAcÐeؠx]G>m/Xݪ,7Ȣbo:lTC|@piY>j37t٠^rGmSEËheI3`k={y-?kyD z 2*}eze:5Dz؜#~nT1pUE7{}!i-mW}^~?$[/FKK 9G 8Gn0_HNzGoX{ +歖i+r-\٤DݐAhqߌ%:ؠΠ\=-OOSԼ|C:l^':8uWhMD^+`W\@%?fAIn̰H3HMThgk8ApQ <[[5ozٟk};;qfi'6VS% -7뀜w,6 ^8[}`' w>ݙ6_ʆSL 8S VbWCv'F[ہ(B,MYMpE HsߜLgJUL_<tJCe}<>Yev¸9T9\$4[6DJZ=}#mDo[C;vˇ)ݍ*Ĵ9sH6ovf ʈq)w^=T;qkc@#=X sŊcGyyzr6^![4؊Ykv1Z gScQ#/>N2-tF gYZ 7Q? dHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Ratdocument/Quotient_Rat.tex7zXZִF! v} l]A-MՋhvG"uIBm5ޙAvcia&zs(;^ⵝ:gN&a,޴@vGXH։>\S#(;ֺJb^>Ї\07vja(\ЬxYa ̴‡9cd6Bʿ_B⢶Uac$vF]Fn{ol |CjfMB)>rP%ď@5fǡ<+fvTdѰ>f%pa2+9)O' p:|4 X~Jq{Ӗm%?|Y uJ>)kK@9%i 8=Uq t2  ef-ob_%y2 QFP"_k{#ZxAGm-Ne݋r3 90{J6I?c:^o/}mƣP}8fH(y"6曈&^W;Mf&Q-y_Y4\b2p/2UQy g4\|Z޷[l%rjZ%QZGr2b춲S8pٖ}V4É&}H+ok\>=ķr[HAǙE5ɬҎvp{6|!qMž M7 n|r%k է_t>$7 lzbMd2sвH$Z[l!E54RoOυ&m 4&^R灀~xh$pٶu U-qW~NsЌ)鴌Wt\hzO׹~-Yd3E©5?Oz'R_j&QNNIE:RԴ?K%JXmDT ^.p襲h]Jΰhp'K}}N-?&Ln[0`{=}93I](ɜQZnаYMt(Ckqb[ uYw`>̙_'Nwh¿׏y"1dpurt\y97PHԙ%;5Q8fkaTWe] ~(0'9*O.֞Un氷YhS['26Ytz] GL*|(#iV>ASFNWA'.^S&ȞT +H滝B3u>U_t8Ae7╠$N-CϹ.ylV:Hgj5,X:3rbD3fc SJt)nl5TD01NKpK/tA Z]"Ԭ|$oB-3XDDdҽO=@ˌfh3BjF%YIIt/0QPT'{hAm~)s(wL_9]8J/Z)Xq)k~]QfD:VFgxOR`̂GTR+S|:ЍwkDP!#<]=Mh{/g8)J[څyJz5k!^QSDeTv@߷| 'J–rc^C|#wZP=m1{N%GB jR0Qz1iI9XяU/gb3Z}{~q"ŭS?y+7 0qxɁ൳|;Ћ%~ 8*;PTr☽k(\o;Sm(ilU,c-/2~s)ݾ>>؛Nu @:<,Tb:BOv؋W!0q7=_t>c'.zb;n%Wǁ0 pn| YxdSv4&jdTT/j?2\ž,W>Bho(g/0G&ӛ4֠ZޝΡ^~gL-RDddlG†k6+.\UZH\Aۂ/83AVH6\Q 95o+eVlg=ڀ9ghRz$#ҒIKņ< <3׭bZ8s, B6HLr*R2Q<GpdDZ )`bHAg;/eDMΒ +Xr:@Rp9i v=N?QQR*_5p=#w&IzV`,ye0 Ddl (NםK1ö߸fyO1lu={}Zwbj)W&OÕkz )hJDhWM6 5Y1*q+ [ym׾w'.-4G's-\jYO`>46F<  oW "ܙu[deĹfB55ϭSz$0_>K#犰oҲSlVݲ:ܯle=6;ÍDt]Wpc#FgYZ n7K9 DHOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetdocument/Lift_FSet.tex7zXZִF! []A-MՋhvG"uIBm5#2O X`9; w6G?0VQ*? 3FsvmVi9ZПCWdjidzv[ѵCϳykS8>;>j^d*JozHw@\ѧץ9wsfT,>xb6Y+K +Jo\US vn1 2ur)QuMb9w$gEN`?_Я >cIjKI1xB璘!t񠪻^Yz)hzo ,yÑu ձHx-מA6*~WGkqg0R@Ɵ4B%$5ou>+wyGpW/4%Fnإ$SoԵkA Vy$:Zͷ~ז2>~W}_dձzPbJar{c1O+RdœQ,pN}'@"Psg2j]`17+G/rI0΢R]_<CԻ1_{!NƘ<'|$|{B2Q6= k3J/{kaxA` ] "z0ZO[J-ώ_0֐fSFd~,PY~Ŕu>O`|sq HiRl8!.J<U@gZohwJ}i᥏ E$m PbƂ-^Fwx|<:>,9M4Xz>.C3q)"4b=>:'ٚtuBV%紊Dh<>סs`+ y3=:p &pЁ{5Au;s29EGSts& ,^zաUK^uYe)E-a6ҫߞ}LV J'+ HA:W:Xݵa*˝S㯪QZl9$G25 ;"vdi d-s!D xA(z .NfhWBy u &/)B@8!gJ-3hv벬4~E^ "›0eXVڣtS?+:*|}^%g9fJSieR;hrO ({t}ST"p {qicy"%W\܄C_~b3iMthUW}ִ2vr42O}E/&fՂ>rñp #qhbY"b{k2r]4u=q \O{d6ծ K68^fuԲü&z鱣łX_a;T]2)ԅTR$8[-% 1sYR)04hSOD Xf(Q9%HZ^MV@iN=Rr.|@s':jYQ);ujN#g ` ^vFYԾ2l_'^> B[F .n2 ru7-%2nňp}CIԧV\̋QsNwml{_Rh!vs]l5m"rqprr3WOJԤ*0uf34])}F(D5Ksvs<[vT%$ npt+:=kxeNiD \;!C[w͜i3r `).BBAț A+h#uJenҴu=c(gZy@ǭ0ʣl;hZ6XLktNF4A\( {'!aJá7[ ӨPƷm EQ}{#+ȴ*Qq܅^{ףI8(9ǩ~ZqU3V'\%-Lo\yƢE ! S;b`+{S8"CM<g=hhUFx-ItӘ japcpK@Uk;FZ{:~ YZ z@U\& ۑNg9Fʒ%L 5 ghrr|R) Z;k;[V_3zu zDWS'\bꫫ\j8"O {)Izşz|_HQ-d.b}O"X"SZڝ([5` 0DZag29bAJq5cry26"[bWdnJJPwm!ԧR$yރ_;tH/@7ij@'I>?ӻH+b -&N^uy]nHqp[VڔZV >v842r? >ה~#|P z;L[u:%5 r{׆@6"IiR:ֈ^.ckz;pFRʓropP4S%gm4XT*͏TK|W*":8jE+dJ<z{ew=@MpV/9y~\w%f=z*Ej3UZ^s}囟ȃPplR> n.؊OQhyUf-_cʫd~aߵcwl׬gW&G-qc '(3 c(FDRYFzIŜrpD1.diΔXLBCc+1啕gvUt;\]Y3r2J F 'Sÿâxl<s‰: L2Vj #Z`Y;( AE+z;Y */@=t}]'W(ӧTli4wIΦ3b[{ ]d-z5ױgYZEUbre= r`;E=epFd$U=JCS.d9%qwD xi2iP'eF ~4h%i ;(¦_Ӝ@3uv[[ 홷oohƝrNgiVߔn^Fd /ÞS%ih }2ŘB/ii N٠l /tԾJF%Ѭ_Dl)g[{Z _{29V PU@( EaV sχ=;_Ay 0fa2aM 3;=9=Z9 Vr OӨ}k1hVihz{GX7s ꝸ я*biJlxnfj.b\ wVߠ[ţr #9g f(#G϶(BZB`U9"'Sm;PGSq4Ūe %WY2Q0!G,>ږPz&J'Uڽ?P¨Z*$[ *\l3QSU& ^WsMQD1PDz}.%*v,ӓLFq›o2KVc{Nf;(w;r7 z~!:'UJZd+/J#<P?_q=fm.vG{Z#9Ҝy=o08'o9G !qZKHHǤN)v$a߄믖0>!T͠tnΆ9Tԙ5nIJ 4XzDzBo/|nu-3̲qEA_Z~zieW@,\'\Y4_ߓ]մ$Mֲa.Pk,퐯fmC?zBRO z &np\K4(C >^&RK$G>JծBj,ؐ!IA޸E鳂4u׶*T%P#Uv,ǀT^5rx)eu$8vsi!ɧJUϢ2xf]ܾpa3-;XdHqU9,M@P 5&T|V~ 7/rS5-DLYl{= .򉊽sskq,0kB]#\23}=rPb8; |!{nxEm#T4hg,`X4:&ٯ/rRڴ- [}J^1f Nx?7rh0(l%Rj\I7c^_6J *d -7#~ v- Iڟm*i͉jʰd˧\CN#x]h]wEeu#G`F+Wt7ŗ alLÜ=t^rja.lJp&"V ZDP-fMHbs^L_mpe+Aq*kz-h_,\,1?Za9xzr)&oAXZJ̹(g*|gcq"K]KﺇQl߅ ,4nTcى ^(|+4)wmjGO!.@FȌk#di?slףr;8Xo }K,D[R B_}xX^8l Tc~b#BطjZѫi&r'qO.Z>}(85/ED?{4;<pq#n;/~-}LȞKF}dA9]'VtбwD/.ROꤧ!4?𒩑^I{u!G| sevߍnu' }s*jm:I&bB+|CK`;tYFGbUwB?!0d&Nrĕx$3ϊrk:\iU> Z<91}U8]#]|$QKF7Y 78fec5H8b}Wxr 6|8oh#ƱgYZ WW&7G5 =(k¸x'c~X? 3j긛հ1N`l([5KM#J M@Y"zC aLK9|>dRT%4{ak ݀R `XK3|S3yfZ h21MU'eq]+;lKc+EyG &0$JM7n8C`6_u37\9=‘J3Y /[@fٺIUd=Mrd7>"Hs .a/k]4&baT C|Li]*#fw5\MCKho&R2gP'ư4Y7Hlź:[rL;QӌTHԩ\[&zS>d:) ;EG5NB9PTR(_g,U@R B>`ҩ8RGw~[3{B&;MZv/yi&J\o;!f@xD)}N,#Hϙ|Ysk_U$ }l!{ 4}}b,r6mJRtW"%"yk@eb"]8F/o:渕BrKxؒs[de_nI~!JJRP1өƾW{}jicWP$ gXmKAazGUe:D"lH?[752{l[3m*"EN{R̈́N/g4dWz!],o[}q)q|N^&B^nO懬`+5`$/$IOefQ=>嗣+ #)꽥.zJ a;Ztk|(RU}xUGvFw 'ܑ! `rcBjOOf 2E=G[E)~̾$u_oW&!sb% q&m>u %\(WAMOB6,s@əa&þcc-XG&d3KT:L~7V@nCtk>AcKw#-q.8!b9zqdeE\o mV0(=?H*i"p S S*[>IcǤ[Q|Fo~:S@羊b O^]I dW,=l ?/c@9 30?~ XnT_(|hͯ}1FcW7y>!=)~gXgw4*V ճI٭֏!j+hYX:Y?SW!5[NzwQG p?!u2VI(cCT"z@ϔ,bQ5bD %p" 0esamV| L/VS{<>k.^0ҙ͌641\4\fe(y t ™]|FkW!5p n՛RZT6KzNLt1!k ӹlb4DH|GCt%_`p0O-=*Bfו:v[Iy&R $jfTz*Cqɬ SL~;]3Gqee*`q jН>1hKUYˑ(jI,Rhb0۠0Etv)r\(v5zmcQBäzٓDԄT˲fQP9or D&5V-@#\^|~Z>&OO X!k/Pnᔊu!{zxo"初>2lb9$n;)41|iZsW6qFRtdF|@+@G a[aLzgs`|ơ_{+l7Q,Ez }g|/*LkYmY1@662yZi˲X$Z8*6WWNяح5h!DAj8UT>ѲޥS PcU]6*gYZ  x 7aO ,HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_Testdocument/Lifting_Code_Dt_Test.tex7zXZִF! ZN]A-MՋhvG"uIBm5#)(8=^enO1Y.䋙S އڊf(4  ,`/8I|:N_B=~#9UB4NE U!Drn=^0< ?bFmt-^ %.x/ X c"WMI_J;Gd}ʶ H&cG:}}{tk=Zz PU'T Lqx֫B/hb\`')_8m9/u9\] xj!Yc,]+tE¶yaO~b<rܟ!mgPJ4tU璣sƟ8˔Vة0{0cR9n7ך{U 7N5pT/t^xjڏʅDM & oQ+̱'߆]=vvi bom# ifWѸ },8{1Ԇ,j?@R&}$NiyBɉjRw(nMIruq_NuNA;4by.oWrB &ݼ$X9b'#*Ax :o\E~aWRa$CԂjjv^?/xy(i0,<\Tv KŏnW+sz]$QOJ|q?aDBѼmIp0ߺ=79" 5\&FbTd\a 03tf9QV';|Cx>[!8o/4&PЉƑ/vEkgGVW*h gtſEEg[Ʌ9^HzŶL6H1ɑT;YFq^a@jKXWEM GzrO/5lTڂ0 JWАo0ڭ/s,1Up8u% }) /x EA*}iޕ<]YvR.Ij}^NZ=il7Փt2r;>Cc]$7/-9Ւ Iŕ.g2i"2Ŵ(evaK>k.=rLsz*XyM7K͵7aX48ᓤ%5a׫\]9mPwoD+I(.텨?]]2q̛ϏJgL Iue3!Ь@5P/D|9P)\oxUD p`¿]'DT&?eaOR^c79< Su0韇PW[ɺ@+U2766/ɏO٘gG⋫;6!LO>?lɴ~眥h#%19 +Ni֕V tB xHp S _f^ D0~Uߋ2&p]!isr`n_ejϱq "=;JdĞ])#eמ rQ~uM'5u!VHbA裬7)9H+wtޛ v..}Ds)ՍrȎQGߛ#0v&S݉/Q!{:!0]#2-ԫ_snHٍqze7H<{]kʫ)mGPrǂ>gYZ| 7M; \HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListdocument/Lift_DList.tex7zXZִF! )]A-MՋhvG"uIBm5#2O X`9; w6@9Gŵ}Ƣ>!Obҍ%>LuɗxV\?z؅ym4u;7(/ʥQy9'hny@Ȩ吶Ӯ2\o7R}moCk٘ϥ_<^{b7d9xٵ f܋(*e>Yvp K͘[ M˗342d\%v:RP)*f X Av -"o9ς~)Ę| \~36k,iRqZ==<6>/5F14i}V[Pn1%mL˨@sgP_ⶂjkTRi#+$;Xcde:/m/}(cy^ ZKV7qt M/LB 3يCs9*w gjpb[2h>RLo\v^teN`)NW>XXd/C,MrXc >Z@2((1Oe 6,'OIPPP`ӾSXil|:uz´ W?nΐTU|M%+!#nlA`Yk{OP6֓ik!48\"++?y#gF,| w> !>vzV&H/M. bYDEgQB Tp>T!Fvٖo@ĦëX}KD?>S6= 00T0ژfdBh_^:,R̙Tev{;k9b!fdb1~M,dl?ZC?Ax]61B8Yi(Ʃ[>;*t&ۣO}Dkh *VdzC*JOYnFtJ1ED7B4 m߳m-kCPer&[oLv9ۙ\`ߜTGui8Rb;WAjZ؅=v͗%pGc=‘hLƸ~ gĆf K{=5_dc_ E ш%5ФhAty%MgWz%zk܅MUgmzG1/DA j>w Rx"ogYZ M } "1mrM"7M'iCjvH#}C[a05wh?,ӈY aF%۷JQKֲ#6Qkkhwm>cVQaJ'_f?)2ѐѴ͖F׻gJ\U85R"0X""^΍oSŹs҇-do1O}5O_{ mEZsfyߥl&l1`]. "ȡ G̭c ]d+(6>\pk+Wd73DF;^qA޲ܠh!w/@[dIA64GY\ E^go6wG}nҒS)|UZھ%'tٷ0q2H5Av0UGEbpו0SP x(:?'$_=? *gYZq7M!bHOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/files~~/src/HOL/Quotient_Examples/Lift_DList.thyO7M-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/document_id666  7SA lHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetdocument/Quotient_FSet.tex7zXZִF! 0?p]A-MՋhvG"uIBm5ޙAvcia&zs(;^ⵝz0_~AdI׭ ;%gK`>حLiyM_F1 7WeN}e料[a@FS]g @lq#6}QJկ:0ʷ"Mٔ/@c2Z֙h^ g]H,D )Ypr" 88 FƦCf2fHxr,1ф{S]Hg#[+ZK:@V1, 3#7(UѤSqu5VMSdRl3bd` 7YG HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Messagedocument/Quotient_Message.tex7zXZִF! ]A-MՋhvG"uIBm5ޙAvcia&zs(;^ⵝլa߱ 3xGITެ0*HOɂ;ţ:9אnZ X+p5 MJ˄ma j2$s_qV6Bkby^fc4e)HSb]"Zo2>'ʹco[*̅x=1%@ק 8F8C!xGLƺ/=}^x~ꨡ&QzgzڿYwyJ{Tq45 dbi /4%ҹia>vf}N,%VC^ I QKG.f}FYoIS' lUJì JK@n) qMtl!C&iJG;UF 7C1 HOL-Quotient_ExamplesHOL-Quotient_Examples.DListdocument/DList.tex7zXZִF! ;]A-MՋhvG"uIBm5oz%ZŅ i]@QX˄%V @sTanPJF嚧qg1hGHl HJ+>:Gڧ2xw쫝Y-?Sڡ`6HٯGqwXJqHȮr* % {z', X+YƋJϵOtn/iE8mT]Rڛի?mj%^ϵ"8% LKz6\|jS \߄Ӝ3Ͽ%mVP 8oJ&(xĮ&&svg <'gS@s2s],ȑ-Bv͑TdrbYGR8Q`ѧ5I!+W-"fNWwPKD>?mL\wum6]Рbv:j1b[ M>9Jqt=٘8XDˍc$?oc2Qr@zߐX}+|W!mj <;d䭪1DIʣYjM⫦͏wNa̓F^֑IKwH[Lm d@>{,eֿ+"w* h^. , I,7y1[A%On<˫7K'biv5^=ԥd1`72^ªC^\FuQB 9RmI@ MM=kBP)㲽Z)0vSc13&>.P7ܹjFuйNdB|61PИ77/Q mg5UqoY1yHQlwfA+'+N1xO94-Ffn%ƥ Q5G#<%TKÎ}f8:ckճ4 V"$le}Tε+M4n뉽 E#adR9rh6@4@NU)'_Χ;t!Oyq<Ő2v[uDA7g)6$Y[ρ+\tQYG,S"O14F`bxt%pq`wc ׹; RfXoW;Icb2b8p$~R?msԓ~E#8u|k ߮e)"Juhl,z^$b=%N@.\˂-:{"@J '9n#R3v͔l58u^|>F^w,͹G3]$Z&)2+Hlb fT>u`CNXɏ}Jw:̍ax* -:kP0($آP؂*Z=J }ȮKwW_^ѝ0|ykqS0vS]mf(2#})oQxĘkm!:B` jMddcS7/ϫLJX_%? y:4_?aWLCwLjѣn,E<IM6_JðL}?RT3q|b-ވ(_ N͑/>,MTLe%қ`rCڑ؁\ǂK;>ⰠX 3AOƙB|l[zWgmrڔ; s(ϯC|ACN +&ޜ@)6sӓiv.HT6}@,r_a@7u+s bbq.s F}bvDτ6Bh.%>.wEQEcɔ/<Hg1e(Q AXg=+'ay]G7l!S/W#{?„C1Ήw;uQN"~ 15 IKCK oaU>VY;LeQn~drx }*.]Y} '!%s,9(wGn0S. , CwA& *6v+e yckXdpQX>GPE+໤Dgl*tR3<#پ4*X^`Nf a2ιRLjfkjV{͟ *+ޝ/#tȞBPP$y2VdMuJ Gظtt@.^Ozijд j 1P" P83rC5h)2~U*kO1-:/q+H@o?SQC BsnfyZ&eZNQcpM'd.co*ΊE !0[72sٵC9FuցBc#6'RkԃZ*@k?@^\p |&czJsJgStqL.!R|+lmWt?sy,IaKdÌ5^PXG $eXվoBL5 PC33Mɫ͗*BOW"Pi KA$L[x8+u(Æ4>/>N.f>'m,!A{h])ă@;kƺnoQ[$҈Q8r*e?ީeEKVM]!/FJt\֏@#uĩzGvl_9V*Qr7Y!24!'>.VB{ wXB R<?^e $9$khv(rRU:w^Ho?d8F1)}ɮ"bk*tg5F03ڲ908 GaQ]0|p7:D]~VC,غݸq; O 5,8(N&?b@Sc-N+dVwȡ'">_QsJq2EQ34NQvԉ'YwO{x@48VIp_=<Ҋ,1)pNDsU5n?9-!@Zo]*)A7IQɉjcO6+3MEkhoGbK  ٺ"wȑOa.ܛA*%t'fܘ%a;EJ^ئvu ʸY,IaB|$=R9=Rw= Q*?Upn^`oqL 8#: g ӄք%DO|-pN$ /n[^GmĶ؉wf# y|O?fG&y:e9&7GQ^M o^w<޳nq$!$wFvoc&nHbun6Aߘi:Z :*i{@D^6Wye`:$j2ѹmy'vHSS= 90M.e* ÅnW+͋u1֜_q4v{|=$Q<87g.P>.r~n<@HDzH 6fL/nlQp8)Uɦr8aBݪ70 rl$)[ V˒ٹ!0u?8ǭ!4c;0`%~NBlf=~c'la)7? 5Z.8=t:.t7Fz՝$1$W6KMHۚoptf=z-a t 2`u\qć,j]-m"{C$n.Ao7F.լtJɂk0+G{ QEpqBRV׀, B!<`&|qrǥB-e"6zk*5 ?~8EITSScW⑑jȄk-кh5qFTdX?Ļk /pzZb=)' gqϔvOyE(X!P$zɓ}l/ .CӇ:HU9&pK^߾_-1 RA#CT<=2Mi? !aKDŽbyL}GpzwtBdto)*!~`+0-Q|;݉r-ҭ \VOHJ!ſ`(g560kmºzt5A>/~l.%E%Qmt%4؝n VSnݾ}-A{^=j(4SR}ͰV+LG?V?;)^/tk/#R-W<Q㋗z_))%9=GcdvP)2}U,*o^Nj,sT64;DӐDjcgitPPd='YRp0ϣJ2^\)*hgY č)!/igE]}SlKD?x'u*$J[i06\N+Pz1=S`۾u74Б|.6gԗ1D׍'6ЂNZvmVw 7sߏ A ڨz z9YSƱbhA'bgoN|ǾCyY#ѭ>&vz@}ik#,X+rSf=x5cn8~c,(]5EsadL8>#e```}7"h>CVaO楱^ nA2A˔vf\DgJƸ^3 ?ϲag^P7LvF!)ަBnZȲmК49fe0 ISyg[)%T7 ։MTd}&q`RL5/1#[KZNJ`G}Oi'iBiE&,|p(]90|g1pYS/:[Nf/QSO_#2"WmJ7rcu̳ZݾxY7>_?'NCzeRfm }ɒϭޫt>+OXm% hZf.#{Ì(lΪ j%;M})h.rS{o~QƋ¸R;I7F$c^ :Wu"*CxZi2TX #="࠾=6/w,|}@,HGq=fk2q|ٕ0>]G[H t6U*F4ߎɪ'12m 46IF37SSxmX0L]YgcB2ڳ(L}'^ |:?B/RoH;x@fg@ W v<2[mU(+0 9wJFm~Ii@߆H?FRz0;MS窚bE֡͡۴v#z mփKicP6/$m'c~d0.F^*7g'Tװwp`OQ^ݔGrcฅdz` _ʰ/c1{I=Ut1ՉE;-i3f>iqtBb&@CVt۸@!*/Ʈ@ 9ުȉgU(^Ut(L1(Iv?^$SYHqH2Dbo5>ꀤj'uPTpu+9"鉄?Mp阮}lG[#Z. z"7F{3FVS#jgYZ{\`p7j&s ,#M2UޗB|pWV Rجˆ #PHJX޾EcP˙4{r(Ɯ2&_US]OU-9#)>zV4]a4sO״*]}u.r"&U8IEU/@r& +5F}˩&2 y1_2{|Dr?K302қ|ʨe%/0''w5 3m˔JhnjG(?=V5cDKI9 \]\ZE\aFnm- pJU]?*^1'Ñl0Y5vni:b=K7Мr{o#]A0AꉆIh#o uLq!_J/c!hi3GL6?(3_%Aw4{}*Gk:y+IiQf89 D nTƿI`g4)-VڎˆVxQ%yRD 2^㻵NZsBȮE&sWo*p#Qygک{5t)1KPȚ W->ܡ|!A0'qbH 6*'ʆ.ijD%c 'hKb{c潺ı_=:_w,( ӇҴ/m2q [y&;E\-|@MDzzt#{&Go5&ۣ[b o\8ֱOU #h֎ ؅k ЗH^;=2v ƫB E.hw3P4-+iμaa, .5hy>d:+@GA9mI$^B2J.~%cHbi- ⠼^9G4Sc*=}q?rZ=O`}Ҩ)rEx5l"C ]e=$ɰL@KTVt=)<|IhXҺv%΁0x\KC.g#o΍,=&mI}?#!up.PbRe0B7U%C=)\W?pfvFC%.枑XSUW>3BmN+iGOrU^6T'vֽ)!ƲoҨf֠+ա4.L髑D>Em&)Pfn쨅yFWѴ mW6(~ƍҦ7\>\#J]}e!4%>@!\|4Zs=6S])Sr5y_ѡ ?%/,}c=*lYso9IQdgVME9UjC rk?} o4sn`K]|:ьȪ8裡)Ed- me:#$1fac:+ g$?!kq[*Rl]0-1O jpD(+aλޘ:iZP $n";7F:掼">xWވi^Nii~~Q@( 3cfn6JUi [EQ(>{$,`K%Ϛ{Z{H4mMYο.θ8cURŦKNL0ÓQ(~ٚ(RJۂ[^$tY:^UMs3gm!L2ID+ ݨ;-\(Sj\ ͛(YwPfim YݰA/Qu%26u<}1xCvHaC!((v#F0mR3fɁfKu?FRaZyᄍ@gVCSHL5qJ4I $ gM.lou +C" z7[_Pǿ5 QoZf5 Hvj5x5e׻.`f~uګX-5Y)2.Yg~X\$(#fT7}['D2+#Mo`~wWNmD߂Hg~ƊZROP̎FI޴ t>.c<ۼ!q!J:G7q+$qWG>跫wm9wdU)|5PhYO A]ْRdKH~ɀ!_ r-6B\"i]b:=oC<&'6|&K4U|fS daϢ30 dϸ͕|d'jX}Wt>^QyBj|hcq,*Z-; a-9O4X-4lb`2| }O8B/U$5odXE g9nd OlXA&"0Po W:2kD Qrwxj.zԀ|_+UAMs>1{{@C/ZYk~ej3gš6GsDp; DeXǰ*PN6.*?r7Wx."|  =s/A:ߒa+YNN; !ϭ:"V_Vu,ȤhS綁,"m69uwG+yx e\Uc`1QFňW4IUB:kziRU4,!4YO3# ^+F;|zf*n[-bF)Ɣ#ؤD V٬ܹ'^oYf;46O6Mُ,k"QQsmLw1D%om()։(XMbTd`%@/{IwLȧ=J Jm2M(/T&qt^lT}. [@&%V5,xziiI3||B=jO1E(Cl~tM4*M]_:Ic]lW,3X#P'l!b!1wxN.@-5`k1ѦnޱtH}? Da9șB#iY5X6]_ ÏQWJrQtǜ출{8ӳ .ă(2ZIs<_OoH3ʩI VmKi(P k.z{o6)狓 FTPڵæK(O3AʩG\޾πldlt?ED1n)ak{bZkBK-.l"տ_+s'^/>W~= 齈*È # Z@2ZeqvϼNC~OVnoMFʹC\ǒ˻2K. wI9fm[ |/C&b7j/>Tr֐&`vב{Wm9r%x͊!#(PVV?P$2Y ogqu;~v< 3y"eC%1^"jW-Xa%S)tG>s<|}ʧIF`8 eSZnsˋwwRd 0-Ժ͚OS\,tV6ԔBP~b{{B>/8I ,9>j\"K23yu Ke0ő ޞG.\maslGg8;Jj0^3}4ںd/&u>w|&Z@t=Dl__{mƅ *V0B;) EUrx#j=좙R|Cjd;#:^ -G*I譁)9>'K2`|A\c% !fS(碑N`Z;$}I*ҥ '!c+gt'.!5 1YՂ>K D=4$VL8j,%O HdjVORܥͣ=K8wBc/-ZTB)6Š*TJ!1&MקR fn20wSa嶶Tp@G tvJ@ *?3c krAybN/`Gl8rX^ tBдvk BrU;C}nҋK zVAƉ2 ` vêOO\v(>F0ܧ6-LqC +DfsuH%WYg-Bv0f$vSƢ [ jJ==eXQON S4oD;u:L<(NԿ#^RK7baGב"pQ~cu5jPΘj7hOL 253͂00[\D8ZYXw5T̤:/f\r?򫩴_2Kf Tuk9?&P,iXxgU IT /Wyb9CEfiM 6 AYC&ש>W|8p6 uj72JWgŭL U 䔵ISKmsƖ|'dH% ΃=v^":XxG)f_uwUqL:x )[U`w'tS(mb%$ӹ O!@Jq6lP_H͊ʝ:ᠸx!>3~-I8Iʦ]M?BrHR,ߗ!z 68@Z4Ǣb5g{M 8o aN76˸}ObkFdOQQ6 [Z1ЙC^ O}8h3_<@1%zE0 Ьu˲,Sv+ dk'mS;21Ff h_Tn-|@S4|b9P zaDk4OMJ'L>z )vosRqTPQ[sT0K8Ǥ(p%7>cEL%LӂSwHAږة&zj.~)&Lײ,9K> K1` UAaU/ 7AаCb}g#(sYV5{uI󢴤ߖXzM~sC:A(}1rh\ۄcYƘc8W/}gNDk~?[>L$db M;*8L%`XAU|Ox)#ܡJ n |VhHQQqP9{2äSqEZM&"%}셇Y]?P +<#0MÕ8QX4#*ي?rq^" 1]*h/ɟ0 9E$~ `| EMZ %Zv QԜ}͚J^oK})2OLM*+R(qI_܁r,^pgpR5˙S&,g.*?8,DF'T_'f=yk[F2(meyW-.QǶr$I,=@z-]TLk1cQP-2MeޯXkD58*]Za+6@*״tW䉳P?6xyfZoD` 9 x у'ߧۑhX7%˾AC 7L7 nE[[LG9SzD.x/G]̐yId_m\ ~K鸐0TpcÕ4u 09q7h\0qq\= NiOZFT+O` O L5MtwWc Kh6渒g_a85SrOc!h`6x.Ч*ΚQ\摵o~Y7T#҇Jk(ɷ6ÎJ7J/ĖPRMU*ִ_)(CJ6* a#Ayr?ݺ|1\BG+/̄IS_s%Y ne1m3V,nAx%ϘZ,e.tҪ8K|ms@Xurȵ.At, ^׮*PxfTUɃD=kևyL㹔e9J?Ot ,.  Ƶ_$bX2 [W ft Hg)qrH=.)Ex-m,\nvK2Wuz񉋺 yܓis`gjMWbyS,Y=wﭑTnl0&&&NSk9 a3i)C"5rGQm%G3Xyve F^ɍfͼT`sܓ#l><$MvT(͝qc31'=܎ĮeO&=6U!ϸ4ޢ嶃y E jޗ&*'&it'.i kEUQ<$>3gxLFuER @y.)AwZVzjtSk&_B3ŒXafUJe4jð5F]+W [U"/q?DR%vό/V%k3?!s袵 nqxS[Ły.8hBB0 <-,ZA4pGn'W tk-DM]'5ߏj65F":uPR(w;?arEvCQfyN_-bcI\~Ul%y.&]wA} W޼+4e>[ 1񌸦?顠ZdsUm7cI>zvÐ#o]% ]_,/A/\(5qX<'lTcsK*W!"k_rN6L\+y\i^՜-G#|r@JH:yy QhڴoVO=܀Ne ^^mS?̳ܵ5"KSJRG2,pBl$rZYdV DPe<g7T?z՗ nMIua}ȁ~mttp,5ؒsrGp:e$nY!5ꌴepmn+M&Q0*YNߏ ok8:^`^}FJ.+'WC.>VcI^w?0V8SÑì>vm u{7P%vM $Vdώ&FSMF6Sm8`ؼє{4ݜO +AF#Lq}9*̼3'Y? Icju^q݆_`΄glog6 WILT۫K:xy2?"ECr0cHW Z{:Ɇq!Ǿw}p5]"C$a(qf6nq4[ݡݹ7A`dzF0/ ~Fa@:;g t\dN4X s>fQ[, ˣ'2q^v T+D[inD{kx[GvN_|t5Qp'Sӷm92yh# IAiZ9wdtg Ryf˽)ڶ!9#o\j""`'\8!FH* m$+"-KQB,3V=Vu뷄v{˩g5Q !#h/耎hgJc%MFqԂ~veWvljy7"ō{IQxf$K't;@?Rʩ&+k1L{&#ђWa^cH;ɱCn&*i9?V6.3s7aB>"ݜY|wDK7lvR!ϮԶH"0PZ^8ln7u-:B?#->yficf&38y`Ou6@A/4;^n8uq֜48.~;@9SD]M-IcV=Zo6/{3+ctC/:sҾяI\7ꑦ:m"奎yvcY[oX$f+`)-.Rh3zc GXcom\@U)*~ EPo:=jU.UY; a>G_aeC-`pMMOOLݯ_ X:GEL<9ѝLLgG'p`]e!h0ca^,v=ITG S%zۚRbԯO_;c$u;OmM4IJ6*+A0;{8t .tf=a0U ]SM1q&7lQro2WV@s .OkY\o)t RǬ!zED  *yU2Ҳ25 dhO[{;^c<߽T_L6%d BI[07aSoO@7^|G]:[d?edeD;=r{3Ɏ ¶$@2-U@" M_~eEDd(? 1ZGy4 ?ʃ51{5*< >B4 jD +wXKA&!P.5heHdrBϡ!Z;(it7jPŊL1q/@] \ lO/0D|i.t,E{ O%]x] \by-~F YO&U,bS[zA c"|4|[[_n 6N:5 Ki(/(f҂8q"Cmuҳ,Ec)餻,֍{ jIߤr֦ܝ}[;Bm7Ʌafcꢜc^ب|i%ºiDngReG }հQW. k:laըʍs³Vf~z&Q]b :Om/ƤX"-0đ3R @j#h͔B"ж &Q(xz kY-),q\ٲ\(`UcY4 v>k CP35>EfoGe^z\&A{Mrα^}i%W*`xQn}EfF:q|p:@hLٞ @Ώ[jI__BwevR9"i.*>l+*%.Nk>kT%u5 Ť#;\<8 ?\X)2t> Q t)|nE7 zp.z>d]N??9I\5W&v;Jɩ2nޥg,RSS=ذqoIV/h]@=H{it%1:[54.nܥ'|w: agVz#|w 5}wvs^b7)xegq'[?$eIC).jg?ڷ=8*Y9)B)7at%xsS ׆T1 ?/@{dČPG$Zz&i,Q64VY}&o|n0hA Pk8a$].7mv k u([- jA߳Dg'!}bM5Dd;#!)!~$;|O;|Gڕb5c~Xi}Ő1*187Fiu7-;08O\#FU)'3OCu-H[[a`I(p;>Rɘ7Ľ5Ot,n>/R >~it;&/ `ݥVpnBL3LfyZWև'4堔`DEp*4M{@ X+n+'/o[2z=9@d\2 %j(ߜnmaXH!TOZ\bWd)ڌ!2l *{pX&iZ+I|$2;1P-Os8Q h?əqzЉcqVv' ItBk/pP$灆zyW 6qr 2&{u|v L)# Ǎ _+{I{`#iF>%iZ|+!}@Q ;#P#[N)9߉}EYxe5X#.UyRwjsH]:+ 'x[UG6 V RKHF%$-Fn/HZwtA/ivA@qMdDת ]8T zEtq?<\AwpԿj2:'H|3XEviLcp6hQr\J_1 ٖ@=1faޭ4SrON\巐͝ ߖ~iN(V쓲/IA% L Ze"Z7rBH~ãc4b~D,fy1fV񏂁yh ɛciN}BAB6Q×.$lqZL~JEPʕJՍ$J\UOC=܁-=a gZ@0|$("KpL#!r,L7; D޻[V2;ГO=|rBQc+P .cOyvd_D( SB684U+g2+4Ov`c}>S hrCh4_ a CHsM K.{'-'|bH/_eHnq낚I`^U\;I(ɛ]5I~0.a9ly_N[{rMd`kf풍);ή+RkIekۋ[պ%D36ⅧQөy0Of<ٱ4nPz{, $yM/X2ݏœg*1*.{㦯Ed̥M'*lnDB)ءKZV*U(;f[KC06uf9z[-z(c58TvTi,<$v0kKx ̲SbSP'sR~g$6/zⲍʡnp)) (-HA̼ܯ{ I=i02<)V o*_ȔXdpsv/F"#^0WF6/eYl"$F˗"YWB6MtK1ѬM&6N8 Qw9x~?tV9 :|֡UtA{::yxb8Ϛa4.Gs<to2D)+p!Zgwؚ:X:78c93̢D陇#])혍6/0[: H| OL-Bk{H:t_hH=Lm%-@gEN=bfFK\  I0 ҧ8LCdg iZu5~=k*oX 8pIپ  4S8_y2x"۫!pI ;Eq:(X[AyoЀ,Y1n?'OT]<#q ?}g`[#Xa~4/i!_5u+rxK1Jp=ւS#`B=،Oh`t8;;٬#s[>0YG|`NJ%RIo?0h-creSnn]i[5\`$1إa [7I`^S)1ʹ0QDAjIeIML{+:Hr\ w!SSZn$Ȼ Iu)raO#]l\n𼊠7d1mfzZΐY!,7̖KzZfHoRa{_ Jߛ՜uRY(<*PWS۲(@3L0.JrP^,Dj IMG$C'17xLǬ^8m aI*xi:y6i2*:ZH4Tu]bq }?pޯ#<=S|[ 5Ŗ9+77o3uCK:0|_u(u5$^v:ʑ^QLJ2d%ZBPl`8V)Il!9&cUR0S.0*r:;Zc# 5 Ik\n'0PԊ v+V{+fsNӆVh*aʟ3|W7VZrl~1s+K:u~ >RsnC2H)BF "b\F(IR{Ĺpcj\٤6Ӫ~A̫z*ǷjX` BxSuyL˖hg~?l#5a/*)hb)ŎqO6ɯjbW$CʂNO1&PHX ”VhOUuscxx%W<҈SiAx4nj5`%C'ͤ.^otn/vZjYM5܅\m mQؕQSot>FE]GMu0Ԓ;wDoo>kzhp M\3k}qWIS( ά_6z?2qK&PCN Tbw<`""x ]dg*c%fթ! ْ[Kyre(˜&CHk03ޙ%r-Ѿx.dgp;; KF?I_MQy13ny9p9VG2xJQw:M*Ҋ<9N#Dj |N!iּOgs# %f X:[!K24$|5W?7WrrǓ&5E~ȗY&{!{er&/|] {j~I1ٗyTmj52Jٞʔoxù6LqV/";:+l@"HB']*J~h'~>(~m_4-(5;$[ n8Ѽ3fత35H]h5~ P(Q"1M@ :^%5FJFKV3C7Ђ+l)R ڐ{ñ5uϚ58wF*Q ! #6nKpc2v:@t,gYZ BV g7C!XHOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/files~~/src/HOL/Quotient_Examples/DList.thyJ7C-HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/document_id66087I' lHOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/messages7zXZִF! 0]Άxʆ5.f-9 rqB k/3nq 6 _Gm '6JT[aŁ wIٔ}KҠM`f}2_Ljr^ᡆdjHaz]rlK8Hϗeߗ #CGLE"CNqTXfk.i;0ϙbS qO#@ Ǚ>g3Ʒ.r+0/ô9HzZ1 0)gÇY8,nXL[G"V4!#WR}0FNps)er 4Thq+l*Ƽy`R 8(*tv;b:o6e¶mAj;R6磄/sgYZ.7I# \HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/markup7zXZִF! k] !M젗OFK?Coc.{=Yjw,FP[pEjf8q(@}ĺP60Osngջ s!T}ι iۆ4q~3j-0^ G/Y[g1WOj~S+E.F~>$jvލ*G_qm#%B~69_Fy0/5#ZyҖ;yhs JɊը4$wQW}F.d#|U4#*j]GJ:*D}6FBlt.G["S[|ϐkЕ1i>1ˊuYO*:. lnKdSH|*b&\MCGJVҷߏ$IhHF$A;|M"B^ޱSFԥCtcSb,`^iA0ɔؐ?UWrq(<E847~ϊpzJDECė &HSV:ƔΥDHCB *~K]Wtb'Pp\FZ*UC@1: ʙ'kǡ"c7"$tQ9Han|`c4_Y<6y'`"R(XhOhֹv2v˶͸K7/\ U i_(h`̕@wV3;=7]Ͷ Swϛ\pfG`CMlr1[ "xJi NQ;MDapr Mn,n9IDI+v;! 1NLGW:H|@59lx~7^KCuՌfЬ H͏_tu,]_b#T4(i0? yKfj6qgT0(O CTN\u_]ZȠL-P7jΘݷFjp2%.|NNٖi59 PHw+u&miɏvX0`qH6&ofTdX$X.ˮ , BgYZm7I!^HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/files~~/src/HOL/Quotient_Examples/Lift_Fun.thyM7I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/document_id670 $$u7Q!fHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/files~~/src/HOL/Quotient_Examples/Quotient_Rat.thyQ7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/document_id6787C' ,HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/messages7zXZִF! ]~ hk.<VAHgM@*$bBeLcjg\%xCS*Yi`Yʏs4RL1A_E+ Ta,Ķ)Kk3qx0:=<12t'yc*c|@!&&'_h:3;[ޮ8u&ȱU` tk-F|Mn=U|<5q}]P$?/XTz̓D>Lm5O:k9'FIf7s(K18;&=<-6MSY'I )>KQ#\Ø6}H/.^L8aV;1=S6c]x֘8c72тǤڋ,b {yKt J*+^4 $Ŧ d24 d0^[>$f@WX~؉Agv4f4[3oùE:?71UOh :X_] ˷O2 ^{\POm'/Y)-4JhgQ&}F }z Wdj~ITvG-!3HFc{b('kd j6&n w;%6pıZ-Q{%-s :beW39|m΢|ahmm\' rnÕ;g` VeYG^|c|ͯ 6)5Px`3r Pq.2d |cf} GտcWFb(űbp^ "_}>;V,3?;\Mn' i_<\kOǰBzoHjUtkZ+#v15k'}XSlSK#>)n)ؑCf>]ӘHe;3I.-^xKE4:)h"XRoѫ&~'`zx=R+;_Ҹ:!D7CV-p0FOaWчSa"Y|mZ1T!/,\V* nq ǡgs(Bs*O1FJ _O|אvҵR-R ܉^;io#}"濳BQQؼxދ95JKzS1ꐤ)fr_`q:< ?Є`ӶN4H:-M-,+$a&UU ?'Zl5lr ӆq`F~G=W""O[lq3}z3p**n>Β)3"X-T/jnXPJhxz~\nPe4@B;L_+ ZYٔ5'MX,.?÷Vׄ#'ă,O! g|Gu=;ESSG-?7U\jz}tKկ:XhWȡ|qjnDL-^&!G'lB*=nA"%v;4$1:rr5%Y*G9#n O.Q!KOa:)WDwao׵6B[@a֡_$IX_+n+'/KÎ\*5E#]8 = 3/gr}  qk2gYZ 7Q# HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/markup7zXZִF! $ ] !M젗OFK?Coc.{TZZ0{\<"J<LtО'7[3~>R.tؿvڨ3V)qOaUpF6F@9lL#mK/V썍4ܵ 7-6lk E!ed{W1eWQ'[PFqKuע̾vrf |fX^FC/zaK>0 sU qwX#'+_ ! ̮2,FCm/'2لf-Ff}uO[S P#uI7'絿n`. a73@./5TD6kwl[{Px|]SFk ;XGD0ZeDQϣsNC@QU!i,#$q[ D x lO3XL8,8lW3eգ~ $JzEץkev LHo-D3 Kfab_;E>=yB1 ĕ\9Ov}uZ$Ψ_ǚ2+IH ΡXTO@<鄾"Hy%`j)>/n 5擇uw)vDכ?+wBreYjGaf4C+kMgL \y4&7ĺ7-.͚^,hDEa7`^+єSGnv;5 v*Zt! 샹XH"N$p] #.IKyŁݽR\n5#wg.Pň>+FD{*D_%tqfYHufEXV~$+ [/JꞬy_a9,QDʢ"2^Lh\-8 UgsIA(QaAQc& g恤Q7+!F58VYV5x3gm*€ד˻mG RE [|1Ǔz" ՍBW TО)ŞGő\'>!3p"'zcnFY#Q9΃MHX#4hBG2jlͽSa>ZaF|߂wF4鸲fn'Y"zט2f*Okm/߼-q ?E`$~ZQZ7ЎBs̷`sPr ֺnAz_ K|^[{O}-qh~3H!ouBd4o޷=E-t jvECᄒ  4 #YWCC iL$[%%;.$^vS0y{n* ~ "Je/$.+/ = P+2qzYxэ1]l.48]6BXQř&W #T?ep\*tl˩PT4Љ"lyϋ˒DaD;WA-Cv$3EEFH/>Ɲ,` 0W(cb q9HM嘡&^9MmZ0k$?ͫZYy:뚀x:gI =n*v岁 R9Y|~x)(T ps tx ,r}7&#*%6:Cz:9(+~Uð{$:RˀR?8hr=t ʊpq'pg%RHnil%X/ȹ[g9{ ;<0 qk ȴQDOtjdƧ^('[88P|zEW5e56S^i=!^" c'*Պ>!9'ji]q<g%MJz/a`VE}fB:+jO^ks Lvrk@~0d A5t # bp0RLB3byWK/FVFLEp;>.n]*Fp,L@&ʣ8u)CUfO|kxJ!y SsTi$'^R|hR/V&sO*}AK0b 6%rr'MzF ͏>Z2_^sxhf*3w>k҄DAF#hœd6 ӉʸA6!-'K,j`yɠcn]UdԄV[7&;Uh+`{@UI| agYZ i HiP% 7S# HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/markup7zXZִF! "C] !M젗OFK?Coc.{TZs%m5j"'2'X-{nE"m!'DFy W悭/!r@. $!v@{Hդ{ EίElꒊ*]\B2O[eG{@ZZ hE8kr`گ1y]]Fl F7,ւD& gf&!e$dwR> U9 < Hw`v٥46a/4մ\4rshnJm/nqpR5?8xeǯ*^VKM]/UIa2cC(7c8w$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_id662 "7a' $HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/messages7zXZִF!  ]D?7 {?:fH\c;  #/eH_nuz 4qKGv!DA#Rr& Z NЖFSjca+G,)4uE$Qc) qU "JH;-B* Đ3 %OFe O8F˲XwC y]dy v[79c <ÐKnBB#K `'Q5+_/BC&0˘RNA{ce<^wsw'})vߏxl.sϒ 3vJa>-eW-1ɢ~u:|~p*@al1)MCh.p3v yvV ЩF"a!Jk 2tzn O'&Q YʅRSαL\G~XmbO Dgxl\Ť'Ÿ`F)̌2S48U]&9,R"c489\rY & )1[6Pd&OGE}kS_Pedpzjq<ܲhžE*jZpPJ.Nϐ7@2g 2OVvc#>f]ؘ#? \ ĶziY5@!z (j]lZ>#X2@Lxa~-=s|El5;qjdWF;&l+&̓];NJ1/tTl j1pQ_~,G \. G}4$OnZ~]C..PuKw(÷V =lR?UWߚ35{`zDŽ6-H/L.wvٽ2{ǠEbJe㘆ɐQ@:yRXHrMF).7M2KkI.$`gYZb!7a# ,HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/markup7zXZִF! ] !M젗OFK?Coc.{=YoJ;a}GnS]/Z]|%9?<YQQwLRI^~ұٌ vx}`:$-DJO\"uhxE }F'MdX_/Di%KK9ϲA(7/x@g:hʐYrOJIV_tcHԼF7l4mw {lC2pay|=t% vZv^#gl^E]:W z/\wϩ7_MDu>RfG8V<=llG*ps;2,H^gXWH,2/Ԕ2lK|41 yT #*VcuQ0 <T$H{g3@@6FB±uMHŚ1J ɣAJKZ'."&DqwCZPByDR cqge!,.QڄcuV$d41wmO4K]hj4$ &FDMaO:vu">0` *r; >^כ8]?P>tN}) J|Q]X':XLzOr,_kJ/>?$  q_bIuwOvq0ՑŞophpǟ_J!̄{ckwTaӑS-D5N H $bshi^NWsv. %!#>DZNX{lD~];aUz9:EV=T# :2ԟXK[?;{3==H鯐p3_iW,\ڸCC2Pyʉ$ ÄR|a LWv8\k6;Ɩ `_)G`>98_k"s̐q y|\Q;Sj!l"M4IO\>NEKMŏA%ڔS,N,h ^C!b4QT[ xgYZ 7a!vHOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/files~~/src/HOL/Quotient_Examples/Lifting_Code_Dt_Test.thyY7a-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/document_id674@4?;bX ;uXci[T9uQ<=fZm$Q>f(+/?E?#f*sf\.#0DKǟ\ ١3ͺGȈj|>w A {(/0 @jG3G.Z;Û* -L"duu' W{X*vw rے?gыYtfmeZj9tw2//umh A% A6"Z}]dPMUȫAIW>8,]Dܘ5TȫI7Т9m/$!1K|z__Jl6 ) ANBa(5mЖ_NVue8H!NI Mvޭ/,Sfwd@i"g y)~8`i"-"Vv%ȚҰ˦g=pJһhbdK-rGRa{%8MǩPN)$DV4q{VZswM f+'cX y9ؓF^ {=A3?2h{NB''H(iK&uTWq@ Hu;?ڶ$t 9Ǵ/PjV+C\w)鲝cެ&CN%7%+{%n%j&XG Ma@ o=2T!e) !`KٚJ7Xvtbe$ 6$@ll+y:N |+$r҅8Es!`hL]LCy` I`T`HEli KƎmd1^i=}dӉX e>ةA:ۥ;L 2 P{/ƒ)De)kEt"2Fd)ƞMk^4w$uqA"y @j+a aÊ2m;J\Ǐ4b<'"g\Ǵp1!k>ʑB;{~N'FW qiU  0S6PZ%{y|%Z4UC{8Nsզ@S=P2^PE98rJ}?i2=/)YtN#`ߧr)T/&KXʻ)*[pz-Z8uS+ub! |W~FA0?{@=YUS'*H,Inּ0%nuR5cߴ[Q|&y9نBu ᠜ #!F[pPATNRᢋ91sj'­wFFAMrC1 gyXz>o阰JQ12@՜xsьҡbi7^І("qdʦֶt ,w'm``J)8t's.D%\x}i!uIi t>o 268MlFRt6:vYEr6_/N!uNmⓗc*_FyP+X  ·@qp?mwТYw:'rИڌ͉$CU*O^D|f,ҡ jUp瑷GUf㪕35,j{@E..ZpiI[Q1|a@j9&%<.9E3B*ZPH˸1 EÁ35MFy)^q)Q%ѡѸ⾖T,d}x+nх4<$&Hލ߉̜ JA4dBz-F5{caG69zw7'd:)OƊ.?&ō<ǗA_Ic8NT'HE,tPx-@sy+N RQK!ƗգW2޾EUYgw\K6ouP-%id*Goruqheإm hu['Pԕqը2@/sWH۽M*b<}=b~M#\5Vk[K~izOwi~sh|#8X 7}Oz8qN{9#5! }Y ')j]reO3a="t~ _+v硁g,ִ}_Z(%{n5s)d۲26Yl& ;Q.qЪ{̗y5N2@>?pBYrnD4"r8o#nݕigAEPuwHrp@uz?=ژ+% ]1`Q!Ip%YFTSBVS?XgLMa૞6xosIkB c8M/U e< NKS&MgəDi/4d Y~Ũ%M&x^,mTFHiLiQ&碸TKk Bܧ4S7eH_k w^ۖ6EڊZ㿉6ڌIpb b?Z/sJ>Z^'oDêDRPRKy*yEEQeW’{+^ P1dzWɠԣZbV(Q - *C$~V]1~E-Q0"zm[tGr dA4$U3+g #v*IɝMf:m=6I ?c~ZWͿ FĜ`vuQ c6a[n,0<-׭g5jwToځ!Rm' IiWuF8XAS#={߬uy9BG3a2EvN鼾c8 ?( >5"C5nTrdjӄ4g?#zHd7#>]'5N~cG[ %F0V{S4qEQs6iyp~ov>MOHE7IkƇz۷ ZUkfc0f&[[})mgx|訰WpކsHg4WFmiF]CS4`p}n5ʡaB[;VH^Xɠ.D k{7쯸{11E)g'|hVA4ؼӅh ֦rԛ2xƽCf_w !{ Kzh$hG 8G%N #R|~o`U'6P],P*J \)a>dkX54O|=\m$2#knj# Werd8")K1-3O/$w>p!LwYJpkmKVOw !:>{`A "G+g].̠$qKtUs1"ѻw^iLf$cylq) ]sxU_>gSiY6 U/!6 "LN&VDr=vB",; lɑL>:8ө˜fv*L·qcy5I1dޏFښ*騳D1 A;z4tJt~)N0MRۯjzn.3CON!WS}pVzю~$0EY\A 8!||Ma>&v `0D@B1-bCO]\]J’lnW_lי`\1y ?5u~R$٢ 05mFrK D_ h*'E-Nbz8}+qK j1! $;HR8eIXuh:-$Uf ^tꠌn{ܮZ<} uqFf[pBGE2*5h V=%b'4RC;P)h٠n}oqrjL>q}zjKSИb;.v[Q =J|P90FO6lVѕ|^N2,daޣ:[ӈ6 a2ZHb?o:cDRi6H=--B۲SʼnL?K❂sKUӈsLQJٟ*:0V\(>&Tv58%\ s;L@@ǭ*l`\'gIM^{Uh:ح/# SCePA=E&H黋2?ĸD?Giùd})ts=*~Z҉MJ$F+vQ%q*̨ma+'h27a{CPZb\Maee5ӌF 9pֲ9}+rQ[RJÞ JفMR a>w#iHd _x7mݦAʄph9SEՈQ7;5Fƫ-0zλ&i+)&N:ɀ̘E9oxeVR͐,[څOXLl2U$L2򫐭(@qoKά$?Eb5X?JDՒ+{ϜTwTj۸Rp.uzoS$1Di/J=ᡄ \Y(*sQkooW}wrʐS:,-S ,2˓_ A(À> UbơndJoĺX D8g8*`$jAf%]+!s> G1EVrQ3_m*8|f Ų"9 ~t ֐S<2;+!@!SғәvEMqk$j%^3~ao6wdV5ן.U`cڈǂpvmXAVkz`bC8 #dY0S+wB!82kda<*8:ue ŧ*K ?*S?踭% &[jYU6˅S"$ 1tlBcsȩhe3fY]*6T-[pR*=&@Xl ȳp'yfNe, Lc)8};XцXJv 5 yKt~%3C} U7a3^V8n#ԖQ _2jF ft>D=_ԊϽdyOSTW$J6}_A1טjzC%u.0UtVrQq0!ډܪ#IW>[k!& iwܷd>o1&x9b.C*ب$lAY+.3T-8th DҌlq"y=D{WK,30h:\\U{R[Pjɸi31e]*7*5Ī9#K,2  zK?g?ࡳ\-_%`yvS$DžJH5}X 8Êm%NN*K\JarGU?HG8K˟3TL%[}̛M^aMx  AKݳk@XVLC{t nW4ޡ6<1t#I إUeo7"(-UkaSID_F2%-0ĝ}+{ *"AQgYZm(7I!^HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/files~~/src/HOL/Quotient_Examples/Lift_Set.thyM'7I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/document_id672E&7S' |HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/messages7zXZִF! p]D?7 {?:fH\!bb?r$>ĜLƕyP_tpra>hP[yX|EIMSwޥ ;:Zcfߠ}%G< nk7T kwg o*_@F.SA6r5k1wi 'xoơa^R"Vt s@0 b|pt}O?Rbځ3zZZ:I`_Umrf*BG}7n4ݒ.1w[2+ /ȼ$&֋LO衮!_VMpRY'ZY4g}>\՚ޤj"`aB}m!S;);;D3=vwcQAAe]LIѯ1*hn9c !jF"#% &J  F/S4ЂD=oI.a}H(‘a |町VJp'yF8%5ZȲ̟u 9Rjp6m7 f5(-IGO):v! ph-Ahdn-࢒hW*,xݷ"3)P~myd`l`r&!^'fazF" 𦨂,JXUc$]XƢqIHB^nV ۹ۇk,A(!VM@4Jib&ϟv륤S~'p DVor-D8l~wI 73Fa0$nxCrb0  4tн;8r~z߱'=SQN|Sy*%RGT;(dk~$IP J+'| lÚw-icG97wqLeZy+1.JKJg*D Od,SlEID7M\5~LeZO{0%Ҍ L~vu ,. oM:GIG[%X5p+qA@XO::^A8a@{Ig |ƢI-i_J֨YdJN+K2{Me )u9ib;%UkHOQ x/Ai})P<.IsV(!0yd5ut?N3-k yJޅ ީEI#x3\]'2<ɵ3g 3%uǒhG;;MCfِ91xߞyjtշ~UBrb=XS7pòvi_2YcahL]#2'f5^A}p@dQpʦptPuǩ5PTy͍*N*㓭LZL)QSq?d}n3v y{K#"Il`18B!RٹfM+#ywߍl Le,tLz A[s:6 h* >h!]%Aۚ~r%&x2Y N9>fo/LZXHX?h:y!'Usr*k^%ڿ' v`ؾL:*f_\5A<&-- tw"?f9\.}wp^^*ܠ-#Am,3{Ղ>nɏ!.7/a4TX`tͱ`o{G* N'%Q<ua3`5s?fd%&$j|6᭪E|!ⶹPƔ%tptK!ȫ!<;>Q PgF-Xig0r=ӌ HzJh7/+UQb0OҦr۩:z6K+ 81>z5s{+Z dN~?A1\"4 >,@X U2Qw^<8 4e8SͶo?4cqS;nInug(᠅4gYZ J % dJ.7K' HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/messages7zXZִF! ]·Iq n[:|&[z&0:N Kӫ;L [OlM n.݂I.7IpfmHg:/I8aU.*=mG(0~:cJ[#/ Y2e拦,jק+ )3yUAe]bUH( CJzjRjvf<jEց?i,A?o޹N5cV96ȟpi^r]i.[G&mDAZq^/3GI`[xH_kT*ׁqK;Mn0Y]vqm€?m7ۤ'ԡ4KKiSZ?%t9/&4wsb[(X^]l9&kKRh"CCӈ9Fy-P%$ ]|Z>9"Wd߁ U(gYZ-7K# HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/markup7zXZִF! ] !M젗OFK?Coc.{=Yj aٓSҍNJq[-zTw#a@kkDЄ[\vAԝ|4w9@S_/,֊h'/O55<{ hNjT,W p0R54 fD9iE)arx"\ 4u](yY/%: Pu*eFcsqS1jONӭneڧٓܖ5Aa'*]wWUw| $0gz}ϓbw\&w ya 'H@ o+O<|.wva&8s~?&lj6F̺|;ځDmA#-~lR R emκ(hl40r!?DE I>||Fu-3-==kR1bY% Tp*/ػɯ J \4J#/N5/# xAa2^Tr?}X gGrDȬo>p;A$cq-fgcP7x,H`H2X W40g i5w@NK,.[Q(Q!؁iW f樌=*-1&D󆿸iB *BBǾӷmv%a ߪc?ptU]qǚuTkfLuG(`Pdߠ };͢8`!Ca}J]W­}voWhhwcQB999dF)yHjŵ>}fJ+ 9xPF7A}!ڈy n $%2^+1|zՁ}B[g HTcuV\mJbc"ƆNK3YH JU炠Twf ob3 G3ַ "|lG-8'g.IHo1Mf)#8aBzW=tI!>q9L|=* \ny_A]"x|%w)_Ej=CJr_ZJ!y)Fk{Sjq*Xؑ>۬"m.ūbaeK 8Xfֵ:k ܀+I5-Y&9|5ayF9Zo,'q+![ źOc 'Zn6_2 څOTD!5r3޿|H1rJLFB>HRY ԗåi4CJߡ4hUA;?!^}6TALBOdy%ϙQ~%4EK,o`RxP*>w{ &EH$ml2?m3 ?NHZxu#Rťt!nu!eUnvq-)xgJGY aKzs4S=Xz͡FL<:R`D"V {\kF;bqNHڋŖU}J’4ue'-3d!qjnMxw"hVLF 4>꼭HG{FxG>=n>ظzvUܒ j*<7 !45&7bN@-E1ݍٱgYZo,7K!`HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/files~~/src/HOL/Quotient_Examples/Lift_FSet.thyN+7K-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/document_id668X*7I' ,HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/messages7zXZִF!  M]·Iq n[:|&[z&CdbaJ3CoZguLBOS5*PMXYEd`62Mg!S}822 el-\m"8!ôPsn>+vn$)F|>kr?qB1RͱSs U!faJ],mW{7S [X pUMPc7wѥ\.wNaHɺ(@~Uib<4Ӆ;=Zk_YZluIoQgvKB/ůW`?Ǒ]ڌ,U~V;hq@q3hMXBF>]/XNiT212.~gpG@"X|*8>d 2_$d[zMC3HiMI:&sj5u)!a7r^=5mu/_.yVuSdnJ-QæX]OӜx?W"Oy'SEEK3y]u.lC*.L1be%г\y dlhO=YucREAbBS ז)1qȸ[OR%E!uzAMN腪nm]LuB9+K BfO"$vv0cؿ$m"ٜpj|8Rbt|&e0lHƞP,V~!'(IFY-%TЉGom= kZlV%PL4&!%&ٲ2XOѕKq԰j8[̀X/&D _6gP1NjT1Suw'j6TF(Bd 7+_n3h s0Xb;.sPs Q&Yd4Nyʊ;(|%cK*1;j |rj()iwp>2d6Q&hycCi31୶6O ciYw(wV89OB KKCsiukn&Q5N ՞A׺ (F9piJrb< *g>7ZxvwL+v6"4UNCu_S7B CR8D _4d;Jdx)5Wmɰ;}Itw#rAb,btƐAmS/4jNՒĀKr%0~L@o6I;Q߀~drT ɹIL}e˅ݸ`Ń.kMKoCB<{ŁII0d<[W(lݼGTI_:WI'`a;#;}+vƊ\8`w'}p"Uq? QL<(/ f!%#J/mf͒p1+:.&˷0cxEuYCοQzsEdvA&PT#;}P.LݶFJU],~8Ju᜜#(O!Y6)'$ʹ'~2jA;C. /rs:߀a;M؈!J3QQC*Ž.0S<@`Q~}J"abq0\Wh0ee (-pߴS&ϘKb'Ro=Cb3~/|?0Vg @K)n|`0ːF䬢u!KN~Xi9f,أCro QAB DREK.Kfi9Yބk$ CyKi L™,}f*OB:Ib/zkJkvbWW! |4NhIcsLv&G}^1p'gb'ՙiҦ*7MT=V7}R7Kk9.n;Şҭe)qVb kR޹e31&rC#!\RWFiw՟~6cxv{hm r[Ҝ2KCr@7EFg' c)b_C:=k*t?-q}@t:s=K]K # q L5CPo<~Ȏ0׵݁*&sb AkC\ęۧ*a!f3cұHB5M4qpuN'+usQ"j8lT;SBfGU |ӯdц'a_&Q;IcwatE^QkGB8Hk9p6$%%Ҡ3M4<_`Eg BڊP/ƈD3{bo-`ؤA2&I9)'d q%ltK{\6e{)V>@븧O]QBUe"տӯ ,NJ}N³-hApe]4[`LZx8؝~8ЁҤ1+7oc-/d9אZB}BcWΜFuPnq EܺgZWM &}9xk00yD|>n啎V <\ZITVC7gYZu07Q!fHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/files~~/src/HOL/Quotient_Examples/Quotient_Int.thyQ/7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/document_id658 ::k47G!\HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/files~~/src/HOL/Quotient_Examples/Int_Pow.thyL37G-HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/document_id66427Q' HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/messages7zXZִF! z]·Iq n[:|&[z&gSAQ`]fQe`<6UUJƽ,(n(!eh6]:m9uHF/>1K331!}`R氭V+&UrKrlAfh:&2Hk24=I5 OdW"Xh֘;Z|CN=io:|)KݤEGf9.%`'S;5evgBҷr rys")Y!h4qNU4S '%dj|HtWLq?% 7J,5>kiqI\ i:لaV[ e͝jtۋrJWj1ex dl.Xu~N..pQis[pIv.ЗR(+vvH"򄱟O2Є k3-Cs|ڵbIlduA7-MFLja"L}UD.HQrMi4";FR8sZG"0KӴF_)亷}_&4eꊴri*Z,}|MvW18_%"\Ō޵ XGN5D8goimdM3^]lr:0Pm{cC~@k5E]ԉJY?W=%؆KdORt=A5[ @q^7*bm^N-^8vqUwcMs*划wdHˇ ](}tiVBѽr1mKyh㩏!!6 풔'ó:A=_}ya lQ˘E46u3k&YdtJnv%1%G'GkpdTcI"ޟX9ו4nK88QrrWN-+@t3v(|t޻mMR7 RV}饱DWf?/g%5> 4>,*ыT"PA_WC8`1Q繁ꓡ V}WGWB~SdPQ~?~g[itI"p!ݽjPm!A}п\B% 4k8L{rd"oF-څ9`)eyla<[0ҍ,bgqQ70Ÿ)7~Jj${o5f~ְ!i7J.jʾצ6Ez WmeI' !́)Bt# GĞX68z+~q܎ gJG}폥67yrƨ;S2Bi5#/uJ$+fzi(Mco̯b^rWkH! kϰ#ᣦRR.fh_C ws!kjgIs^ /d0},''J#hyØr$oZpFt"#7t.Nθ9b`h\—,#;ț&Sꋍ_`cZ3ŹEk SeRew(ni$qذBo=X.iFތr,ɣ8GaǛ4Gn{ xzF^.b5mtع~;jQO5 pA%Nuki&璍)E/Vz7:HyH'v<: nV޳(HW>s- +C|mLn8A}-3'mZC{T-|+%b-VV1z!L=i.~PZvĕjv76cq  K5Q , m z1 9 ^B7G!HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/files4H7G-HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/document_id3'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/messages2H7Q#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/markup1G7Q!HOL-QuE7G'HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/messages6C7G#HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/markup5G7K'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/messages.E7K#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/markup-D7K!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/files,J7K-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/document_id+'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/messages*D7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/markup)C7I!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/files(I7I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/document_id' 'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_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# J'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/messages"P7a#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/markup!O7a!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/files U7a-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/document_idJ7Q'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/messagesH7Q#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/markupG7Q!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/filesM7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/document_idC7C'HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/messagesA7C#HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/markup@7C!HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/filesF7C-HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/document_idF7I'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/messagesD7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/markupC7I!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/filesI7I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/document_idH7M'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/messagesF7M#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/markupE7M!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/filesK7M-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/document_id AHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetdocument/Quotient_FSet.tex^7YGHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Messagedocument/Quotient_Message.tex H7C1HOL-Quotient_ExamplesHOL-Quotient_Examples.DListdocument/DList.tex 7HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setdocument/Lift_Set.tex f7aOHOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_Testdocument/Lifting_Code_Dt_Test.tex R7M;HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListdocument/Lift_DList.tex L7G5HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_Powdocument/Int_Pow.texW?HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Intdocument/Quotient_Int.texN7I7HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Fundocument/Lift_Fun.texP7K9HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetdocument/Lift_FSet.tex?HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Ratdocument/Quotient_Rat.texE#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setcode/set.MLF7K%HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetcode/fset.MLG7M' HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListcode/dlist.ML Rt%. t % F W  l:R w .N7Y'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/messages:L7Y#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/markup9K7Y!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/files8Q7Y-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/document_id7V7Q?HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Ratdocument/Quotient_Rat.texJ7Q'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/messagesH7Q#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/markupG7Q!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/filesM7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/document_id^7YGHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Messagedocument/Quotient_Message.tex V7Q?HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Intdocument/Quotient_Int.texJ7Q'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/messages2H7Q#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/markup1G7Q!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/files0M7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/document_id/X7SAHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetdocument/Quotient_FSet.texK7S'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#f7aOHOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_Testdocument/Lifting_Code_Dt_Test.tex R7a'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/messages"P7a#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/markup!O7a!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/files U7a-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/document_idN7I7HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setdocument/Lift_Set.tex D7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setcode/set.MLF7I'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/messages* tz#}87Y!nHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/files~~/src/HOL/Quotient_Examples/Quotient_Message.thyU77Y-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/document_id676w67G' lHOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/messages7zXZִF! oo]D?7 {?:fH\F u+geze,5Yɱ2!"6ls1lCa'U#3KRDma|}{Ov A;Kvz\Q^w*3>J:{S&)zRaҍ1|.F^bT=!&Ahj_Ⱥߏ.AwAoulu,ku?* -:hj )x]lꃨa|I 5(,)o??ÛfS-D/dcSu,7P[v<i=:C5B 3nRoUr+cf=({cۭrq=_"Ixɔ~RH7 Zo Vhpm߽Brcb[huE؋AǺ Ϋ4%TSEZܝ}؎'m?TYUZSݲ5!Qtnc`&K|HV; +N9˫l]"34E/8"Q-+2G\@v-ش-9\E'H+2U u%2N |ؒu;I<ڣ5MFm5ՠ; !>OCƨMU2D+򄚸th@#O>p_E{Ͳs2=L# xWIMiw+kߵ&T(a}9!"#iR= IHHHw=(f'MB<$L >98Ze!y&s&8m$lX{nSTF]'` -h`~]pj E~CjE6V_>ͯe}7X'!7: fS6J4;Wx6I*up Cg1hI N"2tJm ^^ sG< 8E?JDW ߆uHs>ݯ#E=i^ C(07x~pun?I_3ϟq_I8/#ДoBH?́pBc kimѐԭt3_̑aCO>g̷'(SrpX}Q!!1[dvazY +U@in ,&4BH0IWI][V*OWn{H B*M(`2H=_ Tۄq*~Pnr*厇f%U)kĭg2|*?-OX%PX!E7~]1(tN-(Tm38=g/!A!Z;Yg}TA1^y ✪w}( Bj59nj<="$`Y0$R"orr57C?8eu{ӽZBm빷)9 8C5$&ӭ@ B -HfTB IXTs_8܅!k >V/.l $Qi Mg%v ϕetuw?oYж!SfB]Yݧ X N?0,:>gYZ ??>97Y# lHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/markup7zXZִF! ( .] !M젗OFK?Coc.{TZZ5^{MvyJzTkV4`r|』#4$Tz 䇦г'6Ppo5.LUc.o=ƏJp[i( K)g{U݄ڎtZ(r[hA$"a"KG޹E X !1F |ӋAMslVܩ54;dL0 SW\Ě7 MeC)>1YRxwgϽL هCExx֗Kʗ|0>wUo$fB%PeMx4*'ўP׺LB.{n2 c)N߶'RB{*0c.MI.*7P2>tĚI[r}|SApzi_ tVLRzPYn(=R:y'rVϪcCn s%oŌG$4f:$D"eu@=6:`-%]9-[7` %ؖ>%$ WVGHoȚ"s}]8y~5R)݉^qdHaXǪe|[4 \;ү!_ )V!]GS}1O#)$*i6(}F_Nߩp?9 Ve73[/#9eil&e :5ͻh4܀j!>IY"`G0LloT܂h]@Z26 m{4tu[tyTz<&{(R&Bn8b5p=@=%kM1M*aV>m+Exs b4MGAB9?o2o \: QEp!n==]ė ۢPVPXӃ8J5^KUs.碣NMbW ,KZ #rА < ׎yϷP.i=[SFAsxp,#+~~b둂5ȝ[MfcD8m1x D3%,!əҐy"QHj߷0A7NL- gB+B/< 5]|:D{ ZF=x@ԏaФv䅧=a7u`19tPU!ںuכ؁غF9aY_#}][''-RL2gA3xL J ƓR`ۨ运lI26A> 6 ߄-1s(4sOkv$oΖc TUq6c{oj9՘Y Yω$uT $Re_U=>qdZՔ JnlgXp=Q_[:]\6فfPϡ?Ƌ9c+ӠŤziA2xt(ߺ(czQgYZ  H:7Y' |HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/messages7zXZִF! I]·Iq n[:|&[z&6RQ _.?ofŌ߭,dć"}#߳U<~L+(ѕLvn5039  47ژ軳hzg?`6n+=pbféMO#Q?^ n}hRC9`~[m*ݚYΜ%Tj6~kϞŀ:P@gtstP=4)f/@+hǪ*E 2 ~^3M*ni TTl6uyA)Mk?ur%77OޜedGg nL*GPri+0/JjL1w!1S.ٶֆ:|Ŗϔ@so OGzs w_[(2;[kn `׹{|l#$ہjr7Ǣx5?S< :l@vXny)PbzĉOU_pg59_s@CdDT9}yө`7]2:C0k`{Df&/xNy  rpu#ܘ.Vn{OUgnN=j[m͂q!M&tբ51Z5裐5@mw~'6>j ^9\|n=/ڕ0֥NU>Gi3h+'@ۯ{z̘D#8UΏ@CQ4^_[̼~&ɸAkj.KtggN[C@Қ&Z⻱!ov|$)e"mrfS@ o!t8tIh]عjq#b7$k|v(jˎusSȴP QCWd<߾tB#AF\f/{sK4l[$-CƩ? |}ISB