"`҄,z#Nat$Init#Coq@)Notations$Init#Coq@0&v!D]hwnv %Logic$Init#Coq@0\͉!Ig)Datatypes$Init#Coq@0.i bYN Z'Decimal$Init#Coq@0C涳N*ua'%QO@gWEoTnZ IC?Р#Nat$Init#Coq@A!t @)Datatypes@@#nat@@@,6kD@@@@@AA@@A@$zero @%A@'<;@@&@(Gk@@@@@#one @AB @@:A@D@@@@@;#two @@7@TAA@D@@@@@W$succ @8@@)Datatypes$Init#Coq@@#nat@ $+k9'@@@@@t$pred @!n@@A@A@@@@D A!u@@ +k= R'>'''+k6' @@AAAAt@@@@@#add @@@ 9϶!mҐ>Է=7B8!p۩D@ @K;m@ ,/k(*()= R'> 3!9'''+k6'+7Tk+7T'6' ^>ACX@@@@@ࠠ&double @l@H `jj@u*& 0+k 7%'\@@@@@#mul @@@ Y(Y)TS,*XQ@cR @ $,2k(*()= R'> 3! 7%'G''+k6'+7Tk+7T'6';B̠ACX@@@@@1#sub @@@ [\!kaɷccC!lhE@֛@ ,Lk(*()=' R2'>= R'> 3%'''''+k6'+k6'+7Tk+7T'6'|lP4 ACX@@@@@k#eqb @@@ @$boolZ'@  ˠ AB"n' ڠ"m'L@雠C@$boolZ'@ ,jk(*()=' RP'>= R-'> 3%'H''= R'>H'G'''+k6'+k6'+k6'+7Tk+7T'6'4\ΠȠ;AAX@@@@@#leb @@@ RQPIE>@UEI6 ,Lk(*()=' R2'>= R'> 3%'H''G''+k6'+k6'+7Tk+7T'6'f4 lPmMACX@@@@@#ltb @{B@> 􀠩ِDz@@P1/ D+k() 97%'p@@@@@'compare @@@ =n>>@*comparison;f@FwGI s|LAQBU C@ś@*comparison;f@ ,jk(*()=' RP'>= R-'> 3%'I''= R'>H'G'''+k6'+k6'+k6'+7Tk+7T'6'2\tȠAAX@@@@@c#max @@@ 0/U.@񀶐˛ ,Mk(*()=( R3'>= R'> 3!9'''''+k6'+k6'+7Tk+7T'6'pT8ACX@@@@@#min @@@ )("+b2@0 $@ ,Mk(*()=( R3'>= R'> 3!9'G''G''+k6'+k6'+7Tk+7T'6'pT8E%ACX@@@@@Ǡ$even @@@ [[][TTP`^WWOL[@fVC \,Hk*(=& R1'>= R'>3$'H''G''+k6'+k6'+7Tk6'sP$ @zZABL@@@@@#odd @@$negb#@G ?10@/)Datatypes$Init#Coq@@wZ'@ 8+k7 7$'X#d@@@@@-#pow @A@ WX[Y@F @5B@ (,3k(*()= R'> 3! 7%'6''+k6'+7Tk+7T'6'wРA@ACX@@@@@l(tail_add @@@ ǐ @1ћ)@ ,0k(*()= R'>9 3%'''+k6'+7Tk+7T'6'ĠACX@@@@@+tail_addmul @A@ !rʷ5˷4.j9ϩg@N^q7@7DnA= H,3k(*()= R'> 7!3&'''+k6'+7Tk+7T'+7T'6'<(РT4AEX@@@@@٠(tail_mul @e,@IF2e,b@m)5hd @+k() L7&'l@@@@@+of_uint_acc @@@ !d'Decimal$@$uint):U@#acc003@,@AAAAAAAAAA,@AAAAAAAAAA@,@@@@@@@@@@@@@@@@@@@@@D" Dn,$"iF@X^=;"B@Ʃ'GE˩,LJЩ1QOթ6VTک;[Yߩ@`^EecJ@j'Decimal$Init#Coq@@$uint):U@m/ ,k(*()= !1CWmR'>77! 3%'>77!9 3%'>77!99 3%'>77!999 3%'>77!9999 3%'>77!99999 3%'>77!999999 3%'>77!9999999 3%'>77!99999999 3%'>77!999999999 3%'''+k6'+7Tk+7T'6'РAAAAAAAAAA@(<d\t(Dl d,@@AABACADAEAFAGAHAIAJAAC|ѰTp@@@@@'of_uint @@5+H@Ǜ]P 0+kG 7%'\@@@@@ޠ.to_little_uint @@@ r吷u tx8oz3r&Little@Cj@񛠠'Decimal$Init#Coq@@):U@  ,1k(*()= R'>7 3%'''+k6'+7Tk+7T'6' x7䠐ACXȀ@@@@@*'to_uint @L(@#rev).VQ@^ 7B;A@GC @+k6 7!7$'`"lA@T@@@@@`&of_int @`^@#int).J@@AAAA@@@@@D!x@&option >v@w@$norm)9փA@^5B@'@#int).J@B@&option >v@U +k7 = R'>7 9'>G''+k67$'Р"`HAABAAB@B=Xݐ@@@@@Ƞ&to_int @T꩜jA@#m@_ڛB@ 0+k7 9'X@@@@@렠&divmod @@@ !y!qy@$prodt@$$&'()+MA11["x'46`F\^"u'?Gld@12@ &@5t@XX P,gk(*()=3 RG'>= R('>3# '9 3# '' :''+k677%'+k677%'+7Tk+7T'+7T'+7T'677%'C<Xd(4,PHAEX@@@HAA ϲ6W@?>@@A вuX@AB@@_#div @ln巐"y'@#fst @CԀ1q@S +k()=  R!'> L7777&'''+k6'tAH@@@@@@&modulo @*$:9@w %@#snd=@;( +k()=$ R%'> L7777" 7%'''+k6'РItP0AH@@@@@@Ҡ#gcd @@@ !a!bl 0g"a' - @\"i<@Ր 4,6k(*()= R'>9 97!3%'''+k6'+7Tk+7T'6'$(ܠqADX@@@@@&square @5-@,\@@@@@))sqrt_iter @@@ S{T<UVVXYAZ[÷]]"k'aɷcc-Ʃ')0"r'm.@@^@ ,`k(*()=; RF'>= R-'>3# '99999 3# ''''+k6'+k6'+7Tk+7T'+7T'+7T'6'\AEX@@@@@v$sqrt @@X!$:zzz@ 1- <+kGLL 7#'d@@@@@)log2_iter @@@ i]'d]c*a&`b\ǩ`c)@k^V@[@l  ,\k(*()=7 RB'>= R)'>93# '99 3# ''''+k6'+k6'+7Tk+7T'+7T'+7T'6'tLP0AEX@@@@@Ҡ$log2 @^@Kwd@o `<@jZ2 L+kG7L 7 7#'thA@X@@@@@$iter @!A&ؠo@@!f@UV,@(nat_rectb4V5W@ʀ@@AlBC x+k() + + 7#''' H@@&@/@A@A@1A įL@A@@>$div2 @@@ hhjˠHmΠKp1y@ݛ̀O@ `,Ik*(=' R2'>= R'>3 9'G''G''+k6'+k6'+7Tk6'TD(ABL@@@@@p'testbit @A@ @ Ƞ@R q @  0,5k(*()= R'> 7 3%'7$''+k6'+7Tk+7T'6'Р&$ؠ|Ơ3ACX@@@@@&shiftl @۩@;Fܚ@NĴ@婷@@d@ƶ!n @A h+k+ + 7&'6'6'͐t!L \@@@A@A@@&shiftr @9:r} k@@3.,)'t{L '\@@@A@A@@ 'bitwise @A@ "op@@ CH FK GI H & KI@@@@@@@@AU T젩  4#D@ @@қ€ppor H@ ,jk(*()=E RP'>7 7 377!7 7 != R'6'G'7%'G''+k6'+k6'+ +"7TTk+7T'+7T'+7T'6'+7T'6'(v@AA@|hؠȠ2F@@A@@C L8A@$ AHX@@@@@ $land @  @/v @$andb= @UQ L+k() 77#'tl@@@@@ #lor @ ׷ ة' @#orb@e 'z  D@NLy \+k() 7!77#'p@D|@@@@@ ࠠ%ldiff @  Rp"b'sS 5 6 6 l@ +k() + 7#'()7 7%'e|cxh@@@@@ $lxor @. *, +z ,@$xorbȀS \ @76ǐN|_pD@@@@@ -@@@ ӳ2@ ӳ2[@A@ Գq@ Գq\@A@&@ABC@L@A@@@ABC@@@'0.i bYN Z60C涳N*ua%Logic$Init#Coq@0\͉!Ig)Notations$Init#Coq@0&v!D]hwnv A"_39.z"<-"_49.z"-> 2 Q@@@@"_7 @  ;@A@@@@@@@@"_82M접@"_9'`o@@@@ ~2 Q@@@@#_10 @  Z @#_112M접 @#_12'`o@@@@ 2 Q@@@@#_13 @  <;@#_142M접 @#_15'`o@@@@ ~2 Q@@@@#_16 @  XW@#_172M접 @#_18'`o@@@@ ~2 Q@@@@#_19 @  ts@#_202M접 @#_21'`o@A)nat_scope@ @ 2 Q@@@@#_22 '@  `<@#_232M접 AA@A#_24'`o@A#@ @ t2 Q@@E@#_28 I@  `@#_292M접 AA@A#_30'`o@BEG@  r@#_31@rrAr@@r@BrA@%_ + _@r @B%_ + _!x!+!y@@@@@AA@" +@A@@B@@@@@#_32%c?@)nat_scope @@ נ@@@p  @@@@%_ + _ @%n + m 2 Q@@@@#_33 @ NĴ=<@#_342M접 AAAA#_35'`o@A@ 1@  2 Q@@E@#_39 @  _^@#_402M접 AA@A#_41'`o@B점@ U X@#_42@hhAh@@h@BhA@%_ * _@h @%_ * _!*@@@@AA@" *@A@@B@@@@@#_43%c?@)nat_scope <@@ zA@@@l  @@@@%_ * _ j@%n * m 2 Q@@E@#_47 q@  ࠠ@#_482M접 AA@A#_49'`o@Bmo@  @#_50@rrAr@@r@BrA@%_ - _@r @(%_ - _'!-&@@@%@AA@" -@A@@B@@@@@#_51%c?@)nat_scope 0@@ @@@l > @@@@%_ - _ @%n - m W2 Q@@E@#_52 @ b a`@#_532M접 AA@A#_54'`o@B@ W Z@ ,2 Q@@E@#_55 @ 7 @#_562M접 AA@A#_57'`o@B@ ~ @ !2 Q@@@@#_58 @@ , @#_592M접 A#_60'`o@B;=@ / @#_61@FF@F@@F@@FA@&_ =? _@F @@ࠐ"=?c@@@@@A@@# =?@A@@B@@@@@#_62%c?@)nat_scope@@@@@@@@@@ @&x =? y#_63@FF@F@@F@YFA^@'_ <=? _@F @@8#<=?@@@X@A@@$ <=?@A@@B@@@@@#_64%c?@)nat_scopeZ@@ڠ@@@頑h@@@@?@'x <=? y#_65@FF@F@@F@FA@&_ @@@<@@@@?f@&x 2 Q@@@@$_150j@ I ٠@$_1512M접 DA@A$_152'`o@Df*type_scope.function_scope@@@A@@$_153* D@@ r@AA@@@@@ =2 Q@@E@$_154@ H   @$_1552M접 AA@A$_156'`o@A@@ -2 Q@@E@$_157@ 8!ć < ;@$_1582M접 BB@A$_159'`o@Bɠ@25@ 2 Q@@@@$_160@ vY c b@$_1612M접 BB@A$_162'`o@B@Y @ 2 Q@@@@$_163@ vY  @$_1642M접 BB@A$_165'`o@B  @ =@ 2 Q@@E@$_166B@ /v  @$_1672M접 BB@A$_168'`o@DӠ @ B D@A@ 2 Q@@@@$_169r@   ᠠ @$_1702M접 BABA$_171'`o@B n p@נ@ 2 Q@@@@$_172@    @$_1732M접 BACA$_174'`o@B  @@ 2 Q@@@@$_175@  H / .@$_1762M접 BABA$_177'`o@B  @%(@ 2 Q@@@@$_178@  R V U@$_1792M접 BACA$_180'`o@B 㠐 @LO@@@eʤģPSRo}@ SMFЪ\V5 o@3v!@;oτ@Uےri#"o%ra|4