!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@�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”±ÐD,Áq9‹UU+ÈÖ'ä c�0ÿWÛ jƒî. %R_µÊ<úZu¡‹0\ Ùu•C0¿½„•¦¾¼Ý0A™›’A Ð %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”±ÐD,Áq9‹UU+ÈÖ'ä  )Datatypes $Init #Coq@�0·f:|aÔ¬)ØÎÁ€Ü‘«Â  )Induction@�0ÿWÛ jƒî. %R_µ �0O{øyÊ�jäbſŠ *Logic_Type $Init #Coq@�0$ÄISÜ'ÓÊG6Ȳæÿ  #Nat 0 /@�0ù±dbGôntO ZTk  )Notations $Init #Coq@�0XMtÔ±4– ­ ß±»9-  %Peano $Init #Coq@�0Øo¥œ gÓFFø€~³ä  'Prelude $Init #Coq@�0A‘Ðä+ïA¤Áìu·b;�  &Specif $Init #Coq@�0؇ñ)+)œ²Þ¬/›Þ*K  'Tactics $Init #Coq@�0Ÿ5ØŒI`VÓÛ ñˆ  "Wf $Init #Coq@�0¢��“²èýê–ÁdV–<§ AA€   ó rHÈ @�  ñ N$ý @ð@B@ Ðö]@ í@@@@ €@@  #_19 À¢¸ ¡�’à@A@@@@  ’ @  @@@  “ A@  #_20 '` oÀ@’ @@@  #_21 '` oÀ@“  @A �)nat_scope �@ ��’ ��’@  ÷ 2 Q�à @‘À@@ •7@@‘G@@@  #_22 À¢¸  �Ð÷;@x%)8  ‘6@  #_23 2Mì ‘ ÁCC@A  #_24 '` oÀ@‘ @ @ @@ @ @ ��’å@  #_25 ? 3V /_rect_from_type� í#  Ò 2 Q�à2@.@@@  #_26 À¢¸  �Ð÷h@Ü 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@Ô$!¢�~ ‘( ‘"..@�W@@ .[ _ ; .. ; _ ]     @.[ x ; .. ; y ]  è 2 Q�àÔ@‘@@@@  #_88 À¢¸  �Ð÷ @ó'€gyÕ  ‘@  #_89 2Mì ‘ @  #_90 '` oÀ@‘@@  Ú 2 Q�àð@‘@@@@  #_91 À¢¸  �Ð÷ '@å'€gzñ  ‘"@  #_92 2Mì ‘ @  #_93 '` oÀ@‘@@  Ì 2 Q�à @‘@@@@  #_94 À¢¸  �Ð÷ C@×'€g{   ‘>@  #_95 2Mì ‘ @  #_96 '` oÀ@‘@@  ¾ 2 Q�à(@‘E@@@  #_97 À¢¸  �Ð÷ _@É4Ã’Ñ)  ‘Z@  #_98 2Mì ‘ ÁBB@A  #_99 '` oÀ@‘ �R �T@ ��’ž ��’¢@  ˜ 2 Q�àQ@‘E@@@  $_100 À¢¸  �îQ  ‘‚@  $_101 2Mì ‘ ÁAA@A  $_102 '` oÀ@‘ @@ ��’×@  } 2 Q�àr@‘E@@@  $_103 À¢¸  �3r  ‘£@  $_104 2Mì ‘ ÁAA@A  $_105 '` oÀ@‘ @ @@ ��’ù ��’ý@  $_106 ü @ Ð |  |@  |A@&_ ++ _Ð|�  ¡‘ �| @�A�  ��"++ ¡‘ �| A � @@ @ @@ ¤Å  A@ “# ++ • A@  BA@@@@  $_107 %cö?Ð@@    .  @@@   /  @@@@¢�‘� ‘ 9 ‘ 8@@ &_ ++ _  ! !@&x ++ y  ¨ 2 Q�àã@‘D@@@  $_108 À¢¸  �Ð÷!@³/]°¿à@A@@@@  ‘@  $_109 2Mì ‘ ��  $_110 '` oÀ@‘@@  ¼ 2 Q�à@‘D@@@  $_111 À¢¸  �Ð÷!9@Ç/]°Àà@A@@@@  ‘5@  $_112 2Mì ‘ ��  $_113 '` oÀ@‘@@  F 2 Q�à!@‘D@@@  $_114 À¢¸  �Ð÷!X@Q/]°Áà@A@@@@  ‘T@  $_115 2Mì ‘ ��  $_116 '` oÀ@‘@@  Þ 2 Q�à@@‘@@@@  $_117 À¢¸  ��  ‘q@  $_118 2Mì ‘ ÁBB@A  $_119 '` oÀ@‘ �i @@ ��’ ´ ��’Ì@  Ý 2 Q�àg@‘@@@@  $_120 À¢¸  �DE  ‘˜@  $_121 2Mì ‘ ÁAA@A  $_122 '` oÀ@‘ @@ ��’í@  Ü 2 Q�àˆ@‘D@@@  $_123 À¢¸  �Ð÷!¿@ç4˜ Âà@A@@@@  ‘»@  $_124 2Mì ‘ ��  $_125 '` oÀ@‘@@  £ 2 Q�à§@‘D@@@  $_126 À¢¸  �Ð÷!Þ@®4˜ Ãà@A@@@@  ‘Ú@  $_127 2Mì ‘ ��  $_128 '` oÀ@‘@@  § 2 Q�àÆ@‘D@@@  $_129 À¢¸  �Ð÷!ý@²8<ÃCà@A@@@@  ‘ù@  $_130 2Mì ‘ ��  $_131 '` oÀ@‘@@  M 2 Q�àå@‘E@@@  $_132 À¢¸  �y  ‘@  $_133 2Mì ‘ ÁAA@A  $_134 '` oÀ@‘ @@ ��’k@  , 2 Q�à@‘D@@@  $_135 À¢¸  �Ð÷"=@7 ë±à@A@@@@  ‘9@  $_136 2Mì ‘ ��  $_137 '` oÀ@‘@@  ) 2 Q�à%@‘E@@@  $_138 À¢¸  �Ð÷"\@4=x�ì  ‘W@  $_139 2Mì ‘ ÁAA@A  $_140 '` oÀ@‘ @@ ��’¬@  ó 2 Q�àG@‘D@@@  $_141 À¢¸  �Ð÷"~@þ1éåà@A@@@@  ‘z@  $_142 2Mì ‘ ��  $_143 '` oÀ@‘@@  ý 2 Q�àf@‘E@@@  $_144 À¢¸  �Ð÷"�@©7  ‘˜@  $_145 2Mì ‘ ÁAA@A  $_146 '` oÀ@‘ @@ ��’í@  í 2 Q�àˆ@‘D@@@  $_147 À¢¸  �Ð÷"¿@ø+¡=“à@A@@@@  ‘»@  $_148 2Mì ‘ ��  $_149 '` oÀ@‘@@  è 2 Q�à§@‘D@@@  $_150 À¢¸  �Ð÷"Þ@ó+¡=”à@A@@@@  ‘Ú@  $_151 2Mì ‘ ��  $_152 '` oÀ@‘@@  ñ 2 Q�àÆ@‘D@@@  $_153 À¢¸  �Ð÷"ý@ü+¡=•à@A@@@@  ‘ù@  $_154 2Mì ‘ ��  $_155 '` oÀ@‘@@   2 Q�àå@‘E@@@  $_156 À¢¸  �Ð÷#@ `+   ‘@  $_157 2Mì ‘ ÁAA@A  $_158 '` oÀ@‘ @ @@ ��’m ��’q@  Ó 2 Q�à @‘D@@@  $_159 À¢¸  �Ð÷#C@Þò4&à@A@@@@  ‘?@  $_160 2Mì ‘ ��  $_161 '` oÀ@‘@@  Ì 2 Q�à+@‘D@@@  $_162 À¢¸  �Ð÷#b@×ò4'à@A@@@@  ‘^@  $_163 2Mì ‘ ��  $_164 '` oÀ@‘@@  × 2 Q�àJ@‘D@@@  $_165 À¢¸  �Ð÷#�@âò4(à@A@@@@  ‘}@  $_166 2Mì ‘ ��  $_167 '` oÀ@‘@@  â 2 Q�ài@‘D@@@  $_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�àË@‘D@@@  $_177 À¢¸  �Ð÷$@›-ûÅà@A@@@@  ‘þ@  $_178 2Mì ‘ ��  $_179 '` oÀ@‘@@  ‘ 2 Q�àê@‘D@@@  $_180 À¢¸  �Ð÷$!@œ-ûÆà@A@@@@  ‘@  $_181 2Mì ‘ ��  $_182 '` oÀ@‘@@    2 Q�à @‘@@@@  $_183 À¢¸  �   ‘:@  $_184 2Mì ‘ ÁAA@A  $_185 '` oÀ@‘ @ @@ ��‘ ��‘@  ­ 2 Q�à/@‘D@@@  $_186 À¢¸  �Ð÷$f@¸/_™Ùà@A@@@@  ‘b@  $_187 2Mì ‘ ��  $_188 '` oÀ@‘@@  ¶ 2 Q�àN@‘@@@@  $_189 À¢¸  �@  ‘@  $_190 2Mì ‘ @  $_191 '` oÀ@‘ �v @@ ��’#Á ��‘a@  Á 2 Q�àt@‘D@@@  $_192 À¢¸  �Ð÷$«@Ì/]žïà@A@@@@  ‘§@  $_193 2Mì ‘ ��  $_194 '` oÀ@‘@@  Ê 2 Q�à“@‘D@@@  $_195 À¢¸  �Ð÷$Ê@Õ/]žðà@A@@@@  ‘Æ@  $_196 2Mì ‘ ��  $_197 '` oÀ@‘@@  Ù 2 Q�à²@‘@@@@  $_198 À¢¸  �Ð÷$é@ä4U0  ‘ä@  $_199 2Mì ‘ A  $_200 '` oÀ@‘ �Û @@ ��’$& ��‘Æ@  Ë 2 Q�àÙ@‘D@@@  $_201 À¢¸  �Ð÷%@Ö;oá¨à@A@@@@  ‘ @  $_202 2Mì ‘ ��  $_203 '` oÀ@‘@@  Ô 2 Q�àø@‘D@@@  $_204 À¢¸  �Ð÷%/@ß;oá©à@A@@@@  ‘ +@  $_205 2Mì ‘ ��  $_206 '` oÀ@‘@@  à 2 Q�à @‘E@@@  $_207 À¢¸  �d  ‘ H@  $_208 2Mì ‘ ÁBB@A  $_209 '` oÀ@‘ � @ @@ ��’$‹ ��‘+@  ½ 2 Q�à >@‘D@@@  $_210 À¢¸  �Ð÷%u@È,Fz÷à@A@@@@  ‘ q@  $_211 2Mì ‘ ��  $_212 '` oÀ@‘@@  À 2 Q�à ]@‘D@@@  $_213 À¢¸  �Ð÷%”@Ë,Fzøà@A@@@@  ‘ �@  $_214 2Mì ‘ ��  $_215 '` oÀ@‘@@  Ì 2 Q�à |@‘D@@@  $_216 À¢¸  �Ð÷%³@×,Fzùà@A@@@@  ‘ ¯@  $_217 2Mì ‘ ��  $_218 '` oÀ@‘@@  Ï 2 Q�à ›@‘D@@@  $_219 À¢¸  �Ð÷%Ò@Ú,Fzúà@A@@@@  ‘ Î@  $_220 2Mì ‘ ��  $_221 '` oÀ@‘@@  Ö 2 Q�à º@‘E@@@  $_222 À¢¸  �Ð÷%ñ@á>d  ‘ ì@  $_223 2Mì ‘ ÁBB@A  $_224 '` oÀ@‘ � ä @@ ��’%/ ��‘Ï@  » 2 Q�à â@‘D@@@  $_225 À¢¸  �Ð÷&@Æ,E�à@A@@@@  ‘ @  $_226 2Mì ‘ ��  $_227 '` oÀ@‘@@  Å 2 Q�à @‘D@@@  $_228 À¢¸  �Ð÷&8@Ð,E‘à@A@@@@  ‘ 4@  $_229 2Mì ‘ ��  $_230 '` oÀ@‘@@  Ó 2 Q�à @‘D@@@  $_231 À¢¸  �Ð÷&W@Þ,E’à@A@@@@  ‘ S@  $_232 2Mì ‘ ��  $_233 '` oÀ@‘@@  á 2 Q�à ?@‘D@@@  $_234 À¢¸  �Ð÷&v@ì,E“à@A@@@@  ‘ r@  $_235 2Mì ‘ ��  $_236 '` oÀ@‘@@  ä 2 Q�à ^@‘E@@@  $_237 À¢¸  �Ð÷&•@ï5É  ‘ �@  $_238 2Mì ‘ ÁAA@A  $_239 '` oÀ@‘ @ @@ ��‘n ��‘r@  µ 2 Q�à …@‘D@@@  $_240 À¢¸  �Ð÷&¼@À‹{”à@A@@@@  ‘ ¸@  $_241 2Mì ‘ ��  $_242 '` oÀ@‘@@  ¼ 2 Q�à ¤@‘D@@@  $_243 À¢¸  �Ð÷&Û@Ç‹{•à@A@@@@  ‘ ×@  $_244 2Mì ‘ ��  $_245 '` oÀ@‘@@  Ç 2 Q�à Ã@’@@@@  $_246 À¢¸  �Ð÷&ú@Òú/Çà@A@@@@  ‘ ö@  $_247 2Mì ‘ ��  $_248 '` oÀ@‘ � ï @@ ��’&: ��‘Ú@  Æ 2 Q�à í@’@@@@  $_249 À¢¸  �Ð÷'$@Ñ'ðšåà@A@@@@  ‘ @  $_250 2Mì ‘ ��  $_251 '` oÀ@‘ @@ ��’#v@  Ñ 2 Q�à @’@@@@  $_252 À¢¸  �Ð÷'H@Ü(Y…à@A@@@@  ‘ D@  $_253 2Mì ‘ ��  $_254 '` oÀ@‘ @@ ��’#š@  º 2 Q�à 5@’@@@@  $_255 À¢¸  �Ð÷'l@Å Bpíà@A@@@@  ‘ h@  $_256 2Mì ‘ ��  $_257 '` oÀ@‘ @ @ @@ ��’#À ��’#Ä ��’#È@  ½ 2 Q�à c@‘E@@@  $_258 À¢¸  ��-  ‘ ”@  $_259 2Mì ‘ ÁAA@A  $_260 '` oÀ@‘ @@ ��’#é@  ¦ 2 Q�à „@‘D@@@  $_261 À¢¸  �Ð÷'»@±/_i)à@A@@@@  ‘ ·@  $_262 2Mì ‘ ��  $_263 '` oÀ@‘@@  ? 2 Q�à £@‘D@@@  $_264 À¢¸  �Ð÷'Ú@J/_i*à@A@@@@  ‘ Ö@  $_265 2Mì ‘ ��  $_266 '` oÀ@‘@@  F 2 Q�à Â@’@@@@  $_267 À¢¸  �Ð÷'ù@Q2‡3à@A@@@@  ‘ õ@  $_268 2Mì ‘ ��  $_269 '` oÀ@‘ @ @@ ��’$L ��’$P@  B 2 Q�à ë@’@@@@  $_270 À¢¸  �Ð÷("@M/�ª,à@A@@@@  ‘ @  $_271 2Mì ‘ ��  $_272 '` oÀ@‘ @@ ��’$t@  H 2 Q�à @’@@@@  $_273 À¢¸  �Ð÷(F@S [3Üà@A@@@@  ‘ B@  $_274 2Mì ‘ ��  $_275 '` oÀ@‘ @@ ��’$˜@  S 2 Q�à 3@’A@@@  $_276 À¢¸  �Ð÷(j@^Šó{à@A@@@@  ‘ f@  $_277 2Mì ‘ ��  $_278 '` oÀ@‘ � _ @@ ��’'ª ��’$Â@  N 2 Q�à ]@’@@@@  $_279 À¢¸  �Ð÷(”@Y}g5à@A@@@@  ‘ �@  $_280 2Mì ‘ ��  $_281 '` oÀ@‘ @@ ��’$æ@  X 2 Q�à �@’@@@@  $_282 À¢¸  �Ð÷(¸@c1þçà@A@@@@  ‘ ´@  $_283 2Mì ‘ ��  $_284 '` oÀ@‘ @ @ @ @@ ��’%  ��’% ��’% ��’%@  T 2 Q�à ´@’A@@@  $_285 À¢¸  �Ð÷(ë@_Fv^à@A@@@@  ‘ ç@  $_286 2Mì ‘ ��  $_287 '` oÀ@‘ @ @@ ��’%> ��’%B@  Q 2 Q�à Ý@‘E@@@  $_288 À¢¸  �é(  ‘ @  $_289 2Mì ‘ ÁAA@A  $_290 '` oÀ@‘ @ @@ ��’%d ��’%h@   2 Q�à @‘D@@@  $_291 À¢¸  �Ð÷):@ß§þà@A@@@@  ‘ 6@  $_292 2Mì ‘ ��  $_293 '` oÀ@‘@@   2 Q�à "@‘D@@@  $_294 À¢¸  �Ð÷)Y@ ß§ÿà@A@@@@  ‘ U@  $_295 2Mì ‘ ��  $_296 '` oÀ@‘@@  ­ 2 Q�à A@‘D@@@  $_297 À¢¸  �Ð÷)x@¸ߨà@A@@@@  ‘ t@  $_298 2Mì ‘ ��  $_299 '` oÀ@‘@@  @ 2 Q�à `@’@@@@  $_300 À¢¸  �Ð÷)—@K ‰ìlà@A@@@@  ‘ “@  $_301 2Mì ‘ ��  $_302 '` oÀ@‘ @@ ��’%é@  H 2 Q�à „@’@@@@  $_303 À¢¸  �Ð÷)»@S4p$æà@A@@@@  ‘ ·@  $_304 2Mì ‘ ��  $_305 '` oÀ@‘ @@ ��‘•@  1 2 Q�à ¨@’@@@@  $_306 À¢¸  �Ð÷)ß@<ú® à@A@@@@  ‘ Û@  $_307 2Mì ‘ ��  $_308 '` oÀ@‘ � Ô@ ��’J@  - 2 Q�à Í@’@@@@  $_309 À¢¸  �Ð÷*@8 Œn`à@A@@@@  ‘@  $_310 2Mì ‘ ��  $_311 '` oÀ@‘ @@ ��‘Þ@  ! 2 Q�à ñ@’@@@@  $_312 À¢¸  �Ð÷*(@,)˜:à@A@@@@  ‘$@  $_313 2Mì ‘ ��  $_314 '` oÀ@‘ � @ @@ ��’)i ��‘  ��‘ @   2 Q�à @’@@@@  $_315 À¢¸  �Ð÷*W@($±à@A@@@@  ‘S@  $_316 2Mì ‘ ��  $_317 '` oÀ@‘ @ @ @@ ��’&« ��’&¯ ��’(õ@   2 Q�àN@‘E@@@  $_318 À¢¸  �Ð÷*…@))ˆAÂ.  ‘€@  $_319 2Mì ‘ ÁAA@A  $_320 '` oÀ@‘ @ �y@ ��’&× ��’)Ç@  x N$ý @ð@B@ Ð}* @ v v@@@@®@  $_321 À¢¸ ¡�6Y  ’ @¬  “ A°  “  B´@  $_322 '` oÀ@’ @@@  $_323 '` oÀ@“  @A �®@ ��’*¾@  $_324 '` oÀ@“  *@B@@  ’ 2 Q�à¯@«@@@  $_325 À¢¸  �Ð÷*å@œ×1GŽ  ‘à@  $_326 2Mì ‘ ÁDD@A  $_327 '` oÀ@‘ @ @ @ @@ @ @ @ ��’ˆ@  $_328 ? 3V ¬� �$  s 2 Q�àÝ@Ù@@@  $_329 À¢¸  �Ð÷+@}uîH¼  ‘@  $_330 2Mì ‘ ÁDD@A  $_331 '` oÀ@‘ @ @ @ @@ @ @ @ ��’¶@  $_332 ? 3V ­� ½$  ‡ 2 Q�à @@@@  $_333 À¢¸  �Ð÷+A@‘uúMê  ‘<@  $_334 2Mì ‘ ÁDD@A  $_335 '` oÀ@‘ @ @ @ @@ @ @ @ ��’ä@  $_336 ? 3V ®� ë$    2 Q�à9@‘E@@@  $_337 À¢¸  �J  ‘j@  $_338 2Mì ‘ ÁAA@A  $_339 '` oÀ@‘ @ �c@ ��’'Á ��’*±@  u 2 Q�à`@‘D@@@  $_340 À¢¸  �Ð÷+—@€&3H­à@A@@@@  ‘“@  $_341 2Mì ‘ ��  $_342 '` oÀ@‘@@  Р2 Q�à@‘D@@@  $_343 À¢¸  �Ð÷+¶@Û&3H®à@A@@@@  ‘²@  $_344 2Mì ‘ ��  $_345 '` oÀ@‘@@   2 Q�àž@‘D@@@  $_346 À¢¸  �Ð÷+Õ@&3H¯à@A@@@@  ‘Ñ@  $_347 2Mì ‘ ��  $_348 '` oÀ@‘@@  X 2 Q�à½@‘E@@@  $_349 À¢¸  �Ð÷+ô@cy ‘ï@  $_350 2Mì ‘ ÁAA@A  $_351 '` oÀ@‘ @ �è@ ��’(F ��’+6@  3 2 Q�àå@‘@@@@  $_352 À¢¸  �F  ‘@  $_353 2Mì ‘ ÁBB@A  $_354 '` oÀ@‘ � @@ ��’+Y ��’K@  . 2 Q�à @‘@@@@  $_355 À¢¸  � m  ‘=@  $_356 2Mì ‘ ÁAA@A  $_357 '` oÀ@‘ @@ ��’(’@  . 2 Q�à-@‘D@@@  $_358 À¢¸  �Ð÷,d@9ø‹à@A@@@@  ‘`@  $_359 2Mì ‘ ��  $_360 '` oÀ@‘@@  3 2 Q�àL@‘D@@@  $_361 À¢¸  �Ð÷,ƒ@>ø‹à@A@@@@  ‘@  $_362 2Mì ‘ ��  $_363 '` oÀ@‘@@  # 2 Q�àk@‘D@@@  $_364 À¢¸  �Ð÷,¢@.ø‹à@A@@@@  ‘ž@  $_365 2Mì ‘ ��  $_366 '` oÀ@‘@@  Å 2 Q�àŠ@’@@@@  $_367 À¢¸  �Ð÷,Á@Ð ½Øà@A@@@@  ‘½@  $_368 2Mì ‘ ��  $_369 '` oÀ@‘ @ �·@ ��’) ��’,@@  àN$ý @ð@B@ ÐÈ,H@ Á@@@@ë@  $_371 À¢¸ ¡�ˆà@A@@@@  ’ @ê  “ Aî@  $_372 '` oÀ@’ @@@  $_373 '` oÀ@“  @A �è@ ��’,ø@  Õ 2 Q�àá@Ý@@@  $_374 À¢¸  �Ð÷-@ßFàþ*  ‘@  $_375 2Mì ‘ ÁCC@A  $_376 '` oÀ@‘ @ @ @@ @ @ ��’Í@  $_377 ? 3V Ü� Ô"  » 2 Q�à @ @@@  $_378 À¢¸  �Ð÷-J@Åœ"ÕV  ‘>@  $_379 2Mì ‘ ÁCC@A  $_380 '` oÀ@‘ @ @ @@ @ @ ��’ù@  $_381 ? 3V Û� "  Í 2 Q�à9@5@@@  $_382 À¢¸  �Ð÷-v@ל.Ú‚  ‘j@  $_383 2Mì ‘ ÁCC@A  $_384 '` oÀ@‘ @ @ @@ @ @ ��’%@  $_385 ? 3V Ú� ,"  ä 2 Q�àe@‘@@@@  $_386 À¢¸  �˜®  ‘–@  $_387 2Mì ‘ ÁBA@A  $_388 '` oÀ@‘ @ @@ ��’ç ��’ë@  Ê 2 Q�à‹@’@@@@  $_389 À¢¸  �Ð÷-É@Õ+kU6à@A@@@@  ‘¾@  $_390 2Mì ‘ ��  $_391 '` oÀ@‘ @@ ��’@  Ò rHÈ @�  РN$ý @ð@B@ ÐÕ-H@ ΠÎ@@@@ì@  $_395 À¢¸ ¡�uà@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 À¢¸  �Ð÷Q@¹x¬øo  ‘X@  $_404 2Mì ‘ ÁDD@A  $_405 '` oÀ@‘ @ @ @ @@ @ @ @ ��’@  $_406 ? 3V ÷� $  à2 Q�àU@Q@@@  $_407 À¢¸  �Ð÷@Íx¸ý�  ‘†@  $_408 2Mì ‘ ÁDD@A  $_409 '` oÀ@‘ @ @ @ @@ @ @ @ ��’/@  $_410 ? 3V ø� 6$  Ü 2 Q�àƒ@‘@@@@  $_411 À¢¸  �CË  ‘´@  $_412 2Mì ‘ @  $_413 '` oÀ@‘ @ @ �­@ ��’ê ��’  ��’-ÿ@  à 2 Q�à®@‘E@@@  $_414 À¢¸  �tö  ‘ß@  $_415 2Mì ‘ ÁBB@A  $_416 '` oÀ@‘ @ @@ ��’0 ��’@  ª 2 Q�àÔ@’@@@@  $_417 À¢¸  �Ð÷ÿ@µ Ëfà@A@@@@  ‘@  $_418 2Mì ‘ ��  $_419 '` oÀ@‘ @ @ �@ ��’? ��’_ ��’.T@  ® 2 Q�à@’@@@@  $_420 À¢¸  �Ð÷.@¹%pŠ®à@A@@@@  ‘6@  $_421 2Mì ‘ ��  $_422 '` oÀ@‘ @ @ @ �2 @@ ��’p ��’� ��’” ��’.‰ ��’-ã@@  ® N$ý @ð@B@ Ð³.Ð@ ¬ ¬@@@@t@  $_424 À¢¸ ¡�Là@A@@@@  ’ @s  “ Aw  “  B{@  $_425 '` oÀ@’ @@@  $_426 '` oÀ@“  @A @@ ��’ #@@  $_427 '` oÀ@“  +@B @ @@ ��’ 2@ ��’'o@  Р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 €�  $@@–>Ç/«¼Ë¡�»%¥Ôȿ愕¦¾@E)€i>þØŠ%€A@fÀ„•¦¾@™Š³‡JnÔE”ú’‚ñØÿ�À8„•¦¾@YO¥Ó„\=÷…ºPÅÒÝâ„•¦¾‚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 uy—Ê|Ÿ×ññ�ñï ªph