"`-X+Finite_sets$Sets#Coq@()Notations$Init#Coq@%Logic$Init#Coq@*Logic_Type$Init#Coq@)Datatypes$Init#Coq@&Specif$Init#Coq@%Peano$Init#Coq@"Wf$Init#Coq@'Tactics$Init#Coq@%Tauto$Init#Coq@'Prelude$Init#Coq@8)Notations$Init#Coq@0&v!D]hwnv %Logic$Init#Coq@0\͉!Ig)Datatypes$Init#Coq@0.i bYN Z*Logic_Type$Init#Coq@0 1jc6&Specif$Init#Coq@0;RWMi\N'Decimal$Init#Coq@0C涳N*ua#Nat$Init#Coq@0eʤģPSR蠠%Peano$Init#Coq@0 jha|ؠ"Wf$Init#Coq@0q+W,J+'Tactics$Init#Coq@0/9m+ a%Tauto$Init#Coq@0̂"&/rk0JqTttֱ)Ensembles$Sets#Coq@00qGL;rߌߠ1Constructive_sets$Sets#Coq@05<s+ħU᳆={fP’Р+Finite_sets$Sets#Coq@A&Finite,<@)Ensembles@@(EnsemblefA!U*#A)@@@  @A/Empty_is_finite/Union_is_finiteB'@)Empty_setįu@"!A1@C)!x@%Logic$Init:@#notШE@"In-BDAFEQ@#Add-‰ 4AA@@8@D@D@m@i@@@@@@AA@@AD@@A@AA^\@@@\A|Am@A@AA@@A@*Finite_ind @om!Pf!fy`d[Y@}@@I@KbJ@`VGROHSA@!F!ee0%de. i8-n.A@D@D@@@@@@@@DȐ-@>+,G OI!nJϩ:A@϶bƶ`^aZ7 +k() ,<'(*()= R'> 3!# '''+k()$'+7 Tk+ 7!T'$'H`x7AI@@@@@(cardinal,<@)Datatypes@#nat@@ @@@*card_empty(card_add 󜠠A K@հ׶@됩ܩٰ.BBB@E@E@D@@6\@@@נ@@AA@@AE@@A@AA42@@@Ҡ,cardinal_ind @><>ͩD8ж$ɶT@@b6\@ 8P@,;*ö@(YĠE=B@ǐös!c!*Tl+ķ| ([s)A@E@E@@@@@@@@@@D@<o6Gg $cKǩbXLTRVoѰTXq@'%X&V7 +k() ,?'(*()= R'>3"#'''+k() %'+7 Tk +7T'+ 7"T'%'T5wAKe@@@@@M/cardinal_invert @@@*$\B@@!XѶ!pԶ@@@A@A@@@@D @"eq @88驛@"ex @:; @#andЖw@7 ɐjԐ@@@HA@1@D@AA@GA@IA@KA @ABCD@@-cardinal_elim @@0AWQ O!@MLFEQ%&@)Inhabited.s@@@@fA'A1Constructive_sets.@%@$@ABC@@@@@ ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@A Գq@ Գq\ @A@*#@4@A@*$\@@A@ABCA<@@A@B=N$@@B@@ @@@@@@"_9@@A@@@@@@@@@A@@@@B@@@@@#_10'`o@@@B*type_scope@@@@#_11'`o@)@%@AA@@@#_12'`o@7@3@BE!@@@@@@4@@@ɠ2 Q@@G@#_13W@͹+`@@@@@#_142M접e@͹+FF@A#_15'`o@n@͹+FX.function_scope@@@@@A@At@#_16? 3V._ind_from_prop@@@N$@@B@@||@@@@#_17@6\@@@@@A@@@@B@@@@@#_18'`o@@6\@C@)nat_scope@@@#_19'`o@@6\@AA@@@#_20'`o@@6\@BFѠ@&@@@@@栐ꠐ@@@2 Q@@@#_21 @:@@@@@#_222M접@:GG@A#_23'`o@"@:G @@f@@@A@A)-@#_24? 3VG@C@I@#_25X@$setsW@S@@@'META204.@ @A@@@@ A[Y @cIf~@9Coq.Sets.Finite_sets#<>#1C⠠/@B@'META2051'META206'META2083B@@19Bl@B@or@md`y _^bf@9Coq.Sets.Finite_sets#<>#2C@#_26X@$sets@6\@@@'META216@ @A@A@@{Aө @ݩÐ @9Coq.Sets.Finite_sets#<>#3C䠠4@B@'META217'META218'META221 @B'META219=B@@CB P$@N@@' 詚 YH@9Coq.Sets.Finite_sets#<>#4C@~2 Q@@A@#_31V@(U@A@@@@@@@@@#_322M접e@(U#_33'`o@o@(UDY@@@@lp@^2 Q@@A@#_34@i>F@A@@@@@@@@@#_352M접@x>F#_36'`o@@>FD@@@@T@@@d]h :$m}=@|8m] "ƶwۨf@50js P&D@.O `J zYA0!U*$\B+Finite_sets$Sets#Coq@@@!X)Ensembles@(EnsemblefA!p)Datatypes$Init@#nat@!H,@(cardinal6\@CB @,cardinal_ind:ȀD20'%%@@A@A@@@@D/-A3%Logic1@"eq @IF&M@)Empty_setįu@ !nH@"ex @^G!AH!x,@#andЖw@4tIEx@#Add-‰ YuB@#notШ@"In-BrjkTAfJfCYi8jGSx*IHcardinalnh|eGYGSQEJV8G9EsJk>N94 XZ"H0B=QPsAlxKjh֐Laucөs^Yư 12}uʩw!rmڰ(ҩALL}SwW  C[A" !C ޷@)Inhabited.s@iʷ"H1p1Constructive_setsB@-Inhabited_add [>