!4¸„•¦¾œ¡Á° %Lists@, )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@0  )Notations $Init #Coq@�0m%r�•% —þ0MD«‹Õ  %Logic $Init #Coq@�0²�SÒOì‡ýQb‰Üž  )Datatypes $Init #Coq@�0©üYg{ð�Ï4§KÂ�tG  *Logic_Type $Init #Coq@�0泄‹Jï,`þ+í  &Specif $Init #Coq@�0’^qˆÐ¼¿6?±”üR  #Nat $Init #Coq@�0Zk4© QRüó6_›œ}  %Peano $Init #Coq@�0!Š Ó•ª¢«äÀjF�í  "Wf $Init #Coq@�0âÁh]"`ÿ]±Ét¨ÙB�¸  'Tactics $Init #Coq@�0Âüåð8!¾:ŸŠº{   'Prelude $Init #Coq@�0Úeý«¼HèU Ð %Lists@ð�A�  'NatList’ð¢A�  'natprod‘,�<@� ”�@�$pair�¶@›  �Ð÷� )Datatypes $Init #Coq@@#natò@€¶@�C@@ @ A B@�B�B¢@�¡� �Ð÷,@(&Ô ª@�¡@ ¡@€@A� AB@@A@@@@@ €@@  ,natprod_rect� @‘ ·�!P¶�!n›  �Ð÷¢� Q@K@D&Ô ª@€”‘°  ¢ñš™J B@£´U¹6@·�!f¶A¶B©5�©œ  A€ �B�A·ÍÐ@;<°@� @ @@D·&$©�D�  �@�¶�/¶�.›  �Ð÷r@n&Ô ª@€”*¶�%¶�8f¶�:h©[&¶�=›©_�$�� ° œ+j()=>%Qõÿÿÿ''+j$'  �°*XAP@€@@ �>@@@  +natprod_ind� @‘ ·W¶US”�A©š �Ð÷U@ex%)€4@�¶2¶10” +�� ° ,+j7$'  ’X@€@@ €@@@  +natprod_rec� @‘ ·t¶rp¥@�¶H¶GF”¨A�� ° ,+j7$'  ’$X@€@@ €@@@  #fst� @‘ ·�!p‡Íj·‰¸n�·�!x¼·�!y¿v@�¶� ›  �f@€›  �Ð÷� )Datatypes $Init #Coq@@#natò@€�� ° „+j=>'Qõÿÿÿ''+j6'  �°�½AD  ‘‘Þx@€@@ €@@@  #snd� @‘ ·5ºÍ�3 �·2ì·0í£@�¶�;› .€› ,€�� ° „+j=>'Qõÿÿÿ''+j6'  �°°ÞAD  ‘‘ÿx@€@@ €@@@  $fst'� @‘ V@�¶�W› J€› H€�� ° „+j=>'Qõÿÿÿ''+j6'  �°ÌúAD  ‘‘x@€@@ €@@@  $snd'� @‘ =@�¶�s› f€› d€�� ° „+j=>'Qõÿÿÿ''+j6'  �°èAD  ‘‘7x@€@@ €@@@  )swap_pair� @‘ ·ŽÍö·�ú�·ŒF·ŠG© ÿ@�¶�—› Š€› Œ€�� ° �+j= > :'Qòÿÿÿ''+j6'  �° :AP  ‘‘,„@€@@ €@@@  3surjective_pairing'� @’°@€@�¶�:› ¢€¶�!m› §€©›  �Ð÷� %Logic $Init #Coq@@"eqÐ @€°›  ¼@€©œ  ÁA€ =<©œ  ÆA€ ©š �Ð÷¡@â#×5€�©œ  ÑA€ ML©š �Ð÷¬@¸#é€�©œ  ÜA€ XW�@@ €@@@  2surjective_pairing� @’°@ÅA�¶�ø› 뀩› @€°i©œ  óA€ ©š -€�r©š &€�v�@@ €@@@  /snd_fst_is_swap� @’°@äB�¶�›  €©› _€°›  @€©œ  A€ ©š D€�”©š S€�˜©š �Ð÷ø@«0€�ž�@@ €@@@  /fst_swap_is_snd� @’°@ C�¶�?› 2€©› ‡€°4©š o€�©š €�¸©š l€�¼�@@ €@@@  'natlist‘,�<@�  #nil$cons ˶@¶@Î @@ @B @B¢@�¡� �Ð÷1@&Ó©)@ ¡@€¡@  @@AA  @@ AB@@A@@@@@ €@@  ,natlist_rect� @‘ ·¶›  �Ð÷@-&Ó©)@€”‘°  ¢ñ¡› I@£»È%½@·©õ�œ  A€·¶E¶¶@ô©�E�©œ  B€ Až  �@@°��!F�¶,'�·.)ÍÐ)@EF°@ @ @ @@D·50©�F ·9f·:5© ° @�¶�A¶�@›  �Ð÷„@i&Ó©)@€”<¶�7©-8¶�:¶�M{¶�O›  @€¶@©.�9©<;¶�X› €©5�@�� ° 8+j() ,2'*(=>3 &''Qêÿÿÿ''+j$'+7Sj$'  �°7nA´  ‘‘c@€@@ �^@@@  +natlist_ind� @‘ ·w¶up ©š �Ð÷s@|Wf€R@�¶>¶=<6�� ° ,+j7$'  ’ X@€@@ €@@@  +natlist_rec� @‘ ·‘¶�ŠÂ@�¶S¶RQK�� ° ,+j7$'  ’"X@€@@ €@@@  &mylist� @‘ ©… ©œ  ÓB€�œ  ×A€©� © � ©“ ©�¡@�›  �t@€�� °,6j  ‘¤A ¤A�“@¤A ¤A�¤A�“@¤A ¤A�¤A�¤A�“@“@D@€@@ €@@@  'mylist1� @‘ =@�›  +@€�� °,6j  ‘¤A ¤A�“@¤A ¤A�¤A�“@¤A ¤A�¤A�¤A�“@“@D@€@@ €@@@  'mylist2� @‘ g@�›  U@€�� °,6j  ‘¤A ¤A�“@¤A ¤A�¤A�“@¤A ¤A�¤A�¤A�“@“@D@€@@ €@@@  'mylist3� @‘ ‘@�›  @€�� °,6j  ‘¤A ¤A�“@¤A ¤A�¤A�“@¤A ¤A�¤A�¤A�“@“@D@€@@ €@@@  &repeat� @‘ ž  �A@°�� �¶f“¶�%count–d�·k˜·™ÍЙ@ @A @A°@ @ @@D· ¡oW b·�&count'¥©[ ™©T ›_@�¶�~› 怶�› ꀛ  Ð@€�� ° ,0j(*()=> 3! :'F'Qëÿÿÿ''+j6'+7Sj+7S'6'  �°$  @@ AAA�  ‘‘‘Ä  ‘‘Çà  ‘‘Ëü  ‘‘�@€@@ €@@@  &length� @‘ ž  �@@°�� �¶�!l²ä�·´Í‹·¶èž ·�!hì·�!t½©�ž@�¶�› B€› 0€�� ° è,+j*(= >3 9'F'Qíÿÿÿ''+j6'+7Sj6'  �°¥ÜA|  ‘‘°  ‘‘ÕÌ  ‘‘ Ü@€@@ €@@@  #app� @‘ ž  �@@°�� �¶�"l1î¶�"l2ññ�·ó·ôÍË· ööß ß·@*·>ù©á ä©æ å!@�¶�› €€¶�› „€› †€�� ° ,0j(*()=> 3! :''Qëÿÿÿ''+j6'+7Sj+7S'6'  �°çA�  ‘‘Ä  ‘‘à  ‘‘ü  ‘‘@€@@ €@@@  )test_app1� @’°@vD�©› 퀰(©š �Ð÷v@U#Ï뀠©œ  ¶B€ ©œ   �Ð÷� m l k@@jò@B€�œ    @A€©œ  ËB€ ©œ  B€�©œ  B€�œ  A€©œ  ÝB€ ©œ  'B€�©œ  ,B€�©œ  1B€�œ  *A€œ  óA€©œ  ÷B€ ©œ  AB€�©œ  FB€�©œ  KB€�©œ  PB€�œ  IA€©œ  B€ ©œ  ]B€�©œ  bB€�©œ  gB€�©œ  lB€�©œ  qB€�œ  jA€œ  3A€©œ  7B€ ©œ  �B€�œ  zA€©œ  DB€ ©œ  ŽB€�©œ  “B€�œ  ŒA€©œ  VB€ ©œ   B€�©œ  ¥B€�©œ  ªB€�œ  £A€©œ  mB€ ©œ  ·B€�©œ  ¼B€�©œ  ÁB€�©œ  ÆB€�œ  ¿A€©œ  ‰B€ ©œ  ÓB€�©œ  ØB€�©œ  ÝB€�©œ  âB€�©œ  çB€�œ  àA€œ  ©A€�@@ €@@@  )test_app2� @’°@�E�©› ø€°3©š  € œ  ¾A€©œ  ÂB€ ©œ   B€�©œ  B€�©œ  B€�©œ  B€�œ  A€©œ  ÞB€ ©œ  (B€�©œ  -B€�©œ  2B€�©œ  7B€�©œ  A€�@@ €@@@  )test_app3� @’°@F�©› �€°È©š  € ©œ  TB€ ©œ  žB€�œ  —A€©œ  aB€ ©œ  «B€�©œ  °B€�œ  ©A€©œ  sB€ ©œ  ½B€�©œ  ÂB€�©œ  ÇB€�œ  ÀA€œ  ‰A€œ  ŒA€©œ  �B€ ©œ  ÚB€�œ  ÓA€©œ  �B€ ©œ  çB€�©œ  ìB€�œ  åA€©œ  ¯B€ ©œ  ùB€�©œ  þB€�©œ  B€�œ  üA€œ  ÅA€�@@ €@@@  "hd� @‘ ·�'default…·¤TÍ+ = ?·Ÿ‰·�XA@�¶� › Ç€¶�®› ߀› Í€�� °  +j()= >''Qñÿÿÿ''+j6'  �°ByA`  ‘‘ ”@€@@ €@@@  "tl� @‘ ·ÉyÍP·Ë{{c n·Å¯·Ã~f@�¶�Л €› €�� ° ”+j= >'F'Qñÿÿÿ''+j6'  �°d›AT  ‘‘�ˆ@€@@ €@@@  (test_hd1� @’°@çG�©› ^€°>©š �Ð÷ç@Y#F~€ œ  `A€©œ  *B€ ©œ  tB€�œ  mA€©œ  7B€ ©œ  �B€�©œ  †B€�œ  A€©œ  IB€ ©œ  “B€�©œ  ˜B€�©œ  �B€�œ  –A€œ  _A€©œ  ¨B€�œ  ¡A€�@@ €@@@  (test_hd2� @’°@?H�©› ¶€°–©š X€ œ  ¶A€œ  A€œ  ¼A€�@@ €@@@  'test_tl� @’°@ZI�©› Ñ€°�©š �Ð÷Z@¤#Gj€�©œ  šB€ ©œ  äB€�œ  ÝA€©œ  §B€ ©œ  ñB€�©œ  öB€�œ  ïA€©œ  ¹B€ ©œ  B€�©œ  B€�©œ   B€�œ  A€œ  ÏA€©œ  ÓB€ ©œ  B€�©œ  "B€�œ  A€©œ  åB€ ©œ  /B€�©œ  4B€�©œ  9B€�œ  2A€œ  ûA€�@@ €@@@  (nonzeros� @‘ ž  �@@°�� �¶ß���·á‘Íhz …·ÜÆ·Ú•Í.·ßÉ—€ w·žË©� ¿©†x@�¶�î› €› !€�� ° p,Mj*(=$'>= >3 :'3$'Qéÿÿÿ''F'QÕÿÿÿ''+j6'+j6'+7Sj6'  �°D A¬  �°†½AÜ  ‘‘²  ‘‘¶8  ‘‘ºT  ‘‘¾d@€@@ €@@@  -test_nonzeros� @’°@J�©› Œ€°Í©š �Ð÷Ð@QEù €�©» 1©½ 8©¿ 5©Á 2©à0©Å ;©Ç =ÓD�@@ €@@@  *oddmembers� @‘ ž  �@@°�� d�·CóÍÊzÜ ç·>(·<÷ÍР�Ð÷� &Basics@@$boolšä@@ @@ @@°@ @@D·}› €©š �Ð÷@%evenbea>€é í©ö ùï@�¶�b› “€› •€�� ° t,Nj*(=%(>7 = 3 :'3$'Qëÿÿÿ''F'QÔÿÿÿ''+j6'+j6'+7Sj6'  ’P  �°+  @@ A@A°  �°7Aà  ‘‘,  ‘‘0<  ‘‘4X  ‘‘8h@€@@ €@@@  /test_oddmembers� @’°@�K�©› €°G©š �Ð÷J@g=x�ì€z©4 ¯£�@@ €@@@  /countoddmembers� @‘ ž  �@@°�� °�·°`©š �Ð÷c@Ã3à¯Ø€�©D@�¶�¹› ꀛ Ø€�� ° |,j*(7 7$'+7Sj6'  ’,p  ’|  ‘‘{`  ‘‘±p@€@@ €@@@  5test_countoddmembers1� @’°@ÖL�©› M€°À©š �Ð÷‘@A©7€�©| ÷©~ ô©€ í©‚ ý©„ ©ÿ�󩈠©�–�@@ €@@@  5test_countoddmembers2� @’°@úM�©› q€°ä©$�©œ ©ž ©  ¬�@@ €@@@  5test_countoddmembers3� @’°@ N�©› ‡€°ú©:¼%�@@ €@@@  )alternate� @‘ ž  �@@°�� ï�·ïÛ·íÜÍ³èÆ Æ·�"h1 ·�"t1äÍ»·÷ææ  Å·�"h2 ·�"t2í©Õ Í©× Ú©�G}@�¶� › v€¶� › z€› |€�� °  ,Qj(*()=%(>=>3! : :''Qèÿÿÿ'''QÔÿÿÿ''+j6'+j6'+7Sj+7S'6'  �°ÝA¼  �°áAì  ‘‘    ‘‘H  ‘‘d  ‘‘€  ‘‘”@€@@ €@@@  /test_alternate1� @’°@ tO�©› 뀰,©š �Ð÷ /@d`+ € •© –© ”© ©™�˜,©" �©$  ©& —©(  ©* —�@@ €@@@  /test_alternate2� @’°@ šP�©› €°R©& ©< ·H$©> ¹&�@@ €@@@  /test_alternate3� @’°@ ®Q�©› %€°f©: Ë°©P Ë©R ÎÅ�@@ €@@@  /test_alternate4� @’°@ ÂR�©› 9€°z©N n©d ©ß�©á�©ã�©å�©ç�©é�©ë�©í�©ï�©ñ�©ó�©õ�©÷�©ù�b©‚ ©ý�©ÿ�©�©�©�©�© �© �© �©�2¢4�@@ €@@@  #bag� @‘ ¹@� ò�� °,6j  ‘‘ÁD@€@@ €@@@  c� @‘ ž  �A@°�n�¶�!v ¶�!sš �Ð÷ Ù@'#Ð.€ �·  · ͵· à  È =·* ·(ãÍì· ]à ©š �Ð÷î@'beq_nat)1{Z€  Ê Õ ©N�©Ú  Ï Ù@�¶�!›  `€¶�"š �Ð÷ ?@H#Ð.€›  h€�� ° ¨,Sj(*()='*> 7!=  3%' 3!9'Qêÿÿÿ''F'QÒÿÿÿ''+j6'+j6'+7Sj+7S'6'  ’`  �°çAÄ  �°äAô  ‘‘ B(  ‘‘ FP  ‘‘ Jl  ’Dˆ  ‘‘ Qœ@€@@ €@@@  +test_count1� @’°@ vS�©› 퀰 `©š �Ð÷ 1@Ð#ìg•€ •© —© �©  �©" �©$  ê‘�@@ €@@@  +test_count2� @’°@ ”T�©›  €° ~© ª�@@ €@@@  #sum� @‘ š �Ð÷ Y@}#Ïë€@�¶@š e€¶@š h€š j€�‘ �@@ €@@@  )test_sum1� @’°@ ½U�©›  4€° §©G Ø©š �Ð÷ z@*#é©€ àCÐ�@@ €@@@  #add� @‘ ·µ ¹·³±©p s@�¶�¹›  ø€¶�ºš ˜€š š€�� ° 4+j() :'@€@@ €@@@  )test_add1� @’°@ îV�©›  e€° Ø©x  ©š �Ð÷ «@,#Îû€ t�@@ €@@@  )test_add2� @’°@ W�©›  {€°  �@@ €@@@  &member� @‘ ·ö ú·ôò©š �Ð÷Ò@#leb�9+€ 1©¢ »@�¶�›  @€¶�š à€›  �Ð÷� &Basics@@$boolšä@€�� ° P+j() 7!77%'  ’ºh  ‘¤A�“@t  ’(|@€@@ €@@@  ,test_member1� @’°@ IX�©›  À€°ü©š �Ð÷ @D4U0€Yœ  A€�@@ €@@@  ,test_member2� @’°@ _Y�©›  Ö€°© pßœ  #B€�@@ €@@@  *remove_one� @‘ ž  �A@°�� �¶\ `¶ZXX�·_ c·][Í ·_ 4]   '·~ h·| 7Í@· ±4bT  "© "  %M@�¶�l›  «€¶�mš K€š M€�� ° œ,Pj(*()=$'> 7!=  3! :''Qíÿÿÿ''F'QÕÿÿÿ''+j6'+j6'+7Sj+7S'6'  ’g`  �°[0A¸  �° - dAè  ’�  ’„D  ‘‘ ‘`  ’‹|  ’Ž�@€@@ €@@@  0test_remove_one1� @’°@ ¼Z�©›  3€° ¦©F Ô©š �Ð÷ y@[>d*õ€ Ú© d Õ© f á© h àFÞ�@@ €@@@  0test_remove_one2� @’°@ Ø[�©›  O€° ©b ð© ò© |}ñ�@@ €@@@  0test_remove_one3� @’°@ ë\�©›  b€° Õ©u ©/ © �  © ‘  © “ © •  © —  ù �@@ €@@@  0test_remove_one4� @’°@ ]�©›  ~€° ñ©‘ ©K !© «  © ­  (© ¯ ' *�@@ €@@@  *remove_all� @‘ ž  �A@°�� ­�·  ·Í ³ª Å  з' ·% àÍé©ü ó¨@�¶�›  Q€¶�š ñ€š ó€�� ° ¬,Tj(*()=(+> 7!=  3! :' 3%'Qéÿÿÿ''F'QÑÿÿÿ''+j6'+j6'+7Sj+7S'6'  ’ `  �°ÖAÈ  �° Ó Aø  ’',  ’*T  ‘‘ 7p  ’1Œ  ’4 @€@@ €@@@  0test_remove_all1� @’°@ b^�©›  Ù€° L©ì z©š �Ð÷ @T>d€¦ }�@@ €@@@  0test_remove_all2� @’°@ w_�©›   a© �©Ÿ Ž�@@ €@@@  0test_remove_all3� @’°@ ˆ`�©›  ÿ€° r© ¤©&� š�@@ €@@@  0test_remove_all4� @’°@ ™a�©›  €° ƒ©# ±©7 ³© =  ®© ?  º© A ¹© C ¿© E ½¶ »�@@ €@@@  &subset� @‘ ž  �@@°�� �¶�"s1œ¶�"s2Ÿq�·¡·¢Í P·  {v d v·Å ¯·Ã ~͇· ø{{©  k ¦ © n  m©m@�¶�š ‘€¶�š •€› µ€�� ° ¤,Rj(*()=&)> 7!=G' 7! 3%'Qëÿÿÿ''F'QÓÿÿÿ''+j6'+j6'+7Sj+7S'6'  ’•`  ’#”  �°¨}AÀ  �° z ±Að  ‘‘¯$  ‘‘³L  ’Öh  ’Ù„  ‘‘½˜@€@@ €@@@  ,test_subset1� @’°@ b�©›  ‚€°¾©š �Ð÷ Æ@e5É€ © ±  ,© ³  $ ¿9Ç�@@ €@@@  ,test_subset2� @’°@ #c�©›  š€°Ö© © Å  @© Ç  8MÈ�@@ €@@@  +bag_theorem� @’°@ 7d�¶�›  Y€¶�š ù€©›  ¶€°û©š �Ð÷ ?@ ™#ìg•€  橚 �Ð÷ E@�#Îû€  ì 멜   qB€�©š €  õ ô�@@ €@@@  'nil_app� @’°@ be�¶� g›  ˜€©›  Ý€° ©š ð€ œ   £A€  �@@ €@@@  .tl_length_pred� @’°@ {f�¶� €›  ±€©›  ö€°›  �Ð÷� )Datatypes $Init #Coq@@#natò@€©š �Ð÷� #Nat $Init #Coq@@$pred ¯`<€�©š �Ð÷ š@ µ3à¯Ø€� @©š €�©š J€� H�@@ €@@@  )app_assoc� @’°@ ¶g�¶� ›  쀶� €›  ð€¶�"l3›  õ€©›  :€° u©š  M€ ©š  Q€  § l k©š  U€  «©š  Y€  t s�@@ €@@@  #rev� @‘ ž  �@@°�� �· í �Í t$ †  ‘· è Ò· æ ¡©K  ‚© ‹  Ž —@�¶� ÷›  (€›  *€�� ° ,1j*(=>F : 3 7%'F'Qçÿÿÿ''+j6'+7Sj6'  ’[h  �° Ž ÅA”  ‘‘ ºÈ  ‘‘ ¾ä  ‘‘ Âô@€@@ €@@@  )test_rev1� @’°@h�©›  �€°'©š �Ð÷@G#ç€�©œ   YB€ ©œ   £B€�œ   œA€©œ   fB€ ©œ   °B€�©œ   µB€�œ   ®A€©œ   xB€ ©œ   ÂB€�©œ   ÇB€�©œ   ÌB€�œ   ÅA€œ   ŽA€©œ   ’B€ ©œ   ÜB€�©œ   áB€�©œ   æB€�œ   ßA€©œ   ©B€ ©œ   óB€�©œ   øB€�œ   ñA€©œ   »B€ ©œ   B€�œ   þA€œ   ÇA€�@@ €@@@  )test_rev2� @’°@Ÿi�©›  €°­©š †€�œ   ÜA€œ   ßA€�@@ €@@@  *app_length� @’°@·j�¶� €›  퀶� �›  ñ€©›  6€° ³©š %€�©š  M€ hg©š �Ð÷;@#add £�`€ ©š 4€�s©š 8€�v�@@ €@@@  *rev_length� @’°@äk�¶� é›  €©›  _€° Ü©š N€�©š Ó€��©š V€�”�@@ €@@@  )app_nil_r� @’°@l�¶� ›  8€©›  }€° ¸©š  �€ ªœ   CA€­�@@ €@@@  (app_snoc� @’°@m�¶�Õ› =€¶� $›  U€©›  š€°1©š  €�©š  ±€ Ë©œ   eB€ Ñœ   iA€©œ   mB€ Ù©š €�Ü�@@ €@@@  .rev_involutive� @’°@Jn�¶� O›  €€©›  Å€°\©š 5€�©š 9€�öö�@@ €@@@  *app_assoc4� @’°@do�¶� -›  š€¶� .›  ž€¶�®›  ¢€¶�"l4›  §€©›  쀰 '©š  ÿ€ ©š  € Y©š  € "!©š  € ©š  € ©š  € #i.-�@@ €@@@  ,nonzeros_app� @’°@›p�¶� d›  Ñ€¶� e›  Õ€©› €°º©š �Ð÷£@ßEù €�©š  3€ NM©š  7€ ©š €�V©š €�Y�@@ €@@@  +beq_natlist� @‘ ž  �@@°�� �¶ — ƒ¶ • „�· š †· ˜ ‡Í ^· � ‰„r Í a· � Œ‡t ‡·¦À·¤ �v·±·¯ ‘Í h¶ z·¬Æ·ª •©š �Ð÷ž@$andbšbÕ€ ·«@�¶� ²›  €¶� ³›  #€› Ë€�� ° $,rj(*()=(?>=>3! 7!7%'G'Q(åÿÿÿ''= >G'F'Qñÿÿÿ''Q½ÿÿÿ''+j6'+j6'+j6'+7Sj+7S'6'  ’Ç�  ’œ  �° Œ ÃAÈ  �° � ÇA$  �° ” ËAH  ‘‘É|  ‘‘ͤ  ‘‘ÑÌ  ‘‘ Ìè  ‘‘ Р ‘‘Ý@€@@ €@@@  1test_beq_natlist1� @’°@+q�©› ¢€°>©š �Ð÷+@sø0€ œ   jA€œ   mA€œ  A€�@@ €@@@  1test_beq_natlist2� @’°@Hr�©› ¿€°[©š € ©œ   †B€ ©œ   ÐB€�œ   ÉA€©œ   “B€ ©œ   ÝB€�©œ   âB€�œ   ÛA€©œ   ¥B€ ©œ   ïB€�©œ   ôB€�©œ   ùB€�œ   òA€œ   »A€©œ   ¿B€ ©œ   B€�œ   A€©œ   ÌB€ ©œ   B€�©œ   B€�œ   A€©œ   ÞB€ ©œ   (B€�©œ   -B€�©œ   2B€�œ   +A€œ   ôA€œ  �A€�@@ €@@@  1test_beq_natlist3� @’°@Ïs�©› F€°⩚ ¤€ ©œ   B€ ©œ   WB€�œ   PA€©œ   B€ ©œ   dB€�©œ   iB€�œ   bA€©œ   ,B€ ©œ   vB€�©œ   {B€�©œ   €B€�œ   yA€œ   BA€©œ   FB€ ©œ   �B€�œ   ‰A€©œ   SB€ ©œ   �B€�©œ   ¢B€�œ   ›A€©œ   eB€ ©œ   ¯B€�©œ   ´B€�©œ   ¹B€�©œ   ¾B€�œ   ·A€œ   €A€œ  )B€�@@ €@@@  0beq_natlist_refl� @’°@[t�¶� `›  ‘€©› Ö€°›  =@€œ  AA€©š :€   �@@ €@@@  4count_member_nonzero� @’°@wu�¶�Wš 5€©› ò€°›  �Ð÷�  <@@Xšä@€©š �Ð÷`@#leb�9+€ ©œ   B€�¢©š O€ ©œ   B€�«©œ   ÑB€ ©œ   B€�µAœ  €A€�@@ €@@@  (ble_n_Sn� @’°@²v�¶�l›  �Ð÷� )Datatypes $Init #Coq@@#natò@€©› 8€°F©š ?€ e©œ  ëB€�jœ  ©A€�@@ €@@@  6remove_decreases_count� @’°@Ûw�¶�»š ™€©› V€°d©š ]€ ©š ¤€ œ   ZA€©š �Ð÷ê@‡>d*õ€ œ   cA€“©š ´€ œ   jA€šœ  ÙA€�@@ €@@@  -bag_count_sum� @’°@ x�¶�8› -€¶�Sš Í€¶�Tš Ñ€©› Ž€°›  �Ð÷� )Datatypes $Init #Coq@@#natò@€©š ]€ ©š 造Í©š 퀠 Щš ñ€ ©š �Ð÷4@Ÿ#é©€ ÛÚ�@@ €@@@  -rev_injective� @’°@Hy�¶�› ~€¶�› ‚€¶@©› È€°_©š 8€�ö©š <€�ù©› Ô€°9þ�@@ €@@@  'nth_bad� @‘ ž  �@@°�� �¶w'¶-ZZ�·z*·0]Íw ©Ž�©��©’�©”�©–�©˜�©š�©œ�©ž�© �©¢�©¤�©·�!az·�"l'KÍ Th©g rª 8©: 9©š �Ð÷�  ‚@$pred ¯`<€�~@�¶�¬› Ý€¶�e› Í€› Ï€�� ° ¤,Rj(*()=%)>F7!= 7 3%''Qìÿÿÿ''6'QÓÿÿÿ''+j6'+j6'+7Sj+7S'6'  ’…`  ’„  �° | QA¼  ‘¤A�¤A�¤A�¤A�¤A�¤A�¤A�¤A�¤A�¤A�¤A�¤A�¤A�¤A�¤A�¤A�¤A�¤A�¤A�¤A�¤A�¤A�¤A�¤A�¤A�¤A�¤A�¤A�¤A�¤A�¤A�¤A�¤A�¤A�¤A�¤A�¤A�¤A�¤A�¤A�¤A�¤A�“@Ø  �°¦ÝAð  ‘‘$  ‘‘L  ‘‘Úh  ‘‘„  ‘‘˜@€@@ €@@@  )natoption‘,�<@� &% $Some$None ¶@%ÜÛ@@ A@ A@¢@�¡� �Ð÷?@"©)4@ ¡@�¡@€AA  AA @@@@A@@@@@ €@@  .natoption_rect� @‘ ·¶›  �Ð÷@+"©)4@€”‘°  ¢ñ¹ ë a@£Ó™™Õ@· ¶L©�©œ  A€ý·© �œ  B€·,ÍÐ@56°@  @@@D·2 © @�¶�8¶�7›  �Ð÷{@Q"©)4@€”&¶�.¶�Ao©'#¶�3©*¶�G›©#�.�� ° ¬+j()= '>$Qñÿÿÿ''+j$'  �°'OA`@€@@ �;@@@  -natoption_ind� @‘ ·a¶_M ©š �Ð÷]@Y×1G€<@�¶1¶0/)�� ° ,+j7$'  ’ X@€@@ €@@@  -natoption_rec� @‘ ·{¶yg¬@�¶F¶ED>�� ° ,+j7$'  ’"X@€@@ €@@@  )nth_error� @‘ ž  �@@°�� �¶à�¶–Ä�·ã“·™ÆÍk·æ–‰ t·RÊ·P™Í ¢· –ŽO ©€yN@�¶�ï›  €¶�¨› €›  �s@€�� ° ¨,Sj(*()='*>F7!= 7 3%'9'Qêÿÿÿ''F'QÒÿÿÿ''+j6'+j6'+7Sj+7S'6'  ’ Ê`  ’a„  �° Á –AÄ  �°“ÊAô  ‘‘²(  ‘‘¶P  ‘‘Çl  ‘‘ýˆ  ‘‘œ@€@@ €@@@  /test_nth_error1� @’°@&z�©› �€°8©š �Ð÷&@a2ÜÛÝ€ ©œ  fB€ ©œ  °B€�©œ  µB€�©œ  ºB€�©œ  ¿B€�œ  ¸A€©œ  ‚B€ ©œ  ÌB€�©œ  ÑB€�©œ  ÖB€�©œ  ÛB€�©œ  àB€�œ  ÙA€©œ  £B€ ©œ  íB€�©œ  òB€�©œ  ÷B€�©œ  üB€�©œ  B€�©œ  B€�œ  ÿA€©œ  ÉB€ ©œ  B€�©œ  B€�©œ  B€�©œ  "B€�©œ  'B€�©œ  ,B€�©œ  1B€�œ  *A€œ  óA€œ  0A€©œ  ÔA€�©œ  DB€�©œ  IB€�©œ  NB€�©œ  SB€�œ  LA€�@@ €@@@  /test_nth_error2� @’°@ê{�©› a€°ü©š Ä€ ©œ  (B€ ©œ  rB€�©œ  wB€�©œ  |B€�©œ  �B€�œ  zA€©œ  DB€ ©œ  ŽB€�©œ  “B€�©œ  ˜B€�©œ  �B€�©œ  ¢B€�œ  ›A€©œ  eB€ ©œ  ¯B€�©œ  ´B€�©œ  ¹B€�©œ  ¾B€�©œ  ÃB€�©œ  ÈB€�œ  ÁA€©œ  ‹B€ ©œ  ÕB€�©œ  ÚB€�©œ  ßB€�©œ  äB€�©œ  éB€�©œ  îB€�©œ  óB€�œ  ìA€œ  µA€©œ  þB€�©œ  B€�©œ  B€�œ  A€©œ  ¥A€�©œ  B€�©œ  B€�©œ  B€�©œ  $B€�©œ  )B€�©œ  .B€�©œ  3B€�œ  ,A€�@@ €@@@  /test_nth_error3� @’°@Ê|�©› A€°Ü©š ¤€ ©œ  B€ ©œ  RB€�©œ  WB€�©œ  \B€�©œ  aB€�œ  ZA€©œ  $B€ ©œ  nB€�©œ  sB€�©œ  xB€�©œ  }B€�©œ  ‚B€�œ  {A€©œ  EB€ ©œ  �B€�©œ  ”B€�©œ  ™B€�©œ  žB€�©œ  £B€�©œ  ¨B€�œ  ¡A€©œ  kB€ ©œ  µB€�©œ  ºB€�©œ  ¿B€�©œ  ÄB€�©œ  ÉB€�©œ  ÎB€�©œ  ÓB€�œ  ÌA€œ  •A€©œ  ÞB€�©œ  ãB€�©œ  èB€�©œ  íB€�©œ  òB€�©œ  ÷B€�©œ  üB€�©œ  B€�©œ  B€�œ  ÿA€œ  ¢B€�@@ €@@@  *nth_error'� @‘ ž  �@@°�� Ì�·¬\·b�Í4ÉG <·’·aÍÐj@cb°@ @@A·@aYË@�¶�¸› 逶�q› Ù€› É€�� ° ¨,Sj(*()='*>F7!= 7 3%'9'Qêÿÿÿ''F'QÒÿÿÿ''+j6'+j6'+7Sj+7S'6'  ’ ‘`  ’(„  �°]AÄ  �°Z‘Aô  ‘‘y(  ‘‘}P  ‘‘Žl  ‘‘Ĉ  ‘‘‰œ@€@@ €@@@  +option_elim� @‘ ·�!dÕ·�!o™Í·›Ú� ·�"n'Þ”•@�¶� › €¶�›  €› !€�� °  +j()= '>'Qñÿÿÿ''+j6'  �°˜ÀA`  ‘‘ô”@€@@ €@@@  (hd_error� @‘ ·Íͤ9¶ ¬·Š·ˆÑ5@�¶�#› T€› 0€�� ° œ+j= >9'F'Qïÿÿÿ''+j6'  �°·îA\  ‘‘Ö�@€@@ €@@@  .test_hd_error1� @’°@:}�©› ±€°©š �Ð÷:@0/aò€�œ  yA€œ  VB€�@@ €@@@  .test_hd_error2� @’°@T~�©› Ë€°6©š €�©œ  ’B€ ©œ  ÜB€�œ  ÕA€œ  žA€©œ  |A€�©œ  ìB€�œ  åA€�@@ €@@@  .test_hd_error3� @’°@ƒ�©› ú€°e©š I€�©œ  ÁB€ ©œ   B€�©œ  B€�©œ  B€�©œ  B€�©œ  B€�œ  A€©œ  âB€ ©œ  ,B€�©œ  1B€�©œ  6B€�©œ  ;B€�©œ  @B€�©œ  EB€�œ  >A€œ  A€©œ  åA€�©œ  UB€�©œ  ZB€�©œ  _B€�©œ  dB€�©œ  iB€�œ  bA€�@@ €@@@  .option_elim_hd� @’°@@�¶�› 6€¶�h› &€©› €°_©š !€ ¬­©š �Ð÷ @.8÷+€ ²©š Ø€�·�@@ €@@@@@ ÐÐ@¢ñš™JÀ@Ë@A@A¢ñ¡›À@Ì@AÐ@¢ñ¹ ëÀ@Á@A@AB@ @@@  "id‘,�<@� �"Id�ò@@�A�A¢@�¡� �Ð÷7@ Kžñ@�¡@�@A� AA@@A@@@@@ €@@  'id_rect� @‘ ·¶�!i›  �Ð÷�@* Kžñ@€”‘°  ¢ñÀ¢¤ h@£Ú! \@·ÿ¶>©ö�©œ  A€ï·ÍÐ@01°@� @@D·øõ@�¶�#¶�!›  �Ð÷m@I Kžñ@€”¶�¶�,Z©¶�.› ©Q��� ° œ+j()=>$Qõÿÿÿ''+j$'  �°#GAP@€@@ �1@@@  &id_ind� @‘ ·I¶FDò©š �Ð÷D@RFàþ€$@�¶.¶-,ð&�� ° ,+j7$'  ’ X@€@@ €@@@  &id_rec� @‘ ·c¶`^”@�¶C¶BAï;�� ° ,+j7$'  ’"X@€@@ €@@@  &beq_id� @‘ ·�"x1t·�"x2wÍb·yr`�·�"n1­Íh· xf�·�"n2³©œl@�¶�›  �g@€¶�› €› Z€�� °  +j()=>= > 7%'Qðÿÿÿ''Qàÿÿÿ''+j6'+j6'  ’¯`  �°‡«A€  �°‹¯A¤  ‘‘ªØ  ‘‘®@€@@ €@@@  +beq_id_refl� @’°@üA�¶�)-©› u€°›   Ü@€œ   àA€©š �Ð÷ @W—yÞ€ ªª�@@ €@@@  *PartialMap’ð¢A�  +partial_map‘,�<@�    %empty&record À¶@Û¶@ ¶@ÿ¹@@þ @C @C¢@�¡� �Ð÷@m„$@ ¡@€¡@°üü @@AA  @@ AC@@A@@@@@ €@@  0partial_map_rect� @‘ ·ý¶t›  �Ð÷¢�ù7@0m„$@€”‘°  ¢ñǤ] oÿ@£á$~rã@·ø©í�œ  A€·þ¶ ¶>¶‹¶@á©Þ�©œ  B€°ó9þž  �@@°�ø�¶›'ü�·�)ÍÐ)@EF°@ @ @ @ @@D·¥1÷ ·-+·/\·©5©ûÀQ@�¶�7¶�¯›  �Ð÷n@jm„$@€”:¶�-©#6¶�0¶�BA¶�Es¶�À›  @€¶@©2�1©;¶�É› €©-�8�� ° @+j() ,4'*(=>3 #''Qèÿÿÿ''+j$'+7Sj$'  �°9pA¼  ‘‘e@€@@ �^@@@  /partial_map_ind� @‘ ·o¶ær©š �Ð÷r@~-M¦/€J@�¶@¶?>8�� ° ,+j7$'  ’ X@€@@ €@@@  /partial_map_rec� @‘ ·‰¶Œº@�¶U¶TSM�� ° ,+j7$'  ’"X@€@@ €@@@  &update� @‘ ·õ ·�#key›·�%valueΩŒ°‡†Â@�¶�ÿ›  �o@€¶�› "€¶�› €›  €�� ° 8+j() ;'@€@@ €@@@  $find� @‘ ž  �A@°�� �¶.Ƕ%й�·1Ê·(Óͪ·*Õ¾³ ©·�!kÑ·þ·�"d'ÝÍro©š �Ð÷Ö@o—yÞ€ Äþ ?©« ÇÅ@�¶�H› [€¶�B› C€›  �Ð÷¢62@"©)4@€�� ° œ,Pj(*()=$'>7!= 3%'9'Qíÿÿÿ''F'QÕÿÿÿ''+j6'+j6'+7Sj+7S'6'  ’`  �°–ÕA¸  �°ÜAè  ‘‘ñ  ‘‘õD  ‘‘`  ‘‘|  ‘‘�@€@@ €@@@  )update_eq� @’°@eB�¶�y› z€¶�Q› š€¶�P› �€©› 耰C©š �Ð÷e@w,éõW€ ©š �Ð÷k@¤? òû€°Y©œ  QA€�"�@@ €@@@  *update_neq� @’°@�C�¶�¤› ¥€¶�› Å€¶�R› É€¶�­› ¾€¶@©› €°Ì©š �€ �Fœ  „B€©› #€°~©š ;€ F©š 9€°V�U©š C€ NZ�@@ €@@@@@ Ð@¢ñǤ]À@t@A@A@ž@  #baz‘,�<@� ¶µ $Baz1$Baz2 ¶@kl¶@l¶@€©@@¨ AB AB¢@�¡� �Ð÷Ø@ L(¡@ ¡@� @@¡@ ¨@B  AA BB@@A@@@@@ €@@  (baz_rect� @‘ ·¨¶�!b›  �Ð÷¥@1 L(¡@€”‘°  ¢ñÊ¥ rª@£ä%ø¡f@·£¶ ¶@©›�©×�©œ  A€”·­¶¶@©à™¶¸©¨�©œ  B€Mž  �@@°�¦�¶*(ª�·,*ÍÐ*@IJ°@  @@ @ @@D·42¥½ ·64© Á·97·:Ö©ưÆ©¼ºÆ@�¶�è¶�A›  �Ð÷2@q L(¡@€”@¶�Þ¶�K›   @€¶@©Û�Û©A¶�é¶�V›  @€¶@©!�æ¶�^û©ëC¶�a›  €©ä�ï�� ° X+j() ,:'*(=> 3 &'>3 %'Qâÿÿÿ''+j$'+7Sj$'  �°B|AÔ  ‘‘o4@€@@ �j@@@  'baz_ind� @‘ ·&¶~|Ï©š �Ð÷!@Šlj€@�¶F¶EDÍ>�� ° ,+j7$'  ’ X@€@@ €@@@  'baz_rec� @‘ ·@¶˜–q@�¶[¶ZYÌS�� ° ,+j7$'  ’"X@€@@ €@@@@@ ÐÐ@¢ñš™Ju@A¢ñ¡›tÐÐ@¢ñ¹ ët@A¢ñÀ¢¤À@C@AÐ@¢ñǤ]ØÐ@¢ñÊ¥À@¢@A@ABCD@w@0  �0”ñ+(uê$õS¼ì9»ˆ  )Datatypes $Init #Coq@�0©üYg{ð�Ï4§KÂ�tG  )Induction@�0„&Q¾)‡dïópqáïEW �0²�SÒOì‡ýQb‰Üž  *Logic_Type $Init #Coq@�0泄‹Jï,`þ+í  #Nat 0 /@�0Zk4© QRüó6_›œ}  )Notations $Init #Coq@�0m%r�•% —þ0MD«‹Õ  %Peano $Init #Coq@�0!Š Ó•ª¢«äÀjF�í  'Prelude $Init #Coq@�0Úeý«¼HèU 2 Q�à'@‘@@@@  #_42 À¢¸  �Ð÷^@I#&–2[  ‘Y@  #_43 2Mì ‘ ÁAA@A  #_44 '` oÀ@‘ @@ ��’ž@  D 2 Q�àI@‘@@@@  #_45 À¢¸  �Ð÷€@O#'êD}  ‘{@  #_46 2Mì ‘ ÁAA@A  #_47 '` oÀ@‘ @@ ��’À@  J 2 Q�àk@‘@@@@  #_48 À¢¸  �ªž  ‘œ@  #_49 2Mì ‘ ÁAA@A  #_50 '` oÀ@‘ @@ ��’á@  G 2 Q�àŒ@’@@@@  #_51 À¢¸  �Ð÷Ã@Rÿ@à@A@@@@  ‘¿@  #_52 2Mì ‘ ��  #_53 '` oÀ@‘ �¸ �º@ ��’ ��’@  - 2 Q�à·@’@@@@  #_54 À¢¸  �Ð÷î@8)4÷¯à@A@@@@  ‘ê@  #_55 2Mì ‘ ��  #_56 '` oÀ@‘ @@ ��’0@  2 2 Q�àÛ@’@@@@  #_57 À¢¸  �Ð÷@=!²NÄà@A@@@@  ‘@  #_58 2Mì ‘ ��  #_59 '` oÀ@‘ @@ ��’T@  . 2 Q�àÿ@’@@@@  #_60 À¢¸  �Ð÷6@9.´žà@A@@@@  ‘2@  #_61 2Mì ‘ ��  #_62 '` oÀ@‘ @@ ��’x@  4 N$ý @ð@B@ Ð9·@ 2 2@@@@[@  #_63 À¢¸ ¡�Ú'  ’ @Y  “ A]  “  Ba@  #_64 '` oÀ@’ @@@  #_65 '` oÀ@“  @A@@  #_66 '` oÀ@“  $@B �c @@ ��’t ��’ 0@@  R 2 Q�àb@^@@@  #_67 À¢¸  �Ð÷˜@\Wfb  ‘“@  #_68 2Mì ‘ ÁDD@A  #_69 '` oÀ@‘ @ @ @ @@ @ @ @ ��’2@  #_70 ? 3V _� 9$   2 Q�à�@Œ@@@  #_71 À¢¸  �Ð÷Æ@²Ž��  ‘Á@  #_72 2Mì ‘ ÁDD@A  #_73 '` oÀ@‘ @ @ @ @@ @ @ @ ��’`@  #_74 ? 3V `� g$  $ 2 Q�à¾@º@@@  #_75 À¢¸  �Ð÷ô@.²š’¾  ‘ï@  #_76 2Mì ‘ ÁDD@A  #_77 '` oÀ@‘ @ @ @ @@ @ @ @ ��’Ž@  #_78 ? 3V a� •$  = 2 Q�àì@‘@@@@  #_79 À¢¸  �Ð÷#@H4. ¤í  ‘@  #_80 2Mì ‘ @  #_81 '` oÀ@‘@@  #_82 ü @ Ð |  |@  |A@&_ :: _Ð|�A  ¡‘ �| @�A�~ ��":: ¡‘ �| A �a@@ @ @@ ¤6  A@ • A@ “#::   BA@@@@  #_83 %cö?Ð@@   Ÿ  �O@@  |  @@@@¢�“ ±B ‘¬ ‘†@@ &_ :: _  ˆ ‚@&x :: l  #_84 ü @ Ð @@#[ ]Ð@@  ��![ ��!]@@@ ¤r “"[  “@@@@  #_85 %cö?Ð@@ @�“ ÞA@ #[ ]  ± «@#[ ]  #_86 ü @ Ð @  È�È@.[ _ ; .. ; _ ]Ð@@  ��![ ¢A@ ¡‘°�#x_1 ��!]@   ¢AA   ��!; ¡£ @� @@ @@ ¤µ “  ±A�È “ • A@@ “@@@@  #_87 %cö?Ð@@      �@A@Ô# ¢�} ‘' ‘"..@�V@@ .[ _ ; .. ; _ ]    ÿ@.[ x ; .. ; y ]  ç 2 Q�àÓ@‘@@@@  #_88 À¢¸  �Ð÷ @ò'€gyÔ  ‘@  #_89 2Mì ‘ @  #_90 '` oÀ@‘@@  Ù 2 Q�àï@‘@@@@  #_91 À¢¸  �Ð÷ &@ä'€gzð  ‘!@  #_92 2Mì ‘ @  #_93 '` oÀ@‘@@  Ë 2 Q�à @‘@@@@  #_94 À¢¸  �Ð÷ B@Ö'€g{   ‘=@  #_95 2Mì ‘ @  #_96 '` oÀ@‘@@  ½ 2 Q�à'@‘E@@@  #_97 À¢¸  �Ð÷ ^@È4Ã’Ñ(  ‘Y@  #_98 2Mì ‘ ÁBB@A  #_99 '` oÀ@‘ �Q �S@ ��’� ��’¡@  — 2 Q�àP@‘E@@@  $_100 À¢¸  �íP  ‘�@  $_101 2Mì ‘ ÁAA@A  $_102 '` oÀ@‘ @@ ��’Ö@  | 2 Q�àq@‘E@@@  $_103 À¢¸  �2q  ‘¢@  $_104 2Mì ‘ ÁAA@A  $_105 '` oÀ@‘ @ @@ ��’ø ��’ü@  $_106 ü @ Ð |  |@  |A@&_ ++ _Ð|�  ¡‘ �| @�A�  ��"++ ¡‘ �| A � @@ @ @@ ¤Ä  A@ “# ++ • A@  BA@@@@  $_107 %cö?Ð@@    -  @@@   .  @@@@¢�‘Ž ‘ 8 ‘ 7@@ &_ ++ _  ! !@&x ++ y  § 2 Q�àâ@‘@@@@  $_108 À¢¸  �Ð÷!@²/]°¿à@A@@@@  ‘@  $_109 2Mì ‘ ��  $_110 '` oÀ@‘@@  » 2 Q�à@‘@@@@  $_111 À¢¸  �Ð÷!8@Æ/]°Àà@A@@@@  ‘4@  $_112 2Mì ‘ ��  $_113 '` oÀ@‘@@  E 2 Q�à @‘@@@@  $_114 À¢¸  �Ð÷!W@P/]°Áà@A@@@@  ‘S@  $_115 2Mì ‘ ��  $_116 '` oÀ@‘@@  Ý 2 Q�à?@‘@@@@  $_117 À¢¸  ��  ‘p@  $_118 2Mì ‘ ÁBB@A  $_119 '` oÀ@‘ �h @@ ��’ ³ ��’Ë@  Ü 2 Q�àf@‘@@@@  $_120 À¢¸  �CE  ‘—@  $_121 2Mì ‘ ÁAA@A  $_122 '` oÀ@‘ @@ ��’ì@  Û 2 Q�à‡@‘@@@@  $_123 À¢¸  �Ð÷!¾@æ4˜ Âà@A@@@@  ‘º@  $_124 2Mì ‘ ��  $_125 '` oÀ@‘@@  ¢ 2 Q�à¦@‘@@@@  $_126 À¢¸  �Ð÷!Ý@­4˜ Ãà@A@@@@  ‘Ù@  $_127 2Mì ‘ ��  $_128 '` oÀ@‘@@  ¦ 2 Q�àÅ@‘@@@@  $_129 À¢¸  �Ð÷!ü@±8<ÃCà@A@@@@  ‘ø@  $_130 2Mì ‘ ��  $_131 '` oÀ@‘@@  L 2 Q�àä@‘E@@@  $_132 À¢¸  �x  ‘@  $_133 2Mì ‘ ÁAA@A  $_134 '` oÀ@‘ @@ ��’j@  + 2 Q�à@‘@@@@  $_135 À¢¸  �Ð÷"<@6 ë±à@A@@@@  ‘8@  $_136 2Mì ‘ ��  $_137 '` oÀ@‘@@  ( 2 Q�à$@‘E@@@  $_138 À¢¸  �Ð÷"[@3=x�ì  ‘V@  $_139 2Mì ‘ ÁAA@A  $_140 '` oÀ@‘ @@ ��’«@  ò 2 Q�àF@‘@@@@  $_141 À¢¸  �Ð÷"}@ý1éåà@A@@@@  ‘y@  $_142 2Mì ‘ ��  $_143 '` oÀ@‘@@  ü 2 Q�àe@‘E@@@  $_144 À¢¸  �Ð÷"œ@©7  ‘—@  $_145 2Mì ‘ ÁAA@A  $_146 '` oÀ@‘ @@ ��’ì@  ì 2 Q�à‡@‘@@@@  $_147 À¢¸  �Ð÷"¾@÷+¡=“à@A@@@@  ‘º@  $_148 2Mì ‘ ��  $_149 '` oÀ@‘@@  ç 2 Q�à¦@‘@@@@  $_150 À¢¸  �Ð÷"Ý@ò+¡=”à@A@@@@  ‘Ù@  $_151 2Mì ‘ ��  $_152 '` oÀ@‘@@  ð 2 Q�àÅ@‘@@@@  $_153 À¢¸  �Ð÷"ü@û+¡=•à@A@@@@  ‘ø@  $_154 2Mì ‘ ��  $_155 '` oÀ@‘@@   2 Q�àä@‘E@@@  $_156 À¢¸  �Ð÷#@ `+   ‘@  $_157 2Mì ‘ ÁAA@A  $_158 '` oÀ@‘ @ @@ ��’l ��’p@  Ò 2 Q�à @‘@@@@  $_159 À¢¸  �Ð÷#B@Ýò4&à@A@@@@  ‘>@  $_160 2Mì ‘ ��  $_161 '` oÀ@‘@@  Ë 2 Q�à*@‘@@@@  $_162 À¢¸  �Ð÷#a@Öò4'à@A@@@@  ‘]@  $_163 2Mì ‘ ��  $_164 '` oÀ@‘@@  Ö 2 Q�àI@‘@@@@  $_165 À¢¸  �Ð÷#€@áò4(à@A@@@@  ‘|@  $_166 2Mì ‘ ��  $_167 '` oÀ@‘@@  á 2 Q�àh@‘@@@@  $_168 À¢¸  �Ð÷#Ÿ@ìò4)à@A@@@@  ‘›@  $_169 2Mì ‘ ��  $_170 '` oÀ@‘@@  ¼ 2 Q�à‡@‘@@@@  $_171 À¢¸  �  ‘¸@  $_172 2Mì ‘ �@  $_173 '` oÀ@‘@@   ) 2 Q�à£@‘E@@@  $_174 À¢¸  �›:  ‘Ô@  $_175 2Mì ‘ ÁBB@A  $_176 '` oÀ@‘ �Ì @@ ��’# ��‘·@  � 2 Q�àÊ@‘@@@@  $_177 À¢¸  �Ð÷$@š-ûÅà@A@@@@  ‘ý@  $_178 2Mì ‘ ��  $_179 '` oÀ@‘@@  � 2 Q�àé@‘@@@@  $_180 À¢¸  �Ð÷$ @›-ûÆà@A@@@@  ‘@  $_181 2Mì ‘ ��  $_182 '` oÀ@‘@@  Ÿ 2 Q�à@‘@@@@  $_183 À¢¸  �   ‘9@  $_184 2Mì ‘ ÁAA@A  $_185 '` oÀ@‘ @ @@ ��‘ ��‘@  ¬ 2 Q�à.@‘@@@@  $_186 À¢¸  �Ð÷$e@·/_™Ùà@A@@@@  ‘a@  $_187 2Mì ‘ ��  $_188 '` oÀ@‘@@  µ 2 Q�àM@‘@@@@  $_189 À¢¸  �?  ‘~@  $_190 2Mì ‘ @  $_191 '` oÀ@‘ �u @@ ��’#À ��‘`@  À 2 Q�às@‘@@@@  $_192 À¢¸  �Ð÷$ª@Ë/]žïà@A@@@@  ‘¦@  $_193 2Mì ‘ ��  $_194 '` oÀ@‘@@  É 2 Q�à’@‘@@@@  $_195 À¢¸  �Ð÷$É@Ô/]žðà@A@@@@  ‘Å@  $_196 2Mì ‘ ��  $_197 '` oÀ@‘@@  Ø 2 Q�à±@‘@@@@  $_198 À¢¸  �Ð÷$è@ã4U0  ‘ã@  $_199 2Mì ‘ A  $_200 '` oÀ@‘ �Ú @@ ��’$% ��‘Å@  Ê 2 Q�àØ@‘@@@@  $_201 À¢¸  �Ð÷%@Õ;oá¨à@A@@@@  ‘ @  $_202 2Mì ‘ ��  $_203 '` oÀ@‘@@  Ó 2 Q�à÷@‘@@@@  $_204 À¢¸  �Ð÷%.@Þ;oá©à@A@@@@  ‘ *@  $_205 2Mì ‘ ��  $_206 '` oÀ@‘@@  ß 2 Q�à @‘E@@@  $_207 À¢¸  �c  ‘ G@  $_208 2Mì ‘ ÁBB@A  $_209 '` oÀ@‘ � ? @@ ��’$Š ��‘*@  ¼ 2 Q�à =@‘@@@@  $_210 À¢¸  �Ð÷%t@Ç,Fz÷à@A@@@@  ‘ p@  $_211 2Mì ‘ ��  $_212 '` oÀ@‘@@  ¿ 2 Q�à \@‘@@@@  $_213 À¢¸  �Ð÷%“@Ê,Fzøà@A@@@@  ‘ �@  $_214 2Mì ‘ ��  $_215 '` oÀ@‘@@  Ë 2 Q�à {@‘@@@@  $_216 À¢¸  �Ð÷%²@Ö,Fzùà@A@@@@  ‘ ®@  $_217 2Mì ‘ ��  $_218 '` oÀ@‘@@  Π2 Q�à š@‘@@@@  $_219 À¢¸  �Ð÷%Ñ@Ù,Fzúà@A@@@@  ‘ Í@  $_220 2Mì ‘ ��  $_221 '` oÀ@‘@@  Õ 2 Q�à ¹@‘E@@@  $_222 À¢¸  �Ð÷%ð@à>d  ‘ ë@  $_223 2Mì ‘ ÁBB@A  $_224 '` oÀ@‘ � ã @@ ��’%. ��‘Î@  º 2 Q�à á@‘@@@@  $_225 À¢¸  �Ð÷&@Å,E�à@A@@@@  ‘ @  $_226 2Mì ‘ ��  $_227 '` oÀ@‘@@  Ä 2 Q�à @‘@@@@  $_228 À¢¸  �Ð÷&7@Ï,E‘à@A@@@@  ‘ 3@  $_229 2Mì ‘ ��  $_230 '` oÀ@‘@@  Ò 2 Q�à @‘@@@@  $_231 À¢¸  �Ð÷&V@Ý,E’à@A@@@@  ‘ R@  $_232 2Mì ‘ ��  $_233 '` oÀ@‘@@  à 2 Q�à >@‘@@@@  $_234 À¢¸  �Ð÷&u@ë,E“à@A@@@@  ‘ q@  $_235 2Mì ‘ ��  $_236 '` oÀ@‘@@  ã 2 Q�à ]@‘E@@@  $_237 À¢¸  �Ð÷&”@î5É  ‘ �@  $_238 2Mì ‘ ÁAA@A  $_239 '` oÀ@‘ @ @@ ��‘m ��‘q@  ´ 2 Q�à „@‘@@@@  $_240 À¢¸  �Ð÷&»@¿‹{”à@A@@@@  ‘ ·@  $_241 2Mì ‘ ��  $_242 '` oÀ@‘@@  » 2 Q�à £@‘@@@@  $_243 À¢¸  �Ð÷&Ú@Æ‹{•à@A@@@@  ‘ Ö@  $_244 2Mì ‘ ��  $_245 '` oÀ@‘@@  Æ 2 Q�à Â@’@@@@  $_246 À¢¸  �Ð÷&ù@Ñú/Çà@A@@@@  ‘ õ@  $_247 2Mì ‘ ��  $_248 '` oÀ@‘ � î @@ ��’&9 ��‘Ù@  Å 2 Q�à ì@’@@@@  $_249 À¢¸  �Ð÷'#@Ð'ðšåà@A@@@@  ‘ @  $_250 2Mì ‘ ��  $_251 '` oÀ@‘ @@ ��’#u@  Р2 Q�à @’@@@@  $_252 À¢¸  �Ð÷'G@Û(Y…à@A@@@@  ‘ C@  $_253 2Mì ‘ ��  $_254 '` oÀ@‘ @@ ��’#™@  ¹ 2 Q�à 4@’@@@@  $_255 À¢¸  �Ð÷'k@Ä Bpíà@A@@@@  ‘ g@  $_256 2Mì ‘ ��  $_257 '` oÀ@‘ @ @ @@ ��’#¿ ��’#à��’#Ç@  ¼ 2 Q�à b@‘E@@@  $_258 À¢¸  �€-  ‘ “@  $_259 2Mì ‘ ÁAA@A  $_260 '` oÀ@‘ @@ ��’#è@  ¥ 2 Q�à ƒ@‘@@@@  $_261 À¢¸  �Ð÷'º@°/_i)à@A@@@@  ‘ ¶@  $_262 2Mì ‘ ��  $_263 '` oÀ@‘@@  > 2 Q�à ¢@‘@@@@  $_264 À¢¸  �Ð÷'Ù@I/_i*à@A@@@@  ‘ Õ@  $_265 2Mì ‘ ��  $_266 '` oÀ@‘@@  E 2 Q�à Á@’@@@@  $_267 À¢¸  �Ð÷'ø@P2‡3à@A@@@@  ‘ ô@  $_268 2Mì ‘ ��  $_269 '` oÀ@‘ @ @@ ��’$K ��’$O@  A 2 Q�à ê@’@@@@  $_270 À¢¸  �Ð÷(!@L/�ª,à@A@@@@  ‘ @  $_271 2Mì ‘ ��  $_272 '` oÀ@‘ @@ ��’$s@  G 2 Q�à @’@@@@  $_273 À¢¸  �Ð÷(E@R [3Üà@A@@@@  ‘ A@  $_274 2Mì ‘ ��  $_275 '` oÀ@‘ @@ ��’$—@  R 2 Q�à 2@’A@@@  $_276 À¢¸  �Ð÷(i@]Šó{à@A@@@@  ‘ e@  $_277 2Mì ‘ ��  $_278 '` oÀ@‘ � ^ @@ ��’'© ��’$Á@  M 2 Q�à \@’@@@@  $_279 À¢¸  �Ð÷(“@X}g5à@A@@@@  ‘ �@  $_280 2Mì ‘ ��  $_281 '` oÀ@‘ @@ ��’$å@  W 2 Q�à €@’@@@@  $_282 À¢¸  �Ð÷(·@b1þçà@A@@@@  ‘ ³@  $_283 2Mì ‘ ��  $_284 '` oÀ@‘ @ @ @ @@ ��’%  ��’% ��’% ��’%@  S 2 Q�à ³@’A@@@  $_285 À¢¸  �Ð÷(ê@^Fv^à@A@@@@  ‘ æ@  $_286 2Mì ‘ ��  $_287 '` oÀ@‘ @ @@ ��’%= ��’%A@  P 2 Q�à Ü@‘E@@@  $_288 À¢¸  �è(  ‘ @  $_289 2Mì ‘ ÁAA@A  $_290 '` oÀ@‘ @ @@ ��’%c ��’%g@   2 Q�à @‘@@@@  $_291 À¢¸  �Ð÷)9@ß§þà@A@@@@  ‘ 5@  $_292 2Mì ‘ ��  $_293 '` oÀ@‘@@   2 Q�à !@‘@@@@  $_294 À¢¸  �Ð÷)X@ß§ÿà@A@@@@  ‘ T@  $_295 2Mì ‘ ��  $_296 '` oÀ@‘@@  ¬ 2 Q�à @@‘@@@@  $_297 À¢¸  �Ð÷)w@·ߨà@A@@@@  ‘ s@  $_298 2Mì ‘ ��  $_299 '` oÀ@‘@@  ? 2 Q�à _@’@@@@  $_300 À¢¸  �Ð÷)–@J ‰ìlà@A@@@@  ‘ ’@  $_301 2Mì ‘ ��  $_302 '` oÀ@‘ @@ ��’%è@  G 2 Q�à ƒ@’@@@@  $_303 À¢¸  �Ð÷)º@R4p$æà@A@@@@  ‘ ¶@  $_304 2Mì ‘ ��  $_305 '` oÀ@‘ @@ ��‘”@  0 2 Q�à §@’@@@@  $_306 À¢¸  �Ð÷)Þ@;ú® à@A@@@@  ‘ Ú@  $_307 2Mì ‘ ��  $_308 '` oÀ@‘ � Ó@ ��’I@  , 2 Q�à Ì@’@@@@  $_309 À¢¸  �Ð÷*@7 Œn`à@A@@@@  ‘ ÿ@  $_310 2Mì ‘ ��  $_311 '` oÀ@‘ @@ ��‘Ý@    2 Q�à ð@’@@@@  $_312 À¢¸  �Ð÷*'@+)˜:à@A@@@@  ‘#@  $_313 2Mì ‘ ��  $_314 '` oÀ@‘ � @ @@ ��’)h ��‘  ��‘ @   2 Q�à@’@@@@  $_315 À¢¸  �Ð÷*V@($±à@A@@@@  ‘R@  $_316 2Mì ‘ ��  $_317 '` oÀ@‘ @ @ @@ ��’&ª ��’&® ��’(ô@   2 Q�àM@‘E@@@  $_318 À¢¸  �Ð÷*„@()ˆAÂ.  ‘@  $_319 2Mì ‘ ÁAA@A  $_320 '` oÀ@‘ @ �x@ ��’&Ö ��’)Æ@  w N$ý @ð@B@ Ð|* @ u u@@@@­@  $_321 À¢¸ ¡�5Y  ’ @«  “ A¯  “  B³@  $_322 '` oÀ@’ @@@  $_323 '` oÀ@“  @A �­@ ��’*½@  $_324 '` oÀ@“  *@B@@  ‘ 2 Q�à®@ª@@@  $_325 À¢¸  �Ð÷*ä@›×1GŽ  ‘ß@  $_326 2Mì ‘ ÁDD@A  $_327 '` oÀ@‘ @ @ @ @@ @ @ @ ��’‡@  $_328 ? 3V «� Ž$  r 2 Q�àÜ@Ø@@@  $_329 À¢¸  �Ð÷+@|uîH¼  ‘ @  $_330 2Mì ‘ ÁDD@A  $_331 '` oÀ@‘ @ @ @ @@ @ @ @ ��’µ@  $_332 ? 3V ¬� ¼$  † 2 Q�à @@@@  $_333 À¢¸  �Ð÷+@@�uúMê  ‘;@  $_334 2Mì ‘ ÁDD@A  $_335 '` oÀ@‘ @ @ @ @@ @ @ @ ��’ã@  $_336 ? 3V ­� ê$  Ÿ 2 Q�à8@‘E@@@  $_337 À¢¸  �I  ‘i@  $_338 2Mì ‘ ÁAA@A  $_339 '` oÀ@‘ @ �b@ ��’'À ��’*°@  t 2 Q�à_@‘@@@@  $_340 À¢¸  �Ð÷+–@&3H­à@A@@@@  ‘’@  $_341 2Mì ‘ ��  $_342 '` oÀ@‘@@  Ï 2 Q�à~@‘@@@@  $_343 À¢¸  �Ð÷+µ@Ú&3H®à@A@@@@  ‘±@  $_344 2Mì ‘ ��  $_345 '` oÀ@‘@@   2 Q�à�@‘@@@@  $_346 À¢¸  �Ð÷+Ô@&3H¯à@A@@@@  ‘Ð@  $_347 2Mì ‘ ��  $_348 '` oÀ@‘@@  W 2 Q�à¼@‘E@@@  $_349 À¢¸  �Ð÷+ó@by ‘î@  $_350 2Mì ‘ ÁAA@A  $_351 '` oÀ@‘ @ �ç@ ��’(E ��’+5@  2 2 Q�àä@‘@@@@  $_352 À¢¸  �F  ‘@  $_353 2Mì ‘ ÁBB@A  $_354 '` oÀ@‘ �  @@ ��’+X ��’J@  - 2 Q�à @‘@@@@  $_355 À¢¸  �m  ‘<@  $_356 2Mì ‘ ÁAA@A  $_357 '` oÀ@‘ @@ ��’(‘@  - 2 Q�à,@‘@@@@  $_358 À¢¸  �Ð÷,c@8ø‹à@A@@@@  ‘_@  $_359 2Mì ‘ ��  $_360 '` oÀ@‘@@  2 2 Q�àK@‘@@@@  $_361 À¢¸  �Ð÷,‚@=ø‹à@A@@@@  ‘~@  $_362 2Mì ‘ ��  $_363 '` oÀ@‘@@  " 2 Q�àj@‘@@@@  $_364 À¢¸  �Ð÷,¡@-ø‹à@A@@@@  ‘�@  $_365 2Mì ‘ ��  $_366 '` oÀ@‘@@  Ä 2 Q�à‰@’@@@@  $_367 À¢¸  �Ð÷,À@Ï ½Øà@A@@@@  ‘¼@  $_368 2Mì ‘ ��  $_369 '` oÀ@‘ @ �¶@ ��’) ��’,@@   N$ý @ð@B@ ÐÇ,G@ À@@@@ê@  $_371 À¢¸ ¡�‡à@A@@@@  ’ @é  “ Aí@  $_372 '` oÀ@’ @@@  $_373 '` oÀ@“  @A �ç@ ��’,÷@  Ô 2 Q�àà@Ü@@@  $_374 À¢¸  �Ð÷-@ÞFàþ*  ‘@  $_375 2Mì ‘ ÁCC@A  $_376 '` oÀ@‘ @ @ @@ @ @ ��’Ì@  $_377 ? 3V Û� Ó"  º 2 Q�à @@@@  $_378 À¢¸  �Ð÷-I@Äœ"ÕV  ‘=@  $_379 2Mì ‘ ÁCC@A  $_380 '` oÀ@‘ @ @ @@ @ @ ��’ø@  $_381 ? 3V Ú� ÿ"  Ì 2 Q�à8@4@@@  $_382 À¢¸  �Ð÷-u@Öœ.Ú‚  ‘i@  $_383 2Mì ‘ ÁCC@A  $_384 '` oÀ@‘ @ @ @@ @ @ ��’$@  $_385 ? 3V Ù� +"  ã 2 Q�àd@‘@@@@  $_386 À¢¸  �—®  ‘•@  $_387 2Mì ‘ ÁBA@A  $_388 '` oÀ@‘ @ @@ ��’æ ��’ê@  É 2 Q�àŠ@’@@@@  $_389 À¢¸  �Ð÷-È@Ô+kU6à@A@@@@  ‘½@  $_390 2Mì ‘ ��  $_391 '` oÀ@‘ @@ ��’@  Ñ rHÈ @�  Ï N$ý @ð@B@ ÐÔ-G@ Í Í@@@@ë@  $_395 À¢¸ ¡�tà@A@@@@  ’ @ê  “ Aî  “  Bò@  $_396 '` oÀ@’ @@@  $_397 '` oÀ@“  @A@@  $_398 '` oÀ@“  %@B @ �õ @@ ��’Ö ��’.  ��’ 6@@  ò 2 Q�àø@ô@@@  $_399 À¢¸  �Ð÷"@ü-M¦/A  ‘)@  $_400 2Mì ‘ ÁDD@A  $_401 '` oÀ@‘ @ @ @ @@ @ @ @ ��’Ò@  $_402 ? 3V õ� Ù$  ® 2 Q�à&@"@@@  $_403 À¢¸  �Ð÷P@¸x¬øo  ‘W@  $_404 2Mì ‘ ÁDD@A  $_405 '` oÀ@‘ @ @ @ @@ @ @ @ ��’@  $_406 ? 3V ö� $   2 Q�àT@P@@@  $_407 À¢¸  �Ð÷~@Ìx¸ý�  ‘…@  $_408 2Mì ‘ ÁDD@A  $_409 '` oÀ@‘ @ @ @ @@ @ @ @ ��’.@  $_410 ? 3V ÷� 5$  Û 2 Q�à‚@‘@@@@  $_411 À¢¸  �BË  ‘³@  $_412 2Mì ‘ @  $_413 '` oÀ@‘ @ @ �¬@ ��’é ��’  ��’-þ@  ß 2 Q�à­@‘E@@@  $_414 À¢¸  �sö  ‘Þ@  $_415 2Mì ‘ ÁBB@A  $_416 '` oÀ@‘ @ @@ ��’/ ��’@  © 2 Q�àÓ@’@@@@  $_417 À¢¸  �Ð÷þ@´ Ëfà@A@@@@  ‘@  $_418 2Mì ‘ ��  $_419 '` oÀ@‘ @ @ �@ ��’> ��’^ ��’.S@  ­ 2 Q�à@’@@@@  $_420 À¢¸  �Ð÷-@¸%pŠ®à@A@@@@  ‘5@  $_421 2Mì ‘ ��  $_422 '` oÀ@‘ @ @ @ �1 @@ ��’o ��’� ��’“ ��’.ˆ ��’-â@@  ­ N$ý @ð@B@ Ð².Ï@ « «@@@@s@  $_424 À¢¸ ¡�Kà@A@@@@  ’ @r  “ Av  “  Bz@  $_425 '` oÀ@’ @@@  $_426 '` oÀ@“  @A @@ ��’ #@@  $_427 '` oÀ@“  +@B @ @@ ��’ 2@ ��’'n@  Ï 2 Q�à€@|@@@  $_428 À¢¸  �Ð÷/½@ÙljA  ‘±@  $_429 2Mì ‘ ÁDD@A  $_430 '` oÀ@‘ @ @ @ @@ @ @ @ ��’©@  $_431 ? 3V }� °$   2 Q�à®@ª@@@  $_432 À¢¸  �Ð÷/ë@‰/h7…o  ‘ß@  $_433 2Mì ‘ ÁDD@A  $_434 '` oÀ@‘ @ @ @ @@ @ @ @ ��’×@  $_435 ? 3V ~� Þ$  “ 2 Q�àÜ@Ø@@@  $_436 À¢¸  �Ð÷0@�/hCŠ�  ‘ @  $_437 2Mì ‘ ÁDD@A  $_438 '` oÀ@‘ @ @ @ @@ @ @ @ ��’@  $_439 ? 3V �  $@@¤ïÈ Ühx9Ê­ÞzZ§À=„•¦¾@‹‹cî‹c´ÆhÑÏ"~Àf„•¦¾@Îç ‘*© àæÁXí5”´À�„•¦¾@$äYBÜp_Pu¸Kªdõ-Þ9„•¦¾‚qv@�‘·�!n›  �Ð÷� )Datatypes $Init #Coq@@#natò@€·�!m©œ   �Ð÷� %Logic@"eqÐ @A€ ›  �Ð÷¢� %Lists@'NatList@'natprod&Ô ª@€©œ   A€ ©š �Ð÷@#fst#×5€�©  �B�A©š �Ð÷@#snd#é€ �‘·�!p&ÍÐ&@�B�B°@� @ @@D·M/©› :€°3©( ©%�©�·XV·IWµ©H >'C©°@)5�‘·CÍ·cE©°G©< ©š �Ð÷I@)swap_pair0€5�·om·`n©^ T© ?�‘·4XÍ2·xZ©+°x©L�'D�·~|·o}©m H�‘©q ›  �Ð÷g@'natlist&Ó©)@€©œ  B€ ©œ  �B€�œ  ”A€©  © � © ©�© ©�© ©�œ  $A€�‘©› *�‘©Ÿ .©( %©* ©, �‘©© »-�‘©­ ¿,�‘©± @�‘µC©{°E©š �Ð÷¬@(nonzerosEù €�©F >©H E©J B©L ?©N =©P H©R J7,�‘µ©Р_©Y V/C©™°c©š �Ð÷Ê@*oddmembers=x�ì€ �‘µ©ß ñQC©¦°ó©š �Ð÷×@/countoddmembers©7€�©q n©s k©u d©w tdb�‘µHC©º°©�©€ x©‚ u©„ oi|�‘µUC©ǰ©!�pƒ�‘µ©  ˜©’ �©” ©– ‰©˜ ©š ‰©œ ©™�…ƒC©Þ°¨©š �Ð÷@)alternate`+ € �©© ”©« ’�‘µ©) ¸©² ¯ C©ò°¼© ©¸ µ��‘µ©6 Å©¿ ¼©Á ¬™C©°Ë©# ŸC�‘µ©C Ò©Ì ©É�©Ë�©Í�©Ï�©Ñ�©Ó�©Õ�©×�©Ù�©Û�©Ý�©ß�©á�©ã�L©ê ©ç�©é�©ë�©í�©ï�©ñ�©ó�©õ�©÷�©ù�2ãC©>°©` ç88�‘µ©€ ’öC©G°”©š �Ð÷x@%count#ìg•€  © © © © © d �‘µëC©]°ª© …�‘µC©d°±© %©š �Ð÷—@#sum#é©€  �‘µ-C©r°¿©+ 3©š �Ð÷¥@#add#Îû€ :',�‘µC©€°Í©9 +<�‘µ© ›  �Ð÷� &Basics@@$boolšä@€œ   A€C©•°©š �Ð÷Æ@&member4U0€! �‘µ©Û œ  B€C©¥°© \S�‘µ:C©¬°ù©e W©š �Ð÷ß@*remove_one>d*õ€ ^©y l©{ x©} deu�‘µNC©À° ©y k© m©ˆ�‘µ© C©̰©… {©  y©” ‡©– “©˜ ƒ©š �©œ ™��‘µqC©ß°,©˜ Š©3 Œ©§ š©© ¦©« ’¨�‘µ|C©î°;©§ ™©š �Ð÷!@*remove_all>d€B°�‘µ‰C©û°H©´ ¦© ;¸�‘µ9C©°P©¼ ²©7»�‘µ™C© °X©Ä ¶© ¸©Ó Æ©Õ Ò©× ¾©Ù Ä©Û ÂGÓ�‘µ—C©°—©š �Ð÷O@&subset5É€ ©é æ©ë ÞÐe™�‘µŽC©.°§© ©ô ñ©ö é p”�‘·�!v†·�!sš �Ð÷l@#bag#Ð.€µ©š �Ð÷}@&eq_ind £J€à¹·�!bÅ©N°›ÍÐÇ@ @@ @@°@ @@D·�!xФn ©�© �Cu©š ¬©�©{©š �Ð÷Û@'beq_nat)1{Z€ ��©š �Ð÷� )Induction@@,beq_nat_refl$P Þ€�‹C©u°©. �©‘�‘·�!lG©º I–�‘·LÍÐL@ @B @B°@ @ @ @@D·ÚU©�°Ú©š �Ð÷� #NatÚ@$pred ¯`<€�©š �Ð÷È@&length3à¯Ø€˜©�©š �Ð÷Ð@"tl#Gj€ ¼ ©ã õ©�© ã·ûù·�"l'y©ì þ©�©�©yÏ�‘·�"l1…·�"l2ˆ·�"l3‹©š �Ð÷ò@+natlist_ind²Ž�€À·“©˰•©š �Ð÷ü@#app#Ï뀠© ëxì©  í© |© £© ‚©õ·,*·�#l1'ª·�%IHl1'©å°¯© © �DŽ© ©! ’µ©š �Ð÷*@(eq_ind_r!¼2#€àÀ©+ ©- �E·KÆ©þ°È© ©Ä ©7 ¨©9 �F ©D Ó©Í ¯©@ ©B '&&C©°Û©F ©H ©Ù»-©K  ¼�‘©W æ©à Ï©â Õ,�‘©_ îË�‘·nñ·lò©gÀ·rõ©-°z©–�©d HI©š �Ð÷¤@½ £�`€  © Æ©u ‡©  ©¥u¦·�‹·a ·_©B°�©«�r© ¯©¯�쵩Zà˜© ©¶�f·Ÿ�©R°Ÿ©N©�©$ ©À�_©– ¨©�©Æ�©” yxxC©c°°©Ì�©š R~©6 ©Ò�Vƒ�‘·ó8©­À·ö;©s°À©Ü�©š �Ð÷¦@#rev#ç€v䩸 ÊA·ÍË·ÒI·�$IHl'µ©”àÒ©T ©ð�©©ó�©P 25·ÞÜ©‘°Þ¨©P�M©¤àâ©d   ©¨àæb·é穜°é©k ©�©d ¹I¹©ß ñ©c�o½!©š �Ð÷=@)plus_comm ¿€&©�©ã '$©š �Ð÷á@*app_length2‡3€C©¸°©!�©EQRÒ�‘·Cˆ©ýÀ·F‹©ð�©ø ÜlÜ£··‘·Hµ©Úà•ã·–©ΰ˜Щ’â©  ›¼© ëzêC©Õ°Ÿ©  Â~Âî�‘·)'·`¥©À·c¨©à°ª©k�© ûX©¨ Šq©# ²©¬ ©u#·�!h;·B¹·p©ò°¼©}�©)  V©º ƒµ© àÅ©¿ t·MÈ©°Ê ©Ä ü©7 ©�¾eµ©C Ò©Ì \C© °Ö©A ‚©™�©E *©Ö »+C©°à©¡�©M ©Þ "b3�‘·¤é©^À·§ì©$°î©¯±<·us·zñ·¨µ©:àõ©ï Ñ©¸¦·~ù©1°ûHc©BàýKhdJ©¾‡©š �Ð÷e@(app_snocŠó{€ ß²C©=°©È…)U�‘·ˆ ·† ·„ ·�"l4©Wà©} ^o·š©M°©‚ U©„ h{h©bੈ l©Š û| ©” #©š �Ð÷Š@)app_assoc Bp퀰w…©• ©— x|{© °z~}�‘·°3·®4©©À·´7©o°9©ôB©¥ ©÷n©ø©± @©« ©ý±·ÉÇ·�E·›©~°H©<©´ ©;ÍÐÏ@ @A @A°@ @ @@D·ÙשŒ°V©�©à©T¾—©Æ ©�©>: µ©©àd©Ï )©!O·íh© °j·©Õ ! ©ß n ©)G¼C©§°q©,�©Þ ©o gÅĩ⠩4�·�"n'µ©Æà�·‚©º°„©~ ©{KÔ©� ©ô %©F�½© �©‰ u'©L�©þ oÑãC©Ͱ—©R�© ©• �wÙ© ©Z�Bï�‘T�‘V�‘?�‘·eª©À·h­©å°^U©š �Ð÷@+beq_natlistø0€ ©) g©  ——·>·�!t¾·�#IHtµ©¶àsj·±t©ý°vm©š �Ð÷v@$andbšbÕ€ © ªª©Äà�x·¿‚© °„{© }$©J ˆ© ��©,ª)©°©ªÍC©°�†©1 /�‘·áßµ—C©°—©š �Ð÷—@#leb�9+€ ä©Þ æ©ë è@™�‘·{y©š �Ð÷y@'nat_ind¨�J€À·ƒ�©6°¯© O樵´C©;°´© ÷ü­·Œ‹·�$IHn' µ©Sུ·û¾©G°À^·©) a�`C©K°Ä©- ‘© �“¿f�‘·©‘À·©W°Щ9 © ©­ t©ÎÙ·s¬·n*·l Íß·²°©e°Þ©G ©  #©» %Û©$Ü µ©àéà,ë©R ©+Ç©2�©š �Ð÷¦@(ble_n_Snú® €C©}°ö©_ ©8 ;©Ó =Ø©<ô·™Òµ©—àøD©j ©C F©Þ H2©G§C©‘° ©s ©L O©ç QÆ©P¯�‘·Fè·�"s1b·�"s2e©àÀ·n©¦°ó©u ©aª©b Âéd Ä©G~µ©ì þ©j WÊC©µ°©„ ©p+©q ^©T cÓ·Ñ ·Ìˆ·Ê©Á°©� ©| ËÜ©~ Ík©€ Ï©c÷µÈ‚©j ÈrGÍ€·†I©Ò°©¡ Í†�ì ©•�©‘ �Hò©” ×Í�Šõ ©ž�©š  ©} üßü µ©øà6©¢ �G©†#·=;©ð°=ž©- ?©±� ©à©¯  œ©± C©ü°I©Ë ©½� ©àO·RP©°R$©B TC© °V©Ø ©Ä ø©Æ  &©È  ©«¬*�‘·\ß·Zà·�&Hreveq©°å’¦©·�'Hrevrev©!°ë©¬�ö©áàï©' ñ>©åàó©´�©¶Þ·|÷©/°ù5F©@àûH©n  ©š �Ð÷c@.rev_involutive}g5€êOÜ©ò�©Kà³·Œ©?° Ê©|  =X�‘©€ ›  �Ð÷v@)natoption"©)4@€©œ  A€÷�‘©Ž ©1�‘©“ œ  B€�‘�‘©œ ©�‘©¡ !©Œ�‘·ï4·�'defaultºÍë·¾9©q°¾©š �Ð÷¢@"hd#F~€�©š �Ð÷¨@+option_elim8÷+€ –©š �Ð÷¯@(hd_error/aò€œ © Ô©  © ·ÚØ·V©É Û© 4©Ý�‘·?›  �Ð÷�Ä@"id Kžñ@€ÍÐ@�A�A°@� @@D·�!i©§° ©š �Ð÷@&beq_id—yÞ€ÂÄ�·þüµ©nà+"·i,©µ°.%Ì0©SË©M²C©¹°2)© ©œ  )A€º�‘·�!d›  �Ð÷¢�õ*PartialMap@+partial_mapm„$@€·�!k<·šµ©�àMD·‹N©×°’ÍÐP@‰ˆ°@ @@A·@U—ó ©’l©š �Ð÷@$find,éõW€ ‰ü©" ¢©œã©A�©š �Ð÷U@+beq_id_refl+kU6€}C©ñ°¬©  ©š �Ð÷/@&update? òû€°ž�‘·;9·=j·Nk·�!oO·�!H©°€©`­hµ©à„k·Â…©°ÉÍ74& ©ÅÊ©3  ©P Щ7 .©p+/C©°Õ©< 3©)°$Â6 ¸d ’„›õÀZaåÔ¤\Î