LCOV - code coverage report
Current view: top level - ballet/reedsol - fd_reedsol_fderiv.h (source / functions) Hit Total Coverage
Test: cov.lcov Lines: 566 3276 17.3 %
Date: 2026-03-25 05:50:20 Functions: 0 0 -

          Line data    Source code
       1             : /* Note: This file is auto generated. */
       2             : #ifndef HEADER_fd_src_ballet_reedsol_fd_reedsol_fderiv_h
       3             : #define HEADER_fd_src_ballet_reedsol_fd_reedsol_fderiv_h
       4             : 
       5             : #include "fd_reedsol_private.h"
       6             : 
       7             : /* This file implements the formal derivative computation of a
       8             :    polynomial stored in the coefficient basis.  The computation is
       9             :    described in section IV of the Lin, et al. paper, and especially part
      10             :    IV.B.
      11             : 
      12             :    The main macro this file provides is FD_REEDSOL_GEN_FDERIV.  The rest
      13             :    of this file is auto-generated implementation details.
      14             : 
      15             :    The formal derivative of a polynomial P(x) over a finite field comes
      16             :    from treating the x as if it were a real value, taking the
      17             :    derivative, and then re-interpreting the resulting polynomial back as
      18             :    being over the original finite field.  More precisely, it's the
      19             :    linear operator on polynomials that maps x^n to
      20             :         x^(n-1) + x^(n-1) + ... + x^(n-1)
      21             :         |-------------------------------|
      22             :                 n terms
      23             : 
      24             :    Since our finite field is GF(2^8), then x^n maps to 0 if n is even
      25             :    and x^(n-1) if n is odd.
      26             : 
      27             :    Basically, this operator is useful because it obeys the formal
      28             :    equivalent of the product rule. */
      29             : 
      30             : /* FD_REEDSOL_GEN_FDERIV: Inserts code to compute the formal derivative
      31             :    of a polynomial of length n, where both the input and output
      32             :    polynomial are in the coefficient basis.
      33             : 
      34             :    n must be a power of 2 (only 16, 32, 64, 128 are emitted by the code
      35             :    generator at the moment).
      36             : 
      37             :    The n arguments that follow the first should be vector variables of
      38             :    type gf_t.  These are used as input and output, since there's no
      39             :    other good way to return n vector values.  As such, this macro is not
      40             :    robust.
      41             : 
      42             :    The formal derivative is computed in a vectorized fashion, i.e. the
      43             :    transform of the ith byte is computed and stored in the ith byte of
      44             :    the output for each i independently. */
      45             : 
      46       22647 : #define FD_REEDSOL_PRIVATE_EXPAND( M, ... ) M(  __VA_ARGS__ )
      47             : 
      48        6747 : #define FD_REEDSOL_GENERATE_FDERIV(  n, ...) FD_REEDSOL_PRIVATE_EXPAND( FD_REEDSOL_FDERIV_IMPL_##n,  __VA_ARGS__ )
      49             : 
      50             : #define FD_REEDSOL_FDERIV_IMPL_16( in00    , \
      51             :     in01, in02, in03, in04, in05, in06, in07, \
      52             :     in08, in09, in10, in11, in12, in13, in14, \
      53             :     in15)                                    \
      54           0 :   do {                                       \
      55           0 :     in00 = GF_MUL( in00, 1 );                \
      56           0 :     in00 = gf_zero();                        \
      57           0 :     in01 = GF_MUL( in01, 1 );                \
      58           0 :     in00 = GF_ADD( in00, in01 );             \
      59           0 :     in01 = gf_zero();                        \
      60           0 :     in02 = GF_MUL( in02, 122 );              \
      61           0 :     in00 = GF_ADD( in00, in02 );             \
      62           0 :     in02 = gf_zero();                        \
      63           0 :     in03 = GF_MUL( in03, 122 );              \
      64           0 :     in02 = GF_ADD( in02, in03 );             \
      65           0 :     in01 = GF_ADD( in01, in03 );             \
      66           0 :     in03 = gf_zero();                        \
      67           0 :     in04 = GF_MUL( in04, 32 );               \
      68           0 :     in00 = GF_ADD( in00, in04 );             \
      69           0 :     in04 = gf_zero();                        \
      70           0 :     in05 = GF_MUL( in05, 32 );               \
      71           0 :     in04 = GF_ADD( in04, in05 );             \
      72           0 :     in01 = GF_ADD( in01, in05 );             \
      73           0 :     in05 = gf_zero();                        \
      74           0 :     in06 = GF_MUL( in06, 251 );              \
      75           0 :     in04 = GF_ADD( in04, in06 );             \
      76           0 :     in02 = GF_ADD( in02, in06 );             \
      77           0 :     in06 = gf_zero();                        \
      78           0 :     in07 = GF_MUL( in07, 251 );              \
      79           0 :     in06 = GF_ADD( in06, in07 );             \
      80           0 :     in05 = GF_ADD( in05, in07 );             \
      81           0 :     in03 = GF_ADD( in03, in07 );             \
      82           0 :     in07 = gf_zero();                        \
      83           0 :     in08 = GF_MUL( in08, 41 );               \
      84           0 :     in00 = GF_ADD( in00, in08 );             \
      85           0 :     in08 = gf_zero();                        \
      86           0 :     in09 = GF_MUL( in09, 41 );               \
      87           0 :     in08 = GF_ADD( in08, in09 );             \
      88           0 :     in01 = GF_ADD( in01, in09 );             \
      89           0 :     in09 = gf_zero();                        \
      90           0 :     in10 = GF_MUL( in10, 118 );              \
      91           0 :     in08 = GF_ADD( in08, in10 );             \
      92           0 :     in02 = GF_ADD( in02, in10 );             \
      93           0 :     in10 = gf_zero();                        \
      94           0 :     in11 = GF_MUL( in11, 118 );              \
      95           0 :     in10 = GF_ADD( in10, in11 );             \
      96           0 :     in09 = GF_ADD( in09, in11 );             \
      97           0 :     in03 = GF_ADD( in03, in11 );             \
      98           0 :     in11 = gf_zero();                        \
      99           0 :     in12 = GF_MUL( in12, 73 );               \
     100           0 :     in08 = GF_ADD( in08, in12 );             \
     101           0 :     in04 = GF_ADD( in04, in12 );             \
     102           0 :     in12 = gf_zero();                        \
     103           0 :     in13 = GF_MUL( in13, 73 );               \
     104           0 :     in12 = GF_ADD( in12, in13 );             \
     105           0 :     in09 = GF_ADD( in09, in13 );             \
     106           0 :     in05 = GF_ADD( in05, in13 );             \
     107           0 :     in13 = gf_zero();                        \
     108           0 :     in14 = GF_MUL( in14, 102 );              \
     109           0 :     in12 = GF_ADD( in12, in14 );             \
     110           0 :     in10 = GF_ADD( in10, in14 );             \
     111           0 :     in06 = GF_ADD( in06, in14 );             \
     112           0 :     in14 = gf_zero();                        \
     113           0 :     in15 = GF_MUL( in15, 102 );              \
     114           0 :     in14 = GF_ADD( in14, in15 );             \
     115           0 :     in13 = GF_ADD( in13, in15 );             \
     116           0 :     in11 = GF_ADD( in11, in15 );             \
     117           0 :     in07 = GF_ADD( in07, in15 );             \
     118           0 :     in15 = gf_zero();                        \
     119           0 :     in00 = GF_MUL( in00, 1 );                \
     120           0 :     in01 = GF_MUL( in01, 1 );                \
     121           0 :     in02 = GF_MUL( in02, 6 );                \
     122           0 :     in03 = GF_MUL( in03, 6 );                \
     123           0 :     in04 = GF_MUL( in04, 108 );              \
     124           0 :     in05 = GF_MUL( in05, 108 );              \
     125           0 :     in06 = GF_MUL( in06, 117 );              \
     126           0 :     in07 = GF_MUL( in07, 117 );              \
     127           0 :     in08 = GF_MUL( in08, 208 );              \
     128           0 :     in09 = GF_MUL( in09, 208 );              \
     129           0 :     in10 = GF_MUL( in10, 218 );              \
     130           0 :     in11 = GF_MUL( in11, 218 );              \
     131           0 :     in12 = GF_MUL( in12, 136 );              \
     132           0 :     in13 = GF_MUL( in13, 136 );              \
     133           0 :     in14 = GF_MUL( in14, 23 );               \
     134           0 :     in15 = GF_MUL( in15, 23 );               \
     135           0 :   } while( 0 )
     136             : 
     137             : #define FD_REEDSOL_FDERIV_IMPL_32( in00    , \
     138             :     in01, in02, in03, in04, in05, in06, in07, \
     139             :     in08, in09, in10, in11, in12, in13, in14, \
     140             :     in15, in16, in17, in18, in19, in20, in21, \
     141             :     in22, in23, in24, in25, in26, in27, in28, \
     142             :     in29, in30, in31)                        \
     143        1203 :   do {                                       \
     144        1203 :     in00 = GF_MUL( in00, 1 );                \
     145        1203 :     in00 = gf_zero();                        \
     146        1203 :     in01 = GF_MUL( in01, 1 );                \
     147        1203 :     in00 = GF_ADD( in00, in01 );             \
     148        1203 :     in01 = gf_zero();                        \
     149        1203 :     in02 = GF_MUL( in02, 122 );              \
     150        1203 :     in00 = GF_ADD( in00, in02 );             \
     151        1203 :     in02 = gf_zero();                        \
     152        1203 :     in03 = GF_MUL( in03, 122 );              \
     153        1203 :     in02 = GF_ADD( in02, in03 );             \
     154        1203 :     in01 = GF_ADD( in01, in03 );             \
     155        1203 :     in03 = gf_zero();                        \
     156        1203 :     in04 = GF_MUL( in04, 32 );               \
     157        1203 :     in00 = GF_ADD( in00, in04 );             \
     158        1203 :     in04 = gf_zero();                        \
     159        1203 :     in05 = GF_MUL( in05, 32 );               \
     160        1203 :     in04 = GF_ADD( in04, in05 );             \
     161        1203 :     in01 = GF_ADD( in01, in05 );             \
     162        1203 :     in05 = gf_zero();                        \
     163        1203 :     in06 = GF_MUL( in06, 251 );              \
     164        1203 :     in04 = GF_ADD( in04, in06 );             \
     165        1203 :     in02 = GF_ADD( in02, in06 );             \
     166        1203 :     in06 = gf_zero();                        \
     167        1203 :     in07 = GF_MUL( in07, 251 );              \
     168        1203 :     in06 = GF_ADD( in06, in07 );             \
     169        1203 :     in05 = GF_ADD( in05, in07 );             \
     170        1203 :     in03 = GF_ADD( in03, in07 );             \
     171        1203 :     in07 = gf_zero();                        \
     172        1203 :     in08 = GF_MUL( in08, 41 );               \
     173        1203 :     in00 = GF_ADD( in00, in08 );             \
     174        1203 :     in08 = gf_zero();                        \
     175        1203 :     in09 = GF_MUL( in09, 41 );               \
     176        1203 :     in08 = GF_ADD( in08, in09 );             \
     177        1203 :     in01 = GF_ADD( in01, in09 );             \
     178        1203 :     in09 = gf_zero();                        \
     179        1203 :     in10 = GF_MUL( in10, 118 );              \
     180        1203 :     in08 = GF_ADD( in08, in10 );             \
     181        1203 :     in02 = GF_ADD( in02, in10 );             \
     182        1203 :     in10 = gf_zero();                        \
     183        1203 :     in11 = GF_MUL( in11, 118 );              \
     184        1203 :     in10 = GF_ADD( in10, in11 );             \
     185        1203 :     in09 = GF_ADD( in09, in11 );             \
     186        1203 :     in03 = GF_ADD( in03, in11 );             \
     187        1203 :     in11 = gf_zero();                        \
     188        1203 :     in12 = GF_MUL( in12, 73 );               \
     189        1203 :     in08 = GF_ADD( in08, in12 );             \
     190        1203 :     in04 = GF_ADD( in04, in12 );             \
     191        1203 :     in12 = gf_zero();                        \
     192        1203 :     in13 = GF_MUL( in13, 73 );               \
     193        1203 :     in12 = GF_ADD( in12, in13 );             \
     194        1203 :     in09 = GF_ADD( in09, in13 );             \
     195        1203 :     in05 = GF_ADD( in05, in13 );             \
     196        1203 :     in13 = gf_zero();                        \
     197        1203 :     in14 = GF_MUL( in14, 102 );              \
     198        1203 :     in12 = GF_ADD( in12, in14 );             \
     199        1203 :     in10 = GF_ADD( in10, in14 );             \
     200        1203 :     in06 = GF_ADD( in06, in14 );             \
     201        1203 :     in14 = gf_zero();                        \
     202        1203 :     in15 = GF_MUL( in15, 102 );              \
     203        1203 :     in14 = GF_ADD( in14, in15 );             \
     204        1203 :     in13 = GF_ADD( in13, in15 );             \
     205        1203 :     in11 = GF_ADD( in11, in15 );             \
     206        1203 :     in07 = GF_ADD( in07, in15 );             \
     207        1203 :     in15 = gf_zero();                        \
     208        1203 :     in16 = GF_MUL( in16, 31 );               \
     209        1203 :     in00 = GF_ADD( in00, in16 );             \
     210        1203 :     in16 = gf_zero();                        \
     211        1203 :     in17 = GF_MUL( in17, 31 );               \
     212        1203 :     in16 = GF_ADD( in16, in17 );             \
     213        1203 :     in01 = GF_ADD( in01, in17 );             \
     214        1203 :     in17 = gf_zero();                        \
     215        1203 :     in18 = GF_MUL( in18, 127 );              \
     216        1203 :     in16 = GF_ADD( in16, in18 );             \
     217        1203 :     in02 = GF_ADD( in02, in18 );             \
     218        1203 :     in18 = gf_zero();                        \
     219        1203 :     in19 = GF_MUL( in19, 127 );              \
     220        1203 :     in18 = GF_ADD( in18, in19 );             \
     221        1203 :     in17 = GF_ADD( in17, in19 );             \
     222        1203 :     in03 = GF_ADD( in03, in19 );             \
     223        1203 :     in19 = gf_zero();                        \
     224        1203 :     in20 = GF_MUL( in20, 199 );              \
     225        1203 :     in16 = GF_ADD( in16, in20 );             \
     226        1203 :     in04 = GF_ADD( in04, in20 );             \
     227        1203 :     in20 = gf_zero();                        \
     228        1203 :     in21 = GF_MUL( in21, 199 );              \
     229        1203 :     in20 = GF_ADD( in20, in21 );             \
     230        1203 :     in17 = GF_ADD( in17, in21 );             \
     231        1203 :     in05 = GF_ADD( in05, in21 );             \
     232        1203 :     in21 = gf_zero();                        \
     233        1203 :     in22 = GF_MUL( in22, 91 );               \
     234        1203 :     in20 = GF_ADD( in20, in22 );             \
     235        1203 :     in18 = GF_ADD( in18, in22 );             \
     236        1203 :     in06 = GF_ADD( in06, in22 );             \
     237        1203 :     in22 = gf_zero();                        \
     238        1203 :     in23 = GF_MUL( in23, 91 );               \
     239        1203 :     in22 = GF_ADD( in22, in23 );             \
     240        1203 :     in21 = GF_ADD( in21, in23 );             \
     241        1203 :     in19 = GF_ADD( in19, in23 );             \
     242        1203 :     in07 = GF_ADD( in07, in23 );             \
     243        1203 :     in23 = gf_zero();                        \
     244        1203 :     in24 = GF_MUL( in24, 32 );               \
     245        1203 :     in16 = GF_ADD( in16, in24 );             \
     246        1203 :     in08 = GF_ADD( in08, in24 );             \
     247        1203 :     in24 = gf_zero();                        \
     248        1203 :     in25 = GF_MUL( in25, 32 );               \
     249        1203 :     in24 = GF_ADD( in24, in25 );             \
     250        1203 :     in17 = GF_ADD( in17, in25 );             \
     251        1203 :     in09 = GF_ADD( in09, in25 );             \
     252        1203 :     in25 = gf_zero();                        \
     253        1203 :     in26 = GF_MUL( in26, 251 );              \
     254        1203 :     in24 = GF_ADD( in24, in26 );             \
     255        1203 :     in18 = GF_ADD( in18, in26 );             \
     256        1203 :     in10 = GF_ADD( in10, in26 );             \
     257        1203 :     in26 = gf_zero();                        \
     258        1203 :     in27 = GF_MUL( in27, 251 );              \
     259        1203 :     in26 = GF_ADD( in26, in27 );             \
     260        1203 :     in25 = GF_ADD( in25, in27 );             \
     261        1203 :     in19 = GF_ADD( in19, in27 );             \
     262        1203 :     in11 = GF_ADD( in11, in27 );             \
     263        1203 :     in27 = gf_zero();                        \
     264        1203 :     in28 = GF_MUL( in28, 116 );              \
     265        1203 :     in24 = GF_ADD( in24, in28 );             \
     266        1203 :     in20 = GF_ADD( in20, in28 );             \
     267        1203 :     in12 = GF_ADD( in12, in28 );             \
     268        1203 :     in28 = gf_zero();                        \
     269        1203 :     in29 = GF_MUL( in29, 116 );              \
     270        1203 :     in28 = GF_ADD( in28, in29 );             \
     271        1203 :     in25 = GF_ADD( in25, in29 );             \
     272        1203 :     in21 = GF_ADD( in21, in29 );             \
     273        1203 :     in13 = GF_ADD( in13, in29 );             \
     274        1203 :     in29 = gf_zero();                        \
     275        1203 :     in30 = GF_MUL( in30, 22 );               \
     276        1203 :     in28 = GF_ADD( in28, in30 );             \
     277        1203 :     in26 = GF_ADD( in26, in30 );             \
     278        1203 :     in22 = GF_ADD( in22, in30 );             \
     279        1203 :     in14 = GF_ADD( in14, in30 );             \
     280        1203 :     in30 = gf_zero();                        \
     281        1203 :     in31 = GF_MUL( in31, 22 );               \
     282        1203 :     in30 = GF_ADD( in30, in31 );             \
     283        1203 :     in29 = GF_ADD( in29, in31 );             \
     284        1203 :     in27 = GF_ADD( in27, in31 );             \
     285        1203 :     in23 = GF_ADD( in23, in31 );             \
     286        1203 :     in15 = GF_ADD( in15, in31 );             \
     287        1203 :     in31 = gf_zero();                        \
     288        1203 :     in00 = GF_MUL( in00, 1 );                \
     289        1203 :     in01 = GF_MUL( in01, 1 );                \
     290        1203 :     in02 = GF_MUL( in02, 6 );                \
     291        1203 :     in03 = GF_MUL( in03, 6 );                \
     292        1203 :     in04 = GF_MUL( in04, 108 );              \
     293        1203 :     in05 = GF_MUL( in05, 108 );              \
     294        1203 :     in06 = GF_MUL( in06, 117 );              \
     295        1203 :     in07 = GF_MUL( in07, 117 );              \
     296        1203 :     in08 = GF_MUL( in08, 208 );              \
     297        1203 :     in09 = GF_MUL( in09, 208 );              \
     298        1203 :     in10 = GF_MUL( in10, 218 );              \
     299        1203 :     in11 = GF_MUL( in11, 218 );              \
     300        1203 :     in12 = GF_MUL( in12, 136 );              \
     301        1203 :     in13 = GF_MUL( in13, 136 );              \
     302        1203 :     in14 = GF_MUL( in14, 23 );               \
     303        1203 :     in15 = GF_MUL( in15, 23 );               \
     304        1203 :     in16 = GF_MUL( in16, 42 );               \
     305        1203 :     in17 = GF_MUL( in17, 42 );               \
     306        1203 :     in18 = GF_MUL( in18, 252 );              \
     307        1203 :     in19 = GF_MUL( in19, 252 );              \
     308        1203 :     in20 = GF_MUL( in20, 158 );              \
     309        1203 :     in21 = GF_MUL( in21, 158 );              \
     310        1203 :     in22 = GF_MUL( in22, 99 );               \
     311        1203 :     in23 = GF_MUL( in23, 99 );               \
     312        1203 :     in24 = GF_MUL( in24, 108 );              \
     313        1203 :     in25 = GF_MUL( in25, 108 );              \
     314        1203 :     in26 = GF_MUL( in26, 117 );              \
     315        1203 :     in27 = GF_MUL( in27, 117 );              \
     316        1203 :     in28 = GF_MUL( in28, 233 );              \
     317        1203 :     in29 = GF_MUL( in29, 233 );              \
     318        1203 :     in30 = GF_MUL( in30, 76 );               \
     319        1203 :     in31 = GF_MUL( in31, 76 );               \
     320        1203 :   } while( 0 )
     321             : 
     322             : #define FD_REEDSOL_FDERIV_IMPL_64( in00    , \
     323             :     in01, in02, in03, in04, in05, in06, in07, \
     324             :     in08, in09, in10, in11, in12, in13, in14, \
     325             :     in15, in16, in17, in18, in19, in20, in21, \
     326             :     in22, in23, in24, in25, in26, in27, in28, \
     327             :     in29, in30, in31, in32, in33, in34, in35, \
     328             :     in36, in37, in38, in39, in40, in41, in42, \
     329             :     in43, in44, in45, in46, in47, in48, in49, \
     330             :     in50, in51, in52, in53, in54, in55, in56, \
     331             :     in57, in58, in59, in60, in61, in62, in63) \
     332        5544 :   do {                                       \
     333        5544 :     in00 = GF_MUL( in00, 1 );                \
     334        5544 :     in00 = gf_zero();                        \
     335        5544 :     in01 = GF_MUL( in01, 1 );                \
     336        5544 :     in00 = GF_ADD( in00, in01 );             \
     337        5544 :     in01 = gf_zero();                        \
     338        5544 :     in02 = GF_MUL( in02, 122 );              \
     339        5544 :     in00 = GF_ADD( in00, in02 );             \
     340        5544 :     in02 = gf_zero();                        \
     341        5544 :     in03 = GF_MUL( in03, 122 );              \
     342        5544 :     in02 = GF_ADD( in02, in03 );             \
     343        5544 :     in01 = GF_ADD( in01, in03 );             \
     344        5544 :     in03 = gf_zero();                        \
     345        5544 :     in04 = GF_MUL( in04, 32 );               \
     346        5544 :     in00 = GF_ADD( in00, in04 );             \
     347        5544 :     in04 = gf_zero();                        \
     348        5544 :     in05 = GF_MUL( in05, 32 );               \
     349        5544 :     in04 = GF_ADD( in04, in05 );             \
     350        5544 :     in01 = GF_ADD( in01, in05 );             \
     351        5544 :     in05 = gf_zero();                        \
     352        5544 :     in06 = GF_MUL( in06, 251 );              \
     353        5544 :     in04 = GF_ADD( in04, in06 );             \
     354        5544 :     in02 = GF_ADD( in02, in06 );             \
     355        5544 :     in06 = gf_zero();                        \
     356        5544 :     in07 = GF_MUL( in07, 251 );              \
     357        5544 :     in06 = GF_ADD( in06, in07 );             \
     358        5544 :     in05 = GF_ADD( in05, in07 );             \
     359        5544 :     in03 = GF_ADD( in03, in07 );             \
     360        5544 :     in07 = gf_zero();                        \
     361        5544 :     in08 = GF_MUL( in08, 41 );               \
     362        5544 :     in00 = GF_ADD( in00, in08 );             \
     363        5544 :     in08 = gf_zero();                        \
     364        5544 :     in09 = GF_MUL( in09, 41 );               \
     365        5544 :     in08 = GF_ADD( in08, in09 );             \
     366        5544 :     in01 = GF_ADD( in01, in09 );             \
     367        5544 :     in09 = gf_zero();                        \
     368        5544 :     in10 = GF_MUL( in10, 118 );              \
     369        5544 :     in08 = GF_ADD( in08, in10 );             \
     370        5544 :     in02 = GF_ADD( in02, in10 );             \
     371        5544 :     in10 = gf_zero();                        \
     372        5544 :     in11 = GF_MUL( in11, 118 );              \
     373        5544 :     in10 = GF_ADD( in10, in11 );             \
     374        5544 :     in09 = GF_ADD( in09, in11 );             \
     375        5544 :     in03 = GF_ADD( in03, in11 );             \
     376        5544 :     in11 = gf_zero();                        \
     377        5544 :     in12 = GF_MUL( in12, 73 );               \
     378        5544 :     in08 = GF_ADD( in08, in12 );             \
     379        5544 :     in04 = GF_ADD( in04, in12 );             \
     380        5544 :     in12 = gf_zero();                        \
     381        5544 :     in13 = GF_MUL( in13, 73 );               \
     382        5544 :     in12 = GF_ADD( in12, in13 );             \
     383        5544 :     in09 = GF_ADD( in09, in13 );             \
     384        5544 :     in05 = GF_ADD( in05, in13 );             \
     385        5544 :     in13 = gf_zero();                        \
     386        5544 :     in14 = GF_MUL( in14, 102 );              \
     387        5544 :     in12 = GF_ADD( in12, in14 );             \
     388        5544 :     in10 = GF_ADD( in10, in14 );             \
     389        5544 :     in06 = GF_ADD( in06, in14 );             \
     390        5544 :     in14 = gf_zero();                        \
     391        5544 :     in15 = GF_MUL( in15, 102 );              \
     392        5544 :     in14 = GF_ADD( in14, in15 );             \
     393        5544 :     in13 = GF_ADD( in13, in15 );             \
     394        5544 :     in11 = GF_ADD( in11, in15 );             \
     395        5544 :     in07 = GF_ADD( in07, in15 );             \
     396        5544 :     in15 = gf_zero();                        \
     397        5544 :     in16 = GF_MUL( in16, 31 );               \
     398        5544 :     in00 = GF_ADD( in00, in16 );             \
     399        5544 :     in16 = gf_zero();                        \
     400        5544 :     in17 = GF_MUL( in17, 31 );               \
     401        5544 :     in16 = GF_ADD( in16, in17 );             \
     402        5544 :     in01 = GF_ADD( in01, in17 );             \
     403        5544 :     in17 = gf_zero();                        \
     404        5544 :     in18 = GF_MUL( in18, 127 );              \
     405        5544 :     in16 = GF_ADD( in16, in18 );             \
     406        5544 :     in02 = GF_ADD( in02, in18 );             \
     407        5544 :     in18 = gf_zero();                        \
     408        5544 :     in19 = GF_MUL( in19, 127 );              \
     409        5544 :     in18 = GF_ADD( in18, in19 );             \
     410        5544 :     in17 = GF_ADD( in17, in19 );             \
     411        5544 :     in03 = GF_ADD( in03, in19 );             \
     412        5544 :     in19 = gf_zero();                        \
     413        5544 :     in20 = GF_MUL( in20, 199 );              \
     414        5544 :     in16 = GF_ADD( in16, in20 );             \
     415        5544 :     in04 = GF_ADD( in04, in20 );             \
     416        5544 :     in20 = gf_zero();                        \
     417        5544 :     in21 = GF_MUL( in21, 199 );              \
     418        5544 :     in20 = GF_ADD( in20, in21 );             \
     419        5544 :     in17 = GF_ADD( in17, in21 );             \
     420        5544 :     in05 = GF_ADD( in05, in21 );             \
     421        5544 :     in21 = gf_zero();                        \
     422        5544 :     in22 = GF_MUL( in22, 91 );               \
     423        5544 :     in20 = GF_ADD( in20, in22 );             \
     424        5544 :     in18 = GF_ADD( in18, in22 );             \
     425        5544 :     in06 = GF_ADD( in06, in22 );             \
     426        5544 :     in22 = gf_zero();                        \
     427        5544 :     in23 = GF_MUL( in23, 91 );               \
     428        5544 :     in22 = GF_ADD( in22, in23 );             \
     429        5544 :     in21 = GF_ADD( in21, in23 );             \
     430        5544 :     in19 = GF_ADD( in19, in23 );             \
     431        5544 :     in07 = GF_ADD( in07, in23 );             \
     432        5544 :     in23 = gf_zero();                        \
     433        5544 :     in24 = GF_MUL( in24, 32 );               \
     434        5544 :     in16 = GF_ADD( in16, in24 );             \
     435        5544 :     in08 = GF_ADD( in08, in24 );             \
     436        5544 :     in24 = gf_zero();                        \
     437        5544 :     in25 = GF_MUL( in25, 32 );               \
     438        5544 :     in24 = GF_ADD( in24, in25 );             \
     439        5544 :     in17 = GF_ADD( in17, in25 );             \
     440        5544 :     in09 = GF_ADD( in09, in25 );             \
     441        5544 :     in25 = gf_zero();                        \
     442        5544 :     in26 = GF_MUL( in26, 251 );              \
     443        5544 :     in24 = GF_ADD( in24, in26 );             \
     444        5544 :     in18 = GF_ADD( in18, in26 );             \
     445        5544 :     in10 = GF_ADD( in10, in26 );             \
     446        5544 :     in26 = gf_zero();                        \
     447        5544 :     in27 = GF_MUL( in27, 251 );              \
     448        5544 :     in26 = GF_ADD( in26, in27 );             \
     449        5544 :     in25 = GF_ADD( in25, in27 );             \
     450        5544 :     in19 = GF_ADD( in19, in27 );             \
     451        5544 :     in11 = GF_ADD( in11, in27 );             \
     452        5544 :     in27 = gf_zero();                        \
     453        5544 :     in28 = GF_MUL( in28, 116 );              \
     454        5544 :     in24 = GF_ADD( in24, in28 );             \
     455        5544 :     in20 = GF_ADD( in20, in28 );             \
     456        5544 :     in12 = GF_ADD( in12, in28 );             \
     457        5544 :     in28 = gf_zero();                        \
     458        5544 :     in29 = GF_MUL( in29, 116 );              \
     459        5544 :     in28 = GF_ADD( in28, in29 );             \
     460        5544 :     in25 = GF_ADD( in25, in29 );             \
     461        5544 :     in21 = GF_ADD( in21, in29 );             \
     462        5544 :     in13 = GF_ADD( in13, in29 );             \
     463        5544 :     in29 = gf_zero();                        \
     464        5544 :     in30 = GF_MUL( in30, 22 );               \
     465        5544 :     in28 = GF_ADD( in28, in30 );             \
     466        5544 :     in26 = GF_ADD( in26, in30 );             \
     467        5544 :     in22 = GF_ADD( in22, in30 );             \
     468        5544 :     in14 = GF_ADD( in14, in30 );             \
     469        5544 :     in30 = gf_zero();                        \
     470        5544 :     in31 = GF_MUL( in31, 22 );               \
     471        5544 :     in30 = GF_ADD( in30, in31 );             \
     472        5544 :     in29 = GF_ADD( in29, in31 );             \
     473        5544 :     in27 = GF_ADD( in27, in31 );             \
     474        5544 :     in23 = GF_ADD( in23, in31 );             \
     475        5544 :     in15 = GF_ADD( in15, in31 );             \
     476        5544 :     in31 = gf_zero();                        \
     477        5544 :     in32 = GF_MUL( in32, 194 );              \
     478        5544 :     in00 = GF_ADD( in00, in32 );             \
     479        5544 :     in32 = gf_zero();                        \
     480        5544 :     in33 = GF_MUL( in33, 194 );              \
     481        5544 :     in32 = GF_ADD( in32, in33 );             \
     482        5544 :     in01 = GF_ADD( in01, in33 );             \
     483        5544 :     in33 = gf_zero();                        \
     484        5544 :     in34 = GF_MUL( in34, 212 );              \
     485        5544 :     in32 = GF_ADD( in32, in34 );             \
     486        5544 :     in02 = GF_ADD( in02, in34 );             \
     487        5544 :     in34 = gf_zero();                        \
     488        5544 :     in35 = GF_MUL( in35, 212 );              \
     489        5544 :     in34 = GF_ADD( in34, in35 );             \
     490        5544 :     in33 = GF_ADD( in33, in35 );             \
     491        5544 :     in03 = GF_ADD( in03, in35 );             \
     492        5544 :     in35 = gf_zero();                        \
     493        5544 :     in36 = GF_MUL( in36, 101 );              \
     494        5544 :     in32 = GF_ADD( in32, in36 );             \
     495        5544 :     in04 = GF_ADD( in04, in36 );             \
     496        5544 :     in36 = gf_zero();                        \
     497        5544 :     in37 = GF_MUL( in37, 101 );              \
     498        5544 :     in36 = GF_ADD( in36, in37 );             \
     499        5544 :     in33 = GF_ADD( in33, in37 );             \
     500        5544 :     in05 = GF_ADD( in05, in37 );             \
     501        5544 :     in37 = gf_zero();                        \
     502        5544 :     in38 = GF_MUL( in38, 159 );              \
     503        5544 :     in36 = GF_ADD( in36, in38 );             \
     504        5544 :     in34 = GF_ADD( in34, in38 );             \
     505        5544 :     in06 = GF_ADD( in06, in38 );             \
     506        5544 :     in38 = gf_zero();                        \
     507        5544 :     in39 = GF_MUL( in39, 159 );              \
     508        5544 :     in38 = GF_ADD( in38, in39 );             \
     509        5544 :     in37 = GF_ADD( in37, in39 );             \
     510        5544 :     in35 = GF_ADD( in35, in39 );             \
     511        5544 :     in07 = GF_ADD( in07, in39 );             \
     512        5544 :     in39 = gf_zero();                        \
     513        5544 :     in40 = GF_MUL( in40, 249 );              \
     514        5544 :     in32 = GF_ADD( in32, in40 );             \
     515        5544 :     in08 = GF_ADD( in08, in40 );             \
     516        5544 :     in40 = gf_zero();                        \
     517        5544 :     in41 = GF_MUL( in41, 249 );              \
     518        5544 :     in40 = GF_ADD( in40, in41 );             \
     519        5544 :     in33 = GF_ADD( in33, in41 );             \
     520        5544 :     in09 = GF_ADD( in09, in41 );             \
     521        5544 :     in41 = gf_zero();                        \
     522        5544 :     in42 = GF_MUL( in42, 165 );              \
     523        5544 :     in40 = GF_ADD( in40, in42 );             \
     524        5544 :     in34 = GF_ADD( in34, in42 );             \
     525        5544 :     in10 = GF_ADD( in10, in42 );             \
     526        5544 :     in42 = gf_zero();                        \
     527        5544 :     in43 = GF_MUL( in43, 165 );              \
     528        5544 :     in42 = GF_ADD( in42, in43 );             \
     529        5544 :     in41 = GF_ADD( in41, in43 );             \
     530        5544 :     in35 = GF_ADD( in35, in43 );             \
     531        5544 :     in11 = GF_ADD( in11, in43 );             \
     532        5544 :     in43 = gf_zero();                        \
     533        5544 :     in44 = GF_MUL( in44, 86 );               \
     534        5544 :     in40 = GF_ADD( in40, in44 );             \
     535        5544 :     in36 = GF_ADD( in36, in44 );             \
     536        5544 :     in12 = GF_ADD( in12, in44 );             \
     537        5544 :     in44 = gf_zero();                        \
     538        5544 :     in45 = GF_MUL( in45, 86 );               \
     539        5544 :     in44 = GF_ADD( in44, in45 );             \
     540        5544 :     in41 = GF_ADD( in41, in45 );             \
     541        5544 :     in37 = GF_ADD( in37, in45 );             \
     542        5544 :     in13 = GF_ADD( in13, in45 );             \
     543        5544 :     in45 = gf_zero();                        \
     544        5544 :     in46 = GF_MUL( in46, 25 );               \
     545        5544 :     in44 = GF_ADD( in44, in46 );             \
     546        5544 :     in42 = GF_ADD( in42, in46 );             \
     547        5544 :     in38 = GF_ADD( in38, in46 );             \
     548        5544 :     in14 = GF_ADD( in14, in46 );             \
     549        5544 :     in46 = gf_zero();                        \
     550        5544 :     in47 = GF_MUL( in47, 25 );               \
     551        5544 :     in46 = GF_ADD( in46, in47 );             \
     552        5544 :     in45 = GF_ADD( in45, in47 );             \
     553        5544 :     in43 = GF_ADD( in43, in47 );             \
     554        5544 :     in39 = GF_ADD( in39, in47 );             \
     555        5544 :     in15 = GF_ADD( in15, in47 );             \
     556        5544 :     in47 = gf_zero();                        \
     557        5544 :     in48 = GF_MUL( in48, 150 );              \
     558        5544 :     in32 = GF_ADD( in32, in48 );             \
     559        5544 :     in16 = GF_ADD( in16, in48 );             \
     560        5544 :     in48 = gf_zero();                        \
     561        5544 :     in49 = GF_MUL( in49, 150 );              \
     562        5544 :     in48 = GF_ADD( in48, in49 );             \
     563        5544 :     in33 = GF_ADD( in33, in49 );             \
     564        5544 :     in17 = GF_ADD( in17, in49 );             \
     565        5544 :     in49 = gf_zero();                        \
     566        5544 :     in50 = GF_MUL( in50, 57 );               \
     567        5544 :     in48 = GF_ADD( in48, in50 );             \
     568        5544 :     in34 = GF_ADD( in34, in50 );             \
     569        5544 :     in18 = GF_ADD( in18, in50 );             \
     570        5544 :     in50 = gf_zero();                        \
     571        5544 :     in51 = GF_MUL( in51, 57 );               \
     572        5544 :     in50 = GF_ADD( in50, in51 );             \
     573        5544 :     in49 = GF_ADD( in49, in51 );             \
     574        5544 :     in35 = GF_ADD( in35, in51 );             \
     575        5544 :     in19 = GF_ADD( in19, in51 );             \
     576        5544 :     in51 = gf_zero();                        \
     577        5544 :     in52 = GF_MUL( in52, 55 );               \
     578        5544 :     in48 = GF_ADD( in48, in52 );             \
     579        5544 :     in36 = GF_ADD( in36, in52 );             \
     580        5544 :     in20 = GF_ADD( in20, in52 );             \
     581        5544 :     in52 = gf_zero();                        \
     582        5544 :     in53 = GF_MUL( in53, 55 );               \
     583        5544 :     in52 = GF_ADD( in52, in53 );             \
     584        5544 :     in49 = GF_ADD( in49, in53 );             \
     585        5544 :     in37 = GF_ADD( in37, in53 );             \
     586        5544 :     in21 = GF_ADD( in21, in53 );             \
     587        5544 :     in53 = gf_zero();                        \
     588        5544 :     in54 = GF_MUL( in54, 115 );              \
     589        5544 :     in52 = GF_ADD( in52, in54 );             \
     590        5544 :     in50 = GF_ADD( in50, in54 );             \
     591        5544 :     in38 = GF_ADD( in38, in54 );             \
     592        5544 :     in22 = GF_ADD( in22, in54 );             \
     593        5544 :     in54 = gf_zero();                        \
     594        5544 :     in55 = GF_MUL( in55, 115 );              \
     595        5544 :     in54 = GF_ADD( in54, in55 );             \
     596        5544 :     in53 = GF_ADD( in53, in55 );             \
     597        5544 :     in51 = GF_ADD( in51, in55 );             \
     598        5544 :     in39 = GF_ADD( in39, in55 );             \
     599        5544 :     in23 = GF_ADD( in23, in55 );             \
     600        5544 :     in55 = gf_zero();                        \
     601        5544 :     in56 = GF_MUL( in56, 101 );              \
     602        5544 :     in48 = GF_ADD( in48, in56 );             \
     603        5544 :     in40 = GF_ADD( in40, in56 );             \
     604        5544 :     in24 = GF_ADD( in24, in56 );             \
     605        5544 :     in56 = gf_zero();                        \
     606        5544 :     in57 = GF_MUL( in57, 101 );              \
     607        5544 :     in56 = GF_ADD( in56, in57 );             \
     608        5544 :     in49 = GF_ADD( in49, in57 );             \
     609        5544 :     in41 = GF_ADD( in41, in57 );             \
     610        5544 :     in25 = GF_ADD( in25, in57 );             \
     611        5544 :     in57 = gf_zero();                        \
     612        5544 :     in58 = GF_MUL( in58, 159 );              \
     613        5544 :     in56 = GF_ADD( in56, in58 );             \
     614        5544 :     in50 = GF_ADD( in50, in58 );             \
     615        5544 :     in42 = GF_ADD( in42, in58 );             \
     616        5544 :     in26 = GF_ADD( in26, in58 );             \
     617        5544 :     in58 = gf_zero();                        \
     618        5544 :     in59 = GF_MUL( in59, 159 );              \
     619        5544 :     in58 = GF_ADD( in58, in59 );             \
     620        5544 :     in57 = GF_ADD( in57, in59 );             \
     621        5544 :     in51 = GF_ADD( in51, in59 );             \
     622        5544 :     in43 = GF_ADD( in43, in59 );             \
     623        5544 :     in27 = GF_ADD( in27, in59 );             \
     624        5544 :     in59 = gf_zero();                        \
     625        5544 :     in60 = GF_MUL( in60, 60 );               \
     626        5544 :     in56 = GF_ADD( in56, in60 );             \
     627        5544 :     in52 = GF_ADD( in52, in60 );             \
     628        5544 :     in44 = GF_ADD( in44, in60 );             \
     629        5544 :     in28 = GF_ADD( in28, in60 );             \
     630        5544 :     in60 = gf_zero();                        \
     631        5544 :     in61 = GF_MUL( in61, 60 );               \
     632        5544 :     in60 = GF_ADD( in60, in61 );             \
     633        5544 :     in57 = GF_ADD( in57, in61 );             \
     634        5544 :     in53 = GF_ADD( in53, in61 );             \
     635        5544 :     in45 = GF_ADD( in45, in61 );             \
     636        5544 :     in29 = GF_ADD( in29, in61 );             \
     637        5544 :     in61 = gf_zero();                        \
     638        5544 :     in62 = GF_MUL( in62, 10 );               \
     639        5544 :     in60 = GF_ADD( in60, in62 );             \
     640        5544 :     in58 = GF_ADD( in58, in62 );             \
     641        5544 :     in54 = GF_ADD( in54, in62 );             \
     642        5544 :     in46 = GF_ADD( in46, in62 );             \
     643        5544 :     in30 = GF_ADD( in30, in62 );             \
     644        5544 :     in62 = gf_zero();                        \
     645        5544 :     in63 = GF_MUL( in63, 10 );               \
     646        5544 :     in62 = GF_ADD( in62, in63 );             \
     647        5544 :     in61 = GF_ADD( in61, in63 );             \
     648        5544 :     in59 = GF_ADD( in59, in63 );             \
     649        5544 :     in55 = GF_ADD( in55, in63 );             \
     650        5544 :     in47 = GF_ADD( in47, in63 );             \
     651        5544 :     in31 = GF_ADD( in31, in63 );             \
     652        5544 :     in63 = gf_zero();                        \
     653        5544 :     in00 = GF_MUL( in00, 1 );                \
     654        5544 :     in01 = GF_MUL( in01, 1 );                \
     655        5544 :     in02 = GF_MUL( in02, 6 );                \
     656        5544 :     in03 = GF_MUL( in03, 6 );                \
     657        5544 :     in04 = GF_MUL( in04, 108 );              \
     658        5544 :     in05 = GF_MUL( in05, 108 );              \
     659        5544 :     in06 = GF_MUL( in06, 117 );              \
     660        5544 :     in07 = GF_MUL( in07, 117 );              \
     661        5544 :     in08 = GF_MUL( in08, 208 );              \
     662        5544 :     in09 = GF_MUL( in09, 208 );              \
     663        5544 :     in10 = GF_MUL( in10, 218 );              \
     664        5544 :     in11 = GF_MUL( in11, 218 );              \
     665        5544 :     in12 = GF_MUL( in12, 136 );              \
     666        5544 :     in13 = GF_MUL( in13, 136 );              \
     667        5544 :     in14 = GF_MUL( in14, 23 );               \
     668        5544 :     in15 = GF_MUL( in15, 23 );               \
     669        5544 :     in16 = GF_MUL( in16, 42 );               \
     670        5544 :     in17 = GF_MUL( in17, 42 );               \
     671        5544 :     in18 = GF_MUL( in18, 252 );              \
     672        5544 :     in19 = GF_MUL( in19, 252 );              \
     673        5544 :     in20 = GF_MUL( in20, 158 );              \
     674        5544 :     in21 = GF_MUL( in21, 158 );              \
     675        5544 :     in22 = GF_MUL( in22, 99 );               \
     676        5544 :     in23 = GF_MUL( in23, 99 );               \
     677        5544 :     in24 = GF_MUL( in24, 108 );              \
     678        5544 :     in25 = GF_MUL( in25, 108 );              \
     679        5544 :     in26 = GF_MUL( in26, 117 );              \
     680        5544 :     in27 = GF_MUL( in27, 117 );              \
     681        5544 :     in28 = GF_MUL( in28, 233 );              \
     682        5544 :     in29 = GF_MUL( in29, 233 );              \
     683        5544 :     in30 = GF_MUL( in30, 76 );               \
     684        5544 :     in31 = GF_MUL( in31, 76 );               \
     685        5544 :     in32 = GF_MUL( in32, 165 );              \
     686        5544 :     in33 = GF_MUL( in33, 165 );              \
     687        5544 :     in34 = GF_MUL( in34, 249 );              \
     688        5544 :     in35 = GF_MUL( in35, 249 );              \
     689        5544 :     in36 = GF_MUL( in36, 196 );              \
     690        5544 :     in37 = GF_MUL( in37, 196 );              \
     691        5544 :     in38 = GF_MUL( in38, 162 );              \
     692        5544 :     in39 = GF_MUL( in39, 162 );              \
     693        5544 :     in40 = GF_MUL( in40, 212 );              \
     694        5544 :     in41 = GF_MUL( in41, 212 );              \
     695        5544 :     in42 = GF_MUL( in42, 194 );              \
     696        5544 :     in43 = GF_MUL( in43, 194 );              \
     697        5544 :     in44 = GF_MUL( in44, 37 );               \
     698        5544 :     in45 = GF_MUL( in45, 37 );               \
     699        5544 :     in46 = GF_MUL( in46, 222 );              \
     700        5544 :     in47 = GF_MUL( in47, 222 );              \
     701        5544 :     in48 = GF_MUL( in48, 15 );               \
     702        5544 :     in49 = GF_MUL( in49, 15 );               \
     703        5544 :     in50 = GF_MUL( in50, 34 );               \
     704        5544 :     in51 = GF_MUL( in51, 34 );               \
     705        5544 :     in52 = GF_MUL( in52, 94 );               \
     706        5544 :     in53 = GF_MUL( in53, 94 );               \
     707        5544 :     in54 = GF_MUL( in54, 217 );              \
     708        5544 :     in55 = GF_MUL( in55, 217 );              \
     709        5544 :     in56 = GF_MUL( in56, 196 );              \
     710        5544 :     in57 = GF_MUL( in57, 196 );              \
     711        5544 :     in58 = GF_MUL( in58, 162 );              \
     712        5544 :     in59 = GF_MUL( in59, 162 );              \
     713        5544 :     in60 = GF_MUL( in60, 171 );              \
     714        5544 :     in61 = GF_MUL( in61, 171 );              \
     715        5544 :     in62 = GF_MUL( in62, 221 );              \
     716        5544 :     in63 = GF_MUL( in63, 221 );              \
     717        5544 :   } while( 0 )
     718             : 
     719             : #define FD_REEDSOL_FDERIV_IMPL_128( in00, in01, \
     720             :     in02, in03, in04, in05, in06, in07, in08  , \
     721             :     in09, in10, in11, in12, in13, in14, in15  , \
     722             :     in16, in17, in18, in19, in20, in21, in22  , \
     723             :     in23, in24, in25, in26, in27, in28, in29  , \
     724             :     in30, in31, in32, in33, in34, in35, in36  , \
     725             :     in37, in38, in39, in40, in41, in42, in43  , \
     726             :     in44, in45, in46, in47, in48, in49, in50  , \
     727             :     in51, in52, in53, in54, in55, in56, in57  , \
     728             :     in58, in59, in60, in61, in62, in63, in64  , \
     729             :     in65, in66, in67, in68, in69, in70, in71  , \
     730             :     in72, in73, in74, in75, in76, in77, in78  , \
     731             :     in79, in80, in81, in82, in83, in84, in85  , \
     732             :     in86, in87, in88, in89, in90, in91, in92  , \
     733             :     in93, in94, in95, in96, in97, in98, in99  , \
     734             :     in100, in101, in102, in103, in104, in105  , \
     735             :     in106, in107, in108, in109, in110, in111  , \
     736             :     in112, in113, in114, in115, in116, in117  , \
     737             :     in118, in119, in120, in121, in122, in123  , \
     738             :     in124, in125, in126, in127)                 \
     739           0 :   do {                                          \
     740           0 :     in00 = GF_MUL( in00, 1 );                   \
     741           0 :     in00 = gf_zero();                           \
     742           0 :     in01 = GF_MUL( in01, 1 );                   \
     743           0 :     in00 = GF_ADD( in00, in01 );                \
     744           0 :     in01 = gf_zero();                           \
     745           0 :     in02 = GF_MUL( in02, 122 );                 \
     746           0 :     in00 = GF_ADD( in00, in02 );                \
     747           0 :     in02 = gf_zero();                           \
     748           0 :     in03 = GF_MUL( in03, 122 );                 \
     749           0 :     in02 = GF_ADD( in02, in03 );                \
     750           0 :     in01 = GF_ADD( in01, in03 );                \
     751           0 :     in03 = gf_zero();                           \
     752           0 :     in04 = GF_MUL( in04, 32 );                  \
     753           0 :     in00 = GF_ADD( in00, in04 );                \
     754           0 :     in04 = gf_zero();                           \
     755           0 :     in05 = GF_MUL( in05, 32 );                  \
     756           0 :     in04 = GF_ADD( in04, in05 );                \
     757           0 :     in01 = GF_ADD( in01, in05 );                \
     758           0 :     in05 = gf_zero();                           \
     759           0 :     in06 = GF_MUL( in06, 251 );                 \
     760           0 :     in04 = GF_ADD( in04, in06 );                \
     761           0 :     in02 = GF_ADD( in02, in06 );                \
     762           0 :     in06 = gf_zero();                           \
     763           0 :     in07 = GF_MUL( in07, 251 );                 \
     764           0 :     in06 = GF_ADD( in06, in07 );                \
     765           0 :     in05 = GF_ADD( in05, in07 );                \
     766           0 :     in03 = GF_ADD( in03, in07 );                \
     767           0 :     in07 = gf_zero();                           \
     768           0 :     in08 = GF_MUL( in08, 41 );                  \
     769           0 :     in00 = GF_ADD( in00, in08 );                \
     770           0 :     in08 = gf_zero();                           \
     771           0 :     in09 = GF_MUL( in09, 41 );                  \
     772           0 :     in08 = GF_ADD( in08, in09 );                \
     773           0 :     in01 = GF_ADD( in01, in09 );                \
     774           0 :     in09 = gf_zero();                           \
     775           0 :     in10 = GF_MUL( in10, 118 );                 \
     776           0 :     in08 = GF_ADD( in08, in10 );                \
     777           0 :     in02 = GF_ADD( in02, in10 );                \
     778           0 :     in10 = gf_zero();                           \
     779           0 :     in11 = GF_MUL( in11, 118 );                 \
     780           0 :     in10 = GF_ADD( in10, in11 );                \
     781           0 :     in09 = GF_ADD( in09, in11 );                \
     782           0 :     in03 = GF_ADD( in03, in11 );                \
     783           0 :     in11 = gf_zero();                           \
     784           0 :     in12 = GF_MUL( in12, 73 );                  \
     785           0 :     in08 = GF_ADD( in08, in12 );                \
     786           0 :     in04 = GF_ADD( in04, in12 );                \
     787           0 :     in12 = gf_zero();                           \
     788           0 :     in13 = GF_MUL( in13, 73 );                  \
     789           0 :     in12 = GF_ADD( in12, in13 );                \
     790           0 :     in09 = GF_ADD( in09, in13 );                \
     791           0 :     in05 = GF_ADD( in05, in13 );                \
     792           0 :     in13 = gf_zero();                           \
     793           0 :     in14 = GF_MUL( in14, 102 );                 \
     794           0 :     in12 = GF_ADD( in12, in14 );                \
     795           0 :     in10 = GF_ADD( in10, in14 );                \
     796           0 :     in06 = GF_ADD( in06, in14 );                \
     797           0 :     in14 = gf_zero();                           \
     798           0 :     in15 = GF_MUL( in15, 102 );                 \
     799           0 :     in14 = GF_ADD( in14, in15 );                \
     800           0 :     in13 = GF_ADD( in13, in15 );                \
     801           0 :     in11 = GF_ADD( in11, in15 );                \
     802           0 :     in07 = GF_ADD( in07, in15 );                \
     803           0 :     in15 = gf_zero();                           \
     804           0 :     in16 = GF_MUL( in16, 31 );                  \
     805           0 :     in00 = GF_ADD( in00, in16 );                \
     806           0 :     in16 = gf_zero();                           \
     807           0 :     in17 = GF_MUL( in17, 31 );                  \
     808           0 :     in16 = GF_ADD( in16, in17 );                \
     809           0 :     in01 = GF_ADD( in01, in17 );                \
     810           0 :     in17 = gf_zero();                           \
     811           0 :     in18 = GF_MUL( in18, 127 );                 \
     812           0 :     in16 = GF_ADD( in16, in18 );                \
     813           0 :     in02 = GF_ADD( in02, in18 );                \
     814           0 :     in18 = gf_zero();                           \
     815           0 :     in19 = GF_MUL( in19, 127 );                 \
     816           0 :     in18 = GF_ADD( in18, in19 );                \
     817           0 :     in17 = GF_ADD( in17, in19 );                \
     818           0 :     in03 = GF_ADD( in03, in19 );                \
     819           0 :     in19 = gf_zero();                           \
     820           0 :     in20 = GF_MUL( in20, 199 );                 \
     821           0 :     in16 = GF_ADD( in16, in20 );                \
     822           0 :     in04 = GF_ADD( in04, in20 );                \
     823           0 :     in20 = gf_zero();                           \
     824           0 :     in21 = GF_MUL( in21, 199 );                 \
     825           0 :     in20 = GF_ADD( in20, in21 );                \
     826           0 :     in17 = GF_ADD( in17, in21 );                \
     827           0 :     in05 = GF_ADD( in05, in21 );                \
     828           0 :     in21 = gf_zero();                           \
     829           0 :     in22 = GF_MUL( in22, 91 );                  \
     830           0 :     in20 = GF_ADD( in20, in22 );                \
     831           0 :     in18 = GF_ADD( in18, in22 );                \
     832           0 :     in06 = GF_ADD( in06, in22 );                \
     833           0 :     in22 = gf_zero();                           \
     834           0 :     in23 = GF_MUL( in23, 91 );                  \
     835           0 :     in22 = GF_ADD( in22, in23 );                \
     836           0 :     in21 = GF_ADD( in21, in23 );                \
     837           0 :     in19 = GF_ADD( in19, in23 );                \
     838           0 :     in07 = GF_ADD( in07, in23 );                \
     839           0 :     in23 = gf_zero();                           \
     840           0 :     in24 = GF_MUL( in24, 32 );                  \
     841           0 :     in16 = GF_ADD( in16, in24 );                \
     842           0 :     in08 = GF_ADD( in08, in24 );                \
     843           0 :     in24 = gf_zero();                           \
     844           0 :     in25 = GF_MUL( in25, 32 );                  \
     845           0 :     in24 = GF_ADD( in24, in25 );                \
     846           0 :     in17 = GF_ADD( in17, in25 );                \
     847           0 :     in09 = GF_ADD( in09, in25 );                \
     848           0 :     in25 = gf_zero();                           \
     849           0 :     in26 = GF_MUL( in26, 251 );                 \
     850           0 :     in24 = GF_ADD( in24, in26 );                \
     851           0 :     in18 = GF_ADD( in18, in26 );                \
     852           0 :     in10 = GF_ADD( in10, in26 );                \
     853           0 :     in26 = gf_zero();                           \
     854           0 :     in27 = GF_MUL( in27, 251 );                 \
     855           0 :     in26 = GF_ADD( in26, in27 );                \
     856           0 :     in25 = GF_ADD( in25, in27 );                \
     857           0 :     in19 = GF_ADD( in19, in27 );                \
     858           0 :     in11 = GF_ADD( in11, in27 );                \
     859           0 :     in27 = gf_zero();                           \
     860           0 :     in28 = GF_MUL( in28, 116 );                 \
     861           0 :     in24 = GF_ADD( in24, in28 );                \
     862           0 :     in20 = GF_ADD( in20, in28 );                \
     863           0 :     in12 = GF_ADD( in12, in28 );                \
     864           0 :     in28 = gf_zero();                           \
     865           0 :     in29 = GF_MUL( in29, 116 );                 \
     866           0 :     in28 = GF_ADD( in28, in29 );                \
     867           0 :     in25 = GF_ADD( in25, in29 );                \
     868           0 :     in21 = GF_ADD( in21, in29 );                \
     869           0 :     in13 = GF_ADD( in13, in29 );                \
     870           0 :     in29 = gf_zero();                           \
     871           0 :     in30 = GF_MUL( in30, 22 );                  \
     872           0 :     in28 = GF_ADD( in28, in30 );                \
     873           0 :     in26 = GF_ADD( in26, in30 );                \
     874           0 :     in22 = GF_ADD( in22, in30 );                \
     875           0 :     in14 = GF_ADD( in14, in30 );                \
     876           0 :     in30 = gf_zero();                           \
     877           0 :     in31 = GF_MUL( in31, 22 );                  \
     878           0 :     in30 = GF_ADD( in30, in31 );                \
     879           0 :     in29 = GF_ADD( in29, in31 );                \
     880           0 :     in27 = GF_ADD( in27, in31 );                \
     881           0 :     in23 = GF_ADD( in23, in31 );                \
     882           0 :     in15 = GF_ADD( in15, in31 );                \
     883           0 :     in31 = gf_zero();                           \
     884           0 :     in32 = GF_MUL( in32, 194 );                 \
     885           0 :     in00 = GF_ADD( in00, in32 );                \
     886           0 :     in32 = gf_zero();                           \
     887           0 :     in33 = GF_MUL( in33, 194 );                 \
     888           0 :     in32 = GF_ADD( in32, in33 );                \
     889           0 :     in01 = GF_ADD( in01, in33 );                \
     890           0 :     in33 = gf_zero();                           \
     891           0 :     in34 = GF_MUL( in34, 212 );                 \
     892           0 :     in32 = GF_ADD( in32, in34 );                \
     893           0 :     in02 = GF_ADD( in02, in34 );                \
     894           0 :     in34 = gf_zero();                           \
     895           0 :     in35 = GF_MUL( in35, 212 );                 \
     896           0 :     in34 = GF_ADD( in34, in35 );                \
     897           0 :     in33 = GF_ADD( in33, in35 );                \
     898           0 :     in03 = GF_ADD( in03, in35 );                \
     899           0 :     in35 = gf_zero();                           \
     900           0 :     in36 = GF_MUL( in36, 101 );                 \
     901           0 :     in32 = GF_ADD( in32, in36 );                \
     902           0 :     in04 = GF_ADD( in04, in36 );                \
     903           0 :     in36 = gf_zero();                           \
     904           0 :     in37 = GF_MUL( in37, 101 );                 \
     905           0 :     in36 = GF_ADD( in36, in37 );                \
     906           0 :     in33 = GF_ADD( in33, in37 );                \
     907           0 :     in05 = GF_ADD( in05, in37 );                \
     908           0 :     in37 = gf_zero();                           \
     909           0 :     in38 = GF_MUL( in38, 159 );                 \
     910           0 :     in36 = GF_ADD( in36, in38 );                \
     911           0 :     in34 = GF_ADD( in34, in38 );                \
     912           0 :     in06 = GF_ADD( in06, in38 );                \
     913           0 :     in38 = gf_zero();                           \
     914           0 :     in39 = GF_MUL( in39, 159 );                 \
     915           0 :     in38 = GF_ADD( in38, in39 );                \
     916           0 :     in37 = GF_ADD( in37, in39 );                \
     917           0 :     in35 = GF_ADD( in35, in39 );                \
     918           0 :     in07 = GF_ADD( in07, in39 );                \
     919           0 :     in39 = gf_zero();                           \
     920           0 :     in40 = GF_MUL( in40, 249 );                 \
     921           0 :     in32 = GF_ADD( in32, in40 );                \
     922           0 :     in08 = GF_ADD( in08, in40 );                \
     923           0 :     in40 = gf_zero();                           \
     924           0 :     in41 = GF_MUL( in41, 249 );                 \
     925           0 :     in40 = GF_ADD( in40, in41 );                \
     926           0 :     in33 = GF_ADD( in33, in41 );                \
     927           0 :     in09 = GF_ADD( in09, in41 );                \
     928           0 :     in41 = gf_zero();                           \
     929           0 :     in42 = GF_MUL( in42, 165 );                 \
     930           0 :     in40 = GF_ADD( in40, in42 );                \
     931           0 :     in34 = GF_ADD( in34, in42 );                \
     932           0 :     in10 = GF_ADD( in10, in42 );                \
     933           0 :     in42 = gf_zero();                           \
     934           0 :     in43 = GF_MUL( in43, 165 );                 \
     935           0 :     in42 = GF_ADD( in42, in43 );                \
     936           0 :     in41 = GF_ADD( in41, in43 );                \
     937           0 :     in35 = GF_ADD( in35, in43 );                \
     938           0 :     in11 = GF_ADD( in11, in43 );                \
     939           0 :     in43 = gf_zero();                           \
     940           0 :     in44 = GF_MUL( in44, 86 );                  \
     941           0 :     in40 = GF_ADD( in40, in44 );                \
     942           0 :     in36 = GF_ADD( in36, in44 );                \
     943           0 :     in12 = GF_ADD( in12, in44 );                \
     944           0 :     in44 = gf_zero();                           \
     945           0 :     in45 = GF_MUL( in45, 86 );                  \
     946           0 :     in44 = GF_ADD( in44, in45 );                \
     947           0 :     in41 = GF_ADD( in41, in45 );                \
     948           0 :     in37 = GF_ADD( in37, in45 );                \
     949           0 :     in13 = GF_ADD( in13, in45 );                \
     950           0 :     in45 = gf_zero();                           \
     951           0 :     in46 = GF_MUL( in46, 25 );                  \
     952           0 :     in44 = GF_ADD( in44, in46 );                \
     953           0 :     in42 = GF_ADD( in42, in46 );                \
     954           0 :     in38 = GF_ADD( in38, in46 );                \
     955           0 :     in14 = GF_ADD( in14, in46 );                \
     956           0 :     in46 = gf_zero();                           \
     957           0 :     in47 = GF_MUL( in47, 25 );                  \
     958           0 :     in46 = GF_ADD( in46, in47 );                \
     959           0 :     in45 = GF_ADD( in45, in47 );                \
     960           0 :     in43 = GF_ADD( in43, in47 );                \
     961           0 :     in39 = GF_ADD( in39, in47 );                \
     962           0 :     in15 = GF_ADD( in15, in47 );                \
     963           0 :     in47 = gf_zero();                           \
     964           0 :     in48 = GF_MUL( in48, 150 );                 \
     965           0 :     in32 = GF_ADD( in32, in48 );                \
     966           0 :     in16 = GF_ADD( in16, in48 );                \
     967           0 :     in48 = gf_zero();                           \
     968           0 :     in49 = GF_MUL( in49, 150 );                 \
     969           0 :     in48 = GF_ADD( in48, in49 );                \
     970           0 :     in33 = GF_ADD( in33, in49 );                \
     971           0 :     in17 = GF_ADD( in17, in49 );                \
     972           0 :     in49 = gf_zero();                           \
     973           0 :     in50 = GF_MUL( in50, 57 );                  \
     974           0 :     in48 = GF_ADD( in48, in50 );                \
     975           0 :     in34 = GF_ADD( in34, in50 );                \
     976           0 :     in18 = GF_ADD( in18, in50 );                \
     977           0 :     in50 = gf_zero();                           \
     978           0 :     in51 = GF_MUL( in51, 57 );                  \
     979           0 :     in50 = GF_ADD( in50, in51 );                \
     980           0 :     in49 = GF_ADD( in49, in51 );                \
     981           0 :     in35 = GF_ADD( in35, in51 );                \
     982           0 :     in19 = GF_ADD( in19, in51 );                \
     983           0 :     in51 = gf_zero();                           \
     984           0 :     in52 = GF_MUL( in52, 55 );                  \
     985           0 :     in48 = GF_ADD( in48, in52 );                \
     986           0 :     in36 = GF_ADD( in36, in52 );                \
     987           0 :     in20 = GF_ADD( in20, in52 );                \
     988           0 :     in52 = gf_zero();                           \
     989           0 :     in53 = GF_MUL( in53, 55 );                  \
     990           0 :     in52 = GF_ADD( in52, in53 );                \
     991           0 :     in49 = GF_ADD( in49, in53 );                \
     992           0 :     in37 = GF_ADD( in37, in53 );                \
     993           0 :     in21 = GF_ADD( in21, in53 );                \
     994           0 :     in53 = gf_zero();                           \
     995           0 :     in54 = GF_MUL( in54, 115 );                 \
     996           0 :     in52 = GF_ADD( in52, in54 );                \
     997           0 :     in50 = GF_ADD( in50, in54 );                \
     998           0 :     in38 = GF_ADD( in38, in54 );                \
     999           0 :     in22 = GF_ADD( in22, in54 );                \
    1000           0 :     in54 = gf_zero();                           \
    1001           0 :     in55 = GF_MUL( in55, 115 );                 \
    1002           0 :     in54 = GF_ADD( in54, in55 );                \
    1003           0 :     in53 = GF_ADD( in53, in55 );                \
    1004           0 :     in51 = GF_ADD( in51, in55 );                \
    1005           0 :     in39 = GF_ADD( in39, in55 );                \
    1006           0 :     in23 = GF_ADD( in23, in55 );                \
    1007           0 :     in55 = gf_zero();                           \
    1008           0 :     in56 = GF_MUL( in56, 101 );                 \
    1009           0 :     in48 = GF_ADD( in48, in56 );                \
    1010           0 :     in40 = GF_ADD( in40, in56 );                \
    1011           0 :     in24 = GF_ADD( in24, in56 );                \
    1012           0 :     in56 = gf_zero();                           \
    1013           0 :     in57 = GF_MUL( in57, 101 );                 \
    1014           0 :     in56 = GF_ADD( in56, in57 );                \
    1015           0 :     in49 = GF_ADD( in49, in57 );                \
    1016           0 :     in41 = GF_ADD( in41, in57 );                \
    1017           0 :     in25 = GF_ADD( in25, in57 );                \
    1018           0 :     in57 = gf_zero();                           \
    1019           0 :     in58 = GF_MUL( in58, 159 );                 \
    1020           0 :     in56 = GF_ADD( in56, in58 );                \
    1021           0 :     in50 = GF_ADD( in50, in58 );                \
    1022           0 :     in42 = GF_ADD( in42, in58 );                \
    1023           0 :     in26 = GF_ADD( in26, in58 );                \
    1024           0 :     in58 = gf_zero();                           \
    1025           0 :     in59 = GF_MUL( in59, 159 );                 \
    1026           0 :     in58 = GF_ADD( in58, in59 );                \
    1027           0 :     in57 = GF_ADD( in57, in59 );                \
    1028           0 :     in51 = GF_ADD( in51, in59 );                \
    1029           0 :     in43 = GF_ADD( in43, in59 );                \
    1030           0 :     in27 = GF_ADD( in27, in59 );                \
    1031           0 :     in59 = gf_zero();                           \
    1032           0 :     in60 = GF_MUL( in60, 60 );                  \
    1033           0 :     in56 = GF_ADD( in56, in60 );                \
    1034           0 :     in52 = GF_ADD( in52, in60 );                \
    1035           0 :     in44 = GF_ADD( in44, in60 );                \
    1036           0 :     in28 = GF_ADD( in28, in60 );                \
    1037           0 :     in60 = gf_zero();                           \
    1038           0 :     in61 = GF_MUL( in61, 60 );                  \
    1039           0 :     in60 = GF_ADD( in60, in61 );                \
    1040           0 :     in57 = GF_ADD( in57, in61 );                \
    1041           0 :     in53 = GF_ADD( in53, in61 );                \
    1042           0 :     in45 = GF_ADD( in45, in61 );                \
    1043           0 :     in29 = GF_ADD( in29, in61 );                \
    1044           0 :     in61 = gf_zero();                           \
    1045           0 :     in62 = GF_MUL( in62, 10 );                  \
    1046           0 :     in60 = GF_ADD( in60, in62 );                \
    1047           0 :     in58 = GF_ADD( in58, in62 );                \
    1048           0 :     in54 = GF_ADD( in54, in62 );                \
    1049           0 :     in46 = GF_ADD( in46, in62 );                \
    1050           0 :     in30 = GF_ADD( in30, in62 );                \
    1051           0 :     in62 = gf_zero();                           \
    1052           0 :     in63 = GF_MUL( in63, 10 );                  \
    1053           0 :     in62 = GF_ADD( in62, in63 );                \
    1054           0 :     in61 = GF_ADD( in61, in63 );                \
    1055           0 :     in59 = GF_ADD( in59, in63 );                \
    1056           0 :     in55 = GF_ADD( in55, in63 );                \
    1057           0 :     in47 = GF_ADD( in47, in63 );                \
    1058           0 :     in31 = GF_ADD( in31, in63 );                \
    1059           0 :     in63 = gf_zero();                           \
    1060           0 :     in64 = GF_MUL( in64, 232 );                 \
    1061           0 :     in00 = GF_ADD( in00, in64 );                \
    1062           0 :     in64 = gf_zero();                           \
    1063           0 :     in65 = GF_MUL( in65, 232 );                 \
    1064           0 :     in64 = GF_ADD( in64, in65 );                \
    1065           0 :     in01 = GF_ADD( in01, in65 );                \
    1066           0 :     in65 = gf_zero();                           \
    1067           0 :     in66 = GF_MUL( in66, 44 );                  \
    1068           0 :     in64 = GF_ADD( in64, in66 );                \
    1069           0 :     in02 = GF_ADD( in02, in66 );                \
    1070           0 :     in66 = gf_zero();                           \
    1071           0 :     in67 = GF_MUL( in67, 44 );                  \
    1072           0 :     in66 = GF_ADD( in66, in67 );                \
    1073           0 :     in65 = GF_ADD( in65, in67 );                \
    1074           0 :     in03 = GF_ADD( in03, in67 );                \
    1075           0 :     in67 = gf_zero();                           \
    1076           0 :     in68 = GF_MUL( in68, 76 );                  \
    1077           0 :     in64 = GF_ADD( in64, in68 );                \
    1078           0 :     in04 = GF_ADD( in04, in68 );                \
    1079           0 :     in68 = gf_zero();                           \
    1080           0 :     in69 = GF_MUL( in69, 76 );                  \
    1081           0 :     in68 = GF_ADD( in68, in69 );                \
    1082           0 :     in65 = GF_ADD( in65, in69 );                \
    1083           0 :     in05 = GF_ADD( in05, in69 );                \
    1084           0 :     in69 = gf_zero();                           \
    1085           0 :     in70 = GF_MUL( in70, 233 );                 \
    1086           0 :     in68 = GF_ADD( in68, in70 );                \
    1087           0 :     in66 = GF_ADD( in66, in70 );                \
    1088           0 :     in06 = GF_ADD( in06, in70 );                \
    1089           0 :     in70 = gf_zero();                           \
    1090           0 :     in71 = GF_MUL( in71, 233 );                 \
    1091           0 :     in70 = GF_ADD( in70, in71 );                \
    1092           0 :     in69 = GF_ADD( in69, in71 );                \
    1093           0 :     in67 = GF_ADD( in67, in71 );                \
    1094           0 :     in07 = GF_ADD( in07, in71 );                \
    1095           0 :     in71 = gf_zero();                           \
    1096           0 :     in72 = GF_MUL( in72, 183 );                 \
    1097           0 :     in64 = GF_ADD( in64, in72 );                \
    1098           0 :     in08 = GF_ADD( in08, in72 );                \
    1099           0 :     in72 = gf_zero();                           \
    1100           0 :     in73 = GF_MUL( in73, 183 );                 \
    1101           0 :     in72 = GF_ADD( in72, in73 );                \
    1102           0 :     in65 = GF_ADD( in65, in73 );                \
    1103           0 :     in09 = GF_ADD( in09, in73 );                \
    1104           0 :     in73 = gf_zero();                           \
    1105           0 :     in74 = GF_MUL( in74, 184 );                 \
    1106           0 :     in72 = GF_ADD( in72, in74 );                \
    1107           0 :     in66 = GF_ADD( in66, in74 );                \
    1108           0 :     in10 = GF_ADD( in10, in74 );                \
    1109           0 :     in74 = gf_zero();                           \
    1110           0 :     in75 = GF_MUL( in75, 184 );                 \
    1111           0 :     in74 = GF_ADD( in74, in75 );                \
    1112           0 :     in73 = GF_ADD( in73, in75 );                \
    1113           0 :     in67 = GF_ADD( in67, in75 );                \
    1114           0 :     in11 = GF_ADD( in11, in75 );                \
    1115           0 :     in75 = gf_zero();                           \
    1116           0 :     in76 = GF_MUL( in76, 99 );                  \
    1117           0 :     in72 = GF_ADD( in72, in76 );                \
    1118           0 :     in68 = GF_ADD( in68, in76 );                \
    1119           0 :     in12 = GF_ADD( in12, in76 );                \
    1120           0 :     in76 = gf_zero();                           \
    1121           0 :     in77 = GF_MUL( in77, 99 );                  \
    1122           0 :     in76 = GF_ADD( in76, in77 );                \
    1123           0 :     in73 = GF_ADD( in73, in77 );                \
    1124           0 :     in69 = GF_ADD( in69, in77 );                \
    1125           0 :     in13 = GF_ADD( in13, in77 );                \
    1126           0 :     in77 = gf_zero();                           \
    1127           0 :     in78 = GF_MUL( in78, 158 );                 \
    1128           0 :     in76 = GF_ADD( in76, in78 );                \
    1129           0 :     in74 = GF_ADD( in74, in78 );                \
    1130           0 :     in70 = GF_ADD( in70, in78 );                \
    1131           0 :     in14 = GF_ADD( in14, in78 );                \
    1132           0 :     in78 = gf_zero();                           \
    1133           0 :     in79 = GF_MUL( in79, 158 );                 \
    1134           0 :     in78 = GF_ADD( in78, in79 );                \
    1135           0 :     in77 = GF_ADD( in77, in79 );                \
    1136           0 :     in75 = GF_ADD( in75, in79 );                \
    1137           0 :     in71 = GF_ADD( in71, in79 );                \
    1138           0 :     in15 = GF_ADD( in15, in79 );                \
    1139           0 :     in79 = gf_zero();                           \
    1140           0 :     in80 = GF_MUL( in80, 151 );                 \
    1141           0 :     in64 = GF_ADD( in64, in80 );                \
    1142           0 :     in16 = GF_ADD( in16, in80 );                \
    1143           0 :     in80 = gf_zero();                           \
    1144           0 :     in81 = GF_MUL( in81, 151 );                 \
    1145           0 :     in80 = GF_ADD( in80, in81 );                \
    1146           0 :     in65 = GF_ADD( in65, in81 );                \
    1147           0 :     in17 = GF_ADD( in17, in81 );                \
    1148           0 :     in81 = gf_zero();                           \
    1149           0 :     in82 = GF_MUL( in82, 67 );                  \
    1150           0 :     in80 = GF_ADD( in80, in82 );                \
    1151           0 :     in66 = GF_ADD( in66, in82 );                \
    1152           0 :     in18 = GF_ADD( in18, in82 );                \
    1153           0 :     in82 = gf_zero();                           \
    1154           0 :     in83 = GF_MUL( in83, 67 );                  \
    1155           0 :     in82 = GF_ADD( in82, in83 );                \
    1156           0 :     in81 = GF_ADD( in81, in83 );                \
    1157           0 :     in67 = GF_ADD( in67, in83 );                \
    1158           0 :     in19 = GF_ADD( in19, in83 );                \
    1159           0 :     in83 = gf_zero();                           \
    1160           0 :     in84 = GF_MUL( in84, 23 );                  \
    1161           0 :     in80 = GF_ADD( in80, in84 );                \
    1162           0 :     in68 = GF_ADD( in68, in84 );                \
    1163           0 :     in20 = GF_ADD( in20, in84 );                \
    1164           0 :     in84 = gf_zero();                           \
    1165           0 :     in85 = GF_MUL( in85, 23 );                  \
    1166           0 :     in84 = GF_ADD( in84, in85 );                \
    1167           0 :     in81 = GF_ADD( in81, in85 );                \
    1168           0 :     in69 = GF_ADD( in69, in85 );                \
    1169           0 :     in21 = GF_ADD( in21, in85 );                \
    1170           0 :     in85 = gf_zero();                           \
    1171           0 :     in86 = GF_MUL( in86, 136 );                 \
    1172           0 :     in84 = GF_ADD( in84, in86 );                \
    1173           0 :     in82 = GF_ADD( in82, in86 );                \
    1174           0 :     in70 = GF_ADD( in70, in86 );                \
    1175           0 :     in22 = GF_ADD( in22, in86 );                \
    1176           0 :     in86 = gf_zero();                           \
    1177           0 :     in87 = GF_MUL( in87, 136 );                 \
    1178           0 :     in86 = GF_ADD( in86, in87 );                \
    1179           0 :     in85 = GF_ADD( in85, in87 );                \
    1180           0 :     in83 = GF_ADD( in83, in87 );                \
    1181           0 :     in71 = GF_ADD( in71, in87 );                \
    1182           0 :     in23 = GF_ADD( in23, in87 );                \
    1183           0 :     in87 = gf_zero();                           \
    1184           0 :     in88 = GF_MUL( in88, 76 );                  \
    1185           0 :     in80 = GF_ADD( in80, in88 );                \
    1186           0 :     in72 = GF_ADD( in72, in88 );                \
    1187           0 :     in24 = GF_ADD( in24, in88 );                \
    1188           0 :     in88 = gf_zero();                           \
    1189           0 :     in89 = GF_MUL( in89, 76 );                  \
    1190           0 :     in88 = GF_ADD( in88, in89 );                \
    1191           0 :     in81 = GF_ADD( in81, in89 );                \
    1192           0 :     in73 = GF_ADD( in73, in89 );                \
    1193           0 :     in25 = GF_ADD( in25, in89 );                \
    1194           0 :     in89 = gf_zero();                           \
    1195           0 :     in90 = GF_MUL( in90, 233 );                 \
    1196           0 :     in88 = GF_ADD( in88, in90 );                \
    1197           0 :     in82 = GF_ADD( in82, in90 );                \
    1198           0 :     in74 = GF_ADD( in74, in90 );                \
    1199           0 :     in26 = GF_ADD( in26, in90 );                \
    1200           0 :     in90 = gf_zero();                           \
    1201           0 :     in91 = GF_MUL( in91, 233 );                 \
    1202           0 :     in90 = GF_ADD( in90, in91 );                \
    1203           0 :     in89 = GF_ADD( in89, in91 );                \
    1204           0 :     in83 = GF_ADD( in83, in91 );                \
    1205           0 :     in75 = GF_ADD( in75, in91 );                \
    1206           0 :     in27 = GF_ADD( in27, in91 );                \
    1207           0 :     in91 = gf_zero();                           \
    1208           0 :     in92 = GF_MUL( in92, 117 );                 \
    1209           0 :     in88 = GF_ADD( in88, in92 );                \
    1210           0 :     in84 = GF_ADD( in84, in92 );                \
    1211           0 :     in76 = GF_ADD( in76, in92 );                \
    1212           0 :     in28 = GF_ADD( in28, in92 );                \
    1213           0 :     in92 = gf_zero();                           \
    1214           0 :     in93 = GF_MUL( in93, 117 );                 \
    1215           0 :     in92 = GF_ADD( in92, in93 );                \
    1216           0 :     in89 = GF_ADD( in89, in93 );                \
    1217           0 :     in85 = GF_ADD( in85, in93 );                \
    1218           0 :     in77 = GF_ADD( in77, in93 );                \
    1219           0 :     in29 = GF_ADD( in29, in93 );                \
    1220           0 :     in93 = gf_zero();                           \
    1221           0 :     in94 = GF_MUL( in94, 108 );                 \
    1222           0 :     in92 = GF_ADD( in92, in94 );                \
    1223           0 :     in90 = GF_ADD( in90, in94 );                \
    1224           0 :     in86 = GF_ADD( in86, in94 );                \
    1225           0 :     in78 = GF_ADD( in78, in94 );                \
    1226           0 :     in30 = GF_ADD( in30, in94 );                \
    1227           0 :     in94 = gf_zero();                           \
    1228           0 :     in95 = GF_MUL( in95, 108 );                 \
    1229           0 :     in94 = GF_ADD( in94, in95 );                \
    1230           0 :     in93 = GF_ADD( in93, in95 );                \
    1231           0 :     in91 = GF_ADD( in91, in95 );                \
    1232           0 :     in87 = GF_ADD( in87, in95 );                \
    1233           0 :     in79 = GF_ADD( in79, in95 );                \
    1234           0 :     in31 = GF_ADD( in31, in95 );                \
    1235           0 :     in95 = gf_zero();                           \
    1236           0 :     in96 = GF_MUL( in96, 120 );                 \
    1237           0 :     in64 = GF_ADD( in64, in96 );                \
    1238           0 :     in32 = GF_ADD( in32, in96 );                \
    1239           0 :     in96 = gf_zero();                           \
    1240           0 :     in97 = GF_MUL( in97, 120 );                 \
    1241           0 :     in96 = GF_ADD( in96, in97 );                \
    1242           0 :     in65 = GF_ADD( in65, in97 );                \
    1243           0 :     in33 = GF_ADD( in33, in97 );                \
    1244           0 :     in97 = gf_zero();                           \
    1245           0 :     in98 = GF_MUL( in98, 20 );                  \
    1246           0 :     in96 = GF_ADD( in96, in98 );                \
    1247           0 :     in66 = GF_ADD( in66, in98 );                \
    1248           0 :     in34 = GF_ADD( in34, in98 );                \
    1249           0 :     in98 = gf_zero();                           \
    1250           0 :     in99 = GF_MUL( in99, 20 );                  \
    1251           0 :     in98 = GF_ADD( in98, in99 );                \
    1252           0 :     in97 = GF_ADD( in97, in99 );                \
    1253           0 :     in67 = GF_ADD( in67, in99 );                \
    1254           0 :     in35 = GF_ADD( in35, in99 );                \
    1255           0 :     in99 = gf_zero();                           \
    1256           0 :     in100 = GF_MUL( in100, 187 );               \
    1257           0 :     in96 = GF_ADD( in96, in100 );               \
    1258           0 :     in68 = GF_ADD( in68, in100 );               \
    1259           0 :     in36 = GF_ADD( in36, in100 );               \
    1260           0 :     in100 = gf_zero();                          \
    1261           0 :     in101 = GF_MUL( in101, 187 );               \
    1262           0 :     in100 = GF_ADD( in100, in101 );             \
    1263           0 :     in97 = GF_ADD( in97, in101 );               \
    1264           0 :     in69 = GF_ADD( in69, in101 );               \
    1265           0 :     in37 = GF_ADD( in37, in101 );               \
    1266           0 :     in101 = gf_zero();                          \
    1267           0 :     in102 = GF_MUL( in102, 186 );               \
    1268           0 :     in100 = GF_ADD( in100, in102 );             \
    1269           0 :     in98 = GF_ADD( in98, in102 );               \
    1270           0 :     in70 = GF_ADD( in70, in102 );               \
    1271           0 :     in38 = GF_ADD( in38, in102 );               \
    1272           0 :     in102 = gf_zero();                          \
    1273           0 :     in103 = GF_MUL( in103, 186 );               \
    1274           0 :     in102 = GF_ADD( in102, in103 );             \
    1275           0 :     in101 = GF_ADD( in101, in103 );             \
    1276           0 :     in99 = GF_ADD( in99, in103 );               \
    1277           0 :     in71 = GF_ADD( in71, in103 );               \
    1278           0 :     in39 = GF_ADD( in39, in103 );               \
    1279           0 :     in103 = gf_zero();                          \
    1280           0 :     in104 = GF_MUL( in104, 36 );                \
    1281           0 :     in96 = GF_ADD( in96, in104 );               \
    1282           0 :     in72 = GF_ADD( in72, in104 );               \
    1283           0 :     in40 = GF_ADD( in40, in104 );               \
    1284           0 :     in104 = gf_zero();                          \
    1285           0 :     in105 = GF_MUL( in105, 36 );                \
    1286           0 :     in104 = GF_ADD( in104, in105 );             \
    1287           0 :     in97 = GF_ADD( in97, in105 );               \
    1288           0 :     in73 = GF_ADD( in73, in105 );               \
    1289           0 :     in41 = GF_ADD( in41, in105 );               \
    1290           0 :     in105 = gf_zero();                          \
    1291           0 :     in106 = GF_MUL( in106, 14 );                \
    1292           0 :     in104 = GF_ADD( in104, in106 );             \
    1293           0 :     in98 = GF_ADD( in98, in106 );               \
    1294           0 :     in74 = GF_ADD( in74, in106 );               \
    1295           0 :     in42 = GF_ADD( in42, in106 );               \
    1296           0 :     in106 = gf_zero();                          \
    1297           0 :     in107 = GF_MUL( in107, 14 );                \
    1298           0 :     in106 = GF_ADD( in106, in107 );             \
    1299           0 :     in105 = GF_ADD( in105, in107 );             \
    1300           0 :     in99 = GF_ADD( in99, in107 );               \
    1301           0 :     in75 = GF_ADD( in75, in107 );               \
    1302           0 :     in43 = GF_ADD( in43, in107 );               \
    1303           0 :     in107 = gf_zero();                          \
    1304           0 :     in108 = GF_MUL( in108, 244 );               \
    1305           0 :     in104 = GF_ADD( in104, in108 );             \
    1306           0 :     in100 = GF_ADD( in100, in108 );             \
    1307           0 :     in76 = GF_ADD( in76, in108 );               \
    1308           0 :     in44 = GF_ADD( in44, in108 );               \
    1309           0 :     in108 = gf_zero();                          \
    1310           0 :     in109 = GF_MUL( in109, 244 );               \
    1311           0 :     in108 = GF_ADD( in108, in109 );             \
    1312           0 :     in105 = GF_ADD( in105, in109 );             \
    1313           0 :     in101 = GF_ADD( in101, in109 );             \
    1314           0 :     in77 = GF_ADD( in77, in109 );               \
    1315           0 :     in45 = GF_ADD( in45, in109 );               \
    1316           0 :     in109 = gf_zero();                          \
    1317           0 :     in110 = GF_MUL( in110, 221 );               \
    1318           0 :     in108 = GF_ADD( in108, in110 );             \
    1319           0 :     in106 = GF_ADD( in106, in110 );             \
    1320           0 :     in102 = GF_ADD( in102, in110 );             \
    1321           0 :     in78 = GF_ADD( in78, in110 );               \
    1322           0 :     in46 = GF_ADD( in46, in110 );               \
    1323           0 :     in110 = gf_zero();                          \
    1324           0 :     in111 = GF_MUL( in111, 221 );               \
    1325           0 :     in110 = GF_ADD( in110, in111 );             \
    1326           0 :     in109 = GF_ADD( in109, in111 );             \
    1327           0 :     in107 = GF_ADD( in107, in111 );             \
    1328           0 :     in103 = GF_ADD( in103, in111 );             \
    1329           0 :     in79 = GF_ADD( in79, in111 );               \
    1330           0 :     in47 = GF_ADD( in47, in111 );               \
    1331           0 :     in111 = gf_zero();                          \
    1332           0 :     in112 = GF_MUL( in112, 65 );                \
    1333           0 :     in96 = GF_ADD( in96, in112 );               \
    1334           0 :     in80 = GF_ADD( in80, in112 );               \
    1335           0 :     in48 = GF_ADD( in48, in112 );               \
    1336           0 :     in112 = gf_zero();                          \
    1337           0 :     in113 = GF_MUL( in113, 65 );                \
    1338           0 :     in112 = GF_ADD( in112, in113 );             \
    1339           0 :     in97 = GF_ADD( in97, in113 );               \
    1340           0 :     in81 = GF_ADD( in81, in113 );               \
    1341           0 :     in49 = GF_ADD( in49, in113 );               \
    1342           0 :     in113 = gf_zero();                          \
    1343           0 :     in114 = GF_MUL( in114, 145 );               \
    1344           0 :     in112 = GF_ADD( in112, in114 );             \
    1345           0 :     in98 = GF_ADD( in98, in114 );               \
    1346           0 :     in82 = GF_ADD( in82, in114 );               \
    1347           0 :     in50 = GF_ADD( in50, in114 );               \
    1348           0 :     in114 = gf_zero();                          \
    1349           0 :     in115 = GF_MUL( in115, 145 );               \
    1350           0 :     in114 = GF_ADD( in114, in115 );             \
    1351           0 :     in113 = GF_ADD( in113, in115 );             \
    1352           0 :     in99 = GF_ADD( in99, in115 );               \
    1353           0 :     in83 = GF_ADD( in83, in115 );               \
    1354           0 :     in51 = GF_ADD( in51, in115 );               \
    1355           0 :     in115 = gf_zero();                          \
    1356           0 :     in116 = GF_MUL( in116, 200 );               \
    1357           0 :     in112 = GF_ADD( in112, in116 );             \
    1358           0 :     in100 = GF_ADD( in100, in116 );             \
    1359           0 :     in84 = GF_ADD( in84, in116 );               \
    1360           0 :     in52 = GF_ADD( in52, in116 );               \
    1361           0 :     in116 = gf_zero();                          \
    1362           0 :     in117 = GF_MUL( in117, 200 );               \
    1363           0 :     in116 = GF_ADD( in116, in117 );             \
    1364           0 :     in113 = GF_ADD( in113, in117 );             \
    1365           0 :     in101 = GF_ADD( in101, in117 );             \
    1366           0 :     in85 = GF_ADD( in85, in117 );               \
    1367           0 :     in53 = GF_ADD( in53, in117 );               \
    1368           0 :     in117 = gf_zero();                          \
    1369           0 :     in118 = GF_MUL( in118, 215 );               \
    1370           0 :     in116 = GF_ADD( in116, in118 );             \
    1371           0 :     in114 = GF_ADD( in114, in118 );             \
    1372           0 :     in102 = GF_ADD( in102, in118 );             \
    1373           0 :     in86 = GF_ADD( in86, in118 );               \
    1374           0 :     in54 = GF_ADD( in54, in118 );               \
    1375           0 :     in118 = gf_zero();                          \
    1376           0 :     in119 = GF_MUL( in119, 215 );               \
    1377           0 :     in118 = GF_ADD( in118, in119 );             \
    1378           0 :     in117 = GF_ADD( in117, in119 );             \
    1379           0 :     in115 = GF_ADD( in115, in119 );             \
    1380           0 :     in103 = GF_ADD( in103, in119 );             \
    1381           0 :     in87 = GF_ADD( in87, in119 );               \
    1382           0 :     in55 = GF_ADD( in55, in119 );               \
    1383           0 :     in119 = gf_zero();                          \
    1384           0 :     in120 = GF_MUL( in120, 187 );               \
    1385           0 :     in112 = GF_ADD( in112, in120 );             \
    1386           0 :     in104 = GF_ADD( in104, in120 );             \
    1387           0 :     in88 = GF_ADD( in88, in120 );               \
    1388           0 :     in56 = GF_ADD( in56, in120 );               \
    1389           0 :     in120 = gf_zero();                          \
    1390           0 :     in121 = GF_MUL( in121, 187 );               \
    1391           0 :     in120 = GF_ADD( in120, in121 );             \
    1392           0 :     in113 = GF_ADD( in113, in121 );             \
    1393           0 :     in105 = GF_ADD( in105, in121 );             \
    1394           0 :     in89 = GF_ADD( in89, in121 );               \
    1395           0 :     in57 = GF_ADD( in57, in121 );               \
    1396           0 :     in121 = gf_zero();                          \
    1397           0 :     in122 = GF_MUL( in122, 186 );               \
    1398           0 :     in120 = GF_ADD( in120, in122 );             \
    1399           0 :     in114 = GF_ADD( in114, in122 );             \
    1400           0 :     in106 = GF_ADD( in106, in122 );             \
    1401           0 :     in90 = GF_ADD( in90, in122 );               \
    1402           0 :     in58 = GF_ADD( in58, in122 );               \
    1403           0 :     in122 = gf_zero();                          \
    1404           0 :     in123 = GF_MUL( in123, 186 );               \
    1405           0 :     in122 = GF_ADD( in122, in123 );             \
    1406           0 :     in121 = GF_ADD( in121, in123 );             \
    1407           0 :     in115 = GF_ADD( in115, in123 );             \
    1408           0 :     in107 = GF_ADD( in107, in123 );             \
    1409           0 :     in91 = GF_ADD( in91, in123 );               \
    1410           0 :     in59 = GF_ADD( in59, in123 );               \
    1411           0 :     in123 = gf_zero();                          \
    1412           0 :     in124 = GF_MUL( in124, 254 );               \
    1413           0 :     in120 = GF_ADD( in120, in124 );             \
    1414           0 :     in116 = GF_ADD( in116, in124 );             \
    1415           0 :     in108 = GF_ADD( in108, in124 );             \
    1416           0 :     in92 = GF_ADD( in92, in124 );               \
    1417           0 :     in60 = GF_ADD( in60, in124 );               \
    1418           0 :     in124 = gf_zero();                          \
    1419           0 :     in125 = GF_MUL( in125, 254 );               \
    1420           0 :     in124 = GF_ADD( in124, in125 );             \
    1421           0 :     in121 = GF_ADD( in121, in125 );             \
    1422           0 :     in117 = GF_ADD( in117, in125 );             \
    1423           0 :     in109 = GF_ADD( in109, in125 );             \
    1424           0 :     in93 = GF_ADD( in93, in125 );               \
    1425           0 :     in61 = GF_ADD( in61, in125 );               \
    1426           0 :     in125 = gf_zero();                          \
    1427           0 :     in126 = GF_MUL( in126, 222 );               \
    1428           0 :     in124 = GF_ADD( in124, in126 );             \
    1429           0 :     in122 = GF_ADD( in122, in126 );             \
    1430           0 :     in118 = GF_ADD( in118, in126 );             \
    1431           0 :     in110 = GF_ADD( in110, in126 );             \
    1432           0 :     in94 = GF_ADD( in94, in126 );               \
    1433           0 :     in62 = GF_ADD( in62, in126 );               \
    1434           0 :     in126 = gf_zero();                          \
    1435           0 :     in127 = GF_MUL( in127, 222 );               \
    1436           0 :     in126 = GF_ADD( in126, in127 );             \
    1437           0 :     in125 = GF_ADD( in125, in127 );             \
    1438           0 :     in123 = GF_ADD( in123, in127 );             \
    1439           0 :     in119 = GF_ADD( in119, in127 );             \
    1440           0 :     in111 = GF_ADD( in111, in127 );             \
    1441           0 :     in95 = GF_ADD( in95, in127 );               \
    1442           0 :     in63 = GF_ADD( in63, in127 );               \
    1443           0 :     in127 = gf_zero();                          \
    1444           0 :     in00 = GF_MUL( in00, 1 );                   \
    1445           0 :     in01 = GF_MUL( in01, 1 );                   \
    1446           0 :     in02 = GF_MUL( in02, 6 );                   \
    1447           0 :     in03 = GF_MUL( in03, 6 );                   \
    1448           0 :     in04 = GF_MUL( in04, 108 );                 \
    1449           0 :     in05 = GF_MUL( in05, 108 );                 \
    1450           0 :     in06 = GF_MUL( in06, 117 );                 \
    1451           0 :     in07 = GF_MUL( in07, 117 );                 \
    1452           0 :     in08 = GF_MUL( in08, 208 );                 \
    1453           0 :     in09 = GF_MUL( in09, 208 );                 \
    1454           0 :     in10 = GF_MUL( in10, 218 );                 \
    1455           0 :     in11 = GF_MUL( in11, 218 );                 \
    1456           0 :     in12 = GF_MUL( in12, 136 );                 \
    1457           0 :     in13 = GF_MUL( in13, 136 );                 \
    1458           0 :     in14 = GF_MUL( in14, 23 );                  \
    1459           0 :     in15 = GF_MUL( in15, 23 );                  \
    1460           0 :     in16 = GF_MUL( in16, 42 );                  \
    1461           0 :     in17 = GF_MUL( in17, 42 );                  \
    1462           0 :     in18 = GF_MUL( in18, 252 );                 \
    1463           0 :     in19 = GF_MUL( in19, 252 );                 \
    1464           0 :     in20 = GF_MUL( in20, 158 );                 \
    1465           0 :     in21 = GF_MUL( in21, 158 );                 \
    1466           0 :     in22 = GF_MUL( in22, 99 );                  \
    1467           0 :     in23 = GF_MUL( in23, 99 );                  \
    1468           0 :     in24 = GF_MUL( in24, 108 );                 \
    1469           0 :     in25 = GF_MUL( in25, 108 );                 \
    1470           0 :     in26 = GF_MUL( in26, 117 );                 \
    1471           0 :     in27 = GF_MUL( in27, 117 );                 \
    1472           0 :     in28 = GF_MUL( in28, 233 );                 \
    1473           0 :     in29 = GF_MUL( in29, 233 );                 \
    1474           0 :     in30 = GF_MUL( in30, 76 );                  \
    1475           0 :     in31 = GF_MUL( in31, 76 );                  \
    1476           0 :     in32 = GF_MUL( in32, 165 );                 \
    1477           0 :     in33 = GF_MUL( in33, 165 );                 \
    1478           0 :     in34 = GF_MUL( in34, 249 );                 \
    1479           0 :     in35 = GF_MUL( in35, 249 );                 \
    1480           0 :     in36 = GF_MUL( in36, 196 );                 \
    1481           0 :     in37 = GF_MUL( in37, 196 );                 \
    1482           0 :     in38 = GF_MUL( in38, 162 );                 \
    1483           0 :     in39 = GF_MUL( in39, 162 );                 \
    1484           0 :     in40 = GF_MUL( in40, 212 );                 \
    1485           0 :     in41 = GF_MUL( in41, 212 );                 \
    1486           0 :     in42 = GF_MUL( in42, 194 );                 \
    1487           0 :     in43 = GF_MUL( in43, 194 );                 \
    1488           0 :     in44 = GF_MUL( in44, 37 );                  \
    1489           0 :     in45 = GF_MUL( in45, 37 );                  \
    1490           0 :     in46 = GF_MUL( in46, 222 );                 \
    1491           0 :     in47 = GF_MUL( in47, 222 );                 \
    1492           0 :     in48 = GF_MUL( in48, 15 );                  \
    1493           0 :     in49 = GF_MUL( in49, 15 );                  \
    1494           0 :     in50 = GF_MUL( in50, 34 );                  \
    1495           0 :     in51 = GF_MUL( in51, 34 );                  \
    1496           0 :     in52 = GF_MUL( in52, 94 );                  \
    1497           0 :     in53 = GF_MUL( in53, 94 );                  \
    1498           0 :     in54 = GF_MUL( in54, 217 );                 \
    1499           0 :     in55 = GF_MUL( in55, 217 );                 \
    1500           0 :     in56 = GF_MUL( in56, 196 );                 \
    1501           0 :     in57 = GF_MUL( in57, 196 );                 \
    1502           0 :     in58 = GF_MUL( in58, 162 );                 \
    1503           0 :     in59 = GF_MUL( in59, 162 );                 \
    1504           0 :     in60 = GF_MUL( in60, 171 );                 \
    1505           0 :     in61 = GF_MUL( in61, 171 );                 \
    1506           0 :     in62 = GF_MUL( in62, 221 );                 \
    1507           0 :     in63 = GF_MUL( in63, 221 );                 \
    1508           0 :     in64 = GF_MUL( in64, 250 );                 \
    1509           0 :     in65 = GF_MUL( in65, 250 );                 \
    1510           0 :     in66 = GF_MUL( in66, 38 );                  \
    1511           0 :     in67 = GF_MUL( in67, 38 );                  \
    1512           0 :     in68 = GF_MUL( in68, 22 );                  \
    1513           0 :     in69 = GF_MUL( in69, 22 );                  \
    1514           0 :     in70 = GF_MUL( in70, 116 );                 \
    1515           0 :     in71 = GF_MUL( in71, 116 );                 \
    1516           0 :     in72 = GF_MUL( in72, 175 );                 \
    1517           0 :     in73 = GF_MUL( in73, 175 );                 \
    1518           0 :     in74 = GF_MUL( in74, 197 );                 \
    1519           0 :     in75 = GF_MUL( in75, 197 );                 \
    1520           0 :     in76 = GF_MUL( in76, 91 );                  \
    1521           0 :     in77 = GF_MUL( in77, 91 );                  \
    1522           0 :     in78 = GF_MUL( in78, 199 );                 \
    1523           0 :     in79 = GF_MUL( in79, 199 );                 \
    1524           0 :     in80 = GF_MUL( in80, 92 );                  \
    1525           0 :     in81 = GF_MUL( in81, 92 );                  \
    1526           0 :     in82 = GF_MUL( in82, 213 );                 \
    1527           0 :     in83 = GF_MUL( in83, 213 );                 \
    1528           0 :     in84 = GF_MUL( in84, 102 );                 \
    1529           0 :     in85 = GF_MUL( in85, 102 );                 \
    1530           0 :     in86 = GF_MUL( in86, 73 );                  \
    1531           0 :     in87 = GF_MUL( in87, 73 );                  \
    1532           0 :     in88 = GF_MUL( in88, 22 );                  \
    1533           0 :     in89 = GF_MUL( in89, 22 );                  \
    1534           0 :     in90 = GF_MUL( in90, 116 );                 \
    1535           0 :     in91 = GF_MUL( in91, 116 );                 \
    1536           0 :     in92 = GF_MUL( in92, 251 );                 \
    1537           0 :     in93 = GF_MUL( in93, 251 );                 \
    1538           0 :     in94 = GF_MUL( in94, 32 );                  \
    1539           0 :     in95 = GF_MUL( in95, 32 );                  \
    1540           0 :     in96 = GF_MUL( in96, 219 );                 \
    1541           0 :     in97 = GF_MUL( in97, 219 );                 \
    1542           0 :     in98 = GF_MUL( in98, 224 );                 \
    1543           0 :     in99 = GF_MUL( in99, 224 );                 \
    1544           0 :     in100 = GF_MUL( in100, 123 );               \
    1545           0 :     in101 = GF_MUL( in101, 123 );               \
    1546           0 :     in102 = GF_MUL( in102, 7 );                 \
    1547           0 :     in103 = GF_MUL( in103, 7 );                 \
    1548           0 :     in104 = GF_MUL( in104, 96 );                \
    1549           0 :     in105 = GF_MUL( in105, 96 );                \
    1550           0 :     in106 = GF_MUL( in106, 93 );                \
    1551           0 :     in107 = GF_MUL( in107, 93 );                \
    1552           0 :     in108 = GF_MUL( in108, 3 );                 \
    1553           0 :     in109 = GF_MUL( in109, 3 );                 \
    1554           0 :     in110 = GF_MUL( in110, 10 );                \
    1555           0 :     in111 = GF_MUL( in111, 10 );                \
    1556           0 :     in112 = GF_MUL( in112, 95 );                \
    1557           0 :     in113 = GF_MUL( in113, 95 );                \
    1558           0 :     in114 = GF_MUL( in114, 223 );               \
    1559           0 :     in115 = GF_MUL( in115, 223 );               \
    1560           0 :     in116 = GF_MUL( in116, 210 );               \
    1561           0 :     in117 = GF_MUL( in117, 210 );               \
    1562           0 :     in118 = GF_MUL( in118, 214 );               \
    1563           0 :     in119 = GF_MUL( in119, 214 );               \
    1564           0 :     in120 = GF_MUL( in120, 123 );               \
    1565           0 :     in121 = GF_MUL( in121, 123 );               \
    1566           0 :     in122 = GF_MUL( in122, 7 );                 \
    1567           0 :     in123 = GF_MUL( in123, 7 );                 \
    1568           0 :     in124 = GF_MUL( in124, 126 );               \
    1569           0 :     in125 = GF_MUL( in125, 126 );               \
    1570           0 :     in126 = GF_MUL( in126, 25 );                \
    1571           0 :     in127 = GF_MUL( in127, 25 );                \
    1572           0 :   } while( 0 )
    1573             : 
    1574             : #define FD_REEDSOL_FDERIV_IMPL_256( in00, in01, \
    1575             :     in02, in03, in04, in05, in06, in07, in08  , \
    1576             :     in09, in10, in11, in12, in13, in14, in15  , \
    1577             :     in16, in17, in18, in19, in20, in21, in22  , \
    1578             :     in23, in24, in25, in26, in27, in28, in29  , \
    1579             :     in30, in31, in32, in33, in34, in35, in36  , \
    1580             :     in37, in38, in39, in40, in41, in42, in43  , \
    1581             :     in44, in45, in46, in47, in48, in49, in50  , \
    1582             :     in51, in52, in53, in54, in55, in56, in57  , \
    1583             :     in58, in59, in60, in61, in62, in63, in64  , \
    1584             :     in65, in66, in67, in68, in69, in70, in71  , \
    1585             :     in72, in73, in74, in75, in76, in77, in78  , \
    1586             :     in79, in80, in81, in82, in83, in84, in85  , \
    1587             :     in86, in87, in88, in89, in90, in91, in92  , \
    1588             :     in93, in94, in95, in96, in97, in98, in99  , \
    1589             :     in100, in101, in102, in103, in104, in105  , \
    1590             :     in106, in107, in108, in109, in110, in111  , \
    1591             :     in112, in113, in114, in115, in116, in117  , \
    1592             :     in118, in119, in120, in121, in122, in123  , \
    1593             :     in124, in125, in126, in127, in128, in129  , \
    1594             :     in130, in131, in132, in133, in134, in135  , \
    1595             :     in136, in137, in138, in139, in140, in141  , \
    1596             :     in142, in143, in144, in145, in146, in147  , \
    1597             :     in148, in149, in150, in151, in152, in153  , \
    1598             :     in154, in155, in156, in157, in158, in159  , \
    1599             :     in160, in161, in162, in163, in164, in165  , \
    1600             :     in166, in167, in168, in169, in170, in171  , \
    1601             :     in172, in173, in174, in175, in176, in177  , \
    1602             :     in178, in179, in180, in181, in182, in183  , \
    1603             :     in184, in185, in186, in187, in188, in189  , \
    1604             :     in190, in191, in192, in193, in194, in195  , \
    1605             :     in196, in197, in198, in199, in200, in201  , \
    1606             :     in202, in203, in204, in205, in206, in207  , \
    1607             :     in208, in209, in210, in211, in212, in213  , \
    1608             :     in214, in215, in216, in217, in218, in219  , \
    1609             :     in220, in221, in222, in223, in224, in225  , \
    1610             :     in226, in227, in228, in229, in230, in231  , \
    1611             :     in232, in233, in234, in235, in236, in237  , \
    1612             :     in238, in239, in240, in241, in242, in243  , \
    1613             :     in244, in245, in246, in247, in248, in249  , \
    1614             :     in250, in251, in252, in253, in254, in255)   \
    1615           0 :   do {                                          \
    1616           0 :     in00 = GF_MUL( in00, 1 );                   \
    1617           0 :     in00 = gf_zero();                           \
    1618           0 :     in01 = GF_MUL( in01, 1 );                   \
    1619           0 :     in00 = GF_ADD( in00, in01 );                \
    1620           0 :     in01 = gf_zero();                           \
    1621           0 :     in02 = GF_MUL( in02, 122 );                 \
    1622           0 :     in00 = GF_ADD( in00, in02 );                \
    1623           0 :     in02 = gf_zero();                           \
    1624           0 :     in03 = GF_MUL( in03, 122 );                 \
    1625           0 :     in02 = GF_ADD( in02, in03 );                \
    1626           0 :     in01 = GF_ADD( in01, in03 );                \
    1627           0 :     in03 = gf_zero();                           \
    1628           0 :     in04 = GF_MUL( in04, 32 );                  \
    1629           0 :     in00 = GF_ADD( in00, in04 );                \
    1630           0 :     in04 = gf_zero();                           \
    1631           0 :     in05 = GF_MUL( in05, 32 );                  \
    1632           0 :     in04 = GF_ADD( in04, in05 );                \
    1633           0 :     in01 = GF_ADD( in01, in05 );                \
    1634           0 :     in05 = gf_zero();                           \
    1635           0 :     in06 = GF_MUL( in06, 251 );                 \
    1636           0 :     in04 = GF_ADD( in04, in06 );                \
    1637           0 :     in02 = GF_ADD( in02, in06 );                \
    1638           0 :     in06 = gf_zero();                           \
    1639           0 :     in07 = GF_MUL( in07, 251 );                 \
    1640           0 :     in06 = GF_ADD( in06, in07 );                \
    1641           0 :     in05 = GF_ADD( in05, in07 );                \
    1642           0 :     in03 = GF_ADD( in03, in07 );                \
    1643           0 :     in07 = gf_zero();                           \
    1644           0 :     in08 = GF_MUL( in08, 41 );                  \
    1645           0 :     in00 = GF_ADD( in00, in08 );                \
    1646           0 :     in08 = gf_zero();                           \
    1647           0 :     in09 = GF_MUL( in09, 41 );                  \
    1648           0 :     in08 = GF_ADD( in08, in09 );                \
    1649           0 :     in01 = GF_ADD( in01, in09 );                \
    1650           0 :     in09 = gf_zero();                           \
    1651           0 :     in10 = GF_MUL( in10, 118 );                 \
    1652           0 :     in08 = GF_ADD( in08, in10 );                \
    1653           0 :     in02 = GF_ADD( in02, in10 );                \
    1654           0 :     in10 = gf_zero();                           \
    1655           0 :     in11 = GF_MUL( in11, 118 );                 \
    1656           0 :     in10 = GF_ADD( in10, in11 );                \
    1657           0 :     in09 = GF_ADD( in09, in11 );                \
    1658           0 :     in03 = GF_ADD( in03, in11 );                \
    1659           0 :     in11 = gf_zero();                           \
    1660           0 :     in12 = GF_MUL( in12, 73 );                  \
    1661           0 :     in08 = GF_ADD( in08, in12 );                \
    1662           0 :     in04 = GF_ADD( in04, in12 );                \
    1663           0 :     in12 = gf_zero();                           \
    1664           0 :     in13 = GF_MUL( in13, 73 );                  \
    1665           0 :     in12 = GF_ADD( in12, in13 );                \
    1666           0 :     in09 = GF_ADD( in09, in13 );                \
    1667           0 :     in05 = GF_ADD( in05, in13 );                \
    1668           0 :     in13 = gf_zero();                           \
    1669           0 :     in14 = GF_MUL( in14, 102 );                 \
    1670           0 :     in12 = GF_ADD( in12, in14 );                \
    1671           0 :     in10 = GF_ADD( in10, in14 );                \
    1672           0 :     in06 = GF_ADD( in06, in14 );                \
    1673           0 :     in14 = gf_zero();                           \
    1674           0 :     in15 = GF_MUL( in15, 102 );                 \
    1675           0 :     in14 = GF_ADD( in14, in15 );                \
    1676           0 :     in13 = GF_ADD( in13, in15 );                \
    1677           0 :     in11 = GF_ADD( in11, in15 );                \
    1678           0 :     in07 = GF_ADD( in07, in15 );                \
    1679           0 :     in15 = gf_zero();                           \
    1680           0 :     in16 = GF_MUL( in16, 31 );                  \
    1681           0 :     in00 = GF_ADD( in00, in16 );                \
    1682           0 :     in16 = gf_zero();                           \
    1683           0 :     in17 = GF_MUL( in17, 31 );                  \
    1684           0 :     in16 = GF_ADD( in16, in17 );                \
    1685           0 :     in01 = GF_ADD( in01, in17 );                \
    1686           0 :     in17 = gf_zero();                           \
    1687           0 :     in18 = GF_MUL( in18, 127 );                 \
    1688           0 :     in16 = GF_ADD( in16, in18 );                \
    1689           0 :     in02 = GF_ADD( in02, in18 );                \
    1690           0 :     in18 = gf_zero();                           \
    1691           0 :     in19 = GF_MUL( in19, 127 );                 \
    1692           0 :     in18 = GF_ADD( in18, in19 );                \
    1693           0 :     in17 = GF_ADD( in17, in19 );                \
    1694           0 :     in03 = GF_ADD( in03, in19 );                \
    1695           0 :     in19 = gf_zero();                           \
    1696           0 :     in20 = GF_MUL( in20, 199 );                 \
    1697           0 :     in16 = GF_ADD( in16, in20 );                \
    1698           0 :     in04 = GF_ADD( in04, in20 );                \
    1699           0 :     in20 = gf_zero();                           \
    1700           0 :     in21 = GF_MUL( in21, 199 );                 \
    1701           0 :     in20 = GF_ADD( in20, in21 );                \
    1702           0 :     in17 = GF_ADD( in17, in21 );                \
    1703           0 :     in05 = GF_ADD( in05, in21 );                \
    1704           0 :     in21 = gf_zero();                           \
    1705           0 :     in22 = GF_MUL( in22, 91 );                  \
    1706           0 :     in20 = GF_ADD( in20, in22 );                \
    1707           0 :     in18 = GF_ADD( in18, in22 );                \
    1708           0 :     in06 = GF_ADD( in06, in22 );                \
    1709           0 :     in22 = gf_zero();                           \
    1710           0 :     in23 = GF_MUL( in23, 91 );                  \
    1711           0 :     in22 = GF_ADD( in22, in23 );                \
    1712           0 :     in21 = GF_ADD( in21, in23 );                \
    1713           0 :     in19 = GF_ADD( in19, in23 );                \
    1714           0 :     in07 = GF_ADD( in07, in23 );                \
    1715           0 :     in23 = gf_zero();                           \
    1716           0 :     in24 = GF_MUL( in24, 32 );                  \
    1717           0 :     in16 = GF_ADD( in16, in24 );                \
    1718           0 :     in08 = GF_ADD( in08, in24 );                \
    1719           0 :     in24 = gf_zero();                           \
    1720           0 :     in25 = GF_MUL( in25, 32 );                  \
    1721           0 :     in24 = GF_ADD( in24, in25 );                \
    1722           0 :     in17 = GF_ADD( in17, in25 );                \
    1723           0 :     in09 = GF_ADD( in09, in25 );                \
    1724           0 :     in25 = gf_zero();                           \
    1725           0 :     in26 = GF_MUL( in26, 251 );                 \
    1726           0 :     in24 = GF_ADD( in24, in26 );                \
    1727           0 :     in18 = GF_ADD( in18, in26 );                \
    1728           0 :     in10 = GF_ADD( in10, in26 );                \
    1729           0 :     in26 = gf_zero();                           \
    1730           0 :     in27 = GF_MUL( in27, 251 );                 \
    1731           0 :     in26 = GF_ADD( in26, in27 );                \
    1732           0 :     in25 = GF_ADD( in25, in27 );                \
    1733           0 :     in19 = GF_ADD( in19, in27 );                \
    1734           0 :     in11 = GF_ADD( in11, in27 );                \
    1735           0 :     in27 = gf_zero();                           \
    1736           0 :     in28 = GF_MUL( in28, 116 );                 \
    1737           0 :     in24 = GF_ADD( in24, in28 );                \
    1738           0 :     in20 = GF_ADD( in20, in28 );                \
    1739           0 :     in12 = GF_ADD( in12, in28 );                \
    1740           0 :     in28 = gf_zero();                           \
    1741           0 :     in29 = GF_MUL( in29, 116 );                 \
    1742           0 :     in28 = GF_ADD( in28, in29 );                \
    1743           0 :     in25 = GF_ADD( in25, in29 );                \
    1744           0 :     in21 = GF_ADD( in21, in29 );                \
    1745           0 :     in13 = GF_ADD( in13, in29 );                \
    1746           0 :     in29 = gf_zero();                           \
    1747           0 :     in30 = GF_MUL( in30, 22 );                  \
    1748           0 :     in28 = GF_ADD( in28, in30 );                \
    1749           0 :     in26 = GF_ADD( in26, in30 );                \
    1750           0 :     in22 = GF_ADD( in22, in30 );                \
    1751           0 :     in14 = GF_ADD( in14, in30 );                \
    1752           0 :     in30 = gf_zero();                           \
    1753           0 :     in31 = GF_MUL( in31, 22 );                  \
    1754           0 :     in30 = GF_ADD( in30, in31 );                \
    1755           0 :     in29 = GF_ADD( in29, in31 );                \
    1756           0 :     in27 = GF_ADD( in27, in31 );                \
    1757           0 :     in23 = GF_ADD( in23, in31 );                \
    1758           0 :     in15 = GF_ADD( in15, in31 );                \
    1759           0 :     in31 = gf_zero();                           \
    1760           0 :     in32 = GF_MUL( in32, 194 );                 \
    1761           0 :     in00 = GF_ADD( in00, in32 );                \
    1762           0 :     in32 = gf_zero();                           \
    1763           0 :     in33 = GF_MUL( in33, 194 );                 \
    1764           0 :     in32 = GF_ADD( in32, in33 );                \
    1765           0 :     in01 = GF_ADD( in01, in33 );                \
    1766           0 :     in33 = gf_zero();                           \
    1767           0 :     in34 = GF_MUL( in34, 212 );                 \
    1768           0 :     in32 = GF_ADD( in32, in34 );                \
    1769           0 :     in02 = GF_ADD( in02, in34 );                \
    1770           0 :     in34 = gf_zero();                           \
    1771           0 :     in35 = GF_MUL( in35, 212 );                 \
    1772           0 :     in34 = GF_ADD( in34, in35 );                \
    1773           0 :     in33 = GF_ADD( in33, in35 );                \
    1774           0 :     in03 = GF_ADD( in03, in35 );                \
    1775           0 :     in35 = gf_zero();                           \
    1776           0 :     in36 = GF_MUL( in36, 101 );                 \
    1777           0 :     in32 = GF_ADD( in32, in36 );                \
    1778           0 :     in04 = GF_ADD( in04, in36 );                \
    1779           0 :     in36 = gf_zero();                           \
    1780           0 :     in37 = GF_MUL( in37, 101 );                 \
    1781           0 :     in36 = GF_ADD( in36, in37 );                \
    1782           0 :     in33 = GF_ADD( in33, in37 );                \
    1783           0 :     in05 = GF_ADD( in05, in37 );                \
    1784           0 :     in37 = gf_zero();                           \
    1785           0 :     in38 = GF_MUL( in38, 159 );                 \
    1786           0 :     in36 = GF_ADD( in36, in38 );                \
    1787           0 :     in34 = GF_ADD( in34, in38 );                \
    1788           0 :     in06 = GF_ADD( in06, in38 );                \
    1789           0 :     in38 = gf_zero();                           \
    1790           0 :     in39 = GF_MUL( in39, 159 );                 \
    1791           0 :     in38 = GF_ADD( in38, in39 );                \
    1792           0 :     in37 = GF_ADD( in37, in39 );                \
    1793           0 :     in35 = GF_ADD( in35, in39 );                \
    1794           0 :     in07 = GF_ADD( in07, in39 );                \
    1795           0 :     in39 = gf_zero();                           \
    1796           0 :     in40 = GF_MUL( in40, 249 );                 \
    1797           0 :     in32 = GF_ADD( in32, in40 );                \
    1798           0 :     in08 = GF_ADD( in08, in40 );                \
    1799           0 :     in40 = gf_zero();                           \
    1800           0 :     in41 = GF_MUL( in41, 249 );                 \
    1801           0 :     in40 = GF_ADD( in40, in41 );                \
    1802           0 :     in33 = GF_ADD( in33, in41 );                \
    1803           0 :     in09 = GF_ADD( in09, in41 );                \
    1804           0 :     in41 = gf_zero();                           \
    1805           0 :     in42 = GF_MUL( in42, 165 );                 \
    1806           0 :     in40 = GF_ADD( in40, in42 );                \
    1807           0 :     in34 = GF_ADD( in34, in42 );                \
    1808           0 :     in10 = GF_ADD( in10, in42 );                \
    1809           0 :     in42 = gf_zero();                           \
    1810           0 :     in43 = GF_MUL( in43, 165 );                 \
    1811           0 :     in42 = GF_ADD( in42, in43 );                \
    1812           0 :     in41 = GF_ADD( in41, in43 );                \
    1813           0 :     in35 = GF_ADD( in35, in43 );                \
    1814           0 :     in11 = GF_ADD( in11, in43 );                \
    1815           0 :     in43 = gf_zero();                           \
    1816           0 :     in44 = GF_MUL( in44, 86 );                  \
    1817           0 :     in40 = GF_ADD( in40, in44 );                \
    1818           0 :     in36 = GF_ADD( in36, in44 );                \
    1819           0 :     in12 = GF_ADD( in12, in44 );                \
    1820           0 :     in44 = gf_zero();                           \
    1821           0 :     in45 = GF_MUL( in45, 86 );                  \
    1822           0 :     in44 = GF_ADD( in44, in45 );                \
    1823           0 :     in41 = GF_ADD( in41, in45 );                \
    1824           0 :     in37 = GF_ADD( in37, in45 );                \
    1825           0 :     in13 = GF_ADD( in13, in45 );                \
    1826           0 :     in45 = gf_zero();                           \
    1827           0 :     in46 = GF_MUL( in46, 25 );                  \
    1828           0 :     in44 = GF_ADD( in44, in46 );                \
    1829           0 :     in42 = GF_ADD( in42, in46 );                \
    1830           0 :     in38 = GF_ADD( in38, in46 );                \
    1831           0 :     in14 = GF_ADD( in14, in46 );                \
    1832           0 :     in46 = gf_zero();                           \
    1833           0 :     in47 = GF_MUL( in47, 25 );                  \
    1834           0 :     in46 = GF_ADD( in46, in47 );                \
    1835           0 :     in45 = GF_ADD( in45, in47 );                \
    1836           0 :     in43 = GF_ADD( in43, in47 );                \
    1837           0 :     in39 = GF_ADD( in39, in47 );                \
    1838           0 :     in15 = GF_ADD( in15, in47 );                \
    1839           0 :     in47 = gf_zero();                           \
    1840           0 :     in48 = GF_MUL( in48, 150 );                 \
    1841           0 :     in32 = GF_ADD( in32, in48 );                \
    1842           0 :     in16 = GF_ADD( in16, in48 );                \
    1843           0 :     in48 = gf_zero();                           \
    1844           0 :     in49 = GF_MUL( in49, 150 );                 \
    1845           0 :     in48 = GF_ADD( in48, in49 );                \
    1846           0 :     in33 = GF_ADD( in33, in49 );                \
    1847           0 :     in17 = GF_ADD( in17, in49 );                \
    1848           0 :     in49 = gf_zero();                           \
    1849           0 :     in50 = GF_MUL( in50, 57 );                  \
    1850           0 :     in48 = GF_ADD( in48, in50 );                \
    1851           0 :     in34 = GF_ADD( in34, in50 );                \
    1852           0 :     in18 = GF_ADD( in18, in50 );                \
    1853           0 :     in50 = gf_zero();                           \
    1854           0 :     in51 = GF_MUL( in51, 57 );                  \
    1855           0 :     in50 = GF_ADD( in50, in51 );                \
    1856           0 :     in49 = GF_ADD( in49, in51 );                \
    1857           0 :     in35 = GF_ADD( in35, in51 );                \
    1858           0 :     in19 = GF_ADD( in19, in51 );                \
    1859           0 :     in51 = gf_zero();                           \
    1860           0 :     in52 = GF_MUL( in52, 55 );                  \
    1861           0 :     in48 = GF_ADD( in48, in52 );                \
    1862           0 :     in36 = GF_ADD( in36, in52 );                \
    1863           0 :     in20 = GF_ADD( in20, in52 );                \
    1864           0 :     in52 = gf_zero();                           \
    1865           0 :     in53 = GF_MUL( in53, 55 );                  \
    1866           0 :     in52 = GF_ADD( in52, in53 );                \
    1867           0 :     in49 = GF_ADD( in49, in53 );                \
    1868           0 :     in37 = GF_ADD( in37, in53 );                \
    1869           0 :     in21 = GF_ADD( in21, in53 );                \
    1870           0 :     in53 = gf_zero();                           \
    1871           0 :     in54 = GF_MUL( in54, 115 );                 \
    1872           0 :     in52 = GF_ADD( in52, in54 );                \
    1873           0 :     in50 = GF_ADD( in50, in54 );                \
    1874           0 :     in38 = GF_ADD( in38, in54 );                \
    1875           0 :     in22 = GF_ADD( in22, in54 );                \
    1876           0 :     in54 = gf_zero();                           \
    1877           0 :     in55 = GF_MUL( in55, 115 );                 \
    1878           0 :     in54 = GF_ADD( in54, in55 );                \
    1879           0 :     in53 = GF_ADD( in53, in55 );                \
    1880           0 :     in51 = GF_ADD( in51, in55 );                \
    1881           0 :     in39 = GF_ADD( in39, in55 );                \
    1882           0 :     in23 = GF_ADD( in23, in55 );                \
    1883           0 :     in55 = gf_zero();                           \
    1884           0 :     in56 = GF_MUL( in56, 101 );                 \
    1885           0 :     in48 = GF_ADD( in48, in56 );                \
    1886           0 :     in40 = GF_ADD( in40, in56 );                \
    1887           0 :     in24 = GF_ADD( in24, in56 );                \
    1888           0 :     in56 = gf_zero();                           \
    1889           0 :     in57 = GF_MUL( in57, 101 );                 \
    1890           0 :     in56 = GF_ADD( in56, in57 );                \
    1891           0 :     in49 = GF_ADD( in49, in57 );                \
    1892           0 :     in41 = GF_ADD( in41, in57 );                \
    1893           0 :     in25 = GF_ADD( in25, in57 );                \
    1894           0 :     in57 = gf_zero();                           \
    1895           0 :     in58 = GF_MUL( in58, 159 );                 \
    1896           0 :     in56 = GF_ADD( in56, in58 );                \
    1897           0 :     in50 = GF_ADD( in50, in58 );                \
    1898           0 :     in42 = GF_ADD( in42, in58 );                \
    1899           0 :     in26 = GF_ADD( in26, in58 );                \
    1900           0 :     in58 = gf_zero();                           \
    1901           0 :     in59 = GF_MUL( in59, 159 );                 \
    1902           0 :     in58 = GF_ADD( in58, in59 );                \
    1903           0 :     in57 = GF_ADD( in57, in59 );                \
    1904           0 :     in51 = GF_ADD( in51, in59 );                \
    1905           0 :     in43 = GF_ADD( in43, in59 );                \
    1906           0 :     in27 = GF_ADD( in27, in59 );                \
    1907           0 :     in59 = gf_zero();                           \
    1908           0 :     in60 = GF_MUL( in60, 60 );                  \
    1909           0 :     in56 = GF_ADD( in56, in60 );                \
    1910           0 :     in52 = GF_ADD( in52, in60 );                \
    1911           0 :     in44 = GF_ADD( in44, in60 );                \
    1912           0 :     in28 = GF_ADD( in28, in60 );                \
    1913           0 :     in60 = gf_zero();                           \
    1914           0 :     in61 = GF_MUL( in61, 60 );                  \
    1915           0 :     in60 = GF_ADD( in60, in61 );                \
    1916           0 :     in57 = GF_ADD( in57, in61 );                \
    1917           0 :     in53 = GF_ADD( in53, in61 );                \
    1918           0 :     in45 = GF_ADD( in45, in61 );                \
    1919           0 :     in29 = GF_ADD( in29, in61 );                \
    1920           0 :     in61 = gf_zero();                           \
    1921           0 :     in62 = GF_MUL( in62, 10 );                  \
    1922           0 :     in60 = GF_ADD( in60, in62 );                \
    1923           0 :     in58 = GF_ADD( in58, in62 );                \
    1924           0 :     in54 = GF_ADD( in54, in62 );                \
    1925           0 :     in46 = GF_ADD( in46, in62 );                \
    1926           0 :     in30 = GF_ADD( in30, in62 );                \
    1927           0 :     in62 = gf_zero();                           \
    1928           0 :     in63 = GF_MUL( in63, 10 );                  \
    1929           0 :     in62 = GF_ADD( in62, in63 );                \
    1930           0 :     in61 = GF_ADD( in61, in63 );                \
    1931           0 :     in59 = GF_ADD( in59, in63 );                \
    1932           0 :     in55 = GF_ADD( in55, in63 );                \
    1933           0 :     in47 = GF_ADD( in47, in63 );                \
    1934           0 :     in31 = GF_ADD( in31, in63 );                \
    1935           0 :     in63 = gf_zero();                           \
    1936           0 :     in64 = GF_MUL( in64, 232 );                 \
    1937           0 :     in00 = GF_ADD( in00, in64 );                \
    1938           0 :     in64 = gf_zero();                           \
    1939           0 :     in65 = GF_MUL( in65, 232 );                 \
    1940           0 :     in64 = GF_ADD( in64, in65 );                \
    1941           0 :     in01 = GF_ADD( in01, in65 );                \
    1942           0 :     in65 = gf_zero();                           \
    1943           0 :     in66 = GF_MUL( in66, 44 );                  \
    1944           0 :     in64 = GF_ADD( in64, in66 );                \
    1945           0 :     in02 = GF_ADD( in02, in66 );                \
    1946           0 :     in66 = gf_zero();                           \
    1947           0 :     in67 = GF_MUL( in67, 44 );                  \
    1948           0 :     in66 = GF_ADD( in66, in67 );                \
    1949           0 :     in65 = GF_ADD( in65, in67 );                \
    1950           0 :     in03 = GF_ADD( in03, in67 );                \
    1951           0 :     in67 = gf_zero();                           \
    1952           0 :     in68 = GF_MUL( in68, 76 );                  \
    1953           0 :     in64 = GF_ADD( in64, in68 );                \
    1954           0 :     in04 = GF_ADD( in04, in68 );                \
    1955           0 :     in68 = gf_zero();                           \
    1956           0 :     in69 = GF_MUL( in69, 76 );                  \
    1957           0 :     in68 = GF_ADD( in68, in69 );                \
    1958           0 :     in65 = GF_ADD( in65, in69 );                \
    1959           0 :     in05 = GF_ADD( in05, in69 );                \
    1960           0 :     in69 = gf_zero();                           \
    1961           0 :     in70 = GF_MUL( in70, 233 );                 \
    1962           0 :     in68 = GF_ADD( in68, in70 );                \
    1963           0 :     in66 = GF_ADD( in66, in70 );                \
    1964           0 :     in06 = GF_ADD( in06, in70 );                \
    1965           0 :     in70 = gf_zero();                           \
    1966           0 :     in71 = GF_MUL( in71, 233 );                 \
    1967           0 :     in70 = GF_ADD( in70, in71 );                \
    1968           0 :     in69 = GF_ADD( in69, in71 );                \
    1969           0 :     in67 = GF_ADD( in67, in71 );                \
    1970           0 :     in07 = GF_ADD( in07, in71 );                \
    1971           0 :     in71 = gf_zero();                           \
    1972           0 :     in72 = GF_MUL( in72, 183 );                 \
    1973           0 :     in64 = GF_ADD( in64, in72 );                \
    1974           0 :     in08 = GF_ADD( in08, in72 );                \
    1975           0 :     in72 = gf_zero();                           \
    1976           0 :     in73 = GF_MUL( in73, 183 );                 \
    1977           0 :     in72 = GF_ADD( in72, in73 );                \
    1978           0 :     in65 = GF_ADD( in65, in73 );                \
    1979           0 :     in09 = GF_ADD( in09, in73 );                \
    1980           0 :     in73 = gf_zero();                           \
    1981           0 :     in74 = GF_MUL( in74, 184 );                 \
    1982           0 :     in72 = GF_ADD( in72, in74 );                \
    1983           0 :     in66 = GF_ADD( in66, in74 );                \
    1984           0 :     in10 = GF_ADD( in10, in74 );                \
    1985           0 :     in74 = gf_zero();                           \
    1986           0 :     in75 = GF_MUL( in75, 184 );                 \
    1987           0 :     in74 = GF_ADD( in74, in75 );                \
    1988           0 :     in73 = GF_ADD( in73, in75 );                \
    1989           0 :     in67 = GF_ADD( in67, in75 );                \
    1990           0 :     in11 = GF_ADD( in11, in75 );                \
    1991           0 :     in75 = gf_zero();                           \
    1992           0 :     in76 = GF_MUL( in76, 99 );                  \
    1993           0 :     in72 = GF_ADD( in72, in76 );                \
    1994           0 :     in68 = GF_ADD( in68, in76 );                \
    1995           0 :     in12 = GF_ADD( in12, in76 );                \
    1996           0 :     in76 = gf_zero();                           \
    1997           0 :     in77 = GF_MUL( in77, 99 );                  \
    1998           0 :     in76 = GF_ADD( in76, in77 );                \
    1999           0 :     in73 = GF_ADD( in73, in77 );                \
    2000           0 :     in69 = GF_ADD( in69, in77 );                \
    2001           0 :     in13 = GF_ADD( in13, in77 );                \
    2002           0 :     in77 = gf_zero();                           \
    2003           0 :     in78 = GF_MUL( in78, 158 );                 \
    2004           0 :     in76 = GF_ADD( in76, in78 );                \
    2005           0 :     in74 = GF_ADD( in74, in78 );                \
    2006           0 :     in70 = GF_ADD( in70, in78 );                \
    2007           0 :     in14 = GF_ADD( in14, in78 );                \
    2008           0 :     in78 = gf_zero();                           \
    2009           0 :     in79 = GF_MUL( in79, 158 );                 \
    2010           0 :     in78 = GF_ADD( in78, in79 );                \
    2011           0 :     in77 = GF_ADD( in77, in79 );                \
    2012           0 :     in75 = GF_ADD( in75, in79 );                \
    2013           0 :     in71 = GF_ADD( in71, in79 );                \
    2014           0 :     in15 = GF_ADD( in15, in79 );                \
    2015           0 :     in79 = gf_zero();                           \
    2016           0 :     in80 = GF_MUL( in80, 151 );                 \
    2017           0 :     in64 = GF_ADD( in64, in80 );                \
    2018           0 :     in16 = GF_ADD( in16, in80 );                \
    2019           0 :     in80 = gf_zero();                           \
    2020           0 :     in81 = GF_MUL( in81, 151 );                 \
    2021           0 :     in80 = GF_ADD( in80, in81 );                \
    2022           0 :     in65 = GF_ADD( in65, in81 );                \
    2023           0 :     in17 = GF_ADD( in17, in81 );                \
    2024           0 :     in81 = gf_zero();                           \
    2025           0 :     in82 = GF_MUL( in82, 67 );                  \
    2026           0 :     in80 = GF_ADD( in80, in82 );                \
    2027           0 :     in66 = GF_ADD( in66, in82 );                \
    2028           0 :     in18 = GF_ADD( in18, in82 );                \
    2029           0 :     in82 = gf_zero();                           \
    2030           0 :     in83 = GF_MUL( in83, 67 );                  \
    2031           0 :     in82 = GF_ADD( in82, in83 );                \
    2032           0 :     in81 = GF_ADD( in81, in83 );                \
    2033           0 :     in67 = GF_ADD( in67, in83 );                \
    2034           0 :     in19 = GF_ADD( in19, in83 );                \
    2035           0 :     in83 = gf_zero();                           \
    2036           0 :     in84 = GF_MUL( in84, 23 );                  \
    2037           0 :     in80 = GF_ADD( in80, in84 );                \
    2038           0 :     in68 = GF_ADD( in68, in84 );                \
    2039           0 :     in20 = GF_ADD( in20, in84 );                \
    2040           0 :     in84 = gf_zero();                           \
    2041           0 :     in85 = GF_MUL( in85, 23 );                  \
    2042           0 :     in84 = GF_ADD( in84, in85 );                \
    2043           0 :     in81 = GF_ADD( in81, in85 );                \
    2044           0 :     in69 = GF_ADD( in69, in85 );                \
    2045           0 :     in21 = GF_ADD( in21, in85 );                \
    2046           0 :     in85 = gf_zero();                           \
    2047           0 :     in86 = GF_MUL( in86, 136 );                 \
    2048           0 :     in84 = GF_ADD( in84, in86 );                \
    2049           0 :     in82 = GF_ADD( in82, in86 );                \
    2050           0 :     in70 = GF_ADD( in70, in86 );                \
    2051           0 :     in22 = GF_ADD( in22, in86 );                \
    2052           0 :     in86 = gf_zero();                           \
    2053           0 :     in87 = GF_MUL( in87, 136 );                 \
    2054           0 :     in86 = GF_ADD( in86, in87 );                \
    2055           0 :     in85 = GF_ADD( in85, in87 );                \
    2056           0 :     in83 = GF_ADD( in83, in87 );                \
    2057           0 :     in71 = GF_ADD( in71, in87 );                \
    2058           0 :     in23 = GF_ADD( in23, in87 );                \
    2059           0 :     in87 = gf_zero();                           \
    2060           0 :     in88 = GF_MUL( in88, 76 );                  \
    2061           0 :     in80 = GF_ADD( in80, in88 );                \
    2062           0 :     in72 = GF_ADD( in72, in88 );                \
    2063           0 :     in24 = GF_ADD( in24, in88 );                \
    2064           0 :     in88 = gf_zero();                           \
    2065           0 :     in89 = GF_MUL( in89, 76 );                  \
    2066           0 :     in88 = GF_ADD( in88, in89 );                \
    2067           0 :     in81 = GF_ADD( in81, in89 );                \
    2068           0 :     in73 = GF_ADD( in73, in89 );                \
    2069           0 :     in25 = GF_ADD( in25, in89 );                \
    2070           0 :     in89 = gf_zero();                           \
    2071           0 :     in90 = GF_MUL( in90, 233 );                 \
    2072           0 :     in88 = GF_ADD( in88, in90 );                \
    2073           0 :     in82 = GF_ADD( in82, in90 );                \
    2074           0 :     in74 = GF_ADD( in74, in90 );                \
    2075           0 :     in26 = GF_ADD( in26, in90 );                \
    2076           0 :     in90 = gf_zero();                           \
    2077           0 :     in91 = GF_MUL( in91, 233 );                 \
    2078           0 :     in90 = GF_ADD( in90, in91 );                \
    2079           0 :     in89 = GF_ADD( in89, in91 );                \
    2080           0 :     in83 = GF_ADD( in83, in91 );                \
    2081           0 :     in75 = GF_ADD( in75, in91 );                \
    2082           0 :     in27 = GF_ADD( in27, in91 );                \
    2083           0 :     in91 = gf_zero();                           \
    2084           0 :     in92 = GF_MUL( in92, 117 );                 \
    2085           0 :     in88 = GF_ADD( in88, in92 );                \
    2086           0 :     in84 = GF_ADD( in84, in92 );                \
    2087           0 :     in76 = GF_ADD( in76, in92 );                \
    2088           0 :     in28 = GF_ADD( in28, in92 );                \
    2089           0 :     in92 = gf_zero();                           \
    2090           0 :     in93 = GF_MUL( in93, 117 );                 \
    2091           0 :     in92 = GF_ADD( in92, in93 );                \
    2092           0 :     in89 = GF_ADD( in89, in93 );                \
    2093           0 :     in85 = GF_ADD( in85, in93 );                \
    2094           0 :     in77 = GF_ADD( in77, in93 );                \
    2095           0 :     in29 = GF_ADD( in29, in93 );                \
    2096           0 :     in93 = gf_zero();                           \
    2097           0 :     in94 = GF_MUL( in94, 108 );                 \
    2098           0 :     in92 = GF_ADD( in92, in94 );                \
    2099           0 :     in90 = GF_ADD( in90, in94 );                \
    2100           0 :     in86 = GF_ADD( in86, in94 );                \
    2101           0 :     in78 = GF_ADD( in78, in94 );                \
    2102           0 :     in30 = GF_ADD( in30, in94 );                \
    2103           0 :     in94 = gf_zero();                           \
    2104           0 :     in95 = GF_MUL( in95, 108 );                 \
    2105           0 :     in94 = GF_ADD( in94, in95 );                \
    2106           0 :     in93 = GF_ADD( in93, in95 );                \
    2107           0 :     in91 = GF_ADD( in91, in95 );                \
    2108           0 :     in87 = GF_ADD( in87, in95 );                \
    2109           0 :     in79 = GF_ADD( in79, in95 );                \
    2110           0 :     in31 = GF_ADD( in31, in95 );                \
    2111           0 :     in95 = gf_zero();                           \
    2112           0 :     in96 = GF_MUL( in96, 120 );                 \
    2113           0 :     in64 = GF_ADD( in64, in96 );                \
    2114           0 :     in32 = GF_ADD( in32, in96 );                \
    2115           0 :     in96 = gf_zero();                           \
    2116           0 :     in97 = GF_MUL( in97, 120 );                 \
    2117           0 :     in96 = GF_ADD( in96, in97 );                \
    2118           0 :     in65 = GF_ADD( in65, in97 );                \
    2119           0 :     in33 = GF_ADD( in33, in97 );                \
    2120           0 :     in97 = gf_zero();                           \
    2121           0 :     in98 = GF_MUL( in98, 20 );                  \
    2122           0 :     in96 = GF_ADD( in96, in98 );                \
    2123           0 :     in66 = GF_ADD( in66, in98 );                \
    2124           0 :     in34 = GF_ADD( in34, in98 );                \
    2125           0 :     in98 = gf_zero();                           \
    2126           0 :     in99 = GF_MUL( in99, 20 );                  \
    2127           0 :     in98 = GF_ADD( in98, in99 );                \
    2128           0 :     in97 = GF_ADD( in97, in99 );                \
    2129           0 :     in67 = GF_ADD( in67, in99 );                \
    2130           0 :     in35 = GF_ADD( in35, in99 );                \
    2131           0 :     in99 = gf_zero();                           \
    2132           0 :     in100 = GF_MUL( in100, 187 );               \
    2133           0 :     in96 = GF_ADD( in96, in100 );               \
    2134           0 :     in68 = GF_ADD( in68, in100 );               \
    2135           0 :     in36 = GF_ADD( in36, in100 );               \
    2136           0 :     in100 = gf_zero();                          \
    2137           0 :     in101 = GF_MUL( in101, 187 );               \
    2138           0 :     in100 = GF_ADD( in100, in101 );             \
    2139           0 :     in97 = GF_ADD( in97, in101 );               \
    2140           0 :     in69 = GF_ADD( in69, in101 );               \
    2141           0 :     in37 = GF_ADD( in37, in101 );               \
    2142           0 :     in101 = gf_zero();                          \
    2143           0 :     in102 = GF_MUL( in102, 186 );               \
    2144           0 :     in100 = GF_ADD( in100, in102 );             \
    2145           0 :     in98 = GF_ADD( in98, in102 );               \
    2146           0 :     in70 = GF_ADD( in70, in102 );               \
    2147           0 :     in38 = GF_ADD( in38, in102 );               \
    2148           0 :     in102 = gf_zero();                          \
    2149           0 :     in103 = GF_MUL( in103, 186 );               \
    2150           0 :     in102 = GF_ADD( in102, in103 );             \
    2151           0 :     in101 = GF_ADD( in101, in103 );             \
    2152           0 :     in99 = GF_ADD( in99, in103 );               \
    2153           0 :     in71 = GF_ADD( in71, in103 );               \
    2154           0 :     in39 = GF_ADD( in39, in103 );               \
    2155           0 :     in103 = gf_zero();                          \
    2156           0 :     in104 = GF_MUL( in104, 36 );                \
    2157           0 :     in96 = GF_ADD( in96, in104 );               \
    2158           0 :     in72 = GF_ADD( in72, in104 );               \
    2159           0 :     in40 = GF_ADD( in40, in104 );               \
    2160           0 :     in104 = gf_zero();                          \
    2161           0 :     in105 = GF_MUL( in105, 36 );                \
    2162           0 :     in104 = GF_ADD( in104, in105 );             \
    2163           0 :     in97 = GF_ADD( in97, in105 );               \
    2164           0 :     in73 = GF_ADD( in73, in105 );               \
    2165           0 :     in41 = GF_ADD( in41, in105 );               \
    2166           0 :     in105 = gf_zero();                          \
    2167           0 :     in106 = GF_MUL( in106, 14 );                \
    2168           0 :     in104 = GF_ADD( in104, in106 );             \
    2169           0 :     in98 = GF_ADD( in98, in106 );               \
    2170           0 :     in74 = GF_ADD( in74, in106 );               \
    2171           0 :     in42 = GF_ADD( in42, in106 );               \
    2172           0 :     in106 = gf_zero();                          \
    2173           0 :     in107 = GF_MUL( in107, 14 );                \
    2174           0 :     in106 = GF_ADD( in106, in107 );             \
    2175           0 :     in105 = GF_ADD( in105, in107 );             \
    2176           0 :     in99 = GF_ADD( in99, in107 );               \
    2177           0 :     in75 = GF_ADD( in75, in107 );               \
    2178           0 :     in43 = GF_ADD( in43, in107 );               \
    2179           0 :     in107 = gf_zero();                          \
    2180           0 :     in108 = GF_MUL( in108, 244 );               \
    2181           0 :     in104 = GF_ADD( in104, in108 );             \
    2182           0 :     in100 = GF_ADD( in100, in108 );             \
    2183           0 :     in76 = GF_ADD( in76, in108 );               \
    2184           0 :     in44 = GF_ADD( in44, in108 );               \
    2185           0 :     in108 = gf_zero();                          \
    2186           0 :     in109 = GF_MUL( in109, 244 );               \
    2187           0 :     in108 = GF_ADD( in108, in109 );             \
    2188           0 :     in105 = GF_ADD( in105, in109 );             \
    2189           0 :     in101 = GF_ADD( in101, in109 );             \
    2190           0 :     in77 = GF_ADD( in77, in109 );               \
    2191           0 :     in45 = GF_ADD( in45, in109 );               \
    2192           0 :     in109 = gf_zero();                          \
    2193           0 :     in110 = GF_MUL( in110, 221 );               \
    2194           0 :     in108 = GF_ADD( in108, in110 );             \
    2195           0 :     in106 = GF_ADD( in106, in110 );             \
    2196           0 :     in102 = GF_ADD( in102, in110 );             \
    2197           0 :     in78 = GF_ADD( in78, in110 );               \
    2198           0 :     in46 = GF_ADD( in46, in110 );               \
    2199           0 :     in110 = gf_zero();                          \
    2200           0 :     in111 = GF_MUL( in111, 221 );               \
    2201           0 :     in110 = GF_ADD( in110, in111 );             \
    2202           0 :     in109 = GF_ADD( in109, in111 );             \
    2203           0 :     in107 = GF_ADD( in107, in111 );             \
    2204           0 :     in103 = GF_ADD( in103, in111 );             \
    2205           0 :     in79 = GF_ADD( in79, in111 );               \
    2206           0 :     in47 = GF_ADD( in47, in111 );               \
    2207           0 :     in111 = gf_zero();                          \
    2208           0 :     in112 = GF_MUL( in112, 65 );                \
    2209           0 :     in96 = GF_ADD( in96, in112 );               \
    2210           0 :     in80 = GF_ADD( in80, in112 );               \
    2211           0 :     in48 = GF_ADD( in48, in112 );               \
    2212           0 :     in112 = gf_zero();                          \
    2213           0 :     in113 = GF_MUL( in113, 65 );                \
    2214           0 :     in112 = GF_ADD( in112, in113 );             \
    2215           0 :     in97 = GF_ADD( in97, in113 );               \
    2216           0 :     in81 = GF_ADD( in81, in113 );               \
    2217           0 :     in49 = GF_ADD( in49, in113 );               \
    2218           0 :     in113 = gf_zero();                          \
    2219           0 :     in114 = GF_MUL( in114, 145 );               \
    2220           0 :     in112 = GF_ADD( in112, in114 );             \
    2221           0 :     in98 = GF_ADD( in98, in114 );               \
    2222           0 :     in82 = GF_ADD( in82, in114 );               \
    2223           0 :     in50 = GF_ADD( in50, in114 );               \
    2224           0 :     in114 = gf_zero();                          \
    2225           0 :     in115 = GF_MUL( in115, 145 );               \
    2226           0 :     in114 = GF_ADD( in114, in115 );             \
    2227           0 :     in113 = GF_ADD( in113, in115 );             \
    2228           0 :     in99 = GF_ADD( in99, in115 );               \
    2229           0 :     in83 = GF_ADD( in83, in115 );               \
    2230           0 :     in51 = GF_ADD( in51, in115 );               \
    2231           0 :     in115 = gf_zero();                          \
    2232           0 :     in116 = GF_MUL( in116, 200 );               \
    2233           0 :     in112 = GF_ADD( in112, in116 );             \
    2234           0 :     in100 = GF_ADD( in100, in116 );             \
    2235           0 :     in84 = GF_ADD( in84, in116 );               \
    2236           0 :     in52 = GF_ADD( in52, in116 );               \
    2237           0 :     in116 = gf_zero();                          \
    2238           0 :     in117 = GF_MUL( in117, 200 );               \
    2239           0 :     in116 = GF_ADD( in116, in117 );             \
    2240           0 :     in113 = GF_ADD( in113, in117 );             \
    2241           0 :     in101 = GF_ADD( in101, in117 );             \
    2242           0 :     in85 = GF_ADD( in85, in117 );               \
    2243           0 :     in53 = GF_ADD( in53, in117 );               \
    2244           0 :     in117 = gf_zero();                          \
    2245           0 :     in118 = GF_MUL( in118, 215 );               \
    2246           0 :     in116 = GF_ADD( in116, in118 );             \
    2247           0 :     in114 = GF_ADD( in114, in118 );             \
    2248           0 :     in102 = GF_ADD( in102, in118 );             \
    2249           0 :     in86 = GF_ADD( in86, in118 );               \
    2250           0 :     in54 = GF_ADD( in54, in118 );               \
    2251           0 :     in118 = gf_zero();                          \
    2252           0 :     in119 = GF_MUL( in119, 215 );               \
    2253           0 :     in118 = GF_ADD( in118, in119 );             \
    2254           0 :     in117 = GF_ADD( in117, in119 );             \
    2255           0 :     in115 = GF_ADD( in115, in119 );             \
    2256           0 :     in103 = GF_ADD( in103, in119 );             \
    2257           0 :     in87 = GF_ADD( in87, in119 );               \
    2258           0 :     in55 = GF_ADD( in55, in119 );               \
    2259           0 :     in119 = gf_zero();                          \
    2260           0 :     in120 = GF_MUL( in120, 187 );               \
    2261           0 :     in112 = GF_ADD( in112, in120 );             \
    2262           0 :     in104 = GF_ADD( in104, in120 );             \
    2263           0 :     in88 = GF_ADD( in88, in120 );               \
    2264           0 :     in56 = GF_ADD( in56, in120 );               \
    2265           0 :     in120 = gf_zero();                          \
    2266           0 :     in121 = GF_MUL( in121, 187 );               \
    2267           0 :     in120 = GF_ADD( in120, in121 );             \
    2268           0 :     in113 = GF_ADD( in113, in121 );             \
    2269           0 :     in105 = GF_ADD( in105, in121 );             \
    2270           0 :     in89 = GF_ADD( in89, in121 );               \
    2271           0 :     in57 = GF_ADD( in57, in121 );               \
    2272           0 :     in121 = gf_zero();                          \
    2273           0 :     in122 = GF_MUL( in122, 186 );               \
    2274           0 :     in120 = GF_ADD( in120, in122 );             \
    2275           0 :     in114 = GF_ADD( in114, in122 );             \
    2276           0 :     in106 = GF_ADD( in106, in122 );             \
    2277           0 :     in90 = GF_ADD( in90, in122 );               \
    2278           0 :     in58 = GF_ADD( in58, in122 );               \
    2279           0 :     in122 = gf_zero();                          \
    2280           0 :     in123 = GF_MUL( in123, 186 );               \
    2281           0 :     in122 = GF_ADD( in122, in123 );             \
    2282           0 :     in121 = GF_ADD( in121, in123 );             \
    2283           0 :     in115 = GF_ADD( in115, in123 );             \
    2284           0 :     in107 = GF_ADD( in107, in123 );             \
    2285           0 :     in91 = GF_ADD( in91, in123 );               \
    2286           0 :     in59 = GF_ADD( in59, in123 );               \
    2287           0 :     in123 = gf_zero();                          \
    2288           0 :     in124 = GF_MUL( in124, 254 );               \
    2289           0 :     in120 = GF_ADD( in120, in124 );             \
    2290           0 :     in116 = GF_ADD( in116, in124 );             \
    2291           0 :     in108 = GF_ADD( in108, in124 );             \
    2292           0 :     in92 = GF_ADD( in92, in124 );               \
    2293           0 :     in60 = GF_ADD( in60, in124 );               \
    2294           0 :     in124 = gf_zero();                          \
    2295           0 :     in125 = GF_MUL( in125, 254 );               \
    2296           0 :     in124 = GF_ADD( in124, in125 );             \
    2297           0 :     in121 = GF_ADD( in121, in125 );             \
    2298           0 :     in117 = GF_ADD( in117, in125 );             \
    2299           0 :     in109 = GF_ADD( in109, in125 );             \
    2300           0 :     in93 = GF_ADD( in93, in125 );               \
    2301           0 :     in61 = GF_ADD( in61, in125 );               \
    2302           0 :     in125 = gf_zero();                          \
    2303           0 :     in126 = GF_MUL( in126, 222 );               \
    2304           0 :     in124 = GF_ADD( in124, in126 );             \
    2305           0 :     in122 = GF_ADD( in122, in126 );             \
    2306           0 :     in118 = GF_ADD( in118, in126 );             \
    2307           0 :     in110 = GF_ADD( in110, in126 );             \
    2308           0 :     in94 = GF_ADD( in94, in126 );               \
    2309           0 :     in62 = GF_ADD( in62, in126 );               \
    2310           0 :     in126 = gf_zero();                          \
    2311           0 :     in127 = GF_MUL( in127, 222 );               \
    2312           0 :     in126 = GF_ADD( in126, in127 );             \
    2313           0 :     in125 = GF_ADD( in125, in127 );             \
    2314           0 :     in123 = GF_ADD( in123, in127 );             \
    2315           0 :     in119 = GF_ADD( in119, in127 );             \
    2316           0 :     in111 = GF_ADD( in111, in127 );             \
    2317           0 :     in95 = GF_ADD( in95, in127 );               \
    2318           0 :     in63 = GF_ADD( in63, in127 );               \
    2319           0 :     in127 = gf_zero();                          \
    2320           0 :     in128 = GF_MUL( in128, 71 );                \
    2321           0 :     in00 = GF_ADD( in00, in128 );               \
    2322           0 :     in128 = gf_zero();                          \
    2323           0 :     in129 = GF_MUL( in129, 71 );                \
    2324           0 :     in128 = GF_ADD( in128, in129 );             \
    2325           0 :     in01 = GF_ADD( in01, in129 );               \
    2326           0 :     in129 = gf_zero();                          \
    2327           0 :     in130 = GF_MUL( in130, 144 );               \
    2328           0 :     in128 = GF_ADD( in128, in130 );             \
    2329           0 :     in02 = GF_ADD( in02, in130 );               \
    2330           0 :     in130 = gf_zero();                          \
    2331           0 :     in131 = GF_MUL( in131, 144 );               \
    2332           0 :     in130 = GF_ADD( in130, in131 );             \
    2333           0 :     in129 = GF_ADD( in129, in131 );             \
    2334           0 :     in03 = GF_ADD( in03, in131 );               \
    2335           0 :     in131 = gf_zero();                          \
    2336           0 :     in132 = GF_MUL( in132, 8 );                 \
    2337           0 :     in128 = GF_ADD( in128, in132 );             \
    2338           0 :     in04 = GF_ADD( in04, in132 );               \
    2339           0 :     in132 = gf_zero();                          \
    2340           0 :     in133 = GF_MUL( in133, 8 );                 \
    2341           0 :     in132 = GF_ADD( in132, in133 );             \
    2342           0 :     in129 = GF_ADD( in129, in133 );             \
    2343           0 :     in05 = GF_ADD( in05, in133 );               \
    2344           0 :     in133 = gf_zero();                          \
    2345           0 :     in134 = GF_MUL( in134, 247 );               \
    2346           0 :     in132 = GF_ADD( in132, in134 );             \
    2347           0 :     in130 = GF_ADD( in130, in134 );             \
    2348           0 :     in06 = GF_ADD( in06, in134 );               \
    2349           0 :     in134 = gf_zero();                          \
    2350           0 :     in135 = GF_MUL( in135, 247 );               \
    2351           0 :     in134 = GF_ADD( in134, in135 );             \
    2352           0 :     in133 = GF_ADD( in133, in135 );             \
    2353           0 :     in131 = GF_ADD( in131, in135 );             \
    2354           0 :     in07 = GF_ADD( in07, in135 );               \
    2355           0 :     in135 = gf_zero();                          \
    2356           0 :     in136 = GF_MUL( in136, 77 );                \
    2357           0 :     in128 = GF_ADD( in128, in136 );             \
    2358           0 :     in08 = GF_ADD( in08, in136 );               \
    2359           0 :     in136 = gf_zero();                          \
    2360           0 :     in137 = GF_MUL( in137, 77 );                \
    2361           0 :     in136 = GF_ADD( in136, in137 );             \
    2362           0 :     in129 = GF_ADD( in129, in137 );             \
    2363           0 :     in09 = GF_ADD( in09, in137 );               \
    2364           0 :     in137 = gf_zero();                          \
    2365           0 :     in138 = GF_MUL( in138, 147 );               \
    2366           0 :     in136 = GF_ADD( in136, in138 );             \
    2367           0 :     in130 = GF_ADD( in130, in138 );             \
    2368           0 :     in10 = GF_ADD( in10, in138 );               \
    2369           0 :     in138 = gf_zero();                          \
    2370           0 :     in139 = GF_MUL( in139, 147 );               \
    2371           0 :     in138 = GF_ADD( in138, in139 );             \
    2372           0 :     in137 = GF_ADD( in137, in139 );             \
    2373           0 :     in131 = GF_ADD( in131, in139 );             \
    2374           0 :     in11 = GF_ADD( in11, in139 );               \
    2375           0 :     in139 = gf_zero();                          \
    2376           0 :     in140 = GF_MUL( in140, 85 );                \
    2377           0 :     in136 = GF_ADD( in136, in140 );             \
    2378           0 :     in132 = GF_ADD( in132, in140 );             \
    2379           0 :     in12 = GF_ADD( in12, in140 );               \
    2380           0 :     in140 = gf_zero();                          \
    2381           0 :     in141 = GF_MUL( in141, 85 );                \
    2382           0 :     in140 = GF_ADD( in140, in141 );             \
    2383           0 :     in137 = GF_ADD( in137, in141 );             \
    2384           0 :     in133 = GF_ADD( in133, in141 );             \
    2385           0 :     in13 = GF_ADD( in13, in141 );               \
    2386           0 :     in141 = gf_zero();                          \
    2387           0 :     in142 = GF_MUL( in142, 151 );               \
    2388           0 :     in140 = GF_ADD( in140, in142 );             \
    2389           0 :     in138 = GF_ADD( in138, in142 );             \
    2390           0 :     in134 = GF_ADD( in134, in142 );             \
    2391           0 :     in14 = GF_ADD( in14, in142 );               \
    2392           0 :     in142 = gf_zero();                          \
    2393           0 :     in143 = GF_MUL( in143, 151 );               \
    2394           0 :     in142 = GF_ADD( in142, in143 );             \
    2395           0 :     in141 = GF_ADD( in141, in143 );             \
    2396           0 :     in139 = GF_ADD( in139, in143 );             \
    2397           0 :     in135 = GF_ADD( in135, in143 );             \
    2398           0 :     in15 = GF_ADD( in15, in143 );               \
    2399           0 :     in143 = gf_zero();                          \
    2400           0 :     in144 = GF_MUL( in144, 206 );               \
    2401           0 :     in128 = GF_ADD( in128, in144 );             \
    2402           0 :     in16 = GF_ADD( in16, in144 );               \
    2403           0 :     in144 = gf_zero();                          \
    2404           0 :     in145 = GF_MUL( in145, 206 );               \
    2405           0 :     in144 = GF_ADD( in144, in145 );             \
    2406           0 :     in129 = GF_ADD( in129, in145 );             \
    2407           0 :     in17 = GF_ADD( in17, in145 );               \
    2408           0 :     in145 = gf_zero();                          \
    2409           0 :     in146 = GF_MUL( in146, 214 );               \
    2410           0 :     in144 = GF_ADD( in144, in146 );             \
    2411           0 :     in130 = GF_ADD( in130, in146 );             \
    2412           0 :     in18 = GF_ADD( in18, in146 );               \
    2413           0 :     in146 = gf_zero();                          \
    2414           0 :     in147 = GF_MUL( in147, 214 );               \
    2415           0 :     in146 = GF_ADD( in146, in147 );             \
    2416           0 :     in145 = GF_ADD( in145, in147 );             \
    2417           0 :     in131 = GF_ADD( in131, in147 );             \
    2418           0 :     in19 = GF_ADD( in19, in147 );               \
    2419           0 :     in147 = gf_zero();                          \
    2420           0 :     in148 = GF_MUL( in148, 248 );               \
    2421           0 :     in144 = GF_ADD( in144, in148 );             \
    2422           0 :     in132 = GF_ADD( in132, in148 );             \
    2423           0 :     in20 = GF_ADD( in20, in148 );               \
    2424           0 :     in148 = gf_zero();                          \
    2425           0 :     in149 = GF_MUL( in149, 248 );               \
    2426           0 :     in148 = GF_ADD( in148, in149 );             \
    2427           0 :     in145 = GF_ADD( in145, in149 );             \
    2428           0 :     in133 = GF_ADD( in133, in149 );             \
    2429           0 :     in21 = GF_ADD( in21, in149 );               \
    2430           0 :     in149 = gf_zero();                          \
    2431           0 :     in150 = GF_MUL( in150, 223 );               \
    2432           0 :     in148 = GF_ADD( in148, in150 );             \
    2433           0 :     in146 = GF_ADD( in146, in150 );             \
    2434           0 :     in134 = GF_ADD( in134, in150 );             \
    2435           0 :     in22 = GF_ADD( in22, in150 );               \
    2436           0 :     in150 = gf_zero();                          \
    2437           0 :     in151 = GF_MUL( in151, 223 );               \
    2438           0 :     in150 = GF_ADD( in150, in151 );             \
    2439           0 :     in149 = GF_ADD( in149, in151 );             \
    2440           0 :     in147 = GF_ADD( in147, in151 );             \
    2441           0 :     in135 = GF_ADD( in135, in151 );             \
    2442           0 :     in23 = GF_ADD( in23, in151 );               \
    2443           0 :     in151 = gf_zero();                          \
    2444           0 :     in152 = GF_MUL( in152, 8 );                 \
    2445           0 :     in144 = GF_ADD( in144, in152 );             \
    2446           0 :     in136 = GF_ADD( in136, in152 );             \
    2447           0 :     in24 = GF_ADD( in24, in152 );               \
    2448           0 :     in152 = gf_zero();                          \
    2449           0 :     in153 = GF_MUL( in153, 8 );                 \
    2450           0 :     in152 = GF_ADD( in152, in153 );             \
    2451           0 :     in145 = GF_ADD( in145, in153 );             \
    2452           0 :     in137 = GF_ADD( in137, in153 );             \
    2453           0 :     in25 = GF_ADD( in25, in153 );               \
    2454           0 :     in153 = gf_zero();                          \
    2455           0 :     in154 = GF_MUL( in154, 247 );               \
    2456           0 :     in152 = GF_ADD( in152, in154 );             \
    2457           0 :     in146 = GF_ADD( in146, in154 );             \
    2458           0 :     in138 = GF_ADD( in138, in154 );             \
    2459           0 :     in26 = GF_ADD( in26, in154 );               \
    2460           0 :     in154 = gf_zero();                          \
    2461           0 :     in155 = GF_MUL( in155, 247 );               \
    2462           0 :     in154 = GF_ADD( in154, in155 );             \
    2463           0 :     in153 = GF_ADD( in153, in155 );             \
    2464           0 :     in147 = GF_ADD( in147, in155 );             \
    2465           0 :     in139 = GF_ADD( in139, in155 );             \
    2466           0 :     in27 = GF_ADD( in27, in155 );               \
    2467           0 :     in155 = gf_zero();                          \
    2468           0 :     in156 = GF_MUL( in156, 29 );                \
    2469           0 :     in152 = GF_ADD( in152, in156 );             \
    2470           0 :     in148 = GF_ADD( in148, in156 );             \
    2471           0 :     in140 = GF_ADD( in140, in156 );             \
    2472           0 :     in28 = GF_ADD( in28, in156 );               \
    2473           0 :     in156 = gf_zero();                          \
    2474           0 :     in157 = GF_MUL( in157, 29 );                \
    2475           0 :     in156 = GF_ADD( in156, in157 );             \
    2476           0 :     in153 = GF_ADD( in153, in157 );             \
    2477           0 :     in149 = GF_ADD( in149, in157 );             \
    2478           0 :     in141 = GF_ADD( in141, in157 );             \
    2479           0 :     in29 = GF_ADD( in29, in157 );               \
    2480           0 :     in157 = gf_zero();                          \
    2481           0 :     in158 = GF_MUL( in158, 139 );               \
    2482           0 :     in156 = GF_ADD( in156, in158 );             \
    2483           0 :     in154 = GF_ADD( in154, in158 );             \
    2484           0 :     in150 = GF_ADD( in150, in158 );             \
    2485           0 :     in142 = GF_ADD( in142, in158 );             \
    2486           0 :     in30 = GF_ADD( in30, in158 );               \
    2487           0 :     in158 = gf_zero();                          \
    2488           0 :     in159 = GF_MUL( in159, 139 );               \
    2489           0 :     in158 = GF_ADD( in158, in159 );             \
    2490           0 :     in157 = GF_ADD( in157, in159 );             \
    2491           0 :     in155 = GF_ADD( in155, in159 );             \
    2492           0 :     in151 = GF_ADD( in151, in159 );             \
    2493           0 :     in143 = GF_ADD( in143, in159 );             \
    2494           0 :     in31 = GF_ADD( in31, in159 );               \
    2495           0 :     in159 = gf_zero();                          \
    2496           0 :     in160 = GF_MUL( in160, 190 );               \
    2497           0 :     in128 = GF_ADD( in128, in160 );             \
    2498           0 :     in32 = GF_ADD( in32, in160 );               \
    2499           0 :     in160 = gf_zero();                          \
    2500           0 :     in161 = GF_MUL( in161, 190 );               \
    2501           0 :     in160 = GF_ADD( in160, in161 );             \
    2502           0 :     in129 = GF_ADD( in129, in161 );             \
    2503           0 :     in33 = GF_ADD( in33, in161 );               \
    2504           0 :     in161 = gf_zero();                          \
    2505           0 :     in162 = GF_MUL( in162, 53 );                \
    2506           0 :     in160 = GF_ADD( in160, in162 );             \
    2507           0 :     in130 = GF_ADD( in130, in162 );             \
    2508           0 :     in34 = GF_ADD( in34, in162 );               \
    2509           0 :     in162 = gf_zero();                          \
    2510           0 :     in163 = GF_MUL( in163, 53 );                \
    2511           0 :     in162 = GF_ADD( in162, in163 );             \
    2512           0 :     in161 = GF_ADD( in161, in163 );             \
    2513           0 :     in131 = GF_ADD( in131, in163 );             \
    2514           0 :     in35 = GF_ADD( in35, in163 );               \
    2515           0 :     in163 = gf_zero();                          \
    2516           0 :     in164 = GF_MUL( in164, 94 );                \
    2517           0 :     in160 = GF_ADD( in160, in164 );             \
    2518           0 :     in132 = GF_ADD( in132, in164 );             \
    2519           0 :     in36 = GF_ADD( in36, in164 );               \
    2520           0 :     in164 = gf_zero();                          \
    2521           0 :     in165 = GF_MUL( in165, 94 );                \
    2522           0 :     in164 = GF_ADD( in164, in165 );             \
    2523           0 :     in161 = GF_ADD( in161, in165 );             \
    2524           0 :     in133 = GF_ADD( in133, in165 );             \
    2525           0 :     in37 = GF_ADD( in37, in165 );               \
    2526           0 :     in165 = gf_zero();                          \
    2527           0 :     in166 = GF_MUL( in166, 238 );               \
    2528           0 :     in164 = GF_ADD( in164, in166 );             \
    2529           0 :     in162 = GF_ADD( in162, in166 );             \
    2530           0 :     in134 = GF_ADD( in134, in166 );             \
    2531           0 :     in38 = GF_ADD( in38, in166 );               \
    2532           0 :     in166 = gf_zero();                          \
    2533           0 :     in167 = GF_MUL( in167, 238 );               \
    2534           0 :     in166 = GF_ADD( in166, in167 );             \
    2535           0 :     in165 = GF_ADD( in165, in167 );             \
    2536           0 :     in163 = GF_ADD( in163, in167 );             \
    2537           0 :     in135 = GF_ADD( in135, in167 );             \
    2538           0 :     in39 = GF_ADD( in39, in167 );               \
    2539           0 :     in167 = gf_zero();                          \
    2540           0 :     in168 = GF_MUL( in168, 121 );               \
    2541           0 :     in160 = GF_ADD( in160, in168 );             \
    2542           0 :     in136 = GF_ADD( in136, in168 );             \
    2543           0 :     in40 = GF_ADD( in40, in168 );               \
    2544           0 :     in168 = gf_zero();                          \
    2545           0 :     in169 = GF_MUL( in169, 121 );               \
    2546           0 :     in168 = GF_ADD( in168, in169 );             \
    2547           0 :     in161 = GF_ADD( in161, in169 );             \
    2548           0 :     in137 = GF_ADD( in137, in169 );             \
    2549           0 :     in41 = GF_ADD( in41, in169 );               \
    2550           0 :     in169 = gf_zero();                          \
    2551           0 :     in170 = GF_MUL( in170, 110 );               \
    2552           0 :     in168 = GF_ADD( in168, in170 );             \
    2553           0 :     in162 = GF_ADD( in162, in170 );             \
    2554           0 :     in138 = GF_ADD( in138, in170 );             \
    2555           0 :     in42 = GF_ADD( in42, in170 );               \
    2556           0 :     in170 = gf_zero();                          \
    2557           0 :     in171 = GF_MUL( in171, 110 );               \
    2558           0 :     in170 = GF_ADD( in170, in171 );             \
    2559           0 :     in169 = GF_ADD( in169, in171 );             \
    2560           0 :     in163 = GF_ADD( in163, in171 );             \
    2561           0 :     in139 = GF_ADD( in139, in171 );             \
    2562           0 :     in43 = GF_ADD( in43, in171 );               \
    2563           0 :     in171 = gf_zero();                          \
    2564           0 :     in172 = GF_MUL( in172, 155 );               \
    2565           0 :     in168 = GF_ADD( in168, in172 );             \
    2566           0 :     in164 = GF_ADD( in164, in172 );             \
    2567           0 :     in140 = GF_ADD( in140, in172 );             \
    2568           0 :     in44 = GF_ADD( in44, in172 );               \
    2569           0 :     in172 = gf_zero();                          \
    2570           0 :     in173 = GF_MUL( in173, 155 );               \
    2571           0 :     in172 = GF_ADD( in172, in173 );             \
    2572           0 :     in169 = GF_ADD( in169, in173 );             \
    2573           0 :     in165 = GF_ADD( in165, in173 );             \
    2574           0 :     in141 = GF_ADD( in141, in173 );             \
    2575           0 :     in45 = GF_ADD( in45, in173 );               \
    2576           0 :     in173 = gf_zero();                          \
    2577           0 :     in174 = GF_MUL( in174, 65 );                \
    2578           0 :     in172 = GF_ADD( in172, in174 );             \
    2579           0 :     in170 = GF_ADD( in170, in174 );             \
    2580           0 :     in166 = GF_ADD( in166, in174 );             \
    2581           0 :     in142 = GF_ADD( in142, in174 );             \
    2582           0 :     in46 = GF_ADD( in46, in174 );               \
    2583           0 :     in174 = gf_zero();                          \
    2584           0 :     in175 = GF_MUL( in175, 65 );                \
    2585           0 :     in174 = GF_ADD( in174, in175 );             \
    2586           0 :     in173 = GF_ADD( in173, in175 );             \
    2587           0 :     in171 = GF_ADD( in171, in175 );             \
    2588           0 :     in167 = GF_ADD( in167, in175 );             \
    2589           0 :     in143 = GF_ADD( in143, in175 );             \
    2590           0 :     in47 = GF_ADD( in47, in175 );               \
    2591           0 :     in175 = gf_zero();                          \
    2592           0 :     in176 = GF_MUL( in176, 171 );               \
    2593           0 :     in160 = GF_ADD( in160, in176 );             \
    2594           0 :     in144 = GF_ADD( in144, in176 );             \
    2595           0 :     in48 = GF_ADD( in48, in176 );               \
    2596           0 :     in176 = gf_zero();                          \
    2597           0 :     in177 = GF_MUL( in177, 171 );               \
    2598           0 :     in176 = GF_ADD( in176, in177 );             \
    2599           0 :     in161 = GF_ADD( in161, in177 );             \
    2600           0 :     in145 = GF_ADD( in145, in177 );             \
    2601           0 :     in49 = GF_ADD( in49, in177 );               \
    2602           0 :     in177 = gf_zero();                          \
    2603           0 :     in178 = GF_MUL( in178, 73 );                \
    2604           0 :     in176 = GF_ADD( in176, in178 );             \
    2605           0 :     in162 = GF_ADD( in162, in178 );             \
    2606           0 :     in146 = GF_ADD( in146, in178 );             \
    2607           0 :     in50 = GF_ADD( in50, in178 );               \
    2608           0 :     in178 = gf_zero();                          \
    2609           0 :     in179 = GF_MUL( in179, 73 );                \
    2610           0 :     in178 = GF_ADD( in178, in179 );             \
    2611           0 :     in177 = GF_ADD( in177, in179 );             \
    2612           0 :     in163 = GF_ADD( in163, in179 );             \
    2613           0 :     in147 = GF_ADD( in147, in179 );             \
    2614           0 :     in51 = GF_ADD( in51, in179 );               \
    2615           0 :     in179 = gf_zero();                          \
    2616           0 :     in180 = GF_MUL( in180, 196 );               \
    2617           0 :     in176 = GF_ADD( in176, in180 );             \
    2618           0 :     in164 = GF_ADD( in164, in180 );             \
    2619           0 :     in148 = GF_ADD( in148, in180 );             \
    2620           0 :     in52 = GF_ADD( in52, in180 );               \
    2621           0 :     in180 = gf_zero();                          \
    2622           0 :     in181 = GF_MUL( in181, 196 );               \
    2623           0 :     in180 = GF_ADD( in180, in181 );             \
    2624           0 :     in177 = GF_ADD( in177, in181 );             \
    2625           0 :     in165 = GF_ADD( in165, in181 );             \
    2626           0 :     in149 = GF_ADD( in149, in181 );             \
    2627           0 :     in53 = GF_ADD( in53, in181 );               \
    2628           0 :     in181 = gf_zero();                          \
    2629           0 :     in182 = GF_MUL( in182, 213 );               \
    2630           0 :     in180 = GF_ADD( in180, in182 );             \
    2631           0 :     in178 = GF_ADD( in178, in182 );             \
    2632           0 :     in166 = GF_ADD( in166, in182 );             \
    2633           0 :     in150 = GF_ADD( in150, in182 );             \
    2634           0 :     in54 = GF_ADD( in54, in182 );               \
    2635           0 :     in182 = gf_zero();                          \
    2636           0 :     in183 = GF_MUL( in183, 213 );               \
    2637           0 :     in182 = GF_ADD( in182, in183 );             \
    2638           0 :     in181 = GF_ADD( in181, in183 );             \
    2639           0 :     in179 = GF_ADD( in179, in183 );             \
    2640           0 :     in167 = GF_ADD( in167, in183 );             \
    2641           0 :     in151 = GF_ADD( in151, in183 );             \
    2642           0 :     in55 = GF_ADD( in55, in183 );               \
    2643           0 :     in183 = gf_zero();                          \
    2644           0 :     in184 = GF_MUL( in184, 94 );                \
    2645           0 :     in176 = GF_ADD( in176, in184 );             \
    2646           0 :     in168 = GF_ADD( in168, in184 );             \
    2647           0 :     in152 = GF_ADD( in152, in184 );             \
    2648           0 :     in56 = GF_ADD( in56, in184 );               \
    2649           0 :     in184 = gf_zero();                          \
    2650           0 :     in185 = GF_MUL( in185, 94 );                \
    2651           0 :     in184 = GF_ADD( in184, in185 );             \
    2652           0 :     in177 = GF_ADD( in177, in185 );             \
    2653           0 :     in169 = GF_ADD( in169, in185 );             \
    2654           0 :     in153 = GF_ADD( in153, in185 );             \
    2655           0 :     in57 = GF_ADD( in57, in185 );               \
    2656           0 :     in185 = gf_zero();                          \
    2657           0 :     in186 = GF_MUL( in186, 238 );               \
    2658           0 :     in184 = GF_ADD( in184, in186 );             \
    2659           0 :     in178 = GF_ADD( in178, in186 );             \
    2660           0 :     in170 = GF_ADD( in170, in186 );             \
    2661           0 :     in154 = GF_ADD( in154, in186 );             \
    2662           0 :     in58 = GF_ADD( in58, in186 );               \
    2663           0 :     in186 = gf_zero();                          \
    2664           0 :     in187 = GF_MUL( in187, 238 );               \
    2665           0 :     in186 = GF_ADD( in186, in187 );             \
    2666           0 :     in185 = GF_ADD( in185, in187 );             \
    2667           0 :     in179 = GF_ADD( in179, in187 );             \
    2668           0 :     in171 = GF_ADD( in171, in187 );             \
    2669           0 :     in155 = GF_ADD( in155, in187 );             \
    2670           0 :     in59 = GF_ADD( in59, in187 );               \
    2671           0 :     in187 = gf_zero();                          \
    2672           0 :     in188 = GF_MUL( in188, 15 );                \
    2673           0 :     in184 = GF_ADD( in184, in188 );             \
    2674           0 :     in180 = GF_ADD( in180, in188 );             \
    2675           0 :     in172 = GF_ADD( in172, in188 );             \
    2676           0 :     in156 = GF_ADD( in156, in188 );             \
    2677           0 :     in60 = GF_ADD( in60, in188 );               \
    2678           0 :     in188 = gf_zero();                          \
    2679           0 :     in189 = GF_MUL( in189, 15 );                \
    2680           0 :     in188 = GF_ADD( in188, in189 );             \
    2681           0 :     in185 = GF_ADD( in185, in189 );             \
    2682           0 :     in181 = GF_ADD( in181, in189 );             \
    2683           0 :     in173 = GF_ADD( in173, in189 );             \
    2684           0 :     in157 = GF_ADD( in157, in189 );             \
    2685           0 :     in61 = GF_ADD( in61, in189 );               \
    2686           0 :     in189 = gf_zero();                          \
    2687           0 :     in190 = GF_MUL( in190, 140 );               \
    2688           0 :     in188 = GF_ADD( in188, in190 );             \
    2689           0 :     in186 = GF_ADD( in186, in190 );             \
    2690           0 :     in182 = GF_ADD( in182, in190 );             \
    2691           0 :     in174 = GF_ADD( in174, in190 );             \
    2692           0 :     in158 = GF_ADD( in158, in190 );             \
    2693           0 :     in62 = GF_ADD( in62, in190 );               \
    2694           0 :     in190 = gf_zero();                          \
    2695           0 :     in191 = GF_MUL( in191, 140 );               \
    2696           0 :     in190 = GF_ADD( in190, in191 );             \
    2697           0 :     in189 = GF_ADD( in189, in191 );             \
    2698           0 :     in187 = GF_ADD( in187, in191 );             \
    2699           0 :     in183 = GF_ADD( in183, in191 );             \
    2700           0 :     in175 = GF_ADD( in175, in191 );             \
    2701           0 :     in159 = GF_ADD( in159, in191 );             \
    2702           0 :     in63 = GF_ADD( in63, in191 );               \
    2703           0 :     in191 = gf_zero();                          \
    2704           0 :     in192 = GF_MUL( in192, 58 );                \
    2705           0 :     in128 = GF_ADD( in128, in192 );             \
    2706           0 :     in64 = GF_ADD( in64, in192 );               \
    2707           0 :     in192 = gf_zero();                          \
    2708           0 :     in193 = GF_MUL( in193, 58 );                \
    2709           0 :     in192 = GF_ADD( in192, in193 );             \
    2710           0 :     in129 = GF_ADD( in129, in193 );             \
    2711           0 :     in65 = GF_ADD( in65, in193 );               \
    2712           0 :     in193 = gf_zero();                          \
    2713           0 :     in194 = GF_MUL( in194, 11 );                \
    2714           0 :     in192 = GF_ADD( in192, in194 );             \
    2715           0 :     in130 = GF_ADD( in130, in194 );             \
    2716           0 :     in66 = GF_ADD( in66, in194 );               \
    2717           0 :     in194 = gf_zero();                          \
    2718           0 :     in195 = GF_MUL( in195, 11 );                \
    2719           0 :     in194 = GF_ADD( in194, in195 );             \
    2720           0 :     in193 = GF_ADD( in193, in195 );             \
    2721           0 :     in131 = GF_ADD( in131, in195 );             \
    2722           0 :     in67 = GF_ADD( in67, in195 );               \
    2723           0 :     in195 = gf_zero();                          \
    2724           0 :     in196 = GF_MUL( in196, 19 );                \
    2725           0 :     in192 = GF_ADD( in192, in196 );             \
    2726           0 :     in132 = GF_ADD( in132, in196 );             \
    2727           0 :     in68 = GF_ADD( in68, in196 );               \
    2728           0 :     in196 = gf_zero();                          \
    2729           0 :     in197 = GF_MUL( in197, 19 );                \
    2730           0 :     in196 = GF_ADD( in196, in197 );             \
    2731           0 :     in193 = GF_ADD( in193, in197 );             \
    2732           0 :     in133 = GF_ADD( in133, in197 );             \
    2733           0 :     in69 = GF_ADD( in69, in197 );               \
    2734           0 :     in197 = gf_zero();                          \
    2735           0 :     in198 = GF_MUL( in198, 125 );               \
    2736           0 :     in196 = GF_ADD( in196, in198 );             \
    2737           0 :     in194 = GF_ADD( in194, in198 );             \
    2738           0 :     in134 = GF_ADD( in134, in198 );             \
    2739           0 :     in70 = GF_ADD( in70, in198 );               \
    2740           0 :     in198 = gf_zero();                          \
    2741           0 :     in199 = GF_MUL( in199, 125 );               \
    2742           0 :     in198 = GF_ADD( in198, in199 );             \
    2743           0 :     in197 = GF_ADD( in197, in199 );             \
    2744           0 :     in195 = GF_ADD( in195, in199 );             \
    2745           0 :     in135 = GF_ADD( in135, in199 );             \
    2746           0 :     in71 = GF_ADD( in71, in199 );               \
    2747           0 :     in199 = gf_zero();                          \
    2748           0 :     in200 = GF_MUL( in200, 228 );               \
    2749           0 :     in192 = GF_ADD( in192, in200 );             \
    2750           0 :     in136 = GF_ADD( in136, in200 );             \
    2751           0 :     in72 = GF_ADD( in72, in200 );               \
    2752           0 :     in200 = gf_zero();                          \
    2753           0 :     in201 = GF_MUL( in201, 228 );               \
    2754           0 :     in200 = GF_ADD( in200, in201 );             \
    2755           0 :     in193 = GF_ADD( in193, in201 );             \
    2756           0 :     in137 = GF_ADD( in137, in201 );             \
    2757           0 :     in73 = GF_ADD( in73, in201 );               \
    2758           0 :     in201 = gf_zero();                          \
    2759           0 :     in202 = GF_MUL( in202, 46 );                \
    2760           0 :     in200 = GF_ADD( in200, in202 );             \
    2761           0 :     in194 = GF_ADD( in194, in202 );             \
    2762           0 :     in138 = GF_ADD( in138, in202 );             \
    2763           0 :     in74 = GF_ADD( in74, in202 );               \
    2764           0 :     in202 = gf_zero();                          \
    2765           0 :     in203 = GF_MUL( in203, 46 );                \
    2766           0 :     in202 = GF_ADD( in202, in203 );             \
    2767           0 :     in201 = GF_ADD( in201, in203 );             \
    2768           0 :     in195 = GF_ADD( in195, in203 );             \
    2769           0 :     in139 = GF_ADD( in139, in203 );             \
    2770           0 :     in75 = GF_ADD( in75, in203 );               \
    2771           0 :     in203 = gf_zero();                          \
    2772           0 :     in204 = GF_MUL( in204, 209 );               \
    2773           0 :     in200 = GF_ADD( in200, in204 );             \
    2774           0 :     in196 = GF_ADD( in196, in204 );             \
    2775           0 :     in140 = GF_ADD( in140, in204 );             \
    2776           0 :     in76 = GF_ADD( in76, in204 );               \
    2777           0 :     in204 = gf_zero();                          \
    2778           0 :     in205 = GF_MUL( in205, 209 );               \
    2779           0 :     in204 = GF_ADD( in204, in205 );             \
    2780           0 :     in201 = GF_ADD( in201, in205 );             \
    2781           0 :     in197 = GF_ADD( in197, in205 );             \
    2782           0 :     in141 = GF_ADD( in141, in205 );             \
    2783           0 :     in77 = GF_ADD( in77, in205 );               \
    2784           0 :     in205 = gf_zero();                          \
    2785           0 :     in206 = GF_MUL( in206, 169 );               \
    2786           0 :     in204 = GF_ADD( in204, in206 );             \
    2787           0 :     in202 = GF_ADD( in202, in206 );             \
    2788           0 :     in198 = GF_ADD( in198, in206 );             \
    2789           0 :     in142 = GF_ADD( in142, in206 );             \
    2790           0 :     in78 = GF_ADD( in78, in206 );               \
    2791           0 :     in206 = gf_zero();                          \
    2792           0 :     in207 = GF_MUL( in207, 169 );               \
    2793           0 :     in206 = GF_ADD( in206, in207 );             \
    2794           0 :     in205 = GF_ADD( in205, in207 );             \
    2795           0 :     in203 = GF_ADD( in203, in207 );             \
    2796           0 :     in199 = GF_ADD( in199, in207 );             \
    2797           0 :     in143 = GF_ADD( in143, in207 );             \
    2798           0 :     in79 = GF_ADD( in79, in207 );               \
    2799           0 :     in207 = gf_zero();                          \
    2800           0 :     in208 = GF_MUL( in208, 236 );               \
    2801           0 :     in192 = GF_ADD( in192, in208 );             \
    2802           0 :     in144 = GF_ADD( in144, in208 );             \
    2803           0 :     in80 = GF_ADD( in80, in208 );               \
    2804           0 :     in208 = gf_zero();                          \
    2805           0 :     in209 = GF_MUL( in209, 236 );               \
    2806           0 :     in208 = GF_ADD( in208, in209 );             \
    2807           0 :     in193 = GF_ADD( in193, in209 );             \
    2808           0 :     in145 = GF_ADD( in145, in209 );             \
    2809           0 :     in81 = GF_ADD( in81, in209 );               \
    2810           0 :     in209 = gf_zero();                          \
    2811           0 :     in210 = GF_MUL( in210, 217 );               \
    2812           0 :     in208 = GF_ADD( in208, in210 );             \
    2813           0 :     in194 = GF_ADD( in194, in210 );             \
    2814           0 :     in146 = GF_ADD( in146, in210 );             \
    2815           0 :     in82 = GF_ADD( in82, in210 );               \
    2816           0 :     in210 = gf_zero();                          \
    2817           0 :     in211 = GF_MUL( in211, 217 );               \
    2818           0 :     in210 = GF_ADD( in210, in211 );             \
    2819           0 :     in209 = GF_ADD( in209, in211 );             \
    2820           0 :     in195 = GF_ADD( in195, in211 );             \
    2821           0 :     in147 = GF_ADD( in147, in211 );             \
    2822           0 :     in83 = GF_ADD( in83, in211 );               \
    2823           0 :     in211 = gf_zero();                          \
    2824           0 :     in212 = GF_MUL( in212, 204 );               \
    2825           0 :     in208 = GF_ADD( in208, in212 );             \
    2826           0 :     in196 = GF_ADD( in196, in212 );             \
    2827           0 :     in148 = GF_ADD( in148, in212 );             \
    2828           0 :     in84 = GF_ADD( in84, in212 );               \
    2829           0 :     in212 = gf_zero();                          \
    2830           0 :     in213 = GF_MUL( in213, 204 );               \
    2831           0 :     in212 = GF_ADD( in212, in213 );             \
    2832           0 :     in209 = GF_ADD( in209, in213 );             \
    2833           0 :     in197 = GF_ADD( in197, in213 );             \
    2834           0 :     in149 = GF_ADD( in149, in213 );             \
    2835           0 :     in85 = GF_ADD( in85, in213 );               \
    2836           0 :     in213 = gf_zero();                          \
    2837           0 :     in214 = GF_MUL( in214, 34 );                \
    2838           0 :     in212 = GF_ADD( in212, in214 );             \
    2839           0 :     in210 = GF_ADD( in210, in214 );             \
    2840           0 :     in198 = GF_ADD( in198, in214 );             \
    2841           0 :     in150 = GF_ADD( in150, in214 );             \
    2842           0 :     in86 = GF_ADD( in86, in214 );               \
    2843           0 :     in214 = gf_zero();                          \
    2844           0 :     in215 = GF_MUL( in215, 34 );                \
    2845           0 :     in214 = GF_ADD( in214, in215 );             \
    2846           0 :     in213 = GF_ADD( in213, in215 );             \
    2847           0 :     in211 = GF_ADD( in211, in215 );             \
    2848           0 :     in199 = GF_ADD( in199, in215 );             \
    2849           0 :     in151 = GF_ADD( in151, in215 );             \
    2850           0 :     in87 = GF_ADD( in87, in215 );               \
    2851           0 :     in215 = gf_zero();                          \
    2852           0 :     in216 = GF_MUL( in216, 19 );                \
    2853           0 :     in208 = GF_ADD( in208, in216 );             \
    2854           0 :     in200 = GF_ADD( in200, in216 );             \
    2855           0 :     in152 = GF_ADD( in152, in216 );             \
    2856           0 :     in88 = GF_ADD( in88, in216 );               \
    2857           0 :     in216 = gf_zero();                          \
    2858           0 :     in217 = GF_MUL( in217, 19 );                \
    2859           0 :     in216 = GF_ADD( in216, in217 );             \
    2860           0 :     in209 = GF_ADD( in209, in217 );             \
    2861           0 :     in201 = GF_ADD( in201, in217 );             \
    2862           0 :     in153 = GF_ADD( in153, in217 );             \
    2863           0 :     in89 = GF_ADD( in89, in217 );               \
    2864           0 :     in217 = gf_zero();                          \
    2865           0 :     in218 = GF_MUL( in218, 125 );               \
    2866           0 :     in216 = GF_ADD( in216, in218 );             \
    2867           0 :     in210 = GF_ADD( in210, in218 );             \
    2868           0 :     in202 = GF_ADD( in202, in218 );             \
    2869           0 :     in154 = GF_ADD( in154, in218 );             \
    2870           0 :     in90 = GF_ADD( in90, in218 );               \
    2871           0 :     in218 = gf_zero();                          \
    2872           0 :     in219 = GF_MUL( in219, 125 );               \
    2873           0 :     in218 = GF_ADD( in218, in219 );             \
    2874           0 :     in217 = GF_ADD( in217, in219 );             \
    2875           0 :     in211 = GF_ADD( in211, in219 );             \
    2876           0 :     in203 = GF_ADD( in203, in219 );             \
    2877           0 :     in155 = GF_ADD( in155, in219 );             \
    2878           0 :     in91 = GF_ADD( in91, in219 );               \
    2879           0 :     in219 = gf_zero();                          \
    2880           0 :     in220 = GF_MUL( in220, 90 );                \
    2881           0 :     in216 = GF_ADD( in216, in220 );             \
    2882           0 :     in212 = GF_ADD( in212, in220 );             \
    2883           0 :     in204 = GF_ADD( in204, in220 );             \
    2884           0 :     in156 = GF_ADD( in156, in220 );             \
    2885           0 :     in92 = GF_ADD( in92, in220 );               \
    2886           0 :     in220 = gf_zero();                          \
    2887           0 :     in221 = GF_MUL( in221, 90 );                \
    2888           0 :     in220 = GF_ADD( in220, in221 );             \
    2889           0 :     in217 = GF_ADD( in217, in221 );             \
    2890           0 :     in213 = GF_ADD( in213, in221 );             \
    2891           0 :     in205 = GF_ADD( in205, in221 );             \
    2892           0 :     in157 = GF_ADD( in157, in221 );             \
    2893           0 :     in93 = GF_ADD( in93, in221 );               \
    2894           0 :     in221 = gf_zero();                          \
    2895           0 :     in222 = GF_MUL( in222, 27 );                \
    2896           0 :     in220 = GF_ADD( in220, in222 );             \
    2897           0 :     in218 = GF_ADD( in218, in222 );             \
    2898           0 :     in214 = GF_ADD( in214, in222 );             \
    2899           0 :     in206 = GF_ADD( in206, in222 );             \
    2900           0 :     in158 = GF_ADD( in158, in222 );             \
    2901           0 :     in94 = GF_ADD( in94, in222 );               \
    2902           0 :     in222 = gf_zero();                          \
    2903           0 :     in223 = GF_MUL( in223, 27 );                \
    2904           0 :     in222 = GF_ADD( in222, in223 );             \
    2905           0 :     in221 = GF_ADD( in221, in223 );             \
    2906           0 :     in219 = GF_ADD( in219, in223 );             \
    2907           0 :     in215 = GF_ADD( in215, in223 );             \
    2908           0 :     in207 = GF_ADD( in207, in223 );             \
    2909           0 :     in159 = GF_ADD( in159, in223 );             \
    2910           0 :     in95 = GF_ADD( in95, in223 );               \
    2911           0 :     in223 = gf_zero();                          \
    2912           0 :     in224 = GF_MUL( in224, 30 );                \
    2913           0 :     in192 = GF_ADD( in192, in224 );             \
    2914           0 :     in160 = GF_ADD( in160, in224 );             \
    2915           0 :     in96 = GF_ADD( in96, in224 );               \
    2916           0 :     in224 = gf_zero();                          \
    2917           0 :     in225 = GF_MUL( in225, 30 );                \
    2918           0 :     in224 = GF_ADD( in224, in225 );             \
    2919           0 :     in193 = GF_ADD( in193, in225 );             \
    2920           0 :     in161 = GF_ADD( in161, in225 );             \
    2921           0 :     in97 = GF_ADD( in97, in225 );               \
    2922           0 :     in225 = gf_zero();                          \
    2923           0 :     in226 = GF_MUL( in226, 5 );                 \
    2924           0 :     in224 = GF_ADD( in224, in226 );             \
    2925           0 :     in194 = GF_ADD( in194, in226 );             \
    2926           0 :     in162 = GF_ADD( in162, in226 );             \
    2927           0 :     in98 = GF_ADD( in98, in226 );               \
    2928           0 :     in226 = gf_zero();                          \
    2929           0 :     in227 = GF_MUL( in227, 5 );                 \
    2930           0 :     in226 = GF_ADD( in226, in227 );             \
    2931           0 :     in225 = GF_ADD( in225, in227 );             \
    2932           0 :     in195 = GF_ADD( in195, in227 );             \
    2933           0 :     in163 = GF_ADD( in163, in227 );             \
    2934           0 :     in99 = GF_ADD( in99, in227 );               \
    2935           0 :     in227 = gf_zero();                          \
    2936           0 :     in228 = GF_MUL( in228, 231 );               \
    2937           0 :     in224 = GF_ADD( in224, in228 );             \
    2938           0 :     in196 = GF_ADD( in196, in228 );             \
    2939           0 :     in164 = GF_ADD( in164, in228 );             \
    2940           0 :     in100 = GF_ADD( in100, in228 );             \
    2941           0 :     in228 = gf_zero();                          \
    2942           0 :     in229 = GF_MUL( in229, 231 );               \
    2943           0 :     in228 = GF_ADD( in228, in229 );             \
    2944           0 :     in225 = GF_ADD( in225, in229 );             \
    2945           0 :     in197 = GF_ADD( in197, in229 );             \
    2946           0 :     in165 = GF_ADD( in165, in229 );             \
    2947           0 :     in101 = GF_ADD( in101, in229 );             \
    2948           0 :     in229 = gf_zero();                          \
    2949           0 :     in230 = GF_MUL( in230, 160 );               \
    2950           0 :     in228 = GF_ADD( in228, in230 );             \
    2951           0 :     in226 = GF_ADD( in226, in230 );             \
    2952           0 :     in198 = GF_ADD( in198, in230 );             \
    2953           0 :     in166 = GF_ADD( in166, in230 );             \
    2954           0 :     in102 = GF_ADD( in102, in230 );             \
    2955           0 :     in230 = gf_zero();                          \
    2956           0 :     in231 = GF_MUL( in231, 160 );               \
    2957           0 :     in230 = GF_ADD( in230, in231 );             \
    2958           0 :     in229 = GF_ADD( in229, in231 );             \
    2959           0 :     in227 = GF_ADD( in227, in231 );             \
    2960           0 :     in199 = GF_ADD( in199, in231 );             \
    2961           0 :     in167 = GF_ADD( in167, in231 );             \
    2962           0 :     in103 = GF_ADD( in103, in231 );             \
    2963           0 :     in231 = gf_zero();                          \
    2964           0 :     in232 = GF_MUL( in232, 9 );                 \
    2965           0 :     in224 = GF_ADD( in224, in232 );             \
    2966           0 :     in200 = GF_ADD( in200, in232 );             \
    2967           0 :     in168 = GF_ADD( in168, in232 );             \
    2968           0 :     in104 = GF_ADD( in104, in232 );             \
    2969           0 :     in232 = gf_zero();                          \
    2970           0 :     in233 = GF_MUL( in233, 9 );                 \
    2971           0 :     in232 = GF_ADD( in232, in233 );             \
    2972           0 :     in225 = GF_ADD( in225, in233 );             \
    2973           0 :     in201 = GF_ADD( in201, in233 );             \
    2974           0 :     in169 = GF_ADD( in169, in233 );             \
    2975           0 :     in105 = GF_ADD( in105, in233 );             \
    2976           0 :     in233 = gf_zero();                          \
    2977           0 :     in234 = GF_MUL( in234, 141 );               \
    2978           0 :     in232 = GF_ADD( in232, in234 );             \
    2979           0 :     in226 = GF_ADD( in226, in234 );             \
    2980           0 :     in202 = GF_ADD( in202, in234 );             \
    2981           0 :     in170 = GF_ADD( in170, in234 );             \
    2982           0 :     in106 = GF_ADD( in106, in234 );             \
    2983           0 :     in234 = gf_zero();                          \
    2984           0 :     in235 = GF_MUL( in235, 141 );               \
    2985           0 :     in234 = GF_ADD( in234, in235 );             \
    2986           0 :     in233 = GF_ADD( in233, in235 );             \
    2987           0 :     in227 = GF_ADD( in227, in235 );             \
    2988           0 :     in203 = GF_ADD( in203, in235 );             \
    2989           0 :     in171 = GF_ADD( in171, in235 );             \
    2990           0 :     in107 = GF_ADD( in107, in235 );             \
    2991           0 :     in235 = gf_zero();                          \
    2992           0 :     in236 = GF_MUL( in236, 61 );                \
    2993           0 :     in232 = GF_ADD( in232, in236 );             \
    2994           0 :     in228 = GF_ADD( in228, in236 );             \
    2995           0 :     in204 = GF_ADD( in204, in236 );             \
    2996           0 :     in172 = GF_ADD( in172, in236 );             \
    2997           0 :     in108 = GF_ADD( in108, in236 );             \
    2998           0 :     in236 = gf_zero();                          \
    2999           0 :     in237 = GF_MUL( in237, 61 );                \
    3000           0 :     in236 = GF_ADD( in236, in237 );             \
    3001           0 :     in233 = GF_ADD( in233, in237 );             \
    3002           0 :     in229 = GF_ADD( in229, in237 );             \
    3003           0 :     in205 = GF_ADD( in205, in237 );             \
    3004           0 :     in173 = GF_ADD( in173, in237 );             \
    3005           0 :     in109 = GF_ADD( in109, in237 );             \
    3006           0 :     in237 = gf_zero();                          \
    3007           0 :     in238 = GF_MUL( in238, 112 );               \
    3008           0 :     in236 = GF_ADD( in236, in238 );             \
    3009           0 :     in234 = GF_ADD( in234, in238 );             \
    3010           0 :     in230 = GF_ADD( in230, in238 );             \
    3011           0 :     in206 = GF_ADD( in206, in238 );             \
    3012           0 :     in174 = GF_ADD( in174, in238 );             \
    3013           0 :     in110 = GF_ADD( in110, in238 );             \
    3014           0 :     in238 = gf_zero();                          \
    3015           0 :     in239 = GF_MUL( in239, 112 );               \
    3016           0 :     in238 = GF_ADD( in238, in239 );             \
    3017           0 :     in237 = GF_ADD( in237, in239 );             \
    3018           0 :     in235 = GF_ADD( in235, in239 );             \
    3019           0 :     in231 = GF_ADD( in231, in239 );             \
    3020           0 :     in207 = GF_ADD( in207, in239 );             \
    3021           0 :     in175 = GF_ADD( in175, in239 );             \
    3022           0 :     in111 = GF_ADD( in111, in239 );             \
    3023           0 :     in239 = gf_zero();                          \
    3024           0 :     in240 = GF_MUL( in240, 87 );                \
    3025           0 :     in224 = GF_ADD( in224, in240 );             \
    3026           0 :     in208 = GF_ADD( in208, in240 );             \
    3027           0 :     in176 = GF_ADD( in176, in240 );             \
    3028           0 :     in112 = GF_ADD( in112, in240 );             \
    3029           0 :     in240 = gf_zero();                          \
    3030           0 :     in241 = GF_MUL( in241, 87 );                \
    3031           0 :     in240 = GF_ADD( in240, in241 );             \
    3032           0 :     in225 = GF_ADD( in225, in241 );             \
    3033           0 :     in209 = GF_ADD( in209, in241 );             \
    3034           0 :     in177 = GF_ADD( in177, in241 );             \
    3035           0 :     in113 = GF_ADD( in113, in241 );             \
    3036           0 :     in241 = gf_zero();                          \
    3037           0 :     in242 = GF_MUL( in242, 99 );                \
    3038           0 :     in240 = GF_ADD( in240, in242 );             \
    3039           0 :     in226 = GF_ADD( in226, in242 );             \
    3040           0 :     in210 = GF_ADD( in210, in242 );             \
    3041           0 :     in178 = GF_ADD( in178, in242 );             \
    3042           0 :     in114 = GF_ADD( in114, in242 );             \
    3043           0 :     in242 = gf_zero();                          \
    3044           0 :     in243 = GF_MUL( in243, 99 );                \
    3045           0 :     in242 = GF_ADD( in242, in243 );             \
    3046           0 :     in241 = GF_ADD( in241, in243 );             \
    3047           0 :     in227 = GF_ADD( in227, in243 );             \
    3048           0 :     in211 = GF_ADD( in211, in243 );             \
    3049           0 :     in179 = GF_ADD( in179, in243 );             \
    3050           0 :     in115 = GF_ADD( in115, in243 );             \
    3051           0 :     in243 = gf_zero();                          \
    3052           0 :     in244 = GF_MUL( in244, 50 );                \
    3053           0 :     in240 = GF_ADD( in240, in244 );             \
    3054           0 :     in228 = GF_ADD( in228, in244 );             \
    3055           0 :     in212 = GF_ADD( in212, in244 );             \
    3056           0 :     in180 = GF_ADD( in180, in244 );             \
    3057           0 :     in116 = GF_ADD( in116, in244 );             \
    3058           0 :     in244 = gf_zero();                          \
    3059           0 :     in245 = GF_MUL( in245, 50 );                \
    3060           0 :     in244 = GF_ADD( in244, in245 );             \
    3061           0 :     in241 = GF_ADD( in241, in245 );             \
    3062           0 :     in229 = GF_ADD( in229, in245 );             \
    3063           0 :     in213 = GF_ADD( in213, in245 );             \
    3064           0 :     in181 = GF_ADD( in181, in245 );             \
    3065           0 :     in117 = GF_ADD( in117, in245 );             \
    3066           0 :     in245 = gf_zero();                          \
    3067           0 :     in246 = GF_MUL( in246, 252 );               \
    3068           0 :     in244 = GF_ADD( in244, in246 );             \
    3069           0 :     in242 = GF_ADD( in242, in246 );             \
    3070           0 :     in230 = GF_ADD( in230, in246 );             \
    3071           0 :     in214 = GF_ADD( in214, in246 );             \
    3072           0 :     in182 = GF_ADD( in182, in246 );             \
    3073           0 :     in118 = GF_ADD( in118, in246 );             \
    3074           0 :     in246 = gf_zero();                          \
    3075           0 :     in247 = GF_MUL( in247, 252 );               \
    3076           0 :     in246 = GF_ADD( in246, in247 );             \
    3077           0 :     in245 = GF_ADD( in245, in247 );             \
    3078           0 :     in243 = GF_ADD( in243, in247 );             \
    3079           0 :     in231 = GF_ADD( in231, in247 );             \
    3080           0 :     in215 = GF_ADD( in215, in247 );             \
    3081           0 :     in183 = GF_ADD( in183, in247 );             \
    3082           0 :     in119 = GF_ADD( in119, in247 );             \
    3083           0 :     in247 = gf_zero();                          \
    3084           0 :     in248 = GF_MUL( in248, 231 );               \
    3085           0 :     in240 = GF_ADD( in240, in248 );             \
    3086           0 :     in232 = GF_ADD( in232, in248 );             \
    3087           0 :     in216 = GF_ADD( in216, in248 );             \
    3088           0 :     in184 = GF_ADD( in184, in248 );             \
    3089           0 :     in120 = GF_ADD( in120, in248 );             \
    3090           0 :     in248 = gf_zero();                          \
    3091           0 :     in249 = GF_MUL( in249, 231 );               \
    3092           0 :     in248 = GF_ADD( in248, in249 );             \
    3093           0 :     in241 = GF_ADD( in241, in249 );             \
    3094           0 :     in233 = GF_ADD( in233, in249 );             \
    3095           0 :     in217 = GF_ADD( in217, in249 );             \
    3096           0 :     in185 = GF_ADD( in185, in249 );             \
    3097           0 :     in121 = GF_ADD( in121, in249 );             \
    3098           0 :     in249 = gf_zero();                          \
    3099           0 :     in250 = GF_MUL( in250, 160 );               \
    3100           0 :     in248 = GF_ADD( in248, in250 );             \
    3101           0 :     in242 = GF_ADD( in242, in250 );             \
    3102           0 :     in234 = GF_ADD( in234, in250 );             \
    3103           0 :     in218 = GF_ADD( in218, in250 );             \
    3104           0 :     in186 = GF_ADD( in186, in250 );             \
    3105           0 :     in122 = GF_ADD( in122, in250 );             \
    3106           0 :     in250 = gf_zero();                          \
    3107           0 :     in251 = GF_MUL( in251, 160 );               \
    3108           0 :     in250 = GF_ADD( in250, in251 );             \
    3109           0 :     in249 = GF_ADD( in249, in251 );             \
    3110           0 :     in243 = GF_ADD( in243, in251 );             \
    3111           0 :     in235 = GF_ADD( in235, in251 );             \
    3112           0 :     in219 = GF_ADD( in219, in251 );             \
    3113           0 :     in187 = GF_ADD( in187, in251 );             \
    3114           0 :     in123 = GF_ADD( in123, in251 );             \
    3115           0 :     in251 = gf_zero();                          \
    3116           0 :     in252 = GF_MUL( in252, 177 );               \
    3117           0 :     in248 = GF_ADD( in248, in252 );             \
    3118           0 :     in244 = GF_ADD( in244, in252 );             \
    3119           0 :     in236 = GF_ADD( in236, in252 );             \
    3120           0 :     in220 = GF_ADD( in220, in252 );             \
    3121           0 :     in188 = GF_ADD( in188, in252 );             \
    3122           0 :     in124 = GF_ADD( in124, in252 );             \
    3123           0 :     in252 = gf_zero();                          \
    3124           0 :     in253 = GF_MUL( in253, 177 );               \
    3125           0 :     in252 = GF_ADD( in252, in253 );             \
    3126           0 :     in249 = GF_ADD( in249, in253 );             \
    3127           0 :     in245 = GF_ADD( in245, in253 );             \
    3128           0 :     in237 = GF_ADD( in237, in253 );             \
    3129           0 :     in221 = GF_ADD( in221, in253 );             \
    3130           0 :     in189 = GF_ADD( in189, in253 );             \
    3131           0 :     in125 = GF_ADD( in125, in253 );             \
    3132           0 :     in253 = gf_zero();                          \
    3133           0 :     in254 = GF_MUL( in254, 185 );               \
    3134           0 :     in252 = GF_ADD( in252, in254 );             \
    3135           0 :     in250 = GF_ADD( in250, in254 );             \
    3136           0 :     in246 = GF_ADD( in246, in254 );             \
    3137           0 :     in238 = GF_ADD( in238, in254 );             \
    3138           0 :     in222 = GF_ADD( in222, in254 );             \
    3139           0 :     in190 = GF_ADD( in190, in254 );             \
    3140           0 :     in126 = GF_ADD( in126, in254 );             \
    3141           0 :     in254 = gf_zero();                          \
    3142           0 :     in255 = GF_MUL( in255, 185 );               \
    3143           0 :     in254 = GF_ADD( in254, in255 );             \
    3144           0 :     in253 = GF_ADD( in253, in255 );             \
    3145           0 :     in251 = GF_ADD( in251, in255 );             \
    3146           0 :     in247 = GF_ADD( in247, in255 );             \
    3147           0 :     in239 = GF_ADD( in239, in255 );             \
    3148           0 :     in223 = GF_ADD( in223, in255 );             \
    3149           0 :     in191 = GF_ADD( in191, in255 );             \
    3150           0 :     in127 = GF_ADD( in127, in255 );             \
    3151           0 :     in255 = gf_zero();                          \
    3152           0 :     in00 = GF_MUL( in00, 1 );                   \
    3153           0 :     in01 = GF_MUL( in01, 1 );                   \
    3154           0 :     in02 = GF_MUL( in02, 6 );                   \
    3155           0 :     in03 = GF_MUL( in03, 6 );                   \
    3156           0 :     in04 = GF_MUL( in04, 108 );                 \
    3157           0 :     in05 = GF_MUL( in05, 108 );                 \
    3158           0 :     in06 = GF_MUL( in06, 117 );                 \
    3159           0 :     in07 = GF_MUL( in07, 117 );                 \
    3160           0 :     in08 = GF_MUL( in08, 208 );                 \
    3161           0 :     in09 = GF_MUL( in09, 208 );                 \
    3162           0 :     in10 = GF_MUL( in10, 218 );                 \
    3163           0 :     in11 = GF_MUL( in11, 218 );                 \
    3164           0 :     in12 = GF_MUL( in12, 136 );                 \
    3165           0 :     in13 = GF_MUL( in13, 136 );                 \
    3166           0 :     in14 = GF_MUL( in14, 23 );                  \
    3167           0 :     in15 = GF_MUL( in15, 23 );                  \
    3168           0 :     in16 = GF_MUL( in16, 42 );                  \
    3169           0 :     in17 = GF_MUL( in17, 42 );                  \
    3170           0 :     in18 = GF_MUL( in18, 252 );                 \
    3171           0 :     in19 = GF_MUL( in19, 252 );                 \
    3172           0 :     in20 = GF_MUL( in20, 158 );                 \
    3173           0 :     in21 = GF_MUL( in21, 158 );                 \
    3174           0 :     in22 = GF_MUL( in22, 99 );                  \
    3175           0 :     in23 = GF_MUL( in23, 99 );                  \
    3176           0 :     in24 = GF_MUL( in24, 108 );                 \
    3177           0 :     in25 = GF_MUL( in25, 108 );                 \
    3178           0 :     in26 = GF_MUL( in26, 117 );                 \
    3179           0 :     in27 = GF_MUL( in27, 117 );                 \
    3180           0 :     in28 = GF_MUL( in28, 233 );                 \
    3181           0 :     in29 = GF_MUL( in29, 233 );                 \
    3182           0 :     in30 = GF_MUL( in30, 76 );                  \
    3183           0 :     in31 = GF_MUL( in31, 76 );                  \
    3184           0 :     in32 = GF_MUL( in32, 165 );                 \
    3185           0 :     in33 = GF_MUL( in33, 165 );                 \
    3186           0 :     in34 = GF_MUL( in34, 249 );                 \
    3187           0 :     in35 = GF_MUL( in35, 249 );                 \
    3188           0 :     in36 = GF_MUL( in36, 196 );                 \
    3189           0 :     in37 = GF_MUL( in37, 196 );                 \
    3190           0 :     in38 = GF_MUL( in38, 162 );                 \
    3191           0 :     in39 = GF_MUL( in39, 162 );                 \
    3192           0 :     in40 = GF_MUL( in40, 212 );                 \
    3193           0 :     in41 = GF_MUL( in41, 212 );                 \
    3194           0 :     in42 = GF_MUL( in42, 194 );                 \
    3195           0 :     in43 = GF_MUL( in43, 194 );                 \
    3196           0 :     in44 = GF_MUL( in44, 37 );                  \
    3197           0 :     in45 = GF_MUL( in45, 37 );                  \
    3198           0 :     in46 = GF_MUL( in46, 222 );                 \
    3199           0 :     in47 = GF_MUL( in47, 222 );                 \
    3200           0 :     in48 = GF_MUL( in48, 15 );                  \
    3201           0 :     in49 = GF_MUL( in49, 15 );                  \
    3202           0 :     in50 = GF_MUL( in50, 34 );                  \
    3203           0 :     in51 = GF_MUL( in51, 34 );                  \
    3204           0 :     in52 = GF_MUL( in52, 94 );                  \
    3205           0 :     in53 = GF_MUL( in53, 94 );                  \
    3206           0 :     in54 = GF_MUL( in54, 217 );                 \
    3207           0 :     in55 = GF_MUL( in55, 217 );                 \
    3208           0 :     in56 = GF_MUL( in56, 196 );                 \
    3209           0 :     in57 = GF_MUL( in57, 196 );                 \
    3210           0 :     in58 = GF_MUL( in58, 162 );                 \
    3211           0 :     in59 = GF_MUL( in59, 162 );                 \
    3212           0 :     in60 = GF_MUL( in60, 171 );                 \
    3213           0 :     in61 = GF_MUL( in61, 171 );                 \
    3214           0 :     in62 = GF_MUL( in62, 221 );                 \
    3215           0 :     in63 = GF_MUL( in63, 221 );                 \
    3216           0 :     in64 = GF_MUL( in64, 250 );                 \
    3217           0 :     in65 = GF_MUL( in65, 250 );                 \
    3218           0 :     in66 = GF_MUL( in66, 38 );                  \
    3219           0 :     in67 = GF_MUL( in67, 38 );                  \
    3220           0 :     in68 = GF_MUL( in68, 22 );                  \
    3221           0 :     in69 = GF_MUL( in69, 22 );                  \
    3222           0 :     in70 = GF_MUL( in70, 116 );                 \
    3223           0 :     in71 = GF_MUL( in71, 116 );                 \
    3224           0 :     in72 = GF_MUL( in72, 175 );                 \
    3225           0 :     in73 = GF_MUL( in73, 175 );                 \
    3226           0 :     in74 = GF_MUL( in74, 197 );                 \
    3227           0 :     in75 = GF_MUL( in75, 197 );                 \
    3228           0 :     in76 = GF_MUL( in76, 91 );                  \
    3229           0 :     in77 = GF_MUL( in77, 91 );                  \
    3230           0 :     in78 = GF_MUL( in78, 199 );                 \
    3231           0 :     in79 = GF_MUL( in79, 199 );                 \
    3232           0 :     in80 = GF_MUL( in80, 92 );                  \
    3233           0 :     in81 = GF_MUL( in81, 92 );                  \
    3234           0 :     in82 = GF_MUL( in82, 213 );                 \
    3235           0 :     in83 = GF_MUL( in83, 213 );                 \
    3236           0 :     in84 = GF_MUL( in84, 102 );                 \
    3237           0 :     in85 = GF_MUL( in85, 102 );                 \
    3238           0 :     in86 = GF_MUL( in86, 73 );                  \
    3239           0 :     in87 = GF_MUL( in87, 73 );                  \
    3240           0 :     in88 = GF_MUL( in88, 22 );                  \
    3241           0 :     in89 = GF_MUL( in89, 22 );                  \
    3242           0 :     in90 = GF_MUL( in90, 116 );                 \
    3243           0 :     in91 = GF_MUL( in91, 116 );                 \
    3244           0 :     in92 = GF_MUL( in92, 251 );                 \
    3245           0 :     in93 = GF_MUL( in93, 251 );                 \
    3246           0 :     in94 = GF_MUL( in94, 32 );                  \
    3247           0 :     in95 = GF_MUL( in95, 32 );                  \
    3248           0 :     in96 = GF_MUL( in96, 219 );                 \
    3249           0 :     in97 = GF_MUL( in97, 219 );                 \
    3250           0 :     in98 = GF_MUL( in98, 224 );                 \
    3251           0 :     in99 = GF_MUL( in99, 224 );                 \
    3252           0 :     in100 = GF_MUL( in100, 123 );               \
    3253           0 :     in101 = GF_MUL( in101, 123 );               \
    3254           0 :     in102 = GF_MUL( in102, 7 );                 \
    3255           0 :     in103 = GF_MUL( in103, 7 );                 \
    3256           0 :     in104 = GF_MUL( in104, 96 );                \
    3257           0 :     in105 = GF_MUL( in105, 96 );                \
    3258           0 :     in106 = GF_MUL( in106, 93 );                \
    3259           0 :     in107 = GF_MUL( in107, 93 );                \
    3260           0 :     in108 = GF_MUL( in108, 3 );                 \
    3261           0 :     in109 = GF_MUL( in109, 3 );                 \
    3262           0 :     in110 = GF_MUL( in110, 10 );                \
    3263           0 :     in111 = GF_MUL( in111, 10 );                \
    3264           0 :     in112 = GF_MUL( in112, 95 );                \
    3265           0 :     in113 = GF_MUL( in113, 95 );                \
    3266           0 :     in114 = GF_MUL( in114, 223 );               \
    3267           0 :     in115 = GF_MUL( in115, 223 );               \
    3268           0 :     in116 = GF_MUL( in116, 210 );               \
    3269           0 :     in117 = GF_MUL( in117, 210 );               \
    3270           0 :     in118 = GF_MUL( in118, 214 );               \
    3271           0 :     in119 = GF_MUL( in119, 214 );               \
    3272           0 :     in120 = GF_MUL( in120, 123 );               \
    3273           0 :     in121 = GF_MUL( in121, 123 );               \
    3274           0 :     in122 = GF_MUL( in122, 7 );                 \
    3275           0 :     in123 = GF_MUL( in123, 7 );                 \
    3276           0 :     in124 = GF_MUL( in124, 126 );               \
    3277           0 :     in125 = GF_MUL( in125, 126 );               \
    3278           0 :     in126 = GF_MUL( in126, 25 );                \
    3279           0 :     in127 = GF_MUL( in127, 25 );                \
    3280           0 :     in128 = GF_MUL( in128, 4 );                 \
    3281           0 :     in129 = GF_MUL( in129, 4 );                 \
    3282           0 :     in130 = GF_MUL( in130, 24 );                \
    3283           0 :     in131 = GF_MUL( in131, 24 );                \
    3284           0 :     in132 = GF_MUL( in132, 173 );               \
    3285           0 :     in133 = GF_MUL( in133, 173 );               \
    3286           0 :     in134 = GF_MUL( in134, 201 );               \
    3287           0 :     in135 = GF_MUL( in135, 201 );               \
    3288           0 :     in136 = GF_MUL( in136, 103 );               \
    3289           0 :     in137 = GF_MUL( in137, 103 );               \
    3290           0 :     in138 = GF_MUL( in138, 79 );                \
    3291           0 :     in139 = GF_MUL( in139, 79 );                \
    3292           0 :     in140 = GF_MUL( in140, 26 );                \
    3293           0 :     in141 = GF_MUL( in141, 26 );                \
    3294           0 :     in142 = GF_MUL( in142, 92 );                \
    3295           0 :     in143 = GF_MUL( in143, 92 );                \
    3296           0 :     in144 = GF_MUL( in144, 168 );               \
    3297           0 :     in145 = GF_MUL( in145, 168 );               \
    3298           0 :     in146 = GF_MUL( in146, 215 );               \
    3299           0 :     in147 = GF_MUL( in147, 215 );               \
    3300           0 :     in148 = GF_MUL( in148, 66 );                \
    3301           0 :     in149 = GF_MUL( in149, 66 );                \
    3302           0 :     in150 = GF_MUL( in150, 145 );               \
    3303           0 :     in151 = GF_MUL( in151, 145 );               \
    3304           0 :     in152 = GF_MUL( in152, 173 );               \
    3305           0 :     in153 = GF_MUL( in153, 173 );               \
    3306           0 :     in154 = GF_MUL( in154, 201 );               \
    3307           0 :     in155 = GF_MUL( in155, 201 );               \
    3308           0 :     in156 = GF_MUL( in156, 131 );               \
    3309           0 :     in157 = GF_MUL( in157, 131 );               \
    3310           0 :     in158 = GF_MUL( in158, 45 );                \
    3311           0 :     in159 = GF_MUL( in159, 45 );                \
    3312           0 :     in160 = GF_MUL( in160, 174 );               \
    3313           0 :     in161 = GF_MUL( in161, 174 );               \
    3314           0 :     in162 = GF_MUL( in162, 195 );               \
    3315           0 :     in163 = GF_MUL( in163, 195 );               \
    3316           0 :     in164 = GF_MUL( in164, 55 );                \
    3317           0 :     in165 = GF_MUL( in165, 55 );                \
    3318           0 :     in166 = GF_MUL( in166, 178 );               \
    3319           0 :     in167 = GF_MUL( in167, 178 );               \
    3320           0 :     in168 = GF_MUL( in168, 119 );               \
    3321           0 :     in169 = GF_MUL( in169, 119 );               \
    3322           0 :     in170 = GF_MUL( in170, 47 );                \
    3323           0 :     in171 = GF_MUL( in171, 47 );                \
    3324           0 :     in172 = GF_MUL( in172, 148 );               \
    3325           0 :     in173 = GF_MUL( in173, 148 );               \
    3326           0 :     in174 = GF_MUL( in174, 95 );                \
    3327           0 :     in175 = GF_MUL( in175, 95 );                \
    3328           0 :     in176 = GF_MUL( in176, 60 );                \
    3329           0 :     in177 = GF_MUL( in177, 60 );                \
    3330           0 :     in178 = GF_MUL( in178, 136 );               \
    3331           0 :     in179 = GF_MUL( in179, 136 );               \
    3332           0 :     in180 = GF_MUL( in180, 101 );               \
    3333           0 :     in181 = GF_MUL( in181, 101 );               \
    3334           0 :     in182 = GF_MUL( in182, 67 );                \
    3335           0 :     in183 = GF_MUL( in183, 67 );                \
    3336           0 :     in184 = GF_MUL( in184, 55 );                \
    3337           0 :     in185 = GF_MUL( in185, 55 );                \
    3338           0 :     in186 = GF_MUL( in186, 178 );               \
    3339           0 :     in187 = GF_MUL( in187, 178 );               \
    3340           0 :     in188 = GF_MUL( in188, 150 );               \
    3341           0 :     in189 = GF_MUL( in189, 150 );               \
    3342           0 :     in190 = GF_MUL( in190, 83 );                \
    3343           0 :     in191 = GF_MUL( in191, 83 );                \
    3344           0 :     in192 = GF_MUL( in192, 207 );               \
    3345           0 :     in193 = GF_MUL( in193, 207 );               \
    3346           0 :     in194 = GF_MUL( in194, 152 );               \
    3347           0 :     in195 = GF_MUL( in195, 152 );               \
    3348           0 :     in196 = GF_MUL( in196, 88 );                \
    3349           0 :     in197 = GF_MUL( in197, 88 );                \
    3350           0 :     in198 = GF_MUL( in198, 205 );               \
    3351           0 :     in199 = GF_MUL( in199, 205 );               \
    3352           0 :     in200 = GF_MUL( in200, 134 );               \
    3353           0 :     in201 = GF_MUL( in201, 134 );               \
    3354           0 :     in202 = GF_MUL( in202, 51 );                \
    3355           0 :     in203 = GF_MUL( in203, 51 );                \
    3356           0 :     in204 = GF_MUL( in204, 113 );               \
    3357           0 :     in205 = GF_MUL( in205, 113 );               \
    3358           0 :     in206 = GF_MUL( in206, 59 );                \
    3359           0 :     in207 = GF_MUL( in207, 59 );                \
    3360           0 :     in208 = GF_MUL( in208, 109 );               \
    3361           0 :     in209 = GF_MUL( in209, 109 );               \
    3362           0 :     in210 = GF_MUL( in210, 115 );               \
    3363           0 :     in211 = GF_MUL( in211, 115 );               \
    3364           0 :     in212 = GF_MUL( in212, 133 );               \
    3365           0 :     in213 = GF_MUL( in213, 133 );               \
    3366           0 :     in214 = GF_MUL( in214, 57 );                \
    3367           0 :     in215 = GF_MUL( in215, 57 );                \
    3368           0 :     in216 = GF_MUL( in216, 88 );                \
    3369           0 :     in217 = GF_MUL( in217, 88 );                \
    3370           0 :     in218 = GF_MUL( in218, 205 );               \
    3371           0 :     in219 = GF_MUL( in219, 205 );               \
    3372           0 :     in220 = GF_MUL( in220, 203 );               \
    3373           0 :     in221 = GF_MUL( in221, 203 );               \
    3374           0 :     in222 = GF_MUL( in222, 128 );               \
    3375           0 :     in223 = GF_MUL( in223, 128 );               \
    3376           0 :     in224 = GF_MUL( in224, 75 );                \
    3377           0 :     in225 = GF_MUL( in225, 75 );                \
    3378           0 :     in226 = GF_MUL( in226, 167 );               \
    3379           0 :     in227 = GF_MUL( in227, 167 );               \
    3380           0 :     in228 = GF_MUL( in228, 241 );               \
    3381           0 :     in229 = GF_MUL( in229, 241 );               \
    3382           0 :     in230 = GF_MUL( in230, 28 );                \
    3383           0 :     in231 = GF_MUL( in231, 28 );                \
    3384           0 :     in232 = GF_MUL( in232, 157 );               \
    3385           0 :     in233 = GF_MUL( in233, 157 );               \
    3386           0 :     in234 = GF_MUL( in234, 105 );               \
    3387           0 :     in235 = GF_MUL( in235, 105 );               \
    3388           0 :     in236 = GF_MUL( in236, 12 );                \
    3389           0 :     in237 = GF_MUL( in237, 12 );                \
    3390           0 :     in238 = GF_MUL( in238, 40 );                \
    3391           0 :     in239 = GF_MUL( in239, 40 );                \
    3392           0 :     in240 = GF_MUL( in240, 97 );                \
    3393           0 :     in241 = GF_MUL( in241, 97 );                \
    3394           0 :     in242 = GF_MUL( in242, 91 );                \
    3395           0 :     in243 = GF_MUL( in243, 91 );                \
    3396           0 :     in244 = GF_MUL( in244, 111 );               \
    3397           0 :     in245 = GF_MUL( in245, 111 );               \
    3398           0 :     in246 = GF_MUL( in246, 127 );               \
    3399           0 :     in247 = GF_MUL( in247, 127 );               \
    3400           0 :     in248 = GF_MUL( in248, 241 );               \
    3401           0 :     in249 = GF_MUL( in249, 241 );               \
    3402           0 :     in250 = GF_MUL( in250, 28 );                \
    3403           0 :     in251 = GF_MUL( in251, 28 );                \
    3404           0 :     in252 = GF_MUL( in252, 229 );               \
    3405           0 :     in253 = GF_MUL( in253, 229 );               \
    3406           0 :     in254 = GF_MUL( in254, 100 );               \
    3407           0 :     in255 = GF_MUL( in255, 100 );               \
    3408           0 :   } while( 0 )
    3409             : 
    3410             : #endif /* HEADER_fd_src_ballet_reedsol_fd_reedsol_fderiv_h */

Generated by: LCOV version 1.14