CN

# ==============================================================================
#  Jeu CN -- engendre par preparer.py, NE PAS EDITER A LA MAIN
#  7 amers, portees 591-4016 m depuis l'origine
#  delta = 31 m (30 m de carte + 1 m d'arrondi des coordonnees)
#  d_alpha = 3.000001 deg SUR L'ANGLE ENTRE AMERS
#             dont 1.81e-03 arcsec de transcription, majores et absorbes
#  21 paires mesurees sur 21 possibles
# ==============================================================================

const NOM = "CN"
const EMPREINTE = "6d87dc1e894b1a4b"     # signature des donnees, recopiee dans le resultat

const AMERS = Tuple{Rational{BigInt},Rational{BigInt}}[
    (-1269//1, 1651//1),          # 1  azimut  320.95 deg
    (-737//1, 308//1),            # 2  azimut  293.85 deg
    (-594//1, 87//1),             # 3  azimut  282.35 deg
    (-542//1, -235//1),           # 4  azimut  247.33 deg
    (-143//1, -2408//1),          # 5  azimut  184.21 deg
    (890//1, -3916//1),           # 6  azimut  168.17 deg
    (969//1, -2019//1),           # 7  azimut  155.38 deg
]

const DELTA = Rational{BigInt}(31)
const T_D   = Rational{BigInt}(2165, 82678)   # tan(d_alpha/2)

const MESURES = Dict{Tuple{Int,Int},Tuple{Rational{BigInt},Int}}(
    (1,2) => (11825//49066, 0),
    (1,3) => (5836//16665, 0),
    (1,4) => (55365//73981, 0),
    (1,5) => (21176//8397, 0),
    (1,6) => (99876//24181, 0),
    (1,7) => (53201//6735, 0),
    (2,3) => (5363//53260, 0),
    (2,4) => (41897//97471, 0),
    (2,5) => (69983//49331, 0),
    (2,6) => (15443//7923, 0),
    (2,7) => (50714//19229, 0),
    (3,4) => (25397//80500, 0),
    (3,5) => (83647//72534, 0),
    (3,6) => (60424//39105, 0),
    (3,7) => (89329//44567, 0),
    (4,5) => (48554//79047, 0),
    (4,6) => (54829//66324, 0),
    (4,7) => (18615//17992, 0),
    (5,6) => (1304//9255, 0),
    (5,7) => (22971//89369, 0),
    (6,7) => (7535//67229, 0) )

machine : Linux aarch64  --  Raspberry Pi 4 Model B Rev 1.1
          4 coeur(s) a 1.50 GHz, 3.7 Go,  4 fil(s) demande(s)
calcul  : intervalles fi64, mantisse hors solveur 256 bits
bati    : Sep 10 2026, gcc 14.2.0
          arrondi dirige disponible,  socle : pthreads oui, rsgc non, flint non
          gmp 6.3.0, mpfr 4.2.2, mpfi 1.5.4
========================================
  CN  (7 amers)
========================================
  minorant : muet -- les angles derivent d'un gisement par amer, ils ne peuvent pas
             se contredire (15 cycles independants).
             defaut residuel 3.184e-08 deg, soit 3.5e-09 fois la tolerance du cycle
             (transcription des angles ; seuil de lisibilite 1e-03)
  7 amers, 42 contraintes orientees
  elagage sur 39 boites : 9 paires sur 861
  X∩ : 9 sommets en 0.208 s  (elagage 0.020, solveur 0.154, filtres 0.027)
  boite de depart reprise de X∩ : x[-55, 109]  y[-66, 21]
  germe repris de X∩ : 9 contrainte(s)
  critere : la cloture n'apporte rien sur 42 bornes  ->  X = X∩ est ACQUIS sans calculer X
            --critere : calcul de X saute, le resultat est X∩
  resultat : X∩, 9 sommets
  memoire : pic 37.6 Mo
  temps : X∩ 0.208 s   X 0.000 s   aire 0.000 s   bord 0.000 s   calcul 0.270 s   mural 0.270 s
  solveur : direct=9 erreur=0 asymptote=0 non_gen=0 plusieurs=0 coords=0
  dont decomposition 0.11 s, solve_ratparam_real 0.04 s
  ecrit : /tmp/geoloc-9e19dd0d/CN.resultat.json

========================================
  CN_courbes  (7 amers) -- analyse de /tmp/geoloc-9e19dd0d/CN.resultat.json
========================================
  aire de X∩ : [9730, 9755] m2  (0.25 %, niveaux 2 ; 36 prouvee(s), 0 mesuree(s), 0 majoree(s))
  bord de X∩ : 36 points  (fleche 0.77 px a 2160, niveaux 2)
  temps :   aire 0.430 s   bord 0.035 s
  ecrit : /tmp/geoloc-9e19dd0d/CN.analyse.json