More on setwise climbability properties

Cet article introduit deux variations des propriétés de montée par ensembles, démontrant que les premières sont équivalentes à des principes connus et compatibles avec l'axiome de forçage propre (PFA), tandis que les secondes se caractérisent par des axiomes de type Martin liés à de nouveaux jeux de Banach-Mazur et sont incompatibles avec le PFA.

L'essentiel

🏔️ L'Escalade des Ordinaux : Une histoire de grimpeurs et de jeux

Imaginez que les mathématiciens Bernhard König et Yasuo Yoshinobu ne parlent pas de nombres, mais d'une immense montagne faite de marches infinies. Cette montagne représente les "ordinaux", une façon de compter au-delà de l'infini habituel.

Leur papier explore comment des "grimpeurs" (des objets mathématiques appelés systèmes) peuvent monter cette montagne, et quelles règles permettent ou empêchent cette ascension.

1. Le Contexte : La Règle du Jeu (Jensen et les Carrés)

Dans le monde des mathématiques pures, il existe des règles très strictes appelées "principes de Jensen" (notés $\square$). Ces règles disent essentiellement : "Si vous essayez de construire une structure infinie, vous devez suivre un chemin très précis, comme une autoroute à sens unique."

Ces auteurs étudient des versions "fragmentées" de ces règles. Ils se demandent : "Que se passe-t-il si on assouplit un peu les règles de la route ?"

2. Les Deux Nouveaux Types de Grimpeurs

L'article introduit deux nouvelles façons de grimper, qu'ils appellent des variations "Setwise Climbability" (capacité à grimper par ensembles).

• La variation "Full" (Complète) : Imaginez un grimpeur qui doit non seulement avancer, mais qui doit aussi remplir tout l'espace derrière lui. Il ne laisse aucun trou.

  • Le résultat : Les auteurs découvrent que ce type de grimpeur n'est pas vraiment nouveau. Il s'avère être simplement une combinaison de deux règles déjà connues. C'est comme si vous disiez "Je veux une voiture rouge et rapide", et qu'on vous répondait "C'est juste une voiture rouge qui va vite".
  • Conséquence : Cette règle est compatible avec une loi très puissante appelée PFA (l'axiome de forçage propre), qui est comme une "constitution" idéale pour les mathématiques.

• La variation "End-Extension" (Extension de fin) : Ici, le grimpeur doit faire quelque chose de plus subtil. À chaque étape, il doit non seulement avancer, mais s'assurer que sa nouvelle position s'ajoute parfaitement à la précédente, comme des pièces de Lego qui s'emboîtent sans faille.

  • Le résultat : C'est ici que ça devient intéressant. Cette règle est plus stricte et plus "tordue". Elle crée un type de structure qui entre en conflit avec la constitution idéale (PFA). Si vous essayez d'imposer cette règle, vous brisez l'harmonie du monde mathématique tel que décrit par PFA.

3. Le Jeu de l'Échiquier Infini (Les Jeux Banach-Mazur)

Pour comprendre pourquoi ces grimpeurs agissent différemment, les auteurs utilisent une métaphore de jeu entre deux joueurs (Joueur I et Joueur II) sur un échiquier infini.

• Le Jeu Classique (Variation $\ast$) : Le Joueur II (le défenseur) a une stratégie gagnante si le terrain est "lisse". Si le terrain est lisse, le Joueur II peut toujours répondre aux coups du Joueur I. Cela correspond aux règles qui sont compatibles avec PFA.
• Le Nouveau Jeu (Variation $\ast\ast$) : Les auteurs inventent une nouvelle règle de jeu. Le Joueur I doit maintenant choisir ses coups de manière plus agressive (il doit "forcer" la situation).
  • L'analogie : Imaginez que dans le premier jeu, le Joueur II marche sur un tapis roulant. Dans le nouveau jeu, le Joueur I tire sur le tapis pour le faire glisser.
  • La découverte : Même si la différence entre les règles du jeu semble minuscule (juste un petit changement dans la façon de poser les pièces), les conséquences sont énormes. Le nouveau jeu est si difficile pour le défenseur qu'il permet de construire des structures (les grimpeurs "End-Extension") qui détruisent l'axiome PFA.

4. Le Grand Conflit : PFA vs. Les Nouvelles Règles

Le cœur du papier est une bataille entre deux philosophies :

1. L'Idéal (PFA) : Un monde où tout est "propre", où les structures mathématiques se comportent bien, et où on peut toujours trouver des solutions.
2. La Réalité des Grimpeurs "End-Extension" : Ces structures sont si rigides qu'elles forcent le monde mathématique à se plier d'une manière que l'Idéal (PFA) refuse d'accepter.

Les auteurs montrent que :

• Si vous acceptez les règles "End-Extension", vous devez abandonner l'axiome PFA.
• Cependant, vous pouvez garder une partie de l'axiome PFA (appelée "absolument propre" ou "indestructible propre"). C'est comme dire : "Je ne peux pas avoir le monde parfait, mais je peux garder une grande partie de ses règles."

5. La Conclusion : Pourquoi c'est important ?

Ces mathématiciens ont découvert que la frontière entre "ce qui est possible" et "ce qui est impossible" en mathématiques est très fine.

• Ils ont prouvé que deux règles qui semblaient très proches (les variations $\ast$ et $\ast\ast$) mènent à des mondes mathématiques totalement différents.
• Ils ont séparé deux concepts qui semblaient identiques : la "propreté absolue" et la "propreté indestructible". C'est comme distinguer entre "être fort" et "être indestructible". L'un peut survivre à un tremblement de terre, l'autre non.

En résumé :
Ce papier est une exploration de la géographie des mathématiques infinies. Les auteurs ont cartographié de nouvelles routes (les variations de grimpeurs) et ont découvert que certaines de ces routes mènent à des paysages où les lois fondamentales de l'univers mathématique (PFA) s'effondrent, tandis que d'autres restent stables. Ils ont utilisé des jeux infinis pour prouver que de petits changements dans les règles du jeu peuvent changer la nature même de la réalité mathématique.

Résumé technique

Voici un résumé technique détaillé de l'article « MORE ON SETWISE CLIMBABILITY PROPERTIES » de Bernhard König et Yasuo Yoshinobu, rédigé en français.

1. Problématique et Contexte

L'article se situe dans le domaine de la théorie des ensembles, plus précisément dans l'étude des principes combinatoires (fragments du principe de Jensen $\square$) et de leur relation avec les axiomes de forcing, notamment l'Axiome de Forçage Propre (PFA) et ses fragments.

Les auteurs s'intéressent aux propriétés de « climbabilité ensembliste » (setwise climbability), notées $SCL^-$ et $SCL$, introduites précédemment par Yoshinobu. Ces propriétés sont des fragments de $\square_{\omega_1}$ qui peuvent être caractérisés comme des axiomes de type Martin ($MA_{\omega_2}$) pour des classes de posets (ensembles partiellement ordonnés) possédant des propriétés de fermeture par rapport à des jeux de Banach-Mazur généralisés (notamment la variation notée $*$).

Le problème central de cet article est d'explorer deux nouvelles variations naturelles de ces propriétés de climbabilité :

1. Les variations « full » (pleines).
2. Les variations « end-extension » (par extension de bout).

L'objectif est de déterminer si ces nouvelles variations sont équivalentes à des principes connus, de les caractériser via de nouveaux jeux de Banach-Mazur, et d'analyser leur compatibilité avec le PFA et ses fragments.

2. Méthodologie

Les auteurs utilisent une combinaison de techniques de théorie des ensembles et de théorie des jeux :

• Définition de nouveaux principes combinatoires : Ils définissent rigoureusement les systèmes $SCL^-_f$, $SCL_f$, $SCL^-_e$ et $SCLe$ en modifiant les conditions de clôture et d'inclusion des systèmes de clubs existants.
• Théorie des jeux (Banach-Mazur) :
  • Ils introduisent une nouvelle variation du jeu de Banach-Mazur, appelée variation $**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$$**$**