SQLite format 3@ <.K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info )7t||d ]% HOL-Quotient_Examples:threads=6elapsed=25.438cpu=40.990gc=1.9277zXZִF! wv]ŗXiɟ=QzX)qFCkWӨH36XjPc(nɈ&8jLA̶5UZM4v|gjՁIFJɃ&4-Vh(DO^ءArIn`69!-(+Uf|XՍzKC Eε{R OAlR?d 棱$5 Эk9n%ŒvϞmljeJ݃{$%!8C 8yWe^u5G ,h uXL"N@xf+U?X ~|)eyYhO`шp&;f,ϟOc&ʃK ZJkȔٟ#4gbG_U:J12V#r#"ulʛWPӹ6 (4pC|[Zj tUeYUO6y5 )rېF2ۤ6%%)1cyij܏vnݬ>/H)[~hN^/^؍ }Ɗj?lDmOԼadk?϶Hk l 'gـw'Ԋ/ 5V4\ڃq#s#z_O,ztmxpcf_hg!ذVϖjU}_Ҍ# xv>iY%5J'6>ɿ Kskqt H@J(~zEE _KkPQ{L|ԦT?2%'#= PWtu|E7P$O2)4 }'K)g|+3N@,.#eDVtr{ywDhb"? ;v^ 뜌o%֘ejk<ٚV4패9\Q`(ѤelHd )XX ?N%nuH SЪn3Gk^$*@ 4Rչ /$vC:Ɣ4£BqNEA+Qqǻ#&MhKb^BQYŗGo6g%D o5CG_Cd^PWʝ5Z$s]ۉNO#vܼD|ǦdՈ6 5^G0]BmW@*yYVM3a49k=TwѶ '; 0=O-H Nh*Lϫ Z4;Y~JfSY&nŧ9_\{"K͛(ڲbZ1q xq84MY]Ϻd% k2vF/a6. ?w$ v7 xke(A4>Cye56h~̠YIԔwK鏯w\u׶NG2@60ZEs)'A-q>"*I)-"Ip_p\Y'ov,WF·"j gJS^:wׁ.idN-V1:G?՚ѷoᜧn̡zT.)iGh3L-mC h-$x kΓv%xK jőfd03(m=ˢ[eEBKVg3Z{"c)NVb"R9MG@1SN!&2 O}kH3TZ:_"dzdA_S>evF ^a\sE?,$K/*Oq"R˔ ͜Q^±am1ﵗVՅ03ݫzfr%[aU2)ߤ4QcAVDQي전Jc'R5w_8A JPDJQ1*AEXP1 ㈵%-b[gYZ401f13be0d31c64d5f330c2fbf565a2d0c2e404a334e417d7f04d08dd2e235659180091543a44765 45912edf3b76cef52f4da1af88cb975398527801 aa23eb9a60b4dbc53487cf0ce9f3b98f4bf0498b 7c50e935f10e1dcc12d0015dd16e7f81db2838ef 1f799768958118a3aab56e20008b3fa5140b7fb4 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;996551302-(,#)!!      8 q1 % O DAq ] ?, d :[ p%~: eC7I!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/files4I7I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/document_id3R7a'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/messages2P7a#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/markup1O7a!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/files0U7a-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/document_id/K7S'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/messages.I7S#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/markup-H7S!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/files,N7S-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetPIDE/document_id+J7Q'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/messages*H7Q#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/markup)G7Q!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/files(M7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/document_id'G7K'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/messages&E7K#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/markup%D7K!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/files$J7K-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/document_id#F7I'HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/messages"D7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/markup!C7I!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/files I7I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/document_idN7Y'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/messagesL7Y#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/markupK7Y!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/filesQ7Y-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/document_idJ7Q'HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/messagesH7Q#HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/markupG7Q!HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/filesM7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/document_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_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_idX7SAHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetdocument/Quotient_FSet.tex^7YGHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Messagedocument/Quotient_Message.tex N7I7HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Fundocument/Lift_Fun.tex f7aOHOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_Testdocument/Lifting_Code_Dt_Test.tex N7I7HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setdocument/Lift_Set.tex R7M;HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListdocument/Lift_DList.tex H7C1HOL-Quotient_ExamplesHOL-Quotient_Examples.DListdocument/DList.texP7K9HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetdocument/Lift_FSet.texL7G5HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_Powdocument/Int_Pow.texV7Q?HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Intdocument/Quotient_Int.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.Lift7U7a-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/document_id/    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? \HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Intdocument/Quotient_Int.tex7zXZִF! t]A-MՋhvG"uIBm5ޙAvcia&zs(;^ⵝ̈9ۥBCs^5/87"ө.* c,h~$͏|!X9̭ZDF,drpc=3 5 ,-J+njh j!;q =9݇ ]߾zj?n0ЗV'IMWc)N<(?uG[ӓO2܈!R*{R|Zy+D1"vAwrz0%'2pgF0ij:;刢0( q+dWX|Hv( gCdTW{v;2M} % дɛʉhPNO^TK?"L͡ε@v!6#sbKnqxs}D[s ,r .A^^ 2Q 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#FgYZEUbre= 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 n7K9 DHOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetdocument/Lift_FSet.tex7zXZִF! []A-MՋhvG"uIBm5#2O X`9; w6G?0VQ*? 3FsvmVi9ZПCWdjidzv[ѵCϳykS8>;>j^d*JozHw@\ѧץ9wsfT,>xb6Y+K +Jo\US vn1 2ur)QuMb9w$gEN`?_Я >cIjKI1xB璘!t񠪻^Yz)hzo ,yÑu ձHx-מA6*~WGkqg0R@Ɵ4B%$5ou>+wyGpW/4%Fnإ$SoԵkA Vy$:Zͷ~ז2>~W}_dձzPbJar{c1O+RdœQ,pN}'@"Psg2j]`17+G/rI0΢R]_<CԻ1_{!NƘ<'|$|{B2Q6= k3J/{kaxA` ] "z0ZO[J-ώ_0֐fSFd~,PY~Ŕu>O`|sq HiRl8!.J<U@gZohwJ}i᥏ E$m PbƂ-^Fwx|<:>,9M4Xz>.C3q)"4b=>:'ٚtuBV%紊Dh<>סs`+ y3=:p &pЁ{5Au;s29EGSts& ,^zաUK^uYe)E-a6ҫߞ}LV J'+ HA:W:Xݵa*˝S㯪QZl9$G25 ;"vdi d-s!D xA(z .NfhWBy u &/)B@8!gJ-3hv벬4~E^ "›0eXVڣtS?+:*|}^%g9fJSieR;hrO ({t}ST"p {qicy"%W\܄C_~b3iMthUW}ִ2vr42O}E/&fՂ>rñp #qhbY"b{k2r]4u=q \O{d6ծ K68^fuԲü&z鱣łX_a;T]2)ԅTR$8[-% 1sYR)04hSOD Xf(Q9%HZ^MV@iN=Rr.|@s':jYQ);ujN#g ` ^vFYԾ2l_'^> B[F .n2 ru7-%2nňp}CIԧV\̋QsNwm+N1xO94-Ffn%ƥ Q5G#<%TKÎ}f8:ckճ4 V"$le}Tε+M4n뉽 E#adR9rh6@4@NU)'_Χ;t!Oyq<Ő2v[uDA7g)6$Y[ρ+\tQYG,S"O14F`bxt%pq`wc ׹; RfXoW;Icb2b8p$~R?msԓ~E#8u|k ߮e)"Juhl,z^$b=%N@.\˂-:{"@J '9n#R3v͔l58u^|>F^w,͹G3]$Z&)2+Hlb fT>u`CNXɏ}Jw:̍ax* -:kP0($آP؂*Z=J }ȮKwW_^ѝ0|ykqS0vS]mf(2#})oQxĘkm!:B` jMddcS7/ϫLJX_%? y:4_?aWLCwLjѣn,E<IM6_JðL}?RT3q|b-ވ(_ N͑/>,MTLe%қ`rCڑ؁\ǂK;>ⰠX 3AOƙB|l[zWgmrڔ; s(ϯC|ACN +&ޜ@)6sӓiv.HT6}@,r_a@7u+s bbq.s F}bvDτ6Bh.%>.wEQEcɔ/<Hg1e(Q AXg=+'ay]G7l!S/W#{?„C1Ήw;uQN"~ 15 IKCK oaU>VY;LeQn~drx }*.]Y} '!%s,9(wGn0S. , CwA& *6v+e yckXdpQX>GPE+໤Dgl*tR3<#پ4*X^`Nf a2ιRLjfkjV{͟ *+ޝ/#tȞBPP$y2VdMuJ Gظtt@.^Ozijд j 1P" P83rC5h)2~U*kO1-:/q+H@o?SQC BsnfyZ&eZNQcpM'd.co*ΊE !0[72sٵC9FuցBc#6'RkԃZ*@k?@^\p |&czJsJgStqL.!R|+lmWt?sy,IaKdÌ5^PXG $eXվoBL5 PC33Mɫ͗*BOW"Pi KA$L[x8+u(Æ4>/>N.f>'m,!A{h])ă@;kƺnoQ[$҈Q8r*e?ީeEKVM]!/FJt\֏@#uĩzGvl_9V*Qr7Y!24!'>.VB{ wXB R<?^e $9$khv(rRU:w^Ho?d8F1)}ɮ"bk*tg5F03ڲ908 GaQ]0|p7:D]~VC,غݸq; O 5,8(N&?b@Sc-N+dVwȡ'">_QsJq2EQ34NQvԉ'YwO{x@48VIp_=<Ҋ,1)pNDsU5n?9-!@Zo]*)A7IQɉjcO6+3MEkhoGbK  ٺ"wȑOa.ܛA*%t'fܘ%a;EJ^ئvu ʸY,IaB|$=R9=Rw= Q*?Upn^`oqL 8#: g ӄք%DO|-pN$ /n[^GmĶ؉wf# y|O?fG&y:e9&7GQ^M o^w<޳nq$!$wFvoc&nHbun6Aߘi:Z :*i{@D^6mT]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+'!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"ogYZF7C1 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/iE8 5\&FbTd\a 03tf9QV';|Cx>[!8o/4&PЉƑ/vEkgGVW*h gtſEEg[Ʌ9^HzŶL6H1ɑT;YFq^a@jKXWEM GzrO/5lTڂ0 JWАo0ڭ/s,1Up8u% }) /x EA*}iޕ<]YvR.Ij}^NZ=il7Փt2r;>Cc]$7/-9Ւ Iŕ.g2i"2Ŵ(evaK>k.=rLsz*XyM7K͵7aX48ᓤ%5a׫\]9mPwoD+I(.텨?]]2q̛ϏJgL Iue3!Ь@5P/D|9P)\oxUD p`¿]'DT&?eaOR^c79< Su0韇PW[ɺ@+U2766/ɏO٘gG⋫;6!LO>?lɴ~眥h#%19 +Ni֕V tB xHp S _f^ D0~Uߋ2&p]!isr`n_ejϱq "=;JdĞ])#eמ rQ~uM'5u!VHbA裬7)9H+wtޛ v..}Ds)ՍrȎQGߛ#0v&S݉/Q!{:!0]#2-ԫ_snHٍqze7H<{]kʫ)mGPrǂ>gYZ )` 7YG HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Messagedocument/Quotient_Message.tex7zXZִF! ]A-MՋhvG"uIBm5ޙAvcia&zs(;^ⵝլa߱ 3xGITެ0*HOɂ;ţ:9אnZ X+p5 MJ˄ma j2$s_qV6Bkby^fc4e)HSb]"Zo2>'ʹco[*̅x=1%@ק 8F8C!xGLƺ/=}^x~ꨡ&QzgzڿYwyJ{Tq45 dbi /4%ҹia>vf}N,%VC^ I QKG.f}FYoIS' lUJì JK@n) qMtl!C&iJG;UT 7I7 HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Fundocument/Lift_Fun.tex7zXZִF! w C]A-MՋhvG"uIBm5#2O X`9; w6J  ,(z}bw<`j$jl{_Rh!vs]l5m"rqprr3WOJԤ*0uf34])}F(D5Ksvs<[vT%$ npt+:=kxeNiD \;!C[w͜i3r `).BBAț A+h#uJenҴu=c(gZy@ǭ0ʣl;hZ6XLktNF4A\( {'!aJá7[ ӨPƷm EQ}{#+ȴ*Qq܅^{ףI8(9ǩ~ZqU3V'\%-Lo\yƢE ! S;b`+{S8"CM<g=hhUFx-ItӘ japcpK@Uk;FZ{:~ YZ z@U\& ۑNg9Fʒ%L 5 ghrr|R) Z;k;[V_3zu zDWS'\bꫫ\j8"O {)Izşz|_HQ-d.b}O"X"SZڝ([5` 0DZag29bAJq5cry26"[bWdnJJPwm!ԧR$yރ_;tH/@7ij@'I>?ӻH+b -&N^uy]nHqp[VڔZV >v842r? >ה~#|P z;L[u:%5 r{׆@6"IiR:ֈ^.ckz;pFRʓropP4S%gm4XT*͏TK|W*":8jE+dJ<z{ew=@MpV/9y~\w%f=z*Ej3UZ^s}囟ȃPplR> n.؊OQhyUf-_cʫd~aߵcwl׬gW&G-qc '(3 c(FDRYFzIŜrpD1.diΔXLBCc+1啕gvUt;\]Y3r2J F 'Sÿâxl<s‰: L2Vj #Z`Y;( AE+z;Y */@=t}]'W(ӧTli4wIΦ3b[{ ]d-z5ױgYZ DIө$>Wye`:$j2ѹmy'vHSS= 90M.e* ÅnW+͋u1֜_q4v{|=$Q<87g.P>.r~n<@HDzH 6fL/nlQp8)Uɦr8aBݪ70 rl$)[ V˒ٹ!0u?8ǭ!4c;0`%~NBlf=~c'la)7? 5Z.8=t:.t7Fz՝$1$W6KMHۚoptf=z-a t 2`u\qć,j]-m"{C$n.Ao7F.լtJɂk0+G{ QEpqBRV׀, B!<`&|qrǥB-e"6zk*5 ?~8EITSScW⑑jȄk-кh5qFTdX?Ļk /pzZb=)' gqϔvOyE(X!P$zɓ}l/ .CӇ:HU9&pK^߾_-1 RA#CT<=2Mi? !aKDŽbyL}GpzwtBdto)*!~`+0-Q|;݉r-ҭ \VOHJ!ſ`(g560kmºzt5A>/~l.%E%Qmt%4؝n VSnݾ}-A{^=j(4SR}ͰV+LG?V?;)^/tk/#R-W<Q㋗z_))%9=GcdvP)2}U,*o^Nj,sT64;DӐDjcgitPPd='YRp0ϣJ2^\)*hgY č)!/igE]}SlKD?x'u*$J[i06\N+Pz1=S`۾u74Б|.6gԗ1D׍'6ЂNZvmVw 7sߏ A ڨz z9YSƱbhA'bgoN|ǾCyY#ѭ>&vz@}ik#,X+rSf=x5cn8~c,(]5EsadL8>#e```}7"h>CVaO楱^ nA2A˔vf\DgJƸ^3 ?ϲag^P7LvF!)ަBnZȲmК49fe0 ISyg[)%T7 ։MTd}&q`RL5/1#[KZNJ`G}Oi'iBiE&,|p(]90|g1pYS/:[Nf/QSO_#2"WmJ7rcu̳ZݾxY7>_?'NCzeRfm }ɒϭޫt>+OXm% hZf.#{Ì(lΪ j%;M})h.rS{o~QƋ¸R;I7F$c^ :Wu"*CxZi2TX #="࠾=6/w,|}@,HGq=fk2q|ٕ0>]G[H t6U*F4ߎɪ'12m 46IF37SSxmX0L]YgcB2ڳ(L}'^ |:?B/RoH;x@fg@ W v<2[mU(+0 9wJFm~Ii@߆H?FRz0;MS窚bE֡͡۴v#z mփKicP6/$m'c~d0.F^*7g'Tװwp`OQ^ݔGrcฅdz` _ʰ/c1{I=Ut1ՉE;-i3f>iqtBb&@CVt۸@!*/Ʈ@ 9ުȉgU(^Ut(L1(Iv?^$SYHqH2Dbo5>ꀤj'uPTpu+9"鉄?Mp阮}lG[#Z. z"7F{3FVS#jgYZ{\`p7j&s ,#M2UޗB|pWV Rجˆ #PHJX޾EcP˙4{r(Ɯ2&_US]OU-9#)>zV4]a4sO״*]}u.r"&U8IEU/@r& +5F}˩&2 y1_2{|Dr?K302қ|ʨe%/0''w5 3m˔JhnjG(?=V5cDKI9 \]\ZE\aFnm- pJU]?*^1'Ñl0Y5vni:b=K7Мr{o#]A0AꉆIh#o uLq!_J/c!hi3GL6?(3_%Aw4{}*Gk:y+IiQf89 D nTƿI`g4)-VڎˆVxQ%yRD 2^㻵NZsBȮE&sWo*p#Qygک{5t)1KPȚ W->ܡ|!A0'qbH 6*'ʆ.ijD%c 'hKb{c潺ı_=:_w,( ӇҴ/m2q [y&;E\-|@MDzzt#{&Go5&ۣ[b o\8ֱOU #h֎ ؅k ЗH^;=2v ƫB E.hw3P4-+iμaa, .5hy>d:+@GA9mI$^B2J.~%cHbi- ⠼^9G4Sc*=}q?rZ=O`}Ҩ)rEx5l"C ]e=$ɰL@KTVt=)<|IhXҺv%΁0x\KC.g#o΍,=&mI}?#!up.PbRe0B7U%C=)\W?pfvFC%.枑XSUW>3BmN+iGOrU^6T'vֽ)!ƲoҨf֠+ա4.L髑D>Em&)Pfn쨅yFWѴ mW6(~ƍҦ7\>\#J]}e!4%>@!\|4Zs=6S])Sr5y_ѡ ?%/,}c=*lYso9IQdgVME9UjC rk?} o4sn`K]|:ьȪ8裡)Ed- me:#$1fac:+ g$?!kq[*Rl]0-1O jpD(+aλޘ:iZP $n";7F:掼">xWވi^Nii~~Q@( 3cfn6JUi [EQ(>{$,`K%Ϛ{Z{H4mMYο.θ8cURŦKNL0ÓQ(~ٚ(RJۂ[^$tY:^UMs3gm!L2ID+ ݨ;-\(Sj\ ͛(YwPfim YݰA/Qu%26u<}1xCvHaC!((v#F0mR3fɁfKu?FRaZyᄍ@gVCSHL5qJ4I $ gM.lou +C" z7[_Pǿ5 QoZf5 Hvj5x5e׻.`f~uګX-5Y)2.Yg~X\$(#fT7}['D2+#Mo`~wWNmD߂Hg~ƊZROP̎FI޴ t>.c<ۼ!q!J:G7q+$qWG>跫wm9wdU)|5PhYO A]ْRdKH~ɀ!_ r-6B\"i]b:=oC<&'6|&K4U|fS daϢ30 dϸ͕|d'jX}Wt>^QyBj|hcq,*Z-; a-9O4X-4lb`2| }O8B/U$5odXE g9nd OlXA&"0Po W:2kD Qrwxj.zԀ|_+UAMs>1{{@C/ZYk~ej3gš6GsDp; DeXǰ*PN6.*?r7Wx."|  =s/A:ߒa+YNN; !ϭ:"V_Vu,ȤhS綁,"m69uwG+yx e\Uc`1QFňW4IUB:kziRU4,!4YO3# ^+F;|zf*n[-bF)Ɣ#ؤD V٬ܹ'^oYf;46O6Mُ,k"QQsmLw1D%om()։(XMbTd`%@/{IwLȧ=J Jm2M(/T&qt^lT}. [@&%V5,xziiI3||B=jO1E(Cl~tM4*M]_:Ic]lW,3X#P'l!b!1wxN.@-5`k1ѦnޱtH}? Da9șB#iY5X6]_ ÏQWJrQtǜ출{8ӳ .ă(2ZIs<_OoH3ʩI VmKi(P k.z{o6)狓 FTPڵæK(O3AʩG\޾πldlt?ED1n)ak{bZkBK-.l"տ_+s'^/>W~= 齈*È # Z@2ZeqvϼNC~OVnoMFʹC\ǒ˻2K. wI9fm[ |/C&b7j/>Tr֐&`vב{Wm9r%x͊!#(PVV?P$2Y ogqu;~v< 3y"eC%1^"jW-Xa%S)tG>s<|}ʧIF`8 eSZnsˋwwRd 0-Ժ͚OS\,tV6ԔBP~b{{B>/8I ,9>j\"K23yu Ke0ő ޞG.\maslGg8;Jj0^3}4ںd/&u>w|&Z@t=Dl__{mƅ *V0B;) EUrx#j=좙R|Cjd;#:^ -G*I譁)9>'K2`|A\c% !fS(碑N`Z;$}I*ҥ '!c+gt'.!5 1YՂ>K D=4$VL8j,%O HdjVORܥͣ=K8wBc/-ZTB)6Š*TJ!1&MקR fn20wSa嶶Tp@G tvJ@ *?3c krAybN/`Gl8rX^ tBдvk BrU;C}nҋK zVAƉ2 ` vêOO\v(>F0ܧ6-LqC +DfsuH%WYg-Bv0f$vSƢ [ jJ==eXQON S4oD;u:L<(NԿ#^RK7baGב"pQ~cu5jPΘj7hOL 253͂00[\D8ZYXw5T̤:/f\r?򫩴_2Kf Tuk9?&P,iXxgU IT /Wyb9CEfiM 6 AYC&ש>W|8p6 uj72JWgŭL U 䔵ISKmsƖ|'dH% ΃=v^":XxG)f_uwUqL:x )[U`w'tS(mb%$ӹ O!@Jq6lP_H͊ʝ:ᠸx!>3~-I8Iʦ]M?BrHR,ߗ!z 68@Z4Ǣb5g{M 8o aN76˸}ObkFdOQQ6 [Z1ЙC^ O}8h3_<@1%zE0 Ьu˲,Sv+ dk'mS;21Ff h_Tn-|@S4|b9P zaDk4OMJ'L>z )vosRqTPQ[sT0K8Ǥ(p%7>cEL%LӂSwHAږة&zj.~)&Lײ,9K> K1` UAaU/ 7AаCb}g#(sYV5{uI󢴤ߖXzM~sC:A(}1rh\ۄcYƘc8W/}gNDk~?[>L$db M;*8L%`XAU|Ox)#ܡJ n |VhHQQqP9{2äSqEZM&"%}셇Y]?P +<#0MÕ8QX4#*ي?rq^" 1]*h/ɟ0 9E$~ `| EMZ %Zv QԜ}͚J^oK})2OLM*+R(qI_܁r,^pgpR5˙S&,g.*?8,DF'T_'f=yk[F2(meyW-.QǶr$I,=@z-]TLk1cQP-2MeޯXkD58*]Za+6@*״tW䉳P?6xyfZoD` 9 x у'ߧۑhX7%˾AC 7L7 nE[[LG9SzD.x/G]̐yId_m\ ~K鸐0TpcÕ4u 09q7h\0qq\= NiOZFT+O` O L5MtwWc Kh6渒g_a85SrOc!h`6x.Ч*ΚQ\摵o~Y7T#҇Jk(ɷ6ÎJ7J/ĖPRMU*ִ_)(CJ6* a#Ayr?ݺ|1\BG+/̄IS_s%Y ne1m3V,nAx%ϘZ,e.tҪ8K|ms@Xurȵ.At, ^׮*PxfTUɃD=kևyL㹔e9J?Ot ,.  Ƶ_$bX2 [W ft Hg)qrH=.)Ex-m,\nvK2Wuz񉋺 yܓis`gjMWbyS,Y=wﭑTnl0&&&NSk9 a3i)C"5rGQm%G3Xyve F^ɍfͼT`sܓ#l><$MvT(͝qc31'=܎ĮeO&=6U!ϸ4ޢ嶃y E jޗ&*'&it'.i kEUQ<$>3gxLFuER @y.)AwZVzjtSk&_B3ŒXafUJe4jð5F]+W [U"/q?DR%vό/V%k3?!s袵 nqxS[Ły.8hBB0 <-,ZA4pGn'W tk-DM]'5ߏj65F":uPR(w;?arEvCQfyN_-bcI\~Ul%y.&]wA} W޼+4e>[ 1񌸦?顠ZdsUm7cI>zvÐ#o]% ]_,/A/\(5qX<'lTcsK*W!"k_rN6L\+y\i^՜-G#|r@JH:yy QhڴoVO=܀Ne ^^mS?̳ܵ5"KSJRG2,pBl$rZYdV DPe<g7T?z՗ nMIua}ȁ~mttp,5ؒsrGp:e$nY!5ꌴepmn+M&Q0*YNߏ ok8:^`^}FJ.+'WC.>VcI^w?0V8SÑì>vm u{7P%vM $Vdώ&FSMF6Sm8`ؼє{4ݜO +AF#Lq}9*̼3'Y? Icju^q݆_`΄glog6 WILT۫K:xy2?"ECr0cHW Z{:Ɇq!Ǿw}p5]"C$a(qf6nq4[ݡݹ7A`dzF0/ ~Fa@:;g t\dN4X s>fQ[, ˣ'2q^v T+D[inD{kx[GvN_|t5Qp'Sӷm92yh# IAiZ9wdtg Ryf˽)ڶ!9#o\j""`'\8!FH* m$+"-KQB,3V=Vu뷄v{˩g5Q !#h/耎hgJc%MFqԂ~veWvljy7"ō{IQxf$K't;@?Rʩ&+k1L{&#ђWa^cH;ɱCn&*i9?V6.3s7aB>"ݜY|wDK7lvR!ϮԶH"0PZ^8ln7u-:B?#->yficf&38y`Ou6@A/4;^n8uq֜48.~;@9SD]M-IcV=Zo6/{3+ctC/:sҾяI\7ꑦ:m"奎yvcY[oX$f+`)-.Rh3zc GXcom\@U)*~ EPo:=jU.UY; a>G_aeC-`pMMOOLݯ_ X:GEL<9ѝLLgG'p`]e!h0ca^,v=ITG S%zۚRbԯO_;c$u;OmM4IJ6*+A0;{8t .tf=a0U ]SM1q&7lQro2WV@s .OkY\o)t RǬ!zED  *yU2Ҳ25 dhO[{;^c<߽T_L6%d BI[07aSoO@7^|G]:[d?edeD;=r{3Ɏ ¶$@2-U@" M_~eEDd(? 1ZGy4 ?ʃ51{5*< >B4 jD +wXKA&!P.5heHdrBϡ!Z;(it7jPŊL1q/@] \ lO/0D|i.t,E{ O%]x] \by-~F YO&U,bS[zA c"|4|[[_n 6N:5 Ki(/(f҂8q"Cmuҳ,Ec)餻,֍{ jIߤr֦ܝ}[;Bm7Ʌafcꢜc^ب|i%ºiDngReG }հQW. k:laըʍs³Vf~z&Q]b :Om/ƤX"-0đ3R @j#h͔B"ж &Q(xz kY-),q\ٲ\(`UcY4 v>k CP35>EfoGe^z\&A{Mrα^}i%W*`xQn}EfF:q|p:@hLٞ @Ώ[jI__BwevR9"i.*>l+*%.Nk>kT%u5 Ť#;\<8 ?\X)2t> Q t)|nE7 zp.z>d]N??9I\5W&v;Jɩ2nޥg,RSS=ذqoIV/h]@=H{it%1:[54.nܥ'|w: agVz#|w 5}wvs^b7)xegq'[?$eIC).jg?ڷ=8*Y9)B)7at%xsS ׆T1 ?/@{dČPG$Zz&i,Q64VY}&o|n0hA Pk8a$].7mv k u([- jA߳Dg'!}bM5Dd;#!)!~$;|O;|Gڕb5c~Xi}Ő1*187Fiu7-;08O\#FU)'3OCu-H[[a`I(p;>Rɘ7Ľ5Ot,n>/R >~it;&/ `ݥVpnBL3LfyZWև'4堔`DEp*4M{@ X+n+'/o[2z=9@d\2 %j(ߜnmaXH!TOZ\bWd)ڌ!2l *{pX&iZ+I|$2;1P-Os8Q h?əqzЉcqVv' ItBk/pP$灆zyW 6qr 2&{u|v L)# Ǎ _+{I{`#iF>%iZ|+!}@Q ;#P#[N)9߉}EYxe5X#.UyRwjsH]:+ 'x[UG6 V RKHF%$-Fn/HZwtA/ivA@qMdDת ]8T zEtq?<\AwpԿj2:'H|3XEviLcp6hQr\J_1 ٖ@=1faޭ4SrON\巐͝ ߖ~iN(V쓲/IA% L Ze"Z7rBH~ãc4b~D,fy1fV񏂁yh ɛciN}BAB6Q×.$lqZL~JEPʕJՍ$J\UOC=܁-=a gZ@0|$("KpL#!r,L7; D޻[V2;ГO=|rBQc+P .cOyvd_D( SB684U+g2+4Ov`c}>S hrCh4_ a CHsM K.{'-'|bH/_eHnq낚I`^U\;I(ɛ]5I~0.a9ly_N[{rMd`kf풍);ή+RkIekۋ[պ%D36ⅧQөy0Of<ٱ4nPz{, $yM/X2ݏœg*1*.{㦯Ed̥M'*lnDB)ءKZV*U(;f[KC06uf9z[-z(c58TvTi,<$v0kKx ̲SbSP'sR~g$6/zⲍʡnp)) (-HA̼ܯ{ I=i02<)V o*_ȔXdpsv/F"#^0WF6/eYl"$F˗"YWB6MtK1ѬM&6N8 Qw9x~?tV9 :|֡UtA{::yxb8Ϛa4.Gs<to2D)+p!Zgwؚ:X:78c93̢D陇#])혍6/0[: H| OL-Bk{H:t_hH=Lm%-@gEN=bfFK\  I0 ҧ8LCdg iZu5~=k*oX 8pIپ  4S8_y2x"۫!pI ;Eq:(X[AyoЀ,Y1n?'OT]<#q ?}g`[#Xa~4/i!_5u+rxK1Jp=ւS#`B=،Oh`t8;;٬#s[>0YG|`NJ%RIo?0h-creSnn]i[5\`$1إa [7I`^S)1ʹ0QDAjIeIML{+:Hr\ w!SSZn$Ȼ Iu)raO#]l\n𼊠7d1mfzZΐY!,7̖KzZfHoRa{_ Jߛ՜uRY(<*PWS۲(@3L0.JrP^,Dj IMG$C'17xLǬ^8m aI*xi:y6i2*:ZH4Tu]bq }?pޯ#<=S|[ 5Ŗ9+77o3uCK:0|_u(u5$^v:ʑ^QLJ2d%ZBPl`8V)Il!9&cUR0S.0*r:;Zc# 5 Ik\n'0PԊ v+V{+fsNӆVh*aʟ3|W7VZrl~1s+K:u~ >RsnC2H)BF "b\F(IR{Ĺpcj\٤6Ӫ~A̫z*ǷjX` BxSuyL˖hg~?l#5a/*)hb)ŎqO6ɯjbW$CʂNO1&PHX ”VhOUuscxx%W<҈SiAx4nj5`%C'ͤ.^otn/vZjYM5܅\m mQؕQSot>FE]GMu0Ԓ;wDoo>kzhp M\3k}qWIS( ά_6z?2qK&PCN Tbw<`""x ]dg*c%fթ! ْ[Kyre(˜&CHk03ޙ%r-Ѿx.dgp;; KF?I_MQy13ny9p9VG2xJQw:M*Ҋ<9N#Dj |N!iּOgs# %f X:[!K24$|5W?7WrrǓ&5E~ȗY&{!{er&/|] {j~I1ٗyTmj52Jٞʔoxù6LqV/";:+l@"HB']*J~h'~>(~m_4-(5;$[ n8Ѽ3fత35H]h5~ P(Q"1M@ :^%5FJFKV3C7Ђ+l)R ڐ{ñ5uϚ58wF*Q ! #6nKpc2v:@t,gYZ  Ti7G# THOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$;Wa14C:M"ǟs}BLI̬mNq/R[D% @S<*g"01mMָ:4uB[&%hӯGH@+FkQ2}7 (.ӎʧ-tʊ s lQ2 Q{CU8jm ғvLQ*Y`ҘnR4p4"b D㩗?PŞ%Nń9IKm9J_^' 6v24H |]9\T|m_#v|<5ѳ @6>{Jtnj]|SWzpm8rhVLMƧj )Sꕢ鬦K|wv-t,Jԉ':.Zl".s xE2o jBj9FĜJV`%7r1lI2^& Uaܖ}`P*r1weBQ4:0D'w㱞I: I5驐1k0,֪ @tHc˙U>u#oTWcؘ^Y&f˃b!D Au_ C} Mh.Δb> m`uxw]fw<>^/yr!Ӿ &,Of|*"Ui|0rRs#7mMjGd&+q Vx$9ůB]c5D4[M?ںޯcq_y@j<"!cqN!' b,&~kp9>zK YnˌN2L k,`as =M`K?_LuJٮG .z:H<GeygٓwE I=0pǹn90\8!U,J'~djvw9EDiopue1wS,+E܇pr4r tx7d%/!l l$).UclEޒ^sQ;ө[;WAx&z/@jUS3̹ q%` i-66+~z#紼g_tn`ǰ3f2;ٳh (sL>)VFr?̮"n}.&a7wqLHVF.6P;&K-LR'!k=Ѓ2kcPDcTмaD%a4:9$cȫ)'DoI6(q9dȭ]R\+]5P6`LEHRtk9*^y40ua Q&`lʸkHtpЎP:M䳆k dح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ѤSqu5VMSdRl3bdfұ3a5K ewȾ,1NbųpX` 3X5Y:hx[yjORDy# w\>yb; 1b%rH p 9m<2],x^7̻h1OprlR_:O?JΈ{_{zjGtXͧFJQwIZH:&6T2~ag܄BRfW)ݴJLO<\Sy v%#a#ͭB'{0{[ਜ਼T܊ļ|dKAƙn',OGӄK.;_(_O1k l~}|oΊpkrVm<;8GxĬz: 5T '߯☹'BJh@4*b`z"&;κq%N("b'h? }ۺ(_ďTfIpR H4wPŻlph%L~QCV1wXD~Gcg&x`ǿeGZx)Qvᎆ-n.H yU+#]E΢*ݍcvܼ 70C˅HH*%ylOCo\sZhtۛDg&کp1kHǣcs GvX*o_//>,=Jii=acfcyJ/=)Ң2>Djc%fSRds0`_ι@}@JLc}8jEUC'|6ق,;52> rKd&9RT_d =)1y.y:A῭fs(4JݲC7I?nvJE![˂%g.#E/m Ƽ?;s.Mot/R/@x"Y\$lJWY-KM d&hԡ7#8@O~FsZgF.pY1/A DA߶S$q48@"zp^DLPq\*5q6"~Di|Wju3Z~9 3zM=DEeRÕtQ⤻Άv_ω4ŧhJj  Rr;->B%n,^E3~,=e9 ıNݜI+7Usv?"$yp"I/_QY0Y\lOBS: My.R&rȣ <ǖ0# MVmoTomH2#4Xl5RurƸB`/+hw|}}JsA@Y';,DtMPĢ>MA)mӥ&Gyq]#k7$GʐER x 2GI?i-y$<ԐP*8xRԏ G>~2tW*c_< ǘ0wnC{tvZ8g0Вӱl1hLuDh|}Qd}fpioZC3Z-TjK9x+IDOAڟaEndJB/z)ѱHTy9Sb#g r_k"FʁͷQ5U7y l,ɲ#*ϕ,Z'iGhOMi=n dTZ+IZrqy"U&< c C~3Qsq^O ݓP~sb){N& Y^-R`Gqe$Czj]*ktoO_v v(, 2A | ?,UlۧA0l *:'g4G/ݎ3(HOS &8sml.}>Sd,^S#$ #g\x_j6Ѭt`l<HN{v=nu19 R_u[3-.JOjml ef`$I1NK0bgdTIa*̐퀑_>d5s1 1\Xjl'Qub`$]?|)fK'~7 ;yb,a[\OωFO1 9V+-._SӤml_r4/O?6Q忇z#۔:V(E~<ϿQ7M o6xE}?epUTp)$auPc\WX{W3I%ӼUBj%xd]EQouS]Tf7z{aa7y\7ZuH:05Yҋ+gpK&fth Kly7S@Fg46U+&4ں:|3ٴRM˪=,z U7ժa7[5]$ڨJP(j=a o ˛,1?c^^k|7^vs,YhEs8S9wgYZ  B  Bq7M!bHOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/files~~/src/HOL/Quotient_Examples/Lift_DList.thyO7M-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/document_id670w7G' lHOL-Quotient_ExamplesHOL-Quotient_Examples.Int_PowPIDE/messages7zXZִF! rm]D?7 {?:fH\ Z p,!"44º~1ɐM׏tb&'E"f Ί6@wpnc|ovޚQ6Dezz*_N tCh.Q1]4y$)d㞿˴CY &NE0{PPb0o̲N-O}6yo \,z?T7l 2G'1$y]wCcEx>"8{`?k)aWr)&  Z=r iʚ) K+|ޝt Yʠ˼kӂ0٫ޕՑO[S\q@)im y)n(a*GNMHeO ڔdj*Vp~|eǕmֵ*uO|kqж.Pûބԍ:7{{9}3v6Sf\\l&Ib N(hS\h26>|JE٥g4\z- jzn2"gfAVQ_%6sgYZ UEUu7Q!fHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/files~~/src/HOL/Quotient_Examples/Quotient_Int.thyQ7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_IntPIDE/document_id660#7M'>HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/messageswriteln_messageserial=10415736line=52offset=1253end_offset=1264file=~~/src/HOL/Quotient_Examples/Lift_DList.thyid=670See theory_exportsname=HOL-Quotient_Examples.Lift_DList/codeid=670theory exports87M# lHOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListPIDE/markup7zXZִF! ~ -]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$;X5u+G4 {C %3,]],Qz.4i(! &K6Ҙ6L|M/ N6R-NpAxON= XSjKVx2VUYE @x:bO,~–IYc Ձ8đ刬[q+QP_L48x֮vEQH z1j@j'ew+ROfh>>e}\+4TrYݍ*ZϕZ8-](mu(3T{ TUkr(qUjH y(4XWT!m 4\N kԗJ jf7])"aݐINjՏ#چ{Fu@ΩҦ~ MVDSZ dEa4_kFU T0|%Rp Vlen7{[*M~EN>Ppp{J|o0M"z׋0s~YtE[F0N|1 2UqP)2@2˛ ; -2lEцfYcvD~8иA CA8+a&䑘VU5!]s\76 "˷lfx|` լ*ΘGŚ߮`Az=PQu.>jڀۍ5+,*o; ÂaP^\4,F5wo,_ - F0#';bh<+:N2vPB3Wu4d HvL!KAC Pc43Q/TJvy;r5+7'Ir{Ks r~%WB.LHL)N3注Iz]mᔤD.{rˡz6pײ c#kJ,Yʗ1̕hy_'gUZ<W4J6q/*D]12z^\$mḔU!B1xy{k X`d1,lrՋ< EՆ*C9T wkO˜$<z+-K9g@C@Ox֑."{NXH_x># o.%tK*H<}㋔ؽ\Go2UdU$QB5C˃=#j-[ߎۘA嬔#XRc"UpojCm8F_Q겵?WM2삼4SHӌ:^/Atd=)υ7޵OfwmiK<.)X}U:2XҢp2@^~ojhcJLLԣzu'RmKsK&2v҃d`蜿{M?7Dzy?9+u-WæbyRNi3(L($t\6lkOMJ1-t>'L?@MQ⊙94h3g:sj`]aH3;N כJ֕l3 fȬ&L0.fADzDx; .fcc)@llKU),ɤ:pP ^N';؈e>Zȅ{kg3GVL#L O×I Z+sn$,C/SsۙQŨMT bQR<2ZMX , SýhB8ёI@59pWF1OLb".Lt\rC,an"o`{E.^;8"IRNrnz B^@y; -OQ`?zMu-Ӟݎrӧ|z"g݀ՙ؆]s'J>~z,PUItEu.k4( XG7qւp R E-vɱZPՎVdXIc]d`G8khv[GGP/6e`rUEghϏ>J:=,T./<.pNgswHev*XǵtK;!hpgYZ͚kf ph@k5ۍr;Ua?":ʡ*j(i|]݂r985$WٓH*<*{*,F%+?dy[fn|i"Hu f8_Z& C@余م#t{hr]YD)52,S^A66DK2۬Im=8x b_!V2 ()L-yg__N,#*@"5cGqbmڕ5'DSLu ,o6 Q.j!jY;>VJـ2{h(`窱3ڪ.'B,m()QJbhaqX#' .ڔ+ʀv/?AF=e~C*p(S<2sn ]2K# ʼۋ €ER$ 5gxѣC guOc:B󥓋Q8Z mRx  PBPi'{*=feZHGK܁izDX~eXb'oqo|:li, ׈ 6*Zѩғz`| Q" Sj4H1\c}Z.B\zW~Y4ƬLe",u+da /7o6N=f<wQ{K$&_k|R֢>>q='?)g|_0=Fm'4 (3So,zZ+ [h jY2)Z,gvvn_#Vt᳢Rc9 d#qjj\(<̭یaK㛧ǩ62x}/Xc_JS/ү0wa~c+S[1\wbaBixnʉ&.YnVb+R@{[F+C@ ˱)iЗi?vO:s4x+} f_=^~%7)Y''BBȂ7N s98מ㊯BD*kl}8@X+Ľ-Gj16EID:0)J Gi0䆮`mF∄J]מg- r&񣶮 [?Ϊff_!P b.^Hdd hh*ܯŽ# x裧Uw +cvJ@FĹQ`x=`CyQ>a9tF^_K+44(W+aJ!z̘@,"gQ%;i{?|fbea<즚wh{ ~U9 6@eҎ]Ȣ!5ō=bW)[6P)ѽ)C;qIYXuF0kKL9G|b6/Ob<-㉀ڸЅ8p tᢃf|1byJ uz1~uJ39O T:>)ja<.Vٺ 2AArSYZQS\@xcnP: Y9uGu0F{_"آ,a3&(`}ܒt*lێGf#kU!F%v1Dd kϰݱH"ԶF@0d^1-"2Tow8rhѮCS(Z#V,zx,xMŖlo 5:3nb+]q&-M XG)*Z" K?P].G BK>σ(aѐuv9u(8$X M= o 0y NM娒%|ð~7GvJVbctKwqh.g9nH9O<+f"4'1&lp~f'Mk9wwJKv(Nm*3=C`6IOxK*;~s@ΊY ) Vh{'CGgG84ۊbL]DmVβ7 ?iK)Qʌ+3bt !gYt}@(/.V/h^\jʇU[1L(ǒhB\zZ)s~WPN.=B|A֪X2H4D-~z/Lw_jx\X%&S%aqmųOnJ?TC 5]"ꡚ4)X# tR $Y&v&z5x~ݟu>Č^h7u𓷽xӵDU[VjX贲KWROtIƻv b-CǠ8Jꈃ+ MwmAN;ZܩaXcٽ'"΁%Yz҈>񰣈.r}僋\5C{2Uk|h;Ch̀f*]T:ǩz/*<52!W|fv=\oJqW.A@`ooQCY;*˩z8mћ9)5I+/A vǭt>PzX@L`ho M5AsUNMb, f:h?Bb_5HYv0=9^E2aH8z%BDÅE`l)Dk_;q"8? yޟi^C/AaF慾2G"OmB|ˍ %09׶РxNy>$l;+`քjWN)L˥ǖ?ɩ_ 6D*NYzf/WiӐ >h]R8]4;ĴP+f^\1}bDA])uRGE15e1_΋c Zbݬ'ٶEJ >! &P: "[~4"[&)=IRB#aY/lV [oQS&6!Ik;I k^U5fz7Q@3eZDac9/ \bLGK`0;D$Vī+E΋w)o_V=?@ϒMRz"—eC D8%j $f|0ߙ9s-7 EM& lE-&Ra* :i=lHWyѨ+faREAICKctؤwst:B2e\7O˲;m; 5o5ܦ1!4Bl( !iIk]2-28ywhـ)iSďiMV)szGxD H~S"2گY?Ni)e^ iȃn% *u ( T ik &g|EODm`TS?qyŹ78a9; _](7 JcZweIJF{:ZE} eU7ݨ-K(-" )I?ۮGus'hS5$#X<7F| T $' lIZ +)c̺s au)˺L#L=Ů,p >bI5zme;o2?jbuvz`B5dV6ޛ3.p2a wW"22diKK5J3jqou]D~߫W9O%Q`._pql:sXV\:0W}ϯan /TeLxBjAL8ti|(l324ԺcNHm]4&HOB!P_^^b+-AQߕ.ihYX1wӴ72,;Y:|\W6Hp&7o˯o/tn 7g(iq?+ XD$<@j?l!CB/͸6mJ*=MMzTX#~Ku!ɮ Z!\&@,dp~2Tv5=2vnr.hi m1V`6~sWEPҨ_Y_A7z2dR"cF鼸$,hژHB t#RV|=s@0,[$Ue`oFP/DL&6ɉ$ 2VI7d_P2g=(65iXbԒy]/! BH$0!";3uud M;\OqY6^y͒7 ?P 7\i_2#qf=QͲ3e]3pbw`% % q}lvԺ kj wŘ#,l=K\?@\ قW.NL:ZQ͵~E T!-$Zui1b-Þ~w{= XF^Y$YvҍLdu쑼9j l g@ǿn'eoleeRkg$q!pدoGni5Qpn͞*4#*9P,{jnlԮہ mr0>̛#V K hlKp1`_ilz;ē5jnPbh&8 3(KZ٨v3m~$髕C Pgh@ h"ӍLUCk4(N/~M|wTs#"ϒ<7{= d׳لpmFm73uC@#OJAJU֥TcL 51G+K/ dnLf-bH5n :iv`ƼDiKw~_@pR΂:?fҊvߝ9)d5M_x|sQُ$Bwxukؙ ˦ _!3ڪ4A7>!j-<ʆL6@/&ef᭍>ҫ!CtF+Aa L?=mJQ5 SA@"RuߜpIaݦ2+hvnXoQ\M{j7!{\ Y{44m}|7)IJh #H[D]H  mWRf)؃./f&Ds5p,7Bo4Axzk% 5fO( X0M!SHxjwf)WTdjൖIZݘSI!$G_~;g֗ݘqs4=[h%/!PE"EbpԺw):XЅ%Tv] <j<@QlZf! wszqv‘sm۰CZd'n= zy{)8v)bE\K aS7uzffsƒtngj.3y w#޿eS+ٟi|^:%\#+y[ufK8aIAT}.2EyMO,@EkoōV'W\av)R .`uVo֋3 ,xks H5hq?ćRMp^\;*s" Fȅ+m3 ? pSƄBݨJ_f5-S=g|^^e=Cc [<X) ~}brֿۊy&d^%x5D^o{! p HeaM eץjoy^{#4)P.IA~\kbhc}٥_I`$4 w^^zFC0tSǨ]8qh6ʃ to GD ic΅ϺZdh@q h p<01l`~;r㈯dXwꡫ0b0êuk#U@]~B!~42sI_n4K/˙z:x Xaaw3Ce\ڎVֿ%+s6є:+u=9W|ic6 jǧ:Dsvۼ_wB7&{b'aQK`kNߢ51 '6>p`-bwi &F{| ?1Wx<Ij;C pVOL08{}߾l;ty|DvB-4o`@Q`dN0gj 3jBh[N)ٖBA-%ϐ](K՛&jkB`E0`y&kU 3o zGQIib*Q\q@ET=Bn TGa/&~ݫeMP3=pe n6'N=J_>~[ 9>578dZTqh,B ϥwn#7 G>Ig*'P0E`݉liݷ'[Pƒ% /wOJN΢dXwggFA~uDy.6ߨt,sx})A]R6MKG>iǣwC %#af,x98᯽HNX`u=( AIC<5(6,!隺gT!Iwh{^u(.X:/L 1C@8J&Mh!q5f7a'e <.G iɴ`F vÌkFa( %V48vxj]6?`G( \>^!oR0̤-, E( ųcHp2UfpC|A6dپ_e8OD.L;(+[Od'Gʈ ,HK-v-0'X,a ;$VS =-8^=htq6:Z)(t2C2xq&V:hX5Zm ,@}=uЧvi'-Wl^eؒh~rz3^}ŒXp<+K!" 3Tk(6%5πjR0xc3:GU:DD#tp1J̀nIe)_&9eI'VR?`E69Lˤ3#M1K+Cq%޸;1kں1!m !S„v/z*K߮}M<( ߸9sG~!%GɅ 8FD9eX,kIzG̦0/''%U:IvoIOUSjUIj]pOuT4u|cle>#v?]k#s Ӕ1FLR[<#0VLsU{z~% R(ӧ5X ꜙ1c{Fiʗl<֚:6s[_Zw kAΑ;mz~ %@Б9XP;?%;{ dRջoBktcvոmLqWu{OyZ LDAԧes(k뇀A!!5a5B)a>=AW2 _C 3"$vi'S"N\V-gءr{ϗb<`V3doc:(`_Vjx E Y>6o^(tVQ$:@YqC^+6п`qxe ,NlN!/ S4 sa"p0oHŽ3U% A6EjHm.r05_y@a(NՋ}Q^~ZlKW;~\s3@H ̦$ZMoƗ"kP8 c?/lCNn9e(:5BpΜ?ŐP5yَi8'{C t\ (U~v,2~i3 ' ml?ji:pٷ0C__˭ڄ5|}E4QX= w^@&0+TFXfV u+ y% 㕋hS2;xyvNZ I&I~A(3.8kZԺVw.ye|gKj)F?ZFlS-f&6Y8 w(:}|g)j9\: /JvU%+kQ ߑNKZђ=D\wa+޳ÍtΦ4B&ʪx83OQcZU!A6l zk2=mRKX&4zل,86mnYnv;35w ( ZqkoJ⏴&V;>R4xu!)F6g7a]S3ׄf36P(uuG@iȖ&rcAdc3|CNuSR@*T }b߃9b_ۖcn-]yB%P/X&u#E{ѭ)d(-f13 :.lFvv-;{Aa72 #?|Cޱ%VEأ8+/CǡUVQ.Ӥp.)#ñD!>y|DR1^-~4k*JވO,cbkȉ^lʰdOFN#%$d7*1kqA$j,绬7>; OϪ -I їmmsYhSE K&)Se`(c vg|Ws@>bI#`\)x+5Sp+ G2G?dO9zY4R(J9RRBW쭶expFaYV<83bé#H8wDLضRg)'yMgӁ LO1PJ*AߌrH6>$lްajp'\!\C%wMLo1I/r @ڵ ܧAF@Y͇ȱgYZzv-&ALc }\PEQqY6HH{tn,jx&ӞSHavnk+fhAo[6]άaSBbnj) w nvQB_ $,^ZN eS,Ij=hxߌVͭ#rPYٌel0ZWKT,'5ޞG|$ T3yI" Q4VZȥaE^"C )Qb^: q{#P#D *jftXj~R0ה1Įǚ,rrp Я= |MUJ)1Z`)xl JS78K]*EZx-Z }2~aP\KrֽK0f+B}V)csvMBƠ/ n":_(bC5*Kn՛{jUp֛(>2}@Ġ0?uϻ s*l]iʼnHuGe ڨ}bp<?qsc":ub;"؇ըX}lA^8LcNdOe"cgi2G8J/I97X:[o;]ei=HЗք@_w7#%wc]c&={ATMӔqgwk%8^2x o!Y ]D`ݪ\]NxnXjI[Մ{[ڴ mC: CZa m>3@,Nۺ!V@#i8"\Ak~'slƚ>5`!_~2cAqm#S!Wu%Wqs' WPԆ˞QfnNh.e. LMaؕUmow<?(dd+/Pm(,[/LV/fe*a#Fm7iGNAoi?ZF]^gң6zq?yT!C3KV_fS?E;r8s 5Deb4PW: 6*.!Џ„mX |T 47-ɝN[\C|wL{Eʁ3}ɷ޵nvx}k7˂ p{:'w^2in*,IWQew Hogv+GcYi:RNX}{4}64D\^*OǕej'Xb [QeG5P>Av`. 5 (c:ay=!DO0 z#oE PK1Q"lBuMޛHgc &6wJjoB򓳁0O@&r}u hIQ)y߰{bd|(0a:TSBa0U2-EOYi)$ ea΂ԫPtg¸|,%a/[x1r-9(Va{dfD$p#yy(k1Iw֤^UgqR/WY䨾uxFmwdf,78ܥaE>*--duaэ}U5 *}1.zT)~KVA"FzOdeΆ(P?Ri= {T# AHn_'$T)h  hp2heԻjx)5Q+* J5Ĉo4|VdAk pJ@{z?i!BӇV[7l관0&?4BD:_#'ܩ %֮&fL͹W?yB:mOAjRh9.ߎ@ᇴ\ 7qC0;{WvC4SVybcWmKRJRfv#`ʜK@!  ӌ_CP-'7:4}=.$+C4{dZDubEɥc:Nfd4v\_9\!rP[V'r5'j|fmu{i|}(WO?oRɅ7Q-ӔW_};\~vtJvږ8d%4,& j8'&Q TAf "aXVg6 ޙ7w$tV{iD*wqMM(.G.cƸ 3Wu40:/{){yd^exY>p'z.zΠZbɳh˝#!aM]k.T(5Styފ|3 `sʣzB B;b.M ~Z k/=c:R!UVA5#>X{l*Ley#l &*!f<<8 "࿮ 2 ^J^cײ81}<6zCc\â6kDӞ7ME {jH?'meoKQ4=)T<(W*Ma]*#F͕ed1ҽ7w`mrB7kl`;GZ}[h5q +1W,4G'mہeiD'Nǫ" dU{7QhXM bc#ɤɀkk!Wql7NHܠ뻺oR]_u/fy4O,7ԞgKj!i(ɞЗiO.;ɉyȪK;;56)k\h&]07sC^N& Б6lTa%&Nb.Aie$ri/ƲNS45_xM$ AphӪ,tt'h<_~4=!GHz xLԫFG<рhPn_b#ʜ&_oP;ۨY$ǿ%f) %#fj-i27+^,J°G jKMHnCYzfG9rk`ѼM_h; *fNN oT,O*) C{O]U/TfI{>P q{OJA{l7T#FlyvΔFH$#C,NԇsId~tX2u-0/z=n\Gr s ᤩ\RـB_MYE_oW! H8e/a{Z bIt>=u؊X$r'yzszP'崙-FG ܷ@~pu0.v0gR C *D} V>'$dp3ӵM:o?rbe4z[2ikMU"TY1B 4EhR@f`[4-i$`ȕVS<<'M;Ft2 7C ]J JNX%CNj6^t ̙0퓸e4S[p9h8ŠYg bIh]L {-g$s|Rę_YCG~]5t)=4:߳:핮\( :ƨ׈)\`Kv1#~Kh/°$k_9čT>xt0n3tΉֺ/;:qo7dgt_ͭ94K^ӟԯv 9´XN{ Э#Hh|[W6!-0!%4D1skƵѰ@Έ@'l_$ P>${ԒJ.":W5|mZjDF {5o.D%z:6]#{Sx//ل,wtYcDd9BX_+T9qGE闑kQcO&F{ec~~:fT6n 2b6&\/<<=qw vM:0u]IpR&/gYZ ddM7I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/document_id672H7Y' |HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/messages7zXZִF! J ]·Iq n[:|&[zkq 0=mSjڻt"r]{2q V)kٸIm ֩1q yiAλ(_P7 QQQxw2yRm"ABr*' g[:mZ-9d4xiƳl >Co1 3 QkgZE6 }كif^'59xW=D; 8kHn#hQhs6S \Ml?Η*5TX잉Q$⫞.Ӯ,Գ*T3F-; `0 L^Pj F1X.SEfԆD@>I&Y+ sV5MM?>0]B/;o To^L/xSV[O6>c 0pxu>=28+fKfl[E/Hж8xC).(f~X͇~ڵQ/be+*xx9U])8T+ z;CAn+)OH@~TU&p==P] 컬\,ʼ fdWts,ie Xv4J irb,WϬ<8CTs$bv~H56}HG e܈O#?K6EURn#[udJel9$Qs i^gǡ^C^Om-q%p`?s*d* OI{׾x!9,ٔFH T 0_7U4 4 nDHq/[5!8>Y% a[cۊaazv'rYdͤ~ˮٜ0_ &;i AњT"٦D^eH4-)rAvCUDLfxي쐽;>n=:E Pb+V ݦgYZs 7Y# THOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_MessagePIDE/markup7zXZִF! G)b]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$V n^jםyđG&;2h6."y}2fSE!jFR/So7Mء$징@ af&MTqB2|)30#\$y=WR0|M`sim",\&X3 zFOB q+d1=#Z{3&it;I0^19^ATQ hLUݵ_@ :{ Y6t3۾\8Mbk)bqhqFtWwL2%"Me#"%]vZݹ%_?߶635X Ci;$.~J=R~ga5)#}/*au]qUKku iړZ͂3[tMQZ/F6x S"G`=͐7!&!ڧ;\/HJ%-ڐW#hU;U{]-a딫v%S\uUeL+`.vb%R7JIK\缆Z1-[%THI1%\c HB ;)v0+)1K1m >o1({N¯{ܓL9<ͼ-o2$nQ\cՏA؄b=zX|@+C[؛S(Ae8Q(w*l"6Zg zN"Iw_qLw\ a;=`hy% Ê<`$ @ {\$g#a&t ]L;8fH"N䂄R`GmI@]ϧ'Coj5s20!Ή-N7vzv##AH28)M"s~;Jw,15~Fݠy TgZ D<+,G+㏽6Phxwރjma"t-̣]SށΈ>Tuб#AWt~J}{lٺz$hh˽6vo$Mqن}y3h$[T.M^5=gߺ}` yc( Wh-}wH Z<NcPt̛m0j!䇛xHc=*7<!'e);(:Y/t1"| &z rl? \%lY5(#M0ClĦ[4oAR7ф(DW-bDeqkUdH1Mހ ErH68 1@`m7]&[U40%)%qc@[<])DמFeȩ bFbPHFyҨJXOa\h**o9*)8s T2%\aQ{-m84]B-U b:-Y-& -`Q/ { ,b{[GC%CEtn$"q#*}/K|]8FX+m"3tWaթśMW. ?ϭK7^o/" ~/6apE]֥GH0}-NB*8י7Od? oR r/@Y38;cV$4YO@ 4RÓ*@GxSb28=MxWVRuNudD&!Xߎ ݣV2ꩲɐ;#YN0$ H!)j4S N!7I# HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/markup7zXZִF! $F]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$;X5S}U$+cYlJ8-2O(. 7Z֐`_bfح;w<yhj1UߨާmP2%(iNgci*tR,ݬx]mR݄kaXƏ\t SETe6 ?-͒tö}:W th2^ZJ[Y/ ؜&v,!1(Tw+k,f-1C$xXl᷆^(b !'ڲeTG2Q>.YK3HsVnވM-ZqbS KB6Ա i\)OkVb6^_? NˢSQzX]Ŵ3dnS[A ]F64Wi(!^Lb)Aͮ.)jx@O="k?Xa'#U08lB:ߦޘՓ*רkx!+U3I eNd<(ycCSR3d$u HWn`}FVS};u-yH_~1 /\4ܒ3sWHw!^ sTH L3]F#IU1a^NX 'EQ3; |0AT3\ĸ8":w>چZgԆQGs'f{|vr`vn@ 0ݛ΢zұEVb6/NtZK+ +`?\ ëlP?*I#_3sDgjoƝ,ic_iPFd/f{h`?+~$.%PGF:q}؝A@#] a{ZPw_w Z˃{S0)ÍX !HLYU\FE[QDcncnI8' t)?S^AH{~j VZZ&jOYD$M2.H:"*~M6f75̾ r' =RBC_ a|B!+Ass :^sP.]-?hZ9*zPUQ.D  LA𼎄w$vuI3664wG)a1؇diR qIQ.%h#zfO9IV܌b݁k 0Gxيa?`YdMּ)3;@\쀙ݘ<ւmJlªe6 ]G3u7Hf.-L*/d_~*J%{l_x Nhf>)O+`s2y8A3z̰?(9Sg#2n2\Yhk/E@DY}T9,[ u'UhOTL:#S{2V\&u7cpGh%Q 6ڝWAGPqM+|ˤr_G*KB SZvD#3gZB]X)l@*2hv.{' jկ%vOu D +bxh0[PUW'V(^OF0bBw<9|1{G%;ECIVJ悘%KH0c0ӯ)dn+ TR}kz⒲yE+'v܂qǺEDt ŵzfY-6vXYeDƭ0J\v=[ mҭfø?Щ"|":>ZGrhmz*MÎR:Yh"0F$sȪv05[7yO5fB*(m$K7V5+>SD5f_y+HjيƇ/ѻAǓp2tq,)lvQT3;ar5 H_-Ζ+%`n,t55{apH!VhMEKNedM,2 U֬vZ34ܴhC4sLppQLUqLlJRPg062$Gz6C=YjKI%-(!S 9/p5C|=P P5ucDtǰ}p0$q&$Br2z{-kPbIԂK) NQ ?|J1nJSJ4v _TOqI#@B4p38Mg#.:8bBy]4((|k80r /2\G% `m?O't0SɊ)_^'cJ%. [y`l[Z>4&s9,ލA5im'DN(swƣ|b#wWf`$B%0iC"&~5-m>?'4۹Y-7F/`qX~Zq42`+<Xk1r$U#z1Of[2?Xi:"L1->.!@f.grVԘRYeYʋľKJ:XOիA*1i6ofW4ӸVWjd%j a'n6= ET`?]d2b6p^dRѮ` U2&h~A _01}l?d\ t7NHx}%80:j^HhNb T0_mƀXP[AW@ Rilb2^ Т|87,MlZ-\"k bZNBP1HOo'8$l4Oؔ~Z}")c!4֦LWⴛd2z 2n;S RӸimtmYv\Kb {FW4-t k"`4YM'2b]n1޶[U 9^b̥{gNN8{WWɼGkspŰVݮ|g@ӐE$AΓ+.@R6z9#feVdٲ$KmA 9< (b$/,d?$rR\_suqo y5"H$yn}Ԟ>צҽ2_i,Jw>vD( M/%z00Z-n.}(@0;LWr&u(7Q!fHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/files~~/src/HOL/Quotient_Examples/Quotient_Rat.thyQ'7Q-HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_RatPIDE/document_id680 &7K' HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/messages7zXZִF! ]·Iq n[:|&[zHbO+)U(I֌7Do]2 gtStS2rD膕s$;O|w[RJrU}EĐtWAx7_GM'gQ4ɦdDg~Xu_+lXYufFP)DJE<'#MwYQRiy@IIyimR5DĆ@&Q_+?9t,RR]*2"{ ` VklgYZ0% 7K# \HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetPIDE/markup7zXZִF! At#']ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$;X5P]Vz!b(ɧ&HGyYsY9 "| 4Tq?48Ttv5‚5.x0NL/^Ԡþz\ҟ˦'ER~G (Z$4wg[rx sQ05A̮/ް)pxN.]k涐.g ώ/$x&G!sXnbA7DJyNq1t0*ԣO'DÂ%Ӝ_ϻu#*R; .kf wQo>mXx=2 HG1?( ]pdL)ۻ?nףXZPH}u/ktL5|VK=Mx4=ٍnK ? TZA[7E2޻Gak:[~]I_W>CH[6wq- yOPŊ.*Sm&{Fd0Ғ75uoU>(Ĩ9ZE7Q>=:s)EKʤa2;y/ ?}X Sƭrw1gͼE|#2!,}:<5QmB0=l%}埝Z'ؘv俪+I;CP1HÛ$o$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_id6688"7I' lHOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FunPIDE/messages7zXZִF! -]Άxʆ5.f-9 rq6a9=gyj&6$&WG/CEi-6MFY$:uTR&A꾾%R?IF6Qhb.%ΘLFS;t|4^wL-_]}-+H\:(oskr+fb?HnƐ刞~;|iLn5AK\Rf5kxX#%[ssƅ=~W\`S<̥o{; V|ٴ"0T'o0Y֕X5Z~ ɭŮ=C60P.f\Ei:^d8E=s8 ~"*h&Y ON a*N;C  ;*PKvʍ_MCǏGyuax#u)Ʃ,(u "J[yln .;<ӽ5y*J c7~C6p ߞP-@K֬EdTVܒebևQw-Bu6dzt(<嘝 4\ IOK.*QmTu4:#u;2Kb"R3W +-#zeq{נCj X8P83N<w_e3sYZoYfq3]CG{E% 't.ݗspZdap!5~,de/#F-gYZ%1vR\8{$'Jؖ݀1\^˕1W~TUx;,=IrH< D2ݰS["rw9BvS. x~&M=ܼ \ ~"Qɮr0rɻr҃IнRrjإlߝZŪ (IRSyW[ԣQu"l)W?FC;4%ёw:?XE aP)P')9d(QXNٍha ekJc K(6$: KUc/i Pj.r̰^*?RO 8+IhitP:}OMJ};:;:aI"ymIo`4|KJg :Б׎$å۶3cśD@%.ӃqqD#'Tjv"{ĀO8ݤJ6{SK+F:ٌ.`odsƭ+:1ʸve T^s,m.ݑ;)ͬ1.pyEXZ?~uY[z 0#{pA@g'GB1''W;[vJ+M9אoA$)C;rw ? =߻P]fʬSY]l糢x>] MԝJ"4IG&|pjzUq{^j+Av׽).2oϊِ6bc:4'! Wf#u- U )f|$<E|6ediRU|k Zp Ot^˜`;9C=,䀓_E׿Z2#>X |ZDŽK蚮<]XTt#F`P\0R`Cmr$V+n`z$sđ2vDyuJ96Ӻ^rh%_ǛSn|ިQxdB'Gp~8<>T. o# k F/➧n:MKLv#hyh/Samu  sFɁ526KQi3ݶ;_^X%%DѼ4ZTd Id.NSjp_LyCxoqł;e! 7&ɝ3b;=X©TM==-X햸~Q!\|aIV/ 9Ǡ`b6Uq`L$$)Tl 9 !Rm-fT{ olȠ4Y^$ Y`h"IZ +Doz#t@J vǢJ2$KO懬[+`Q0s! FwMa .v^q{YGCgI4.<$77!IQ/n-d?OJXF8-F5"ؑ0z%p8Ir;k{D+ Z`Zn;vs./dJ 9M*Ya8գq2nmR RL:i!rC_{yLŽE NQbVTYPr{+ŭW <@,$~BubwO,|*6ؔ\ :QCѦOw0oKo[LSS/сhZY+AA:rz#7$ën+G 0 ԝL xs'=C #(2o8Ũ_O3+Ŝum퉼+bƐ)b]f|FߤM|Q񗢤]yKnz t#C-߶:G">o;P ʗ$œ H㝭q$6%}&ڛ$„8@6%.7BN:nj:~<;O^wެV`6#D0^r{^ӯ](YrA{ z62TlYzpY{~nRu7<:aw0)(L:k"eh1rRu2ZDR6gq*A^Sx|HGmR/_5D>{K'pv[ZbEtbޝS|09+:pȺ (X/4G>kgƎ;{*= Vp2{LܗM"0EH1R^:A籨wD_1!)\I6oA+kT;N%r&}H!-]Bb 05#c/q{g?=nUQ\o@ A(Xh2RPoO;ع`I1[忛|Yr*x0׹e_Pf uUZ9W9 EWp~&?xKTm_N͢)dFX@+6 oiusx!/X<+0?\"L~*sI+g |]'PaDJG ä&>'tI*))BV(ǖ\O UM-7>67!fI Qk>If Q|Zl#& Cw_Y1LȺO[0)4syPTӓԲ(e'/T;0rZj{O~Q-bN?F8TLbU>$*4:<@!Aۖ=R({ä]QC.X!#E`2{_ؚLNJ6:@)yD]P'4MO4*"ݞUүEmvwYR v֡eeFwƨ٫gw5٢Is` Tf/GיF~5莫i34u7)|hK'XQL ;Wbݍ(R)7ǙM_N1&!B"of|5ي4PHCx& 6DN۔ys+qo޽{ :8(/f0s^oVlH`gS&`Ѳ-#]bW{yH#՘tkIrlD۞ ~ {Jimw ᤊGn=6M MN%NCk6Ru;R#6ގY_1э(-Keb{v"%Hmt 4O Xj{ҿAch~_C@cD>: 4Fج{\.!d}M{@&"'$O$IiɪϬ\C6iv?5 }N9ٕEj*Ό*׵*gjpϲDIGX'=aO|gC ؘSЖt%G'A ְ^1/QYq:PJtHlVՃgB$UDv6I/X9( 1$I;qOdU V̌WQ$*jO:QjPp} !DJ]pb`$떕zak1\MX<-+KYz#yJZ%ػǼRNZM~03|@*ba2XZ1r HZT/pHYt(SPh;@yN^ VqRO}x#A[h ^sU'rll^&a]&[Z%6rPDtŊe'DC&sRuxu`>#k +1 @DyotڴW`w1{pL*JyuŒ9i2k,C'^W:YQ ;9fҾ7&s51`ٝViA)"`7cs?}&{3zuxF>ɀaq0F69YCK7÷ r@ˑ<# dSETT? %tVyW#1#U%YC( 9, {$BFQ2aB~ R}1O!Xpiz(;"6ZT?>2)/8Td*X`ωD*>)wZC}QU@ |Qw* (9Ə,u8ڋ"E+g_Cp˹Mu2P'*E~r& mND5\gn:&;On=A^mdrepiO4i`c$3?Vטgvqk@/"`)V]BQ(Zhury%cU]@`6Y jNt tӺJVJ@Y!nTʦh}.pE}6=S)\2{ieIw|,\U $:۠BB Z[5 GvxGk >#ׇs<*P8nmC܉?jB\(wz N7 %s\GzfM5.nA_'RL,0':lOBۍΔ|ּNy޶ 'x#=TBe0y3Xf|+4T8@ {Ek-: X1[Dtl4DwKZ$~GCVc 1(- 4 (hHSDd"y!ZC˿SSk`'5 AZFa>s% M[~ҋ Z~]36H;]9پLNnM!.CYmgX6ߋYmؐ~u_Zo/UJvK^e@@p87wjJԞ!s\ckFatCkܰt c nЃ>,$;ygRDA7 +p8*~/_b|dѲs2ꍐlAN`bhW N{HN  GMc YMez ~kZdM5N6mR"}p\i#XsG *־Z3&.}rU]V璭7^K8r}\T&& ckN㻶fc啵Lq!{=#$Smp~Q@H}wg lDei8"e$p6k#s?p'r#q>4v?K1BJrX¯]H]*=rឨ^9Һ@V;XYXOiՓc_k82|nq޼oGڑ=`ز*u( r  Px8R!tt0B@qis+FaEYjrt$,gh>n!F XFOG(㳵y=[.*N= u"Y?S+$+ IA Gx K#ͣd=9I;U}F/eXxL#靖5ypwMm Rgzv*J.b64o]+TE4I3!S;0a_H+ZApSws5͞[AV.km.s/ 75s8m!te\6#7mDE۩LW /7‡ QkZ[4y꫑+u2 GB1Vy"Qr0o iHUVw}l/yg eDVca| E1Pr+!gp#6P]r5Ց@SvնӤ362WzmH/2žYLO=1/ ` Pj?~4GϞ VV|ljra%#xtBKIw+;(VpVw܅R] pk<ց}?o*y-sezPYԍn ̛J !q>.ʴc<=ӠƢX+ cyg@"qYW mW?]NpG7B44Z" L9裐<)/4!1bk굈u@LA.!PsBe2 _g0]8V&9/ޝ,nYXgem4x)tC~YKQd8 R%]EUC'4G)5E<M55xAu~Q?Ү|A2-MTc"2ѿ,)?@MF70˔ƾЌ6aX*DGjFEJgYZ'S}.w,k‘S#me9"Ź*vF [w_g|% &4NN5hrNRsB`WsryL 綈@3Z3Bl  Ax>'"1-":r4SZl K$jX̞D6Q# A1w֊|; vTK ڐ `nY,j q-$juֱff eƪfSO?!eP͗ZD.r^QrSpkҦ~ @ ʴ{#2c2k{nQ/<;& ;ЙӐ#U'WDzy% Oeߜ֍NoKEY# `n%J `G^t"q)ʉ\5ɋHF,w6vf15* #s%apٰ/ien>K0K朙kXLz‘2AYwWۄ_ټ2h,9 eEd1,]F&\6q[1'TO5|0WӇX+!ꮙqݥX& }#aIyMkTj%c/-Cq͋:C{fI7c.eps*Iq݋Z0*ƶA"sM!-%Eono K@Ty0QoGnmVB@ZX6 gj̦;}gr3>YHlK?}MA&]D˞T pv&P2םzOJ72ʫϊӒNx] Aի^BOFZ; T|KV}Ŷ5HQaȗW7v_zcӇC=bKA!H]{ۓGA8%XP5z'QimDЋ?JE8aU~̕qvZZfŧ%y#%D2\}ݬ6tVs~t2 eg|e^4,>?s1}tx#B촡g0-Vsů S"48 u4) ȌE. x &+"[6n^,1W55avZ-# 7e轐w@g :TFğ?.ׅO0A[*s2=e+;dnǀ^a,@|OU+}P0M=_94mZsٴh-wؠ-3,|拙XBK}id(PM^LLTo!jnq^ `#i $H1H]$}q;%%>J+~x#]VONBKɗ&hJ#\&Y2m5yi#~.Z:y)5:Le0aΟԡGyզwʱSe5a!e~E"BkU}N$As04\hIJ]3 Z|ؽ9`X-A`&vHKf+M#j6BĈs ʜl"up<`gfclѬE>מ3.V{4XrOiw_*PTOKL*%t~dcV6u!-0dȏRa4te>cLYI+ctZz%7و,GtX1ǗG9=G,vz=TNs\W3OhƄd3Ҳ7ХZe kQv 2+XWr" ^:{w*Ey*ar\W:ųUFoSt"tz*IgCw#ob0>]34kTѹ1 \sȻB"OoO)<2gUTYarD&39 %3?E3?9+o-;z\5#e~Ft['N G!li4YZxNTn?iouG|DDmA[;H䪔 C4.iMH>ɰW5wB[X*#ɒ&xp1=ɤQPF1g/EglgoKÎ1,ܭaW+G1.e'+'3L{hM#7n56r,6> ټe rJW0"N^C}vΰ(0Pf ebz&]v{BvpwR9!0`2g Ni5ų$$ЬfPF 0qs^Pn Kl(s'R?BjKku(5Ԕ8MaIzE!;P کi~TC!bnևLѬ}p /nFASp_@X3=Ez$Nz]]ELnz8q#'^ČS&H7nD}ѭbi5R`@46CAn 3]UEMm#8fޫt&I2wasN`xb~/f&H xf@?rN^OWZٝL@a]Obtf5khs0AfLf4?"oop2:sd}Z!4v(з-⚙ @cLÍ>[ݭMT֛ynY#-Lg=F'dmbP/L XL{vƅC2pu@=EG~C0X D}m>xe6!/ TϦdbT$uj!2rğ BiJP(tC Q!US`A:2患-̼AP MxC2vrT ?;uT} ~Wo1_vw{`X&{DMhI6 3:;G2=Apg{_PAZV3R!=w_ bvV|eKvg(Ljdz/^E # Ŝr+]kCZS[1'l#UJaT$]Ai37ugy9qԝpvw5)ʯ]lyNPUc CZ٭V?_vdӮlUZt W;FU(<"cZ JrbQ 5vh#m ٟ-R?Xz5,[t yȗdd;C*B;,1LuZZ4Z(>ZX$ZM 0^ymLXE=h+E N@~!4-{~H0:!KeJ5u2D$WydQAi`p [9bw (wSIP`@7*;8 /GS`Ubn4~")-Os rNjcu+KA.W! *>|=5gf,"H18+Vo7Km3rgz<$^Dp#a嗂x@'aUA`f'$6-]s35C0詥XBʐItl~ܟ={S7Q֜mF)Ep I/9jaɠ;hM3‘MH*$<+[k(QGj&dX4*f] lFc|QBI#@?\|~7qc)&rVj\\EL7p,Td痁8ܮ@Œ7$=o 0Kd6X<92]!zԂ ~<4vG/VF̣4'oLlK;I0& K<BsV jYmS8O-_cqIѹ|htp/鬽FSC:*Z6ޙϣ:,Ѧc#p)ǎR#|cuܖ_6Ws[%֖Lz4hKuêI E}UŅFkւ! !@ŦF,I24 -oiq8DeqEi5L'7f6Ԅ~k#;G_AH̗n~hqGlcq$ 5O7%do_&)͟$X5I#B;Q`2P& e 1kB-5uZҡ.} $+k5GGsOUa!u *-]KmݬfFȲESr`7Qf\{NJ,^[ [ApS[eL薝\nw v{]D:46t<;|`#nvX=R "n4_aRWDSM.~"dp5wjpб#ã@-)T;3 P_F >vYhO;=]e 3=SS;ԠY j]~+fRtr:)Sj 5/n0U{V$:g|}70xeP|޵jL1x@aGijl?Zzm۔-m¤xǩߑg_[dnfӗe&8 c= ];.uihhVNRBW0K;NUZf>=Up| υ2t)rTR&Ӱ'evlSt ;jtPs!H-cچ<f5{aՇX~okѥI+ʦ@$*,Ï:žKɰ%WqR/NJ '_E:+ *%ތ2} q#|)ϲWe=0rXތL"g꾩-TَPTqI7uLf}mY/= |Jq'Tܵ3Z @ fl~kSi<;L\ `l[^..uC?x\ @@Mqɜ$i–б Pݡ8?<QZ-aG #e H]: E.ȓ.s(74iC\z+/Kva9G4W޸*+SE紧(R`gŏd9rk'؜vM%鮑8j0rό*FIP od@&q;L$Ec&ŁeUnw~ ]IXp/ؽM@vrJ83  J`BzV.kd_R4 cD|ȵ/ml0iH@U90V?7|ټ>.z7G4a 0 +?D=dπv;0qshbw1V+Wǯѱ8#0IW] E ]+2gDc+r~[A E=`D8b| LS{jtٰ טMw/[wT_<&,m.7יqeFϹ"FA]FOݝp4񻒞 .vA:%]yŕǍI2{ B8z)d`1FˠQqzbiZ,]4?NUJg Mio&3JMrňAtFDiB*|}ͼ;EAO^@7d/b|Zƨ9 Τ9~p 0pD¡O&YP/M|bʩI@N}?ԦՍQui"x8ܜju9iEa$CqkYNq`](&ҒyƲJc"gYd GKCz,剃!R!W2ϼJ1C)4Q!9cޓ `mW͏S#JӦej,eFl< 5[U53N"nϧj:4p'=L r|[BVXά⍾%H|c xjaӺeж3!I|=7x# T-kM?N--PI{qs`ID z~h} 2!7堫jwd]p7b_gL{QI}wE\?++sǼnjpW=Ԝ SBx*ڞ?aD]tof0EX{µ%I6PJ=1U2x7}V0lo%ės劺/ i1_WnEzNLіlr%z QQ—vʸ l?heN:!Ae}/`3?ϒiq~jwu&>@Mh#[߯‘Pk]J4q|ZA[Gt] 5}d Jt 92uzsp8ڱTP݋Bū dBEIKo'k}oˈrX RHx q}>rgYZ*4Z՜c~Fb}N U'qf\7B! ϫӜҜLkp)0nԍ^<]iqy Z#OUb‘ qj*چ9-#E Nn {3q"cj/:B*G6P:dDUnV2A,FyS⨒̹!A)w E%_g1)d~}м("SjF,.N"?1UD8Y:$Ff .!RÝ6t/WZP<;,K7v;4<^&L9#mL|(my1;8KFzŏh@%p-׌ zoNPQX*f|KUl J!z%}R쮶?"PMtqc;x3xnGE7楏tCIE6LXE9?Wˤz(*3k .IP-0o\zas :(hXMvORqyrVMQW䏏2v'D#:{)w<#×V"X+_XkM5qc9Z"HF[ ב}U띎8^dt@ޒU35Q@+ T<߃z0a*{k^| [0Q߷ŽhyY #_?`|?׉:!$ᥖO no0MO$qFƒv冽*7h zh?,H> =Й!:Yk`LJ\~8kmqkӮL2w,F5ɯ hN'6 jd EE}\"Oy(oY" `>E 5E9S H|9{ąJpkcNR)fcJ0 /bH JA/ xaozD$ezjxuD}@+* M\.I(lEK4G&XDj']+ D5jP5-<Ohl$wI+G>P;. L#+n|1T+[g]@Cb w ]IrBX`kMTEDoC)Uk 9,zSyf~ٜmv=" ztO;KBPlddrΥ(k:s35;qBP  I+e컭lfTI7_\*+'XOv ,D[6rB)'&upHA㍊/_/)/M7I _(Ȟ=fORa gs (=:S&~]JQ12ԗB+;с~ K3#"fVOu|WZ(Q`f#f &DouL.tsz3FRq`lt 8Z!~Rox n@h9 >2bw[57ŽZ%>ZV^1Y^["GՂ w ^>aӀ?C[Ox/۔ h\J{87wwG $-_`(c M荏poYaǑHSA26M*I$5DpwzT]D 7waAeSBAQmONt@ [/ wT4{crj{* uZIiDy-$"˱!ܼ=蹄jQĭ3X#tT (u$J'F !#@b/EpAjLGǰPȩ()Kxrj19]sh-N90 CxՄ[qGObp}A;[+ iMqO "RLtPf> \{L [j%4Jtފ JԔ`;LM<.? qW~?NtS;ge3U`zOIFh7A_efŲ<9'MgR,Z@u1٦l ~;C_FY\ _vPaE-r,m i~oSnl_; ;]U0[&#QdWIp~3b-jI@(LZy\{7zB-6]! \yt}[2k+sQcX*ܔ\Y/铹겼yfoWߦ <֊ ؙlJN5{,p .: ^n[7֎= hZܤڦ&RC=ҮP2$B"}60k6|v&<7+ަTL#\A-DpGb_' M!֢왣UMQte^lVuf^ U) u_H2>IhBa0^";"R/!Un?̈́(Nի܁Ȳr"{s-.^c}>ɡ}b @~G8\q.6V\ANRҡdk:=mowJ/Hi` 4u,!sՀʏ$UNfGZNX< aCkʷe;`OX4Q&SwigV\Vќ. ǽ?}νl=OL}y^MCtӹA[҄"k Gh_5՜&̛m8O;~KnUDC^QHa:14uqҞr=Ku;DWH(ձ??`[NB5ihttKݠdZw @sL5Vc5{J+<_4ަ4:88fzf|4WC JG,N҆?f0NS̵%n.dr6&7OVfY+d=mp-z?n 0OFt;*$u3RwQ%|+﷈|o'sI7VA̡GԾ"Nń9ܖ̈FBt7M\{MYڽLʺ=#R%6fvUn[p[3Nd3wu>_f;x B7{NxaV7[aSxQC]O2p +j Q>`31 vwv Ÿe HdJzMj3clm̙Mf%uW@"(ѳxu4e++DU[y,gpsP6By*>Ug:Tqf{,O "ZvyAo6Ǡdʮ Hڝ=pɏCϣA\zf~P??ٿJV̇9p⿐0سqfqmQP5 jimZr9$ #.Ǜ UMD:(O?:uZk75%7A_T2û'o:)\lsiƹr< w @klG"0UUEv`ߑ6KfO`V#Uŗh4e`"}FgC¥Y)ۛ36#Lƀiy I{ހˡE*"'4MB5'ݥȒTVl#kŢwEo&dsbVg…>}l%OKloc M&DZ*@l'+Ռ~ReuT1@iȇ:̐J ~MQ،W'@6 ?{eXmw $5i;jxl1K-G '~-)͆nܢ۔pH}Nt|"N.Wkkƛ':mܧƆ`n;Hzv 7$bsPӻ-+ Z9pWSh2NUkm^&OŻU#f ">#v*VsKd ?*QgXn!2"Hr%*.;9 [s=RĿWxkμN.%x pByFUΐ0QlXXzڵ9( G÷zt=aV w Z]â䪯pT;: !%ͅ ]%&3gɡA /iqyzOdYfGW%3Cuóv'pDTN_PuoFmf%n3}'j2knj[5by/oZs}ؼnnsN)hbnϘt-Yǿ Peâ?-h1&f"zΏء?oK;FM^9'uSJE@Pqǯ|9r;50@vF;2aq[rf>4"/Y6!1Z K%>q-[?Ե]h>F_f̢/O LR'?Y;-'LD›v{VeVhk]kua[vʼ0 `ҡkuAfsR8&+q(W+6N'"-?Y5p(8XCIGC ,6Rᢻ2z3\Ss؝^Ejh`3eW1aw&csVAQEt~f $MX;S]eR`gO,[6&y[;&Q~F1ߛݞK2 U%evpAOqBy_3zdW ւaKAL1\L ǎ(+"HٻnSzVͫr<ɯdCArxQq…X>m]O$G">fִ6ۘU_:%qm9Gl}+D.1[A#pJM}YG `|k2&@aӻdר@wćT]KyO'^>ħ-ηک U /.>3"acn龑S9kD K9/jO/ lIy`b_@4@c:yS7ȇI\Syz3Lj=\=Y(HG]=hJ J-%F.]S*tn3 0%u.Skk?/X7}К[/Eh:E/ԎW}o& Wo4Tbȸg%m~߬|.O!e94W~uv>:@Rqj0|4G,Y ㆣ~ z QV7:P ..#@yD;Ġ3HCS_ œ$@vy`4`)^'r>NdEF^ ;h_s^fgՃxmi f|Fط~'62*,Bd:%7S`_rOƳgݵS4V鎘laHz|Λ!BIݑ?pcIDS㭐K zs Uki*ts'81O쥞n Vĉ(k_EQxH 3'[˷Lq"6MX翂PڿP,Np׷FhMc%Gqԋ^~:[ݯ8ZPοEBZrS^ u#+`<rKr4jFܿW"h;ݙ?8v\'SVj\PDiUc 9MtU]qmݻ!UGS p5qv>$1-eSlS.)|H"~mSoWm6  zWeK?37'nF/YxһE@UKzZDKq7Jbiĥ(*er`p2D>NrcyM|JgkOESdYŒbtI }WsX(p̬ O4ܣ }WDv)K7mT^۬92C;Gbzx'}a;Iw<3IeM;5)c&aLV{4s>@,"*6Y:I74`V^[\=mKzdR2H_gIHEHjQ{WtL@B吊8_Dsq?4ETJ?76ƾFgIJvpE+}_k(]'Gv(1FB+dR_' \awS)fQ "BZp昹/79Q_~c{}Tx6^AOzhVQ'ɦPψ=%;IL+<[${by3r%Nь;_rsI;f?Ks}RXlp=vV/]^7L1F6LG2vko-z[HSZL\OǦH\8%lT4@mN0ΰzA1V5HC'<<؁w+j,HOe`,Ɨ=}M445 ;QRn"bSe([[3DrW=`bFK< 1"nPUyRv/rA!5E$ MUU2T(ŸOa|HB|pSr>ű8p)'BR21*⃲G;.<lॲ (Ϸ4XFn}{x6: zʰ{'E#BT,k?Ksm(][ r ۑtAX^2gf% khr&\mT_q޵Yj%Nd֒3Bd@@ZwA^WhPD 1yI[Uб8Ωͻ5nNȗޓZY\<-'y|]8o6=voݍI^+=#:@ifm6mo2͏>xd 39יZ$ԃpI&. pᜫ~B/~1hq˻U-br\][66}"IyKk)f KԪuũd#F˖rd..i=Ғt\J#d j.0r|ep{\ VRPv6Gl}{6\=`K{U86kJ w}iwP :j ĈqiKl B#ӇS| Kʪgܡ{,s`[ XC_ +T;W1zM`owzkґu65|*4У;߱@)ЉlPr:c^ .W dfoM >K"6YR_ :Tz9\a}h"p:u$BzsI9~: j]kf6v#.|fP2C%P_iHMC.R\1g ͮZ(`5wY>.ֵײ{xpG|p/0wmfNU1iolg79&>{=)^M;76LupIy+ƋVRaΉ3S*&FOxEŹ{UP e9ՠ Vy܄ [ -qe rTsgJԯSLtoJژO@iNJ`,S1y3΁.S.f<- pMG .$ Xйϴ-ԶD ˃httV0y#YZw?&6±< 8榚UP3vz碩OTM8j<{+8$gҧЫTG:΁^ߨB)~M'6,+!Uʔ~LyxyW|{n$*[W'%FXm[L-BaQ1P*[ @>wa7s/[ &.pY->H;TcsϤַ w+fڵ0Sҵ]7f,$nds/^Z֭6ŦV[smm Wy~WC? 54o֕pV-x ٪{j~f.0%z,8J`K(klAυ;شa([nǑzc qy\,^`A!osו/d&$ʍ3ӕ";UdXb>{-F(~i!QX1 "?m}~=,}d~C!P={rp&?"ƀV4rg-է A<Ř*ѳ!_?vg ѡTx׎ë[Jw)"S5QKr߱qT9޻z"yq(XIFAjz᡻%g&_h:6h+])\TAd)v`um7qOGor.#Gmof(<օuWfm'0bFh* Ftl;XJۮnvgm@U7X<6HkN%IsAa{*5mג1t!\JdI S-w=m/T*a{ȾiHS;RJYb׵(持e F|J``o=ojlc= ~@=* M$'4V듀J !/N|G@"!+9$`+;[$)-b8SM_!s `UqN  r^m =ǵPz^W:8m1m5?.\BUi~ȻEyϋfN6v` >N C,Z?!}Vo~f͒S+2i.B78ڼ]9]đJxgRB@pQʏ3ye}ڿe=kp$DX"ԘgR #/z7)&bd[5 7~ IO<(ʁAјT &?el<31UCzG1+7*섘 (;vDYnJ;) A@{Fzu"~+xZa"%Zf(yMfq>^|gYXaP!֯kl*m cx1s?фx֏k ^? v$~{tkحWwf}A6E\vyb,J#8 q (Ֆ +ng9U4|% 7"N)!⌰Դ]Ќ\{H{z\30$/kb@CS}oaYA3pr4əX\(p!H./̦fGCHqB\]_0qfQnIɘ::Tj_Bu5pr ۏ%׿ W.=6XZ"p'ԇu:mJ0\W:w;)3*`!.M!{Ԗ5j;<ֽlC|nPi*эɟBed78;!YH{6Ab}$F3-a >'!.K5(qI$tt)ܯ-ϘE/ iWm2 ŕ f>>UPLxu>Q c.Z^XΡ.R.N]Z_&rq#{k2ݡ#$yYm3W^oU4xo#e"c%;~l;=0AsFc`cD$T*|p0Ņ=/mI#(1RUa/k6r[(ӏe`W [V0(o,(>{I1w$3Xt TYDn]Y)nE)!LNjnANY?z]lh^+Yr?zORs{{[k>򃗂Nb_hTl@y'@beE_CZCyljBZiv) 3J)hj8SP7h}?)k(/7'dR=dNAg t.ǣRxȚ~nyRu"ޏ!'f5=fw1嚯M8oH7Q_w18Iy6 ovB7ГsX6ԫ7n O-y?eT7 DYPG'AP-LUvHs杹)!XV/Yrg^bg}i^dVcPUP1)CX}-Ŕ@m7Jq5Yx617[ʖt3TGyw&VM('3'Zw-pݶB,Z!: ^>̱@yZ6#o4<|Ml˽=xaޗU@Xb UY̔ejçdȦ٬HnF7Bn@MwͱNQ/iCH?.d S0݂`X(v$4 $X$]]vWdg#˙6TJ ,,(܂U&B'ꁋ 1($O#{Rt0־p+5RG }QV->$tBњ_ B'طa? lBt^ C15ƺl9HrR-8A;ؤSRAy=-)[)B2ߔuKwR&cRfCn'?B%ɕwWx?t@yOΣ Z/o?,jIF/w^ <=#UbxѬ*au;d 9qb @B6Ľi4t!GGP>@b/r xaR׭8/t{`l{i|ՕguTғdB;TqnjTA풋0#$~8V/Ózvx]UJ>R6*7KCC҅0CA` !XZpf%lpev ௞]Y $|V;BrӹW9VF:{+;7*i82[gl`HC'Bb)=&EȦnA2Е T[ p K0 2s]knLjdgOCPI0\~[.R9 T|j!@FW" 834bC[_p郉szͲ7~p. CNnk|H6 ,"CՓ6؅#1>4/mcCCxbb(дxSОlދi/EwBP*4nE#wOq6j O˚cY.$k;fufy : } 1횗l\R#m ? 2Y]s4Њ J⨫m7”`UE!vaGc`>o:[קW[,KdPEE#,-fiLgTɎ\9@Ъ?;ӬX(+7/)ȅd@ Pg"mIpq}q=3J#K׫{o6D)R|uȿ6D]I(ֱP`VvsӁM%;K|dxw3!huhRB#ƠU+<ԷX!s/-މttY+sUB 7KW|etc&"lܪspbvtumĴd; n A^2gJ$tܘee`!zȁ6N][aR>^Mxq%v{D֥ OUk2O,hQS)ՊpκyHIO{dlUO(JPQÒ9f;>ۭ0­|mYҲ p-=c@F cv(EۦL&n8rVhrUS:^˂t/"p䏜aٖ.G:]qo\[ǐ5-,-.3ZZ*s}IVGfw 42)d>3Ԓ:$B'I?|'#2"gA m,97 7>P([OgGn7μgx#?-V8XLe _o'H3,@sP)}kWOOĐ՞)|g$]u?m]in~DEWaKJS.Ƞch @TxqW&)x) 'Z)L.&Y؏g}0vBX,Bq%OBZز ňZ"[Pss EAz )K|74(QGnXn{xe9bH,l"fFݑ:> };;aC>@ i bztߵ ka(Α @D0’ C;ue$7xTo2F!rE3&[~2 zXZ),Q7H,2f;SRlWa] T޼`dGlvڑq~( ULX5?q96Op f@{NcHйB2|=[ aW>#Hˆ7ϙd`ro;|Y%3 @Y./ck[F<Ћ_M>GncPݔu%5%3G+Mpk%c797yk|xG db#*fOԿlw8?Vy6\ʱXQ}Θ ADWd)icvkW+i7dm<;o>"<bn|7&#N 8pZRU;;w(p3hU溾O&d~;z"pɵEuPy I>&aͺ~B=pn-h[Сbx 41iM|{h5]g~+ jN0ĝ H0Zo$>5]bk~{7 .\bKr/BAUs"d:Yr߷GbF^{bA>#.jKI #iJi\#ֳդ׌5 Kԅ6Y4=v}p6j fMŞm^ v(ܸhy|<_ FؾvVgp B~eq38q:tnõCl 0]xm%XUG_<`r.WS#Ԛ"ƹӍd]kx$($8.zڴ ]k/RG%E|Iv0)}̐ Co1 6$zqk8; 357j@:CqǍ&>TtETs\Lw?&$ϭ0lJɤ HqOP#cb;7*yܗ٘UF_KNIj_ag;VLjq4ipBv='PuPh(D7:.  Z/+Mk \uC{EV{"G"m 1lXj# _̍%lw(ډ{U&J../p7L&ReD0͋3r4B >ɡEIDhXQ[W۴ ɫ`>+< zGuQX/7QZzxQ>.W*00@8wH1) l :2-wAO>A'}u,q'ѝQ#UE+7B`AJ삟l3˦?[! E!6%_M[h>oI wt"޵Drt$VWGQ-gԦ U-xYߵ瑬jwQmI]0{H t>VlZ#so" >~˻ȚD?tr #y7k5E$č~~ /MG/Fo5ACy G7 HFC L=7u%~3 >G,Fݓ`܀q̌`UJEE$Ȓ94|YGTE_C/MԭKXu7aI,O/v]T )fmh:/:wN39aF %/J KjR^P=o.L)v"I6 c0AHzhʕuӭ'sFzKud@գ[R%#~f 2l7>amCٚpylM_#)h˞UE%?(FBR0gζù߬հm`옲 +ʧv̓F`_DNkU>o6oek36Sߺ3~hDsakx97U A/FH,rL*dVxo@OclDvFŋhHF] Re(ϯ ei\ d/^Uқ16@=˽;WZ1a]E:Պd46,RO n;4? xc}VC1Uc04c)x*ňXapiMWF%&ٓ74{ֲʑ[x~ד};sFlŨ#T_Iy!0y|6l#(]qc_7,,J+ӂ0JsdaN=-s VǢ˨j!$SoZt* Pj"нLd 7 sNL-yL(UUO X d plī Ӭ/֡^%aؘ |_SK::bf^kFH>Z}$Gvd(xO/FYۑH*Zt}6B={g>14k9^^L6G󃞻)a=iA`gГ,4)'W%Szk 4 'ҭ_t}] _1c RKms8wQ8n_eadԐȘc=ygky=7Ι=/1[ۼnk=^gH"߉_P&iv{T[$S?v$mWdCz׬6Њ̩ -|FZdFT$YTVU>h;[ٻm1&SuF&"-WdЁ|cF>8 kv?T,;@ΎTEZ,}tS™U&da>ohԆiƦߋ#goX&>L[e!Sԕie%52ZY?¬pG2yl.9N[2,՗"w[6R'tGse$19V_Z%W%ɎVHZ0wavkۦAj+ܨi}]#b^Xa e2*B+u^7~G|*9?K%itBp.i}|w)'ڣE8x6hڪzwp0ꅍҪoXpp@]L*o!Gx!#Dǒ KM-0Zt .X0amPY P)QDSD%K6QQ؈Fɴ ڵAQǚMo[S8?ZĴµEzޢ uYgRg|# %ÉU+\ 5xXqjw fIˈTAu\)TX`+JvZ5], |X>| \uw ,[ f#BDf (J);*iꯀf.e3*?LZ~N*h'`{ݞlUH,&y"76b)ZsNZz{>p&e2޳d?VI'!4cHO9r,>+] IAeC6n.˰0"=WփL ^m 䨜z%lwE1;8g)jY{}iX( K[%Yk8<5υ+rwX*D0,5ǧN,UF|@cd4YZ0-B解#G<ҏ~h?EtݎoWNy-Ƈ9):ǽ甖8obz<$ l> ݧsG귄A4z}D!̧3ZKEACٵBW#yfR(Od$! )Y}Q xtYQJU6(Gu@ҟ@PB8p>i6r>3T`/- (@( i٤Q9!a[ QM4DٿHcӳ!1R$.sc6^}+{e|t:R>HT̎ ~cFҫӍΪiOڞ7g@#cFɞorrpV amhyvOj uFDm=2q3r3h6uXLH8kz$Jߡ,Iu|u½JUBCG3)hHj1` }ҩ70x2p^|i#x?qPRj@|T C"S O2г X3h zt۟92=nt: l<Y8cqy'KT+>hp7R o2" [N 2^߁LNSrM%UP!H#̸0c;T)P u K磦iSg;Lv֡,"Xj*xV_^$vA8 IkIVsAe6w{ON ²#gj-e$1dw/ q0 ed1\ Ds !"ܞȉaY/uIt^YW Pm'Mud1d,4G[%[CF;ϴc-a}NҞ5z.MsِWo#8O5Tޟ,ƹ14o ܗ}4 5V[F+*m LVzu9EMҙ>ǔ_c=jowQ?q3o vװwR+=߼~_wU7dG1Fs3Oy7}8熳ɎZrG!jTeD|h3UoT #Vh!",:”X_HyB-"[sؽ0Ah7$#H 'љ#m##PLaJ%x)R91#:bu`ٴ\Ae; s^NCҿ4$!{D5ͪ%+5B9<"y ox|kckBǴ5 HKĐȡ<=pDOW4 jHm :=~]䮋a ;ϝ^{,PI4e R,jA3hWEmHa^#\i] 9eE^%^5،Xkh7V F ~} A [_)Ʌg䂥 xmm8z 3c^G4)6lo.;>d:CBRnFǭ%>NnH ф gbLK_3pq v$3<{ vu2ǐ4˶Z_lRғz,ޕg݄ENzAqPڋY1&%3z*iϒ,[6)& ۲5~o+|pRސ8[ 7 ŇsMIO6!w'.9-׏7 rE4poHKΙ%g}x&jbb7,O2 fornK=cJOJp* [ֱ%Ͽ``7eO'!7<Ep%#ZGo/&E-0{ m2h~GtI7}a*QUkZo߰WHVl*;"vFV+FyBuٸƱ&9OnNI7ܖW\@ Ҵ{[$MNToVdIԝQ_ؙ@<-MnaW8-' I7γc vltFs1к|DzpȬ4Q?hP[gxDZ&~yQmV ihrk43 !=˞,2AOזu#!72C{NkyO.m|uL5GK~X!_[L鬋X"LGj}V2oP ޮLx=N.S?cL5/B٫zG`dHTH=oU賺tARO_Y.~O7KNhcCAP֧UԲyZ+%cu9⮳DJ魈 aUp+}4c[ %.F k ‹kλNj'(a4M䊈[wsLa)k"xa8]ݤ0E'@uic3 _MH 'Nt&t!x {YsdP&w+gc 5@ﯿ}R)`~3FC n:#j="uSyLr %6]$+DDj,o,zu˫ [!LTMw!C,9GFJ\_6 3u dyrjSEPb1hSҰ no&%Uy !C>+ QeKBS)W O{ͽu a)m Jlk x5_TK6m wiڼx\$V򔦕xH0ӡ%Ÿ9b 7t`8˦h&e>7qN8_/E^EztE/Y?+E_d d>M_;)rpB: 60h IꝆ;Qfamew7:et[Llk-_įBkZP{zlk1W=`\C`&rlZ D6T$To S}hooM[Dl*^7UNj%L&2W<}ŏO>!cnmffޤh>ņsC=p_JIgk hC6Bδp7UGR^7XPY"w;*P3n -%Mz`hc1U p0:z.1[2pFHxG'lݻzob//'Jš%ؚJKtHbǒխDE1DzW?L'Z䟅.8þN-jJ$4BTcXSz=0أ\yH.YPľԛs :t?.+HMMj}s>(7zr//UCӔc].i+,>l/oAHYyH=r-YtsjZ%O<{\2x c;0ByfP`j9]ː90olIlg ["S&g(3K`ĐMK&ᄢ \6;=O௃_XVMGc kL%#ٖq xی\ۋ!lڣ>E%E}K画I5@dmuq!- %wfԵ ˛/u/fXC] _rWd!q'dytQ IpچV eXr=3Ξ Uk =ppU;qw1vKv5㠂j()UD^) >0#tKwԿ0 NVJEYVuAPHAk8b ccMb.~e{no*v"ƾ2 &Ş 'Tܝ}6:/WM#17 -k'q$ixag4gp+GȎtqT|e^ۃ8cZ6t ĕƔt&si~PkgqݬV(\wc#s[ls' ,4nX/4WɚoeL"`N" TMY{s(+m~P>LZ];k"ugafiv})C HQPpe)B+r3hXB2tV_ZY&|3CԲ]<9f{J{e,-C͠|0[V){ EL=.]ާQ67YRw>܃+: c"873.SjY(:(i,.M䌤đ%޺#^VHpeA{Zӭvnz${U\k2mk+qlr[=gE-YId:Viۓ˓[b* hiN%\Y\BE]|Hp WQP H:{pwXyuTh+>bciwF:r*&eCn-Sǔ0:Ht2rh+L*:5݅۱hS7fMSß3YQ.Ub?Eo[1݇DY`ѽd}L("-pgi/V~Y {/aw{>$%wػZ2_|6BVqZ~R7:tY&˙_pssqL]tO'xZ@-e${|eBә ΢}WIeKtV:M6mCN(0=M,>Kщv#P cgYUr{#XGY F?"RAx9S4$Tg-B/d)5!wU©ذh@*unBށ }D8Ai0C!>1y7ўD,K}8SNxֺk%"$x_pxӭKc 9\ jw#uB oŲZFIu?U_XCX2fSpd}IT6c֪@ڸ=ts7DJ7dEzBr:FV;3̞"yz܁'r.*$]alggB9v/h<+~(TJ,Ad酡{Cloͨ>]䰺Ypmˢ!C$/%m,M|<]d LVKbXӎ ˆ:d ;^E{c3m`p|ΉŲ/*w>q.t(\TNez9׼IB&sTkNc>4vQvE8-%hO^~M.`/ k[!dǍpDT(`^olxC8mX-\=WR&5֏Ty'K`}=V>kE(L LQKlegbtΤ~!:2Ho=U~2ooP EU UҚxoڛԴxp(*KWI~̊Qa+*B_zAζt1M$[t_=Sz1`K]:+ ׎TeӯM @,TW̶g-kXF]3vw R)|h!gbMX`ZO<K 5I-3 swcT F$d'c+t= >bϺJB54rIp)tґV' mł3d3eS^nfu +aa9p5m}AcC10 qdgxߦL%WY&n1rG$b-<plvRUɂlQުE,ы z  {AG1ܣ;@KĘKWyފw)=G,4n/e{gT%s)07RWh}"K:` 6cFq>O;=D>IkR# Ž. qLI;43cξ^Frl=l⌴[AJZcUN{;W sZu@1;bS'P]+^1f/#@/%Ⱦ>E gcq!#ʱ:MEh!C@L[ZyN|ɰ5dˡS!g.J◈{k1r+5Jvm%voQ? $̫8x~ovMQ5HڍC:±s lɇQ;;R'YKәw|0* ѳMat@τ)Y[NSG_\)ǝfu\&.0q:@k-v]dzE2aOB=ݻHvtRU'Fmh/aQ!^!LOl,, TѕR54> ifOaJL6߂k;)Ȑ/kL(/>QIpi1FHp e _-ciFI $xtdf,/IK|}[!O=$B?Q4S:ZTNg'~se:Jo v"AiE ;bǎin]~=LTx~rlWwLkPZs󫲊Cɻ^#@0R$\3 ĪX+Å1ga40/( p:A+v6IٯWyCA[Hs Ņ0jffJqǀY0Ur>{1B$v$ bbpS!W9ԉݙnP5SJ )F{zi4qbM9PSAǣ+̖% |[۾0p0[P >#5B:>Rtx_%P gsօ ^ -6#;{3G]]2_*(ݐ%<3`6V{hK=~`x- %\g£GqP,''em3qF3JgnBa:,_%xц`^(Y_㳵yTŋHɰUGXT$lsxSR't<<[0f/hLZsE9%V]fYF\][ǔr g#]PDlV?Ett@HrhϞ?0ۅe6ȷ9v9Xj5'¶c<EXYd{vp'8輠W]x4```SЦ#{eul#Z8+DH쬵0GA +KĽׄ'Ivχ>>8ZaLYݙrWQR%Ți/Nz#7U84%sv]QR;kO;(ӗZ_V0.T{Q43taaT'n [HdmyS @7EZߥ 5,Qn8@]T_D{;=T?NWYNy /POb|n0@vQɏ<&'2;5coxBھ ӓ;W0qr(ky4lzgv"yA*L_d@Vp?r?ӌĥM' V=-= [3Ê-U4y2MHXxZhH4$34\o+ 4vTdpvs41swtKǫbNo~&Ѿw䩂5ZoVlW91"U1vCc&'Ȕ]nI AzWCUBHiS蕳Oڤ;I1lҧ:*^DuZ^/uՓBA{G񴟅dFox7$U;WZ+ա%m- Ϸ/ur8nJsW ?ő/tQpM3b'}(&/b"I23e=csj1O}G Bmzv/ + ^($&U8ElA!iHž-U Q:wKcfCX_AFΠPG 0~_W%Qt:Ӥ@fvy /PY<$}nhH0>fO>p+O]G {!& =R_ <]PCD|%NUq(Ԝ 1X6X{1kNVwe 1kf_ C_@bG=aWNZz ᴦ9qB ?_}kd<v[cetήxJϧԲ0@ރd$0Rzy^QG\(ꉔ `&Ph2^'rBOqdձ< V%3ҹ`0&f ` <6)=0׎I Jb+8/>*Ɗ:R&>eu֤ÕFkkp*a+qM;_>aEѵީF}at5ܥ2/e5C5n6Joݫ=9i((==ף#&k +jh ~3 ެ?9ZVv o'c+EPZBr*CgJ pco~*nvX^ 2s<$0VFDȰ:I%Ho>}6 F\^lɮoU蒪; C|X]sdƇZ!'O_)9/>*@>XO zx%X}_,c6 JyP!  m?D(ڪ5*RY:^KDwu=bBW45H/|l#G)?@";T QW#u|e%rxQaZƁ^o~9k.'tƙ#]Zgo4Li.~z~PS#(Xv sL p5oYr O0,}jF%<oCc_a]pfܽͳxLWgYZ @- 7S# tHOL-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\ȐxH6pYܮ-߉u"~-NP آZ &)xծe2j3}8n#EӃ\|P)W_M{yخG~8yBUNe~7D 87Ao@R+-PlSm8ٯgZ16BP5[CBgNjC j ڙ@vYk^鮕7plO:'l#H=7ltCI$eru~ŭUy1a5Ԙ:Lf,>ӦI,/W5ZX} ݶDY9(ͅ1.$T;NM fo>œN֢vD\:e]h Ͻe*m#z Iy9hNG؊M]Yz [j g{C\U[K *} bi @ u(#LC=IKlY'ogڞz"0m ]A8r=d DV@`HtNftB꾂|_G~`>m${w%K#\0k^Ȕ,Ubߙ+ld kJkp R®Lj[#2QVcQ. ], buɖAfyVN @4^N5~'@%. S$a V-cu[?*N*hKVҝ%;:LC{L}l.aH\(Pu>a5%M9 hZX[ eG3-_K=3D>Ds j۳~EIoժE K:&C֨s&x`ZYR&1zs|W ůjma~`iA%ֱ˭;?/JU~1敽>ҔQ/pߎN\ 5ؕ͞%ݴ1t`0[yH4%$%S1Í[{oo6PEfy׬tzbN䐌jVvdJ| k6E J$ 5WܭE5S7D p J.ָNJ 1nܧdrͱ Y.wbm2s5[|F,~@ː& s(_!MutR5 0hCKH(laQ[:2&) ]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\>CWԪ0~VN2vêSdc l{f`ST2ү0E~Fo+*}m{m[rNֻY(Ҳmx0=fѹ2*-.&K'#jwG y|tu }@62fL TE3ba78hUڢ{nyI\R?e3I*_nW6WS|t(/pNUg7gd8>Cdy6~\6ZT9tlWԖ^y~1/s3^iLo:g$k~ M H$2D׿)'1,Yꤥ!~Jo)baf3kfb^\ݮ1[&I'+g?zFn1k90Fn%\#̓jOkHX cx~<]G`QAYBcJU굀pj&;c~9[RNJHClV##n%) W_lFr")vG=kS쳅b( P05_4(*7Ug]{EuM&_O)߬uՀVpjMOWSv$0SVO]TŰOVPIl#'ܲQ 0<Zh׌.O`:cL@oGFF48=! Rd?/+3uʈ}cN6En4.}GdKѸ{ =ã3_Kla6 D}4uwZa aC?/N㕽nm*I/ڇ爑`qzrp9t`qDu-})S#C*bK8em)1i݊MF\]bdn#EAHXM@g4`Ch(ˏ! t06kϧ!鏦lc 6aa*LQ}M}9^ @N7=KO'ޛcPO>yV"S%Y+˼NZX*|#Urvq> ^9h! R|}oir놚^92o\ܜ>hOk+7V~=^ȿc@h#z0eO׶[F5,Tdn&,ް$D}EEeޅ<&;iV_\LkJIц!;ddgL0Q_=>l+1&z &My? s`WQijfS*\6X+5ނF1pRжM3:,D4_U)WRl\ T Җ G>: r Z^N]޿bB!>;M>iedi@  ܘ!"ā_zv_IluEI^₰8* GË݀>jc7)*X-p7@#hȞ]-?kZRP|kLQd]\a#i\׾`Γ}uJe&ʸǃYP_gO8߱,3ɰd`|vyxQ{>i1YƎ, qlΚ`f/Om h1Z)?Ch+eXħEgEy{]KzQ׈3U]l7UAw)F Ț3np_aa'wPDHfMWh b#.;)\]H7@jҧz]Ћ3.uGzX:_+{sup9PSHK<*x+:easZzVkQMzL$l[8&11*Iwk(ӌI |MG!i7T#s"“HId)%V6"#+@7Oʱ! @ҙgs/q> ^Zso_zRvv(~\6dȉajE;w$i5JJ nY ?3{:.}82BF4@\9{^^HHĻX(D^% )q8/&LH|Gp սӐW oLp6s׿fyApwLe E )Gǔ!Ŝvf}~,gȾ+\"[[b՝epX3,=Y&X.DM; P<ȥ!ʥJW胙tNIp=j+"iZo HIz<kt@-O7?.AbЊ 'ȥt-`G\ \ڇ&j'_TY^)Mݧw7kllug (8-&vzOɋx=#2J6sNbwgyl?^TT";%qיVqAuLͨ}J7V=9!Vk`i'/Z{:؂=ξsk!]u@ACYIQљ©*J?e8~z/Na fe{2A*ܐUsSȃhGm#0QDE5Dϐ3H2O+~[Ƅ@K>a:FSq70vsHesđ* ? cL8Yf&CfƮ->$sޟ@E\V? ٳ44u927Hp=sӝ+|h `m"zs2u.mà PXdIP9c|O'23G-ŷ wD)R'@XV7.7H ~CM#&&jS|~ xG|}4 #.ܮPwRaluu!5TEƜL7D= )s3 փvZ%8jىg"ļL0`~%$/G|"C,,2#Ǜ "[Q"VRI 1;-L$}l7QӀ,0_o aoV)sJ+C;2wU|i;FkpҾR 11^&QY -FDQ:A@ gS}Ƈ<],9:væ2{9!*5Y4U *5I=%bLHk'@n%D1k쩮4=78EoU!C>B;.h@=!K1-ݟ!ƽc"qWG$~Իv-zS<xe)Ҁ]oeC_9n D.`L%y"oeHOi[JTk9 RlZb4>o 2?+RL';#exp8VV;#;DWR>E1ޯ#WqQ7=ۜN/ԗsc+?p8>|ז{MHញ΋#*זv׭) 󨼤ey;ۅy,mk|yuo8Iс&\࣒LeS˜D,䳧rs_̇wcF@+>'}vzڙd9@R xtHKߗMSoG&w )g(aWRD -"3e5jP1I'h93$N@^}&Kv[Qǵ/ രnn3msK5"~ ͘31KN , xS۴٢);T?ݷ㖫br&Oj}< gylo7N&䛣TE()j"UKәϨlndIU Šsd.+6CD>7iRA')"&NGp a¸YdGֺ訲i7r`k@W稢mK{ G"LSJHpz׊tJ>dpA Gac 29G$M4HK's>Z\[NcKT r佰uHʖgC ɤ.V2+J&ˆcF OvgAsy>&qӆyZ&/fҙ ƕ"( Hԕ lm;%"~s?>mEޮŲeM= mq T==M xtC;`1.T@KU$Z!XWFI@fUHF`^HG5@l4Ug6?Tn2 g"f#DJ 3Ϲ3삵%jV uu:1?﹘>xzYWLήqUo`QODzMxy^qa]ax?I6WY + o ߍ/2ۚt$O/zZw Ӟ*@TnUlJF+;F$vE^MЉ7gQaI+:V=z"<Z~$>[y&HӖ v@_tј;Y=ZjC6]ӳQH]F`mwWC W5/dDo1!hL5jxG,:/_f0pH g`5nЙ"yU_(V_[@_,9$S,ʘVă zFiq?Z7l|[=9cDuR"]E 䵃=h=y\6E2CNH67|˸: Лz~!BsՌ<4rcMzkJ.NyN^5=OϪѴ^]OYsZ\75Ox܁ŝ: exM3yhӜv,J@or+YAɺTQV@P>Mvσ xW)I &au_\>eɛ"k2&-XA#AZ"<2{R? D7[ 3Ɗ ܃A 8bbNp#2xTR2𞳀Ԯp QEȪF`-xŤݣ} ry8a`hX Q޷V2'{h 5òK7" 3ؔKёu{*5h0~`hF8pG"`/kC2C5Or+6Rg}G2"<"{kT{`a|Vμ68y!3lg#j\qͶ'ˌwn׎17 >)oH!7)/!;&th[>)g7_%`_LTf%zPڱg nS^.ao:R<.ce -'&]_t<.)'(:-5^$͕湸fQim4{LT 5^VQ`<6țBܨO63e](,Z;J'z!W->Df7I'LwCFڼʉI-1A 7ez%zH "eە&t-aUu,"9 mᲑ'״c)Pΰ)$NuG2I+=vO n1,uCd &Cգ@XljwrM;mߢKacLh܂TtH6q^AaI>Na>E%{6S^L-\#W+=q(fVQ}& me<S s|L;?11c@7W^_zlR2"oaQOlp۶rrQbB1\lR`k O_o4bߧqxPĚ "֩d0_%|.y2&׻d$3K6'he>,N(g>qW7Xqk#Z{ݪ|Uv{α?pC 㓿D>ևTxDk*tbfOłzVIv#$x@تV?_\ο1-)El.&)W X W̡W!i#7?:; {U]̴#cz;5C6R&($ {K8w0릯դ6w ZLߍLBY ߉q=CR#fjHӾNlzq90":-yCia$؛z0Qjp"w.$ͦN @ԥk͏e~_0ui P!yA"a@~εsz)\uM2^@C4uo^ mFU0aÐ F3Wz6U.# dm[=Q^yz3wqG_47$^mӱW*x"j[#KI"C~"QȦXs[;O!ST|Vwo"ή@n@LْPt%T7ej:+Gv2!NgV>mq[oqPIc5PMJ)L\2 LO&o,?W+)?P^INLd[xX{&ϖgg֏ R} `vhMhC8L[ Hc^t`]upg`ISXf.^ ʦgg:X`6Ў~Hc]'W* +F"LUis)89RF}4ܪ"mC$=K4\}w6mii)TnuzEܬ/"UU R/JG` 3NjHF , =\ A:O]>I6$fjh*F.Qw'bc Ṉ!ͯ7Vuðcڿ}h@uo^400 ,h})V<;W=HGM%Fkܕp# tm]=.j=mE^>cg^lw_ l 9§3br&+ C ;!k`#Nvإ㖍o /R. - $6b\S*՚KO}f_6ǧKg}tC[4IQqj]j E+lD{eG μ,M(J&#nF%M!4p*9Y G0aEo @AA힘YI5_wtT2:R5K}^3_[4X4.Kb7"DB)ɩ|Ypxb,'srJĊڢm D?rf;jXuCr[aS 8E?.q+TdJxі@R<]+(w0I\뮀NNt %@Nǽ(YCQR;n-"N1ծ;W|ѴkcI"a?L74Lёd iuwr;!TozIuP`A!3dB iVn|}V$HD)wQ.bLax~;hoJOw B8ܹ\[_ܱ/=h3j9_T=WAHa#A $:?vJϬl"z(4'=::7vM’UUWx>%WPE&R :dA#]B~UH0 캧ẅX"ne%xѫ]A_E;ӋЀ%=n.GfH{"[Xq} \4  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&Ur5i|'E'ngyyބbv4ڍ_k8!;vc |ًZvJKJixkGs8 ?="ZI ^fT=mFKHzGV5l?yY{o6"~CNi=Oo:8 lu"]jݠ]b=fi-|[_qI %K?!9 X&;8ESi@) jCj ʺ !EJݡM~w;A.sP+Jo#Ahb3Wܽ"5R W}mv*=Ěū)x\ZGִ4t`"<9S5y˹96܌R۴م 9˼K "L[%;kM t)짶/p;T32b /WҔT,;ɩuGk|ȀY$ => S!B? xၬ1+$3/  ^z<yy3T4Kn¡j w(!0GWtbhs[gݓ|Z!)EwcyE0#Ž@'9^'靡s8ghHCAbqѶ!-0*w6J=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 F>ʸ9hFe 4L]t6} .SIt@0FjWB802$"7uEB)ių|oA8E-65Q0=tzKk=]t07W@h{rڀߴǻ\cѯ!$u1)'nRLVwA_2P*AKEKG vVAϵEb5$hxp{MaoB Ը|/ߢv;ωUM}}.|wĥZpG;`q]8<-T[jO)5m WsHH].8J @g]ڴl̡rPuέue_e^5U 3_*@6 F txɨdB4?N:cI*H\/|d{) g]ZS=ӋT&i6SѸ}W`t~@?**ׄͷDʑV*A4l&'oú(Jӟ;ppK8` E]_̢!? 7G)v[S}TZ=꿀vNيU7qD@1%%dJܣDia6):D@^20[ @DN\7}لtgYZ !] > q1 % O DAq ] ?n', [ p%~: eC7I!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/files4I7I-HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/document_id3'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_C7C'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/messages6D7I#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_SetPIDE/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#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_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_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 AHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_FSetdocument/Quotient_FSet.tex^7YGHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Messagedocument/Quotient_Message.tex N7I7HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Fundocument/Lift_Fun.tex ~gOHOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_Testdocument/Lifting_Code_Dt_Test.tex N7I7HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_Setdocument/Lift_Set.tex R7M;HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListdocument/Lift_DList.tex H7C1HOL-Quotient_ExamplesHOL-Quotient_Examples.DListdocument/DList.texP7K9HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_FSetdocument/Lift_FSet.texL7G5HOL-Quotient_ExamplesHOL-Quotient_Examples.Int_Powdocument/Int_Pow.tex?HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Intdocument/Quotient_Int.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.MLG7M' HOL-Quotient_ExamplesHOL-Quotient_Examples.Lift_DListcode/dlist.ML _ V w  ? K c  n %V7Q?HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Ratdocument/Quotient_Rat.texJ7Q'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'^7YGHOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Messagedocument/Quotient_Message.tex 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_idV7Q?HOL-Quotient_ExamplesHOL-Quotient_Examples.Quotient_Intdocument/Quotient_Int.texJ7Q'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_idX7SAHOL-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/messages2P7a#HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/markup1O7a!HOL-Quotient_ExamplesHOL-Quotient_Examples.Lifting_Code_Dt_TestPIDE/files0 i  hip9 7C# dHOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/markup7zXZִF! $E)l]ˠ)jk2p O6LP=͵gl5f&Dj]ce{~uq$;U+x+I9( 7x4uvԠѬɽ˹g""#ԑ bˮky WM6x Wu[է oՅXC`]jiQXէa|?y}K0z:zqƪKU8= H 4 8M|)`Bso!坐ZX܎G?$+èQk37]jG^!%SI䢞J%rRf_T'fC;'>]z+Ur:IU҉iV~4#ko<#t5KY']GFx SS dS T& ^;EDKn1/vz6)~9H쒠saS̄'jg nf:n>n=W5QFG}A&_YKE(9d - NO $){[؉(B_'?+,5{7|A!}xIAZ;$,8LaR"eR(nͫ^0K$v)] TlJ/Z|ݸ/ص-'y֔k -Ԑ jfpUl(E+Ol-V֎;oN1_2#fk vp>zp g=-de03DXHT_ՀqJ7JKqQ0C`k)&Ih}~E):H-5B{kPwE & fbq<B==6uwR wk;a@G/#ujqf<+3/A[* HITU)@?nA9LI578IL*+cF%@1mHq-05.v Jѿ8dԟvxațXH-~>l|}᫴hݩuwr6_DPvhl&mQZ!;j->ȓ 5Q>RQq&WRU!@7ƝM2Cںt%kޖ~Mwyh7 p_],@seyǂ R`M:O2ޕr3"Xw!^<_ۛyR QY1!d3(AWet;Q۩lC*$D 6Zl0LUg- Xdڏ]⊚65" |խEbSme$@k^ax,$q3Uj<;zƗ9̇W{+# HjgJg2.@'vt- Dk׏$ ~$eDnP#e}?lYm_ R٢+L84dz^7|<\/p{wW/2\fDj]y+R]&9l]J;HSbn/ro݃ōc8.7>ys&/lIv\?֏ȞCj6o] E!1%@዇F!*EXRǧ:'97ۋT_bqŸt |m `SyTm|,%y=]۳Cl BetʇL(毒sCrr3ΕQ/[wJ哬[o3" =u{?_ɺܴ!}MD>*&$ FTfu@ՌZ][)dK ځeyK1Fy@@iW"h[f[Ý>Jmey6'$~ED fvI`V?O<&Y s [@p^yp,K#Qt> U fP#,RgYZ;)Ąܳ RF;$iQ3U>g &>]0uyK~ Fպe~=K~*`P);x {ob`> %BZJ ҂|q.(7$]h*6w Ϯa3ʇ<^~mmR ?7M7A8T2,tub|ɞoL.cb,Ӂ@FM*:1Sb2b X~oEQ%9qvy/`yf^-?5? 8Fmfk6 5ze[XPa^*NoEj&1LmɪߢNtx͢ >Iz2JlfZc+0(>YIbYA-az P-dsƬ[3d2Ln/ʡ4Dkȧ g`e̯z\ۜ˶D") @ȭ~V,Zmh+r-'4.;#_ uB]h@/Niӳr)0Q3IVRbw?`Fo\(VN;=])tn\HX*̰h%Yק+&O v$j)/\ Mc+kɖ6#r܏֋Ɩ&6Ԉe/ W KxV㿍PL)j%$TѪ !ǫ$XuzIoaKMГ_n8>2{Zi;*|0th&~-?ө>}p(zDY<5(@xp{J8-ڄNW|cӠ*cI3Ѓ5'm'=nWUn"y R)F`2݆} ! ɸ劀FńZ9wcJ罴>Iʁ7z*G_KqI۩ L>|;Yv^TNIp(iy*)'؏%i wWl~C$@ab".-=B!\te<%$ƙwR43C.)w*R14_M[bVH‘4:@P,oUqw 6]ۖiZòԕ됕!ؐY^}kG! t]kuw3?-< S6j#5phR,RDivpY tZUlIͨ }Py@暕Q6%؜# 1tqXtuSa$$3 7l):%KOaF͈_f8[Sp"X؅˟N>uY{& ;A $`XBP\YJ<.yн'"ߺU~ ׸?m6d`y3 m vvxYC7~h ܧ ˋ5{p[vJF*o9u w=#!BLj]DS˪wvS|UJg pJ@T9S=hw긑1$'BT9)N//-9z{%_k3M/ψAecS fY=@s [L |qg}{ȃCF&kYJd!~0PϯHe,rО'uhu +4+~`֍n uR5C͟u Ehh0"*&I7G*Wz)E%3wpi滗[ׯd<|-h1נamsvz&OiɿkLM5 A H۳T h^uVwVYPɍUDF͋b~Ǻ!~oDEàW1>|nL*ٲ DAa6n 91mu@7濑3%q[\:>u{$ 뤔-Qm}*azG0a*K??Sb0p\|"6yp/5+yXqѼ0"c{sφwh#[1$FrUvVP.f9ƼH N/㾡9k 嬩4[:ՊxPQkϲ7zLi݋r02X>q!A C(pcf4*a*b,;Vmc{8p54+*gHܞUmJP!^D7NИ" ~zLN8u9Ѱo A3r=FL0~ |k۾ksG0Cz l'3A̅$0ei)6l_4G }b/ `sl2(CLl|?17ai-sTd%eNYɭj%C#螧Xf71˻}1v_{_I?d~$GF+plr,Ikn‘5sq[3 m}9!h+VD %@1a^@z5J5XG֍Q=]6y58وa½Cx Āl$S;cdYJ86YMH/WֳBv2)C(Hs1?WgՁus$°lˀ+"e4iO:jUaڑPe)=萾oτ?oɢ39H( SZ,l;[ʷPL65Fg1 $=ƨ8t5'6^d[lځ݄iV^!?ja5z;땑&]\͆;R,Y IxVDz)>4&:~Z6]OKcU36xx.UHTp>8j A< F7MfSpFI  2&?đ(8u P< p׳}!x"\L SEg܉.m{˄,;}b߱6SO#@\63EhƅS Oo/sݓv^pvDrkܡ $ޞ_rU#|ZG;M%[B޹(fKQEDkra>~HlgDڞM9CULkZX-_N;7{@$d~û ҹ;.ȧ:qqA%̭uJw*!)^1AioPs QwN %yU 8s\QZ&03Ҳ @5؃c{ r= Ch,QgsWǕwdm7!? | YrxŐeLӅjF:%⛝V^>ޏ Av1ЯK,A#3R+]s _8xSzk,gnU' D1ET}3Ҳ M)nahk,c@67 (U~9MTwPʄקOMk5s5;P\En0KiߏH 9>CeP_ {0aRL':|:Fr=4~si6zMvGM -O#{mQYiao+)ʈt)5B ߝdUʰdµM͐w#kɼriqz$ j"+1:E]P}Ww9x"H2h^됊Qf#}~H4 (zyCOqeTJ.->ޒ[9L|TH&{^m=Je_0 _PG=^LS-9L}EE% @,cN|\L_B[v4\RF\ | d31A/ņcsnۧ)v>'ci$"؞!'XJ&[~vc\N_V(K[էy.7Y<)2p n~AY,X+}2 H[P`^'! hJn#E1(/kca8wm dDAw `!L@b|A\qק`I F2\P+̈)RCgNjvl'ʐ߷Q'1cA{gJkǙ~xVvV/̀?. GDzZ1֞}uLcu~ٺWA93Wm;zL[G:*xؙJ<#5BK(/_b-TЃeKGJVE@ck3vm>WH*Fk@W B_qh((`+!jX~GP_KO{ଢ଼fr۴DwB=Zx\>\tmFd!sl2̗L8T5إ`ed_9T0xO)2|+BOдԁv 1X\Nŏ~^";3/ݠ6%Vy:7T?$isL?+oDǞ ԨTGuEы*ǽom\0gd::R=.~ BͳL‚Tl[\@8Q7wQU'^sKOJyGg 1ڴk)\n?\N~yؒX܄PeKQdЏ@p<@v80c&>_ω8<6ǣVP0)}DC4re1+:t1-M6Ezd N0"$mN:~!:+dn7N',%yV46\&4ad@F9"fV\Rrz0aC Ja5oByEi.~#qmd'N,u9ۈ'Kyp^Ns`=©V+`IwN[P$c">zDlWxpaWO8I`cP*Fw Xvdc wuBq0gufU$B_h-Cvв3 M%υ+j"dNV%LW9&x_?duzc%cmh+qF46•JEL*q}%.!&OjiYΘ~XHݙ+7:ce9*~%{롰d^x$L%2sGI8N^i uʱK^ǟ3Ce(#u4e]A~Zn m\Sk? َ큖~|S:SgYZ  :7C' $HOL-Quotient_ExamplesHOL-Quotient_Examples.DListPIDE/messages7zXZִF! ]~ hk.<VAHgM@*$b{ϔ&iڍ)CX-'EX~`A[F=ܼQEBC?&i?-i~^X} s88מ B%>ef~wlyQ2OU0Q6_cM4s _O@XI1.b8e`F3t D+TkF_,i"[#u&۱@kt;1xkzq qHeO t#8 @ژcЏ"VQ >߱a'!]($qGfگXE'Q^ASdod4+5 l=v์|: