!4Z„•¦¾>"¹8° %Logic@8 )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@ 'Prelude $Init #Coq@ &Basics@ )Induction@ %Lists@ $Poly@ 'Tactics@l  )Notations $Init #Coq@�0XMtÔ±4– ­ ß±»9-  %Logic $Init #Coq@�0O{øyÊ�jäbſŠ )Datatypes $Init #Coq@�0·f:|aÔ¬)ØÎÁ€Ü‘«Â  *Logic_Type $Init #Coq@�0$ÄISÜ'ÓÊG6Ȳæÿ  &Specif $Init #Coq@�0؇ñ)+)œ²Þ¬/›Þ*K  #Nat $Init #Coq@�0ù±dbGôntO ZTk  %Peano $Init #Coq@�0Øo¥œ gÓFFø€~³ä  "Wf $Init #Coq@�0¢��“²èýê–ÁdV–<§  'Tactics $Init #Coq@�0Ÿ5ØŒI`VÓÛ ñˆ  'Prelude $Init #Coq@�0A‘Ðä+ïA¤Áìu·b;�  &Basics@�0ž±�ey'y £Ýþ§xú  )Induction@�0A‘1©Ô€óñÛ¡¦  %Lists@�0Š Gˆ^ƒ_&¾½ ­ÅÝDm  $Poly@�0 !Ë;ý�aàc‘Þ—\ r�0ß—Ò*ä wÕô�üø}AVN  &Basics 'Program #Coq@�0À…ëZ‰ü3}Éš_Kµ  $Init 'Classes #Coq@�0êË»ÒûGF+û<՚ЗH  'Tactics 'Program #Coq@�0• š·4x‹Žì>�´ÅÆ  0CRelationClasses 'Classes #Coq@�0-¹³‚ð· vN]mN•;  4Relation_Definitions )Relations #Coq@�0±ÆP,äBý? L–6�  *CMorphisms 'Classes #Coq@�0KŽ8�µì2�3CPýP  /RelationClasses 'Classes #Coq@�0ü6¹«µzå òNcšM¿  )Morphisms 'Classes #Coq@�0%…¦‚ܨúKP¢ì®ñ½  .Morphisms_Prop 'Classes #Coq@�0PÜZÿ_±¬ðD|%ߟvƒ  +Equivalence 'Classes #Coq@�0%´ ñ¤ð‹+< qÙz¹î�  -SetoidTactics 'Classes #Coq@�0—÷£‡¢o«M®ÝUÝÆÉV  &Setoid 'Setoids #Coq@�0I‡\ ¦@ì­$0÷¢¸a8´uyèWzuŒ+|ª,˜È{òÀ„•¦¾í>[8þZúƠР%Logic@ð�A�  -plus_2_2_is_4� @’°@ @�©›  �Ð÷� %Logic $Init #Coq@@"eqÐ @€°›  �Ð÷� )Datatypes $Init #Coq@@#natò@€©š �Ð÷� #Nat $Init #Coq@@#add £�`€ ©œ   �Ð÷� )Datatypes $Init #Coq@@#natò@B€�©œ  B€�œ   @A€©œ  B€�©œ  B€�œ  A€©œ  &B€�©œ  +B€�©œ  0B€�©œ  5B€�œ  %A€�@@ €@@@  )plus_fact� @‘ ©›  �Ð÷� „ D C@@"eqÐ @€°›  �Ð÷� P @Kò@€©š �Ð÷� g@b £�`€ ©œ  B€�©�œ  A€ © �© �@�”�A�� ° <6777!77"j  ‘¤A�¤A�¤A�¤A�“@D  ‘¤A�¤A�“@L  ‘¤A�¤A�“@T  ’:\  ‘‘Fh  ‘‘Up@€@@ €@@@  1plus_fact_is_true� @’°@ÝA�š �Ð÷ß@j(08€�@@ €@@@  (is_three� @‘ ·�!ne©q°g�AM@�¶�›  �Ð÷� )Datatypes $Init #Coq@@#natò@€Z�� ° <+j6 77&'  ‘¤A�¤A�¤A�“@T  ‘‘‰`  ‘‘˜h@€@@ €@@@  )injective� @‘ ·�!A”‘°  ³ÇÔ C )@@ô-,@·�!B”‘°  ´È D @ô�<­@·�!f¶@�B¶�!x�C¶�!y�D¶@©İ© �© �W©ʰ�F@�¶�+”*¶�$”#¶�¶@­�� ° à+j() + S' +S'+   7"S'7&'  ‘‘ݨ  ‘‘áÌ@€@@  <2À@°>A 1D´æ H S R Q@À@°;A@AB@@  (succ_inj� @’°@sB�©š �Ð÷v@^šÄꀰññá�@@ €@@@  +and_example� @’°@ƒC�©›  �Ð÷w@#andЖw@€ ©› €°t©š g€ ©œ  ]B€�©œ  bB€�©œ  gB€�œ  WA€©œ  oB€�©œ  tB€�©œ  yB€�©œ  ~B€�œ  nA€©œ  †B€�©œ  ‹B€�©œ  �B€�©œ  •B€�©œ  šB€�©œ  ŸB€�©œ  ¤B€�œ  ”A€©› Ö€°›  �Ð÷� )Datatypes $Init #Coq@@#natò@€©š �Ð÷Ë@#mul £¡—€ ©œ  ÄB€�©œ  ÉB€�œ  ¹A€©œ  ÑB€�©œ  ÖB€�œ  ÆA€©œ  ÞB€�©œ  ãB€�©œ  èB€�©œ  íB€�œ  ÝA€�@@ €@@@  )and_intro� @’°@5D�¶�‘¶�“¶@¶@©› ¸€ �@@ €@@@  ,and_example'� @’°@IE�©› Æ€ ©› A€°6©š )€ ©œ  B€�©œ  $B€�©œ  )B€�œ  A€©œ  1B€�©œ  6B€�©œ  ;B€�©œ  @B€�œ  0A€©œ  HB€�©œ  MB€�©œ  RB€�©œ  WB€�©œ  \B€�©œ  aB€�©œ  fB€�œ  VA€©› ˜€°©š µ€ ©œ  vB€�©œ  {B€�œ  kA€©œ  ƒB€�©œ  ˆB€�œ  xA€©œ  �B€�©œ  •B€�©œ  šB€�©œ  ŸB€�œ  �A€�@@ €@@@  ,and_exercise� @�@�¶ü_¶�!mb¶@©o°e©^ ¹Q©›  �Ð÷s@#andЖw@€ ©{°q¿[©}°sÅ]�@@ €@@@  ,and_example2� @’°@F�¶�› €¶�"› €¶@©› ‹€ ©› €°àœ  ËA€©›  €°.œ  ÒA€©› €° ©š ü€ îòœ  ÝA€�@@ €@@@  -and_example2'� @’°@5G�¶�K› D€¶�R› H€¶@©› »€ ©› 6€°œ  ûA€©› =€°^œ  A€©› D€°9©š ,€ "œ   A€�@@ €@@@  .and_example2''� @’°@eH�¶�{› t€¶�‚› x€¶@©› b€° <œ  'A€¶@©› j€°Dœ  /A€©› q€°f©š Y€ GKœ  :A€�@@ €@@@  ,and_example3� @’°@’I�¶�¨› ¡€¶�¯› ¥€¶@©› �€°„©š w€ m´œ  XA€©› š€°Ä©š ·€ txœ  cA€�@@ €@@@  %proj1� @’°@»J�¶�!P¶�!Q¶@©› ?€ �׌�@@ €@@@  %proj2� @�@�¶�”+¶�¶@©æè �@@ €@@@  *and_commut� @’°@àK�¶�%<¶�$>¶@©› b€ ³ú©› f€ ·³�@@ €@@@  )and_assoc� @�@�¶'&¶%'¶�!R*¶@©  Ä)© © ÄÈÌ�@@ €@@@  *or_example� @’°@ L�¶�"› €¶�)› €¶@©›  �Ð÷ @"orÐ Ï@€ ©› €°뜠 ÖA€©› €°9œ  ÝA€©› €°I©š <€ ùýœ  èA€�@@ €@@@  (or_intro� @’°@@M�¶�!œ¶�ž¶@©› 0€ �@@ €@@@  ,zero_or_succ� @’°@SN�¶�i› b€©› B€ ©› O€° pœ  A€©› V€°w©œ  uB€�©š �Ð÷C@$pred ¯`<€�ƒ�@@ €@@@  )mult_eq_0� @�@�¶‘ô¶•õ¶@©°ø©š �Ð÷ñ@� £¡—€—ç©›  �Ð÷ @"orÐ Ï@€–�@@ €@@@  )or_commut� @�@�¶ÆŶÄƶ@©«© ea�@@ €@@@  %MyNot’ð¢¡A�  #not� @‘ ·ÜÛ¶@¾›  �Ð÷0@%Falseeÿë@€@�¶�ù�� ° <+j+ S'6'  ‘‘p@€@@ €@@@@@ @@ @@@  2ex_falso_quodlibet� @’°@ÊO�¶�&¶@›  �Ð÷� %Logic $Init #Coq@@%Falseeÿë@€¤�@@ €@@@  3not_implies_our_not� @’°@äP�¶�)@¶@©š �Ð÷Ú@#notШï€�ÿ¶�0J¶@·»�@@ €@@@  ,zero_not_one� @’°@ûQ�©š €�©ƒ°yce�@@ €@@@  -zero_not_one'� @’°@ R�©š $€��@@ €@@@  )not_False� @’°@S�©š 2€�p�@@ €@@@  >contradiction_implies_anything� @’°@'T�¶�lƒ¶�k…¶@©› ©€ ú©š I€�þþ�@@ €@@@  ?contradiction_implies_anything'� @’°@>U�¶�ƒš¶�‚œ¶@©› À€ ©š �Ð÷Ê@¦Шï€ �@@ €@@@  *double_neg� @’°@VV�¶�›²¶@j©š r€�©š v€�+�@@ €@@@  .contrapositive� @�@�¶›š¶™›¶@8¶@'©'�2�@@ €@@@  7not_both_true_and_false� @�@�¶ª©©3�©� �©7:�@@ €@@@  1not_true_is_false� @’°@‰W�¶�!b›  �Ð÷� &Basics@@$boolšä@€¶@©š ¯€�©› Ž€°¯œ  A€©› •€°oœ  B€�@@ €@@@  2not_true_is_false'� @’°@²X�¶�)› (€¶@©š Ѐ�©› ¯€° М  4A€©› ¶€°�œ  ;B€�@@ €@@@  ,True_is_true� @’°@ÓY�›  �Ð÷@$TrueÙy’@€�@@ €@@@  %MyIff’ð¢ßA�  #iff� @‘ ··©ü ¸¶@ÿ´@�¶�4K¶�3M”�A�� ° |+j()+ S + S7%'''  ‘‘ P@€@@ €@@@@@ @@?@  'iff_sym� @’°@Z�¶�Md¶�Lf¶@©š �Ð÷@#iffС)€ Þ%©š € âÞ�@@ €@@@  2not_true_iff_false� @�@�¶�˜›  �Ð÷� —@@$boolšä@€©š �Ð÷®@LС)€ ©ê�©·°Fœ  A€©¼°Kœ  B€�@@ €@@@  (iff_refl� @�@�¶wv© ZZ�@@ €@@@  )iff_trans� @�@�¶ƒ‚¶�ƒ¶\„¶@©+ "¶@©. �E"�@@ €@@@  7or_distributes_over_and� @�@�¶–•¶”–¶o—©= ©ån©| ©è©é 6��@@ €@@@  &mult_0� @’°@z[�¶��›  –@€¶�˜› €©š v€ ©› {€°¥©š ˜€ Y œ  DA€©› }€ ©› Š€°dœ  OA€©› ‘€° ²œ  VA€�@@ €@@@  (or_assoc� @’°@®\�¶�ó ¶�ò ¶�º©š §€ ©› £€ ‚©› §€ ŠÑ©› «€ ©› ¯€ Ž’Ù�@@ €@@@  (mult_0_3� @’°@Ò]�¶�èX¶�íU¶�!pX©š Ì€ ©› Ñ€°û©š ©š ò€ ¯³úœ  žA€©› ×€ ©› 䀰xºœ  ©A€©› †©› ~Éœ  ´A€©› ö€°…œ  »A€�@@ €@@@  1apply_iff_example� @’°@^�¶�)› "€¶�0› &€¶@©› €°:©š -€ î5œ  ÙA€©› € ©› €°õœ  äA€©› &€°œ  ëA€�@@ €@@@  ,four_is_even� @’°@C_�©›  �Ð÷7@"exÐ @€ › X€·�c©› C€°›  @€©œ   B€�©œ  %B€�©œ  *B€�©œ  /B€�œ  A€©š E€ ‚‚�@@ €@@@  0exists_example_2� @’°@{`�¶�‘b¶@©› ;€ g·�›i©› x€°mR©š `€ ë�©› I€ u·�!ox©› ‡€°|]©š o€ ©œ  eB€�©œ  jB€�¶�@@ €@@@  /dist_not_exists� @�@�¶�!X”‘°  ÀË P�@úxö¹@¶è¶@Êè¶@¶ƒ…©†w©u�©›  �Ð÷B@{Ð @€ ‹·ŽŒ©�„�@@ �À@°A 1@³ê Di@A@@  .dist_exists_or� @�@�¶(”‘°  ÂË… Rµ@ûu»@¶&¶ ¶@ª©µ ©$ ª·­«©` £,©b ©+ ±·´²¨©. ´··µ4�@@ �À@°A'@A@@  "In� @‘ ž  �B@°�� �¶䔑°  ÃËÄ Sâ@ûó%<@¶Ó¶�!l©›  �Ð÷� $Poly@@$list<øöß@€ÕG�·ú·ã,·ÍÐ A @B @B°@ @ @ @@D·©�íV8 {·�"x'ñ·�"l'© À©ª ©µ°Øýõ©ì°Ú÷F@�¶�”4¶�L¶�0©›  �Ð÷� $Poly@@$list<øöß@€�¢�� ° h,9j(*()=>3" 7"7%'6'Qâÿÿÿ''+j6'+7Sj+ S'+7 S'6'  ‘‘Òx  ‘‘Í„  ‘‘ªœ  �°@  @@ ABA´  ‘�½è  ‘�‘c  ‘‘\D  ‘�Ê\@€@@ �kÀ@°mA ¯^ C b@À@°rA@AB@@  ,In_example_1� @’°@‚a�©š �Ð÷…@‘2Š€°穜  {B€°ê©°î©° ©ú�ò©œ  †A€��@@ €@@@  ,In_example_2� @’°@¢b�¶�¸›  l@€¶@©š &€°$½©$°&©&°(©› m€ ,·�"n'/©;°1©9 $Ì�@@ €@@@  &In_map� @’°@Åc�¶�¦”‘°  ÇÌÀ W¥@ýëc@@¶�¤”‘°  ÈÌÿ X­@þirÁ@¶�£¶@¢¢¶�Í©› �€�¤¶�§¢¶@©š _€°Šö¯©š c€°Ž©¬�µ©š �Ð÷­@#map<í­…€Àª—´¸�@@  *"ÀÀ@°-Að@A°.A„ÀÀ@°1A û, O‡@A°4A 1Gµ£ K›À@°0AûÀ@°2A ü,Q P�@ABCD@@  *In_map_iff� @�@�¶°  ÉÍ> Yí@þç‚B@¶씑°  ÊÍ} Zô@ÿe‘Ã@¶êè¶ù¶ãå©ô ©š �Ð÷�ÿ@12Š€°ê9©š �Ð÷@#map<í­…€ÀÔñõù©q Ö·úשC ©¸°Û©ùò©°ñJÿ�@@  )"ÀÀ@°,A7@A°-AËÀÀ@°0AG@A°1AwÀ@°,A>À@°.AC@ABCD@@  *in_app_iff� @�@�¶0”‘°  ÎÎy ^.@]ÏÇ@¶K©I¶-K¶�!a"©1 ©=°"q©š �Ð÷Q@#app<í�¶€°)-1©â ©H°-|1©J°/~7�@@ �À@°AjÀ@° A Ê  ^a@AB@@  #All� @‘ ž  �B@°�� �¶�!T”‘°  ÑÏ6 af@×þJ@¶¿×„�·  ·ÂÚ·‡…©š �Ð÷p@%admit[•¯€�É@�¶�”¶�ã¶@²û¶�–©› f€�q �� ° ì,j(*()67$'+7Sj+ + SS'+7 S'6'6'  ‘� x  ’@  ‘�‘.d  ‘‘«¸  ‘� Р ‘� à@€@@ �:À@° : 3&''Qéÿÿÿ''+j7$'+7Sj+ 7 S'+7 S'7$'  �°…EA˜  ‘‘•Ô  ‘�‘?ø  ‘‘ž  ‘‘¢H  ‘‘¦d@€@@ �KÀ@°MAF@A@@  &tr_rev� @‘ ·”‘°  âÓe r ¡@ 7Û@·¾s©š �Ð÷©@s=uÞ)€° š á©= Ž@�¶�$”¶�Ê©› š€� ì©› ž€� ©�� ° @+j()F 7&'  ’l@€@@ �"À@°$A}À@°&Ax@AB@@  .tr_rev_correct� @�@�¶F”‘°  äÓã t Ó@ 3$Ý@© °¶ò§𩚠�Ð÷Ý@F–1€ ¾©š �Ð÷ô@#rev<í´ä€ Ä�@@ �À@°AGÀ@°A Ì � `›À@°A °@ABC@@  ,evenb_double� @’°@ i�¶�!k›  �Ð÷� )Datatypes $Init #Coq@@#natò@€©›  €°›  �Ð÷� &Basics@@¤šä@€©š �Ð÷¬@%evenbea>€�©š �Ð÷� )Induction@@&double2°Ú—€� Zœ  ¾A€�@@ €@@@  1evenb_double_conv� @�@�¶ k Ω˜  з�< Ò© Þ° Ô &ÍÐ9@ @@ @@°@ @@A·@@ Û©š �Ð÷@@%evenbea>€ & ©š �Ð÷� +@@&double2°Ú—€ -© Û� �@@ €@@@  .even_bool_prop� @’°@ ~j�¶� ”›  �Ð÷� )Datatypes $Init #Coq@@#natò@€©š €€ ©›  …€°e©š ]€� ªœ  A€©› Y€ �·�„ƒ©›  –€°& p©š g€� »�@@ €@@@  0beq_nat_true_iff� @’°@ ´k�¶�"n1›  Ä€¶�"n2›  É€©š ±€ ©›  ¶€°› –€©š �Ð÷<@'beq_nat)1{Z€  ™ àœ  DA€©›  Æ€°   ç�@@ €@@@  )even_1000� @’°@ àl�©› �€ Å·�ÈÇ©›  Ú€°›   ²@€©œ   ·B€�©œ   ¼B€�©œ   ÁB€�©œ   ÆB€�©œ   ËB€�©œ   ÐB€�©œ   ÕB€�©œ   ÚB€�©œ   ßB€�©œ   äB€�©œ   éB€�©œ   îB€�©œ   óB€�©œ   øB€�©œ   ýB€�©œ   B€�©œ   B€�©œ   B€�©œ   B€�©œ   B€�©œ   B€�©œ   B€�©œ   %B€�©œ   *B€�©œ   /B€�©œ   4B€�©œ   9B€�©œ   >B€�©œ   CB€�©œ   HB€�©œ   MB€�©œ   RB€�©œ   WB€�©œ   \B€�©œ   aB€�©œ   fB€�©œ   kB€�©œ   pB€�©œ   uB€�©œ   zB€�©œ   B€�©œ   „B€�©œ   ‰B€�©œ   ŽB€�©œ   “B€�©œ   ˜B€�©œ   �B€�©œ   ¢B€�©œ   §B€�©œ   ¬B€�©œ   ±B€�©œ   ¶B€�©œ   »B€�©œ   ÀB€�©œ   ÅB€�©œ   ÊB€�©œ   ÏB€�©œ   ÔB€�©œ   ÙB€�©œ   ÞB€�©œ   ãB€�©œ   èB€�©œ   íB€�©œ   òB€�©œ   ÷B€�©œ   üB€�©œ  B€�©œ  B€�©œ   B€�©œ  B€�©œ  B€�©œ  B€�©œ  B€�©œ  $B€�©œ  )B€�©œ  .B€�©œ  3B€�©œ  8B€�©œ  =B€�©œ  BB€�©œ  GB€�©œ  LB€�©œ  QB€�©œ  VB€�©œ  [B€�©œ  `B€�©œ  eB€�©œ  jB€�©œ  oB€�©œ  tB€�©œ  yB€�©œ  ~B€�©œ  ƒB€�©œ  ˆB€�©œ  �B€�©œ  ’B€�©œ  —B€�©œ  œB€�©œ  ¡B€�©œ  ¦B€�©œ  «B€�©œ  °B€�©œ  µB€�©œ  ºB€�©œ  ¿B€�©œ  ÄB€�©œ  ÉB€�©œ  ÎB€�©œ  ÓB€�©œ  ØB€�©œ  ÝB€�©œ  âB€�©œ  çB€�©œ  ìB€�©œ  ñB€�©œ  öB€�©œ  ûB€�©œ  B€�©œ  B€�©œ   B€�©œ  B€�©œ  B€�©œ  B€�©œ  B€�©œ  #B€�©œ  (B€�©œ  -B€�©œ  2B€�©œ  7B€�©œ  B€�©œ  CB€�©œ  HB€�©œ  MB€�©œ  RB€�©œ  WB€�©œ  \B€�©œ  aB€�©œ  fB€�©œ  kB€�©œ  pB€�©œ  uB€�©œ  zB€�©œ  B€�©œ  „B€�©œ  ‰B€�©œ  ŽB€�©œ  “B€�©œ  ˜B€�©œ  �B€�©œ  ¢B€�©œ  §B€�©œ  ¬B€�©œ  ±B€�©œ  ¶B€�©œ  »B€�©œ  ÀB€�©œ  ÅB€�©œ  ÊB€�©œ  ÏB€�©œ  ÔB€�©œ  ÙB€�©œ  ÞB€�©œ  ãB€�©œ  èB€�©œ  íB€�©œ  òB€�©œ  ÷B€�©œ  üB€�©œ  B€�©œ  B€�©œ   B€�©œ  B€�©œ  B€�©œ  B€�©œ  B€�©œ  $B€�©œ  )B€�©œ  .B€�©œ  3B€�©œ  8B€�©œ  =B€�©œ  BB€�©œ  GB€�©œ  LB€�©œ  QB€�©œ  VB€�©œ  [B€�©œ  `B€�©œ  eB€�©œ  jB€�©œ  oB€�©œ  tB€�©œ  yB€�©œ  ~B€�©œ  ƒB€�©œ  ˆB€�©œ  �B€�©œ  ’B€�©œ  —B€�©œ  œB€�©œ  ¡B€�©œ  ¦B€�©œ  «B€�©œ  °B€�©œ  µB€�©œ  ºB€�©œ  ¿B€�©œ  ÄB€�©œ  ÉB€�©œ  ÎB€�©œ  ÓB€�©œ  ØB€�©œ  ÝB€�©œ  âB€�©œ  çB€�©œ  ìB€�©œ  ñB€�©œ  öB€�©œ  ûB€�©œ  B€�©œ  B€�©œ   B€�©œ  B€�©œ  B€�©œ  B€�©œ  B€�©œ  #B€�©œ  (B€�©œ  -B€�©œ  2B€�©œ  7B€�©œ  B€�©œ  CB€�©œ  HB€�©œ  MB€�©œ  RB€�©œ  WB€�©œ  \B€�©œ  aB€�©œ  fB€�©œ  kB€�©œ  pB€�©œ  uB€�©œ  zB€�©œ  B€�©œ  „B€�©œ  ‰B€�©œ  ŽB€�©œ  “B€�©œ  ˜B€�©œ  �B€�©œ  ¢B€�©œ  §B€�©œ  ¬B€�©œ  ±B€�©œ  ¶B€�©œ  »B€�©œ  ÀB€�©œ  ÅB€�©œ  ÊB€�©œ  ÏB€�©œ  ÔB€�©œ  ÙB€�©œ  ÞB€�©œ  ãB€�©œ  èB€�©œ  íB€�©œ  òB€�©œ  ÷B€�©œ  üB€�©œ  B€�©œ  B€�©œ   B€�©œ  B€�©œ  B€�©œ  B€�©œ  B€�©œ  $B€�©œ  )B€�©œ  .B€�©œ  3B€�©œ  8B€�©œ  =B€�©œ  BB€�©œ  GB€�©œ  LB€�©œ  QB€�©œ  VB€�©œ  [B€�©œ  `B€�©œ  eB€�©œ  jB€�©œ  oB€�©œ  tB€�©œ  yB€�©œ  ~B€�©œ  ƒB€�©œ  ˆB€�©œ  �B€�©œ  ’B€�©œ  —B€�©œ  œB€�©œ  ¡B€�©œ  ¦B€�©œ  «B€�©œ  °B€�©œ  µB€�©œ  ºB€�©œ  ¿B€�©œ  ÄB€�©œ  ÉB€�©œ  ÎB€�©œ  ÓB€�©œ  ØB€�©œ  ÝB€�©œ  âB€�©œ  çB€�©œ  ìB€�©œ  ñB€�©œ  öB€�©œ  ûB€�©œ  B€�©œ  B€�©œ   B€�©œ  B€�©œ  B€�©œ  B€�©œ  B€�©œ  #B€�©œ  (B€�©œ  -B€�©œ  2B€�©œ  7B€�©œ  B€�©œ  CB€�©œ  HB€�©œ  MB€�©œ  RB€�©œ  WB€�©œ  \B€�©œ  aB€�©œ  fB€�©œ  kB€�©œ  pB€�©œ  uB€�©œ  zB€�©œ  B€�©œ  „B€�©œ  ‰B€�©œ  ŽB€�©œ  “B€�©œ  ˜B€�©œ  �B€�©œ  ¢B€�©œ  §B€�©œ  ¬B€�©œ  ±B€�©œ  ¶B€�©œ  »B€�©œ  ÀB€�©œ  ÅB€�©œ  ÊB€�©œ  ÏB€�©œ  ÔB€�©œ  ÙB€�©œ  ÞB€�©œ  ãB€�©œ  èB€�©œ  íB€�©œ  òB€�©œ  ÷B€�©œ  üB€�©œ  B€�©œ  B€�©œ   B€�©œ  B€�©œ  B€�©œ  B€�©œ  B€�©œ  $B€�©œ  )B€�©œ  .B€�©œ  3B€�©œ  8B€�©œ  =B€�©œ  BB€�©œ  GB€�©œ  LB€�©œ  QB€�©œ  VB€�©œ  [B€�©œ  `B€�©œ  eB€�©œ  jB€�©œ  oB€�©œ  tB€�©œ  yB€�©œ  ~B€�©œ  ƒB€�©œ  ˆB€�©œ  �B€�©œ  ’B€�©œ  —B€�©œ  œB€�©œ  ¡B€�©œ  ¦B€�©œ  «B€�©œ  °B€�©œ  µB€�©œ  ºB€�©œ  ¿B€�©œ  ÄB€�©œ  ÉB€�©œ  ÎB€�©œ  ÓB€�©œ  ØB€�©œ  ÝB€�©œ  âB€�©œ  çB€�©œ  ìB€�©œ  ñB€�©œ  öB€�©œ  ûB€�©œ  B€�©œ  B€�©œ   B€�©œ  B€�©œ  B€�©œ  B€�©œ  B€�©œ  #B€�©œ  (B€�©œ  -B€�©œ  2B€�©œ  7B€�©œ  B€�©œ  !CB€�©œ  !HB€�©œ  !MB€�©œ  !RB€�©œ  !WB€�©œ  !\B€�©œ  !aB€�©œ  !fB€�©œ  !kB€�©œ  !pB€�©œ  !uB€�©œ  !zB€�©œ  !B€�©œ  !„B€�©œ  !‰B€�©œ  !ŽB€�©œ  !“B€�©œ  !˜B€�©œ  !�B€�©œ  !¢B€�©œ  !§B€�©œ  !¬B€�©œ  !±B€�©œ  !¶B€�©œ  !»B€�©œ  !ÀB€�©œ  !ÅB€�©œ  !ÊB€�©œ  !ÏB€�©œ  !ÔB€�©œ  !ÙB€�©œ  !ÞB€�©œ  !ãB€�©œ  !èB€�©œ  !íB€�©œ  !òB€�©œ  !÷B€�©œ  !üB€�©œ  "B€�©œ  "B€�©œ  " B€�©œ  "B€�©œ  "B€�©œ  "B€�©œ  "B€�©œ  "$B€�©œ  ")B€�©œ  ".B€�©œ  "3B€�©œ  "8B€�©œ  "=B€�©œ  "BB€�©œ  "GB€�©œ  "LB€�©œ  "QB€�©œ  "VB€�©œ  "[B€�©œ  "`B€�©œ  "eB€�©œ  "jB€�©œ  "oB€�©œ  "tB€�©œ  "yB€�©œ  "~B€�©œ  "ƒB€�©œ  "ˆB€�©œ  "�B€�©œ  "’B€�©œ  "—B€�©œ  "œB€�©œ  "¡B€�©œ  "¦B€�©œ  "«B€�©œ  "°B€�©œ  "µB€�©œ  "ºB€�©œ  "¿B€�©œ  "ÄB€�©œ  "ÉB€�©œ  "ÎB€�©œ  "ÓB€�©œ  "ØB€�©œ  "ÝB€�©œ  "âB€�©œ  "çB€�©œ  "ìB€�©œ  "ñB€�©œ  "öB€�©œ  "ûB€�©œ  #B€�©œ  #B€�©œ  # B€�©œ  #B€�©œ  #B€�©œ  #B€�©œ  #B€�©œ  ##B€�©œ  #(B€�©œ  #-B€�©œ  #2B€�©œ  #7B€�©œ  #B€�©œ  &CB€�©œ  &HB€�©œ  &MB€�©œ  &RB€�©œ  &WB€�©œ  &\B€�©œ  &aB€�©œ  &fB€�©œ  &kB€�©œ  &pB€�©œ  &uB€�©œ  &zB€�©œ  &B€�©œ  &„B€�©œ  &‰B€�©œ  &ŽB€�©œ  &“B€�©œ  &˜B€�©œ  &�B€�©œ  &¢B€�©œ  &§B€�©œ  &¬B€�©œ  &±B€�©œ  &¶B€�©œ  &»B€�©œ  &ÀB€�©œ  &ÅB€�©œ  &ÊB€�©œ  &ÏB€�©œ  &ÔB€�©œ  &ÙB€�©œ  &ÞB€�©œ  &ãB€�©œ  &èB€�©œ  &íB€�©œ  &òB€�©œ  &÷B€�©œ  &üB€�©œ  'B€�©œ  'B€�©œ  ' B€�©œ  'B€�©œ  'B€�©œ  'B€�©œ  'B€�©œ  '$B€�©œ  ')B€�©œ  '.B€�©œ  '3B€�©œ  '8B€�©œ  '=B€�©œ  'BB€�©œ  'GB€�©œ  'LB€�©œ  'QB€�©œ  'VB€�©œ  '[B€�©œ  '`B€�©œ  'eB€�©œ  'jB€�©œ  'oB€�©œ  'tB€�©œ  'yB€�©œ  '~B€�©œ  'ƒB€�©œ  'ˆB€�©œ  '�B€�©œ  '’B€�©œ  '—B€�©œ  'œB€�©œ  '¡B€�©œ  '¦B€�©œ  '«B€�©œ  '°B€�©œ  'µB€�©œ  'ºB€�©œ  '¿B€�©œ  'ÄB€�©œ  'ÉB€�©œ  'ÎB€�©œ  'ÓB€�©œ  'ØB€�©œ  'ÝB€�©œ  'âB€�©œ  'çB€�©œ  'ìB€�©œ  'ñB€�©œ  'öB€�©œ  'ûB€�©œ  (B€�©œ  (B€�©œ  ( B€�©œ  (B€�©œ  (B€�©œ  (B€�©œ  (B€�©œ  (#B€�©œ  ((B€�©œ  (-B€�©œ  (2B€�©œ  (7B€�©œ  (B€�©œ  +CB€�©œ  +HB€�©œ  +MB€�©œ  +RB€�©œ  +WB€�©œ  +\B€�©œ  +aB€�©œ  +fB€�©œ  +kB€�©œ  +pB€�©œ  +uB€�©œ  +zB€�©œ  +B€�©œ  +„B€�©œ  +‰B€�©œ  +ŽB€�©œ  +“B€�©œ  +˜B€�©œ  +�B€�©œ  +¢B€�©œ  +§B€�©œ  +¬B€�©œ  +±B€�©œ  +¶B€�©œ  +»B€�©œ  +ÀB€�©œ  +ÅB€�©œ  +ÊB€�©œ  +ÏB€�©œ  +ÔB€�©œ  +ÙB€�©œ  +ÞB€�©œ  +ãB€�©œ  +èB€�©œ  +íB€�©œ  +òB€�©œ  +÷B€�©œ  +üB€�©œ  ,B€�©œ  ,B€�©œ  , B€�©œ  ,B€�©œ  ,B€�©œ  ,B€�©œ  ,B€�©œ  ,$B€�©œ  ,)B€�©œ  ,.B€�©œ  ,3B€�©œ  ,8B€�©œ  ,=B€�©œ  ,BB€�©œ  ,GB€�©œ  ,LB€�©œ  ,QB€�©œ  ,VB€�©œ  ,[B€�©œ  ,`B€�©œ  ,eB€�©œ  ,jB€�©œ  ,oB€�©œ  ,tB€�©œ  ,yB€�©œ  ,~B€�©œ  ,ƒB€�©œ  ,ˆB€�©œ  ,�B€�©œ  ,’B€�©œ  ,—B€�©œ  ,œB€�©œ  ,¡B€�©œ  ,¦B€�©œ  ,«B€�©œ  ,°B€�©œ  ,µB€�©œ  ,ºB€�©œ  ,¿B€�©œ  ,ÄB€�©œ  ,ÉB€�©œ  ,ÎB€�©œ  ,ÓB€�©œ  ,ØB€�©œ  ,ÝB€�©œ  ,âB€�©œ  ,çB€�©œ  ,ìB€�©œ  ,ñB€�©œ  ,öB€�©œ  ,ûB€�©œ  -B€�©œ  -B€�©œ  - B€�©œ  -B€�©œ  -B€�©œ  -B€�©œ  -B€�©œ  -#B€�©œ  -(B€�©œ  --B€�©œ  -2B€�©œ  -7B€�©œ  -B€�©œ  0CB€�©œ  0HB€�©œ  0MB€�©œ  0RB€�©œ  0WB€�©œ  0\B€�©œ  0aB€�©œ  0fB€�©œ  0kB€�©œ  0pB€�©œ  0uB€�©œ  0zB€�©œ  0B€�©œ  0„B€�©œ  0‰B€�©œ  0ŽB€�©œ  0“B€�©œ  0˜B€�©œ  0�B€�©œ  0¢B€�©œ  0§B€�©œ  0¬B€�©œ  0±B€�©œ  0¶B€�©œ  0»B€�©œ  0ÀB€�©œ  0ÅB€�©œ  0ÊB€�©œ  0ÏB€�©œ  0ÔB€�©œ  0ÙB€�©œ  0ÞB€�©œ  0ãB€�©œ  0èB€�©œ  0íB€�©œ  0òB€�©œ  0÷B€�©œ  0üB€�©œ  1B€�©œ  1B€�©œ  1 B€�©œ  1B€�©œ  1B€�©œ  1B€�©œ  1B€�©œ  1$B€�©œ  1)B€�©œ  1.B€�©œ  13B€�©œ  18B€�©œ  1=B€�©œ  1BB€�©œ  1GB€�©œ  1LB€�©œ  1QB€�©œ  1VB€�©œ  1[B€�©œ  1`B€�©œ  1eB€�©œ  1jB€�©œ  1oB€�©œ  1tB€�©œ  1yB€�©œ  1~B€�©œ  1ƒB€�©œ  1ˆB€�©œ  1�B€�©œ  1’B€�©œ  1—B€�©œ  1œB€�©œ  1¡B€�©œ  1¦B€�©œ  1«B€�©œ  1°B€�©œ  1µB€�©œ  1ºB€�©œ  1¿B€�©œ  1ÄB€�©œ  1ÉB€�©œ  1ÎB€�©œ  1ÓB€�©œ  1ØB€�©œ  1ÝB€�©œ  1âB€�©œ  1çB€�©œ  1ìB€�©œ  1ñB€�©œ  1öB€�©œ  1ûB€�©œ  2B€�©œ  2B€�©œ  2 B€�©œ  2B€�©œ  2B€�©œ  2B€�©œ  2B€�©œ  2#B€�©œ  2(B€�©œ  2-B€�©œ  22B€�©œ  27B€�©œ  2B€�©œ  4CB€�©œ  4HB€�©œ  4MB€�©œ  4RB€�©œ  4WB€�©œ  4\B€�©œ  4aB€�©œ  4fB€�©œ  4kB€�©œ  4pB€�©œ  4uB€�©œ  4zB€�©œ  4B€�©œ  4„B€�©œ  4‰B€�©œ  4ŽB€�©œ  4“B€�©œ  4˜B€�©œ  4�B€�©œ  4¢B€�©œ  4§B€�©œ  4¬B€�©œ  4±B€�©œ  4¶B€�©œ  4»B€�©œ  4ÀB€�©œ  4ÅB€�©œ  4ÊB€�©œ  4ÏB€�©œ  4ÔB€�©œ  4ÙB€�©œ  4ÞB€�©œ  4ãB€�©œ  4èB€�©œ  4íB€�©œ  4òB€�©œ  4÷B€�©œ  4üB€�©œ  5B€�©œ  5B€�©œ  5 B€�©œ  5B€�©œ  5B€�©œ  5B€�©œ  5B€�©œ  5$B€�©œ  5)B€�©œ  5.B€�©œ  53B€�©œ  58B€�©œ  5=B€�©œ  5BB€�©œ  5GB€�©œ  5LB€�©œ  5QB€�©œ  5VB€�©œ  5[B€�©œ  5`B€�©œ  5eB€�©œ  5jB€�©œ  5oB€�©œ  5tB€�©œ  5yB€�©œ  5~B€�©œ  5ƒB€�©œ  5ˆB€�©œ  5�B€�©œ  5’B€�©œ  5—B€�©œ  5œB€�©œ  5¡B€�©œ  5¦B€�©œ  5«B€�©œ  5°B€�©œ  5µB€�©œ  5ºB€�©œ  5¿B€�©œ  5ÄB€�©œ  5ÉB€�©œ  5ÎB€�©œ  5ÓB€�©œ  5ØB€�©œ  5ÝB€�©œ  5âB€�©œ  5çB€�©œ  5ìB€�©œ  5ñB€�©œ  5öB€�©œ  5ûB€�©œ  6B€�©œ  6B€�©œ  6 B€�©œ  6B€�©œ  6B€�©œ  6B€�©œ  6B€�©œ  6#B€�©œ  6(B€�©œ  6-B€�©œ  62B€�©œ  67B€�©œ  6B€�©œ  9CB€�©œ  9HB€�©œ  9MB€�©œ  9RB€�©œ  9WB€�©œ  9\B€�©œ  9aB€�©œ  9fB€�©œ  9kB€�©œ  9pB€�©œ  9uB€�©œ  9zB€�©œ  9B€�©œ  9„B€�©œ  9‰B€�©œ  9ŽB€�©œ  9“B€�©œ  9˜B€�©œ  9�B€�©œ  9¢B€�©œ  9§B€�©œ  9¬B€�©œ  9±B€�©œ  9¶B€�©œ  9»B€�©œ  9ÀB€�©œ  9ÅB€�©œ  9ÊB€�©œ  9ÏB€�©œ  9ÔB€�©œ  9ÙB€�©œ  9ÞB€�©œ  9ãB€�©œ  9èB€�©œ  9íB€�©œ  9òB€�©œ  9÷B€�©œ  9üB€�©œ  :B€�©œ  :B€�©œ  : B€�©œ  :B€�©œ  :B€�©œ  :B€�©œ  :B€�©œ  :$B€�©œ  :)B€�©œ  :.B€�©œ  :3B€�©œ  :8B€�©œ  :=B€�©œ  :BB€�©œ  :GB€�©œ  :LB€�©œ  :QB€�©œ  :VB€�©œ  :[B€�©œ  :`B€�©œ  :eB€�©œ  :jB€�©œ  :oB€�©œ  :tB€�©œ  :yB€�©œ  :~B€�©œ  :ƒB€�©œ  :ˆB€�©œ  :�B€�©œ  :’B€�©œ  :—B€�©œ  :œB€�©œ  :¡B€�©œ  :¦B€�©œ  :«B€�©œ  :°B€�©œ  :µB€�©œ  :ºB€�©œ  :¿B€�©œ  :ÄB€�©œ  :ÉB€�©œ  :ÎB€�©œ  :ÓB€�©œ  :ØB€�©œ  :ÝB€�©œ  :âB€�©œ  :çB€�©œ  :ìB€�©œ  :ñB€�©œ  :öB€�©œ  :ûB€�©œ  ;B€�©œ  ;B€�©œ  ; B€�©œ  ;B€�©œ  ;B€�©œ  ;B€�©œ  ;B€�©œ  ;#B€�©œ  ;(B€�©œ  ;-B€�©œ  ;2B€�©œ  ;7B€�©œ  ;B€�©œ  >B€�©œ  > B€�©œ  >B€�©œ  >B€�©œ  >B€�©œ  > B€�©œ  >%B€�©œ  >*B€�©œ  >/B€�©œ  >4B€�©œ  >9B€�©œ  >>B€�©œ  >CB€�©œ  >HB€�©œ  >MB€�©œ  >RB€�©œ  >WB€�©œ  >\B€�©œ  >aB€�©œ  >fB€�©œ  >kB€�©œ  >pB€�©œ  >uB€�©œ  >zB€�©œ  >B€�©œ  >„B€�©œ  >‰B€�©œ  >ŽB€�©œ  >“B€�©œ  >˜B€�©œ  >�B€�©œ  >¢B€�©œ  >§B€�©œ  >¬B€�©œ  >±B€�©œ  >¶B€�©œ  >»B€�©œ  >ÀB€�©œ  >ÅB€�©œ  >ÊB€�©œ  >ÏB€�©œ  >ÔB€�©œ  >ÙB€�©œ  >ÞB€�©œ  >ãB€�©œ  >èB€�©œ  >íB€�©œ  >òB€�©œ  >÷B€�©œ  >üB€�©œ  ?B€�©œ  ?B€�©œ  ? B€�©œ  ?B€�©œ  ?B€�©œ  ?B€�©œ  ?B€�©œ  ?$B€�©œ  ?)B€�©œ  ?.B€�©œ  ?3B€�©œ  ?8B€�©œ  ?=B€�©œ  ?BB€�©œ  ?GB€�©œ  ?LB€�©œ  ?QB€�©œ  ?VB€�©œ  ?[B€�©œ  ?`B€�©œ  ?eB€�©œ  ?jB€�©œ  ?oB€�©œ  ?tB€�©œ  ?yB€�©œ  ?~B€�©œ  ?ƒB€�©œ  ?ˆB€�©œ  ?�B€�©œ  ?’B€�©œ  ?—B€�©œ  ?œB€�©œ  ?¡B€�©œ  ?¦B€�©œ  ?«B€�©œ  ?°B€�©œ  ?µB€�©œ  ?ºB€�©œ  ?¿B€�©œ  ?ÄB€�©œ  ?ÉB€�©œ  ?ÎB€�©œ  ?ÓB€�©œ  ?ØB€�©œ  ?ÝB€�©œ  ?âB€�©œ  ?çB€�©œ  ?ìB€�©œ  ?ñB€�©œ  ?öB€�©œ  ?ûB€�©œ  @B€�©œ  @B€�©œ  @ B€�©œ  @B€�©œ  @B€�©œ  @B€�©œ  @B€�©œ  @#B€�©œ  @(B€�©œ  @-B€�©œ  @2B€�©œ  @7B€�©œ  @B€�©œ  CCB€�©œ  CHB€�©œ  CMB€�©œ  CRB€�©œ  CWB€�©œ  C\B€�©œ  CaB€�©œ  CfB€�©œ  CkB€�©œ  CpB€�©œ  CuB€�©œ  CzB€�©œ  CB€�©œ  C„B€�©œ  C‰B€�©œ  CŽB€�©œ  C“B€�©œ  C˜B€�©œ  C�B€�©œ  C¢B€�©œ  C§B€�©œ  C¬B€�©œ  C±B€�©œ  C¶B€�©œ  C»B€�©œ  CÀB€�©œ  CÅB€�©œ  CÊB€�©œ  CÏB€�©œ  CÔB€�©œ  CÙB€�©œ  CÞB€�©œ  CãB€�©œ  CèB€�©œ  CíB€�©œ  CòB€�©œ  C÷B€�©œ  CüB€�©œ  DB€�©œ  DB€�©œ  D B€�©œ  DB€�©œ  DB€�©œ  DB€�©œ  DB€�©œ  D$B€�©œ  D)B€�©œ  D.B€�©œ  D3B€�©œ  D8B€�©œ  D=B€�©œ  DBB€�©œ  DGB€�©œ  DLB€�©œ  DQB€�©œ  DVB€�©œ  D[B€�©œ  D`B€�©œ  DeB€�©œ  DjB€�©œ  DoB€�©œ  DtB€�©œ  DyB€�©œ  D~B€�©œ  DƒB€�©œ  DˆB€�©œ  D�B€�©œ  D’B€�©œ  D—B€�©œ  DœB€�©œ  D¡B€�©œ  D¦B€�©œ  D«B€�©œ  D°B€�©œ  DµB€�©œ  DºB€�©œ  D¿B€�©œ  DÄB€�©œ  DÉB€�©œ  DÎB€�©œ  DÓB€�©œ  DØB€�©œ  DÝB€�©œ  DâB€�©œ  DçB€�©œ  DìB€�©œ  DñB€�©œ  DöB€�©œ  DûB€�©œ  EB€�©œ  EB€�©œ  E B€�©œ  EB€�©œ  EB€�©œ  EB€�©œ  EB€�©œ  E#B€�©œ  E(B€�©œ  E-B€�©œ  E2B€�©œ  E7B€�©œ  E]€EA¿©Co�@@ €@@@  1beq_nat_false_iff� @’°@Gÿo�¶�FÈ› G€¶�FÈ› G€©š Aú€ ©› Gÿ€°;I©š ;G€ FÝG$œ  BˆB€©š C/€�©› H€°FèG/�@@ €@@@  (beq_list� @‘ ž  �B@°�� �¶G”‘°  îÖY ~G@¿ç@¶�#beq¶@GK¶@GB¶<Ë@.¶<É@B�·G· ·<Ð@3·<Î@©>¯�B!@�¶�G&”¶�¶@G\¶@G› BÀ€¶�<Þ©› @€�G¶�<á©› @€�G › B΀�� ° 4,j(*()67$'+7Sj+ + SS'+7 S'+7 S'6'+S'6'  ‘‘B@x  ’>Ò@  ‘�‘;d  ‘‘@`¼  ‘‘@dä  ‘‘BTü  ‘‘BX(@€@@ �KÀ@°MA@ @A@@  1beq_list_true_iff� @�@�¶Gi”‘°  ðÖ× @Gg@Þé@¶YW¶@¶�"a1G^¶�"a2G]©Bl ©H°Bx©GbE®Bg©H °G`GhG¯¶=.@z¶=,@r©Bu ©H&°B�©š �Ð÷?ƒ@‡�ž€ÀBOGlGtG»Bu©H.°©@ž�BSGxG¿�@@ �$À@°&AÀ@°(AGQ@AB@@  'forallb� @‘ ž  �B@°�� �¶A”‘°  õØ EG£@’,n@¶�$test¶@GàB¬¶@Ä@ÂB­�·A# ··@È@ÆÍ@¸·@Ê@±B³Gç B¢·G Gž·@­@«© >ÿ@¨@�¶�A.”¶�¶@Gó› CV€¶�@Ù©› @©€�G´› C^€�� ° |,5j(*()=>3"  7%'F'Qæÿÿÿ''+j6'+7Sj+ + SS'+7 S'6'6'  ’x  �°@Û@›A¤  ‘‘Bר  ‘�‘:ô  ‘‘@ôH  ‘‘Bä`  ‘‘Bèp@€@@ �FÀ@°HA@œ@A@@  0forallb_true_iff� @�@�¶Aj”‘°  ùÙ IG÷@Šjr@¶TR¶AA©Bö ©H§°C©š �Ð÷@@s!ßT©€?HBõ©?M°Gò·GõGó©H±°C GëBúH@�@@ �À@°A?¨À@°AmÀ@°A@Ã@ABC@@  /excluded_middle� @‘ ¶EpEo©D»CÄ@�Hœ�� ° H+7Sj7 7%'  ‘�H¤P  ’Dd  ‘‘DÊt@€@@ €@@@  :restricted_excluded_middle� @’°@I[p�¶�E ”Cj¶�CÕ›  CÔ@€¶@©š CW€ H2©› I\€° H}œ  CáA€©› EZ€ H9©š DŒ€�H=�@@ €@@@  ;excluded_middle_irrefutable� @�@�¶E±E°©D:�©D<�E�@@ €@@@  /not_exists_dist� @�@�¶@š �Ð÷@m@Yæ©Í€¶A唑°  ýÚ  MHr@‚¨v@¶EËAã¶@©DU�©Aà Hj·HiHk©DZ�Aè¶HlHjH`�@@ �À@°AAÜ@A@@  &peirce� @‘ ¶EáEà¶EßEá¶@¶@HHzHz@�I�� ° ¬+7Sj+7S'++ + SSS''''  ‘�IP  ‘�Ip@€@@ €@@@  ;double_negation_elimination� @‘ ¶EûEú¶@©D…�DPH˜@�I)�� ° `+7Sj+ 7 7 S''  ‘�I1P  ’D‘t  ’D”@@€@@ €@@@  5de_morgan_not_and_not� @‘ ¶FF¶FF¶@©D¢�©Fü D¦DoC€@�IH�� ° ¸+7Sj+7S'+ 7 7 7!7 S'7%'  ‘�IPP  ‘�ITp  ’D´\  ’D·l  ‘‘Gx  ’D¾„  ‘‘E„¤@€@@ €@@@  -implies_to_or� @‘ ¶FEFD¶FCFE¶@Hâ©E’ ©DÒAôHä@�Iu�� ° °+7Sj+7S'+ +SS'7 7%''  ‘�I}P  ‘�I�p  ’Dá„  ‘‘E§�@€@@ €@@@@@ ÐÐÐÐ@³ÇÔÀ@I@A@A´ÈÀ@I@AÐ@ÀËÀ@B„@A@ABÂË…À@B_@AÐÐ@ÃËÄÀ@B5@A@AÇÌÀÀ@As@A@BCÈÌÿÀ@Al@AÐÐÐÐ@ÉÍ>À@A1@A@AÊÍ}À@A+@AÐ@ÎÎyÀ@@ó@A@ABÑÏ6À@@¼@AÐÐ@ÓÏ´À@@w@A@AÜÑëÀ@?+@A@BCÝÒ*À@?#@AÐÐÐ@ßÒ¨À@>ã@A@AâÓeÀ@>‹@AÐ@äÓãÀ@>[@A@ABîÖYÀ@!@AÐÐ@ðÖ×À@Ë@A@AõØÀ@�@AÐ@ùÙÀ@>@AÐ@ýÚ À@Å@A@ABCDEFÀÀÀ@Hý@AHöÀÀ@B–@ABoÀÀ@Að@AAëÀ@An@ABCDAmÀÀÀAnAjÀÀ@Ah@AAfÀ@A-@ABCA,ÀÀA,A*À@A)@ABA'ÀÀÀ@A@A@þ@B@ªÀ@@‹@ACDE@‰ÀÀÀÀ@@‹@A?:À@?9@AB>½ÀÀ@>�@A>�À@>m@ABC>kÀÀÀ@>j@AýÀÀ@Í@AË@BCoÀÀ@N@ALÀ@KÀ@Û@ABCDEFG @@@l >P�0ž±�ey'y £Ýþ§xú  &Basics 'Program #Coq@�0À…ëZ‰ü3}Éš_Kµ  *CMorphisms 'Classes #Coq@�0KŽ8�µì2�3CPýP  0CRelationClasses 'Classes #Coq@�0-¹³‚ð· vN]mN•;  )Datatypes $Init #Coq@�0·f:|aÔ¬)ØÎÁ€Ü‘«Â  +Equivalence 'Classes #Coq@�0%´ ñ¤ð‹+< qÙz¹î�  )Induction@�0A‘1©Ô€óñÛ¡¦  $Init 'Classes #Coq@�0êË»ÒûGF+û<՚ЗH  %Lists@�0Š Gˆ^ƒ_&¾½ ­ÅÝDm J¶�0O{øyÊ�jäbſŠ *Logic_Type $Init #Coq@�0$ÄISÜ'ÓÊG6Ȳæÿ  )Morphisms 'Classes #Coq@�0%…¦‚ܨúKP¢ì®ñ½  .Morphisms_Prop 'Classes #Coq@�0PÜZÿ_±¬ðD|%ߟvƒ  #Nat Hû Hú@�0ù±dbGôntO ZTk  )Notations $Init #Coq@�0XMtÔ±4– ­ ß±»9-  %Peano $Init #Coq@�0Øo¥œ gÓFFø€~³ä  Bë@�0 !Ë;ý�aàc‘Þ—\  'Prelude $Init #Coq@�0A‘Ðä+ïA¤Áìu·b;�  /RelationClasses 'Classes #Coq@�0ü6¹«µzå òNcšM¿  4Relation_Definitions )Relations #Coq@�0±ÆP,äBý? L–6�  &Setoid 'Setoids #Coq@�0I‡\ ¦@ì­$0÷¢¸a  -SetoidTactics 'Classes #Coq@�0—÷£‡¢o«M®ÝUÝÆÉV  &Specif $Init #Coq@�0؇ñ)+)œ²Þ¬/›Þ*K  'Tactics@�0ß—Ò*ä wÕô�üø}AVN  'Tactics $Init #Coq@�0Ÿ5ØŒI`VÓÛ ñˆ  'Tactics 'Program #Coq@�0• š·4x‹Žì>�´ÅÆ  "Wf $Init #Coq@�0¢��“²èýê–ÁdV–<§ AA€   KW 2 Q�à @‘À@@ J½ €@@@’@@@@  #_18 À¢¸  �Ð÷Kk@Kg”�Ñà@A@@@@  ‘  @@@@  #_19 2Mì ‘��  #_20 '` oÀ@‘@@  K  2 Q�à&@‘@@@@  #_21 À¢¸  �J­   ‘@  #_22 2Mì ‘ �@  #_23 '` oÀ@‘@@  JÈ 2 Q�àB@’@@@@  #_24 À¢¸  �Ð÷K¨@JÓ_ÂXà@A@@@@  ‘=@  #_25 2Mì ‘ ��  #_26 '` oÀ@‘@@  JÙ 2 Q�àa@‘@@@@  #_27 À¢¸  �Ð÷KÇ@JäDÏ4  ‘[@  #_28 2Mì ‘ <  #_29 '` oÀ@‘ �)nat_scope@ ��’Jê@  JÇ 2 Q�à„@‘@@@@  #_30 À¢¸  �JtA  ‘}@  #_31 2Mì ‘ ^  #_32 '` oÀ@‘ �*type_scope � @@ �@ �@ @@  #_33 À¢¸ ²‘"b�C    @ �°Jó@ AA �°Jí@ AA @@@@  J¯ 2 Q�à¿@’A@@@  #_34 À¢¸  �Ð÷L%@Jº9ß»à@A@@@@  ‘º@  #_35 2Mì ‘ ��  #_36 '` oÀ@‘@@  J¾ 2 Q�àÞ@‘D@@@  #_37 À¢¸  �Ð÷LD@Jɪkñà@A@@@@  ‘Ù@  #_38 2Mì ‘ ��  #_39 '` oÀ@‘@@  J+ 2 Q�àý@’A@@@  #_40 À¢¸  �Ð÷Lc@J6‹i_à@A@@@@  ‘ø@  #_41 2Mì ‘ ��  #_42 '` oÀ@‘ �} � @ @@ �@ �@ @ @@  JB 2 Q�à(@‘D@@@  #_43 À¢¸  �Ð÷LŽ@JMòY,à@A@@@@  ‘#@  #_44 2Mì ‘ ��  #_45 '` oÀ@‘@@  Ià2 Q�àG@�B@@@  #_46 À¢¸  �Ð÷L­@IÎ’ K  ‘A@  #_47 2Mì ‘ ��   #_48 '` oÀ@‘ �è �ê @@ ��’L? ��’LC ��’LR@  IÔ 2 Q�àv@’A@@@  #_49 À¢¸  �Ð÷LÜ@IßòY7à@A@@@@  ‘q@  #_50 2Mì ‘ ��  #_51 '` oÀ@‘ � � @@ ��’L ��’L ��’K{@  IÔ 2 Q�à¦@’A@@@  #_52 À¢¸  �Ð÷M @IßHõ^à@A@@@@  ‘¡@  #_53 2Mì ‘ ��  #_54 '` oÀ@‘ �H �J @@ ��’L4 ��’L8 ��’K«@  IÔ 2 Q�àÖ@’A@@@  #_55 À¢¸  �Ð÷M<@Iß¶ŒCà@A@@@@  ‘Ñ@  #_56 2Mì ‘ ��  #_57 '` oÀ@‘ �x �z @ @@ ��’Le ��’Li ��’MS ��’MW@  IÜ 2 Q�à @’A@@@  #_58 À¢¸  �Ð÷Mq@IçòY8à@A@@@@  ‘@  #_59 2Mì ‘ ��  #_60 '` oÀ@‘ �­ �¯ @@ ��’L™ ��’L� ��’M‡@  Iã 2 Q�à;@’A@@@  #_61 À¢¸  �Ð÷M¡@Iî3uE£à@A@@@@  ‘6@  #_62 2Mì ‘ ��  #_63 '` oÀ@‘ �» �½ @@ �@ �@ ��’L<@  Iú 2 Q�àg@ @@@  #_64 À¢¸  �Ð÷MÌ@J3uE¤+  ‘`@  #_65 2Mì ‘ ��   #_66 '` oÀ@‘ �å �ç @@ �@ �@ ��’Jú@  J 2 Q�à‘@’@@@@  #_67 À¢¸  �Ð÷M÷@Jñúà@A@@@@  ‘Œ@  #_68 2Mì ‘ ��  #_69 '` oÀ@‘ � � @@ �@ �@ ��’L’@  J) 2 Q�à½@v@@@  #_70 À¢¸  �Ð÷N"@J3| +  ‘¶@  #_71 2Mì ‘ ��   #_72 '` oÀ@‘ �; �= �? @@ �@ �@ �@ ��’KT@  JB 2 Q�àë@’A@@@  #_73 À¢¸  �Ð÷NQ@JM ûIà@A@@@@  ‘æ@  #_74 2Mì ‘ ��  #_75 '` oÀ@‘ �� �� @@ ��’My ��’M} ��’J^@  J> 2 Q�à@’A@@@  #_76 À¢¸  �Ð÷N�@JI÷à@A@@@@  ‘@  #_77 2Mì ‘ ��  #_78 '` oÀ@‘ �› �� @@ �@ �@ @@  JT 2 Q�àD@’A@@@  #_79 À¢¸  �Ð÷Nª@J_.-òà@A@@@@  ‘?@  #_80 2Mì ‘ ��  #_81 '` oÀ@‘ �æ@ ��’MÏ@  JP 2 Q�ài@"@@@  #_82 À¢¸  �Ð÷NÎ@JZ‰÷ß$  ‘b@  #_83 2Mì ‘ ��   #_84 '` oÀ@‘ �  �  @@ ��’N` ��’Nd ��’Ns@  Jd 2 Q�à—@P@@@  #_85 À¢¸  �Ð÷Nü@Jn3wBR  ‘�@  #_86 2Mì ‘ ��   #_87 '` oÀ@‘ � � @@ �@ �@ ��’J”@  J rHÈ @�  J} 2 Q�àÆ@‘@@@@  #_89 À¢¸  �Ð÷JŒ@Jˆéì„‚  ‘À@  #_90 2Mì ‘ ¡  #_91 '` oÀ@‘ �C@ �@@  #_92 ü @ Ð K  KA@#~ _ÐK�A#~ _  ��!~ ¡‘ �K A�A�!x@@ @@ ¤‘@ “ • A@  AA@@@@  #_93 %cö?Ð@�*type_scope   N9  �y@@@¢�‘�L ‘NB@@ #~ _  O€ Já@#~ x@  J¿ 2 Q�à&@’@@@@  #_95 À¢¸  �Ð÷OŒ@JÊ×B|à@A@@@@  ‘!@  #_96 2Mì ‘ ��  #_97 '` oÀ@‘ �¦ @@ �@ ��’JÚ@  JÍ 2 Q�àN@’B@@@  #_98 À¢¸  �Ð÷O´@JØêe›à@A@@@@  ‘I@  #_99 2Mì ‘ ��  $_100 '` oÀ@‘ �Π@ �Ñ @@ �@ ��‘Jê �@ @@  Jä 2 Q�à|@’@@@@  $_101 À¢¸  �Ð÷Oâ@Jï+›à@A@@@@  ‘w@  $_102 2Mì ‘ ��  $_103 '` oÀ@‘@@  Jó 2 Q�à›@’@@@@  $_104 À¢¸  �Ð÷P@Jþ#ÜØëà@A@@@@  ‘–@  $_105 2Mì ‘ ��  $_106 '` oÀ@‘@@  K 2 Q�àº@’@@@@  $_107 À¢¸  �Ð÷P @KM6à@A@@@@  ‘µ@  $_108 2Mì ‘ ��  $_109 '` oÀ@‘@@  K 2 Q�àÙ@’@@@@  $_110 À¢¸  �Ð÷P?@K %ïOà@A@@@@  ‘Ô@  $_111 2Mì ‘ ��  $_112 '` oÀ@‘ �Y �[ @@ �@ �@ ��’NÚ@  K* 2 Q�à@’@@@@  $_113 À¢¸  �Ð÷Pk@K5<¶à@A@@@@  ‘@  $_114 2Mì ‘ ��  $_115 '` oÀ@‘ �… �‡ @@ �@ �@ ��’O@  K> 2 Q�à1@’@@@@  $_116 À¢¸  �Ð÷P—@KI„íMà@A@@@@  ‘,@  $_117 2Mì ‘ ��  $_118 '` oÀ@‘ �± @@ �@ @@  KN 2 Q�àV@@@@  $_119 À¢¸  �Ð÷P»@KX8|Ñ$  ‘O@  $_120 2Mì ‘ ��   $_121 '` oÀ@‘ �Ô �Ö @ @@ �@ �@ @ ��‘K“@  Kk 2 Q�à‚@;@@@  $_122 À¢¸  �Ð÷Pç@Ku"êè£P  ‘{@  $_123 2Mì ‘ ��   $_124 '` oÀ@‘ �@ �@@  K} 2 Q�à£@’@@@@  $_125 À¢¸  �Ð÷Q @Kˆ'—Ý–à@A@@@@  ‘ž@  $_126 2Mì ‘ ��  $_127 '` oÀ@‘ @ @@ ��’K• ��‘L=@  K} 2 Q�àÌ@’@@@@  $_128 À¢¸  �Ð÷Q2@Kˆ"‘Èkà@A@@@@  ‘Ç@  $_129 2Mì ‘ ��  $_130 '` oÀ@‘ @ @@ ��’K¾ ��‘Lf@  K… 2 Q�àõ@’A@@@  $_131 À¢¸  �Ð÷Q[@K�$ÌZéà@A@@@@  ‘ð@  $_132 2Mì ‘ ��  $_133 '` oÀ@‘@@  K” rHÈ @�  K’ 2 Q�à@‘@@@@  $_135 À¢¸  �Ð÷K¡@K� !û$  ‘@  $_136 2Mì ‘ ô  $_137 '` oÀ@‘ �– �˜@ �@ �@@  $_138 ü @ Ð _  _@  _@@'_ <-> _Ð_@  ¡‘ �_ @�@�Mò ��#<-> ¡‘ �_ A �Mú@@ @ @@ ¤‘@  A@ “$ <-> • A@  B@@@@@  $_139 %cö?Ð@�*type_scope   N  �Ú@@  N  �ß@@@¢�‘�_ ‘N$ ‘N#@@ '_ <-> _  Qè L @'P <-> Q@  Ké 2 Q�àŽ@’@@@@  $_141 À¢¸  �Ð÷Qô@Kô(ÜÙ¸à@A@@@@  ‘‰@  $_142 2Mì ‘ ��  $_143 '` oÀ@‘ � � @@ �@ �@ ��‘L@  Kû 2 Q�àº@s@@@  $_144 À¢¸  �Ð÷R@L’ç++  ‘³@  $_145 2Mì ‘ ��   $_146 '` oÀ@‘ @@ ��’L@  Kø 2 Q�àÜ@•@@@  $_147 À¢¸  �Ð÷RA@L:°G²M  ‘Õ@  $_148 2Mì ‘ ��   $_149 '` oÀ@‘ �Z@ �@@  L  2 Q�àý@¶@@@  $_150 À¢¸  �Ð÷Rb@L føUn  ‘ö@  $_151 2Mì ‘ ��   $_152 '` oÀ@‘ �{ �} � @ @@ �@ �@ �@ ��‘LY ��‘L]@  L- 2 Q�à0@é@@@  $_153 À¢¸  �Ð÷R•@L7 4èø¡  ‘)@  $_154 2Mì ‘ ��   $_155 '` oÀ@‘ �® �° �²@ �@ �@ �@@  LB 2 Q�àY@’A@@@  $_158 À¢¸  �Ð÷R¿@LM”àøà@A@@@@  ‘T@  $_159 2Mì ‘ ��  $_160 '` oÀ@‘ �û �ý@ ��’L] ��’La@  L9 2 Q�à„@’A@@@  $_161 À¢¸  �Ð÷Rê@LDþ¹¸à@A@@@@  ‘@  $_162 2Mì ‘ ��  $_163 '` oÀ@‘ � � �@ �@ �@ �@@  L@ 2 Q�à¯@’A@@@  $_164 À¢¸  �Ð÷S@LK:çÿ à@A@@@@  ‘ª@  $_165 2Mì ‘ ��  $_166 '` oÀ@‘ �Q �S �U@ ��’Lµ ��’L¹ ��’L½@  L0 2 Q�àà@’A@@@  $_167 À¢¸  �Ð÷SF@L;%ðõ&à@A@@@@  ‘Û@  $_168 2Mì ‘ ��  $_169 '` oÀ@‘ �‚ �„ @@ ��’Rn ��’Rr ��’S\@  L0 2 Q�à@’A@@@  $_170 À¢¸  �Ð÷Sv@L; ö™à@A@@@@  ‘ @  $_171 2Mì ‘ ��  $_172 '` oÀ@‘@@  L 2 Q�à/@’@@@@  $_173 À¢¸  �Ð÷S•@L" F’5à@A@@@@  ‘*@  $_174 2Mì ‘ ��  $_175 '` oÀ@‘ �Ñ @@ ��’S“ ��’Ln@  L  2 Q�àY@@@@  $_176 À¢¸  �Ð÷S¾@L�cì)  ‘R@  $_177 2Mì ‘ ��   $_178 '` oÀ@‘ �× @ @@ �@ @ @@  L  2 Q�à~@7@@@  $_179 À¢¸  �Ð÷Sã@L!š€N  ‘w@  $_180 2Mì ‘ ��   $_181 '` oÀ@‘ �ü @ @@ �@ @ @@  L  2 Q�à£@‘E@@@  $_182 À¢¸  �K„s  ‘œ@  $_183 2Mì ‘ ÁCC@A  $_184 '` oÀ@‘ �  @ @@ �@ @ ��’Kå@  $_185 À¢¸ ²‘#•�C    @ �°S@ AA @ @@@@  K½ 2 Q�àÜ@‘D@@@  $_186 À¢¸  �Ð÷TB@KÈàTQà@A@@@@  ‘×@  $_187 2Mì ‘ ��  $_188 '` oÀ@‘@@  K¼ 2 Q�àû@‘D@@@  $_189 À¢¸  �Ð÷Ta@KÇàTRà@A@@@@  ‘ö@  $_190 2Mì ‘ ��  $_191 '` oÀ@‘ �� @@ ��’KÖ ��‘Kû@  Kà2 Q�à %@’A@@@  $_192 À¢¸  �Ð÷T‹@KÎ>5fMà@A@@@@  ‘ @  $_193 2Mì ‘ ��  $_194 '` oÀ@‘ �¥ �§ @ @ @ @@ �@ �@ @ ��’Lp @ ��‘L0@  K® 2 Q�à Z@@@@  $_195 À¢¸  �Ð÷T¿@K¸ ác 4  ‘ S@  $_196 2Mì ‘ ��   $_197 '` oÀ@‘ �Ø �Ú @ @ @@ �@ �@ @ ��’LÑ @@  K› 2 Q�à ˆ@A@@@  $_198 À¢¸  �Ð÷Tí@K¥#b1¬b  ‘ �@  $_199 2Mì ‘ ��   $_200 '` oÀ@‘ �  @ @ @@ �@ ��’Lú ��’Lþ @@  Kš 2 Q�à µ@‘E@@@  $_201 À¢¸  �Ð÷U@K¥2Š_P�  ‘ ¯@  $_202 2Mì ‘ ÁCC@A  $_203 '` oÀ@‘ � 3 @ @@ �@ @ ��’Lø@  $_204 À¢¸ ²‘$²�C    @ �°KÀ@ AA @ @@@@  K‚ 2 Q�à ï@¨@@@  $_205 À¢¸  �Ð÷UT@KŒ=pÚÉ  ‘ è@  $_206 2Mì ‘ ��   $_207 '` oÀ@‘ � m @ @@ �@ @ ��’Ma@  K† 2 Q�à @‘@@@@  $_208 À¢¸  �Ð÷U}@K‘¯ …ò  ‘ @  $_209 2Mì ‘ ���Ð÷IW@%admit[•¯  $_210 '` oÀ@‘ @ @ � ½@ @ @ ��’T¨@  K‚ 2 Q�à B@û@@@  $_211 À¢¸  �Ð÷U§@KŒ˜ž  ‘ ;@  $_212 2Mì ‘ ��   $_213 '` oÀ@‘ @ @ � ä @ @@ @ @ ��’U< @ @@  K‹ 2 Q�à m@ &@@@  $_214 À¢¸  �Ð÷UÒ@K•0wYwG  ‘ f@  $_215 2Mì ‘ ��   $_216 '` oÀ@‘ @ @ �  @ @@ @ @ ��’Ug ��‘K½ ��’Uz@  Kª 2 Q�à ž@ W@@@  $_217 À¢¸  �Ð÷V@K´ 'ìx  ‘ —@  $_218 2Mì ‘ ��   $_219 '` oÀ@‘ @ @ � @ @ @@ @ @ ��’U˜ ��‘Kî ��’U«@  KΠ2 Q�à Ï@’A@@@  $_220 À¢¸  �Ð÷V5@KÙ*—wùà@A@@@@  ‘ Ê@  $_221 2Mì ‘ ��  $_222 '` oÀ@‘ � q � s � u@ ��’OÕ ��’OÙ ��’V>@  KÛ 2 Q�à @’A@@@  $_223 À¢¸  �Ð÷Vf@Kæ /Íùà@A@@@@  ‘ û@  $_224 2Mì ‘ ��  $_225 '` oÀ@‘ � ¢ � ¤ � ¦@ ��’P ��’P  ��’Vo@  Kè 2 Q�à 1@‘D@@@  $_226 À¢¸  �Ð÷V—@KóIÛ|à@A@@@@  ‘ ,@  $_227 2Mì ‘ ��  $_228 '` oÀ@‘ � Ó @ @@ ��’U¾ ��’Nw ��‘N6@  $_229 À¢¸ ²‘+)�C    @ �°UÞ@ AA �°L@ AA @@@@  L 2 Q�à u@‘D@@@  $_230 À¢¸  �Ð÷VÛ@L åjlà@A@@@@  ‘ p@  $_231 2Mì ‘ ��  $_232 '` oÀ@‘@@  KÚ 2 Q�à ”@�A@@@  $_233 À¢¸  �Ð÷Vú@Kå! „ë  ‘ Ž@  $_234 2Mì ‘ ��   $_235 '` oÀ@‘ �  �  @ @ @@ �@ �@ @ @ @@  $_236 À¢¸ ²‘(E�E    @ �°Oz@ AA �°L @ AA �°Uþ@ AA �°L@ AA @@@@  Kù 2 Q�à Ý@’A@@@  $_237 À¢¸  �Ð÷WC@LìϺà@A@@@@  ‘ Ø@  $_238 2Mì ‘ ��  $_239 '` oÀ@‘@@  Ký 2 Q�à ü@‘E@@@  $_240 À¢¸  �Ð÷Wb@L=uÞ)à@A@@@@  ‘ ÷@  $_241 2Mì ‘ ÁBB@A  $_242 '` oÀ@‘ � { @ @@ �@ ��’O? ��’OC@  $_243 À¢¸ ²‘(&�C    @ �°Oâ@ AA @ @@@@  KÚ 2 Q�à :@‘@@@@  $_244 À¢¸  �Ð÷W @Kå–1>  ‘ 4@  $_245 2Mì ‘ ÁBBAA  $_246 '` oÀ@‘ � ¸ @@ �@ ��’O{@  $_247 À¢¸ ²‘"^�B    @ �°P@ AA @@@@  Kß 2 Q�à q@ *@@@  $_248 À¢¸  �Ð÷WÖ@Ké:Æ) t  ‘ j@  $_249 2Mì ‘ ��   $_250 '` oÀ@‘ � ï@ �@@  KÙ 2 Q�à ’@’@@@@  $_251 À¢¸  �Ð÷Wø@Kä*ÛxKà@A@@@@  ‘ �@  $_252 2Mì ‘ ��  $_253 '` oÀ@‘ � 4@ ��’Kñ@  KÄ 2 Q�à ·@ p@@@  $_254 À¢¸  �Ð÷X@KÎ.ABj$  ‘ °@  $_255 2Mì ‘ ��   $_256 '` oÀ@‘ � W@ ��’W«@  K¿ 2 Q�à Ú@’@@@@  $_257 À¢¸  �Ð÷X@@KÊ�^à@A@@@@  ‘ Õ@  $_258 2Mì ‘ ��  $_259 '` oÀ@‘ � |@ ��’KØ@  K® 2 Q�à ÿ@’@@@@  $_260 À¢¸  �Ð÷Xe@K¹ˆà@A@@@@  ‘ ú@  $_261 2Mì ‘ ��  $_262 '` oÀ@‘ � ¡ � £@ ��’WŒ ��’W�@  K­ 2 Q�à *@‘D@@@  $_263 À¢¸  �Ð÷X�@K¸âø�à@A@@@@  ‘ %@  $_264 2Mì ‘ ��  $_265 '` oÀ@‘@@  8& 2 Q�à I@‘D@@@  $_266 À¢¸  �Ð÷X¯@81 $Èæà@A@@@@  ‘ D@  $_267 2Mì ‘ ��  $_268 '` oÀ@‘@@  $¥ 2 Q�à h@‘D@@@  $_269 À¢¸  �Ð÷XÎ@$°?[à@A@@@@  ‘ c@  $_270 2Mì ‘ ��  $_271 '` oÀ@‘@@   2 Q�à ‡@ @@@@  $_272 À¢¸  �Ð÷Xì@( 0ÿ[  ‘ €@  $_273 2Mì ‘ ��   $_274 '` oÀ@‘ @ @@ ��’Rà ��’Rä@  ( 2 Q�à ®@ g@@@  $_275 À¢¸  �Ð÷Y@20ñ5sE  ‘ §@  $_276 2Mì ‘ ��   $_277 '` oÀ@‘ @ @@ ��’S ��’S @  9 2 Q�à Õ@’@@@@  $_278 À¢¸  �Ð÷Y;@DVzà@A@@@@  ‘ Ð@  $_279 2Mì ‘ ��  $_280 '` oÀ@‘ � w � y@ ��’Xb ��’Xf@  ; 2 Q�à@‘E@@@  $_281 À¢¸  �Ð÷Yf@F�ž+  ‘ ú@  $_282 2Mì ‘ ÁCC@A  $_283 '` oÀ@‘ � ~ @ @ @@ �@ @ ��’QD ��’QH@  $_284 À¢¸ ²‘)R�D    @ �°Xv@ AA @ @ @@@@   2 Q�à@@ ù@@@  $_285 À¢¸  �Ð÷Y¥@$'ý±‹j  ‘9@  $_286 2Mì ‘ ��   $_287 '` oÀ@‘ � ¾ @ @ @ @@ �@ @ @ ��’Qµ ��’Q¹@   2 Q�ào@‘E@@@  $_288 À¢¸  �Ð÷YÕ@ !ßT©š  ‘i@  $_289 2Mì ‘ ÁCC@A  $_290 '` oÀ@‘ � í @ @@ �@ @ ��’Q²@  $_291 À¢¸ ²‘$¼�C    @ �°RQ@ AA @ @@@@  ó 2 Q�à©@ b@@@  $_292 À¢¸  �Ð÷Z@ý ÒüÓ  ‘¢@  $_293 2Mì ‘ ��   $_294 '` oÀ@‘ �' @ @@ �@ @ ��’R@  ô 2 Q�àÑ@‘@@@@  $_295 À¢¸  �Ð÷Z7@ÿæ©Íü  ‘Ë@  $_296 2Mì ‘ ¬  $_297 '` oÀ@‘@@  õ 2 Q�àí@’@@@@  $_298 À¢¸  �Ð÷ZS@8’1éà@A@@@@  ‘è@  $_299 2Mì ‘ ��  $_300 '` oÀ@‘ �m @ @@ �@ ��’ ��‘Te@  ü 2 Q�à@ Ó@@@  $_301 À¢¸  �Ð÷Z@2uy‘,  ‘@  $_302 2Mì ‘ ��   $_303 '` oÀ@‘ �˜@ �@@   2 Q�à;@ ô@@@  $_304 À¢¸  �Ð÷Z @ØÖ M  ‘4@  $_305 2Mì ‘ ��   $_306 '` oÀ@‘ @ �º @ @ @@ ��‘, �@ @ ��‘Uz @@   2 Q�àj@‘@@@@  $_307 À¢¸  �Ð÷ZÐ@'æÿ}  ‘d@  $_308 2Mì ‘ E  $_309 '` oÀ@‘@@   2 Q�à†@‘@@@@  $_310 À¢¸  �Ð÷Zì@)%¯í´™  ‘€@  $_311 2Mì ‘ a  $_312 '` oÀ@‘@@   2 Q�à¢@‘@@@@  $_313 À¢¸  �Ð÷[@):™ µ  ‘œ@  $_314 2Mì ‘ }  $_315 '` oÀ@‘@@    2 Q�à¾@‘@@@@  $_316 À¢¸  �Ð÷[$@‘Q:Ñ  ‘¸@  $_317 2Mì ‘ ™  $_318 '` oÀ@‘@@@@�þç3üA< GÃB÷ž+òé„•¦¾@‚(­s$]ðÐ9G„À[Ÿó„•¦¾@�ÀêÒ6T�ÍnwÖ³#Ñó;„•¦¾@ŸæSâÉui¼ÅRÇ�k;ö,Ï„•¦¾9l÷/'.¾Ä�‘©œ   �Ð÷� %Logic $Init #Coq@@"eqÐ @A€ ›  �Ð÷� )Datatypes@#natò@€©œ   B€�©�©�© �œ  A€�‘)�‘µ·�!n·�!m"·�!H©› 4€°)© ��B©#��A©·�"H0¶@©°6  ©°8�D�C© �©L >©5��ÍÐOB�@�@° @@�@D·�!yK·@©'°N©E�"¶@©,°S(©.°U�F�E)�·(©4°[2©·,©8°_!©·�"H1©>°e-©·©·�"H2©F°m�G©š �Ð÷|@(eq_ind_r!¼2#€àu·Yv©Q°xJ�H©‰ {MNN�©š �Ð÷Š@'f_equal=°¹€àƒƒ·�!e†ÍІ@ @A @A°@ @ @@D·qŽŽ` :·s�b©‡�<DdeC©š �Ð÷�  @@)injectivešÄꀰ››‘�‘©œ   �Ð÷­@#andЖw@A€À©�°¨©š �Ð÷� #Nat¶@#add £�`€ ¤©©©�©«�©­�¯©“°º©š �Ð÷@#mul £¡—€ ±±¸©Ñ ÃÓ�‘·�!A”�A·�!B·�"HA¥·�"HB¨©6À�œª§�‘©š �Ð÷E@)and_intro‹i_€8�‘·Ãà·Áá·¿©› D€ ©Á°è½Ô©ðê¼ÖÍÐKB�B�B°@� @ @@D·@© ©а÷¾ã©Ò°ù©Q ÃÂçÍ�·�"Hn ·�"Hm ©”àð·è©à°©_ Û³õ©›à ÷·ì ©ç°©f üâü©  þÚä¼ç�‘5�‘·ú·ø·3·4©¬à·©ø°©w óé ©³à#êõëø�‘· &·'·©°*©‚ þ©·�"H'=ÍF·@©P ©°6þ"A©°8©~ ä& �·?·= ©Ïà?+·#@©°B©ˆ ï04ï�©š �Ð÷³@,and_exercise’ K€°!�‘·�!P‰·�!QŒ·2©s+Íl·@©v !/",�·�"HP%·�"HQ(6�‘·œ·�·CÍ|·@©† 12<�·3·4©ÐÀ7AD�‘·Ur·Ss·Q©›  �Ð÷ƒ@"orÐ Ï@€–ÍÐB AA AA°@  @@ @@D·@©‘©`°‡©ÍŽtZ ·�•©àŒx·p�©h°�©Õp|€Xb·‘«©#à“·t”©o°–©Ü Bj„©š �Ð÷¦@&eq_ind £J€àŸ‹·ƒ ¸�©æ jŽ©š �Ð÷� %Peano°@(mult_n_O(³ËÞ€\r}�‘·èæ·äç·â…©œ  =A€i�‘·š·Í1·œ¹©E Ó©–°½�©´�©š �Ð÷@$pred ¯`<€˜— ©°©£°Ê¶¶©¥°Ì¸©Ã�©¼¿·�"n'Ò©œ  _B€°©²°Ù­Å©´°Û¯©Ò�©�³©ï á�‘·•·›  �Ð÷ó@%Falseeÿë@€ÍÐ@€€°@€D·@ ¶Á€�‘µ·¤+·Ѷ@Ç·¤.·›¾©·�Í·@ÃÍ€�©ÄÐC¶¯6¶@©š �Ð÷ @#notШï€ض´>¶@ÎÜ�‘µ·�&contra©è°ûý©·î¶@©í°/©ç�©& �ÍØ·Ò·@©÷° ð¶@©ú°!ö<ó�·©·©·öB©š �Ð÷5@)False_induÙ�€ I�©—à1·®2ͬ·4l ›  �Ð÷C@$TrueÙy’@€·@<Wœ  A€-C©@�4�‘µ·"8©·63�Í/�·>©·@©·îj(!"C�‘µ·0nÍh·@pp'€C©V�r�‘· ’· “·9©z 3©_5Íu·@© *¶@++6�·C-·6¶@0ƒ©·G…Í·@‡>€�©@D�‘µ·#ª·!«·Q©’ K¶@L’Í�J�·A·�#HNP©·#šC¶1¸¶/¹¶@&W�‘·6½·cXµ·�!GC©‹�.�‘·�!b›  �Ð÷� &Basics@@$boolšä@€ÍÐ @ @@ @@°@ @@D·¶@©£�©°xœ  A€©„°€œ  B€€ ·�©±�©�°#©š �Ð÷"@2ex_falso_quodlibet×B|€ ©–°,©��©Ï 0·Ÿ©Ã�©Ÿ°5 ©Ö 7�‘·<:Í1,ž ·«©§�‘•�‘·… ·ƒ ·³©š �Ð÷ä@#iffС)€±Íò·@©ü ¶@¨¨¶@·ª© zµ�·�#HPQ·�#HQP¶@²•©NÀ¶@¶™¶@™™ÁÄ�‘·Õò·Óó©VÀ¶@©Ѱø©>Îåu¶@†©Õ°ü©B¤驚 �Ð÷k@)mult_eq_0‰÷߀Ø©š �Ð÷q@*or_example ûI€Þ�‘·½D·»E·�!RH©sÀ¶@©Ÿ Ü©¡ë©¢ ©¤î¶@©¦ ©¨Äï©© ç·ï Í¥·@©® ©°ìì÷ ·ï©w°ð©y°Õóý·ûͱ·@©º ©¼ ÝÜú ·ü©„°þ©d°ãâ ·©g°  · "ÍÁ·@(©Ê ê( ·*ÍÇ·@ ©Рñ" ·%ò©˜°õ&·(©y°ø)$·+#©|°ú8©~°$�‘·8U·6V·�!pY©·�%lemma©‡ ©:°a©§ g5O©ï k}©š �Ð÷� )Morphisms 'Classess@=trans_co_eq_inv_impl_morphism&ni€$©šš �Ð÷� /RelationClasses @.iff_Transitive*öz€©T°{©Á öRi©  ú™Q©  Mý©š �Ð÷@/eq_proper_proxy)‘f€ À  ©š �Ð÷÷@&mult_0”àø€-©·6©» ™©.$;$©! ©#e²©š �Ð÷� .Morphisms_Prop3@/or_iff_morphism3л€à t¼¼©š �Ð÷=@6reflexive_proper_proxy5™Ž€ÀáÒš �Ð÷8@-iff_Reflexive/íh”€È//- ©&W©·W©Ü ©@ ÁB©B 4Щš �Ð÷S@>trans_sym_co_inv_impl_morphism'\|€ð÷詚 �Ð÷O@/Equivalence_PER/;Ž„€°þïš �Ð÷U@/iff_equivalenceºZ¼€6L6� ©š �Ð÷:@(or_assocþ¹¸€°Þí멚 �Ð÷c@+reflexivity(Ï“/€À1$�‘·ÀÝ·¾Þ·¼é©·°¶Åâ¶Ããî©¶°­¬º�·Êç·ÈèÍþ·@© ÷ó¶@óV©dÃ�·@û·@¶@nmÇ�‘©œ   �Ð÷@"exÐ @A€Àý·áþ©Ù°÷©X ÔÔò© ©\E�‘·ë·æ©› €  ·î©é°å©h  äÍÐB�B�B°@� @ @@D·@© ·þ©ù° ç© "·�!o%©°'ï© ûû�· +·,©8À.· /© °1Û ©‰ #µC©°6þ©Ž (�‘µ©i°©°?16©Ë ©°C::©Ï © °G‘>b©—°YC©š �Ð÷·@"In2Š€°PG©œ   �Ð÷� $Poly@@$list<øöß@B€°\N© °^U©°`ª©œ  A€�e�‘µ·Li·G©ö ©G°n^@©ú ©K°riD�Í÷·@© ©Q°xhM© ©U°|sQ—©s ~·¯©Z°�I©Ù U©Û WqW ·d©“À‰ w©ñà‹{·oŒ©g°Ž`©æ ~©è €~©¢ ”[f·rÍ·@©# ©t°›’b¶©’ �·Îž©y° Jr · © छ·ˆ¥©œ §·Ø¨©ƒ°ª)©¶À¬·Ý­©ˆ°¯¦.Ÿ©¿ ±©  £©  ¥¡}‡·“ÑÍË·@Ó©¯ º·ë»©–°½h<�€C¶¡¾¶@©v°Á“©q°Ã³©s°Å¼e©¼ Ç·øÈ©£°Ê‘©£�‘·”‘°  ÇÌÀ W<@ýëc@@· ”‘°  ÈÌÿ XC@þirÁ@·�!f¶@´´·�!l©› ‘€¦·�!x°©š �Ð÷–@(list_ind/fó€Ð™·©`¶@©©°ŸÉÆ©«°¡©¡¸©š �Ð÷¥@#map<í­…€À‘©¨Óµ­C¶@©·°¬Ô©¢r©º°¯©ÎÜ©À³²Щ¨�µ·�"x'··�"l'©.·�$IHl'¶@©̰ªÞé©ΰ¬©ÅË©#À¤¯Çñµ·í©ª ©û°ªéê©Ù°¬ìùÍ©·@©² ©°�IóÕ©â°×ô©¹ © °©º¡©»*©ê° ©>À�JÀ  ·©Ìàç·2©É ©° ©©�שû°©OÀ�Kó©™°©&°#©] %ù!·-%©~°#VC¶@© °Ý©°ß,©°á©íÉ©cÀ2äï© °4&%3�‘·Da·Bb· c©õàe©½ =.·Kh©C°j<© ©Ä C56©àp©È 9H ©àt ©·S©Q°xN©РLO© à|·`}©X°x©× ©Ù,©’ „©Ü,W�©àˆ·l‰©d°‹]©› �c©š �Ð÷� )Induction@@)plus_comm ¿€k&© &2© 2(�‘·~›·|œ·F�©/àŸ:8©1à¡)·…¢©}°¤…:©´ ¦©þ 0o~8�‘·Ž«·�"ns©ÌK·�©g°²‡©»À´´·•µ©û2ˆÈ3©š �Ð÷%@%proj13uE£€À¶@©v°Áˆ©ÊÀÃØ©º Å·àƩ䠩£°Ê©žu©‚°ÍŸ•¶@©Å зëѩ®°Õ �©Œ°×©ž©ްÙ¡©âÀÛÛ'¢©š �Ð÷I@*In_map_iff ác €Ðââ.·©´Íз@©Û æ·ç© ©İë6• ©ưí—Ù¿�·Ïï·¿ Í·@© ©ϰö©< Í䣩¯°úϤ©Õ°ü�èÎ�·þ ·�$_tmp©¸°Ê®©·©à°ó�©oà õjùßÛ�©rà l·ð ©è°áåäû©š �Ð÷‚@(mult_0_r+cR€Æ�‘©' ¶ú©r�©]f�‘©š �Ð÷�@9functional_extensionality! „ë€Ð& }· '·(°· )© Ð++©ƒÿ· - �‘·�!k2©š �Ð÷2@'nat_ind¨�J€À· :©°«©š �Ð÷«@%evenbea>€�©š �Ð÷¶@&double2°Ú—€£Š·�"k'L·�$IHk'µ"C©+°Á©�©�-°(�‘·<Y©¼À¶@©7°Í©"2¹©V a·2b©=°d+!¶@©\ g·8h©C°j?'©E°Û©0CÇ·KÈ멚 �Ð÷Ý@1evenb_double_conv.ABj€K©l w·Hx©S°zAÍÐé@àß°@ @@A·@î©CA >©x@Íp·@©{ †·W‡©b°‰QÍ ©N< ©‚ �·^Ž©i°�:Mb�·b’·�"Hk©·©r°™C©Vp©,àœ©Y^·�ž9©ªÀ ·q¡©|°£©`Uak©´ ¦ Qx�©à©m·©†°­XÍ30€ ©¦�ƒ y·�MÍ ·@U©�°%7ˆ�·ˆ¸·&W©Kà»"·Ÿ¼`©š �Ð÷*@,evenb_double*ÛxK€˜Š”�‘·�"n1Ç·�"n2Ê©-À¶@©¨°>©š �Ð÷>@'beq_nat)1{Z€ª/©°°×ž¬¶@©³°Ú¯¬©µ°K© „7©š �Ð÷� 'Tactics@@,beq_nat_trueÅñ€»·Ä©yàé¾·%ê©Ű[© ÀµH©Và_J·b`M2©" ÈÈ©š �Ð÷f@,beq_nat_refl$P Þ€ÏÀË�‘©Àý·Îþ©Ù°©÷�©ù�©û�©ý�©ÿ�©�©�©�©�© �© �© �©�©�©�©�©�©�©�©�©�©!�©#�©%�©'�©)�©+�©-�©/�©1�©3�©5�©7�©9�©;�©=�©?�©A�©C�©E�©G�©I�©K�©M�©O�©Q�©S�©U�©W�©Y�©[�©]�©_�©a�©c�©e�©g�©i�©k�©m�©o�©q�©s�©u�©w�©y�©{�©}�©�©��©ƒ�©…�©‡�©‰�©‹�©��©��©‘�©“�©•�©—�©™�©›�©��©Ÿ�©¡�©£�©¥�©§�©©�©«�©­�©¯�©±�©³�©µ�©·�©¹�©»�©½�©¿�©Á�©Ã�©Å�©Ç�©É�©Ë�©Í�©Ï�©Ñ�©Ó�©Õ�©×�©Ù�©Û�©Ý�©ß�©á�©ã�©å�©ç�©é�©ë�©í�©ï�©ñ�©ó�©õ�©÷�©ù�©û�©ý�©ÿ�©�©�©�©�© �© �© �©�©�©�©�©�©�©�©�©�©!�©#�©%�©'�©)�©+�©-�©/�©1�©3�©5�©7�©9�©;�©=�©?�©A�©C�©E�©G�©I�©K�©M�©O�©Q�©S�©U�©W�©Y�©[�©]�©_�©a�©c�©e�©g�©i�©k�©m�©o�©q�©s�©u�©w�©y�©{�©}�©�©��©ƒ�©…�©‡�©‰�©‹�©��©��©‘�©“�©•�©—�©™�©›�©��©Ÿ�©¡�©£�©¥�©§�©©�©«�©­�©¯�©±�©³�©µ�©·�©¹�©»�©½�©¿�©Á�©Ã�©Å�©Ç�©É�©Ë�©Í�©Ï�©Ñ�©Ó�©Õ�©×�©Ù�©Û�©Ý�©ß�©á�©ã�©å�©ç�©é�©ë�©í�©ï�©ñ�©ó�©õ�©÷�©ù�©û�©ý�©ÿ�© �© �© �© �© �© �© �© �© �© �© �© �© �© �© �© �© !�© #�© %�© '�© )�© +�© -�© /�© 1�© 3�© 5�© 7�© 9�© ;�© =�© ?�© A�© C�© E�© G�© I�© K�© M�© O�© Q�© S�© U�© W�© Y�© [�© ]�© _�© a�© c�© e�© g�© i�© k�© m�© o�© q�© s�© u�© w�© y�© {�© }�© �© ��© ƒ�© …�© ‡�© ‰�© ‹�© ��© ��© ‘�© “�© •�© —�© ™�© ›�© ��© Ÿ�© ¡�© £�© ¥�© §�© ©�© «�© ­�© ¯�© ±�© ³�© µ�© ·�© ¹�© »�© ½�© ¿�© Á�© Ã�© Å�© Ç�© É�© Ë�© Í�© Ï�© Ñ�© Ó�© Õ�© ×�© Ù�© Û�© Ý�© ß�© á�© ã�© å�© ç�© é�© ë�© í�© ï�© ñ�© ó�© õ�© ÷�© ù�© û�© ý�© ÿ�© �© �© �© �© �© �© �© �© �© �© �© �© �© �© �© �© !�© #�© %�© '�© )�© +�© -�© /�© 1�© 3�© 5�© 7�© 9�© ;�© =�© ?�© A�© C�© E�© G�© I�© K�© M�© O�© Q�© S�© U�© W�© Y�© [�© ]�© _�© a�© c�© e�© g�© i�© k�© m�© o�© q�© s�© u�© w�© y�© {�© }�© �© ��© ƒ�© …�© ‡�© ‰�© ‹�© ��© ��© ‘�© “�© •�© —�© ™�© ›�© ��© Ÿ�© ¡�© £�© ¥�© §�© ©�© «�© ­�© ¯�© ±�© ³�© µ�© ·�© ¹�© »�© ½�© ¿�© Á�© Ã�© Å�© Ç�© É�© Ë�© Í�© Ï�© Ñ�© Ó�© Õ�© ×�© Ù�© Û�© Ý�© ß�© á�© ã�© å�© ç�© é�© ë�© í�© ï�© ñ�© ó�© õ�© ÷�© ù�© û�© ý�© ÿ�© �© �© �© �© �© �© �© �© �© �© �© �© �© �© �© �© !�© #�© %�© '�© )�© +�© -�© /�© 1�© 3�© 5�© 7�© 9�© ;�© =�© ?�© A�© C�© E�© G�© I�© K�© M�© O�© Q�© S�© U�© W�© Y�© [�© ]�© _�© a�© c�© e�© g�© i�© k�© m�© o�© q�© s�© u�© w�© y�© {�© }�© �© ��© ƒ�© …�© ‡�© ‰�© ‹�© ��© ��© ‘�© “�© •�© —�© ™�© ›�© ��© Ÿ�© ¡�© £�© ¥�© §�© ©�© «�© ­�© ¯�© ±�© ³�© µ�© ·�© ¹�© »�© ½�© ¿�© Á�© Ã�© Å�© Ç�© É�© Ë�© Í�© Ï�© Ñ�© Ó�© Õ�© ×�© Ù�© Û�© Ý�© ß�© á�© ã�© å�© ç�© é�© ë�© í�© ï�© ñ�© ó�© õ�© ÷�© ù�© û�© ý�© ÿ�© �© �© �© �© �© �© �© �© �© �© �© �© �© �© �© �© !�© #�© %�© '�© )�© +�© -�© /�© 1�© 3�© 5�© 7�© 9�© ;�© =�© ?�© A�© C�© E�© G�© I�© K�© M�© O�© Q�© S�© U�© W�© Y�© [�© ]�© _�© a�© c�© e�© g�© i�© k�© m�© o�© q�© s�© u�© w�© y�© {�© }�© �© ��© ƒ�© …�© ‡�© ‰�© ‹�© ��© ��© ‘�© “�© •�© —�© ™�© ›�© ��© Ÿ�© ¡�© £�© ¥�© §�© ©�© «�© ­�© ¯�© ±�© ³�© µ�© ·�© ¹�© »�© ½�© ¿�© Á�© Ã�© Å�© Ç�© É�© Ë�© Í�© Ï�© Ñ�© Ó�© Õ�© ×�© Ù�© Û�© Ý�© ß�© á�© ã�© å�© ç�© é�© ë�© í�© ï�© ñ�© ó�© õ�© ÷�© ù�© û�© ý�© ÿ�© �© �© �© �© �© �© �© �© �© �© �© �© �© �© �© �© !�© #�© %�© '�© )�© +�© -�© /�© 1�© 3�© 5�© 7�© 9�© ;�© =�© ?�© A�© C�© E�© G�© I�© K�© M�© O�© Q�© S�© U�© W�© Y�© [�© ]�© _�© a�© c�© e�© g�© i�© k�© m�© o�© q�© s�© u�© w�© y�© {�© }�© �© ��© ƒ�© …�© ‡�© ‰�© ‹�© ��© ��© ‘�© “�© •�© —�© ™�© ›�© ��© Ÿ�© ¡�© £�© ¥�© §�© ©�© «�© ­�© ¯�© ±�© ³�© µ�© ·�© ¹�© »�© ½�© ¿�© Á�© Ã�© Å�© Ç�© É�© Ë�© Í�© Ï�© Ñ�© Ó�© Õ�© ×�© Ù�© Û�© Ý�© ß�© á�© ã�© å�© ç�© é�© ë�© í�© ï�© ñ�© ó�© õ�© ÷�© ù�© û�© ý�© ÿ�©�©�©�©�© �© �© �©�©�©�©�©�©�©�©�©�©!�©#�©%�©'�©)�©+�©-�©/�©1�©3�©5�©7�©9�©;�©=�©?�©A�©C�©E�©G�©I�©K�©M�©O�©Q�©S�©U�©W�©Y�©[�©]�©_�©a�©c�©e�©g�©i�©k�©m�©o�©q�©s�©u�©w�©y�©{�©}�©�©��©ƒ�©…�©‡�©‰�©‹�©��©��©‘�©“�©•�©—�©™�©›�©��©Ÿ�©¡�©£�©¥�©§�©©�©«�©­�©¯�©±�©³�©µ�©·�Ú©Ò Ä©�Þ�‘ �‘©·¨¶¯Ìq©Ÿ Î �·³ÐÍ æ·@© ð yp¶@k© Ì ×·¨Ø©³°Ú¢—©š �Ð÷H@.even_bool_prop�^€³�·@‡·@¶@…0¹�‘· ç·Ÿ赩LÀ¶@©ǰ ] C¶@ ¶@¶@ ©̰ b H·“·Œ ©·–©Ò° h©* Â P©·œ B©·ܶ@©Û° q W W ©Õ� >�ÍÄ·¾ v·@©ã° y dܶ@ b &Ý�·ê R©·ì T© ê�© yà ‚ m·� ƒÍ z· ‡ …Nè  â 2 Û léê�©ªà ‰©K ää· Ž Œ©ø° Žñ tñ y©,Ñ�© ‰à#ë· >$©ÿ° •©W |üîù·8È šM ˜È�$Hbeq©<  �© ° Ÿ©a7©Í ˜· ¥ £¶ ©° ¦©h   �  ·©° «©m —©·¶{@¶yAu©·Ø©· `Í Z·@ b Œ€�©ô�©°ß÷!�·‰N·‡OÍe·@©o ‡|¶@z©š �Ð÷Â@0beq_nat_true_iffˆ€/�·@�·@¶@‰©9° Ï0 º5·7©<° Ò' ¸ �6C© � y© f���‘·¢· Ü ÚÍ Ñ· Þ ܶ@© ˜ 7 Ì© ü :© s$E ·R© Ÿ L Å© ǰ@© z;©· !© ¦ E Ì©š �Ð÷ @9iff_flip_impl_subrelation2„VA€°M ÓW X Ç·d© ± ^ Å© ·°R©· 2© · V Ë©š �Ð÷ *@2subrelation_properJ·7€(¶ÑÏÏ©š �Ð÷ 2@*respectful%WO?€ÀÖÖ Ç Ç žš �Ð÷ @0not_iff_morphism Z€© ÀÝÝ Ωš �Ð÷�   'Program²@$flipå$€Àèèèš �Ð÷ @$impl7o€œ   �Ð÷¶@$unitþUe@A€©š �Ð÷ W@6subrelation_respectful>6ìz€ ûû ì 쩚 �Ð÷ ^@0subrelation_reflv ˆ€  ó ó%K’ œ �µ·  ©·ž¶@  ë �Í�·Š B·@©¯° E +¨¶@©²° H® 3 ô«�·ª ©·¬ © ��©Gà P 6·^ QÍ Hε  ÿ ¯ ¨ >¶·C "7¨Ù[ý8Ts©Ä qïŽ