gps_pvt 0.1.7 → 0.2.0

data/ext/ninja-scan-light/tool/navigation/SBAS.h

@@ -0,0 +1,2330 @@
+/**
+ * @file Satellite based augmentation system (SBAS)
+ * @see DO-229D
+ */
+
+/*
+ * Copyright (c) 2018, M.Naruoka (fenrir)
+ * All rights reserved.
+ *
+ * Redistribution and use in source and binary forms, with or without modification,
+ * are permitted provided that the following conditions are met:
+ *
+ * - Redistributions of source code must retain the above copyright notice,
+ *   this list of conditions and the following disclaimer.
+ * - Redistributions in binary form must reproduce the above copyright notice,
+ *   this list of conditions and the following disclaimer in the documentation
+ *   and/or other materials provided with the distribution.
+ * - Neither the name of the naruoka.org nor the names of its contributors
+ *   may be used to endorse or promote products derived from this software
+ *   without specific prior written permission.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
+ * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
+ * THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
+ * ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS
+ * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY,
+ * OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
+ * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
+ * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
+ * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
+ * STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
+ * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE,
+ * EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
+ *
+ */
+
+#ifndef __SBAS_H__
+#define __SBAS_H__
+
+#include <iostream>
+#include <cmath>
+#include <cstring>
+#include <cstddef>
+#include <map>
+#include <algorithm>
+
+#include "GPS.h"
+
+template <class FloatT = double>
+class SBAS_Signal {
+  public:
+    typedef FloatT float_t;
+    class G2 : public GPS_Signal<float_t>::PRN {
+      public:
+        typedef typename GPS_Signal<float_t>::PRN super_t;
+        G2(const int &initial_g2) : super_t((unsigned long)initial_g2) {}
+        ~G2(){}
+        bool get() const {return super_t::_content[9];}
+        void next(){
+          bool tmp(super_t::_content[1]
+                     ^ super_t::_content[2]
+                     ^ super_t::_content[5]
+                     ^ super_t::_content[7]
+                     ^ super_t::_content[8]
+                     ^ super_t::_content[9]);
+          super_t::_content <<= 1;
+          super_t::_content[0] = tmp;
+        }
+    };
+};
+
+template <class FloatT = double>
+class SBAS_SpaceNode {
+  public:
+    typedef FloatT float_t;
+    typedef GPS_SpaceNode<float_t> gps_space_node_t;
+
+#define type_copy(type) \
+typedef typename gps_space_node_t::type type
+    type_copy(gps_time_t);
+    type_copy(xyz_t);
+    type_copy(enu_t);
+    type_copy(llh_t);
+
+    type_copy(u8_t);
+    type_copy(s8_t);
+    type_copy(u16_t);
+    type_copy(s16_t);
+    type_copy(u32_t);
+    type_copy(s32_t);
+
+    type_copy(int_t);
+    type_copy(uint_t);
+#undef type_copy
+
+    struct RangingCode {
+      int prn;
+      int g2_delay_chips;
+      int initial_g2;
+      float_t lng_deg;
+      const char *name;
+      typename SBAS_Signal<float_t>::G2 get_G2() const {
+        return typename SBAS_Signal<float_t>::G2(initial_g2);
+      }
+      struct prn_sorter_t {
+        bool operator()(const RangingCode *left, const RangingCode *right) const {
+          return (left->prn < right->prn);
+        }
+      };
+      struct lng_sorter_t {
+        bool operator()(const RangingCode *left, const RangingCode *right) const {
+          return (left->lng_deg < right->lng_deg);
+        }
+      };
+      struct lng_sorter2_t {
+        float_t base_lng_deg;
+        lng_sorter2_t(const float_t &lng_deg) : base_lng_deg(lng_deg) {}
+        bool operator()(const RangingCode *left, const RangingCode *right) const {
+          float_t delta_l(left->lng_deg - base_lng_deg);
+          if(delta_l < 0){delta_l *= -1;}
+          if(delta_l >= 180){delta_l = -delta_l + 360;}
+          float_t delta_r(right->lng_deg - base_lng_deg);
+          if(delta_r < 0){delta_r *= -1;}
+          if(delta_r >= 180){delta_r = -delta_r + 360;}
+          return (delta_l < delta_r);
+        }
+      };
+      struct name_sorter_t {
+        bool operator()(const RangingCode *left, const RangingCode *right) const {
+          int cmp(std::strcmp(left->name, right->name));
+          return cmp != 0 ? (cmp < 0) : (left->prn < right->prn);
+        }
+      };
+    };
+
+    struct KnownSatellites {
+      typedef std::vector<const RangingCode *> list_t;
+      template <typename T>
+      static list_t sort(T sorter);
+      static const list_t prn_ordered;
+      static const list_t longitude_ordered;
+      static const list_t name_ordered;
+      static list_t nearest_ordered(const float_t &lng_deg){
+        return sort(typename RangingCode::lng_sorter2_t(lng_deg));
+      }
+    };
+
+    enum MessageType {
+      DONT_USE = 0,
+      PRN_MASK = 1,
+      FAST_CORRECTION_2 = 2,
+      FAST_CORRECTION_3 = 3,
+      FAST_CORRECTION_4 = 4,
+      FAST_CORRECTION_5 = 5,
+      INTEGRITY_INFORMATION = 6,
+      FAST_CORRECTION_DEGRADATION = 7,
+      GEO_NAVIGATION = 9,
+      DEGRADATION_PARAMS = 10,
+      SBAS_NETWORK_TIME_UTC_OFFSET_PARAMS = 12,
+      GEO_SAT_ALNAMACS = 17,
+      IONO_GRID_POINT_MASKS = 18,
+      MIXED_CORRECTION_FAST_AND_LONG_TERM = 24,
+      LONG_TERM_CORRECTION = 25,
+      IONO_DELAY_CORRECTION = 26,
+      SERVICE_MESSAGE = 27,
+      CLOCK_EPHEMERIS_COV_MAT = 28,
+      INTERNAL_TEST_MESSAGE = 62,
+      NULL_MESSAGES = 63,
+      UNSUPPORTED_MESSAGE = 64,
+    }; ///< @see Table A-3
+
+    struct Timing {
+      enum {
+        DONT_USE_FOR_SAFETY_APPLICATIONS,
+        PRN_MASK,
+        UDREI,
+        FAST_CORRECTIONS,
+        LONG_TERM_CORRECTIONS,
+        GEO_NAVIGATION_DATA,
+        FAST_CORRECTION_DEGRADATION,
+        DEGRADATION_PARAMETERS,
+        IONOSPHERIC_GRID_MASK,
+        IONOSPHERIC_CORRECTIONS,
+        UTC_TIMING_DATA,
+        ALNAMAC_DATA,
+        SERVICE_LEVEL,
+        CLOCK_EPHEMERIS_COVARIANCE_MATRIX,
+        NUM_OF_TIMING_ITEMS,
+      };
+      struct values_t {
+        int interval, timeout_EN_Route_Terminal_LNAV, timeout_LNAV_VNAV_LP_LPV_approach;
+      };
+      static const values_t values[NUM_OF_TIMING_ITEMS];
+    }; ///< @see Table A-25;
+
+    struct DataBlock : public gps_space_node_t::DataParser {
+      typedef typename gps_space_node_t::DataParser parser_t;
+
+#define convert_u(bits, offset_bits, length, name) \
+template <class InputT> \
+static u ## bits ## _t name(const InputT *buf){ \
+  return parser_t::template bits2num<u ## bits ## _t, InputT>( \
+      buf, offset_bits, length); \
+}
+#define convert_s(bits, offset_bits, length, name) \
+template <class InputT> \
+static s ## bits ## _t name(const InputT *buf){ \
+  return (s ## bits ## _t)parser_t::template bits2num<u ## bits ## _t, InputT>( \
+        buf, offset_bits) \
+      >> (bits - length); \
+}
+#define convert_u_ch(bits, offset_bits, length, bits_per_ch, name) \
+template <class InputT> \
+static u ## bits ## _t name(const InputT *buf, const uint_t &ch){ \
+  return parser_t::template bits2num<u ## bits ## _t>( \
+      buf, offset_bits + (bits_per_ch * ch), length); \
+}
+#define convert_s_ch(bits, offset_bits, length, bits_per_ch, name) \
+template <class InputT> \
+static s ## bits ## _t name(const InputT *buf, const uint_t &ch){ \
+  return (s ## bits ## _t)parser_t::template bits2num<u ## bits ## _t>( \
+        buf, offset_bits + (bits_per_ch * ch)) \
+      >> (bits - length); \
+}
+
+      /**
+       * Convert bit pattern to indices array having '1'
+       * Ex) 0b00100100 => [2, 5]
+       * @param buf bit pattern
+       * @param indices array to which results are stored
+       * @param length length of bits to be inspected
+       * @param offset starting offset of bits
+       * @return number of '1'
+       */
+      template <class InputT>
+      static u8_t bits2linear(
+          const InputT *buf, u8_t *indices,
+          const u8_t &length, const u8_t &offset = 0){
+        u8_t *hits(indices);
+        std::div_t aligned(std::div(offset, (int)sizeof(InputT) * 8));
+        buf += aligned.quot;
+        InputT compared((InputT)0x1 << (sizeof(InputT) * 8 - aligned.rem - 1));
+        // [mask7, mask6, .., mask0], [mask15, mask14, .., mask8], ...
+        for(u8_t i(0); i < length; ++i, compared >>= 1){
+          if(compared == 0){ // rotate
+            compared = ((InputT)0x1 << (sizeof(InputT) * 8 - 1));
+            buf++;
+          }
+          if(*buf & compared){
+            *(hits++) = i;
+          }
+        }
+        return hits - indices;
+      }
+
+      convert_u(8, 0, 8, preamble);
+      convert_u(8, 8, 6, message_type);
+
+      struct Type1 { ///< @see Fig. A-6 PRN_MASK
+        struct mask_t {
+          u8_t valid;
+          static const int each_block = 13;
+          union {
+            u8_t prn_minus_one[210];
+            u8_t block[4][each_block];
+          };
+        };
+        template <class InputT>
+        static mask_t mask(const InputT *buf, const u8_t &band){
+          mask_t res;
+          res.valid = bits2linear(buf, res.prn_minus_one, 210, 14); // 14 bit shift
+          if(res.valid > 51){res.valid = 0;} // invalid, because up to 51 masks
+          return res;
+        }
+        convert_u(8, 224, 2, iodp);
+      };
+
+      struct Type2_5 { ///< @see Fig. A-7 FAST_CORRECTION_2-5
+        convert_u( 8, 14, 2, iodf);
+        convert_u( 8, 16, 2, iodp);
+        convert_s_ch(16,  18, 12, 12, prc_f); // pseudo range correction (fast)
+        convert_u_ch( 8, 174,  4,  4, udrei);
+      };
+
+      struct Type6 { ///< @see Fig. A-8, Table A-5 INTEGRITY_INFORMATION
+        convert_u_ch( 8, 14, 2, 2, iodf); // iodf2-5
+        convert_u_ch( 8, 22, 4, 4, udrei);
+      };
+
+      struct Type7 { ///< @see Fig. A-9, Table A-7 FAST_CORRECTION_DEGRADATION
+        convert_u( 8, 14, 4, t_lat);
+        convert_u( 8, 18, 2, iodp);
+        convert_u_ch( 8, 22, 4, 4, ai_i);
+      };
+
+      struct Type25 { ///< @see Fig. A-10,11, Table A-10,11 LONG_TERM_CORRECTION
+        convert_u_ch( 8, 14, 1, 106, vel_code);
+        convert_u_ch( 8, 15, 6, 106, prn_mask);
+        convert_u_ch( 8, 21, 8, 106, iod);
+        struct V0 {
+          convert_s_ch(16,  29,  9, 106, dx);
+          convert_s_ch(16,  38,  9, 106, dy);
+          convert_s_ch(16,  47,  9, 106, dz);
+          convert_s_ch(16,  56, 10, 106, da_f0);
+          convert_u_ch( 8,  66,  6, 106, prn_mask_2);
+          convert_u_ch( 8,  72,  8, 106, iod_2);
+          convert_s_ch(16,  80,  9, 106, dx_2);
+          convert_s_ch(16,  89,  9, 106, dy_2);
+          convert_s_ch(16,  98,  9, 106, dz_2);
+          convert_s_ch(16, 107, 10, 106, da_f0_2);
+          convert_u_ch( 8, 117,  2, 106, iodp);
+        };
+        struct V1 {
+          convert_s_ch(16,  29, 11, 106, dx);
+          convert_s_ch(16,  40, 11, 106, dy);
+          convert_s_ch(16,  51, 11, 106, dz);
+          convert_s_ch(16,  62, 11, 106, da_f0);
+          convert_s_ch( 8,  73,  8, 106, dx_dot);
+          convert_s_ch( 8,  81,  8, 106, dy_dot);
+          convert_s_ch( 8,  89,  8, 106, dz_dot);
+          convert_s_ch( 8,  97,  8, 106, da_f1);
+          convert_u_ch(16, 105, 13, 106, t_0);
+          convert_u_ch( 8, 118,  2, 106, iodp);
+        };
+      };
+
+      struct Type24 : public Type25 { ///< @see Fig. A-12 MIXED_CORRECTION_FAST_AND_LONG_TERM
+        convert_s_ch(16,  14, 12, 12, prc_f); // pseudo range correction (fast)
+        convert_u_ch( 8,  86,  4,  4, udrei);
+        convert_u( 8, 110, 2, iodp);
+        convert_u( 8, 112, 2, block_id); // 1-6(Type2), 14-19(Type3), 27-32(Type4), 40-45(Type5)
+        convert_u( 8, 114, 2, iodf);
+        // Second half of 106 bits are same as Type25(ch1)
+      };
+
+      struct Type18 { ///< @see Table A-15 IONO_GRID_POINT_MASKS
+        convert_u(8, 14, 4, broadcasted_bands);
+        convert_u(8, 18, 4, band);
+        convert_u(8, 22, 2, iodi);
+        struct mask_t {
+          u8_t valid;
+          static const int each_block = 15;
+          union {
+            u8_t linear[201];
+            u8_t block[14][each_block];
+          };
+        };
+        /**
+         * @param band [0,10]
+         * @return Number of mask bits
+         */
+        static u8_t mask_bits(const u8_t &band){
+          switch(band){
+            case 8:
+              return 200;
+            case 9:
+            case 10:
+              return 192;
+            default:
+              return 201;
+          }
+        }
+        template <class InputT>
+        static mask_t mask(const InputT *buf, const u8_t &band){
+          mask_t res;
+          res.valid = bits2linear(buf, res.linear, mask_bits(band), 24); // 24 bit shift
+          return res;
+        }
+        template <class InputT>
+        static mask_t mask(const InputT *buf){
+          return mask(buf, band(buf));
+        }
+      };
+
+      struct Type26 { ///< @see Table A-16 IONO_DELAY_CORRECTION
+        convert_u(8, 14, 4, band);
+        convert_u(8, 18, 4, block_id);
+        convert_u_ch(16, 22, 9, 13, delay);
+        convert_u_ch( 8, 31, 4, 13, error_indicator);
+        convert_u(8, 22 + (13 * 15), 2, iodi); // 22 + (13 * 15) + 2 + 7(spare) + 24(parity) = 250
+      };
+
+      struct Type9 { ///< @see Table A-18 GEO_NAVIGATION
+        convert_u(16, 22, 13, t0);
+        convert_u( 8, 35,  4, ura);
+        convert_s(32, 39, 30, x);
+        convert_s(32, 69, 30, y);
+        convert_s(32, 99, 25, z);
+        convert_s(32, 124, 17, dx);
+        convert_s(32, 141, 17, dy);
+        convert_s(32, 158, 18, dz);
+        convert_s(16, 176, 10, ddx);
+        convert_s(16, 186, 10, ddy);
+        convert_s(16, 196, 10, ddz);
+        convert_s(16, 206, 12, a_Gf0);
+        convert_s( 8, 218,  8, a_Gf1);
+      };
+
+      struct Type10 { ///< @see Table A-9 Degradation factors
+        convert_u(16,  14, 10, B_rcc);
+        convert_u(16,  24, 10, C_ltc_lsb);
+        convert_u(16,  34, 10, C_ltc_v1);
+        convert_u(16,  44,  9, I_ltc_v1);
+        convert_u(16,  53, 10, C_ltc_v0);
+        convert_u(16,  63,  9, I_ltc_v0);
+        convert_u(16,  72, 10, C_geo_lsb);
+        convert_u(16,  82, 10, C_geo_v);
+        convert_u(16,  92,  9, I_geo);
+        convert_u( 8, 101,  6, C_er);
+        convert_u(16, 107, 10, C_iono_step);
+        convert_u(16, 117,  9, I_iono);
+        convert_u(16, 126, 10, C_iono_ramp);
+        convert_u( 8, 136,  1, RSS_UDRE);
+        convert_u( 8, 137,  1, RSS_iono);
+        convert_u( 8, 138,  7, C_covariance); // 138 + 7 + 81(spare) + 24(parity) = 250
+      };
+
+      struct Type17 { ///< @see Table A-17 GEO_SAT_ALNAMACS
+        convert_u_ch( 8, 14,  2, 67, id);
+        convert_u_ch( 8, 16,  8, 67, prn);
+        convert_u_ch( 8, 24,  8, 67, health_status);
+        convert_s_ch(16, 32, 15, 67, x);
+        convert_s_ch(16, 47, 15, 67, y);
+        convert_s_ch(16, 62,  9, 67, z);
+        convert_s_ch( 8, 71,  3, 67, x_dot);
+        convert_s_ch( 8, 74,  3, 67, y_dot);
+        convert_s_ch( 8, 77,  4, 67, z_dot);
+        convert_u(16, 215, 11, t0);
+      };
+
+      struct Type12 { // @see Table A-22 SBAS network Time/UTC parameters
+        convert_s(32,  14, 24, A1_SNT);
+        convert_s(32,  38, 32, A0_SNT);
+        convert_u( 8,  70,  8, t_ot);
+        convert_u( 8,  78,  8, WN_t);
+        convert_s( 8,  86,  8, delta_t_LS);
+        convert_u( 8,  94,  8, WN_LSF);
+        convert_u( 8, 102,  8, DN);
+        convert_s( 8, 110,  8, delta_t_LSF);
+        convert_u( 8, 118,  3, UTC_standard_identifier);
+        convert_u(32, 121, 20, TOW);
+        convert_u(16, 141, 10, WN);
+      };
+#undef convert_s_ch
+#undef convert_u_ch
+#undef convert_s
+#undef convert_u
+    };
+
+    struct DegradationFactors {
+      float_t B_rcc;
+      float_t C_ltc_lsb;
+      float_t C_ltc_v1;
+      int I_ltc_v1;
+      float_t C_ltc_v0;
+      int I_ltc_v0;
+      float_t C_geo_lsb;
+      float_t C_geo_v;
+      int I_geo;
+      float_t C_er;
+      float_t C_iono_step;
+      int I_iono;
+      float_t C_iono_ramp;
+      bool RSS_UDRE;
+      bool RSS_iono;
+      float_t C_covariance;
+
+      struct raw_t {
+
+        enum {
+          SF_B_rcc,
+          SF_C_ltc_lsb,
+          SF_C_ltc_v1,
+          SF_C_ltc_v0,
+          SF_C_geo_lsb,
+          SF_C_geo_v,
+          SF_C_er,
+          SF_C_iono_step,
+          SF_C_iono_ramp,
+          SF_C_covariance,
+
+          SF_NUM,
+        };
+        static const float_t sf[SF_NUM];
+
+        template <class InputT>
+        static DegradationFactors fetch(const InputT *buf){
+          typedef typename DataBlock::Type10 msg_t;
+          DegradationFactors res = {
+#define CONVERT(TARGET) \
+sf[SF_ ## TARGET] * msg_t::TARGET(buf)
+            CONVERT(B_rcc),
+            CONVERT(C_ltc_lsb),
+            CONVERT(C_ltc_v1),
+            msg_t::I_ltc_v1(buf),
+            CONVERT(C_ltc_v0),
+            msg_t::I_ltc_v0(buf),
+            CONVERT(C_geo_lsb),
+            CONVERT(C_geo_v),
+            msg_t::I_geo(buf),
+            CONVERT(C_er),
+            CONVERT(C_iono_step),
+            msg_t::I_iono(buf),
+            CONVERT(C_iono_ramp),
+            (msg_t::RSS_UDRE(buf) == 1),
+            (msg_t::RSS_iono(buf) == 1),
+            CONVERT(C_covariance),
+#undef CONVERT
+          };
+          return res;
+        }
+      };
+    };
+
+    class IonosphericGridPoints {
+
+      public:
+        struct PointProperty {
+          float_t delay; // [m]
+          float_t sigma2; // [m^2], negative value means "not monitored"
+
+          struct raw_t {
+            u16_t delay;
+            u8_t error_indicator;
+
+            template <class InputT>
+            static raw_t fetch(const InputT *buf, const uint_t &ch){
+              typedef typename DataBlock::Type26 msg_t;
+              raw_t res = {
+                msg_t::delay(buf, ch), // delay
+                msg_t::error_indicator(buf, ch), // error_indicator
+              };
+              return res;
+            }
+
+            enum {
+              DELAY_DONT_USE = 0x1FF,
+              ERROR_INDICATOR_NOT_MONITORED = 15,
+            };
+
+            static const raw_t unavailable;
+
+            static float_t raw2delay(const u16_t &v){
+              return 0.125 * v;
+            }
+
+            static float_t raw2sigma2(const u8_t &v){
+              switch(v){ ///< @see Table A-17
+                case 0:   return 0.0084;
+                case 1:   return 0.0333;
+                case 2:   return 0.0749;
+                case 3:   return 0.1331;
+                case 4:   return 0.2079;
+                case 5:   return 0.2994;
+                case 6:   return 0.4075;
+                case 7:   return 0.5322;
+                case 8:   return 0.6735;
+                case 9:   return 0.8315;
+                case 10:  return 1.1974;
+                case 11:  return 1.8709;
+                case 12:  return 3.3260;
+                case 13:  return 20.7870;
+                case 14:  return 187.0826;
+              }
+              return -1;
+            }
+            operator PointProperty() const {
+              PointProperty res = {
+                raw2delay(delay),
+                raw2sigma2(error_indicator),
+              };
+              return res;
+            }
+            bool is_available() const {
+              return (delay < DELAY_DONT_USE)
+                  && (error_indicator < ERROR_INDICATOR_NOT_MONITORED);
+            }
+          };
+
+          bool is_available() const {
+            return (sigma2 > 0);
+          }
+
+          static const PointProperty unavailable;
+        };
+
+        struct position_index_t;
+
+        struct position_t {
+          int_t latitude_deg;  ///< latitude in degrees, north is positive. [-85, 85].
+          int_t longitude_deg; ///< longitude in degrees, east is positive. [-180, 175]
+          operator position_index_t() const;
+          bool is_predefined() const {
+
+            // range check
+            if((latitude_deg < -85) || (latitude_deg > 85)){return false;}
+            if((longitude_deg < -180) || (longitude_deg >= 180)){return false;}
+
+            // at least, on 5 deg grid
+            if((latitude_deg + 85) % 5 != 0){return false;}
+            int_t lng_reg(longitude_deg + 180);
+            if(lng_reg % 5 != 0){return false;}
+
+            switch(latitude_deg){
+              case 80:
+              case -80:
+                return false;
+              case 85:
+                return (lng_reg % 30 == 0); // W180(=0), W150(=30), ...
+              case -85:
+                return (lng_reg % 30 == 10); // W170(=10), W140(=40), ...
+            }
+
+            if((latitude_deg >= 65) || (latitude_deg <= -65)){
+              return (lng_reg % 10 == 0);
+            }
+
+            return true;
+          }
+          /**
+           * Compute longitude difference from another IGP.
+           * @param from
+           * @return difference (always positive) [0, 360)
+           */
+          int_t delta_lng(const position_t &from) const {
+            int_t res(longitude_deg - from.longitude_deg);
+            return (res < 0) ? (res + 360) : res;
+          }
+        };
+        /**
+         * Resolve ionospheric grid point position
+         * @param band valid range is [0, 10]
+         * @param mask_pos valid range is [0, 200 (or 199, 191)] (be careful, not [1, 201])
+         * @return (pos_t) grid point position
+         * @see Table A-14
+         */
+        static position_t position(const u8_t &band, const u8_t &mask_pos){
+          position_t res;
+          if(band <= 8){
+            u8_t row_index_28(band & (~(u8_t)0x01)); // where 28 grid points on the same longitude are appeared
+            int row_index(0), col_index((int)mask_pos);
+            do{
+              int points(row_index_28 == row_index ? 28 : 27);
+              if(col_index < points){
+                col_index -= 2; // col_index => [-2, 24 (or 25)]
+                if((points > 27) && (band % 2 == 1)){ // col_index => [-3, 24]
+                  col_index--;
+                }
+                break;
+              }
+              col_index -= points;
+              row_index++;
+
+              points = 23;
+              if(col_index < points){break;}
+              col_index -= points;
+              row_index++;
+            }while(row_index < 8);
+
+            if(row_index < 8){
+              res.longitude_deg = -180 + band * 40 + row_index * 5;
+              switch(col_index){
+                case -3: res.latitude_deg = -85; break;
+                case -2: res.latitude_deg = -75; break;
+                case -1: res.latitude_deg = -65; break;
+                case 23: res.latitude_deg =  65; break;
+                case 24: res.latitude_deg =  75; break;
+                case 25: res.latitude_deg =  85; break;
+                default:
+                  res.latitude_deg = -55 + col_index * 5;
+                  break;
+              }
+            }
+          }else if(band <= 10){
+            if(mask_pos < 72){
+              res.latitude_deg = 60 * ((band == 10) ? -1 : 1);
+              res.longitude_deg = mask_pos * 5 - 180;
+            }else if(mask_pos < 180){
+              std::div_t a(std::div(mask_pos - 72, 36));
+              res.latitude_deg = (65 + a.quot * 5) * ((band == 10) ? -1 : 1);
+              res.longitude_deg = a.rem * 10 - 180;
+            }else if(mask_pos < 192){
+              res.latitude_deg = 85;
+              res.longitude_deg = (mask_pos - 180) * 30 - 180;
+              if(band == 10){
+                res.latitude_deg *= -1;
+                res.longitude_deg += 10;
+                if(res.longitude_deg > 180){
+                  res.longitude_deg -= 360;
+                }
+              }
+            }
+          }
+          return res;
+        }
+
+        struct position_index_t {
+          int_t lat_index; ///< Latitude index; N85(0), N75(1), N70(2), N65(3), N60(4), ..., 0(16) ..., S60(28), S65(29), S70(30), S75(31), S85(32)
+          int_t lng_index; ///< Longitude index; W180(0), W175(1), W170(2), ..., 0(36), ..., E170(70), E175(71)
+          enum {
+            LAT_INDEX_N85 = 0,  // 30 deg grid
+            LAT_INDEX_N75 = 1,  // 10 deg grid
+            LAT_INDEX_N65 = 3,  // 10 deg grid
+            LAT_INDEX_S65 = 29, // 10 deg grid
+            LAT_INDEX_S75 = 31, // 10 deg grid
+            LAT_INDEX_S85 = 32, // 30 deg grid
+            LAT_INDEX_MAX = LAT_INDEX_S85,
+          };
+          enum {
+            LNG_INDEX_MAX = 71,
+          };
+          ///< Convert latitude in degrees to index
+          static int_t lat2idx(const int_t &lat_deg){
+            return (lat_deg == 85)
+                ? LAT_INDEX_N85
+                : ((lat_deg == -85)
+                      ? LAT_INDEX_S85
+                      : (80 - lat_deg) / 5);
+          }
+          ///< Convert latitude index to degrees
+          static int_t idx2lat(const int_t &lat_idx){
+            return (lat_idx % 32 == 0)
+                ? ((lat_idx == 0) ? 85 : -85)
+                : ((16 - lat_idx) * 5);
+          }
+          ///< Convert longitude in degrees to index
+          static int_t lng2idx(const int_t &lng_deg){
+            return (lng_deg + 180) / 5;
+          }
+          ///< Convert longitude index to degrees
+          static int_t idx2lng(const int_t &lng_idx){
+            return (lng_idx - 36) * 5;
+          }
+          operator position_t() const {
+            position_t res = {idx2lat(lat_index), idx2lng(lng_index)};
+            return res;
+          }
+        };
+
+        struct pivot_t {
+          position_t igp;
+          struct {
+            float_t latitude_deg, longitude_deg;
+          } delta;
+        };
+        /**
+         * Get a pivot IGP, and compute distance (delta) from the IGP.
+         * The "pivot" one means "nearest west, and north if in south hemisphere,
+         * south if otherwise (in north hemisphere, or on equator), one".
+         * If the specified input latitude is not identical to zero, and exactly same as a latitude where IGPs exist,
+         * then the return IGP is shifted to the nearest west (north hemisphere) or north (east hemisphere) point.
+         * For example:
+         * 1) (lat, lng) = (10, 0) => igp = {5, 0}, delta = {5, 0}
+         * 2) (lat, lng) = (85, 15) => igp = {75, 10}, delta = {10, 5}
+         * @param latitude_deg latitude in degrees; [-90, 90]
+         * @param longitude_deg longitude in degrees
+         * @return pivot IGP position and delta
+         */
+        template <class T>
+        static pivot_t get_pivot(const T &latitude_deg, const T &longitude_deg){
+
+          T lng(longitude_deg); // => [-180, 180)
+          int_t lng_reg; // => [0, 360), mapping W180(=> 0), ... E180(=> 360)
+          {
+            if(longitude_deg < -180){
+              lng += (((int_t)(-longitude_deg + 180) / 360) * 360); // => [-*, -180) => (-180, 180]
+              if(lng == 180){
+                lng -= 360; // 180 => -180
+              }
+            }else{
+              lng -= (((int_t)(longitude_deg + 180) / 360) * 360); // => [-180, +*] => [-180, 180)
+            }
+            lng_reg = 180 + lng; // => [0, 360)
+          }
+
+          pivot_t res;
+          if(latitude_deg > 85){
+            res.igp.latitude_deg = 85;
+            lng_reg = (lng_reg / 90) * 90; // W180, W90, ... @see A 4.4.10.2 d), and P-2
+            /*if(latitude_deg == 85){
+              // intentionally commented out; when exactly same as lat == 85,
+              // a lat-10 deg grid will be used, because of P-2.
+              lng_reg = (lng_reg / 30) * 30; // W180, W150, ...
+            }*/
+          }else if(latitude_deg < -85){
+            res.igp.latitude_deg = -85;
+            lng_reg = (lng_reg < 40) ? (130 + 180) : (((lng_reg - 40) / 90) * 90 + 40); // W140, W50, ...  @see A 4.4.10.2 e), and P-2
+            /*if(latitude_deg == -85){
+              // intentionally commented out
+              lng_reg = (lng_reg < 10) ? (160 + 180) : (((lng_reg - 10) / 30) * 30 + 10); // W170, W140, ...
+            }*/
+          }else{
+            if(latitude_deg > 75){
+              res.igp.latitude_deg = 75;
+            }else if(latitude_deg < -75){
+              res.igp.latitude_deg = -75;
+            }else{
+              if(latitude_deg >= 0){
+                res.igp.latitude_deg = ((int_t)latitude_deg / 5) * 5;
+              }else{
+                res.igp.latitude_deg = -((int_t)(-latitude_deg) / 5) * 5;
+              }
+              if((res.igp.latitude_deg == latitude_deg) && (res.igp.latitude_deg != 0)){ // on grid point latitude, see P-2
+                res.igp.latitude_deg += (res.igp.latitude_deg > 0 ? -5 : 5);
+              }
+            }
+
+            if((res.igp.latitude_deg >= 60) || (res.igp.latitude_deg <= -60)){
+              lng_reg = (lng_reg / 10) * 10; // W180, W170, ...
+            }else{
+              lng_reg = (lng_reg / 5) * 5; // W180, W175, ...
+            }
+          }
+          res.igp.longitude_deg = lng_reg - 180; // [0, 360) => [-180, 180)
+          res.delta.latitude_deg = latitude_deg - res.igp.latitude_deg;
+          res.delta.longitude_deg = lng - res.igp.longitude_deg;
+          if(res.delta.longitude_deg < 0){res.delta.longitude_deg += 360;} // always east (delta.lng >= 0)
+          return res;
+        }
+
+        struct trapezoid_t {
+          /**
+           * igp(2)=[1] -- igp(1)=[0]           igp(3)=[2] -- igp(4)=[3]
+           *      |             |     in north,      |         |         in south
+           * igp(3)=[2] -- igp(4)=[3]           igp(2)=[1] -- igp(1)=[0]
+           * This is based on Fig.A-19.
+           * result of get_pivot() will be assigned to igp(3)=[2].
+           *
+           * assumption
+           * igp[0].lat = igp[1].lat, igp[2].lat = igp[3].lat
+           * igp[1].lng < igp[0].lng, igp[2].lng < igp[3].lng, (igp[1].lng is not necessarily indentical to igp[2].lng)
+           */
+          position_t igp[4];
+          bool checked[4]; ///< If igp[i] has been check to be available, true; otherwise, false.
+          float_t weight[4];
+
+          /**
+           * @param delta_phi
+           * @param delta_lambda
+           * @see Fig.A-19
+           */
+          void compute_weight(const float_t &delta_phi, const float_t &delta_lambda){
+            // (A-25)-(A-32)
+            float_t
+                w_lat10(delta_phi / (igp[1].latitude_deg - igp[2].latitude_deg)), // a.k.a. y_pp
+                w_lat23(1. - w_lat10),
+                w_lng0((delta_lambda + igp[2].delta_lng(igp[1])) / igp[0].delta_lng(igp[1])),
+                w_lng3(delta_lambda / igp[3].delta_lng(igp[2])); // a.k.a. x_pp
+            // res = (w_lng0 * [0] + (1. - w_lng0) * [1]) * w_lat10 + ((1. - w_lng3) * [2] + w_lng3 * [3]) * w_lat23;
+            weight[0] = w_lng0        * w_lat10;
+            weight[1] = (1. - w_lng0) * w_lat10;
+            weight[2] = (1. - w_lng3) * w_lat23;
+            weight[3] = w_lng3        * w_lat23;
+          }
+          void compute_weight_pole(const float_t &delta_phi, const float_t &delta_lambda){
+            float_t
+                y_pp(delta_phi * ((delta_phi < 0) ? -1 : 1) / 10), // (A-33)
+                x_pp((1. - y_pp * 2) * (delta_lambda / 90) + y_pp), // (A-34)
+                x_pp_inv(1. - x_pp),
+                y_pp_inv(1. - y_pp);
+            weight[0] = x_pp     * y_pp;
+            weight[1] = x_pp_inv * y_pp;
+            weight[2] = x_pp_inv * y_pp_inv;
+            weight[3] = x_pp     * y_pp_inv;
+          }
+          /**
+           * @return If extrapolation occurs, false is returned; otherwise true.
+           */
+          bool compute_weight_three(const float_t &delta_phi, const float_t &delta_lambda,
+              const int_t &skip){
+            float_t
+                y_pp(delta_phi / (igp[1].latitude_deg - igp[2].latitude_deg)),
+                x_pp(delta_lambda / igp[3].delta_lng(igp[2]));
+            switch(skip){ // assignment rule: sum is 1, weight of non-diagonal point is remain?
+              case 0:
+                weight[0] = 0;
+                weight[1] = y_pp;
+                weight[2] = 1. - x_pp - y_pp;
+                weight[3] = x_pp;
+                if(weight[2] < 0){return false;}
+                break;
+              case 1:
+                weight[0] = y_pp;
+                weight[1] = 0;
+                weight[2] = 1. - x_pp;
+                weight[3] = x_pp - y_pp;
+                if(weight[3] < 0){return false;}
+                break;
+              case 2:
+                weight[0] = x_pp + y_pp - 1;
+                weight[1] = 1. - x_pp;
+                weight[2] = 0;
+                weight[3] = 1. - y_pp;
+                if(weight[0] < 0){return false;}
+                break;
+              case 3:
+              default:
+                weight[0] = x_pp;
+                weight[1] = y_pp - x_pp;
+                weight[2] = 1. - y_pp;
+                weight[3] = 0;
+                if(weight[1] < 0){return false;}
+                break;
+            }
+            return true;
+          }
+          /**
+           * @return If three point interpolation is successfully prepared, true; otherwise false.
+           */
+          bool compute_weight_three(const float_t &delta_phi, const float_t &delta_lambda){
+            for(int i(0); i <= 3; i++){
+              if(!checked[i]){ // automatically find unavailable point
+                return compute_weight_three(delta_phi, delta_lambda, i);
+              }
+            }
+            return false;
+          }
+
+          PointProperty compute_property(
+#if defined(SWIG) // work around for SWIG parser error
+              const typename PointProperty::raw_t *selected
+#else
+              const typename PointProperty::raw_t *(&selected)[4]
+#endif
+              ){
+            float_t delay_raw(0), sigma2(0);
+            bool use_sigma(true);
+            for(int i(0); i <= 3; i++){
+              if(!checked[i]){continue;}
+              delay_raw += weight[i] * selected[i]->delay;
+              if(selected[i]->error_indicator == PointProperty::raw_t::ERROR_INDICATOR_NOT_MONITORED){
+                use_sigma = false;
+              }else{
+                sigma2 += weight[i] * PointProperty::raw_t::raw2sigma2(selected[i]->error_indicator);
+              }
+            }
+            PointProperty res = {
+              PointProperty::raw_t::raw2delay(delay_raw),
+              use_sigma
+                  ? sigma2
+                  : PointProperty::raw_t::raw2sigma2(PointProperty::raw_t::ERROR_INDICATOR_NOT_MONITORED),
+            };
+            return res;
+          }
+
+          static trapezoid_t generate_rectangle(const position_t &pivot,
+              const int_t &delta_lat = 5, const int_t &delta_lng = 5){
+            int_t lng(pivot.longitude_deg + delta_lng);
+            if(lng >= 180){lng -= 360;}
+            trapezoid_t res = {{
+              {pivot.latitude_deg + delta_lat, lng},
+              {pivot.latitude_deg + delta_lat, pivot.longitude_deg},
+              pivot,
+              {pivot.latitude_deg,             lng},
+            }, {
+              false, false, false, false,
+            }};
+            return res;
+          }
+          static trapezoid_t generate_rectangle_pole(const position_t &pivot){
+            int_t
+                lng0(pivot.longitude_deg - 180),
+                lng1(pivot.longitude_deg - 90),
+                lng3(pivot.longitude_deg + 90);
+            trapezoid_t res = {{
+              {pivot.latitude_deg, (lng0 < -180) ? (lng0 + 360) : lng0},
+              {pivot.latitude_deg, (lng1 < -180) ? (lng1 + 360) : lng1},
+              pivot,
+              {pivot.latitude_deg, (lng3 >= 180) ? (lng3 - 360) : lng3},
+            }, {
+              false, false, false, false,
+            }};
+            return res;
+          }
+          /**
+           * Get expanded rectangle
+           *
+           * @param delta_lat When positive, move a parallel between igp[1] and igp[0] toward the nearer pole;
+           * when negative, move a parallel between igp[2] and igp[3] toward the other pole.
+           * Be careful, when negative, the difference of IPP from pivot, i.e. igp[2], should be recalculated.
+           *
+           * @param delta_lng When positive, move a meridian between igp[0] and igp[3] east;
+           * when negative, move a meridian between igp[1] and igp[2] west.
+           * Be careful, when negative, the difference of IPP from pivot, i.e. igp[2], should be recalculated.
+           *
+           * @return Expanded rectangle
+           */
+          trapezoid_t expand_rectangle(const int_t &delta_lat, const int_t &delta_lng) const {
+            trapezoid_t res(*this);
+            if(delta_lat != 0){
+              int_t delta_lat2(delta_lat * ((res.igp[1].latitude_deg >= 0) ? 1 : -1)); // check hemisphere
+              if(delta_lat > 0){
+                res.igp[1].latitude_deg = (res.igp[0].latitude_deg += delta_lat2);
+                res.checked[1] = res.checked[0] = false;
+              }else{
+                res.igp[2].latitude_deg = (res.igp[3].latitude_deg += delta_lat2);
+                res.checked[2] = res.checked[3] = false;
+              }
+            }
+            if(delta_lng > 0){
+              res.igp[0].longitude_deg += delta_lng;
+              if(res.igp[0].longitude_deg >= 180){res.igp[0].longitude_deg -= 360;}
+              res.igp[3].longitude_deg = res.igp[0].longitude_deg;
+              res.checked[3] = res.checked[0] = false;
+            }else if(delta_lng < 0){
+              res.igp[1].longitude_deg += delta_lng;
+              if(res.igp[1].longitude_deg < -180){res.igp[1].longitude_deg += 360;}
+              res.igp[2].longitude_deg = res.igp[1].longitude_deg;
+              res.checked[2] = res.checked[1] = false;
+            }
+            return res;
+          }
+        };
+
+      protected:
+        typename PointProperty::raw_t properties[position_index_t::LAT_INDEX_MAX + 1][position_index_t::LNG_INDEX_MAX + 1];
+
+      public:
+        template <class T>
+        T check_availability_hook(trapezoid_t &in, const T &out) const {
+          return out; // for debug
+        }
+        /**
+         * @return available IGP(s)
+         */
+        int_t check_availability(trapezoid_t &target,
+#if defined(SWIG) // work around for SWIG parser error
+            const typename PointProperty::raw_t *cache
+#else
+            const typename PointProperty::raw_t *(&cache)[4]
+#endif
+            ) const {
+          int_t res(0);
+          for(int i(0); i < 4; ++i){
+            if(target.checked[i]){res++; continue;}
+            position_index_t index(target.igp[i]);
+            if((cache[i] = &properties[index.lat_index][index.lng_index])->is_available()){
+              target.checked[i] = true;
+              res++;
+            }
+          }
+          return check_availability_hook(target, res);
+        }
+
+        /**
+         * Select appropriate grids and perform interpolation with the selected grids
+         *
+         * @param latitude_deg Latitude in degrees
+         * @param longitude_deg Longitude in degrees
+         * @return Interpolated result; if interpolation fails, PointProperty::unavailable will be returned.
+         * @see A.4.4.10.2, A.4.4.10.3
+         */
+        PointProperty interpolate(const float_t &latitude_deg, const float_t &longitude_deg) const {
+          pivot_t pivot(get_pivot(latitude_deg, longitude_deg));
+          const typename PointProperty::raw_t *selected[4];
+
+          bool north_hemisphere(latitude_deg >= 0);
+          int_t lat_deg_abs(pivot.igp.latitude_deg * (north_hemisphere ? 1 : -1));
+
+          if(lat_deg_abs <= 55){
+            trapezoid_t rect_5_5(trapezoid_t::generate_rectangle(pivot.igp, north_hemisphere ? 5 : -5, 5)); // A4.4.10.2 a-1)
+            switch(check_availability(rect_5_5, selected)){
+              case 4: // a-1)
+                rect_5_5.compute_weight(pivot.delta.latitude_deg, pivot.delta.longitude_deg);
+                return rect_5_5.compute_property(selected);
+              case 3: // a-2)
+                if(rect_5_5.compute_weight_three(pivot.delta.latitude_deg, pivot.delta.longitude_deg)){
+                  return rect_5_5.compute_property(selected);
+                }
+            }
+
+            struct {
+              trapezoid_t rect;
+              float_t delta_lat, delta_lng;
+              int_t availability;
+            } rect_10_10[] = { // A4.4.10.2 a-3), 5x5 => 10x10
+              {rect_5_5.expand_rectangle( 5,  5), pivot.delta.latitude_deg, pivot.delta.longitude_deg},
+              {rect_5_5.expand_rectangle( 5, -5), pivot.delta.latitude_deg, pivot.delta.longitude_deg + 5},
+              {rect_5_5.expand_rectangle(-5,  5),
+                  pivot.delta.latitude_deg + (north_hemisphere ? 5 : -5), pivot.delta.longitude_deg},
+              {rect_5_5.expand_rectangle(-5, -5),
+                  pivot.delta.latitude_deg + (north_hemisphere ? 5 : -5), pivot.delta.longitude_deg + 5},
+            };
+            for(int i(0); i < 4; ++i){ // a-3) four point interpolation
+
+              if((lat_deg_abs == 55)
+                  && (rect_10_10[i].rect.igp[1].latitude_deg * (north_hemisphere ? 1 : -1) == 65)
+                  && ((rect_10_10[i].rect.igp[1].longitude_deg + 180) % 10 != 0)){
+                // When pivot lat = 55, -55, one 10x10 trapezoids are unable to be formed,
+                // because of lack of grid points at lat = 65, -65.
+                rect_10_10[i].availability = 0;
+                continue;
+              }
+
+              if((rect_10_10[i].availability = check_availability(rect_10_10[i].rect, selected)) == 4){
+                rect_10_10[i].rect.compute_weight(rect_10_10[i].delta_lat, rect_10_10[i].delta_lng);
+                return rect_10_10[i].rect.compute_property(selected);
+              }
+            }
+            for(int i(0); i < 4; ++i){ // a-4) three point interpolation
+              if((rect_10_10[i].availability == 3)
+                  && rect_10_10[i].rect.compute_weight_three(rect_10_10[i].delta_lat, rect_10_10[i].delta_lng)){
+                return rect_10_10[i].rect.compute_property(selected);
+              }
+            }
+          }else if(lat_deg_abs <= 70){
+            trapezoid_t rect_5_10(trapezoid_t::generate_rectangle(pivot.igp, north_hemisphere ? 5 : -5, 10)); // A4.4.10.2 b-1)
+            switch(check_availability(rect_5_10, selected)){
+              case 4: // b-1)
+                rect_5_10.compute_weight(pivot.delta.latitude_deg, pivot.delta.longitude_deg);
+                return rect_5_10.compute_property(selected);
+              case 3: // b-2)
+                if(rect_5_10.compute_weight_three(pivot.delta.latitude_deg, pivot.delta.longitude_deg)){
+                  return rect_5_10.compute_property(selected);
+                }
+            }
+
+            struct {
+              trapezoid_t rect;
+              float_t delta_lat, delta_lng;
+              int_t availability;
+            } rect_10_10[] = { // A4.4.10.2 b-3) , 5x10 => 10x10
+              {rect_5_10.expand_rectangle( 5, 0),
+                  pivot.delta.latitude_deg, pivot.delta.longitude_deg},
+              {rect_5_10.expand_rectangle(-5, 0),
+                  pivot.delta.latitude_deg + (north_hemisphere ? 5 : -5), pivot.delta.longitude_deg},
+            };
+            for(int i(0); i < 2; ++i){ // b-3) four point interpolation
+
+              if((lat_deg_abs == 70)
+                  && (rect_10_10[i].rect.igp[1].latitude_deg * (north_hemisphere ? 1 : -1) == 80)){
+                // When pivot lat = 70, -70, one 10x10 trapezoids are unable to be formed,
+                // because of no grid point at lat = 80, -80.
+                rect_10_10[i].availability = 0;
+                continue;
+              }
+
+              if((rect_10_10[i].availability = check_availability(rect_10_10[i].rect, selected)) == 4){
+                rect_10_10[i].rect.compute_weight(rect_10_10[i].delta_lat, rect_10_10[i].delta_lng);
+                return rect_10_10[i].rect.compute_property(selected);
+              }
+            }
+            for(int i(0); i < 2; ++i){ // b-4) three point interpolation
+              if((rect_10_10[i].availability == 3)
+                  && rect_10_10[i].rect.compute_weight_three(rect_10_10[i].delta_lat, rect_10_10[i].delta_lng)){
+                return rect_10_10[i].rect.compute_property(selected);
+              }
+            }
+          }else if(lat_deg_abs <= 75){
+            trapezoid_t rect_10_10(trapezoid_t::generate_rectangle(pivot.igp, north_hemisphere ? 10 : -10, 10));
+
+            // maximum 4 kinds of trial
+            // 1)   10x30, both 85 points are band 9-10 (30 deg separation)
+            // 2,3) 10X30, one 85 point is in band 0-8, the other is in band 9-10
+            // 4)   10x90, both 85 points are band 0-8 (90 deg separation)
+
+            int_t lng_85_west_low_band, lng_85_west_high_band;
+            int_t lng_85_east_low_band, lng_85_east_high_band;
+            {
+              int_t lng_reg(pivot.igp.longitude_deg + 180); // [-180, 180) => [0, 360)
+              if(north_hemisphere){
+                lng_85_west_low_band = (lng_reg / 30 * 30) - 180; // W180, W150, ...
+                lng_85_west_high_band = (lng_reg / 90 * 90) - 180; // W180, W90, ...
+              }else{
+                lng_85_west_low_band = (lng_reg < 10) ? 160 : (((lng_reg - 10) / 30) * 30 - 170); // W170, W140, ..., E160
+                lng_85_west_high_band = (lng_reg < 40) ? 130 : (((lng_reg - 40) / 90) * 90 - 140); // W140, W50, ..., E130
+              }
+              lng_85_east_low_band = lng_85_west_low_band + 30;
+              lng_85_east_high_band = lng_85_west_high_band + 90;
+              if(lng_85_east_low_band >= 180){lng_85_east_low_band -= 360;}
+              if(lng_85_east_high_band >= 180){lng_85_east_high_band -= 360;}
+            }
+
+            { // check 1)
+              rect_10_10.igp[1].longitude_deg = lng_85_west_low_band;
+              rect_10_10.igp[0].longitude_deg = lng_85_east_low_band;
+              if(check_availability(rect_10_10, selected) == 4){
+                rect_10_10.compute_weight(pivot.delta.latitude_deg, pivot.delta.longitude_deg);
+                return rect_10_10.compute_property(selected);
+              }
+            }
+
+            if(rect_10_10.checked[2] && rect_10_10.checked[3]){
+              // Requirement: lower latitude point information is broadcasted.
+
+              bool check_again(true);
+
+              do{
+                if(lng_85_west_low_band == lng_85_west_high_band){
+                  // |[1]<--(30)-->[0]|----(90)---->|
+                  if(rect_10_10.checked[1]){
+                    // prepare for the last trial
+                    rect_10_10.igp[0].longitude_deg = lng_85_east_high_band;
+                    //rect_10_10.checked[0] = false; // already set
+                  }else{
+                    check_again = false;
+                  }
+                  break;
+                }
+                if(lng_85_east_low_band == lng_85_east_high_band){
+                  // |<----(90)----|[1]<--(30)-->[0]|
+                  if(rect_10_10.checked[0]){
+                    // prepare for the last trial
+                    rect_10_10.igp[1].longitude_deg = lng_85_west_high_band;
+                    //rect_10_10.checked[1] = false; // already set
+                  }else{
+                    check_again = false;
+                  }
+                  break;
+                }
+
+                // just middle case: |<--(90)--|[1]<--(30)-->[0]|---->|
+
+                if(!rect_10_10.checked[0]){ // check 2) |<--(90)--|[1]<--(30)-->[0]|---->[0]'|
+                  rect_10_10.igp[0].longitude_deg = lng_85_east_high_band;
+                  //rect_10_10.checked[0] = false; // already set, 1st trial
+                }
+
+                if(!rect_10_10.checked[1]){ // check 3) |[1]'<--(90)--|[1]<--(30)-->[0]|---->|
+                  rect_10_10.igp[1].longitude_deg = lng_85_west_high_band;
+                  //rect_10_10.checked[1] = false; // already set, 1st trial
+                }
+              }while(false);
+
+              // check 2-4)
+              if(check_again && (check_availability(rect_10_10, selected) == 4)){
+                rect_10_10.compute_weight(pivot.delta.latitude_deg, pivot.delta.longitude_deg);
+                return rect_10_10.compute_property(selected);
+              }
+            }
+          }else{ // pole
+            trapezoid_t rect(trapezoid_t::generate_rectangle_pole(pivot.igp));
+            if(check_availability(rect, selected) == 4){
+              rect.compute_weight_pole(pivot.delta.latitude_deg, pivot.delta.longitude_deg);
+              return rect.compute_property(selected);
+            }
+          }
+
+          // Correction unavailable
+          return PointProperty::unavailable;
+        }
+
+      protected:
+        static const u8_t IODI_INVALID = 4; // valid value ranges from 0 to 3.
+        struct {
+          u8_t iodi;
+          typename DataBlock::Type18::mask_t mask;
+          void clear() {
+            iodi = IODI_INVALID;
+            mask.valid = 0;
+          }
+        } masks[11], masks_new[11]; // "masks" for normal use, "masks_new" for temporal use for iodi transition
+
+        /**
+         * Update mask and IGPs based on new mask having new IODI
+         * @param band band number
+         * @see 2.1.4.9.3 "The equipment shall be able to store and use two IGP masks ..."
+         */
+        void transit_to_new_mask(const u8_t &band) {
+          // remove points which is not activated in the new mask
+          typename DataBlock::Type18::mask_t
+              &mask_old(masks[band].mask), &mask_new(masks_new[band].mask);
+          for(u8_t i(0), j(0); i < mask_old.valid; ++i){
+            bool still_use(false);
+            for(; j < mask_new.valid; ++j){
+              if(mask_old.linear[i] < mask_new.linear[j]){
+                break;
+              }
+              if(mask_old.linear[i] == mask_new.linear[j]){
+                still_use = true;
+                ++j;
+                break;
+              }
+            }
+            if(still_use){continue;}
+            position_index_t index(position(band, mask_old.linear[i]));
+            properties[index.lat_index][index.lng_index] = PointProperty::raw_t::unavailable;
+          }
+          masks[band] = masks_new[band];
+          masks_new[band].clear();
+        }
+
+        void clear_igp() {
+          for(unsigned int i(0); i < sizeof(properties) / sizeof(properties[0]); ++i){
+            for(unsigned int j(0); j < sizeof(properties[0]) / sizeof(properties[0][0]); ++j){
+              properties[i][j] = PointProperty::raw_t::unavailable;
+            }
+          }
+        }
+
+        void clear_mask(){
+          for(unsigned int i(0); i < sizeof(masks) / sizeof(masks[0]); ++i){
+            masks[i].clear();
+          }
+          for(unsigned int i(0); i < sizeof(masks_new) / sizeof(masks_new[0]); ++i){
+            masks_new[i].clear();
+          }
+        }
+      public:
+        /**
+         * Update mask
+         * @param band IGP band
+         * @param iodi_new Issue of data, ionospheric
+         * @param mask_new New mask
+         * @return True if mask is up to date, otherwise false.
+         */
+        bool update_mask(const u8_t &band,
+            const u8_t &iodi_new,
+            const typename DataBlock::Type18::mask_t &mask_new){
+          if((masks[band].iodi == iodi_new) || (masks_new[band].iodi == iodi_new)){
+            // lazy decline, because the same iodi means up to date
+            return true;
+          }
+          if(masks[band].iodi == IODI_INVALID){
+            masks[band].iodi = iodi_new;
+            masks[band].mask = mask_new;
+            return true;
+          }
+          if(masks_new[band].iodi == IODI_INVALID){
+            masks_new[band].iodi = iodi_new;
+            masks_new[band].mask = mask_new;
+            return true;
+          }
+          return false;
+        }
+        /**
+         * Update mask with broadcasted data
+         * @param type18 Type 18 message
+         * @return True if mask is updated and changed, otherwise false.
+         */
+        template <class Input>
+        bool update_mask(const Input *type18){
+          typedef typename DataBlock::Type18 msg_t;
+          u8_t band(msg_t::band(type18));
+          return update_mask(band, msg_t::iodi(type18), msg_t::mask(type18, band));
+        }
+
+        /**
+         * Register new ionospheric grind point property
+         * @param IGP position
+         * @param prop New property
+         * @return Always true
+         */
+        bool register_igp(const position_t &pos, const typename PointProperty::raw_t &prop){
+          position_index_t index(pos);
+          properties[index.lat_index][index.lng_index] = prop;
+          return true;
+        }
+        /**
+         * Register new properties of ionospheric grid points (IGPs) with broadcasted data
+         * @param type26 Type 26 message
+         * @return True if IGPs are registered, otherwise false
+         */
+        template <class InputT>
+        bool register_igp(const InputT *type26){
+          typedef typename DataBlock::Type26 msg_t;
+          u8_t band(msg_t::band(type26)), iodi(msg_t::iodi(type26));
+          if(masks[band].iodi != iodi){
+            if(masks_new[band].iodi != iodi){
+              return false;
+            }
+            // Change mask due to new arrival of IODI
+            transit_to_new_mask(band);
+          }
+          u8_t *mask_pos(masks[band].mask.block[msg_t::block_id(type26)]);
+          int i_max(masks[band].mask.valid - (mask_pos - masks[band].mask.linear));
+          if(i_max > DataBlock::Type18::mask_t::each_block){
+            i_max = DataBlock::Type18::mask_t::each_block;
+          }
+          for(int i(0); i < i_max; ++i, ++mask_pos){
+            register_igp(position(band, *mask_pos), PointProperty::raw_t::fetch(type26, i));
+          }
+          return true;
+        }
+
+        IonosphericGridPoints(){
+          clear_igp();
+          clear_mask();
+        }
+        virtual ~IonosphericGridPoints(){}
+
+        /**
+         * Print delay map with ASCII characters
+         */
+        friend std::ostream &operator<<(std::ostream &out, const IonosphericGridPoints &igp){
+          static const char base32_chr[] = "0123456789ABCdEFGHiJKLMNoPQRSTUV"; // base 32
+
+          // the first line
+          out << "     ";
+          for(int j(0); j < sizeof(igp.properties[0]) / sizeof(igp.properties[0][0]); ++j){
+            int lng(position_index_t::idx2lng(j));
+            out << (lng == 0 ? '0' : (lng % 90 == 0 ? '|' : (lng % 30 == 0 ? '+' : ' ')));
+          }
+          out << std::endl;
+
+          for(int i(0); i < sizeof(igp.properties) / sizeof(igp.properties[0]); ++i){
+            out.width(4);
+            out << position_index_t::idx2lat(i) << ' ';
+            for(int j(0); j < sizeof(igp.properties[0]) / sizeof(igp.properties[0][0]); ++j){
+              if(!igp.properties[i][j].is_available()){
+                out << ' ';
+              }else{
+                out << base32_chr[igp.properties[i][j].delay >> 4]; // 0-510 => 0-31
+              }
+            }
+            out << std::endl;
+          }
+          return out;
+        }
+
+        /**
+         * Calculate correction value in accordance with ionospheric model
+         *
+         * @param relative_pos satellite position (relative position, NEU)
+         * @param usrllh user position (absolute position, LLH)
+         * @return correction in meters
+         * @see A.4.4.10
+         */
+        PointProperty iono_correction(
+            const enu_t &relative_pos,
+            const llh_t &usrllh) const {
+
+          // A.4.4.10.1 Pierce point calculation
+          typename gps_space_node_t::pierce_point_res_t pp(gps_space_node_t::pierce_point(relative_pos, usrllh));
+
+          // A.4.4.10.2 IGP selection, and A.4.4.10.3 Interpolation
+          PointProperty prop(interpolate(pp.latitude / M_PI * 180, pp.longitude / M_PI * 180));
+          if(prop.is_available()){
+
+            // A.4.4.10.4 Compute slant delay
+            float_t fpp(gps_space_node_t::slant_factor(relative_pos));
+            prop.delay *= fpp; // (A-41)
+            prop.sigma2 *= (fpp * fpp); // (A-43)
+          }
+
+          return prop;
+        }
+    };
+
+    class IonosphericGridPoints_with_Timeout : public IonosphericGridPoints {
+      protected:
+        gps_time_t t_last_mask;
+        gps_time_t t_last_correction;
+
+        bool is_mask_timeout(const gps_time_t &t_reception, const bool &LNAV_VNAV_LP_LPV_approach){
+          float_t delta_t(t_last_mask.interval(t_reception));
+          return LNAV_VNAV_LP_LPV_approach
+              ? (delta_t >= Timing::values[Timing::IONOSPHERIC_GRID_MASK].timeout_LNAV_VNAV_LP_LPV_approach)
+              : (delta_t >= Timing::values[Timing::IONOSPHERIC_GRID_MASK].timeout_EN_Route_Terminal_LNAV);
+        }
+        bool is_correction_timeout(const gps_time_t &t_reception, const bool &LNAV_VNAV_LP_LPV_approach){
+          float_t delta_t(t_last_correction.interval(t_reception));
+          return LNAV_VNAV_LP_LPV_approach
+              ? (delta_t >= Timing::values[Timing::IONOSPHERIC_CORRECTIONS].timeout_LNAV_VNAV_LP_LPV_approach)
+              : (delta_t >= Timing::values[Timing::IONOSPHERIC_CORRECTIONS].timeout_EN_Route_Terminal_LNAV);
+        }
+
+      public:
+        IonosphericGridPoints_with_Timeout()
+            : IonosphericGridPoints(),
+            t_last_mask(0, 0), t_last_correction(0, 0) {}
+
+        using IonosphericGridPoints::update_mask;
+        using IonosphericGridPoints::register_igp;
+        using IonosphericGridPoints::iono_correction;
+
+        template <class Input>
+        bool update_mask(
+            const Input *type18,
+            const gps_time_t &t_reception, const bool &LNAV_VNAV_LP_LPV_approach = false){
+
+          if(is_mask_timeout(t_reception, LNAV_VNAV_LP_LPV_approach)){
+            IonosphericGridPoints::clear_mask();
+          }
+          bool res(update_mask(type18));
+          if(res){
+            t_last_mask = t_reception;
+          }
+          return res;
+        }
+
+        template <class InputT>
+        bool register_igp(
+            const InputT *type26,
+            const gps_time_t &t_reception, const bool &LNAV_VNAV_LP_LPV_approach = false){
+
+          if(is_mask_timeout(t_reception, LNAV_VNAV_LP_LPV_approach)){
+            IonosphericGridPoints::clear_mask();
+            return false;
+          }
+          if(is_correction_timeout(t_reception, LNAV_VNAV_LP_LPV_approach)){
+            IonosphericGridPoints::clear_igp();
+          }
+          bool res(register_igp(type26));
+          if(res){
+            t_last_correction = t_reception;
+          }
+          return res;
+        }
+
+        typename IonosphericGridPoints::PointProperty iono_correction(
+            const enu_t &relative_pos, const llh_t &usrllh,
+            const gps_time_t &t, const bool &LNAV_VNAV_LP_LPV_approach = false) const {
+
+          if(is_correction_timeout(t, LNAV_VNAV_LP_LPV_approach)){
+            return IonosphericGridPoints::PointProperty::unavailable;
+          }
+          return iono_correction(relative_pos, usrllh);
+        }
+    };
+
+    /**
+     * Calculate Sagnac correction range in meter, which must be accounted
+     * for residual calculation of pseudo range.
+     *
+     * @param sat_pos Satellite position
+     * @param usr_pos User position
+     * @return correction range
+     * @see A.4.4.11
+     * @see SBAS_SpaceNode::Satellite::Ephemeris::constellation
+     */
+    static float_t sagnac_correction(
+        const xyz_t sat_pos,
+        const xyz_t usr_pos) {
+      return WGS84::Omega_Earth_IAU
+          * (sat_pos.x() * usr_pos.y() - sat_pos.y() * usr_pos.x())
+          / gps_space_node_t::light_speed;
+    }
+
+    /**
+     * Calculate correction value in accordance with tropospheric model
+     *
+     * @param year_utc UTC floating-point year
+     * @param relative_pos satellite position (relative position, NEU)
+     * @param usrllh user position (absolute position, LLH)
+     * @see A.4.2.4
+     * @return correction in meters
+     */
+    float_t tropo_correction(
+        const float_t &year_utc,
+        const enu_t &relative_pos,
+        const llh_t &usrllh) const {
+
+      if(usrllh.height() > 10E3){ // same as RTKlib; troposphere ranges from 0 to approximately 11km
+        return 0;
+      }
+
+      union MeteologicalParameter {
+        struct {
+          float_t p, T, e, beta, lambda; // mbar, K, mbar, K/m, [dimless]
+        };
+        float_t v[5];
+      };
+
+      static const struct {
+        MeteologicalParameter average, seasonal_variation;
+      } preset[] = {
+        {{1013.25, 299.65, 26.31, 6.30E-3, 2.77}, { 0.00,  0.00, 0.00, 0.00E-3, 0.00}}, // 15
+        {{1017.25, 294.15, 21.79, 6.05E-3, 3.15}, {-3.75,  7.00, 8.85, 0.25E-3, 0.33}}, // 30
+        {{1015.75, 283.15, 11.66, 5.58E-3, 2.57}, {-2.25, 11.00, 7.24, 0.32E-3, 0.46}}, // 45
+        {{1011.75, 272.15,  6.78, 5.39E-3, 1.81}, {-1.75, 15.00, 5.36, 0.81E-3, 0.74}}, // 60
+        {{1013.00, 263.65,  4.11, 4.53E-3, 1.55}, {-0.50, 14.50, 3.39, 0.62E-3, 0.30}}, // 75
+      }; // Table A-2
+      static const int preset_langth(sizeof(preset) / sizeof(preset[0]));
+
+      float_t preset_idx_f(std::abs(usrllh.latitude()) / (M_PI / 180 * 15));
+      int preset_idx(preset_idx_f);
+
+      MeteologicalParameter average, seasonal_variation;
+      if(preset_idx == 0){
+        average = preset[preset_idx].average;
+        seasonal_variation = preset[preset_idx].seasonal_variation;
+      }else if(preset_idx >= (preset_langth - 1)){
+        average = preset[preset_langth - 1].average;
+        seasonal_variation = preset[preset_langth - 1].seasonal_variation;
+      }else{
+        // linear interpolation
+        float_t
+            weight_b(preset_idx_f - preset_idx),
+            weight_a(1. - weight_b);
+        for(std::size_t j(0); j < sizeof(average.v) / sizeof(average.v[0]); ++j){
+          average.v[j]
+              = preset[preset_idx].average.v[j] * weight_a
+                + preset[preset_idx + 1].average.v[j] * weight_b; // (A-4)
+          seasonal_variation.v[j]
+              = preset[preset_idx].seasonal_variation.v[j] * weight_a
+                + preset[preset_idx + 1].seasonal_variation.v[j] * weight_b; // (A-5)
+        }
+      }
+
+      float_t d_hyd, d_wet;
+      {
+        // (A-3)
+        MeteologicalParameter param;
+        {
+          float_t Dmin_year(((usrllh.latitude() < 0) ? 211 : 28) / 365.25);
+          float_t year_int;
+          float_t k(std::cos(M_PI * 2 * (std::modf(year_utc, &year_int) - Dmin_year)));
+          for(std::size_t j(0); j < sizeof(param.v) / sizeof(param.v[0]); ++j){
+            param.v[j] = average.v[j] - seasonal_variation.v[j] * k;
+          }
+        }
+
+        static const float_t
+            k1(77.604), k2(382000), Rd(287.054), gm(9.784); // K/mbar, K^2/mbar, J/(kg*K), m/s^2
+        // Zero-altitude zenith delay term (z_hyd, z_wet)
+        float_t
+            z_hyd(1E-6 * k1 * Rd * param.p / gm), // (A-6)
+            z_wet(1E-6 * k2 * Rd / (gm * (param.lambda + 1) - param.beta * Rd) * param.e / param.T); // (A-7)
+
+        {
+          const float_t &h(usrllh.height()); // Altitude (m)
+          static const float_t g(9.80665); // m/s^2
+          if(h > 0){
+            float_t x(1. - (param.beta * h / param.T)), y(g / Rd / param.beta);
+            d_hyd = std::pow(x, y) * z_hyd; // (A-8)
+            d_wet = std::pow(x, y * (param.lambda + 1) - 1) * z_wet; // (A-9)
+          }else{
+            d_hyd = z_hyd;
+            d_wet = z_wet;
+          }
+        }
+      }
+
+      float_t m_el;
+      {
+        // Elevation (rad)
+        float_t el(relative_pos.elevation());
+        m_el = 1.001 / std::sqrt(0.002001 + std::pow(std::sin(el), 2)); // (A-10a)
+      }
+
+      return -(d_hyd + d_wet) * m_el;
+    }
+
+    /**
+     * UTC parameters
+     *
+     */
+    struct UTC_Parameters {
+      float_t A1;          ///< UTC parameter for SBAS network time (s/s)
+      float_t A0;          ///< UTC parameter for SBAS network time (s)
+      uint_t t_ot;         ///< Epoch time (UTC) (s)
+      uint_t WN_t;         ///< Epoch time (UTC) (weeks)
+      int_t delta_t_LS;    ///< Current leap seconds (s)
+      uint_t WN_LSF;       ///< Last leap second update week (weeks)
+      uint_t DN;           ///< Last leap second update day (days)
+      int_t delta_t_LSF;   ///< Updated leap seconds (s)
+
+      struct raw_t {
+        s32_t A1;           ///< UTC parameter (-50, s/s)
+        s32_t A0;           ///< UTC parameter (-30, s)
+        u8_t  t_ot;         ///< Epoch time (UTC) (12, s)
+        u8_t  WN_t;         ///< Epoch time (UTC) (weeks, truncated)
+        s8_t  delta_t_LS;   ///< Current leap seconds (s)
+        u8_t  WN_LSF;       ///< Last leap second update week (weeks, truncated)
+        u8_t  DN;           ///< Last leap second update day (days)
+        s8_t  delta_t_LSF;  ///< Updated leap seconds (s)
+
+        template <class InputT>
+        static raw_t fetch(const InputT *buf){
+          typedef typename DataBlock::Type12 msg_t;
+          raw_t res = {
+            msg_t::A1_SNT(buf),
+            msg_t::A0_SNT(buf),
+            msg_t::t_ot(buf),
+            msg_t::WN_t(buf),
+            msg_t::delta_t_LS(buf),
+            msg_t::WN_LSF(buf),
+            msg_t::DN(buf),
+            msg_t::delta_t_LSF(buf),
+          };
+          return res;
+        }
+
+        enum {
+          SF_A1,
+          SF_A0,
+
+          SF_NUM,
+        };
+        static const float_t sf[SF_NUM];
+
+        operator UTC_Parameters() const {
+          UTC_Parameters converted;
+#define CONVERT(TARGET) \
+{converted.TARGET = sf[SF_ ## TARGET] * TARGET;}
+            CONVERT(A1);
+            CONVERT(A0);
+            converted.t_ot = ((uint_t)t_ot) << 12;
+            converted.WN_t = WN_t;
+            converted.delta_t_LS = delta_t_LS;
+            converted.WN_LSF = WN_LSF;
+            converted.DN = DN;
+            converted.delta_t_LSF = delta_t_LSF;
+#undef CONVERT
+          return converted;
+        };
+      };
+    };
+
+    class SatelliteProperties {
+      public:
+        typedef typename gps_space_node_t::SatelliteProperties::constellation_t constellation_t;
+
+        /**
+         * SBAS Ephemeris
+         * @see Table A-18
+         */
+        struct Ephemeris {
+          uint_t svid;            ///< Satellite number
+          uint_t WN;              ///< Week number
+
+          float_t t_0;            ///< Time of applicability (s) <= time of a week
+          int_t URA;              ///< User range accuracy (index)
+          float_t x, y, z;        ///< ECEF position (m)
+          float_t dx, dy, dz;     ///< ECEF velocity (m/s)
+          float_t ddx, ddy, ddz;  ///< ECEF acceleration (m/s^2)
+          float_t a_Gf0;           ///< Clock correction parameter (s)
+          float_t a_Gf1;           ///< Clock correction parameter (s/s)
+
+          /**
+           * Adjust time of ephemeris with time of current
+           */
+          void adjust_time(const gps_time_t &t_current){
+            WN = t_current.week;
+            float_t sec_of_a_day(std::fmod(t_current.seconds, gps_time_t::seconds_day)), t_0_orig(t_0);
+            t_0 += (t_current.seconds - sec_of_a_day);
+
+            // roll over check
+            float_t delta(sec_of_a_day - t_0_orig);
+            if(delta > (gps_time_t::seconds_day / 4 * 3)){
+              // 0 --> t_0 ---------(3/4)---------> current --> day
+              t_0 += gps_time_t::seconds_day; // probably, current --> t_0
+              if(t_0 >= gps_time_t::seconds_week){
+                WN++;
+                t_0 -= gps_time_t::seconds_week;
+              }
+            }else if(-delta > (gps_time_t::seconds_day / 4 * 3)){
+              // 0 --> current ---------(3/4)---------> t_0 --> day
+              t_0 -= gps_time_t::seconds_day; // probably, t_0 --> current
+              if(t_0 < 0){
+                WN--;
+                t_0 += gps_time_t::seconds_week;
+              }
+            }
+          }
+
+          /**
+           * Check availability
+           * @param t target time
+           * @return always true, because timeout, which is based on the reception time,
+           * is the only way to make this ephemeris unavailable.
+           * This class does not take the reception time into account.
+           * @see 2.1.1.4.9, A.4.5.1.3.3
+           */
+          bool is_valid(const gps_time_t &t) const {
+            return ((WN > 0) || (t_0 >= 0));
+          }
+
+          /**
+           * Check fitness based on time of applicability (t_0) of ephemeris
+           * @param t target time
+           * @return true when best fit, otherwise, false
+           * @see A.4.5.1.3.3 (A-56)
+           */
+          bool maybe_better_one_avilable(const gps_time_t &t) const {
+            float_t delta_t(-t.interval(WN, t_0));
+            return (delta_t < 0) || (delta_t > Timing::values[Timing::GEO_NAVIGATION_DATA].interval);
+          }
+
+          constellation_t constellation(
+              const gps_time_t &t_rx, const float_t &pseudo_range = 0,
+              const bool &with_velocity = true) const {
+
+            float_t t_G(-t_rx.interval(WN, 0) - (pseudo_range / gps_space_node_t::light_speed));
+
+            float_t t(t_G - (a_Gf0 + a_Gf1 * (t_G - t_0))); // Eq.(A-45)
+            float_t t_dot(1.0 - a_Gf1);
+
+            float_t delta_t(t - t_0), delta_t2(delta_t * delta_t / 2);
+
+            constellation_t res = {
+              xyz_t(
+                  x + dx * delta_t + ddx * delta_t2,
+                  y + dy * delta_t + ddy * delta_t2,
+                  z + dz * delta_t + ddz * delta_t2), // Eq. (A-44)
+              xyz_t(
+                  (dx + ddx * delta_t) * t_dot,
+                  (dy + ddy * delta_t) * t_dot,
+                  (dz + ddz * delta_t) * t_dot),
+            };
+
+            // Be careful, Sagnac correction must be performed before geometric distance calculation
+            // @see SBAS_SpaceNode::sagnac_correction
+
+            return res;
+          }
+
+          struct raw_t {
+            u8_t  svid;           ///< Satellite number
+
+            u16_t t_0;            ///< Time of applicability (16, s) [0,86384] <= time of a day
+            u8_t  URA;            ///< User range accuracy
+            s32_t x, y, z;        ///< ECEF position (0.08(xy), 0.4(z) m)
+            s32_t dx, dy, dz;     ///< ECEF velocity (0.000625(xy), 0.004(z) m)
+            s16_t ddx, ddy, ddz;  ///< ECEF acceleration (0.0000125(xy), 0.0000625(z) m/s^2)
+            s16_t a_Gf0;          ///< Clock correction parameter (2^-31, s)
+            s8_t a_Gf1;           ///< Clock correction parameter (2^-40, s/s)
+
+            template <class InputT>
+            static raw_t fetch(const InputT *buf, const u8_t &sv_number = 0){
+              typedef typename DataBlock::Type9 msg_t;
+              raw_t res = {
+                sv_number, // svid
+                msg_t::t0(buf), // t_0
+                msg_t::ura(buf), // URA
+                msg_t::x(buf), msg_t::y(buf), msg_t::z(buf), // x, y, z
+                msg_t::dx(buf), msg_t::dy(buf), msg_t::dz(buf), // dx, dy, dz
+                msg_t::ddx(buf), msg_t::ddy(buf), msg_t::ddz(buf), // ddx, ddy, ddz
+                msg_t::a_Gf0(buf), msg_t::a_Gf1(buf), // a_Gf0, a_Gf1
+              };
+              return res;
+            }
+
+            enum {
+              SF_t_0,
+              SF_xy,    SF_z,
+              SF_dxy,   SF_dz,
+              SF_ddxy,  SF_ddz,
+              SF_a_Gf0,
+              SF_a_Gf1,
+
+              SF_NUM,
+            };
+            static const float_t sf[SF_NUM];
+
+            operator Ephemeris() const {
+              Ephemeris converted;
+#define CONVERT2(TARGET, TARGET_SF) \
+{converted.TARGET = sf[SF_ ## TARGET_SF] * TARGET;}
+#define CONVERT(TARGET) CONVERT2(TARGET, TARGET)
+              converted.svid = svid;
+              converted.WN = 0; // Week number (must be configured later) @see adjust_time
+
+              converted.URA = URA;
+              CONVERT(t_0);     // Time of a day => time of a week (must be configured later) @see adjust_time
+              CONVERT2(x, xy);      CONVERT2(y, xy);      CONVERT(z);
+              CONVERT2(dx, dxy);    CONVERT2(dy, dxy);    CONVERT(dz);
+              CONVERT2(ddx, ddxy);  CONVERT2(ddy, ddxy);  CONVERT(ddz);
+              CONVERT(a_Gf0);
+              CONVERT(a_Gf1);
+#undef CONVERT
+#undef CONVERT2
+              return converted;
+            }
+
+            raw_t &operator=(const Ephemeris &eph){
+#define CONVERT3(TARGET_DST, TARGET_SRC, TARGET_SF) \
+{TARGET_DST = (s32_t)((TARGET_SRC + 0.5 * sf[SF_ ## TARGET_SF]) / sf[SF_ ## TARGET_SF]);}
+#define CONVERT2(TARGET, TARGET_SF) CONVERT3(eph.TARGET, eph.TARGET, TARGET_SF)
+#define CONVERT(TARGET) CONVERT2(TARGET, TARGET)
+              svid = eph.svid;
+
+              URA = eph.URA;
+              CONVERT3(t_0, std::fmod(t_0, gps_time_t::seconds_day), t_0);
+              CONVERT2(x, xy);      CONVERT2(y, xy);      CONVERT(z);
+              CONVERT2(dx, dxy);    CONVERT2(dy, dxy);    CONVERT(dz);
+              CONVERT2(ddx, ddxy);  CONVERT2(ddy, ddxy);  CONVERT(ddz);
+              CONVERT(a_Gf0);
+              CONVERT(a_Gf1);
+#undef CONVERT
+#undef CONVERT2
+#undef CONVERT3
+              return *this;
+            }
+          };
+
+          bool is_equivalent(const Ephemeris &eph) const {
+            do{
+              if(WN != eph.WN){break;}
+              if(URA != eph.URA){break;}
+
+#define CHECK2(TARGET, TARGET_SF) \
+if(std::abs(TARGET - eph.TARGET) > raw_t::sf[raw_t::SF_ ## TARGET_SF]){break;}
+#define CHECK(TARGET) CHECK2(TARGET, TARGET)
+              CHECK(t_0);
+              CHECK2(x, xy);      CHECK2(y, xy);      CHECK(z);
+              CHECK2(dx, dxy);    CHECK2(dy, dxy);    CHECK(dz);
+              CHECK2(ddx, ddxy);  CHECK2(ddy, ddxy);  CHECK(ddz);
+              CHECK(a_Gf0);
+              CHECK(a_Gf1);
+#undef CHECK
+#undef CHECK2
+              return true;
+            }while(false);
+            return false;
+          }
+
+          gps_time_t base_time() const {
+            return gps_time_t(WN, t_0);
+          }
+        };
+
+        struct Ephemeris_with_Timeout : public Ephemeris {
+          gps_time_t t_reception;
+
+          Ephemeris_with_Timeout() : Ephemeris(), t_reception(0, 0) {}
+
+          /**
+           * Constructor to convert Ephemeris
+           * reception time is interpreted to be equivalent to time of applicability (t_0) of eph,
+           * therefore, eph is assumed that its t_0, i.e., week number and time of week,
+           * has already been adjusted.
+           * @param eph Epehemris
+           */
+          Ephemeris_with_Timeout(const Ephemeris &eph)
+              : Ephemeris(eph), t_reception(eph.WN, eph.t_0) {}
+
+          /**
+           * Constructor to convert Ephemeris with reception time
+           * reception time will be adjusted with time of reception.
+           * @param eph Ephemeris
+           * @param t_rx Reception time
+           */
+          Ephemeris_with_Timeout(const Ephemeris &eph, const gps_time_t &t_rx)
+              : Ephemeris(eph), t_reception(t_rx) {
+            Ephemeris::adjust_time(t_rx);
+          }
+
+          /**
+           * Check availability on EN_Route, Terminal, or LNAV
+           * @param t target time
+           * @return true when interval between message reception time
+           * and current time is within timeout threshold, otherwise false.
+           * @see 2.1.1.4.9, A.4.5.1.3.3
+           */
+          bool is_valid_EN_Route_Terminal_LNAV(const gps_time_t &t) const {
+            float_t delta_t(t_reception.interval(t));
+            return delta_t < Timing::values[
+                Timing::GEO_NAVIGATION_DATA].timeout_EN_Route_Terminal_LNAV;
+          }
+
+          /**
+           * Check availability on LNAV, VNAV, LP, or LPV approach
+           * @param t target time
+           * @return true when interval between message reception time
+           * and current time is within timeout threshold, otherwise false.
+           * @see 2.1.1.4.9, A.4.5.1.3.3
+           */
+          bool is_valid_LNAV_VNAV_LP_LPV_approach(const gps_time_t &t) const {
+            float_t delta_t(t_reception.interval(t));
+            return delta_t < Timing::values[
+                Timing::GEO_NAVIGATION_DATA].timeout_LNAV_VNAV_LP_LPV_approach;
+          }
+
+          /**
+           * Return reception time as base time, which is different from non-timeout version for time of applicability.
+           * This function will be used to sort multiple ephemeris in order of reception time.
+           * @see Ephemeris::base_time()
+           */
+          gps_time_t base_time() const {
+            return t_reception;
+          }
+        };
+
+        /**
+         * SBAS almanac
+         * @see Table A-19
+         */
+        struct Almanac {
+          uint_t data_id;
+          uint_t prn;         ///< PRN number
+          uint_t SV_health;   ///< Health status
+          float_t x, y, z;    ///< ECEF position (m)
+          float_t dx, dy, dz; ///< ECEF velocity (m/s)
+          float_t t_0;        ///< Time of applicability (s)
+
+          ///< Up-cast to ephemeris
+          operator Ephemeris() const {
+            Ephemeris converted = {
+              prn,        // Satellite number
+              t_0,        // Time of applicability (s)
+              -1,         // User range accuracy (index)
+              x, y, z,    // ECEF position (m)
+              dx, dy, dz, // ECEF velocity (m/s)
+              0, 0, 0,    // ECEF acceleration (m/s^2)
+              0,          // Clock correction parameter (s)
+              0,          // Clock correction parameter (s/s)
+            };
+            return converted;
+          }
+
+          struct raw_t {
+            u8_t data_id;
+            u8_t prn;         ///< PRN number
+            u8_t SV_health;   ///< Health status
+            s16_t x, y, z;    ///< ECEF position (2600(xy), 26000(z), m)
+            s8_t dx, dy, dz;  ///< ECEF velocity (10(xy), 60(z), m/s)
+            u16_t t_0;        ///< Time of applicability (64, s)
+
+            template <class InputT>
+            static raw_t fetch(const InputT *buf, const uint_t &ch){
+              typedef typename DataBlock::Type17 msg_t;
+              raw_t res = {
+                msg_t::id(buf, ch), // data_id
+                msg_t::prn(buf, ch), // prn
+                msg_t::health_status(buf, ch), // SV_health
+                msg_t::x(buf, ch), msg_t::y(buf, ch), msg_t::z(buf, ch), // x, y, z
+                msg_t::dx(buf, ch), msg_t::dy(buf, ch), msg_t::dz(buf, ch), // dx, dy, dz
+                msg_t::t0(buf), // t_0
+              };
+              return res;
+            }
+
+            enum {
+              SF_xy,  SF_z,
+              SF_dxy, SF_dz,
+              SF_t_0,
+
+              SF_NUM,
+            };
+            static const float_t sf[SF_NUM];
+
+            operator Almanac() const {
+              Almanac converted;
+#define CONVERT2(TARGET, TARGET_SF) \
+{converted.TARGET = sf[SF_ ## TARGET_SF] * TARGET;}
+#define CONVERT(TARGET) CONVERT2(TARGET, TARGET)
+                converted.data_id = data_id;
+                converted.prn = prn;
+                converted.SV_health = SV_health;
+                CONVERT2(x, xy);    CONVERT2(y, xy);    CONVERT(z);
+                CONVERT2(dx, dxy);  CONVERT2(dy, dxy);  CONVERT(dz);
+                CONVERT(t_0);
+#undef CONVERT
+#undef CONVERT2
+              return converted;
+            }
+          };
+        };
+    };
+
+    class Satellite : public SatelliteProperties {
+      friend class SBAS_SpaceNode;
+      public:
+        typedef typename SatelliteProperties::Ephemeris_with_Timeout eph_t;
+        typedef typename gps_space_node_t::template PropertyHistory<eph_t> eph_list_t;
+        typedef IonosphericGridPoints_with_Timeout igp_t;
+      protected:
+        eph_list_t eph_history;
+        igp_t igp;
+      public:
+        Satellite() : eph_history(), igp() {
+          // setup first ephemeris as invalid one
+          eph_t &eph_current(const_cast<eph_t &>(eph_history.current()));
+          eph_current.WN = 0;
+          eph_current.t_0 = -1;
+        }
+
+        template <class Functor>
+        void each_ephemeris(
+            Functor &functor,
+            const typename eph_list_t::each_mode_t &mode = eph_list_t::EACH_ALL) const {
+          eph_history.each(functor, mode);
+        }
+
+        void register_ephemeris(const eph_t &eph, const int &priority_delta = 1){
+          eph_history.add(eph, priority_delta);
+        }
+
+        const eph_t &ephemeris() const {
+          return eph_history.current();
+        }
+
+        /**
+         * Select appropriate ephemeris within registered ones.
+         *
+         * @param target_time time at measurement
+         * @param LNAV_VNAV_LP_LPV_approach
+         * @return if true, appropriate ephemeris is selected, otherwise, not selected.
+         */
+        bool select_ephemeris(
+            const gps_time_t &target_time,
+            const bool &LNAV_VNAV_LP_LPV_approach = false){
+          bool (eph_t::*is_valid_func)(const gps_time_t &) const (
+              LNAV_VNAV_LP_LPV_approach
+                ? &eph_t::is_valid_LNAV_VNAV_LP_LPV_approach
+                : &eph_t::is_valid_EN_Route_Terminal_LNAV);
+          return (ephemeris().*is_valid_func)(target_time) // conservative
+              || eph_history.select(target_time, is_valid_func);
+        }
+
+        const igp_t &ionospheric_grid_points() const {
+          return igp;
+        }
+    };
+
+  public:
+    typedef std::map<int, Satellite> satellites_t;
+  protected:
+    satellites_t _satellites;
+  public:
+    SBAS_SpaceNode() : _satellites() {
+
+    }
+    ~SBAS_SpaceNode(){
+      _satellites.clear();
+    }
+    const satellites_t &satellites() const {
+      return _satellites;
+    }
+    Satellite &satellite(const int &prn) {
+      return _satellites[prn];
+    }
+    bool has_satellite(const int &prn) const {
+      return _satellites.find(prn) !=  _satellites.end();
+    }
+    void update_all_ephemeris(const gps_time_t &target_time) {
+      for(typename satellites_t::iterator it(_satellites.begin());
+          it != _satellites.end(); ++it){
+        it->second.select_ephemeris(target_time);
+      }
+    }
+
+    typedef std::vector<std::pair<int, const Satellite *> > available_satellites_t;
+    /**
+     * Return available satellites
+     * @param lng_deg longitude of user position
+     * @return (available_satellites_t) available satellites, nearer is faster
+     */
+    available_satellites_t available_satellites(const float_t &lng_deg) const {
+      available_satellites_t res;
+      typename KnownSatellites::list_t nearest(KnownSatellites::nearest_ordered(lng_deg));
+      for(typename KnownSatellites::list_t::const_iterator it(nearest.begin());
+          it != nearest.end();
+          ++it){
+        int prn((*it)->prn);
+        if(!has_satellite(prn)){continue;}
+        res.push_back(std::make_pair(prn, &(const_cast<SBAS_SpaceNode *>(this)->_satellites[prn])));
+      }
+      return res;
+    }
+
+    template <class InputT>
+    MessageType decode_message(
+        const InputT *buf, const int &prn, const gps_time_t &t_reception,
+        const bool &LNAV_VNAV_LP_LPV_approach = false){
+
+      MessageType message_type((MessageType)DataBlock::message_type(buf));
+      Satellite &sat(_satellites[prn]);
+
+      switch(message_type){
+        case GEO_NAVIGATION: { // 9
+          typename Satellite::eph_t eph(
+              Satellite::eph_t::raw_t::fetch(buf, prn), t_reception);
+          sat.eph_history.add(eph);
+          break;
+        }
+        case DEGRADATION_PARAMS: { // 10
+          DegradationFactors dfactor(DegradationFactors::raw_t::fetch(buf));
+          break;
+        }
+        case IONO_GRID_POINT_MASKS: // 18
+          sat.igp.update_mask(buf, t_reception, LNAV_VNAV_LP_LPV_approach);
+          break;
+        case IONO_DELAY_CORRECTION: // 26
+          if(!sat.igp.register_igp(buf, t_reception, LNAV_VNAV_LP_LPV_approach)){
+            message_type = UNSUPPORTED_MESSAGE;
+          }
+          break;
+        case NULL_MESSAGES: // 63
+          break;
+        default:
+          message_type = UNSUPPORTED_MESSAGE;
+      }
+
+      return message_type;
+    }
+};
+
+template <class FloatT>
+template <typename T>
+typename SBAS_SpaceNode<FloatT>::KnownSatellites::list_t
+    SBAS_SpaceNode<FloatT>::KnownSatellites::sort(T sorter){
+  static const typename SBAS_SpaceNode<FloatT>::RangingCode codes[] = {
+    {121,  175, 01241,    5,   "EGNOS (Eutelsat 5WB)"},
+    {122,   52, 00267,  143.5, "SPAN (INMARSAT 4F1)"},
+    {123,   21, 00232,   31.5, "EGNOS (ASTRA 5B)"},
+    {124,  237, 01617,    0,   "EGNOS (Reserved)"},
+    {125,  235, 01076,  -16,   "SDCM (Luch-5A)"},
+    {126,  886, 01764,   63.9, "EGNOS (INMARSAT 4F2)"},
+    {127,  657, 00717,   55,   "GAGAN (GSAT-8)"},
+    {128,  634, 01532,   83,   "GAGAN (GSAT-10)"},
+    {129,  762, 01250,  127,   "MSAS (QZS-3)"},
+    {130,  355, 00341,  140,   "BDSBAS (G6)"},
+    {131, 1012, 00551, -117,   "WAAS (Eutelsat 117West B)"},
+    {132,  176, 00520,   93.5, "GAGAN (GSAT-15)"},
+    {133,  603, 01731, -129,   "WAAS (SES-15)"},
+    {134,  130, 00706,   91.5, "KASS (MEASAT-3D)"},
+    {135,  359, 01216, -125,   "WAAS (Intelsat Galaxy 30)"},
+    {136,  595, 00740,    5,   "EGNOS (SES-5)"},
+    {137,   68, 01007,  127,   "MSAS (QZS-3)"},
+    {138,  386, 00450,  107.3, "WAAS (ANIK F1R)"},
+    {140,  456, 01653,   95,   "SDCM (Luch-5V)"},
+    {141,  499, 01411,  167,   "SDCM (Luch-5A)"},
+    {143,  307, 01312,  110.5, "BDSBAS (G3)"},
+    {144,  127, 01060,   80,   "BDSBAS (G2)"},
+    {147,  118, 00355,   42.5, "NSAS (NIGCOMSAT-1R)"},
+    {148,  163, 00335,  -24.8, "ASAL (ALCOMSAT-1)"},
+  }; ///< @see https://www.gps.gov/technical/prn-codes/L1-CA-PRN-code-assignments-2020-Apr.pdf
+  list_t res;
+  res.reserve(sizeof(codes) / sizeof(codes[0]));
+  for(unsigned int i(0); i < sizeof(codes) / sizeof(codes[0]); ++i){
+    res.push_back(&codes[i]);
+  }
+  std::sort(res.begin(), res.end(), sorter);
+  return res;
+}
+
+template <class FloatT>
+const typename SBAS_SpaceNode<FloatT>::KnownSatellites::list_t
+    SBAS_SpaceNode<FloatT>::KnownSatellites::prn_ordered
+      = SBAS_SpaceNode<FloatT>::KnownSatellites::sort(
+        typename SBAS_SpaceNode<FloatT>::RangingCode::prn_sorter_t());
+
+template <class FloatT>
+const typename SBAS_SpaceNode<FloatT>::KnownSatellites::list_t
+    SBAS_SpaceNode<FloatT>::KnownSatellites::longitude_ordered
+      = SBAS_SpaceNode<FloatT>::KnownSatellites::sort(
+        typename SBAS_SpaceNode<FloatT>::RangingCode::lng_sorter_t());
+
+template <class FloatT>
+const typename SBAS_SpaceNode<FloatT>::KnownSatellites::list_t
+    SBAS_SpaceNode<FloatT>::KnownSatellites::name_ordered
+      = SBAS_SpaceNode<FloatT>::KnownSatellites::sort(
+        typename SBAS_SpaceNode<FloatT>::RangingCode::name_sorter_t());
+
+
+template <class FloatT>
+const typename SBAS_SpaceNode<FloatT>::Timing::values_t
+    SBAS_SpaceNode<FloatT>::Timing::values[SBAS_SpaceNode<FloatT>::Timing::NUM_OF_TIMING_ITEMS] = {
+  {  6},                // DONT_USE_FOR_SAFETY_APPLICATIONS (0)
+  {120,   600,   600},  // PRN_MASK (1)
+  {  6,    18,    12},  // UDREI (2-6, 24)
+  {},                   // FAST_CORRECTIONS (2-5, 24)
+  {120,   360,   240},  // LONG_TERM_CORRECTIONS (24, 25)
+  {120,   360,   240},  // GEO_NAVIGATION_DATA (9)
+  {120,   360,   240},  // FAST_CORRECTION_DEGRADATION (7)
+  {120,   360,   240},  // DEGRADATION_PARAMETERS (10)
+  {300,  1200,  1200},  // IONOSPHERIC_GRID_MASK (18)
+  {300,   600,   600},  // IONOSPHERIC_CORRECTIONS (26)
+  {300, 86400, 86400},  // UTC_TIMING_DATA (12)
+  {300},                // ALNAMAC_DATA (17)
+  {300, 86400, 86400},  // SERVICE_LEVEL (27)
+  {120,   360,   240},  // CLOCK_EPHEMERIS_COVARIANCE_MATRIX (28)
+}; ///< @see Table A-25
+
+template <class FloatT>
+const typename SBAS_SpaceNode<FloatT>::IonosphericGridPoints::PointProperty::raw_t
+    SBAS_SpaceNode<FloatT>::IonosphericGridPoints::PointProperty::raw_t::unavailable = {
+  DELAY_DONT_USE,
+  ERROR_INDICATOR_NOT_MONITORED,
+};
+
+template <class FloatT>
+const typename SBAS_SpaceNode<FloatT>::IonosphericGridPoints::PointProperty
+    SBAS_SpaceNode<FloatT>::IonosphericGridPoints::PointProperty::unavailable = {
+  0,
+  raw_t::raw2sigma2(raw_t::ERROR_INDICATOR_NOT_MONITORED),
+};
+
+template <class FloatT>
+SBAS_SpaceNode<FloatT>::IonosphericGridPoints::position_t::operator typename SBAS_SpaceNode<FloatT>::IonosphericGridPoints::position_index_t() const {
+  SBAS_SpaceNode<FloatT>::IonosphericGridPoints::position_index_t res = {
+      position_index_t::lat2idx(latitude_deg),
+      position_index_t::lng2idx(longitude_deg)};
+  return res;
+}
+
+#define POWER_2(n) \
+(((n) >= 0) \
+  ? (float_t)(1 << (n >= 0 ? n : 0)) \
+  : (((float_t)1) / (1 << (-(n) >= 30 ? 30 : -(n > 0 ? 0 : n))) \
+    / (1 << (-(n) >= 30 ? (-(n) - 30) : 0))))
+
+template <class FloatT>
+const typename SBAS_SpaceNode<FloatT>::float_t SBAS_SpaceNode<FloatT>::DegradationFactors::raw_t::sf[] = {
+  0.002,    // SF_B_rcc
+  0.002,    // SF_C_ltc_lsb
+  0.00005,  // SF_C_ltc_v1
+  0.002,    // SF_C_ltc_v0
+  0.0005,   // SF_C_geo_lsb
+  0.00005,  // SF_C_geo_v
+  0.5,      // SF_C_er
+  0.001,    // SF_C_iono_step
+  0.000005, // SF_C_iono_ramp
+  0.1,      // SF_C_covariance
+};
+
+template <class FloatT>
+const typename SBAS_SpaceNode<FloatT>::float_t SBAS_SpaceNode<FloatT>::SatelliteProperties::Ephemeris::raw_t::sf[] = {
+  16,           // SF_t_0
+  0.08,         // SF_xy
+  0.4,          // SF_z
+  0.000625,     // SF_dxy
+  0.004,        // SF_dz
+  0.0000125,    // SF_ddxy
+  0.0000625,    // SF_ddz
+  POWER_2(-31), // SF_a_Gf0
+  POWER_2(-40), // SF_a_Gf1
+};
+
+template <class FloatT>
+const typename SBAS_SpaceNode<FloatT>::float_t SBAS_SpaceNode<FloatT>::SatelliteProperties::Almanac::raw_t::sf[] = {
+  2600,   // SF_xy
+  26000,  // SF_z
+  10,     // SF_dxy
+  60,     // SF_dz
+  64,     // SF_t_0
+};
+
+template <class FloatT>
+const typename SBAS_SpaceNode<FloatT>::float_t SBAS_SpaceNode<FloatT>::UTC_Parameters::raw_t::sf[] = {
+  POWER_2(-50), // SF_A1
+  POWER_2(-30), // SF_A0
+};
+
+#undef POWER_2
+
+#endif /* __SBAS_H__ */