"`#na"Wf$Init#Coq@)Notations$Init#Coq@0&v!D]hwnv %Logic$Init#Coq@0\͉!Ig)Datatypes$Init#Coq@0.i bYN Z $+2)rA0Ƅ/ w#g!Р"Wf$Init#Coq@A#Acc,<!xB!R@A@A!A7iA('&@@@@ )Acc_intro$"@!yC@$*FED/ 1@@@AB@AA@J@F>b@@@@@AAA@@A@CBGEDB=;@@@@AA@@A@(Acc_rect @JHTR!P][7jOBM@@!fg?@C9@;@\@y>b@FDq@OF@HpPJxKTA@!FV!a\[\_$db%CAA@@@D@.Gop"z@+7IHx!r~@[YRP1 +k() ,A'(*()= R#'>3+ &''() ! %'+k$'+Tk+ 7"T'$'R2AD@@7jO@h@A@A@@@|'Acc_ind @˷yp@Ķζ|! qQAD@@@@@'Acc_rec @޷@@*[@ G @+k() 7&'l@@@@@'Acc_inv @  !H@@o @@$"@  +k()= R '>'' +k+T'+ !T'7&'AA|@@@@@頠,well_founded @0.:8>+@31=;8 d+k() + T'7&'ސP@@@@@;well_founded_induction_type @IGSQ#Rwf@(8E@:7kCR@@!Xl<@H?@AEICGELuHcQܶ@N׷"X0Wض@RZzzS|@wu.,.'@[c +k() + 7# '() %'L@@7k@3@A@A@5A:@A@@N6well_founded_induction @LJL@;@[9p}@WUW ) H+k() 7#'p@@@@@p0well_founded_ind @nln@"@ĶsqsE+p@@@@@%Fix_F @зڷ@ᔑ7l͠D@@hö@@c~A@qȷqiɠ`!h]Р@2Mba@'  h+k() ,.'(*() 3+ %'() 7 %'+Tk+ 7"T'$'Р<@@@@@͠+Acc_inv_dep @ʶ%#ö(@~A 2A@< @<@75A?#! +k() ,B'(*()= R#'>3+ &''() ! %'+k%'+Tk+ 7"T'%'AD@@@@@ (Fix_F_eq @@r@SQ][ ze5ݩ%LogicX@"eq @JqNG!pK @?5qQO|~PX~xUSRZz@@@A1DH@A@@<#Fix @:8:@m+hljq@CAC 3p X+k() 7# '-@@@@@@^)Fix_F_inv @@A\Z\"5L%F_extX@G!g(@#L@"SbKdж*i;ζ!sn6@٩uAe;:ݩg=<ِ@@_@@&Fix_eq @@Bܶ[n97ũr@n>_Ӡb \[e@@~@@'Fix_F_2 @7m E@@!B @)Datatypes@$prodt@o@ !ʶ@@7nKF@@."x'@ "y' @ $A<6 B@DKƩⰩ9$"&QK%2V)(*ѩD/#.6\9,e*KJe_.:9ϰCikWL  7 ECB9Lrl@gjdkrbTL/  +k(),?'(*() 3+ &'()::7!7 &'+Tk +T'+ :7!7"T'%'ܠq@@@A ϲ6Wt@A вuXx@A@ABC@@J=well_founded_induction_type_2 @H~JH>yzz@x@v  xa.!bL@CЀ #@jl"@@ x+k(): 7#'`@@@H@E@AB@@3Acc_intro_generator @є7oG@@ߞ@@!n@#nat@"wf٩- @@A@A@@@@D ߩst@vx@6( +k() ,N'(*()= R-'> 3+'''+9'()!&'+k7%'+7Tk+ 7!T'7%'X0'@@AAAD@@@LA@A@@@@@ ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@A Գq@ Գq\ @A@7i@-@A@AB7jOy@7k@A7l@]@A@7m @7@A@7nK@@A@7o@g@A@ABCDE@@@AB@@@"@ABCD@@@@0.i bYN Z%Logic$Init#Coq@0\͉!Ig)Notations$Init#Coq@0&v!D]hwnv A"_49.z"<-"_59.z"->N$@@B@s@`@@@@@@#_14@>bAA@@@@@@B@A@@@@A@B@AD@A@@@@@#_15'`o@@>b@C*type_scope.function_scope@@@A@@#_16'`o@@>b@AD@@@A@A@2 Q@@G@#_17@*[]@ߐB@AD@A@@F@A@@@@#_182M접@*[FF@A#_19'`o@@*[F\[]_@@@@AAA@@#_20? 3V/_rect_from_prop=@9@?@k2 Q@@[@#_21K@u2M@9B@AHD@A@@UF@A@@@@#_222M접m@2MFF@A#_23'`o@v@2MF@@@@AAA@@#_24? 3V._ind_from_prop@@@2 Q@@@#_25@2Y@B@AD@A@@F@A@@@@#_262M접@2YFF@A#_27'`o@@2YF@@@@AAA@m@#_28? 3V._rec_from_prop@@@2 Q@@A@#_29@2MAA@@@@@B@AD@A @A@@@@@@#_302M접"@ 2MDD@A#_31'`o@+@2MFkj@@@@@@A@ @@@#_32F@12MFDB5B@ADD@AO@@A@.@@A@@C^@@A@@@@@@-2 Q@@@@#_33{@88E{@iB@A@@@@#_342M접@L8E@#_35'`o@@U8EBؠ@@A@F2 Q@@@@#_39@Q9pAA@@@@@B@AC@A@@@@@@@#_402M접@o9pFCAA#_41'`o@@x9pF@@@@A|AA@@D2 Q@@@@#_42@O9+AA@@@@@搐B@AC@A@@@@@@@#_432M접@m9+FCAA#_44'`o@@v9+F^]@`b@@@AƠAA@@l2 Q@@@@#_45A@wعAA@@@@@0B@A?C@A@@@@@@@#_462M접_@عFCAA#_47'`o@h@عF@@@@AAA@@2 Q@@E@#_54@?5qJ@yB@AF@A@@@A@@@@#_552M접@?5qFF@A#_56'`o@@?5qF@@@@AAA@R@2 Q@@G@#_57@=.@ƐB@AՐC@A@@␐F@A@@@@#_582M접@=.FF@A#_59'`o@@=.FCBDF@@@@AAA@@2 Q@@A@#_60&@AA@@@@@B@A$F@A@@1@A@@@@#_612M접H@#_62'`o@R@F@@@@AAA@@Ԡ2 Q@@@@#_63u@>O@cB@ArC@A@@@@@@@#_642M접@>FCAA#_65'`o@@>F۠ڠ@ݠߠ@@@ACAA@@2 Q@@A@#_69@nAA@@@@@B@AC@A@@@@ːH@A@@@@@#_702M접@,n#_71'`o@@6nI.-@024@@@@@AAAA@@!2 Q@@A@#_72 @, WAA@@@@@ B@A C@A@@@@@@@@#_732M접 <@K W#_74'`o@ F@U WG@@@@AAAA@@R2 Q@@E@#_90 m@]CAA@@@@@ \C@A^@A pH@A@@ }@AS @A@@@@#_912M접 @CHH@A#_92'`o@ @CH⠐䠐㠐堐@@@@@@AAA@@ E@2 Q@@@@#_96 @'!gAA@@@@@ C@A@A ΐE@A@@@@@@@@#_972M접 @K!gHEAA#_98'`o@ @T!gH8:9;@>@@@@@AAA@@@(Acc_iter9D{(@@ @9?5qB*Acc_iter_29D{(@@ )@C G2 Q@@E@$_105 6@RAA@@@@@ %B@A 4D@A@@@@@@$_1062M접 S@oCC@A$_107'`o@ \@xD)nat_scope@@@Am @@@q+W,J+0@F^MKt 1@+S:NL.O71A@' x^KϓD48b!A7iA"Wf$Init#Coq@@@!R@A@BA!P@7l͠D@@!F!xC@!yD@ !r6@#Acc>b@E/ @+Acc_inv_dep=.F %G<%LogicM@"eq @)H3H!pQ<+@%Fix_F?5qJIX4@'Acc_inv2M GL_a(-5acQ.!aP-@/ME!j!HX%N"5)U:t_+!)(LK%${#eRgl0+*8HoJAPw;5CSXyjA:H~#Rwft@,well_founded8E@@x@z%F_ext~!fz@|!g|@~ir@por>?GƷe@'Acc_ind2M~׶!sکTeߩgx@˩ðn跐"H0@wͩ˰wvΰM{}4N ܩڰ*ݰ꩚@&eq_ind JߩĩݩOݰ$*ɠ /,%.')ՠ462P @3" 577 *"E*;='J?@(Fix_F_eqREFH][OMH?>N;AW@ %-YH[] "`G`K +0dehQ.!6>jU2!H@)Fix_F_invn$*:?G[s$<A]bw8C<&T@#Fix>FKSglmlI8 .<LQY].E2VAzº