tree checksum vpatch file split hunks

all signers: bvt asciilifeform diana_coman

antecedents: ffa_ch5_egypt.kv ffa_ch13_measure_and_qshifts.kv ffa_ch12_karatsuba_redux.kv ffa_ch3_shifts.kv ffa_ch2_logicals.kv ffa_ch1_genesis.kv ffa_ch11_tuning_and_api.kv ffa_ch4_ffacalc.kv ffa_ch14_barrett.kv

press order:

ffa_ch1_genesis.kvasciilifeform bvt diana_coman
ffa_ch2_logicals.kvasciilifeform bvt diana_coman
ffa_ch3_shifts.kvasciilifeform bvt diana_coman
ffa_ch4_ffacalc.kvasciilifeform bvt diana_coman
ffa_ch5_egypt.kvasciilifeform bvt diana_coman
ffa_ch6_simplest_rsa.kvasciilifeform bvt diana_coman
ffa_ch7_turbo_egyptians.kvasciilifeform bvt diana_coman
ffa_ch8_randomism.kvasciilifeform bvt diana_coman
ffa_ch9_exodus.kvasciilifeform bvt diana_coman
ffa_ch10_karatsuba.kvasciilifeform bvt diana_coman
ffa_ch11_tuning_and_api.kvasciilifeform bvt diana_coman
ffa_ch12_karatsuba_redux.kvasciilifeform diana_coman
ffa_w_borrow_expr.kvasciilifeform diana_coman
ffa_ch13_measure_and_qshifts.kvasciilifeform diana_coman
ffa_ch14_barrett.kvasciilifeform diana_coman
ffa_ch15_gcd.kvasciilifeform diana_coman

patch:

- A38B616095BBF9035689C8BF9BE759A0E958D99249DDBC68A675EEF479E211D7916A93AC702ECB3C5627CD5F0940A0E43D870AC488D063B1B1B7654BB3E4E243
+ 9B65BB45012CDBE66D613823F63E75E1A8A63AB64B11B2235549FE62BDA45D09ADE27AEAFC8DF47C32D905D4400A82F80AEE488A6AE7D7795CB91E6408057EAB
ffa/MANIFEST.TXT
(13 . 3)(13 . 4)
   5  551348 ffa_w_borrow_expr diana_coman Replaces expression for calculating borrow bit with more readable version that is also symmetrical to that for carry bit.
   6  551516 ffa_ch13_measure_and_qshifts   "Measure and Quiet Shifts."
   7  555788 ffa_ch14_barrett               "Barrett's Modular Reduction."
   8  557938 ffa_ch15_gcd                   "Greatest Common Divisor."
- E6EF90E8E81E2504052A9C3B4EBCF1F7F7ABA62E8B2330E96EAF48978E1749A0D655261B8AC31028AF0ABBD1F50AB9FD7492DD2A80852B8E8E6958A55E00ECB9
+ A685AE297E995254762E5D2AE4A7FB4180391E26803C6DE1761F0CF6023062BEFA31A00892A12E035BE0526A8536B91AD29F03BD451711665B968CF4084DB6F0
ffa/README
(2 . 7)(2 . 7)
  13 ------------------------------------------------------------------------------
  14 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
  15 --                                                                          --
  16 -- (C) 2018 Stanislav Datskovskiy ( www.loper-os.org )                      --
  17 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
  18 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
  19 --                                                                          --
  20 -- You do not have, nor can you ever acquire the right to use, copy or      --
- E61DA32CD223C6EB8B83C5161D88DBFAD3779A744BACCBEDD1AF357E941D0E17B324E3FF1177C72300D76A8C71486A15A473FF635005238B296BD939A85E0EDA
+ 04C162662701740CECAD1575C604EECCC461336E6E75DDE17595FDD266194FE3B408593E2F44B1C2F9AF7B2495153FAC3C7CDA0FDAC7786AFAEF34C121499FF6
ffa/ffacalc/README
(2 . 7)(2 . 7)
  25 ------------------------------------------------------------------------------
  26 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
  27 --                                                                          --
  28 -- (C) 2017 Stanislav Datskovskiy ( www.loper-os.org )                      --
  29 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
  30 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
  31 --                                                                          --
  32 -- You do not have, nor can you ever acquire the right to use, copy or      --
- 888B4F60E7068F0069D7293242209AC500A7BA7F5B6F01F8EEF23DA1D52B26EAF47BC80465C9FBD5278AA677AFB27CB955427ED0D7E9A8409EF50EB763BB09F8
+ 6F32BA846B2DDC89EFECB4647890D79DC4CDF333185AA1821A8631583657AACDE6D8528B95A7E2D98F71B9B0A174A8DF0475F5F5F9F6B759A0BAF1F3E256F86F
ffa/ffacalc/cmdline.adb
(2 . 7)(2 . 7)
  37 ------------------------------------------------------------------------------
  38 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
  39 --                                                                          --
  40 -- (C) 2018 Stanislav Datskovskiy ( www.loper-os.org )                      --
  41 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
  42 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
  43 --                                                                          --
  44 -- You do not have, nor can you ever acquire the right to use, copy or      --
- 064971BB7E0A8A48FA00B523083A4332B9A4589BF83BB03CA236EF15BC977BA40F7375B00A06DEAAC84081FFF7615B0BC4463EEEDED57976B1B084FB37657F46
+ 38C999F7611A8733B8B8298FFD4F06C0F829DACE631235465ECED1E5973F945EE0E421BB0FFAB7DC7CF2B6BDC7C3940DD1FC55ECF4BED6B7F202DF68B9F23846
ffa/ffacalc/cmdline.ads
(2 . 7)(2 . 7)
  49 ------------------------------------------------------------------------------
  50 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
  51 --                                                                          --
  52 -- (C) 2018 Stanislav Datskovskiy ( www.loper-os.org )                      --
  53 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
  54 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
  55 --                                                                          --
  56 -- You do not have, nor can you ever acquire the right to use, copy or      --
- C6CE2B2EFEC9BF6172130008C0EA7703D08D07862296A2CA5B1D790352697C3E05D2D233BFCF3F533164E45027A9BFA2815445FDB1E75807F5092335F99B03A4
+ 0DC7983700B4D2EEC0CD0FE41D7BE166568CAF3BEE53D635CAB6685A0FBFC4057AB6B5836A3CD74AC152973A4A6CBBCFE4C8A514942E03F3591DCD811C8D1AA2
ffa/ffacalc/ffa_calc.adb
(2 . 7)(2 . 7)
  61 ------------------------------------------------------------------------------
  62 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
  63 --                                                                          --
  64 -- (C) 2018 Stanislav Datskovskiy ( www.loper-os.org )                      --
  65 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
  66 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
  67 --                                                                          --
  68 -- You do not have, nor can you ever acquire the right to use, copy or      --
(393 . 6)(393 . 27)
  70                                XY_Lo => Stack(SP - 1),
  71                                XY_Hi => Stack(SP));
  72                
  73                -- Square, give bottom and top halves
  74             when 'S' =>
  75                Want(1);
  76                Push;
  77                FFA_FZ_Square(X     => Stack(SP - 1),
  78                              XX_Lo => Stack(SP - 1),
  79                              XX_Hi => Stack(SP));
  80                
  81                -- Greatest Common Divisor (GCD)
  82             when 'G' =>
  83                Want(2);
  84                
  85                -- Note that GCD(0,0) is not factually zero, or unique.
  86                -- But it is permissible to define it as zero.
  87                -- (See Ch. 15 discussion.)
  88                
  89                FFA_FZ_Greatest_Common_Divisor(X      => Stack(SP - 1),
  90                                               Y      => Stack(SP),
  91                                               Result => Stack(SP - 1));
  92                Drop;
  93                
  94                -----------------
  95                -- Bitwise Ops --
  96                -----------------
(492 . 14)(513 . 6)
  98                FFA_FZ_Clear(Stack(SP));
  99                FFA_FZ_Set_Head(Stack(SP), Word(FFA_K_Version));
 100                
 101                -- Square, give bottom and top halves
 102             when 'S' =>
 103                Want(1);
 104                Push;
 105                FFA_FZ_Square(X     => Stack(SP - 1),
 106                              XX_Lo => Stack(SP - 1),
 107                              XX_Hi => Stack(SP));
 108                
 109                --------------
 110                -- Prefixes --
 111                --------------
(520 . 7)(533 . 7)
 113                -- Reserved Ops, i.e. ones we have not defined yet:   --
 114                ---------------------------------------------------------
 115             when '!' | '@' | '$' | ':' | ';' | ',' |
 116                  'G' | 'H' | 'I' | 'J' | 'K' | 'N' |
 117                  'H' | 'I' | 'J' | 'K' | 'N' |
 118                  'P' | 'T' | 'X' | 'Y' =>
 119                
 120                E("This Operator is not defined yet: " & C);
(602 . 19)(615 . 27)
 122                   when 'R' =>
 123                      E("Right-Rotate not yet defined!");
 124                      
 125                   -- 'Right-Multiply', give only lower half of the product XY
 126                   when '*' =>
 127                      Want(2);
 128                      FFA_FZ_Low_Multiply(X  => Stack(SP - 1),
 129                                          Y  => Stack(SP),
 130                                          XY => Stack(SP - 1));
 131                      Drop;
 132                      
 133                   -- ... Unknown:
 134                   when others =>
 135                      E("Undefined Op: R" & O);
 136                      
 137                end case;
 138             ---------------------------------------------------------
 139             -- Modular...   
 140             -- Modular...
 141             when 'M' =>
 142                
 143                -- Which M-op?
 144                case O is
 145                   
 146                   -- ... Multiplication :
 147                   -- ... Multiplication (Conventional) :
 148                   when '*' =>
 149                      Want(3);
 150                      MustNotZero(Stack(SP));
(625 . 7)(646 . 16)
 152                      Drop;
 153                      Drop;
 154                      
 155                   -- ... Exponentiation :
 156                   -- ... Squaring (Conventional) :
 157                   when 'S' =>
 158                      Want(2);
 159                      MustNotZero(Stack(SP));
 160                      FFA_FZ_Modular_Square(X       => Stack(SP - 1),
 161                                            Modulus => Stack(SP),
 162                                            Product => Stack(SP - 1));
 163                      Drop;
 164                      
 165                   -- ... Exponentiation (Barrettronic) :
 166                   when 'X' =>
 167                      Want(3);
 168                      MustNotZero(Stack(SP));
- 52B7BB186F030B62B54D315384DD843497B43154AEB4046684C7FA58C616CCE3E0694D23537489F70A83B7CB54EB23D39100066A2656045F98A9B63E471F2F8F
+ A09EC660D5C3F45B6277DB4CA2B27F92B5B83C40A25DD030BA87C1966DB92AD0BB0D8FB06489807C47C755B5768BE490CDE04D841FFAC4C97D817D8C47607D02
ffa/ffacalc/ffa_calc.gpr
(2 . 7)(2 . 7)
 173 ------------------------------------------------------------------------------
 174 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
 175 --                                                                          --
 176 -- (C) 2017 Stanislav Datskovskiy ( www.loper-os.org )                      --
 177 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
 178 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
 179 --                                                                          --
 180 -- You do not have, nor can you ever acquire the right to use, copy or      --
- 5314C163058BB201207A4CE29D8B6617C15F7B63490C445A371B3BAB4323842A948532AC92CC67C7B3E8546EB92421E75516220A27052E43BB96490D3FB1F243
+ 2F7F257E0AE6F10A8B865C9BC6FC904EE0A2EE24EBAF3A68F49959D9CCCDBA4C6F7B612C5E189AD7BC6D9B560B799C611D28C20755F68CF9592F2F5B2BF81FE1
ffa/ffacalc/ffa_rng.adb
(2 . 7)(2 . 7)
 185 ------------------------------------------------------------------------------
 186 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
 187 --                                                                          --
 188 -- (C) 2017 Stanislav Datskovskiy ( www.loper-os.org )                      --
 189 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
 190 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
 191 --                                                                          --
 192 -- You do not have, nor can you ever acquire the right to use, copy or      --
- 18CEFFD6E2783F1B16C6D6BBF07D5ACDF6E5F83B1181162D2DD39F449A505CCF2DB4B1C8F74CE334B53CC8C1A17ECF052A4C1DBF8C025082D2E2014A1BA12674
+ 26FDB67915E7B62C803D76892F63EC6DF69C656D209CE5D1359EA310B67D019451E3CAAE52DBA2C7AFCA472BA83880720776E9F3E589F1C905F5E5C68FA33960
ffa/ffacalc/ffa_rng.ads
(2 . 7)(2 . 7)
 197 ------------------------------------------------------------------------------
 198 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
 199 --                                                                          --
 200 -- (C) 2017 Stanislav Datskovskiy ( www.loper-os.org )                      --
 201 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
 202 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
 203 --                                                                          --
 204 -- You do not have, nor can you ever acquire the right to use, copy or      --
- 336BAF1718ECF7AADA909E7A7BA8062C6107D53F397969EF3740C26A31142551EF450DEE4CBDDCD55F0673E250CE7C47520672DC8FF0EB962F4C126793E2EBAA
+ CB36806DF5808E2F409446F3FFC170C3C50285DC5B7864504A5617A617215A18CC372F74CA28F583E44A43102C61B640B55B0C6F2AE40074F6716FFAC94FE6A0
ffa/ffacalc/os.adb
(2 . 7)(2 . 7)
 209 ------------------------------------------------------------------------------
 210 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
 211 --                                                                          --
 212 -- (C) 2017 Stanislav Datskovskiy ( www.loper-os.org )                      --
 213 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
 214 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
 215 --                                                                          --
 216 -- You do not have, nor can you ever acquire the right to use, copy or      --
- A6EA0FE40C8F1FFCA030C48DC252BA3D31D3765F57375EFA7F26CDD39ED56AD24527832D0FE071B8E98F4BC9793A292D167739EC0448839E75723684630D1368
+ 023E91EF60D6D2FD98F527DB1CF90FD181473DD5B621E40BA9CE550E7923537DEDAC9B2F29271DE4BE0035EB34CC67424285E5E8BFFC2E2F322F01CF208D2ECB
ffa/ffacalc/os.ads
(2 . 7)(2 . 7)
 221 ------------------------------------------------------------------------------
 222 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
 223 --                                                                          --
 224 -- (C) 2017 Stanislav Datskovskiy ( www.loper-os.org )                      --
 225 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
 226 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
 227 --                                                                          --
 228 -- You do not have, nor can you ever acquire the right to use, copy or      --
- 24FBDEB64A2E0F728092B5E6BE2F55D40276CBE30E500A92554B3E702FF9F128D5860664AD4BBB1E4D3DDFB4B0189E043FBA946ACEC305C24A2F216E757B8D86
+ DE74B71AD764A1253CA500C7EF1E4F285356B2A9F4CCD056F05DEB9FB99F7477488C6C03FE1CAEE82D8FF153461EE81C9E046D74DC880281C43C5AC565706A07
ffa/ffacalc/version.ads
(2 . 7)(2 . 7)
 233 ------------------------------------------------------------------------------
 234 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
 235 --                                                                          --
 236 -- (C) 2018 Stanislav Datskovskiy ( www.loper-os.org )                      --
 237 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
 238 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
 239 --                                                                          --
 240 -- You do not have, nor can you ever acquire the right to use, copy or      --
(24 . 7)(24 . 7)
 242    ----------------------------------------------
 243    -- Current 'deg. Kelvin' Version of FFACalc --
 244    ----------------------------------------------
 245    FFACalc_K_Version : constant Natural := 255;
 246    FFACalc_K_Version : constant Natural := 254;
 247    ----------------------------------------------
 248    
 249 end Version;
- AD4BCD1C0F26FDAE13316825F8AD112744491727D35D0645BBA892DDE1DCA9CC13FEB756EA2BF673245DAA6E027386E896E5D2975F3A53949EB210571997E9D2
+ 211D65559129EE9D5F1BE41E914AC95C3D4114A77B1074B63F084C5C1FD54F77F0481500CEAA21F49474636A7FFFFAB55D50700EB77089FBF0835962DE7F335A
ffa/ffademo/README
(2 . 7)(2 . 7)
 254 ------------------------------------------------------------------------------
 255 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
 256 --                                                                          --
 257 -- (C) 2017 Stanislav Datskovskiy ( www.loper-os.org )                      --
 258 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
 259 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
 260 --                                                                          --
 261 -- You do not have, nor can you ever acquire the right to use, copy or      --
- 20E5FD1DB56FBEDCCAD21587FE6D6AD44C6D7208CD5632A12E364B81217ACF68B1B92BC1D82E29E5C16E6CAEBB5B8DCE8C275A2E21691F5B355314B0AAC2BE7D
+ 8D3C05EA7E46E43E30F40B8757A83B18069CF62F419A04DA591699E3CC55AB9AD8A73188F7C89EC7D9796ED4E1C4C87E0CAF1B371F75D6A2DA9EABE09F46A201
ffa/ffademo/demo_ch1.adb
(2 . 7)(2 . 7)
 266 ------------------------------------------------------------------------------
 267 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
 268 --                                                                          --
 269 -- (C) 2017 Stanislav Datskovskiy ( www.loper-os.org )                      --
 270 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
 271 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
 272 --                                                                          --
 273 -- You do not have, nor can you ever acquire the right to use, copy or      --
- 1959CDA0F5A15B35A1E5B050978162E9522F3885881F98EAFF4BBDA4B314E49A6CECD3E938F4C894E1E18C64CCE7E704C63BC867FF8D5E0AC37161365B6B4B31
+ DA01E12ABEE204118EC4E1507C21F4A1A9F00A66330AB95AD8BB88DC672BC0DF454F18448384309D853433137015E8239CFEE2CE8BD723B9F1E832FDBA6BA97A
ffa/ffademo/demo_ch1.ads
(2 . 7)(2 . 7)
 278 ------------------------------------------------------------------------------
 279 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
 280 --                                                                          --
 281 -- (C) 2017 Stanislav Datskovskiy ( www.loper-os.org )                      --
 282 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
 283 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
 284 --                                                                          --
 285 -- You do not have, nor can you ever acquire the right to use, copy or      --
- FF319D21D5A1B36292F185556512B4EF986CCF657610377DA93D3EFAEBA340C67ABD8AEA86423176090F7DBB9A33203740D27B87B229A70AB30E3ACE6633CB0E
+ 0139B4A14C4A4DC7BBCCB7C63B93221AB8CAD22FA86A051B83D59389CBDD4B209494A1899C61C68B084BFAEFA56AA7B9F69238B7EFF9ADBE930065D04A69588E
ffa/ffademo/demo_ch2.adb
(2 . 7)(2 . 7)
 290 ------------------------------------------------------------------------------
 291 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
 292 --                                                                          --
 293 -- (C) 2017 Stanislav Datskovskiy ( www.loper-os.org )                      --
 294 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
 295 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
 296 --                                                                          --
 297 -- You do not have, nor can you ever acquire the right to use, copy or      --
- D0EC9ED3535A120A612D261B779EC88A02EA7BE5A683399E8C49E2D1E8833897DD8B84F1E517DC570DE17E4CA6752B5654E5ADE3D3974D94842BCEBF57AB65BE
+ FA7D3281D43C3C2A7CB10505F7FDB088D59764083527EDDB50B680EA5E71045CF55D04DFE19C6166A2ED7070A7600CE66D2F7AF63B0B5C17B0359D403A61C3BB
ffa/ffademo/demo_ch2.ads
(2 . 7)(2 . 7)
 302 ------------------------------------------------------------------------------
 303 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
 304 --                                                                          --
 305 -- (C) 2017 Stanislav Datskovskiy ( www.loper-os.org )                      --
 306 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
 307 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
 308 --                                                                          --
 309 -- You do not have, nor can you ever acquire the right to use, copy or      --
- D2AEC7DB4CEF68A2CA7DDF2AAE62E393F228C429D60DD1AC7CBF0C7E5519B30CA053CC9C78A78438FF1108541C9F47240DA5500345C97854EFAA853A4A930C9D
+ 5A771E24B4D412CF6E173DDFB2D2C551A6769B8BDCE9BEA3786E439211D31659F0226534AB1CCDCB8F1C207BAEA61D2EBD8159F16C161A23BCCBB6AD8BE87CDE
ffa/ffademo/demo_ch3.adb
(2 . 7)(2 . 7)
 314 ------------------------------------------------------------------------------
 315 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
 316 --                                                                          --
 317 -- (C) 2017 Stanislav Datskovskiy ( www.loper-os.org )                      --
 318 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
 319 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
 320 --                                                                          --
 321 -- You do not have, nor can you ever acquire the right to use, copy or      --
- 49E370ED04A5198711E8BAE455B680EC0B5E88AA2EAC1A2D6839F368792A21EFE06EC7F204B66A6956AAF1512F704928A35A4B6906EEF8355325944ED09EDDF9
+ AC054511755085F296D7E05FB3F2AEDEC947D0DE8AFB438E910564A013662E13FB6CF3F6C3E292A8999B79B699494721FB7CD6CCD9178B986839933CF7D103E1
ffa/ffademo/demo_ch3.ads
(2 . 7)(2 . 7)
 326 ------------------------------------------------------------------------------
 327 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
 328 --                                                                          --
 329 -- (C) 2017 Stanislav Datskovskiy ( www.loper-os.org )                      --
 330 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
 331 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
 332 --                                                                          --
 333 -- You do not have, nor can you ever acquire the right to use, copy or      --
- D02319FE61524AD04E579446F26DF1BCF6B822050B357DCF7BF150CA553F25EBF9603C246A84B902D0E3165A71A29B519A2E9D10A0F5D150EB2DB24B44A36355
+ 9787BA550BEA5F850DBFB195B49B237CD97E3F46F626AC58A562F1AFEF1A641AE8003AA772B4E0007EA420A3BC5CBEF411D886D4A236D4A0899455217BABFFD9
ffa/ffademo/ffa_demo.adb
(2 . 7)(2 . 7)
 338 ------------------------------------------------------------------------------
 339 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
 340 --                                                                          --
 341 -- (C) 2017 Stanislav Datskovskiy ( www.loper-os.org )                      --
 342 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
 343 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
 344 --                                                                          --
 345 -- You do not have, nor can you ever acquire the right to use, copy or      --
- D6E5FAEE35C92B829D83F16C74EC7BCBFE66214AEB7A4AD914C5ACB84B561DCF0D311D7FBDDC4A9EDF4D5FEBA462B5BFB709AA42ADB9B75B40C515275B1454BD
+ 62E9828196DA93186A14754D10681E38468543080647D6A1FD005F0388A9FF0F9C3B8651D380AF730F343ECBF2EAA4D4DCE88E4314FC745E4FA0E160A0DD0C6F
ffa/ffademo/ffa_demo.gpr
(2 . 7)(2 . 7)
 350 ------------------------------------------------------------------------------
 351 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
 352 --                                                                          --
 353 -- (C) 2017 Stanislav Datskovskiy ( www.loper-os.org )                      --
 354 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
 355 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
 356 --                                                                          --
 357 -- You do not have, nor can you ever acquire the right to use, copy or      --
- 408328BDCB8543BFF0E7ADFD454105C5B1876C7EE71EF41337622BD95D269188F6643FD8BF9EA6076692AEFC59E63A9A02B986B7C4C697B76A3EA0B69A4FFB87
+ 71914C1A511309DBE2E0FC544C47F8C9928F2CE6DFEF9CA1D6704B547F4D3D67C2DF448DE77B5A3C1D16AD167B7312F244D47C6C76D5A1E16E0BA21DF5C02FA4
ffa/ffademo/ffa_io.adb
(2 . 7)(2 . 7)
 362 ------------------------------------------------------------------------------
 363 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
 364 --                                                                          --
 365 -- (C) 2017 Stanislav Datskovskiy ( www.loper-os.org )                      --
 366 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
 367 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
 368 --                                                                          --
 369 -- You do not have, nor can you ever acquire the right to use, copy or      --
- DE4FF4DFC81DF4A4FEBC2B5A1C359DF912969821FB3790D51D78EED6352FA52D03EB70A9226EF896CEE16DCFC40AB2FACB9FD49D54110FB86F3FEBD8CAF29E64
+ 5CE266ED8B00691BADA93E6F6785A67198B90A428CF069D456C034ABA341A283D67B2E22C0A715405688CAB6F489B7A29BB283F07797244B681884B019686134
ffa/ffademo/ffa_io.ads
(2 . 7)(2 . 7)
 374 ------------------------------------------------------------------------------
 375 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
 376 --                                                                          --
 377 -- (C) 2017 Stanislav Datskovskiy ( www.loper-os.org )                      --
 378 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
 379 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
 380 --                                                                          --
 381 -- You do not have, nor can you ever acquire the right to use, copy or      --
- B8DBE89A3D907943ED0A96EF2EB23550A00FE344C5396BECC747BA8D64E1BA2D45BAF32E4DCA24630D4A2B75297FD1B79402592C07DD2949666F4A72C14406C9
+ E3E58E34C4AF6DB89FB13B252F3DF092C25A0BF8FF1B66AC01F8AD84881DEBA500D4A97F8FD9D5BBCF422D78ED7BA0646E1B6D6F03F3985CB9B4054762439ADD
ffa/libffa/README
(2 . 7)(2 . 7)
 386 ------------------------------------------------------------------------------
 387 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
 388 --                                                                          --
 389 -- (C) 2017 Stanislav Datskovskiy ( www.loper-os.org )                      --
 390 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
 391 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
 392 --                                                                          --
 393 -- You do not have, nor can you ever acquire the right to use, copy or      --
- 720237083E8D484B06D432529E8547D78ADB2EB1F72CF0934F7596CE8CA7AEC883C43F0951E133294B5139D4386E749C0939EFE3715EC46BC2515E3B23493A7B
+ 4701313606DCCBC988DC36888DB1A2530F9F109EAEF92073F95DC5D327C301F660F46047E4C1DEAF18897834BD2B6C5C693557E5D5BD5FB4C21E91C5B344759E
ffa/libffa/ffa.adb
(2 . 7)(2 . 7)
 398 ------------------------------------------------------------------------------
 399 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
 400 --                                                                          --
 401 -- (C) 2018 Stanislav Datskovskiy ( www.loper-os.org )                      --
 402 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
 403 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
 404 --                                                                          --
 405 -- You do not have, nor can you ever acquire the right to use, copy or      --
(21 . 6)(21 . 7)
 407 with FZ_Shift;
 408 with FZ_Mul;
 409 with FZ_Sqr;
 410 with FZ_GCD;
 411 
 412 
 413 -- Wrapper bodies for routines that we inline, but must enforce preconditions
(117 . 4)(118 . 16)
 415       FZ_Sqr.FZ_Square_Buffered(X => X, XX_Lo => XX_Lo, XX_Hi => XX_Hi);
 416    end FFA_FZ_Square;
 417    
 418    ----------------------------------------------------------------------------
 419    --- Other Operations on FZ
 420    ----------------------------------------------------------------------------
 421    
 422    -- Find Greatest Common Divisor (GCD) of X and Y.
 423    procedure FFA_FZ_Greatest_Common_Divisor(X      : in  FZ;
 424                                             Y      : in  FZ;
 425                                             Result : out FZ) is
 426    begin
 427       FZ_GCD.FZ_Greatest_Common_Divisor(X => X, Y => Y, Result => Result);
 428    end FFA_FZ_Greatest_Common_Divisor;
 429    
 430 end FFA;
- 364F816604E2EE0FC4A07429824E32292032806456AFC794D306EE7F9A41180D9A517FB2563311F1F526F9B6512597E974321DCA2AC61251D36DA4033F18578D
+ BA6B8ED841FF5C8CBADD59934821B311F6F74200C23BCBDA0B3A430C43A151B8242296D255C97C44788C6A5C97AFBE7DAC8339FD369AAFF3B509A70E9BA620F8
ffa/libffa/ffa.ads
(2 . 7)(2 . 7)
 435 ------------------------------------------------------------------------------
 436 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
 437 --                                                                          --
 438 -- (C) 2018 Stanislav Datskovskiy ( www.loper-os.org )                      --
 439 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
 440 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
 441 --                                                                          --
 442 -- You do not have, nor can you ever acquire the right to use, copy or      --
(32 . 6)(32 . 7)
 444 with FZ_ModEx;
 445 with FZ_Measr;
 446 with FZ_QShft;
 447 with FZ_LoMul;
 448 
 449 
 450 -- FFA Exports
(43 . 7)(44 . 7)
 452    --- Current 'deg. Kelvin' Version of FFA
 453    ----------------------------------------------------------------------------
 454    
 455    FFA_K_Version : constant Natural := 255;
 456    FFA_K_Version : constant Natural := 254;
 457    
 458    ----------------------------------------------------------------------------
 459    --- Fundamental Types and Sizes
(273 . 6)(274 . 12)
 461      XX_Hi'Length = X'Length and
 462      X'Length mod 2 = 0;
 463    
 464    -- Low-Only Multiplier. Preserves the inputs.
 465    procedure FFA_FZ_Low_Multiply(X     : in  FZ;
 466                                  Y     : in  FZ;
 467                                  XY    : out FZ)
 468      renames FZ_LoMul.FZ_Low_Multiply_Buffered;
 469    
 470    ----------------------------------------------------------------------------
 471    --- Modular Operations on FZ
 472    ----------------------------------------------------------------------------
(284 . 6)(291 . 12)
 474                                      Product  : out FZ)
 475      renames FZ_ModEx.FZ_Mod_Mul;
 476    
 477    -- Modular Squaring: Product := X*X mod Modulus
 478    procedure FFA_FZ_Modular_Square(X        : in  FZ;
 479                                    Modulus  : in  FZ;
 480                                    Product  : out FZ)
 481      renames FZ_ModEx.FZ_Mod_Sqr;
 482    
 483    -- Modular Exponent: Result := Base^Exponent mod Modulus
 484    procedure FFA_FZ_Modular_Exponentiate(Base     : in  FZ;
 485                                          Exponent : in  FZ;
(311 . 4)(324 . 10)
 487                                     Count    : in     FZBit_Index)
 488      renames FZ_QShft.FZ_Quiet_ShiftLeft;
 489    
 490    -- Find Greatest Common Divisor (GCD) of X and Y.
 491    procedure FFA_FZ_Greatest_Common_Divisor(X      : in  FZ;
 492                                             Y      : in  FZ;
 493                                             Result : out FZ)
 494      with Pre => X'Length = Y'Length and X'Length = Result'Length;
 495    
 496 end FFA;
- 95F8719172DC8F10159E2F6993EB5810D2A3D8DB993E3902DBDE3C32692A283A32A214E2780B37B3FDEE3995FEA2054C6DF1998CB260755E614842C8F755B8B5
+ 21FD2701A60F083712880E75C2D1B0F24D71C958E14F24A1666B039EA0FF2EFBA3EED79A9F8A608A2161EDDDB37B648B4871E0A40AB6D70B44FFB53FD8FE47B4
ffa/libffa/ffa.gpr
(2 . 7)(2 . 7)
 501 ------------------------------------------------------------------------------
 502 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
 503 --                                                                          --
 504 -- (C) 2017 Stanislav Datskovskiy ( www.loper-os.org )                      --
 505 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
 506 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
 507 --                                                                          --
 508 -- You do not have, nor can you ever acquire the right to use, copy or      --
- 118A03B1BEAB9BFC7C517C193F333B5F9A1169CD7B3364CA7B10B7050F8AA8F85E4323B925F6534041F0F02DE5242A72CC3A9829BF9E5CF25A075AA162CB1244
+ A6774EA126B6431E912686B5269349926976A8685A61817E99FE468B61056842A0881B0569D5EC0DE27B904B456BD13350FC4F939286A5633C08A7888DD23C4B
ffa/libffa/fz_arith.adb
(2 . 7)(2 . 7)
 513 ------------------------------------------------------------------------------
 514 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
 515 --                                                                          --
 516 -- (C) 2017 Stanislav Datskovskiy ( www.loper-os.org )                      --
 517 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
 518 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
 519 --                                                                          --
 520 -- You do not have, nor can you ever acquire the right to use, copy or      --
- 1BE9E99C85140FDBCAA506EA97DE7B3E469ED5F0D30A252CCA92DC74C0F8D77DDEA63F7552907CD0705879984CB74259A228982504C441286C56BBF1D18A14BE
+ 5AD89E1C806E453F5F1A37C024F28B0A37D535395C301DE29AC3488A29F4670BF7517FE870EEA5B17033EC718B35A02A21CB6127B3A26B95D1F3631B83495F63
ffa/libffa/fz_arith.ads
(2 . 7)(2 . 7)
 525 ------------------------------------------------------------------------------
 526 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
 527 --                                                                          --
 528 -- (C) 2017 Stanislav Datskovskiy ( www.loper-os.org )                      --
 529 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
 530 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
 531 --                                                                          --
 532 -- You do not have, nor can you ever acquire the right to use, copy or      --
- 8C306BD23D12315A8D62F760968B2CF32BDA6F49279B3F995DF7A100587C7B273E79C327C295521E42BEDA4D1E0A9F0E7F4C5293D57E92843B82C69A353F4687
+ 83D6EB138AF7DBBE49A29FBD4AF186EA79F8D4441FD84814316E84C20DE20614F7B9D69B3BD8E160BA37FC6C30B83AEC2CCC26600E289D87225C677686C6072B
ffa/libffa/fz_barr.adb
(2 . 7)(2 . 7)
 537 ------------------------------------------------------------------------------
 538 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
 539 --                                                                          --
 540 -- (C) 2018 Stanislav Datskovskiy ( www.loper-os.org )                      --
 541 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
 542 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
 543 --                                                                          --
 544 -- You do not have, nor can you ever acquire the right to use, copy or      --
(255 . 10)(255 . 10)
 546       -- Result is initially zero (and will stay zero if Modulus = 1)
 547       FZ_Clear(XReduced);
 548       
 549       -- (1) Ns := X >> Jm
 550       -- (1) Xs := X >> Jm
 551       FZ_Quiet_ShiftRight(N => X, ShiftedN => Xs, Count => Bar.J);
 552       
 553       -- (2) Z  := X * Bm
 554       -- (2) Z  := Xs * Bm
 555       FZ_Multiply_Unbuffered(X => Bar.B, Y => Xs, XY => Z);
 556       
 557       -- (3) Zs := Z >> 2Wm - Jm (already thrown lower Wm, so only Wm - Jm now)
- A61E949EB6A9D5EA3A15661A3E85F563512425BB3B9B88E611D7D4D1B185998B8DA2F51C730EF2453A71174ECB0B787FEDE98F5C98ACDD8434EF6AF1C03853E3
+ F606BE0F2B8AC2FCF5276248075DF267E6AD9F0F2F0BA68B80EA6810314971DCEACB6342DD4A70037CDCAECDDE3AE0D20FD66795CC7E3F732FE3B775278BD740
ffa/libffa/fz_barr.ads
(2 . 7)(2 . 7)
 562 ------------------------------------------------------------------------------
 563 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
 564 --                                                                          --
 565 -- (C) 2018 Stanislav Datskovskiy ( www.loper-os.org )                      --
 566 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
 567 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
 568 --                                                                          --
 569 -- You do not have, nor can you ever acquire the right to use, copy or      --
- 542081523450C3FF80CE87CD60AB4323268859807B8DED868BEB3E73C90689AB37502405284374F8C7165408615D117443A28CCFC627B1A475CD1408A9FFAA7C
+ ACD77B6792FAB4E26434D5296EF0974B4B9B4819460E7DC1BBD52AA7BF5AF05115AE058E0A4C02FFBA2D62963E0BDD7AC1F7969AAEA76CDD9E2F4B0F52E9C7DC
ffa/libffa/fz_basic.adb
(2 . 7)(2 . 7)
 574 ------------------------------------------------------------------------------
 575 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
 576 --                                                                          --
 577 -- (C) 2017 Stanislav Datskovskiy ( www.loper-os.org )                      --
 578 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
 579 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
 580 --                                                                          --
 581 -- You do not have, nor can you ever acquire the right to use, copy or      --
- BC0A92EB0E81A645F6F7753CD559EF65C2CEA1714B618D02E44844A3BAD48DC3402EC0646B72C087F84C289E6CA04211D856374EB18265ED9A00E73684D85905
+ 936C164263272CACBDB6CCFDFC258554A2C16BD07FDC82659019EDA2FCBEB4E240E1D5AE2DCFFAF46B5485D707CD935C26328F5E52ED60B47E48780751B30155
ffa/libffa/fz_basic.ads
(2 . 7)(2 . 7)
 586 ------------------------------------------------------------------------------
 587 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
 588 --                                                                          --
 589 -- (C) 2017 Stanislav Datskovskiy ( www.loper-os.org )                      --
 590 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
 591 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
 592 --                                                                          --
 593 -- You do not have, nor can you ever acquire the right to use, copy or      --
- BB3866767E020335338D99D1A1CB8E9BD058A0A3408EF6DA9AE8D7E96DBDD3E3745C9982CDCE6A0762279636CFF08DA820AAA4DB77AB54A3F95FD470ACB64E3E
+ C5AAA06E45FB1F6906814B1D1EE2EFA1E9E25898764E1263EF01FAA7ACABB44129DCEC7B03F2D9235FF5B06C552DEC7276ED3B42A4CD23562714B17600C14F35
ffa/libffa/fz_bitop.adb
(2 . 7)(2 . 7)
 598 ------------------------------------------------------------------------------
 599 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
 600 --                                                                          --
 601 -- (C) 2017 Stanislav Datskovskiy ( www.loper-os.org )                      --
 602 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
 603 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
 604 --                                                                          --
 605 -- You do not have, nor can you ever acquire the right to use, copy or      --
- 9A8EB210F888927C59827161713D88477BBA533B910993AEC0995E62B3BA8B088EA8D12522F0A395328BB9DE4184F4D4015A16367D2DC0BC86D084FB1B598C8E
+ BD78ED6A5BEE27604CABAD69066E382189311B7A6DD1C302F2A8F13263CFEF2169D07912469C9FB4B63DC3D0BA57DF72504B98DD4C1A99F2A8FFDDEDA7E5A34F
ffa/libffa/fz_bitop.ads
(2 . 7)(2 . 7)
 610 ------------------------------------------------------------------------------
 611 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
 612 --                                                                          --
 613 -- (C) 2017 Stanislav Datskovskiy ( www.loper-os.org )                      --
 614 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
 615 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
 616 --                                                                          --
 617 -- You do not have, nor can you ever acquire the right to use, copy or      --
- BFC359EB3785DC78189DF80B099BF5DD65931766553AE519CBDD7A8320D260C16EE6B272E2C7FD2631147E0AE2519CA57D896C2C58AEB7252EAB7DC5C9563598
+ 45E9005159D1D31DB9308676B44C7E70CCC98F1E2C01039510E17F332E24CAE7C0B95854E043FFB4B245340B2277B8A99FFE92BD7CA1CDDBAD38BD1B7EE0A7AA
ffa/libffa/fz_cmp.adb
(2 . 7)(2 . 7)
 622 ------------------------------------------------------------------------------
 623 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
 624 --                                                                          --
 625 -- (C) 2017 Stanislav Datskovskiy ( www.loper-os.org )                      --
 626 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
 627 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
 628 --                                                                          --
 629 -- You do not have, nor can you ever acquire the right to use, copy or      --
- 9C5AEF1C8B1C06E03D55DFEEB6BCFA00BFADB33EF95541D8A1B480C71662726FD7D8EA064FF2F1BC2BBE18982FAA3EB1DB7FAE0A1C9F8FE4ABF8C21D3843710E
+ 81851EEDEADDE7D3E5CDDB55027C3D65224C3600EE45FC378AC509D8578B458F823F93227BD7010000C890BA9574D57D3BC3FFF86A795D5A45E614CAE0B0AA2B
ffa/libffa/fz_cmp.ads
(2 . 7)(2 . 7)
 634 ------------------------------------------------------------------------------
 635 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
 636 --                                                                          --
 637 -- (C) 2017 Stanislav Datskovskiy ( www.loper-os.org )                      --
 638 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
 639 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
 640 --                                                                          --
 641 -- You do not have, nor can you ever acquire the right to use, copy or      --
- D2C527100E5D010D29A4515DD377D15A36B11A7AA24D526B92AAD0E37A3ADFE97093FAB5DF133A650575DDCCFDC15DBA79059DE6882C48174E067E546E9F234F
+ DBD50A883D03E0FA142CC64DFE52D846C5280F1A1A533A2DE47D2448DFBC5713D52635E2DC59DD85EF7DDBB104DC051F88296E394B059CEC88E4E99AA1C2EC9B
ffa/libffa/fz_divis.adb
(2 . 7)(2 . 7)
 646 ------------------------------------------------------------------------------
 647 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
 648 --                                                                          --
 649 -- (C) 2017 Stanislav Datskovskiy ( www.loper-os.org )                      --
 650 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
 651 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
 652 --                                                                          --
 653 -- You do not have, nor can you ever acquire the right to use, copy or      --
- 5FB712E8CE80E8B445DB02442BA50601B9E1FDB5A2F35E97C958145C253730B080F6750FBA80878366A1505A881D5FB69AF509D4D738FBB95DB16CA66CA9DD29
+ 8A1D586856523DB8900710B71C0927C7CD0248188BB8868F106AE2361C02F7B4DE8CFB4BC2C55E05FE0DE5EA75E61F015093311AF09BC62FA64A98FF85B083CC
ffa/libffa/fz_divis.ads
(2 . 7)(2 . 7)
 658 ------------------------------------------------------------------------------
 659 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
 660 --                                                                          --
 661 -- (C) 2017 Stanislav Datskovskiy ( www.loper-os.org )                      --
 662 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
 663 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
 664 --                                                                          --
 665 -- You do not have, nor can you ever acquire the right to use, copy or      --
-
+ 46157DCF363B52695F6EC10671307155E62702A1EA79861A067F56716B03ACB8573988BED3E2350401AD8222F7351F96D22383F2B7B5FC8EBC1D9901E24B6F63
ffa/libffa/fz_gcd.adb
(0 . 0)(1 . 89)
 670 ------------------------------------------------------------------------------
 671 ------------------------------------------------------------------------------
 672 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
 673 --                                                                          --
 674 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
 675 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
 676 --                                                                          --
 677 -- You do not have, nor can you ever acquire the right to use, copy or      --
 678 -- distribute this software ; Should you use this software for any purpose, --
 679 -- or copy and distribute it to anyone or in any manner, you are breaking   --
 680 -- the laws of whatever soi-disant jurisdiction, and you promise to         --
 681 -- continue doing so for the indefinite future. In any case, please         --
 682 -- always : read and understand any software ; verify any PGP signatures    --
 683 -- that you use - for any purpose.                                          --
 684 --                                                                          --
 685 -- See also http://trilema.com/2015/a-new-software-licensing-paradigm .     --
 686 ------------------------------------------------------------------------------
 687 
 688 with Words;    use Words;
 689 with FZ_Basic; use FZ_Basic;
 690 with FZ_Shift; use FZ_Shift;
 691 with FZ_QShft; use FZ_QShft;
 692 with FZ_Arith; use FZ_Arith;
 693 with FZ_Pred;  use FZ_Pred;
 694 
 695 
 696 package body FZ_GCD is
 697    
 698    -- Find Greatest Common Divisor (GCD) of X and Y.
 699    -- Note that by convention, GCD(0, 0) = 0.
 700    procedure FZ_Greatest_Common_Divisor(X      : in  FZ;
 701                                         Y      : in  FZ;
 702                                         Result : out FZ) is
 703       
 704       -- Widths of X, Y, and Result are equal
 705       subtype Width is Word_Index range X'Range;
 706       
 707       -- Working buffers for GCD computation, initially equal to the inputs
 708       A      : FZ(Width) := X; -- GCD will appear in A in the end
 709       B      : FZ(Width) := Y;
 710       
 711       -- Evenness (negation of lowest bit) of A and B respectively
 712       Ae, Be : WBool;
 713       
 714       -- Common power-of-2 factor
 715       Twos   : Word := 0;
 716       
 717       -- |A - B|
 718       D      : FZ(Width);
 719       
 720       -- This flag is set iff A < B
 721       A_lt_B : WBool;
 722       
 723    begin
 724       
 725       -- For convergence, requires number of shots equal to 2 * FZ_Bitness:
 726       for i in 1 .. 2 * FZ_Bitness(X) loop
 727          
 728          -- If A is even, A := A >> 1; otherwise A := A
 729          Ae := 1 - FZ_OddP(A);
 730          FZ_ShiftRight(A, A, WBit_Index(Ae));
 731          
 732          -- If B is even, B := B >> 1; otherwise B := B
 733          Be := 1 - FZ_OddP(B);
 734          FZ_ShiftRight(B, B, WBit_Index(Be));
 735          
 736          -- If both A and B were even, increment the common power-of-two
 737          Twos := Twos + (Ae and Be);
 738          
 739          -- D := |A - B|
 740          FZ_Sub_Abs(X => A, Y => B, Difference => D, Underflow => A_lt_B);
 741          
 742          -- B' := min(A, B)
 743          FZ_Mux(X => B, Y => A, Result => B, Sel => A_lt_B);
 744          
 745          -- A' := |A - B|
 746          A := D;
 747          
 748       end loop;
 749       
 750       -- Reintroduce the common power-of-2 factor stored in 'Twos'
 751       FZ_Quiet_ShiftLeft(N => A, ShiftedN => A, Count => Indices(Twos));
 752       
 753       -- Output final result
 754       Result := A;
 755       
 756    end FZ_Greatest_Common_Divisor;
 757    
 758 end FZ_GCD;
-
+ F9DAAB09EBA1B9A1C45DF770508F27F4E20B87E0A7BFFF19B85BB3CE82A7B73929D04A7D7E9C97E35AD8012CBA61ED1247A93067F3D90A96BA2C727E78A36E76
ffa/libffa/fz_gcd.ads
(0 . 0)(1 . 33)
 763 ------------------------------------------------------------------------------
 764 ------------------------------------------------------------------------------
 765 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
 766 --                                                                          --
 767 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
 768 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
 769 --                                                                          --
 770 -- You do not have, nor can you ever acquire the right to use, copy or      --
 771 -- distribute this software ; Should you use this software for any purpose, --
 772 -- or copy and distribute it to anyone or in any manner, you are breaking   --
 773 -- the laws of whatever soi-disant jurisdiction, and you promise to         --
 774 -- continue doing so for the indefinite future. In any case, please         --
 775 -- always : read and understand any software ; verify any PGP signatures    --
 776 -- that you use - for any purpose.                                          --
 777 --                                                                          --
 778 -- See also http://trilema.com/2015/a-new-software-licensing-paradigm .     --
 779 ------------------------------------------------------------------------------
 780 ------------------------------------------------------------------------------
 781 
 782 with FZ_Type; use FZ_Type;
 783 
 784 
 785 package FZ_GCD is
 786    
 787    pragma Pure;
 788    
 789    -- Find Greatest Common Divisor (GCD) of X and Y.
 790    procedure FZ_Greatest_Common_Divisor(X      : in  FZ;
 791                                         Y      : in  FZ;
 792                                         Result : out FZ);
 793    pragma Inline_Always(FZ_Greatest_Common_Divisor);
 794    
 795 end FZ_GCD;
- CA78F137EB08EDEB38BE7844D4A077A051FF6A63E8B4F294E42979C125FB3C7220EDF2DC184F788EE2872EDBA17D3C54DCC26E3F37545C6708AA1409E2F04B8C
+ A7CB16583341A2123773C5B3D85E08256A9ADBAFFD6AB50B11D18A80519B55054F704F8271C011F2CD2550FA77F80C3E03DF2E07C1CAA4C445DD3B474B574B8E
ffa/libffa/fz_io.adb
(2 . 7)(2 . 7)
 800 ------------------------------------------------------------------------------
 801 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
 802 --                                                                          --
 803 -- (C) 2018 Stanislav Datskovskiy ( www.loper-os.org )                      --
 804 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
 805 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
 806 --                                                                          --
 807 -- You do not have, nor can you ever acquire the right to use, copy or      --
- 63AFFC9E3D7BDCC86575F87185769D7C60CC6D46B0B78BE4B05489E90096C6E2D276C1E142932F9976BABF13A2CA7EC79509D7231596DCB507F01ED36019FBEC
+ AD669A40DFB16255689D2090E9CB42D933749F009F0094E84CE35E9B0AC5D50926FD04748F0DE83FDFC045A53D4DB6CAE278923071B3A97DE75B08010090CA75
ffa/libffa/fz_io.ads
(2 . 7)(2 . 7)
 812 ------------------------------------------------------------------------------
 813 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
 814 --                                                                          --
 815 -- (C) 2018 Stanislav Datskovskiy ( www.loper-os.org )                      --
 816 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
 817 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
 818 --                                                                          --
 819 -- You do not have, nor can you ever acquire the right to use, copy or      --
- 2CC9761900E19AFBC04B07151108755D4AE49643A1D94DB021D400DE09B21B689FED635B5865ED0E0571BDDD8D3BC90D5447EAEB40A39171DDEAAEBB42BCE929
+ BF5F54C13ADA8B6784551F80AF48A3F155C3F03BFD471D58096B2251F648DF015156E56CFB04AEEC05BDDC0921A7FC6C1A306F7867C758FB32D6BA0DF9E3EE32
ffa/libffa/fz_lim.adb
(2 . 7)(2 . 7)
 824 ------------------------------------------------------------------------------
 825 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
 826 --                                                                          --
 827 -- (C) 2017 Stanislav Datskovskiy ( www.loper-os.org )                      --
 828 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
 829 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
 830 --                                                                          --
 831 -- You do not have, nor can you ever acquire the right to use, copy or      --
- AC9F7762BFA90673BB7331B065910A3B2B2F62AB77420981713A4F89FF2E1A6B73D313C4E694A1D68BA8B45258ECCC8B2655C34AE252C78C710BD97F5D5EA007
+ 6C2A389E1BC141F56410999301917D62BA56361EC8EBE0ACC1DF46A385CCAF38506CBC59CE6718B9170A1C2379476B73F4B9854F358FFE5B5A08DB0AE6BAE9FD
ffa/libffa/fz_lim.ads
(2 . 7)(2 . 7)
 836 ------------------------------------------------------------------------------
 837 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
 838 --                                                                          --
 839 -- (C) 2017 Stanislav Datskovskiy ( www.loper-os.org )                      --
 840 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
 841 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
 842 --                                                                          --
 843 -- You do not have, nor can you ever acquire the right to use, copy or      --
- B4DF4BE19361F59AE40B0E80F90E1317FD28F95F32C7F6CE98C3D028679E5F6F2B90C2749E03CE029BF924BCFAFB953226EE8173D48490E86E600E7989AA6344
+ 870E79E88EE3AF8C782780CBF568AC9E5861A31D6FB5A3B06DDB45AD1CDCFA34574E28A39016D011CEDE0A2C032F433DB520B845FA39D19EB396833DDD327BFE
ffa/libffa/fz_lomul.adb
(2 . 7)(2 . 7)
 848 ------------------------------------------------------------------------------
 849 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
 850 --                                                                          --
 851 -- (C) 2018 Stanislav Datskovskiy ( www.loper-os.org )                      --
 852 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
 853 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
 854 --                                                                          --
 855 -- You do not have, nor can you ever acquire the right to use, copy or      --
(176 . 4)(176 . 21)
 857       
 858    end FZ_Low_Multiply_Unbuffered;
 859    
 860    
 861    -- Low-Only Multiplier. Preserves the inputs.
 862    procedure FZ_Low_Multiply_Buffered(X     : in  FZ;
 863                                       Y     : in  FZ;
 864                                       XY    : out FZ) is
 865       
 866       -- Product buffer.
 867       P : FZ(1 .. X'Length);
 868       
 869    begin
 870       
 871       FZ_Low_Multiply_Unbuffered(X, Y, P);
 872       
 873       XY := P;
 874       
 875    end FZ_Low_Multiply_Buffered;
 876    
 877 end FZ_LoMul;
- A773D77D13DC90E23E4BDB7612C9330D5789078FF5F6E0947E90EE4060D4E254AD93758E6D3F487C3C6932FCF9E6FA2A0B479264D4CDE7B160FF4C53DD70E720
+ 1E900F933A2B617AD8EEB2EB4099AABE1C6A8A56CBDC4C72B286FA04AAF0D7DF3E6875F44C71C58F60956C7A94EED08CD8BB8A60A17A074D292475A2D3485E7E
ffa/libffa/fz_lomul.ads
(2 . 7)(2 . 7)
 882 ------------------------------------------------------------------------------
 883 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
 884 --                                                                          --
 885 -- (C) 2018 Stanislav Datskovskiy ( www.loper-os.org )                      --
 886 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
 887 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
 888 --                                                                          --
 889 -- You do not have, nor can you ever acquire the right to use, copy or      --
(51 . 4)(51 . 12)
 891      X'Length mod 2 = 0;
 892    -- CAUTION: Inlining prohibited for Low_Mul !
 893    
 894    -- Low-Only Multiplier. Preserves the inputs.
 895    procedure FZ_Low_Multiply_Buffered(X     : in  FZ;
 896                                       Y     : in  FZ;
 897                                       XY    : out FZ)
 898      with Pre => X'Length = Y'Length and
 899      XY'Length = X'Length and
 900      X'Length mod 2 = 0;
 901    
 902 end FZ_LoMul;
- 3E868323D9FB836971DBB971A2996FF7868407DF3B7CCA05E2AE02C24A919B8D0C6277F93B1A9073D612C0092D0E1280AFAFBF3996F452C053B4C1433F529C54
+ D914D49CE512CFD4FF09C60D082F6824AAC238BA6B363721CD2F64373B43D2B12D93C4B4CA69EBACE3E9074AAEF77EF8F09E0436880ADA096D9013C61122BD4E
ffa/libffa/fz_measr.adb
(2 . 7)(2 . 7)
 907 ------------------------------------------------------------------------------
 908 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
 909 --                                                                          --
 910 -- (C) 2018 Stanislav Datskovskiy ( www.loper-os.org )                      --
 911 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
 912 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
 913 --                                                                          --
 914 -- You do not have, nor can you ever acquire the right to use, copy or      --
- F4B728BE332DA4162214657E54DF4A241B02DFE4781AC47E34DF24138661C9C0E0D7835E3CF34377A3E152051A17A6C7ADF0D24C793A80F93F47C117F471B3B1
+ F09B64D1BB3CC96C58E51F3F7D646719A1996B1FF133F9D84ED9096544EA6B6E4B1608337F5DE2D184EAFFB58A88C7DEF153FE52AA76CB8C00083DC0323ECF4D
ffa/libffa/fz_measr.ads
(2 . 7)(2 . 7)
 919 ------------------------------------------------------------------------------
 920 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
 921 --                                                                          --
 922 -- (C) 2018 Stanislav Datskovskiy ( www.loper-os.org )                      --
 923 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
 924 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
 925 --                                                                          --
 926 -- You do not have, nor can you ever acquire the right to use, copy or      --
- 321CC7F54066CA6F0C7BE85A195A028919076A6775510F99B5C9802F093CB08042770E08E8579376A7558CEB4BA1A0F0F43D437847FD2A89CA30EC8BC48C6177
+ D1F331872729DE629191F57371544DA4AC672DCE61B7CD9829912EAA07DAD4628A297AFD91AB2A923B39BF640AB3787F4BA6662119B2A4FD9C7C79B82B11E097
ffa/libffa/fz_modex.adb
(2 . 7)(2 . 7)
 931 ------------------------------------------------------------------------------
 932 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
 933 --                                                                          --
 934 -- (C) 2018 Stanislav Datskovskiy ( www.loper-os.org )                      --
 935 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
 936 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
 937 --                                                                          --
 938 -- You do not have, nor can you ever acquire the right to use, copy or      --
- 7D2EE2B7147B289A76B8731543ADF6CC049B35350C031D1D11BBE0B1D475A879B483368B95C535AF0D10061626060F2CA1438F0AA15F198DA74B0B1F449183B2
+ 674B3C93EA1DB47AA9944896EF8A3D4B47B10176D2E76BE0F76DE8AB5058B84EAF59CD34E16594F914414CF407EE4D656DDDDE996A7E078DFA1E4C354A9CBB30
ffa/libffa/fz_modex.ads
(2 . 7)(2 . 7)
 943 ------------------------------------------------------------------------------
 944 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
 945 --                                                                          --
 946 -- (C) 2018 Stanislav Datskovskiy ( www.loper-os.org )                      --
 947 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
 948 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
 949 --                                                                          --
 950 -- You do not have, nor can you ever acquire the right to use, copy or      --
- 92BD5F707CEBADBABC29F5F02A452F8D223B640AD39BF3B08CEA613CAA9CA92A7AE91096812FFC09E895C97BCC5ABA5054E89C30A6D550926D9CC4814B3180A7
+ 2F61CCDFC1FA425F8587C607FA826546DDEB9C19A8B71B27E201834A6ABFA0B8EA8D4165462E71FC74B2600854ED43324A054ABF67DF5FDCB90EACD713645E02
ffa/libffa/fz_mul.adb
(2 . 7)(2 . 7)
 955 ------------------------------------------------------------------------------
 956 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
 957 --                                                                          --
 958 -- (C) 2017 Stanislav Datskovskiy ( www.loper-os.org )                      --
 959 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
 960 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
 961 --                                                                          --
 962 -- You do not have, nor can you ever acquire the right to use, copy or      --
- E85E9FC6E391E1332EC7AA9BBF4331BBA8E462D5C1996B497696C12BB26097F1A3E4F97A342C868C30534FF648D12C2989875ADDE9233507A656C2B28742418F
+ 3C5D5273AB2EEF6466BD84DDE5D07580D94F37265F94DFA2D838299F713C029111DAEF9FCABE90DA83A9B2AEC5ADA218000FBF9F14E918C16B455221E57E845B
ffa/libffa/fz_mul.ads
(2 . 7)(2 . 7)
 967 ------------------------------------------------------------------------------
 968 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
 969 --                                                                          --
 970 -- (C) 2017 Stanislav Datskovskiy ( www.loper-os.org )                      --
 971 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
 972 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
 973 --                                                                          --
 974 -- You do not have, nor can you ever acquire the right to use, copy or      --
- 3E8866783222849EB1341717AE473B1C1B3065BB71B119F804CD105DBA897A89A51D2190DFDC2CDF6534A2C4100D254EFADA11FEFE5A0F411B0654A2106E9512
+ DCE7717443C377E450E327CA0F5681883AEA87C0EA32C3434A079D0175EA9530355D7E031DC5FCD29DF3CB22F1E8DA2EC1D57D2CB42E09180ABAA1E0D21B84C0
ffa/libffa/fz_pred.adb
(2 . 7)(2 . 7)
 979 ------------------------------------------------------------------------------
 980 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
 981 --                                                                          --
 982 -- (C) 2017 Stanislav Datskovskiy ( www.loper-os.org )                      --
 983 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
 984 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
 985 --                                                                          --
 986 -- You do not have, nor can you ever acquire the right to use, copy or      --
- 11EC92D638C2C6296BB9566CF34A5D7AEA57E045ACB2C30580B0DBF02B5C00D4090050B496D281B9D94B986EE34487C35BFF86A10B7C24AADBC0EAD8643C4518
+ 299605F7227834B125629ADE2FFF78CB7C8C3C4137F393A79B8C089432DA4A74F14FD0BDB97809FE972B6605BACD5D8D40D519708A8926B19B668A637A4021C0
ffa/libffa/fz_pred.ads
(2 . 7)(2 . 7)
 991 ------------------------------------------------------------------------------
 992 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
 993 --                                                                          --
 994 -- (C) 2017 Stanislav Datskovskiy ( www.loper-os.org )                      --
 995 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
 996 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
 997 --                                                                          --
 998 -- You do not have, nor can you ever acquire the right to use, copy or      --
- 095AFD026948C5A102C32A9B442D3D4A1F721A59396B90B40479EADD243C6C66E362698749A500DE2784445860CB7B6B1B38FA5C1D07F4C86D742E40C7FAC36D
+ 442ED4C8D389A75FAE3020D641D2F67733A2F763A303E6E74CA10BC44B666032055B0A3D990334EA65B668904BE3CAF8CDF17FBC85B59147D24DA3092645735C
ffa/libffa/fz_qshft.ads
(2 . 7)(2 . 7)
1003 ------------------------------------------------------------------------------
1004 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
1005 --                                                                          --
1006 -- (C) 2018 Stanislav Datskovskiy ( www.loper-os.org )                      --
1007 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
1008 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
1009 --                                                                          --
1010 -- You do not have, nor can you ever acquire the right to use, copy or      --
- 631501F444D2718E57C7433D448ED6F4612D3D8E5BE36B78E651BC8F54C032BD0361CC42899B69BCDEFC8B8C50F97BA64814840DCF2EBF058B40BD660872A680
+ 6AA493C872EE364A4D6B5C94DCC0B17F9F89B65B473497421F9F093581818F5A45C4045D3D43A57BD09D5E1C4F06603ED8BC4605094DBFBA80B0B53E807708F7
ffa/libffa/fz_shift.adb
(2 . 7)(2 . 7)
1015 ------------------------------------------------------------------------------
1016 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
1017 --                                                                          --
1018 -- (C) 2018 Stanislav Datskovskiy ( www.loper-os.org )                      --
1019 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
1020 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
1021 --                                                                          --
1022 -- You do not have, nor can you ever acquire the right to use, copy or      --
- 4EE469C436ED539003D13F9247CEF562FA9AB00133A68E91C2550FD734FF4916153EC6FC3C4A4DDE4AFB25B0DA9E95EA6DD91DAD4CA16C984DEDA6BBA3BC5906
+ DC892E85D8210A013B6656DCCB2ACF7EEEADFF311B6B24C284D6DF9DFD4EE6C2AC5A44234C3EF22649A232305F11E768713FC243EDFD919034E73465448526AD
ffa/libffa/fz_shift.ads
(2 . 7)(2 . 7)
1027 ------------------------------------------------------------------------------
1028 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
1029 --                                                                          --
1030 -- (C) 2018 Stanislav Datskovskiy ( www.loper-os.org )                      --
1031 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
1032 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
1033 --                                                                          --
1034 -- You do not have, nor can you ever acquire the right to use, copy or      --
- 8F0062ED157D9EB9910C160640F3F6DA391D6724A0023DA3B21B6BB00F5391E53A35569073EA698D82A259A26F910DE0803FB8EABAC6B2694F3D43AC709AE76E
+ 290234C0F3CD55E7775CF910F7E4A10D40EB83B06A88C8D31237063D8A145185EE00613408F3FB0A69FE36833EABB4410C972D76A59B925A0F671B28FAE31D64
ffa/libffa/fz_sqr.adb
(2 . 7)(2 . 7)
1039 ------------------------------------------------------------------------------
1040 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
1041 --                                                                          --
1042 -- (C) 2018 Stanislav Datskovskiy ( www.loper-os.org )                      --
1043 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
1044 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
1045 --                                                                          --
1046 -- You do not have, nor can you ever acquire the right to use, copy or      --
- EB5CBE08505A865FDBEC2D54434B3C1A2460D1BBF78B0CC90499B198B57BE364844BAA8A8921056A13B6F0EBC35C281E5021D7D60D931FF42F9BBCA8EF253575
+ 623437F526AF813A67934AD1775DCF808BEA6D81DDD86871C1508E822B107D4A033DB361B10BAE54126B2DE095432BA4CECD733A4833D00E19A551A8051A8EE2
ffa/libffa/fz_sqr.ads
(2 . 7)(2 . 7)
1051 ------------------------------------------------------------------------------
1052 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
1053 --                                                                          --
1054 -- (C) 2018 Stanislav Datskovskiy ( www.loper-os.org )                      --
1055 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
1056 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
1057 --                                                                          --
1058 -- You do not have, nor can you ever acquire the right to use, copy or      --
- D2817DFD3E193EC26A5466791E7A55E7B781272FAA088EC051D96F622DCFFFD369AE0F2F7717C8F803A3B4AD0A278B27EE79841751B5C4F9A16A0DEC5FB7A907
+ AA9E099D3EAAD9E0214C8F35522F916CE86D472AFF6EE372A35160AAF3771539D232B8AD93CE69DB47B58CBE840F7EC9EA9AF162D06FCF0FF71668D648D5E0E6
ffa/libffa/fz_type.ads
(2 . 7)(2 . 7)
1063 ------------------------------------------------------------------------------
1064 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
1065 --                                                                          --
1066 -- (C) 2017 Stanislav Datskovskiy ( www.loper-os.org )                      --
1067 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
1068 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
1069 --                                                                          --
1070 -- You do not have, nor can you ever acquire the right to use, copy or      --
- 8040F67337558BA8EBDE821CA4EDD6264A8164AA9D0CF5A44F5F270C43FCAC6D0033421B94D3BD5379B75B85A06300A271237D391ADA11B9360865AC22BC5C5B
+ 9E6FC99F6EA080396C3C1A6358B7DDE04B241F3FFEAC951BB389EFECADCCC3B5578B500BCB1BB9A8CCCCB8026AF38F7FA2E9D2A07DDBD054961B3F452CDC4AE2
ffa/libffa/restrict.adc
(2 . 7)(2 . 7)
1075 ------------------------------------------------------------------------------
1076 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
1077 --                                                                          --
1078 -- (C) 2017 Stanislav Datskovskiy ( www.loper-os.org )                      --
1079 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
1080 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
1081 --                                                                          --
1082 -- You do not have, nor can you ever acquire the right to use, copy or      --
- F79F6F0C2069D6D35E407CA4BDAB3F1B1F90CB9CA55664E64E73E7130D03AD3056C62E0DEEAC005DCB3728F3FF5CA1357AE608277F8B062BC610F7459B93E561
+ A5C49C4973C7D140328847B18E8B03377FD21A2DDE6EA870F38B3EBA9517939309CBACDF6CEA3DBB6D88E03D963022CFB1A776AAC15BFEA6C2333DF6EA07001D
ffa/libffa/w_mul.adb
(2 . 7)(2 . 7)
1087 ------------------------------------------------------------------------------
1088 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
1089 --                                                                          --
1090 -- (C) 2018 Stanislav Datskovskiy ( www.loper-os.org )                      --
1091 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
1092 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
1093 --                                                                          --
1094 -- You do not have, nor can you ever acquire the right to use, copy or      --
- CBC2184B13F61F3540BAA6350673BC3735E29C3B9F4EA9B2EBCD7525D75A51CC9A11B84FDF5F92B61661DAF3607643D6A935CB2113F8F5EDD0AE46D37F41BB9F
+ D4F70CA1801350AF790C22469A84D8EADEBA8E5DC89143E610BC5F0AEEBC37A42F980CC58D74D28E1A9F127BE18F565978233F7EE1E92D5D57DFFFCA9114C8C1
ffa/libffa/w_mul.ads
(2 . 7)(2 . 7)
1099 ------------------------------------------------------------------------------
1100 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
1101 --                                                                          --
1102 -- (C) 2018 Stanislav Datskovskiy ( www.loper-os.org )                      --
1103 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
1104 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
1105 --                                                                          --
1106 -- You do not have, nor can you ever acquire the right to use, copy or      --
- 40AC064F3B287C8759527756D668349E2599F495FF6E99D5DB70BDFD5EDB46752E282631416EF35954A3A224A868485904AC172AA0959B6D28C40904B92B289E
+ 7EC39EE4A3AD6422DC9A47CB6C2B2F54C617F935817F8ABB8ED43608921A6A401673BCB2444A1AAFFE937792073F9B339EDABA117F709D280FFC98FDA9D70D6F
ffa/libffa/w_pred.adb
(2 . 7)(2 . 7)
1111 ------------------------------------------------------------------------------
1112 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
1113 --                                                                          --
1114 -- (C) 2017 Stanislav Datskovskiy ( www.loper-os.org )                      --
1115 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
1116 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
1117 --                                                                          --
1118 -- You do not have, nor can you ever acquire the right to use, copy or      --
- 942986A3E94A3B1622D397A4E4D6FF574EC85B635FC0A5248D43B6150E457CB1D5845667B1075B4D2BFC0CEF9D19997354921A453D3748D97B93D6C079F8C01C
+ 030953EDA47712590600CF57F24DF3B0A828EF877446545F47B35B151B82FA94CD1F20D5E0EB96AFC8F971182112CA955407F54DAFB5C6B4A66B8FC1FE0A1023
ffa/libffa/w_pred.ads
(2 . 7)(2 . 7)
1123 ------------------------------------------------------------------------------
1124 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
1125 --                                                                          --
1126 -- (C) 2017 Stanislav Datskovskiy ( www.loper-os.org )                      --
1127 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
1128 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
1129 --                                                                          --
1130 -- You do not have, nor can you ever acquire the right to use, copy or      --
- 0053916C4C078241C2644C24A963CEDBB3A4A5EEB7F3060893FD6E1519CB3AFE8467F23C3B7BE9892D243502D827C0C5CA7D438C629CFF580B2399B86966445D
+ 68C4E4434D26BE44B8C593D47FE11D8CA6961C7162E6DEC641E63481140F7D613B2BA76D5029F5D6C9DD3D2BD5621994CFA96998DC8C8682F7BBE3408FD0CE4B
ffa/libffa/w_shifts.ads
(2 . 7)(2 . 7)
1135 ------------------------------------------------------------------------------
1136 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
1137 --                                                                          --
1138 -- (C) 2017 Stanislav Datskovskiy ( www.loper-os.org )                      --
1139 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
1140 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
1141 --                                                                          --
1142 -- You do not have, nor can you ever acquire the right to use, copy or      --
- BCB4CC4D9466EC43F01B7B9A2F8E473B013843B6BC0DAB034782054EF73B4D961345692A645ECF9ACA3451B567F54B5D2B822687BB6F74F031FCECA8B41325CD
+ FBDAC179B9427E31BFBACB20A217D6121C97698580D4999A6485FEB0E4C65DA6430AFD3043AFB0263C1CA018CAF11EB3718B5691003BDC7C469177C1641D5F07
ffa/libffa/word_ops.adb
(2 . 7)(2 . 7)
1147 ------------------------------------------------------------------------------
1148 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
1149 --                                                                          --
1150 -- (C) 2018 Stanislav Datskovskiy ( www.loper-os.org )                      --
1151 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
1152 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
1153 --                                                                          --
1154 -- You do not have, nor can you ever acquire the right to use, copy or      --
- 32BE1A6D9F30D7E653BCF263BC1A38BD6D90AE642158660A8DCDAEFDB885DC8D5467925A3949671E627A0C88B734F83A96F6B05762AA232144A2D79C5EF69661
+ 03498CBA677E363814D66A88BB1C3A6DE9C2A6A4D3866F734E9AF888E3C7FC746EDE9102C5C6B5138196E973603275D5DBDEFA7B2B90FA15A8FCEC81B569894C
ffa/libffa/word_ops.ads
(2 . 7)(2 . 7)
1159 ------------------------------------------------------------------------------
1160 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
1161 --                                                                          --
1162 -- (C) 2017 Stanislav Datskovskiy ( www.loper-os.org )                      --
1163 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
1164 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
1165 --                                                                          --
1166 -- You do not have, nor can you ever acquire the right to use, copy or      --
- 864714838C024EE2B0F4A2F8B3FCF5CCAE3B055429B3E1763FDFB596B9115BF964C95214674E8EEA859ADA4CAF41691362DF3083CB4EF25DD218BC9237F28DFA
+ 7F030D8E3992FA477F47DC05DFD883999CB02A45447C0054307D8D4BB55E9D79642762E9576DDE5989A96DAB90048E14980A60E50E0EFCD652781488E71F6E42
ffa/libffa/words.ads
(2 . 7)(2 . 7)
1171 ------------------------------------------------------------------------------
1172 -- This file is part of 'Finite Field Arithmetic', aka 'FFA'.               --
1173 --                                                                          --
1174 -- (C) 2017 Stanislav Datskovskiy ( www.loper-os.org )                      --
1175 -- (C) 2019 Stanislav Datskovskiy ( www.loper-os.org )                      --
1176 -- http://wot.deedbot.org/17215D118B7239507FAFED98B98228A001ABFFC7.html     --
1177 --                                                                          --
1178 -- You do not have, nor can you ever acquire the right to use, copy or      --