/gdР&MyList&Lambda@B&MyList"In(4@@$List%Lists#Coq@@$list@B!x@A!A@@@  @A%In_hd%In_tl!l)DC#1@*@B)$" (&!y.!l>@E3F>A@@)AC@@@@@@@BAABC@AA@BBM@KJ@H@@@&In_ind@S@Ȑ$Listml@@k@ehl!P@pA!f\Ux@BH\y TK L@B@@@GV@XWItrA@!F(h!i-j!Hn@@BACAD9 @-J A:'E(9K,5ji[Z@gZXVkϐWͶ`T_t@Uն@Nd9j B T@ +g7 +'() ,B'(*()=> 3! # '>$'Q''+g()$'+Sg+ 7"S'$'XFA I@@@@&In_app@"l1@(list_ind趐"l2@@#app%Logic$Init @@"or@#!H$@B@A72!af4@ 2B=/ $ðH@"H0ɰհ0B0MȐ"H1BAD@@H@"eq@aةU,ER䰐L8i"l0̷ r@kEYȐ"H2j@'f_equalѩ"Ƿ!eA@B@D,&.Mq\+6<64A@D,Nm0E/A1CE#xSG @&eq_ind$"~%@\(0:OG?Ij88#%V&KM,@AT7'`9)HX;+R[@A@0O@&sym_eqA.)X+VkX|Y1r2wHvgqAo@DU>޷]qsq=w?yhzA@DP طSuwg`yik^__@İeѩQhR!rީְ8%v$%|6/*@&or_indܩ°!4ư%Ұ' |'"@B*FP -/*SU!xI#;W#z%YZ ݰ@OݩdH@ǩ9aQq^ϩ>AWu!@A {'&~|@hfzjw Xnl Zp@@A@$incl@@?=;@4@lkKJF8@ +g7 +'() +S' +  7"S'7&'X @@@@,incl_app_sym@gfdbgŷ[Dĩ˩J-LѩðKΩvNV5Ͱ7طSi~;_QְS[6Ʃڰ8DʷIg@&In_indeη|Nujktf~wJ@sީBm|@ @@w  @@A@$item(4@@)Datatypes$Init#Coq@@#nat@@@5+!x@*)@(@+ 1@@'&'item_hd'item_tl 39!lND%$F#'ID)Datatypes$Init#Coq@@#nat@A%L*R!lg]!nE!yD@-1GEg03F3lLSBNB25AD@@@1@333@@BAABD@AA@BBS@{Q@x@@@(item_ind@0/-+0"!@@u{@@r@'%#w" @A,*C#@!@@p@r"5z"@BB@!G. ÐO%6(#6>"@@BADBDZ=0A@.k"ϩ#ѠbENշeH;L]t?:O"Nݩ=ߐ|{@!ZwuR{yO`q@Ni@Kk~fI%Zk]Xs=@ D+g7 +'() ,E'(*()=> 3"# '>$'Q''+g() %'+Sg +7S'+  7S'%'XAA(@@@ȠN@@@@(fun_item@Ƿ!u&!v.)@(item_ind @83ݰŰ;xBvBD@ID@*Ӱ@/Nũ߰U:ĩַ"e0sAޠ@DeK4۷hM#oO;  A@DuDڷ}_H_&ũN@,P-/fj2Y68oַ9_aܩ3/"n0#Q=+L@0,"H3S `5RA.@DDY2IFH2<rGd A@@DVǠYnѩXHZ3Bz5'@J2P0OG?T(4US3G;= 1z!ENBIgGS^Jlm@@A@Dar@%False@@x@$True@@At  @)False_ind©q2e15J[7\˩zaŰ@ʰ)@ͩϰn(֩8@~éȰ! {ByBD߷@LG@-ְB@2t+GQʩX)Է"H4ɩ۩WxA@DjP9KmeR%tcTkTlA@D zIV ! `f bf-daUb@3W'16,:u8=dܩ3'> C7AF E@@D@w0yI!GN"n1*"y0/afJ?"H5m:#QOnAJ@D`uwՠPgةdf/xS7eA^@DtVxw gy6cҩ8F@i=7oOBV^XGSYW^4fj\ O!Jem+aNfvm@@DoB#ǰet|#@%ϰZ)%,H !-P%/RHw1TP345T.Z@٩ɰ$ @GҠԠ /QL0O.UǶ@$:ZU@$=;]&)@@A@'nth_def@  A@!dvw@BXYA@D IaK"tlm@@Di!kX87 Ͷ@v@ +g7 ,N'(*()=!$>= > 3& ''Q'''Q''+g'+g'+Sg+S'+7S''X@@AAAؠ-@@ABA@@@@@@@)nth_sound@edb`eW·M÷#4!© T*;X&q;J@n?Gc`IY0g8HY36IQܷj,"$OݐzpFW@Dw@@A@*inv_nth_nl@\m٩ZА:B8BDgx@e @ސj@̩ȩ̩o}1A@Dǐ%(@@̐}'#!/, ߩװ1/0߰ð>ũϰ*XAà@DJM@@JF"TQE۩ƶYWX'*]>@C3/@ FFed6<Ll⩚^@#notWyIYv@@A@*inv_nth_cs@+*(&+ ghgUnWnIBȠBD!^@Ҷ@? z#e@DZ:5l\Kj/tXP\1,A*@D@3)C,_^j? :A8@DN73]Q8ǩN 6P %@d:e@tB>wD90$|L3)LHfM 9 v!-RG3UJ`V@@D= ۠ _[< >]Td:bG=2nNکt~A|@D } ƩyXw ;©}l~A@D sWcuYgZ[@ ð@ש}eq<fܩ˰-jx /} հ;@9@D4Z5߰өY=_58BeDg8FiHIJ2@ް97@̩<*@\   djܶ@9O;Oq:=Qs@@A@&insert(4@@a@@d@@m!x@@@ @ @@)insert_hd)insert_tl !l\ !n!l"ilŐ!y@58W>AC2AE@@@@@@BAABE@AA@BBQ@נO@@@@*insert_ind@~}@[@ʶ@}{yͩVxRc~?wQ@u@@jr@tީ[FΩH枠C@rm~ֶr   vs{"jv  u@@BAECDf@.  ( #   * %z )r<ȷ;v   5x    7 2    4߶ 7ж@@s@:жζv C ?tҶrSȶ@R , * L@Oְ / 1¶Ӷ}] 5 W RD@ +g7 +'() ,K'(*()=#>3#' >$'Q''+g() &'+7Sg +S' +S'+  7S'&' kXGA<LKJ@@I@Tp@@@@%trunc(4@@  \@@  @@j @ @ @@@ ~ }'trunc_O'trunc_S  !e   y S   !k!e  !f  !x @ z ~    * }J      C ~*AE@@@ }@    @@BAABE@AA@AAD@ @@@)trunc_ind@ z y w u z j@H@ ٶ@  j hV ܩ ݰC  ٷ lSP[  o  x X@ a@t@ C   @ E> ̞C@ XSd    !t U   萷\m  ŷ  t  o    [@@AAECDhy  X  M@(}     } `  U 1u   ␶   @@ T@ Q   WC    N  @A    '@* 3   W 7J   0 +@ +g7 +'() ,J'(*()=">3#' >$'Q''+g() &'+7Sg +S' +S'+  7S'&' DX:vA4%$#@@"@GP@@@@*item_trunc@     Ʃ@'nat_ind̶ ;g (@ ( \ a ? N@"ex@ .  / ĩ 6 L g mw N J ; l q (BBD  @@  Z z u@   [ D@/ η  ϩ Ӑ     Q > - Q   j  l :0    [ o   @62  #  / v  F<9@A  ,   (   m  @B     o@A   t   8 x 0  g   }   a Y # =    - =     C U   I  D e2{' y #   :d % U &G  ŷ O p=c2  @mA@Ԡ@D Ϡ: ҩƠ w 8 h 9Z d 9 -   L  ڶ < y <   { r | Ed ) Ŷ@    ȶ@ b { c  ]m   젩w  ķUe  q ׷  U p  K 3B1BD  u`q@^ R   @  U  ζ@   ' k]l |       n       g g  ]    j K   <    C ѩ t @*@D) %#~K &(̠ Ʒ  ǩL %     / /  4 /  ~    |   :    İ  ?  x    ʰ  %      =    ?  @k &T 3 N   ɷ@@]@D> X = Y  '   ѷӶ  @   a B  C `    l  e   㩚 `@&ex_ind j  k Q}  w o  p V0  X   ~  u ;  \  ]ڐܐ h   '  %                 D   ` c8  )     @ H   @aE  6   t   4  b  X W$ /  @    X  I  T  @@A@&ins_le@ n m k i n>; Y ̷!g \  f   I     P@*insert_ind$ 3 ٷMJ h 5 I<M@%Peano ˠ @@"le@    Z \ G   ^ I ͩ?  | gRc [  { :* <  Zk  V j ~ @       bs@&    I: K X  < M Z m}@@Dp@4   H      t L      /  BwE$Init#Coq@@F@A@BAD@SS .@ ٰ 6 ۰OjQ  S  nU  ŰW   ;M e )Datatypes$Init#Coq@@#nat@@S@DR NQMH OQE  - / ɩ  1   3 ͩ  5   [!mӷ3 x C  &@o@Dn jmid kmaǩ U  j    n    zԩ ` ' ǩ    ˩     $@0 2 i k (y m *w e    z "Le%Arith @@&le_S_n    m p   M L  7  ߶8  B w@ w  z    !@Ԡ )  Y # %  -  '  ː@@A@&ins_gt@ j i g e j: 7 U ȷ V  `  $ ( ηB ? ] * > 1 B@@"gt  ө } I  K 6  ܷ g R = N   F  @@AAD H Y@  @  M! O ^  # Q `    z F h s i@@D  b   p3 r ]  5 t _  v |    x     \ ~  @@D   x  é8   L  ^ v N  `   n z   ΩC  Ȱ fW h u  Y j w  l    ö@ϩ Ѱ ũ`    b           B   z :   @i  9  8r    B  )@F@D  @uS E  &6~ ( 2 N I ԩ}  נ E G  ݰ I "   ɷ ީe̩ = ^ðq  [ ' * @ [   Ӷ    F  1@  ٶ@  g    : 7 p@@A@&ins_eq@        ~ ]  J  H ]$       , ˩  R  i U     l       Է I A 9    v b   _ b x  ? >  ) Զ Ѷ* ~ 4 i@ E     k @@A@)list_item@ T S Q O T +  O@(list_rec  1   (&Specif  @@%sumor@ @#sig@   &    ̶ [ / @@B   4  w ڶ i    B BD n  D U@n@  C @  \  a 砷 x    g  h   f [   H Tk  UA s@D   @ O@    w l |   ӷ j z  e [   |Y ߐ _    d n  ͩ g []  \'A @D    @ @ {    #    ˰  v f &$% K ( @ Ѱ   @ ԰  .-  D  !h  5%itemf  ~ M   A$FPՐ   0@ M@D   \   P ܰ !Wa U@A ׷l ة  ` ʶo ۩@A  M @A RP $Init#Coq@@@BAA@D!sʠ    S Ԡˠ    7"u'@@BB@D!ޠ  m      < X    QA S)R KW  @B;  '>;67 :  B BDZ 0 A@ . C϶@ z FĶ@ } J  ՠf*  !f x'   T I  h W B  XA a@Dw  η  0z w P  NB  x V 9  WA q@D  s   F C E F  G  V  w  @  R {  l      ` X  Y    { L ͩ g  ~   @ @D   q  {    > h  @   !u p      , ک Ұ  r1/  װ   T   *   +GA @D o 9  <Ȱ # ʰ   E;   #   $WA  @D  iI g {Qذ (ȩڰ *  3  ,!   p J" q@  N    J  y  `      Y   !   m j   y'      Z@ w@D Xr W  bs  ة     4  x  { }7    X ĩ Š ө      zP  R |D  jWZ  n@6ʶ@9 ,,    2CB>  蠩ߠ 6@@A@-list_disjoint@ZYWUZN@ @   @ +g7 +'() +S' +  7"S'+ 7"S'6'X $Ġ#Coq@@ @@@@@*first_item(4@@ Ơ@@砰!x@栰@@ @@&fit_hd&fit_tl !l ߰ !l!y﶐!n @@I@@ @@臭   B7AE@@@@@@BAABE@AA@BBU@9S@6@@@.first_item_ind@K  ۶/  @@|@5R@ :Z@鐩?-* B@ϐ5  ܶ6oj 8  !up@@BAEBD  @,{ {  ŷ  3e  /#jXnlZn76(' " #!b  @Hcz@E@ ,E+pm 1Ҷ  6W r ꐐ@ H+g7 +'() ,F'(*()=> 3"#'>$'Q''+g() %'+Sg +7S'+  7S'%'XBA, @@ @̠O@@@@2first_item_is_item@tsqotfѷ\ҷ 2 CѩR@.first_item_ind f < M nqU۷qbW C SS[ C7Cn x0[Ω->됶~, T e@ T@@A@1first_item_unique@ h y64 ׷ m ~ @, ݷ ˩qީsBBDx ~ @d"@Ȱgu@ Ͱ  %.کҰ xyDA@D 5 ;<        D  D)g+FGO  0Mש ᐩ5 ɩ<& M;QrAݠ@D c \2^m\dMeA@D r TԩVZ!XUqIV@'  %*  56  !ض 2  o4 ?7 + !  8FG    *C    AF : ŷTU  . [XY  2 <U   ɩ Y& =  ) : +no!8H Rk =m: /Ơ@r)V>F@ lwD9Р[E liZO ;K}N@#NܩS÷hU :W*oY_ wBuBDz_Pa@R@թ~G;@   q[ nr dIwKdw E  G UA@DթW ^Z T*A@Dҩgʰiw @ A@а W hӰ ذ Kvڰy 8 rݰ  f g xé ͐ Y ~ L M  ې i B ?Qܠ oT w "V5y t7XYZbϷ  ҷ ?C`   ?[H"H6D Q;  ⷐ"H7dR    A@D   z}ݷL   N . ̩ -    A@D ^ !6   " {B  j @Hz2! GU } @  8Q[ 4 >W\  ͩZ' ѷ Z_<) 'I(L; ao    Rk  U(; +< m{     U!vC t   C  e~   0,Nu?OQA QfS P |T3P5A C c ) } hx  j0@l]tY@  crw'i   Hp@@5@@A@*list_index@Ʒ&eq_dec&o@'sumbool@Ұ/* A@*list_index{ !C> ѐ°GB)*WA @D Ω·é5UP 㐩԰7TTηϩ ?p\ ,e5ABAD2@Ni@q 3nl:*Xs j&թG}A@D|v D}d;3+h{fBܩpn A @D F E CN1zQ{5@Cg' %l3@@BAA@D-T  ?'(fA  J;-G/j%foundk `:/9M:{V6@ACѷ(notfound(fB^@D]%QAR2ߩ rcU0'\L]1dv3 pC;y_B]@D}:o_pDwJAvfwc Q   'in_tailSx { 4@B(#(not_tailG[C< ;/BAD@3@ް; `6ǰ=9SA@DOD(LѰL1GN`Aˠ@DHQFް7[̷(@P-Щ?e mH©W׷XG^b;`=npq/v)!^'\8A@Di̩ki2mGA @D_˩dz! Ahzi{@Gk["$.Ov9f- `0|~~q8:V,W@eө?[K onaǶMͩt̩ _iԶ_ I9J hYِ@@A@@@XW43ޑݠqpݐܠED      * )   B A Ɛ Š T S[ZwvtsKJ堠cb0/@@@@<0ف.Z|\z5-ޠ&Setoid'Setoids#Coq@0q6X@ny+Setoid_Prop'Setoids#Coq@0߮m, "Lt%Arith#Coq@0]2V#Coq@0{U5R|:g*Logic_Type$Init#Coq@0W RDNJ^'Prelude$Init#Coq@0002[:8(( mͨ'Tactics$Init#Coq@0-88YZP61"Wf$Init#Coq@0"U.ю@ 0KO-!hϲ/>CG0|GU-lȮm07^kO(>=0֠ǿ/`U)Notations$Init#Coq@0JH.+UI(~@@蠠)INDUCTIVE@@A@ǠŠ@@@#_14/ARGUMENTS-SCOPE@8@@*type_scope@*list_scope@#_15@H@@A@@#_16@V@@B@@@@(CONSTANT@@@#_177@m@Ġ5@@@@7@@/@A#_19L@@9J@IK@@-,@@#_20`@@^\^@?>@A#_22r@@pnp@G@@A@LO((@@@#_23@@V@@)nat_scope@#_24@@g@A@@#_25@@u@B@@@@@#_26@@@@@@6@@@A#_27Ӱ@ @Ѡ@@ѠK@@@]@E#_28@@g@栐`@ɰ@A#_29@2@$@s@@@ް@A#_30@G@@@z@A#_31"@X@ @@ @@<@@A@||@@@#_32;@r@@:@;=@#_33L@@@AL@K@#_34Z@@@BZ@Ѡ[]@@@j@?@<#_35r@@sp@@@@ꠐtv@@ @@A@ V ؠ @@@#_36@@ @@#_37@@@A@#_38@@@B"@@@ ͠@#_39ð@@ ֠@@@:ĠƠ@@ e@A#_41۰@@ o٠O٠@@@ @A#_42@%@ c@@@l@@ "ְ@A#_43 @?@ ,} @@@@@ @A#_44#@Y@ !!#@@@@ i@A#_45:@p@ s86@u@젠#_46K@@~IGI@Zb@@A@_(EE@@@#_47a@@i@`@_@#_48p@@y@Ap@o@#_49~@@@B~@}@@@@+cb@_#_50@@4@@@@@@yx@A#_52@@Š@#@@@A#_53@@@7@:@@@A#_55װ@ @ՠ@@@#_56(AUTOHINT@#coc@@@$1020$1021$1020$1021$1022@A @@@@@@@@@@@A@@Р@@@@@@@@Ƞ@@A@@@A@ABC@@@@ABCBư@@@@ABCM@A$1023$1024$1023$1027$1025Ð$1026QBPK@@@@ 4@@A@@A@@@A@A@@@@A@@?@@A@@@ABC@ABCD(@@A@@A@@@ABCD.0@@A@@@AB@CD@@@К$1029$1030@$1031k$1029$1030$1031"@A@@@@@@@@A@  @@A@ABC@@@@ABC?@@@@ABCJ@AК$1032$1033f$1034$1032$1037$1035ð$1032$1037$1036XB @@@@l@@A r@@A@ VU@@AB TS @@A@ TS@@A@ T@@A@@R    @@A @ @ @ @ABCD@ABCD0     @@A @ @AB @ @ @@ABCD7rq;  q>!@@A @ @A @ @A @BCD@@@$1039$1040$1040@Asn@@@@נV@@̐͠@@A@AB@@@AB, ֒@@@AB3@A$1041$1042f$1041$1045$1043$1044AB@@@@@@A@@@@A@A@@A@ @@A@@A@@A@@@ABC@ABCD*@@A@@A@@@ABCD*.@@A@@@AB@CD@#_57@#coc=@@@$1047$1048Ѱ$1047$1048$1049@A@@@@@@@@A@@@A@ABC@@@@ABC:@@@@ABCE@A$1050$1051$1050$1052$1053DB_Z@@@@DC@@AK@@A@'@@A@(' @@A@@5@@@@ABC@ABCD#В@@A@@@@ABCD';)@@A@@@ABC@ @@$1055$1056k$1055$1056$1057R@A@@@@ @@  @@A@!  @@A@ABC !@@ @!@ABC<  ! @@ @!@ABCG@B$1058$1059$1058$1061$1060u$1062KB@@@@" @@A# "@"@A@$  @"@A@AB%  @"@A@&  @@'@?#$&@"@A#@$@&@ABC@(@  "%@"@#@%@ABC@ABCD3"#$%&'(@"@A#@$@AB%@&@'@(@ABCD':& <' (@"@A#@$@A%@&@ABC@@$1065$1066$1066d_@@@@)ȠG@@*)@)@A@AB)*@)@*@AB) ǒ*@)@*@AB$@A$1067$1068W$1067$1071$1069$1070@@@@+@@A,@@-+@+@A@A.@+@A@/ @+@A@0@@,-.@+@A,@-@.@ABC@ABCD)+,-./0@+@A,@-@A.@/@0@ABCD*  ./@+@A,@-@.@AB/@CD@#_58@#coc,@CD@@@@ j#(3->8ICTN]Yhbsm~xŠ @=V`j u@0 F1t"P