"`Q5s&*StreamMemo%Lists#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@<)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ֱ*EqdepFacts%Logic#Coq@0FI$ͼՋ`)Eqdep_dec%Logic#Coq@0u wWIϰ߼'Streams%Lists#Coq@0ktM#U-x&Pʑ,1VSrkŅsdR/̈́,T<+Р*StreamMemo%Lists#Coq@A)memo_make @!A rA@@@!f@)Datatypes$Init@#nat@B@&!n'Streams$@&Streamu@C#AD A"0B@B@75" +k() -'()9  : @?: C'+7Tk7$'&̠@@@@PAϠA-@A@@AA@@A@)memo_list @caXVb@p,sЀQ1]A@omdbLX @+k()G 7&'l@@@@@&(memo_get @@@ m!l"crq@@A@A@@@@D{Ez@"hd;`ol"n1sq@"tl;a@% \+k,8'(*()= R'>7! 3%'7%''+k'+7Tk+7 T''Р<5@@AAACp@@}@@y0memo_get_correct @@@׶̶̩%Logic@"eq @@k;V@,dة@@@A1DH@A1FdJ@A1GK @ABC@@*imemo_make @ !g@@"fnȐ#fn1@ +k() -'()   : @?: C'+Tk7$'Ȁ@@@@ՠ*imemo_list @53*(,@ Ȑ"f0" @@=~]+ @FD;9=$ T+k()G  7" :'x@@@@1imemo_get_correct @@lA\ZQOS'*Hg_correct@S-6)L/FYͩ2@B=~O;C<:@@@@(memo_val,<@q tJ~@@@@HA@ )memo_mvalp@]f@@@AB@BB@@(;)@@@@AAB@@A@AA)@@@@R-memo_val_rect @3!P!mU@F;)@ uN@@!aAABB@@@@D$"jk@^+)* +k()= R'> %''+k$'FAD|@@ u@-@A@A@@@,memo_val_ind @xECAA7@}J4bAD|@@@@@,memo_val_rec @_][@@n{Ѐ@j ? <+k() 7%'h@@@@@Ѡ%is_eq @@@ *+&Specif,@'sumbool7̂K@j8- k@$Truey@-@A0CyG<<·JN##%AVA["m1^4Be 7-.Aik@oAE8euG=vJBAAAA@@@@@D!xVVWgN|!HU< U@'f_equal=eti!t_9a4@p ,k(*()=P R'>=; Rx'> 3!= !RK'> +67779'>6''6''= RL'>6'6'''9' +k69977"7%'+k6 977"7%'+k6 L77"7%'+k6 77"7%'+7Tk+7T'6 77"7%'$B@lT2AABAAJܠ,$PD$d XA@РXL@$B AAX@@@@@,memo_get_val @dض׷!vO8߷aSle@G̩HF@ Í^꠷n*B@@@@@D!yy6ٶ@IJߐ"v1%|ٷ@))&@#@?V +k()= R'> 7!/= !RU'>= R! '+''>  +*'$''' + k()+  T'$'$' +k+ T'$' +k$'*@@@CԠ5dhAJ|@G@@@@@頠*dmemo_list @Iʷ>fȐ"mf,?!^/Be@TնIq1琐 t+k()+ 7 7%' :'tv@@@@Ad@A@@)dmemo_get @rgReQ@V@FNceE@u`s] h+k() 7 7" 7#'xPؐl@@@ A@D@1@ABC@@B1dmemo_get_correct @@B#ɰnB@?)o:}rH@n@@@2A@A@@^+dimemo_list @?usp@Q'GȐ"mg(U i @Y϶̶@h ,+k() + +4 7 7&'= R'> ! 9:''+k7$' :'CAD{T3H@@@@@2dimemo_get_correct @@ Cz!"ʶ(_jͩ@T!裀@@[@@@@@ ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@A Գq@ Գq\ @A@ r@@A@ t@@A@ u5@ABCD@@A@B/@-@A)@@AA1DH%Logic$Init#Coq@@A1GK @ABCD@@@<&%$@0.i bYN Z'Decimal$Init#Coq@0C涳N*ua*EqdepFacts%Logic#Coq@0FI$ͼՋ`)Eqdep_dec%Logic#Coq@0u wWIϰ߼/.-@0\͉!Ig*Logic_Type$Init#Coq@0 1jc6#Nat$Init#Coq@0eʤģPSR蠠)Notations$Init#Coq@0&v!D]hwnv %Peano$Init#Coq@0 jha|ؠ'Prelude$Init#Coq@0JqTttֱ&Specif$Init#Coq@0;RWMi\N'Streams%Lists#Coq@0ktM#U-x&P'Tactics$Init#Coq@0/9m+ a%Tauto$Init#Coq@0̂"&/r"Wf$Init#Coq@0q+W,J+A"_39.z"<-"_49.z"->Π2 Q@@F@#_13@,s@A@@@@@@@@@@#_142M접@,s@#_15'`o@@,sC*type_scope.function_scope)nat_scope@@A@2 Q@@@@#_16@,d5@@@@@@#_172M접!@,d@#_18'`o@)@,dB43@@A@2 Q@@E@#_19>@;Va@@@@@#_202M접L@;VBB@A#_21'`o@U@;VC`\@@@D1@2 Q@@@@#_22o@@A@@@@@@@@@@#_232M접@#_24'`o@@C@@A{@2 Q@@F@#_31@=~]4@@@@@@#_322M접@=~]@#_33'`o@@=~]CŠĠ@@@A@@2 Q@@@@#_34@=~Ob@@@@@@@#_352M접@=~O@#_36'`o@@=~OC@@AA@2 Q@@@@#_37@hdN@A@@@@@@@@@@@@#_382M접@hdN#_39'`o@@hdNE)(*,+@@AAA@N$@@B@7@@@@@@@#_46F@;)@A@@@@@@@@@A@@@@@#_47'`o@^@;)@Af@A@#_48'`o@l@;)@ACts@@A[@@à2 Q@@G@#_49@{>@@@@@#_502M접@{DD@A#_51'`o@@{D@@AAA@#_52? 3V/_rect_from_type@4@@2 Q@@A@#_53@=~@@@@@#_542M접@=DD@A#_55'`o@@=D㠐堐@@AAA&@#_56? 3V._ind_from_type@t@@2 Q@@@#_57@=@@@@@#_582M접@=DD@A#_59'`o@@=D#%'@@AAAf@#_60? 3V._rec_from_type6@@8@#2 Q@@E@#_61E@ Í^@@@@#_622M접R@ Í^AA@A#_63'`o@[@& Í^B`b@GJ@2 Q@@@@#_64r@V@,@@@@@@#_652M접@V@DD@A#_66'`o@@V@D@@AA}@P2 Q@@@@#_70@[b@@@@@@#_712M접@j@#_72'`o@@rBǠ@AA@S2 Q@@@@#_73@^)o:@@@@@@#_742M접@m)o:DCAA#_75'`o@@v)o:D@@AAߠ@Y2 Q@@@@#_76 @d4k @A@@@@@@@@@@#_772M접@t4k #_78'`o@$@~4k C,.-@AA@q2 Q@@@@#_88>@|!4@@@@@@@#_892M접N@!@#_90'`o@V@!C^`b@AAA@g2 Q@@@@#_91o@r7ɾ@A@@@@@@@@@@@@#_922M접@7ɾ#_93'`o@@7ɾE@AAAA@@@/zuI/@MP]L3Ĭ~?d0@){.0P`0H@E,fz]gdAl 9 !A rA*StreamMemo%Lists#Coq@@@!f@)Datatypes$Init@#nat@BȐ"F1!n@'nat_indJ !m%Logic@"eq @E9@(memo_get;V &@)memo_make,sЀDA#Nat<@#add `; ,G+ACRAEU$Hrec>>Y<@(eq_ind_r!2#F;(hB2!a QG8 9?lyjz] BHw"<$#K<P%Peano@)plus_n_Smw; i3Gc5n02C{9q;6Qm?xgyfkkpryt_s`r@(eq_trans!y}~@)memo_list,dqrqvY@&eq_ind J̩eOI@(plus_n_O0G؀nݷ!g@*Hg_correctǰPݐ'ݷҰȰ詚@*imemo_make=~]x·@&eq_sym XoϐG  IHzIߩ$  `&' Ȑ#?%$Ԑ/C8+-I/ϐ2B(C&<TA"O;KK@@A@A@@@@DCS6,.@*imemo_list=~O6%:Td O_5r9csVfe.O A T1CaW'Streams@&Streamu@ACq g",;@ tJ@@5Ȑ"mf|@(memo_val;)@A_s X~9@,memo_get_valV@Р&Specif@'sumbool7̂K@BAAAA@@@@@D!s@$Truey@ð)!!x̰@P~9!H B@@@@@D!y ƶ@ʐ"v1η!t0@W>>@%is_eq Í^۠!eA*)Eqdep_dec)@1eq_proofs_unicity#B  A-LPWQ(B9X$"HHoa"e0dVfA/@jL@%Falsee@A: U@)False_induُAC"{"HxU4qWfMRO8n<Y53J1]-@(G_.%C nBAAAA@@@@@D@xp|D,x젷Tk @V~SK;ucn#HH1[@@D@__ܩ@'f_equal=ӷrgr=zouC3֩İȰͰӰ@sJ< _C%F̶@]ϐQ;2ŠU?C5XBBCEYwScީ`e@0memo_get_correctlCT@)dmemo_get)o:𩚠@*dmemo_listrmD6X&6@iɷX*:73qȐ"mg!vABB@@@@D N"n1UQ Iة1 K[VDBaTX*]Ih@YЩy5~xrv@KLv?uAs@iȐxxqjh(nh@ MV$XK(\Cy@*fh$ɩ\C̩Ct<Ks*^uW`@1imemo_get_correcthdNgf`S E"Ggɩ*iCZCҩ ]TCjy@+dimemo_list!裀q_jJJ+Vf;R