!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@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”ñ+(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€©  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 ¸d ’„›õÀZaåÔ¤\Î