!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+ÈÖ'ä c0ÿWÛ jƒî. %R_µÊ<úZu¡‹0\ Ùu•C0¿½„•¦¾¼Ý0A™›’A Ð %Lists@ðA  'NatList’ð¢A  'natprod‘,<@ ”@$pair¶@›  Ð÷ )Datatypes $Init #Coq@@#natò@€¶@C@@ @ A B@BB¢@¡ Ð÷,@(&Ô ª@¡@ ¡@€@A AB@@A@@@@@ €@@  ,natprod_rect @‘ ·!P¶!n›  Ð÷¢ Q@K@D&Ô ª@€”‘°  ñš™J B@U¹6@·!f¶A¶B©5©œ  A€ BA·ÍÐ@;<°@ @ @@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 @‘ ·ö ú·ôò©š Ð÷Ò@#leb9+€ 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šä@€©š Ð÷`@#leb9+€ ©œ   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ò@@AA¢@¡ Ð÷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¶À›  @€¶@©21©;¶É› €©-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€°VU©š 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€©  BA©š Ð÷@#snd#é€ ‘·!p&ÍÐ&@BB°@ @ @@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·ÞÜ©‘°Þ¨©PM©¤àâ©d   ©¨àæb·é穜°é©k ©©d ¹I¹©ß ñ©co½!©š Ð÷=@)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Ù© ©ZBï‘T‘V‘?‘·eª©À·h­©å°^U©š Ð÷@+beq_natlistø0€ ©) g©  ——·>·!t¾·#IHtµ©¶àsj·±t©ý°vm©š Ð÷v@$andbšbÕ€ © ªª©Äàx·¿‚© °„{© }$©J ˆ© ©,ª)©°©ªÍC©°†©1 /‘·áßµ—C©°—©š Ð÷—@#leb9+€ ä©Þ æ©ë è@™‘·{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žñ@€ÍÐ@AA°@ @@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