LCOV - code coverage report
Current view: top level - ballet/reedsol - fd_reedsol_fderiv.h (source / functions) Hit Total Coverage
Test: cov.lcov Lines: 1482 3276 45.2 %
Date: 2024-11-13 11:58:15 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       11625 : #define FD_REEDSOL_PRIVATE_EXPAND( M, ... ) M(  __VA_ARGS__ )
      47             : 
      48        2865 : #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         378 :   do {                                       \
      55         378 :     in00 = GF_MUL( in00, 1 );                \
      56         378 :     in00 = gf_zero();                        \
      57         378 :     in01 = GF_MUL( in01, 1 );                \
      58         378 :     in00 = GF_ADD( in00, in01 );             \
      59         378 :     in01 = gf_zero();                        \
      60         378 :     in02 = GF_MUL( in02, 122 );              \
      61         378 :     in00 = GF_ADD( in00, in02 );             \
      62         378 :     in02 = gf_zero();                        \
      63         378 :     in03 = GF_MUL( in03, 122 );              \
      64         378 :     in02 = GF_ADD( in02, in03 );             \
      65         378 :     in01 = GF_ADD( in01, in03 );             \
      66         378 :     in03 = gf_zero();                        \
      67         378 :     in04 = GF_MUL( in04, 32 );               \
      68         378 :     in00 = GF_ADD( in00, in04 );             \
      69         378 :     in04 = gf_zero();                        \
      70         378 :     in05 = GF_MUL( in05, 32 );               \
      71         378 :     in04 = GF_ADD( in04, in05 );             \
      72         378 :     in01 = GF_ADD( in01, in05 );             \
      73         378 :     in05 = gf_zero();                        \
      74         378 :     in06 = GF_MUL( in06, 251 );              \
      75         378 :     in04 = GF_ADD( in04, in06 );             \
      76         378 :     in02 = GF_ADD( in02, in06 );             \
      77         378 :     in06 = gf_zero();                        \
      78         378 :     in07 = GF_MUL( in07, 251 );              \
      79         378 :     in06 = GF_ADD( in06, in07 );             \
      80         378 :     in05 = GF_ADD( in05, in07 );             \
      81         378 :     in03 = GF_ADD( in03, in07 );             \
      82         378 :     in07 = gf_zero();                        \
      83         378 :     in08 = GF_MUL( in08, 41 );               \
      84         378 :     in00 = GF_ADD( in00, in08 );             \
      85         378 :     in08 = gf_zero();                        \
      86         378 :     in09 = GF_MUL( in09, 41 );               \
      87         378 :     in08 = GF_ADD( in08, in09 );             \
      88         378 :     in01 = GF_ADD( in01, in09 );             \
      89         378 :     in09 = gf_zero();                        \
      90         378 :     in10 = GF_MUL( in10, 118 );              \
      91         378 :     in08 = GF_ADD( in08, in10 );             \
      92         378 :     in02 = GF_ADD( in02, in10 );             \
      93         378 :     in10 = gf_zero();                        \
      94         378 :     in11 = GF_MUL( in11, 118 );              \
      95         378 :     in10 = GF_ADD( in10, in11 );             \
      96         378 :     in09 = GF_ADD( in09, in11 );             \
      97         378 :     in03 = GF_ADD( in03, in11 );             \
      98         378 :     in11 = gf_zero();                        \
      99         378 :     in12 = GF_MUL( in12, 73 );               \
     100         378 :     in08 = GF_ADD( in08, in12 );             \
     101         378 :     in04 = GF_ADD( in04, in12 );             \
     102         378 :     in12 = gf_zero();                        \
     103         378 :     in13 = GF_MUL( in13, 73 );               \
     104         378 :     in12 = GF_ADD( in12, in13 );             \
     105         378 :     in09 = GF_ADD( in09, in13 );             \
     106         378 :     in05 = GF_ADD( in05, in13 );             \
     107         378 :     in13 = gf_zero();                        \
     108         378 :     in14 = GF_MUL( in14, 102 );              \
     109         378 :     in12 = GF_ADD( in12, in14 );             \
     110         378 :     in10 = GF_ADD( in10, in14 );             \
     111         378 :     in06 = GF_ADD( in06, in14 );             \
     112         378 :     in14 = gf_zero();                        \
     113         378 :     in15 = GF_MUL( in15, 102 );              \
     114         378 :     in14 = GF_ADD( in14, in15 );             \
     115         378 :     in13 = GF_ADD( in13, in15 );             \
     116         378 :     in11 = GF_ADD( in11, in15 );             \
     117         378 :     in07 = GF_ADD( in07, in15 );             \
     118         378 :     in15 = gf_zero();                        \
     119         378 :     in00 = GF_MUL( in00, 1 );                \
     120         378 :     in01 = GF_MUL( in01, 1 );                \
     121         378 :     in02 = GF_MUL( in02, 6 );                \
     122         378 :     in03 = GF_MUL( in03, 6 );                \
     123         378 :     in04 = GF_MUL( in04, 108 );              \
     124         378 :     in05 = GF_MUL( in05, 108 );              \
     125         378 :     in06 = GF_MUL( in06, 117 );              \
     126         378 :     in07 = GF_MUL( in07, 117 );              \
     127         378 :     in08 = GF_MUL( in08, 208 );              \
     128         378 :     in09 = GF_MUL( in09, 208 );              \
     129         378 :     in10 = GF_MUL( in10, 218 );              \
     130         378 :     in11 = GF_MUL( in11, 218 );              \
     131         378 :     in12 = GF_MUL( in12, 136 );              \
     132         378 :     in13 = GF_MUL( in13, 136 );              \
     133         378 :     in14 = GF_MUL( in14, 23 );               \
     134         378 :     in15 = GF_MUL( in15, 23 );               \
     135         378 :   } 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        1047 :   do {                                       \
     144        1047 :     in00 = GF_MUL( in00, 1 );                \
     145        1047 :     in00 = gf_zero();                        \
     146        1047 :     in01 = GF_MUL( in01, 1 );                \
     147        1047 :     in00 = GF_ADD( in00, in01 );             \
     148        1047 :     in01 = gf_zero();                        \
     149        1047 :     in02 = GF_MUL( in02, 122 );              \
     150        1047 :     in00 = GF_ADD( in00, in02 );             \
     151        1047 :     in02 = gf_zero();                        \
     152        1047 :     in03 = GF_MUL( in03, 122 );              \
     153        1047 :     in02 = GF_ADD( in02, in03 );             \
     154        1047 :     in01 = GF_ADD( in01, in03 );             \
     155        1047 :     in03 = gf_zero();                        \
     156        1047 :     in04 = GF_MUL( in04, 32 );               \
     157        1047 :     in00 = GF_ADD( in00, in04 );             \
     158        1047 :     in04 = gf_zero();                        \
     159        1047 :     in05 = GF_MUL( in05, 32 );               \
     160        1047 :     in04 = GF_ADD( in04, in05 );             \
     161        1047 :     in01 = GF_ADD( in01, in05 );             \
     162        1047 :     in05 = gf_zero();                        \
     163        1047 :     in06 = GF_MUL( in06, 251 );              \
     164        1047 :     in04 = GF_ADD( in04, in06 );             \
     165        1047 :     in02 = GF_ADD( in02, in06 );             \
     166        1047 :     in06 = gf_zero();                        \
     167        1047 :     in07 = GF_MUL( in07, 251 );              \
     168        1047 :     in06 = GF_ADD( in06, in07 );             \
     169        1047 :     in05 = GF_ADD( in05, in07 );             \
     170        1047 :     in03 = GF_ADD( in03, in07 );             \
     171        1047 :     in07 = gf_zero();                        \
     172        1047 :     in08 = GF_MUL( in08, 41 );               \
     173        1047 :     in00 = GF_ADD( in00, in08 );             \
     174        1047 :     in08 = gf_zero();                        \
     175        1047 :     in09 = GF_MUL( in09, 41 );               \
     176        1047 :     in08 = GF_ADD( in08, in09 );             \
     177        1047 :     in01 = GF_ADD( in01, in09 );             \
     178        1047 :     in09 = gf_zero();                        \
     179        1047 :     in10 = GF_MUL( in10, 118 );              \
     180        1047 :     in08 = GF_ADD( in08, in10 );             \
     181        1047 :     in02 = GF_ADD( in02, in10 );             \
     182        1047 :     in10 = gf_zero();                        \
     183        1047 :     in11 = GF_MUL( in11, 118 );              \
     184        1047 :     in10 = GF_ADD( in10, in11 );             \
     185        1047 :     in09 = GF_ADD( in09, in11 );             \
     186        1047 :     in03 = GF_ADD( in03, in11 );             \
     187        1047 :     in11 = gf_zero();                        \
     188        1047 :     in12 = GF_MUL( in12, 73 );               \
     189        1047 :     in08 = GF_ADD( in08, in12 );             \
     190        1047 :     in04 = GF_ADD( in04, in12 );             \
     191        1047 :     in12 = gf_zero();                        \
     192        1047 :     in13 = GF_MUL( in13, 73 );               \
     193        1047 :     in12 = GF_ADD( in12, in13 );             \
     194        1047 :     in09 = GF_ADD( in09, in13 );             \
     195        1047 :     in05 = GF_ADD( in05, in13 );             \
     196        1047 :     in13 = gf_zero();                        \
     197        1047 :     in14 = GF_MUL( in14, 102 );              \
     198        1047 :     in12 = GF_ADD( in12, in14 );             \
     199        1047 :     in10 = GF_ADD( in10, in14 );             \
     200        1047 :     in06 = GF_ADD( in06, in14 );             \
     201        1047 :     in14 = gf_zero();                        \
     202        1047 :     in15 = GF_MUL( in15, 102 );              \
     203        1047 :     in14 = GF_ADD( in14, in15 );             \
     204        1047 :     in13 = GF_ADD( in13, in15 );             \
     205        1047 :     in11 = GF_ADD( in11, in15 );             \
     206        1047 :     in07 = GF_ADD( in07, in15 );             \
     207        1047 :     in15 = gf_zero();                        \
     208        1047 :     in16 = GF_MUL( in16, 31 );               \
     209        1047 :     in00 = GF_ADD( in00, in16 );             \
     210        1047 :     in16 = gf_zero();                        \
     211        1047 :     in17 = GF_MUL( in17, 31 );               \
     212        1047 :     in16 = GF_ADD( in16, in17 );             \
     213        1047 :     in01 = GF_ADD( in01, in17 );             \
     214        1047 :     in17 = gf_zero();                        \
     215        1047 :     in18 = GF_MUL( in18, 127 );              \
     216        1047 :     in16 = GF_ADD( in16, in18 );             \
     217        1047 :     in02 = GF_ADD( in02, in18 );             \
     218        1047 :     in18 = gf_zero();                        \
     219        1047 :     in19 = GF_MUL( in19, 127 );              \
     220        1047 :     in18 = GF_ADD( in18, in19 );             \
     221        1047 :     in17 = GF_ADD( in17, in19 );             \
     222        1047 :     in03 = GF_ADD( in03, in19 );             \
     223        1047 :     in19 = gf_zero();                        \
     224        1047 :     in20 = GF_MUL( in20, 199 );              \
     225        1047 :     in16 = GF_ADD( in16, in20 );             \
     226        1047 :     in04 = GF_ADD( in04, in20 );             \
     227        1047 :     in20 = gf_zero();                        \
     228        1047 :     in21 = GF_MUL( in21, 199 );              \
     229        1047 :     in20 = GF_ADD( in20, in21 );             \
     230        1047 :     in17 = GF_ADD( in17, in21 );             \
     231        1047 :     in05 = GF_ADD( in05, in21 );             \
     232        1047 :     in21 = gf_zero();                        \
     233        1047 :     in22 = GF_MUL( in22, 91 );               \
     234        1047 :     in20 = GF_ADD( in20, in22 );             \
     235        1047 :     in18 = GF_ADD( in18, in22 );             \
     236        1047 :     in06 = GF_ADD( in06, in22 );             \
     237        1047 :     in22 = gf_zero();                        \
     238        1047 :     in23 = GF_MUL( in23, 91 );               \
     239        1047 :     in22 = GF_ADD( in22, in23 );             \
     240        1047 :     in21 = GF_ADD( in21, in23 );             \
     241        1047 :     in19 = GF_ADD( in19, in23 );             \
     242        1047 :     in07 = GF_ADD( in07, in23 );             \
     243        1047 :     in23 = gf_zero();                        \
     244        1047 :     in24 = GF_MUL( in24, 32 );               \
     245        1047 :     in16 = GF_ADD( in16, in24 );             \
     246        1047 :     in08 = GF_ADD( in08, in24 );             \
     247        1047 :     in24 = gf_zero();                        \
     248        1047 :     in25 = GF_MUL( in25, 32 );               \
     249        1047 :     in24 = GF_ADD( in24, in25 );             \
     250        1047 :     in17 = GF_ADD( in17, in25 );             \
     251        1047 :     in09 = GF_ADD( in09, in25 );             \
     252        1047 :     in25 = gf_zero();                        \
     253        1047 :     in26 = GF_MUL( in26, 251 );              \
     254        1047 :     in24 = GF_ADD( in24, in26 );             \
     255        1047 :     in18 = GF_ADD( in18, in26 );             \
     256        1047 :     in10 = GF_ADD( in10, in26 );             \
     257        1047 :     in26 = gf_zero();                        \
     258        1047 :     in27 = GF_MUL( in27, 251 );              \
     259        1047 :     in26 = GF_ADD( in26, in27 );             \
     260        1047 :     in25 = GF_ADD( in25, in27 );             \
     261        1047 :     in19 = GF_ADD( in19, in27 );             \
     262        1047 :     in11 = GF_ADD( in11, in27 );             \
     263        1047 :     in27 = gf_zero();                        \
     264        1047 :     in28 = GF_MUL( in28, 116 );              \
     265        1047 :     in24 = GF_ADD( in24, in28 );             \
     266        1047 :     in20 = GF_ADD( in20, in28 );             \
     267        1047 :     in12 = GF_ADD( in12, in28 );             \
     268        1047 :     in28 = gf_zero();                        \
     269        1047 :     in29 = GF_MUL( in29, 116 );              \
     270        1047 :     in28 = GF_ADD( in28, in29 );             \
     271        1047 :     in25 = GF_ADD( in25, in29 );             \
     272        1047 :     in21 = GF_ADD( in21, in29 );             \
     273        1047 :     in13 = GF_ADD( in13, in29 );             \
     274        1047 :     in29 = gf_zero();                        \
     275        1047 :     in30 = GF_MUL( in30, 22 );               \
     276        1047 :     in28 = GF_ADD( in28, in30 );             \
     277        1047 :     in26 = GF_ADD( in26, in30 );             \
     278        1047 :     in22 = GF_ADD( in22, in30 );             \
     279        1047 :     in14 = GF_ADD( in14, in30 );             \
     280        1047 :     in30 = gf_zero();                        \
     281        1047 :     in31 = GF_MUL( in31, 22 );               \
     282        1047 :     in30 = GF_ADD( in30, in31 );             \
     283        1047 :     in29 = GF_ADD( in29, in31 );             \
     284        1047 :     in27 = GF_ADD( in27, in31 );             \
     285        1047 :     in23 = GF_ADD( in23, in31 );             \
     286        1047 :     in15 = GF_ADD( in15, in31 );             \
     287        1047 :     in31 = gf_zero();                        \
     288        1047 :     in00 = GF_MUL( in00, 1 );                \
     289        1047 :     in01 = GF_MUL( in01, 1 );                \
     290        1047 :     in02 = GF_MUL( in02, 6 );                \
     291        1047 :     in03 = GF_MUL( in03, 6 );                \
     292        1047 :     in04 = GF_MUL( in04, 108 );              \
     293        1047 :     in05 = GF_MUL( in05, 108 );              \
     294        1047 :     in06 = GF_MUL( in06, 117 );              \
     295        1047 :     in07 = GF_MUL( in07, 117 );              \
     296        1047 :     in08 = GF_MUL( in08, 208 );              \
     297        1047 :     in09 = GF_MUL( in09, 208 );              \
     298        1047 :     in10 = GF_MUL( in10, 218 );              \
     299        1047 :     in11 = GF_MUL( in11, 218 );              \
     300        1047 :     in12 = GF_MUL( in12, 136 );              \
     301        1047 :     in13 = GF_MUL( in13, 136 );              \
     302        1047 :     in14 = GF_MUL( in14, 23 );               \
     303        1047 :     in15 = GF_MUL( in15, 23 );               \
     304        1047 :     in16 = GF_MUL( in16, 42 );               \
     305        1047 :     in17 = GF_MUL( in17, 42 );               \
     306        1047 :     in18 = GF_MUL( in18, 252 );              \
     307        1047 :     in19 = GF_MUL( in19, 252 );              \
     308        1047 :     in20 = GF_MUL( in20, 158 );              \
     309        1047 :     in21 = GF_MUL( in21, 158 );              \
     310        1047 :     in22 = GF_MUL( in22, 99 );               \
     311        1047 :     in23 = GF_MUL( in23, 99 );               \
     312        1047 :     in24 = GF_MUL( in24, 108 );              \
     313        1047 :     in25 = GF_MUL( in25, 108 );              \
     314        1047 :     in26 = GF_MUL( in26, 117 );              \
     315        1047 :     in27 = GF_MUL( in27, 117 );              \
     316        1047 :     in28 = GF_MUL( in28, 233 );              \
     317        1047 :     in29 = GF_MUL( in29, 233 );              \
     318        1047 :     in30 = GF_MUL( in30, 76 );               \
     319        1047 :     in31 = GF_MUL( in31, 76 );               \
     320        1047 :   } 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        1248 :   do {                                       \
     333        1248 :     in00 = GF_MUL( in00, 1 );                \
     334        1248 :     in00 = gf_zero();                        \
     335        1248 :     in01 = GF_MUL( in01, 1 );                \
     336        1248 :     in00 = GF_ADD( in00, in01 );             \
     337        1248 :     in01 = gf_zero();                        \
     338        1248 :     in02 = GF_MUL( in02, 122 );              \
     339        1248 :     in00 = GF_ADD( in00, in02 );             \
     340        1248 :     in02 = gf_zero();                        \
     341        1248 :     in03 = GF_MUL( in03, 122 );              \
     342        1248 :     in02 = GF_ADD( in02, in03 );             \
     343        1248 :     in01 = GF_ADD( in01, in03 );             \
     344        1248 :     in03 = gf_zero();                        \
     345        1248 :     in04 = GF_MUL( in04, 32 );               \
     346        1248 :     in00 = GF_ADD( in00, in04 );             \
     347        1248 :     in04 = gf_zero();                        \
     348        1248 :     in05 = GF_MUL( in05, 32 );               \
     349        1248 :     in04 = GF_ADD( in04, in05 );             \
     350        1248 :     in01 = GF_ADD( in01, in05 );             \
     351        1248 :     in05 = gf_zero();                        \
     352        1248 :     in06 = GF_MUL( in06, 251 );              \
     353        1248 :     in04 = GF_ADD( in04, in06 );             \
     354        1248 :     in02 = GF_ADD( in02, in06 );             \
     355        1248 :     in06 = gf_zero();                        \
     356        1248 :     in07 = GF_MUL( in07, 251 );              \
     357        1248 :     in06 = GF_ADD( in06, in07 );             \
     358        1248 :     in05 = GF_ADD( in05, in07 );             \
     359        1248 :     in03 = GF_ADD( in03, in07 );             \
     360        1248 :     in07 = gf_zero();                        \
     361        1248 :     in08 = GF_MUL( in08, 41 );               \
     362        1248 :     in00 = GF_ADD( in00, in08 );             \
     363        1248 :     in08 = gf_zero();                        \
     364        1248 :     in09 = GF_MUL( in09, 41 );               \
     365        1248 :     in08 = GF_ADD( in08, in09 );             \
     366        1248 :     in01 = GF_ADD( in01, in09 );             \
     367        1248 :     in09 = gf_zero();                        \
     368        1248 :     in10 = GF_MUL( in10, 118 );              \
     369        1248 :     in08 = GF_ADD( in08, in10 );             \
     370        1248 :     in02 = GF_ADD( in02, in10 );             \
     371        1248 :     in10 = gf_zero();                        \
     372        1248 :     in11 = GF_MUL( in11, 118 );              \
     373        1248 :     in10 = GF_ADD( in10, in11 );             \
     374        1248 :     in09 = GF_ADD( in09, in11 );             \
     375        1248 :     in03 = GF_ADD( in03, in11 );             \
     376        1248 :     in11 = gf_zero();                        \
     377        1248 :     in12 = GF_MUL( in12, 73 );               \
     378        1248 :     in08 = GF_ADD( in08, in12 );             \
     379        1248 :     in04 = GF_ADD( in04, in12 );             \
     380        1248 :     in12 = gf_zero();                        \
     381        1248 :     in13 = GF_MUL( in13, 73 );               \
     382        1248 :     in12 = GF_ADD( in12, in13 );             \
     383        1248 :     in09 = GF_ADD( in09, in13 );             \
     384        1248 :     in05 = GF_ADD( in05, in13 );             \
     385        1248 :     in13 = gf_zero();                        \
     386        1248 :     in14 = GF_MUL( in14, 102 );              \
     387        1248 :     in12 = GF_ADD( in12, in14 );             \
     388        1248 :     in10 = GF_ADD( in10, in14 );             \
     389        1248 :     in06 = GF_ADD( in06, in14 );             \
     390        1248 :     in14 = gf_zero();                        \
     391        1248 :     in15 = GF_MUL( in15, 102 );              \
     392        1248 :     in14 = GF_ADD( in14, in15 );             \
     393        1248 :     in13 = GF_ADD( in13, in15 );             \
     394        1248 :     in11 = GF_ADD( in11, in15 );             \
     395        1248 :     in07 = GF_ADD( in07, in15 );             \
     396        1248 :     in15 = gf_zero();                        \
     397        1248 :     in16 = GF_MUL( in16, 31 );               \
     398        1248 :     in00 = GF_ADD( in00, in16 );             \
     399        1248 :     in16 = gf_zero();                        \
     400        1248 :     in17 = GF_MUL( in17, 31 );               \
     401        1248 :     in16 = GF_ADD( in16, in17 );             \
     402        1248 :     in01 = GF_ADD( in01, in17 );             \
     403        1248 :     in17 = gf_zero();                        \
     404        1248 :     in18 = GF_MUL( in18, 127 );              \
     405        1248 :     in16 = GF_ADD( in16, in18 );             \
     406        1248 :     in02 = GF_ADD( in02, in18 );             \
     407        1248 :     in18 = gf_zero();                        \
     408        1248 :     in19 = GF_MUL( in19, 127 );              \
     409        1248 :     in18 = GF_ADD( in18, in19 );             \
     410        1248 :     in17 = GF_ADD( in17, in19 );             \
     411        1248 :     in03 = GF_ADD( in03, in19 );             \
     412        1248 :     in19 = gf_zero();                        \
     413        1248 :     in20 = GF_MUL( in20, 199 );              \
     414        1248 :     in16 = GF_ADD( in16, in20 );             \
     415        1248 :     in04 = GF_ADD( in04, in20 );             \
     416        1248 :     in20 = gf_zero();                        \
     417        1248 :     in21 = GF_MUL( in21, 199 );              \
     418        1248 :     in20 = GF_ADD( in20, in21 );             \
     419        1248 :     in17 = GF_ADD( in17, in21 );             \
     420        1248 :     in05 = GF_ADD( in05, in21 );             \
     421        1248 :     in21 = gf_zero();                        \
     422        1248 :     in22 = GF_MUL( in22, 91 );               \
     423        1248 :     in20 = GF_ADD( in20, in22 );             \
     424        1248 :     in18 = GF_ADD( in18, in22 );             \
     425        1248 :     in06 = GF_ADD( in06, in22 );             \
     426        1248 :     in22 = gf_zero();                        \
     427        1248 :     in23 = GF_MUL( in23, 91 );               \
     428        1248 :     in22 = GF_ADD( in22, in23 );             \
     429        1248 :     in21 = GF_ADD( in21, in23 );             \
     430        1248 :     in19 = GF_ADD( in19, in23 );             \
     431        1248 :     in07 = GF_ADD( in07, in23 );             \
     432        1248 :     in23 = gf_zero();                        \
     433        1248 :     in24 = GF_MUL( in24, 32 );               \
     434        1248 :     in16 = GF_ADD( in16, in24 );             \
     435        1248 :     in08 = GF_ADD( in08, in24 );             \
     436        1248 :     in24 = gf_zero();                        \
     437        1248 :     in25 = GF_MUL( in25, 32 );               \
     438        1248 :     in24 = GF_ADD( in24, in25 );             \
     439        1248 :     in17 = GF_ADD( in17, in25 );             \
     440        1248 :     in09 = GF_ADD( in09, in25 );             \
     441        1248 :     in25 = gf_zero();                        \
     442        1248 :     in26 = GF_MUL( in26, 251 );              \
     443        1248 :     in24 = GF_ADD( in24, in26 );             \
     444        1248 :     in18 = GF_ADD( in18, in26 );             \
     445        1248 :     in10 = GF_ADD( in10, in26 );             \
     446        1248 :     in26 = gf_zero();                        \
     447        1248 :     in27 = GF_MUL( in27, 251 );              \
     448        1248 :     in26 = GF_ADD( in26, in27 );             \
     449        1248 :     in25 = GF_ADD( in25, in27 );             \
     450        1248 :     in19 = GF_ADD( in19, in27 );             \
     451        1248 :     in11 = GF_ADD( in11, in27 );             \
     452        1248 :     in27 = gf_zero();                        \
     453        1248 :     in28 = GF_MUL( in28, 116 );              \
     454        1248 :     in24 = GF_ADD( in24, in28 );             \
     455        1248 :     in20 = GF_ADD( in20, in28 );             \
     456        1248 :     in12 = GF_ADD( in12, in28 );             \
     457        1248 :     in28 = gf_zero();                        \
     458        1248 :     in29 = GF_MUL( in29, 116 );              \
     459        1248 :     in28 = GF_ADD( in28, in29 );             \
     460        1248 :     in25 = GF_ADD( in25, in29 );             \
     461        1248 :     in21 = GF_ADD( in21, in29 );             \
     462        1248 :     in13 = GF_ADD( in13, in29 );             \
     463        1248 :     in29 = gf_zero();                        \
     464        1248 :     in30 = GF_MUL( in30, 22 );               \
     465        1248 :     in28 = GF_ADD( in28, in30 );             \
     466        1248 :     in26 = GF_ADD( in26, in30 );             \
     467        1248 :     in22 = GF_ADD( in22, in30 );             \
     468        1248 :     in14 = GF_ADD( in14, in30 );             \
     469        1248 :     in30 = gf_zero();                        \
     470        1248 :     in31 = GF_MUL( in31, 22 );               \
     471        1248 :     in30 = GF_ADD( in30, in31 );             \
     472        1248 :     in29 = GF_ADD( in29, in31 );             \
     473        1248 :     in27 = GF_ADD( in27, in31 );             \
     474        1248 :     in23 = GF_ADD( in23, in31 );             \
     475        1248 :     in15 = GF_ADD( in15, in31 );             \
     476        1248 :     in31 = gf_zero();                        \
     477        1248 :     in32 = GF_MUL( in32, 194 );              \
     478        1248 :     in00 = GF_ADD( in00, in32 );             \
     479        1248 :     in32 = gf_zero();                        \
     480        1248 :     in33 = GF_MUL( in33, 194 );              \
     481        1248 :     in32 = GF_ADD( in32, in33 );             \
     482        1248 :     in01 = GF_ADD( in01, in33 );             \
     483        1248 :     in33 = gf_zero();                        \
     484        1248 :     in34 = GF_MUL( in34, 212 );              \
     485        1248 :     in32 = GF_ADD( in32, in34 );             \
     486        1248 :     in02 = GF_ADD( in02, in34 );             \
     487        1248 :     in34 = gf_zero();                        \
     488        1248 :     in35 = GF_MUL( in35, 212 );              \
     489        1248 :     in34 = GF_ADD( in34, in35 );             \
     490        1248 :     in33 = GF_ADD( in33, in35 );             \
     491        1248 :     in03 = GF_ADD( in03, in35 );             \
     492        1248 :     in35 = gf_zero();                        \
     493        1248 :     in36 = GF_MUL( in36, 101 );              \
     494        1248 :     in32 = GF_ADD( in32, in36 );             \
     495        1248 :     in04 = GF_ADD( in04, in36 );             \
     496        1248 :     in36 = gf_zero();                        \
     497        1248 :     in37 = GF_MUL( in37, 101 );              \
     498        1248 :     in36 = GF_ADD( in36, in37 );             \
     499        1248 :     in33 = GF_ADD( in33, in37 );             \
     500        1248 :     in05 = GF_ADD( in05, in37 );             \
     501        1248 :     in37 = gf_zero();                        \
     502        1248 :     in38 = GF_MUL( in38, 159 );              \
     503        1248 :     in36 = GF_ADD( in36, in38 );             \
     504        1248 :     in34 = GF_ADD( in34, in38 );             \
     505        1248 :     in06 = GF_ADD( in06, in38 );             \
     506        1248 :     in38 = gf_zero();                        \
     507        1248 :     in39 = GF_MUL( in39, 159 );              \
     508        1248 :     in38 = GF_ADD( in38, in39 );             \
     509        1248 :     in37 = GF_ADD( in37, in39 );             \
     510        1248 :     in35 = GF_ADD( in35, in39 );             \
     511        1248 :     in07 = GF_ADD( in07, in39 );             \
     512        1248 :     in39 = gf_zero();                        \
     513        1248 :     in40 = GF_MUL( in40, 249 );              \
     514        1248 :     in32 = GF_ADD( in32, in40 );             \
     515        1248 :     in08 = GF_ADD( in08, in40 );             \
     516        1248 :     in40 = gf_zero();                        \
     517        1248 :     in41 = GF_MUL( in41, 249 );              \
     518        1248 :     in40 = GF_ADD( in40, in41 );             \
     519        1248 :     in33 = GF_ADD( in33, in41 );             \
     520        1248 :     in09 = GF_ADD( in09, in41 );             \
     521        1248 :     in41 = gf_zero();                        \
     522        1248 :     in42 = GF_MUL( in42, 165 );              \
     523        1248 :     in40 = GF_ADD( in40, in42 );             \
     524        1248 :     in34 = GF_ADD( in34, in42 );             \
     525        1248 :     in10 = GF_ADD( in10, in42 );             \
     526        1248 :     in42 = gf_zero();                        \
     527        1248 :     in43 = GF_MUL( in43, 165 );              \
     528        1248 :     in42 = GF_ADD( in42, in43 );             \
     529        1248 :     in41 = GF_ADD( in41, in43 );             \
     530        1248 :     in35 = GF_ADD( in35, in43 );             \
     531        1248 :     in11 = GF_ADD( in11, in43 );             \
     532        1248 :     in43 = gf_zero();                        \
     533        1248 :     in44 = GF_MUL( in44, 86 );               \
     534        1248 :     in40 = GF_ADD( in40, in44 );             \
     535        1248 :     in36 = GF_ADD( in36, in44 );             \
     536        1248 :     in12 = GF_ADD( in12, in44 );             \
     537        1248 :     in44 = gf_zero();                        \
     538        1248 :     in45 = GF_MUL( in45, 86 );               \
     539        1248 :     in44 = GF_ADD( in44, in45 );             \
     540        1248 :     in41 = GF_ADD( in41, in45 );             \
     541        1248 :     in37 = GF_ADD( in37, in45 );             \
     542        1248 :     in13 = GF_ADD( in13, in45 );             \
     543        1248 :     in45 = gf_zero();                        \
     544        1248 :     in46 = GF_MUL( in46, 25 );               \
     545        1248 :     in44 = GF_ADD( in44, in46 );             \
     546        1248 :     in42 = GF_ADD( in42, in46 );             \
     547        1248 :     in38 = GF_ADD( in38, in46 );             \
     548        1248 :     in14 = GF_ADD( in14, in46 );             \
     549        1248 :     in46 = gf_zero();                        \
     550        1248 :     in47 = GF_MUL( in47, 25 );               \
     551        1248 :     in46 = GF_ADD( in46, in47 );             \
     552        1248 :     in45 = GF_ADD( in45, in47 );             \
     553        1248 :     in43 = GF_ADD( in43, in47 );             \
     554        1248 :     in39 = GF_ADD( in39, in47 );             \
     555        1248 :     in15 = GF_ADD( in15, in47 );             \
     556        1248 :     in47 = gf_zero();                        \
     557        1248 :     in48 = GF_MUL( in48, 150 );              \
     558        1248 :     in32 = GF_ADD( in32, in48 );             \
     559        1248 :     in16 = GF_ADD( in16, in48 );             \
     560        1248 :     in48 = gf_zero();                        \
     561        1248 :     in49 = GF_MUL( in49, 150 );              \
     562        1248 :     in48 = GF_ADD( in48, in49 );             \
     563        1248 :     in33 = GF_ADD( in33, in49 );             \
     564        1248 :     in17 = GF_ADD( in17, in49 );             \
     565        1248 :     in49 = gf_zero();                        \
     566        1248 :     in50 = GF_MUL( in50, 57 );               \
     567        1248 :     in48 = GF_ADD( in48, in50 );             \
     568        1248 :     in34 = GF_ADD( in34, in50 );             \
     569        1248 :     in18 = GF_ADD( in18, in50 );             \
     570        1248 :     in50 = gf_zero();                        \
     571        1248 :     in51 = GF_MUL( in51, 57 );               \
     572        1248 :     in50 = GF_ADD( in50, in51 );             \
     573        1248 :     in49 = GF_ADD( in49, in51 );             \
     574        1248 :     in35 = GF_ADD( in35, in51 );             \
     575        1248 :     in19 = GF_ADD( in19, in51 );             \
     576        1248 :     in51 = gf_zero();                        \
     577        1248 :     in52 = GF_MUL( in52, 55 );               \
     578        1248 :     in48 = GF_ADD( in48, in52 );             \
     579        1248 :     in36 = GF_ADD( in36, in52 );             \
     580        1248 :     in20 = GF_ADD( in20, in52 );             \
     581        1248 :     in52 = gf_zero();                        \
     582        1248 :     in53 = GF_MUL( in53, 55 );               \
     583        1248 :     in52 = GF_ADD( in52, in53 );             \
     584        1248 :     in49 = GF_ADD( in49, in53 );             \
     585        1248 :     in37 = GF_ADD( in37, in53 );             \
     586        1248 :     in21 = GF_ADD( in21, in53 );             \
     587        1248 :     in53 = gf_zero();                        \
     588        1248 :     in54 = GF_MUL( in54, 115 );              \
     589        1248 :     in52 = GF_ADD( in52, in54 );             \
     590        1248 :     in50 = GF_ADD( in50, in54 );             \
     591        1248 :     in38 = GF_ADD( in38, in54 );             \
     592        1248 :     in22 = GF_ADD( in22, in54 );             \
     593        1248 :     in54 = gf_zero();                        \
     594        1248 :     in55 = GF_MUL( in55, 115 );              \
     595        1248 :     in54 = GF_ADD( in54, in55 );             \
     596        1248 :     in53 = GF_ADD( in53, in55 );             \
     597        1248 :     in51 = GF_ADD( in51, in55 );             \
     598        1248 :     in39 = GF_ADD( in39, in55 );             \
     599        1248 :     in23 = GF_ADD( in23, in55 );             \
     600        1248 :     in55 = gf_zero();                        \
     601        1248 :     in56 = GF_MUL( in56, 101 );              \
     602        1248 :     in48 = GF_ADD( in48, in56 );             \
     603        1248 :     in40 = GF_ADD( in40, in56 );             \
     604        1248 :     in24 = GF_ADD( in24, in56 );             \
     605        1248 :     in56 = gf_zero();                        \
     606        1248 :     in57 = GF_MUL( in57, 101 );              \
     607        1248 :     in56 = GF_ADD( in56, in57 );             \
     608        1248 :     in49 = GF_ADD( in49, in57 );             \
     609        1248 :     in41 = GF_ADD( in41, in57 );             \
     610        1248 :     in25 = GF_ADD( in25, in57 );             \
     611        1248 :     in57 = gf_zero();                        \
     612        1248 :     in58 = GF_MUL( in58, 159 );              \
     613        1248 :     in56 = GF_ADD( in56, in58 );             \
     614        1248 :     in50 = GF_ADD( in50, in58 );             \
     615        1248 :     in42 = GF_ADD( in42, in58 );             \
     616        1248 :     in26 = GF_ADD( in26, in58 );             \
     617        1248 :     in58 = gf_zero();                        \
     618        1248 :     in59 = GF_MUL( in59, 159 );              \
     619        1248 :     in58 = GF_ADD( in58, in59 );             \
     620        1248 :     in57 = GF_ADD( in57, in59 );             \
     621        1248 :     in51 = GF_ADD( in51, in59 );             \
     622        1248 :     in43 = GF_ADD( in43, in59 );             \
     623        1248 :     in27 = GF_ADD( in27, in59 );             \
     624        1248 :     in59 = gf_zero();                        \
     625        1248 :     in60 = GF_MUL( in60, 60 );               \
     626        1248 :     in56 = GF_ADD( in56, in60 );             \
     627        1248 :     in52 = GF_ADD( in52, in60 );             \
     628        1248 :     in44 = GF_ADD( in44, in60 );             \
     629        1248 :     in28 = GF_ADD( in28, in60 );             \
     630        1248 :     in60 = gf_zero();                        \
     631        1248 :     in61 = GF_MUL( in61, 60 );               \
     632        1248 :     in60 = GF_ADD( in60, in61 );             \
     633        1248 :     in57 = GF_ADD( in57, in61 );             \
     634        1248 :     in53 = GF_ADD( in53, in61 );             \
     635        1248 :     in45 = GF_ADD( in45, in61 );             \
     636        1248 :     in29 = GF_ADD( in29, in61 );             \
     637        1248 :     in61 = gf_zero();                        \
     638        1248 :     in62 = GF_MUL( in62, 10 );               \
     639        1248 :     in60 = GF_ADD( in60, in62 );             \
     640        1248 :     in58 = GF_ADD( in58, in62 );             \
     641        1248 :     in54 = GF_ADD( in54, in62 );             \
     642        1248 :     in46 = GF_ADD( in46, in62 );             \
     643        1248 :     in30 = GF_ADD( in30, in62 );             \
     644        1248 :     in62 = gf_zero();                        \
     645        1248 :     in63 = GF_MUL( in63, 10 );               \
     646        1248 :     in62 = GF_ADD( in62, in63 );             \
     647        1248 :     in61 = GF_ADD( in61, in63 );             \
     648        1248 :     in59 = GF_ADD( in59, in63 );             \
     649        1248 :     in55 = GF_ADD( in55, in63 );             \
     650        1248 :     in47 = GF_ADD( in47, in63 );             \
     651        1248 :     in31 = GF_ADD( in31, in63 );             \
     652        1248 :     in63 = gf_zero();                        \
     653        1248 :     in00 = GF_MUL( in00, 1 );                \
     654        1248 :     in01 = GF_MUL( in01, 1 );                \
     655        1248 :     in02 = GF_MUL( in02, 6 );                \
     656        1248 :     in03 = GF_MUL( in03, 6 );                \
     657        1248 :     in04 = GF_MUL( in04, 108 );              \
     658        1248 :     in05 = GF_MUL( in05, 108 );              \
     659        1248 :     in06 = GF_MUL( in06, 117 );              \
     660        1248 :     in07 = GF_MUL( in07, 117 );              \
     661        1248 :     in08 = GF_MUL( in08, 208 );              \
     662        1248 :     in09 = GF_MUL( in09, 208 );              \
     663        1248 :     in10 = GF_MUL( in10, 218 );              \
     664        1248 :     in11 = GF_MUL( in11, 218 );              \
     665        1248 :     in12 = GF_MUL( in12, 136 );              \
     666        1248 :     in13 = GF_MUL( in13, 136 );              \
     667        1248 :     in14 = GF_MUL( in14, 23 );               \
     668        1248 :     in15 = GF_MUL( in15, 23 );               \
     669        1248 :     in16 = GF_MUL( in16, 42 );               \
     670        1248 :     in17 = GF_MUL( in17, 42 );               \
     671        1248 :     in18 = GF_MUL( in18, 252 );              \
     672        1248 :     in19 = GF_MUL( in19, 252 );              \
     673        1248 :     in20 = GF_MUL( in20, 158 );              \
     674        1248 :     in21 = GF_MUL( in21, 158 );              \
     675        1248 :     in22 = GF_MUL( in22, 99 );               \
     676        1248 :     in23 = GF_MUL( in23, 99 );               \
     677        1248 :     in24 = GF_MUL( in24, 108 );              \
     678        1248 :     in25 = GF_MUL( in25, 108 );              \
     679        1248 :     in26 = GF_MUL( in26, 117 );              \
     680        1248 :     in27 = GF_MUL( in27, 117 );              \
     681        1248 :     in28 = GF_MUL( in28, 233 );              \
     682        1248 :     in29 = GF_MUL( in29, 233 );              \
     683        1248 :     in30 = GF_MUL( in30, 76 );               \
     684        1248 :     in31 = GF_MUL( in31, 76 );               \
     685        1248 :     in32 = GF_MUL( in32, 165 );              \
     686        1248 :     in33 = GF_MUL( in33, 165 );              \
     687        1248 :     in34 = GF_MUL( in34, 249 );              \
     688        1248 :     in35 = GF_MUL( in35, 249 );              \
     689        1248 :     in36 = GF_MUL( in36, 196 );              \
     690        1248 :     in37 = GF_MUL( in37, 196 );              \
     691        1248 :     in38 = GF_MUL( in38, 162 );              \
     692        1248 :     in39 = GF_MUL( in39, 162 );              \
     693        1248 :     in40 = GF_MUL( in40, 212 );              \
     694        1248 :     in41 = GF_MUL( in41, 212 );              \
     695        1248 :     in42 = GF_MUL( in42, 194 );              \
     696        1248 :     in43 = GF_MUL( in43, 194 );              \
     697        1248 :     in44 = GF_MUL( in44, 37 );               \
     698        1248 :     in45 = GF_MUL( in45, 37 );               \
     699        1248 :     in46 = GF_MUL( in46, 222 );              \
     700        1248 :     in47 = GF_MUL( in47, 222 );              \
     701        1248 :     in48 = GF_MUL( in48, 15 );               \
     702        1248 :     in49 = GF_MUL( in49, 15 );               \
     703        1248 :     in50 = GF_MUL( in50, 34 );               \
     704        1248 :     in51 = GF_MUL( in51, 34 );               \
     705        1248 :     in52 = GF_MUL( in52, 94 );               \
     706        1248 :     in53 = GF_MUL( in53, 94 );               \
     707        1248 :     in54 = GF_MUL( in54, 217 );              \
     708        1248 :     in55 = GF_MUL( in55, 217 );              \
     709        1248 :     in56 = GF_MUL( in56, 196 );              \
     710        1248 :     in57 = GF_MUL( in57, 196 );              \
     711        1248 :     in58 = GF_MUL( in58, 162 );              \
     712        1248 :     in59 = GF_MUL( in59, 162 );              \
     713        1248 :     in60 = GF_MUL( in60, 171 );              \
     714        1248 :     in61 = GF_MUL( in61, 171 );              \
     715        1248 :     in62 = GF_MUL( in62, 221 );              \
     716        1248 :     in63 = GF_MUL( in63, 221 );              \
     717        1248 :   } 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         192 :   do {                                          \
     740         192 :     in00 = GF_MUL( in00, 1 );                   \
     741         192 :     in00 = gf_zero();                           \
     742         192 :     in01 = GF_MUL( in01, 1 );                   \
     743         192 :     in00 = GF_ADD( in00, in01 );                \
     744         192 :     in01 = gf_zero();                           \
     745         192 :     in02 = GF_MUL( in02, 122 );                 \
     746         192 :     in00 = GF_ADD( in00, in02 );                \
     747         192 :     in02 = gf_zero();                           \
     748         192 :     in03 = GF_MUL( in03, 122 );                 \
     749         192 :     in02 = GF_ADD( in02, in03 );                \
     750         192 :     in01 = GF_ADD( in01, in03 );                \
     751         192 :     in03 = gf_zero();                           \
     752         192 :     in04 = GF_MUL( in04, 32 );                  \
     753         192 :     in00 = GF_ADD( in00, in04 );                \
     754         192 :     in04 = gf_zero();                           \
     755         192 :     in05 = GF_MUL( in05, 32 );                  \
     756         192 :     in04 = GF_ADD( in04, in05 );                \
     757         192 :     in01 = GF_ADD( in01, in05 );                \
     758         192 :     in05 = gf_zero();                           \
     759         192 :     in06 = GF_MUL( in06, 251 );                 \
     760         192 :     in04 = GF_ADD( in04, in06 );                \
     761         192 :     in02 = GF_ADD( in02, in06 );                \
     762         192 :     in06 = gf_zero();                           \
     763         192 :     in07 = GF_MUL( in07, 251 );                 \
     764         192 :     in06 = GF_ADD( in06, in07 );                \
     765         192 :     in05 = GF_ADD( in05, in07 );                \
     766         192 :     in03 = GF_ADD( in03, in07 );                \
     767         192 :     in07 = gf_zero();                           \
     768         192 :     in08 = GF_MUL( in08, 41 );                  \
     769         192 :     in00 = GF_ADD( in00, in08 );                \
     770         192 :     in08 = gf_zero();                           \
     771         192 :     in09 = GF_MUL( in09, 41 );                  \
     772         192 :     in08 = GF_ADD( in08, in09 );                \
     773         192 :     in01 = GF_ADD( in01, in09 );                \
     774         192 :     in09 = gf_zero();                           \
     775         192 :     in10 = GF_MUL( in10, 118 );                 \
     776         192 :     in08 = GF_ADD( in08, in10 );                \
     777         192 :     in02 = GF_ADD( in02, in10 );                \
     778         192 :     in10 = gf_zero();                           \
     779         192 :     in11 = GF_MUL( in11, 118 );                 \
     780         192 :     in10 = GF_ADD( in10, in11 );                \
     781         192 :     in09 = GF_ADD( in09, in11 );                \
     782         192 :     in03 = GF_ADD( in03, in11 );                \
     783         192 :     in11 = gf_zero();                           \
     784         192 :     in12 = GF_MUL( in12, 73 );                  \
     785         192 :     in08 = GF_ADD( in08, in12 );                \
     786         192 :     in04 = GF_ADD( in04, in12 );                \
     787         192 :     in12 = gf_zero();                           \
     788         192 :     in13 = GF_MUL( in13, 73 );                  \
     789         192 :     in12 = GF_ADD( in12, in13 );                \
     790         192 :     in09 = GF_ADD( in09, in13 );                \
     791         192 :     in05 = GF_ADD( in05, in13 );                \
     792         192 :     in13 = gf_zero();                           \
     793         192 :     in14 = GF_MUL( in14, 102 );                 \
     794         192 :     in12 = GF_ADD( in12, in14 );                \
     795         192 :     in10 = GF_ADD( in10, in14 );                \
     796         192 :     in06 = GF_ADD( in06, in14 );                \
     797         192 :     in14 = gf_zero();                           \
     798         192 :     in15 = GF_MUL( in15, 102 );                 \
     799         192 :     in14 = GF_ADD( in14, in15 );                \
     800         192 :     in13 = GF_ADD( in13, in15 );                \
     801         192 :     in11 = GF_ADD( in11, in15 );                \
     802         192 :     in07 = GF_ADD( in07, in15 );                \
     803         192 :     in15 = gf_zero();                           \
     804         192 :     in16 = GF_MUL( in16, 31 );                  \
     805         192 :     in00 = GF_ADD( in00, in16 );                \
     806         192 :     in16 = gf_zero();                           \
     807         192 :     in17 = GF_MUL( in17, 31 );                  \
     808         192 :     in16 = GF_ADD( in16, in17 );                \
     809         192 :     in01 = GF_ADD( in01, in17 );                \
     810         192 :     in17 = gf_zero();                           \
     811         192 :     in18 = GF_MUL( in18, 127 );                 \
     812         192 :     in16 = GF_ADD( in16, in18 );                \
     813         192 :     in02 = GF_ADD( in02, in18 );                \
     814         192 :     in18 = gf_zero();                           \
     815         192 :     in19 = GF_MUL( in19, 127 );                 \
     816         192 :     in18 = GF_ADD( in18, in19 );                \
     817         192 :     in17 = GF_ADD( in17, in19 );                \
     818         192 :     in03 = GF_ADD( in03, in19 );                \
     819         192 :     in19 = gf_zero();                           \
     820         192 :     in20 = GF_MUL( in20, 199 );                 \
     821         192 :     in16 = GF_ADD( in16, in20 );                \
     822         192 :     in04 = GF_ADD( in04, in20 );                \
     823         192 :     in20 = gf_zero();                           \
     824         192 :     in21 = GF_MUL( in21, 199 );                 \
     825         192 :     in20 = GF_ADD( in20, in21 );                \
     826         192 :     in17 = GF_ADD( in17, in21 );                \
     827         192 :     in05 = GF_ADD( in05, in21 );                \
     828         192 :     in21 = gf_zero();                           \
     829         192 :     in22 = GF_MUL( in22, 91 );                  \
     830         192 :     in20 = GF_ADD( in20, in22 );                \
     831         192 :     in18 = GF_ADD( in18, in22 );                \
     832         192 :     in06 = GF_ADD( in06, in22 );                \
     833         192 :     in22 = gf_zero();                           \
     834         192 :     in23 = GF_MUL( in23, 91 );                  \
     835         192 :     in22 = GF_ADD( in22, in23 );                \
     836         192 :     in21 = GF_ADD( in21, in23 );                \
     837         192 :     in19 = GF_ADD( in19, in23 );                \
     838         192 :     in07 = GF_ADD( in07, in23 );                \
     839         192 :     in23 = gf_zero();                           \
     840         192 :     in24 = GF_MUL( in24, 32 );                  \
     841         192 :     in16 = GF_ADD( in16, in24 );                \
     842         192 :     in08 = GF_ADD( in08, in24 );                \
     843         192 :     in24 = gf_zero();                           \
     844         192 :     in25 = GF_MUL( in25, 32 );                  \
     845         192 :     in24 = GF_ADD( in24, in25 );                \
     846         192 :     in17 = GF_ADD( in17, in25 );                \
     847         192 :     in09 = GF_ADD( in09, in25 );                \
     848         192 :     in25 = gf_zero();                           \
     849         192 :     in26 = GF_MUL( in26, 251 );                 \
     850         192 :     in24 = GF_ADD( in24, in26 );                \
     851         192 :     in18 = GF_ADD( in18, in26 );                \
     852         192 :     in10 = GF_ADD( in10, in26 );                \
     853         192 :     in26 = gf_zero();                           \
     854         192 :     in27 = GF_MUL( in27, 251 );                 \
     855         192 :     in26 = GF_ADD( in26, in27 );                \
     856         192 :     in25 = GF_ADD( in25, in27 );                \
     857         192 :     in19 = GF_ADD( in19, in27 );                \
     858         192 :     in11 = GF_ADD( in11, in27 );                \
     859         192 :     in27 = gf_zero();                           \
     860         192 :     in28 = GF_MUL( in28, 116 );                 \
     861         192 :     in24 = GF_ADD( in24, in28 );                \
     862         192 :     in20 = GF_ADD( in20, in28 );                \
     863         192 :     in12 = GF_ADD( in12, in28 );                \
     864         192 :     in28 = gf_zero();                           \
     865         192 :     in29 = GF_MUL( in29, 116 );                 \
     866         192 :     in28 = GF_ADD( in28, in29 );                \
     867         192 :     in25 = GF_ADD( in25, in29 );                \
     868         192 :     in21 = GF_ADD( in21, in29 );                \
     869         192 :     in13 = GF_ADD( in13, in29 );                \
     870         192 :     in29 = gf_zero();                           \
     871         192 :     in30 = GF_MUL( in30, 22 );                  \
     872         192 :     in28 = GF_ADD( in28, in30 );                \
     873         192 :     in26 = GF_ADD( in26, in30 );                \
     874         192 :     in22 = GF_ADD( in22, in30 );                \
     875         192 :     in14 = GF_ADD( in14, in30 );                \
     876         192 :     in30 = gf_zero();                           \
     877         192 :     in31 = GF_MUL( in31, 22 );                  \
     878         192 :     in30 = GF_ADD( in30, in31 );                \
     879         192 :     in29 = GF_ADD( in29, in31 );                \
     880         192 :     in27 = GF_ADD( in27, in31 );                \
     881         192 :     in23 = GF_ADD( in23, in31 );                \
     882         192 :     in15 = GF_ADD( in15, in31 );                \
     883         192 :     in31 = gf_zero();                           \
     884         192 :     in32 = GF_MUL( in32, 194 );                 \
     885         192 :     in00 = GF_ADD( in00, in32 );                \
     886         192 :     in32 = gf_zero();                           \
     887         192 :     in33 = GF_MUL( in33, 194 );                 \
     888         192 :     in32 = GF_ADD( in32, in33 );                \
     889         192 :     in01 = GF_ADD( in01, in33 );                \
     890         192 :     in33 = gf_zero();                           \
     891         192 :     in34 = GF_MUL( in34, 212 );                 \
     892         192 :     in32 = GF_ADD( in32, in34 );                \
     893         192 :     in02 = GF_ADD( in02, in34 );                \
     894         192 :     in34 = gf_zero();                           \
     895         192 :     in35 = GF_MUL( in35, 212 );                 \
     896         192 :     in34 = GF_ADD( in34, in35 );                \
     897         192 :     in33 = GF_ADD( in33, in35 );                \
     898         192 :     in03 = GF_ADD( in03, in35 );                \
     899         192 :     in35 = gf_zero();                           \
     900         192 :     in36 = GF_MUL( in36, 101 );                 \
     901         192 :     in32 = GF_ADD( in32, in36 );                \
     902         192 :     in04 = GF_ADD( in04, in36 );                \
     903         192 :     in36 = gf_zero();                           \
     904         192 :     in37 = GF_MUL( in37, 101 );                 \
     905         192 :     in36 = GF_ADD( in36, in37 );                \
     906         192 :     in33 = GF_ADD( in33, in37 );                \
     907         192 :     in05 = GF_ADD( in05, in37 );                \
     908         192 :     in37 = gf_zero();                           \
     909         192 :     in38 = GF_MUL( in38, 159 );                 \
     910         192 :     in36 = GF_ADD( in36, in38 );                \
     911         192 :     in34 = GF_ADD( in34, in38 );                \
     912         192 :     in06 = GF_ADD( in06, in38 );                \
     913         192 :     in38 = gf_zero();                           \
     914         192 :     in39 = GF_MUL( in39, 159 );                 \
     915         192 :     in38 = GF_ADD( in38, in39 );                \
     916         192 :     in37 = GF_ADD( in37, in39 );                \
     917         192 :     in35 = GF_ADD( in35, in39 );                \
     918         192 :     in07 = GF_ADD( in07, in39 );                \
     919         192 :     in39 = gf_zero();                           \
     920         192 :     in40 = GF_MUL( in40, 249 );                 \
     921         192 :     in32 = GF_ADD( in32, in40 );                \
     922         192 :     in08 = GF_ADD( in08, in40 );                \
     923         192 :     in40 = gf_zero();                           \
     924         192 :     in41 = GF_MUL( in41, 249 );                 \
     925         192 :     in40 = GF_ADD( in40, in41 );                \
     926         192 :     in33 = GF_ADD( in33, in41 );                \
     927         192 :     in09 = GF_ADD( in09, in41 );                \
     928         192 :     in41 = gf_zero();                           \
     929         192 :     in42 = GF_MUL( in42, 165 );                 \
     930         192 :     in40 = GF_ADD( in40, in42 );                \
     931         192 :     in34 = GF_ADD( in34, in42 );                \
     932         192 :     in10 = GF_ADD( in10, in42 );                \
     933         192 :     in42 = gf_zero();                           \
     934         192 :     in43 = GF_MUL( in43, 165 );                 \
     935         192 :     in42 = GF_ADD( in42, in43 );                \
     936         192 :     in41 = GF_ADD( in41, in43 );                \
     937         192 :     in35 = GF_ADD( in35, in43 );                \
     938         192 :     in11 = GF_ADD( in11, in43 );                \
     939         192 :     in43 = gf_zero();                           \
     940         192 :     in44 = GF_MUL( in44, 86 );                  \
     941         192 :     in40 = GF_ADD( in40, in44 );                \
     942         192 :     in36 = GF_ADD( in36, in44 );                \
     943         192 :     in12 = GF_ADD( in12, in44 );                \
     944         192 :     in44 = gf_zero();                           \
     945         192 :     in45 = GF_MUL( in45, 86 );                  \
     946         192 :     in44 = GF_ADD( in44, in45 );                \
     947         192 :     in41 = GF_ADD( in41, in45 );                \
     948         192 :     in37 = GF_ADD( in37, in45 );                \
     949         192 :     in13 = GF_ADD( in13, in45 );                \
     950         192 :     in45 = gf_zero();                           \
     951         192 :     in46 = GF_MUL( in46, 25 );                  \
     952         192 :     in44 = GF_ADD( in44, in46 );                \
     953         192 :     in42 = GF_ADD( in42, in46 );                \
     954         192 :     in38 = GF_ADD( in38, in46 );                \
     955         192 :     in14 = GF_ADD( in14, in46 );                \
     956         192 :     in46 = gf_zero();                           \
     957         192 :     in47 = GF_MUL( in47, 25 );                  \
     958         192 :     in46 = GF_ADD( in46, in47 );                \
     959         192 :     in45 = GF_ADD( in45, in47 );                \
     960         192 :     in43 = GF_ADD( in43, in47 );                \
     961         192 :     in39 = GF_ADD( in39, in47 );                \
     962         192 :     in15 = GF_ADD( in15, in47 );                \
     963         192 :     in47 = gf_zero();                           \
     964         192 :     in48 = GF_MUL( in48, 150 );                 \
     965         192 :     in32 = GF_ADD( in32, in48 );                \
     966         192 :     in16 = GF_ADD( in16, in48 );                \
     967         192 :     in48 = gf_zero();                           \
     968         192 :     in49 = GF_MUL( in49, 150 );                 \
     969         192 :     in48 = GF_ADD( in48, in49 );                \
     970         192 :     in33 = GF_ADD( in33, in49 );                \
     971         192 :     in17 = GF_ADD( in17, in49 );                \
     972         192 :     in49 = gf_zero();                           \
     973         192 :     in50 = GF_MUL( in50, 57 );                  \
     974         192 :     in48 = GF_ADD( in48, in50 );                \
     975         192 :     in34 = GF_ADD( in34, in50 );                \
     976         192 :     in18 = GF_ADD( in18, in50 );                \
     977         192 :     in50 = gf_zero();                           \
     978         192 :     in51 = GF_MUL( in51, 57 );                  \
     979         192 :     in50 = GF_ADD( in50, in51 );                \
     980         192 :     in49 = GF_ADD( in49, in51 );                \
     981         192 :     in35 = GF_ADD( in35, in51 );                \
     982         192 :     in19 = GF_ADD( in19, in51 );                \
     983         192 :     in51 = gf_zero();                           \
     984         192 :     in52 = GF_MUL( in52, 55 );                  \
     985         192 :     in48 = GF_ADD( in48, in52 );                \
     986         192 :     in36 = GF_ADD( in36, in52 );                \
     987         192 :     in20 = GF_ADD( in20, in52 );                \
     988         192 :     in52 = gf_zero();                           \
     989         192 :     in53 = GF_MUL( in53, 55 );                  \
     990         192 :     in52 = GF_ADD( in52, in53 );                \
     991         192 :     in49 = GF_ADD( in49, in53 );                \
     992         192 :     in37 = GF_ADD( in37, in53 );                \
     993         192 :     in21 = GF_ADD( in21, in53 );                \
     994         192 :     in53 = gf_zero();                           \
     995         192 :     in54 = GF_MUL( in54, 115 );                 \
     996         192 :     in52 = GF_ADD( in52, in54 );                \
     997         192 :     in50 = GF_ADD( in50, in54 );                \
     998         192 :     in38 = GF_ADD( in38, in54 );                \
     999         192 :     in22 = GF_ADD( in22, in54 );                \
    1000         192 :     in54 = gf_zero();                           \
    1001         192 :     in55 = GF_MUL( in55, 115 );                 \
    1002         192 :     in54 = GF_ADD( in54, in55 );                \
    1003         192 :     in53 = GF_ADD( in53, in55 );                \
    1004         192 :     in51 = GF_ADD( in51, in55 );                \
    1005         192 :     in39 = GF_ADD( in39, in55 );                \
    1006         192 :     in23 = GF_ADD( in23, in55 );                \
    1007         192 :     in55 = gf_zero();                           \
    1008         192 :     in56 = GF_MUL( in56, 101 );                 \
    1009         192 :     in48 = GF_ADD( in48, in56 );                \
    1010         192 :     in40 = GF_ADD( in40, in56 );                \
    1011         192 :     in24 = GF_ADD( in24, in56 );                \
    1012         192 :     in56 = gf_zero();                           \
    1013         192 :     in57 = GF_MUL( in57, 101 );                 \
    1014         192 :     in56 = GF_ADD( in56, in57 );                \
    1015         192 :     in49 = GF_ADD( in49, in57 );                \
    1016         192 :     in41 = GF_ADD( in41, in57 );                \
    1017         192 :     in25 = GF_ADD( in25, in57 );                \
    1018         192 :     in57 = gf_zero();                           \
    1019         192 :     in58 = GF_MUL( in58, 159 );                 \
    1020         192 :     in56 = GF_ADD( in56, in58 );                \
    1021         192 :     in50 = GF_ADD( in50, in58 );                \
    1022         192 :     in42 = GF_ADD( in42, in58 );                \
    1023         192 :     in26 = GF_ADD( in26, in58 );                \
    1024         192 :     in58 = gf_zero();                           \
    1025         192 :     in59 = GF_MUL( in59, 159 );                 \
    1026         192 :     in58 = GF_ADD( in58, in59 );                \
    1027         192 :     in57 = GF_ADD( in57, in59 );                \
    1028         192 :     in51 = GF_ADD( in51, in59 );                \
    1029         192 :     in43 = GF_ADD( in43, in59 );                \
    1030         192 :     in27 = GF_ADD( in27, in59 );                \
    1031         192 :     in59 = gf_zero();                           \
    1032         192 :     in60 = GF_MUL( in60, 60 );                  \
    1033         192 :     in56 = GF_ADD( in56, in60 );                \
    1034         192 :     in52 = GF_ADD( in52, in60 );                \
    1035         192 :     in44 = GF_ADD( in44, in60 );                \
    1036         192 :     in28 = GF_ADD( in28, in60 );                \
    1037         192 :     in60 = gf_zero();                           \
    1038         192 :     in61 = GF_MUL( in61, 60 );                  \
    1039         192 :     in60 = GF_ADD( in60, in61 );                \
    1040         192 :     in57 = GF_ADD( in57, in61 );                \
    1041         192 :     in53 = GF_ADD( in53, in61 );                \
    1042         192 :     in45 = GF_ADD( in45, in61 );                \
    1043         192 :     in29 = GF_ADD( in29, in61 );                \
    1044         192 :     in61 = gf_zero();                           \
    1045         192 :     in62 = GF_MUL( in62, 10 );                  \
    1046         192 :     in60 = GF_ADD( in60, in62 );                \
    1047         192 :     in58 = GF_ADD( in58, in62 );                \
    1048         192 :     in54 = GF_ADD( in54, in62 );                \
    1049         192 :     in46 = GF_ADD( in46, in62 );                \
    1050         192 :     in30 = GF_ADD( in30, in62 );                \
    1051         192 :     in62 = gf_zero();                           \
    1052         192 :     in63 = GF_MUL( in63, 10 );                  \
    1053         192 :     in62 = GF_ADD( in62, in63 );                \
    1054         192 :     in61 = GF_ADD( in61, in63 );                \
    1055         192 :     in59 = GF_ADD( in59, in63 );                \
    1056         192 :     in55 = GF_ADD( in55, in63 );                \
    1057         192 :     in47 = GF_ADD( in47, in63 );                \
    1058         192 :     in31 = GF_ADD( in31, in63 );                \
    1059         192 :     in63 = gf_zero();                           \
    1060         192 :     in64 = GF_MUL( in64, 232 );                 \
    1061         192 :     in00 = GF_ADD( in00, in64 );                \
    1062         192 :     in64 = gf_zero();                           \
    1063         192 :     in65 = GF_MUL( in65, 232 );                 \
    1064         192 :     in64 = GF_ADD( in64, in65 );                \
    1065         192 :     in01 = GF_ADD( in01, in65 );                \
    1066         192 :     in65 = gf_zero();                           \
    1067         192 :     in66 = GF_MUL( in66, 44 );                  \
    1068         192 :     in64 = GF_ADD( in64, in66 );                \
    1069         192 :     in02 = GF_ADD( in02, in66 );                \
    1070         192 :     in66 = gf_zero();                           \
    1071         192 :     in67 = GF_MUL( in67, 44 );                  \
    1072         192 :     in66 = GF_ADD( in66, in67 );                \
    1073         192 :     in65 = GF_ADD( in65, in67 );                \
    1074         192 :     in03 = GF_ADD( in03, in67 );                \
    1075         192 :     in67 = gf_zero();                           \
    1076         192 :     in68 = GF_MUL( in68, 76 );                  \
    1077         192 :     in64 = GF_ADD( in64, in68 );                \
    1078         192 :     in04 = GF_ADD( in04, in68 );                \
    1079         192 :     in68 = gf_zero();                           \
    1080         192 :     in69 = GF_MUL( in69, 76 );                  \
    1081         192 :     in68 = GF_ADD( in68, in69 );                \
    1082         192 :     in65 = GF_ADD( in65, in69 );                \
    1083         192 :     in05 = GF_ADD( in05, in69 );                \
    1084         192 :     in69 = gf_zero();                           \
    1085         192 :     in70 = GF_MUL( in70, 233 );                 \
    1086         192 :     in68 = GF_ADD( in68, in70 );                \
    1087         192 :     in66 = GF_ADD( in66, in70 );                \
    1088         192 :     in06 = GF_ADD( in06, in70 );                \
    1089         192 :     in70 = gf_zero();                           \
    1090         192 :     in71 = GF_MUL( in71, 233 );                 \
    1091         192 :     in70 = GF_ADD( in70, in71 );                \
    1092         192 :     in69 = GF_ADD( in69, in71 );                \
    1093         192 :     in67 = GF_ADD( in67, in71 );                \
    1094         192 :     in07 = GF_ADD( in07, in71 );                \
    1095         192 :     in71 = gf_zero();                           \
    1096         192 :     in72 = GF_MUL( in72, 183 );                 \
    1097         192 :     in64 = GF_ADD( in64, in72 );                \
    1098         192 :     in08 = GF_ADD( in08, in72 );                \
    1099         192 :     in72 = gf_zero();                           \
    1100         192 :     in73 = GF_MUL( in73, 183 );                 \
    1101         192 :     in72 = GF_ADD( in72, in73 );                \
    1102         192 :     in65 = GF_ADD( in65, in73 );                \
    1103         192 :     in09 = GF_ADD( in09, in73 );                \
    1104         192 :     in73 = gf_zero();                           \
    1105         192 :     in74 = GF_MUL( in74, 184 );                 \
    1106         192 :     in72 = GF_ADD( in72, in74 );                \
    1107         192 :     in66 = GF_ADD( in66, in74 );                \
    1108         192 :     in10 = GF_ADD( in10, in74 );                \
    1109         192 :     in74 = gf_zero();                           \
    1110         192 :     in75 = GF_MUL( in75, 184 );                 \
    1111         192 :     in74 = GF_ADD( in74, in75 );                \
    1112         192 :     in73 = GF_ADD( in73, in75 );                \
    1113         192 :     in67 = GF_ADD( in67, in75 );                \
    1114         192 :     in11 = GF_ADD( in11, in75 );                \
    1115         192 :     in75 = gf_zero();                           \
    1116         192 :     in76 = GF_MUL( in76, 99 );                  \
    1117         192 :     in72 = GF_ADD( in72, in76 );                \
    1118         192 :     in68 = GF_ADD( in68, in76 );                \
    1119         192 :     in12 = GF_ADD( in12, in76 );                \
    1120         192 :     in76 = gf_zero();                           \
    1121         192 :     in77 = GF_MUL( in77, 99 );                  \
    1122         192 :     in76 = GF_ADD( in76, in77 );                \
    1123         192 :     in73 = GF_ADD( in73, in77 );                \
    1124         192 :     in69 = GF_ADD( in69, in77 );                \
    1125         192 :     in13 = GF_ADD( in13, in77 );                \
    1126         192 :     in77 = gf_zero();                           \
    1127         192 :     in78 = GF_MUL( in78, 158 );                 \
    1128         192 :     in76 = GF_ADD( in76, in78 );                \
    1129         192 :     in74 = GF_ADD( in74, in78 );                \
    1130         192 :     in70 = GF_ADD( in70, in78 );                \
    1131         192 :     in14 = GF_ADD( in14, in78 );                \
    1132         192 :     in78 = gf_zero();                           \
    1133         192 :     in79 = GF_MUL( in79, 158 );                 \
    1134         192 :     in78 = GF_ADD( in78, in79 );                \
    1135         192 :     in77 = GF_ADD( in77, in79 );                \
    1136         192 :     in75 = GF_ADD( in75, in79 );                \
    1137         192 :     in71 = GF_ADD( in71, in79 );                \
    1138         192 :     in15 = GF_ADD( in15, in79 );                \
    1139         192 :     in79 = gf_zero();                           \
    1140         192 :     in80 = GF_MUL( in80, 151 );                 \
    1141         192 :     in64 = GF_ADD( in64, in80 );                \
    1142         192 :     in16 = GF_ADD( in16, in80 );                \
    1143         192 :     in80 = gf_zero();                           \
    1144         192 :     in81 = GF_MUL( in81, 151 );                 \
    1145         192 :     in80 = GF_ADD( in80, in81 );                \
    1146         192 :     in65 = GF_ADD( in65, in81 );                \
    1147         192 :     in17 = GF_ADD( in17, in81 );                \
    1148         192 :     in81 = gf_zero();                           \
    1149         192 :     in82 = GF_MUL( in82, 67 );                  \
    1150         192 :     in80 = GF_ADD( in80, in82 );                \
    1151         192 :     in66 = GF_ADD( in66, in82 );                \
    1152         192 :     in18 = GF_ADD( in18, in82 );                \
    1153         192 :     in82 = gf_zero();                           \
    1154         192 :     in83 = GF_MUL( in83, 67 );                  \
    1155         192 :     in82 = GF_ADD( in82, in83 );                \
    1156         192 :     in81 = GF_ADD( in81, in83 );                \
    1157         192 :     in67 = GF_ADD( in67, in83 );                \
    1158         192 :     in19 = GF_ADD( in19, in83 );                \
    1159         192 :     in83 = gf_zero();                           \
    1160         192 :     in84 = GF_MUL( in84, 23 );                  \
    1161         192 :     in80 = GF_ADD( in80, in84 );                \
    1162         192 :     in68 = GF_ADD( in68, in84 );                \
    1163         192 :     in20 = GF_ADD( in20, in84 );                \
    1164         192 :     in84 = gf_zero();                           \
    1165         192 :     in85 = GF_MUL( in85, 23 );                  \
    1166         192 :     in84 = GF_ADD( in84, in85 );                \
    1167         192 :     in81 = GF_ADD( in81, in85 );                \
    1168         192 :     in69 = GF_ADD( in69, in85 );                \
    1169         192 :     in21 = GF_ADD( in21, in85 );                \
    1170         192 :     in85 = gf_zero();                           \
    1171         192 :     in86 = GF_MUL( in86, 136 );                 \
    1172         192 :     in84 = GF_ADD( in84, in86 );                \
    1173         192 :     in82 = GF_ADD( in82, in86 );                \
    1174         192 :     in70 = GF_ADD( in70, in86 );                \
    1175         192 :     in22 = GF_ADD( in22, in86 );                \
    1176         192 :     in86 = gf_zero();                           \
    1177         192 :     in87 = GF_MUL( in87, 136 );                 \
    1178         192 :     in86 = GF_ADD( in86, in87 );                \
    1179         192 :     in85 = GF_ADD( in85, in87 );                \
    1180         192 :     in83 = GF_ADD( in83, in87 );                \
    1181         192 :     in71 = GF_ADD( in71, in87 );                \
    1182         192 :     in23 = GF_ADD( in23, in87 );                \
    1183         192 :     in87 = gf_zero();                           \
    1184         192 :     in88 = GF_MUL( in88, 76 );                  \
    1185         192 :     in80 = GF_ADD( in80, in88 );                \
    1186         192 :     in72 = GF_ADD( in72, in88 );                \
    1187         192 :     in24 = GF_ADD( in24, in88 );                \
    1188         192 :     in88 = gf_zero();                           \
    1189         192 :     in89 = GF_MUL( in89, 76 );                  \
    1190         192 :     in88 = GF_ADD( in88, in89 );                \
    1191         192 :     in81 = GF_ADD( in81, in89 );                \
    1192         192 :     in73 = GF_ADD( in73, in89 );                \
    1193         192 :     in25 = GF_ADD( in25, in89 );                \
    1194         192 :     in89 = gf_zero();                           \
    1195         192 :     in90 = GF_MUL( in90, 233 );                 \
    1196         192 :     in88 = GF_ADD( in88, in90 );                \
    1197         192 :     in82 = GF_ADD( in82, in90 );                \
    1198         192 :     in74 = GF_ADD( in74, in90 );                \
    1199         192 :     in26 = GF_ADD( in26, in90 );                \
    1200         192 :     in90 = gf_zero();                           \
    1201         192 :     in91 = GF_MUL( in91, 233 );                 \
    1202         192 :     in90 = GF_ADD( in90, in91 );                \
    1203         192 :     in89 = GF_ADD( in89, in91 );                \
    1204         192 :     in83 = GF_ADD( in83, in91 );                \
    1205         192 :     in75 = GF_ADD( in75, in91 );                \
    1206         192 :     in27 = GF_ADD( in27, in91 );                \
    1207         192 :     in91 = gf_zero();                           \
    1208         192 :     in92 = GF_MUL( in92, 117 );                 \
    1209         192 :     in88 = GF_ADD( in88, in92 );                \
    1210         192 :     in84 = GF_ADD( in84, in92 );                \
    1211         192 :     in76 = GF_ADD( in76, in92 );                \
    1212         192 :     in28 = GF_ADD( in28, in92 );                \
    1213         192 :     in92 = gf_zero();                           \
    1214         192 :     in93 = GF_MUL( in93, 117 );                 \
    1215         192 :     in92 = GF_ADD( in92, in93 );                \
    1216         192 :     in89 = GF_ADD( in89, in93 );                \
    1217         192 :     in85 = GF_ADD( in85, in93 );                \
    1218         192 :     in77 = GF_ADD( in77, in93 );                \
    1219         192 :     in29 = GF_ADD( in29, in93 );                \
    1220         192 :     in93 = gf_zero();                           \
    1221         192 :     in94 = GF_MUL( in94, 108 );                 \
    1222         192 :     in92 = GF_ADD( in92, in94 );                \
    1223         192 :     in90 = GF_ADD( in90, in94 );                \
    1224         192 :     in86 = GF_ADD( in86, in94 );                \
    1225         192 :     in78 = GF_ADD( in78, in94 );                \
    1226         192 :     in30 = GF_ADD( in30, in94 );                \
    1227         192 :     in94 = gf_zero();                           \
    1228         192 :     in95 = GF_MUL( in95, 108 );                 \
    1229         192 :     in94 = GF_ADD( in94, in95 );                \
    1230         192 :     in93 = GF_ADD( in93, in95 );                \
    1231         192 :     in91 = GF_ADD( in91, in95 );                \
    1232         192 :     in87 = GF_ADD( in87, in95 );                \
    1233         192 :     in79 = GF_ADD( in79, in95 );                \
    1234         192 :     in31 = GF_ADD( in31, in95 );                \
    1235         192 :     in95 = gf_zero();                           \
    1236         192 :     in96 = GF_MUL( in96, 120 );                 \
    1237         192 :     in64 = GF_ADD( in64, in96 );                \
    1238         192 :     in32 = GF_ADD( in32, in96 );                \
    1239         192 :     in96 = gf_zero();                           \
    1240         192 :     in97 = GF_MUL( in97, 120 );                 \
    1241         192 :     in96 = GF_ADD( in96, in97 );                \
    1242         192 :     in65 = GF_ADD( in65, in97 );                \
    1243         192 :     in33 = GF_ADD( in33, in97 );                \
    1244         192 :     in97 = gf_zero();                           \
    1245         192 :     in98 = GF_MUL( in98, 20 );                  \
    1246         192 :     in96 = GF_ADD( in96, in98 );                \
    1247         192 :     in66 = GF_ADD( in66, in98 );                \
    1248         192 :     in34 = GF_ADD( in34, in98 );                \
    1249         192 :     in98 = gf_zero();                           \
    1250         192 :     in99 = GF_MUL( in99, 20 );                  \
    1251         192 :     in98 = GF_ADD( in98, in99 );                \
    1252         192 :     in97 = GF_ADD( in97, in99 );                \
    1253         192 :     in67 = GF_ADD( in67, in99 );                \
    1254         192 :     in35 = GF_ADD( in35, in99 );                \
    1255         192 :     in99 = gf_zero();                           \
    1256         192 :     in100 = GF_MUL( in100, 187 );               \
    1257         192 :     in96 = GF_ADD( in96, in100 );               \
    1258         192 :     in68 = GF_ADD( in68, in100 );               \
    1259         192 :     in36 = GF_ADD( in36, in100 );               \
    1260         192 :     in100 = gf_zero();                          \
    1261         192 :     in101 = GF_MUL( in101, 187 );               \
    1262         192 :     in100 = GF_ADD( in100, in101 );             \
    1263         192 :     in97 = GF_ADD( in97, in101 );               \
    1264         192 :     in69 = GF_ADD( in69, in101 );               \
    1265         192 :     in37 = GF_ADD( in37, in101 );               \
    1266         192 :     in101 = gf_zero();                          \
    1267         192 :     in102 = GF_MUL( in102, 186 );               \
    1268         192 :     in100 = GF_ADD( in100, in102 );             \
    1269         192 :     in98 = GF_ADD( in98, in102 );               \
    1270         192 :     in70 = GF_ADD( in70, in102 );               \
    1271         192 :     in38 = GF_ADD( in38, in102 );               \
    1272         192 :     in102 = gf_zero();                          \
    1273         192 :     in103 = GF_MUL( in103, 186 );               \
    1274         192 :     in102 = GF_ADD( in102, in103 );             \
    1275         192 :     in101 = GF_ADD( in101, in103 );             \
    1276         192 :     in99 = GF_ADD( in99, in103 );               \
    1277         192 :     in71 = GF_ADD( in71, in103 );               \
    1278         192 :     in39 = GF_ADD( in39, in103 );               \
    1279         192 :     in103 = gf_zero();                          \
    1280         192 :     in104 = GF_MUL( in104, 36 );                \
    1281         192 :     in96 = GF_ADD( in96, in104 );               \
    1282         192 :     in72 = GF_ADD( in72, in104 );               \
    1283         192 :     in40 = GF_ADD( in40, in104 );               \
    1284         192 :     in104 = gf_zero();                          \
    1285         192 :     in105 = GF_MUL( in105, 36 );                \
    1286         192 :     in104 = GF_ADD( in104, in105 );             \
    1287         192 :     in97 = GF_ADD( in97, in105 );               \
    1288         192 :     in73 = GF_ADD( in73, in105 );               \
    1289         192 :     in41 = GF_ADD( in41, in105 );               \
    1290         192 :     in105 = gf_zero();                          \
    1291         192 :     in106 = GF_MUL( in106, 14 );                \
    1292         192 :     in104 = GF_ADD( in104, in106 );             \
    1293         192 :     in98 = GF_ADD( in98, in106 );               \
    1294         192 :     in74 = GF_ADD( in74, in106 );               \
    1295         192 :     in42 = GF_ADD( in42, in106 );               \
    1296         192 :     in106 = gf_zero();                          \
    1297         192 :     in107 = GF_MUL( in107, 14 );                \
    1298         192 :     in106 = GF_ADD( in106, in107 );             \
    1299         192 :     in105 = GF_ADD( in105, in107 );             \
    1300         192 :     in99 = GF_ADD( in99, in107 );               \
    1301         192 :     in75 = GF_ADD( in75, in107 );               \
    1302         192 :     in43 = GF_ADD( in43, in107 );               \
    1303         192 :     in107 = gf_zero();                          \
    1304         192 :     in108 = GF_MUL( in108, 244 );               \
    1305         192 :     in104 = GF_ADD( in104, in108 );             \
    1306         192 :     in100 = GF_ADD( in100, in108 );             \
    1307         192 :     in76 = GF_ADD( in76, in108 );               \
    1308         192 :     in44 = GF_ADD( in44, in108 );               \
    1309         192 :     in108 = gf_zero();                          \
    1310         192 :     in109 = GF_MUL( in109, 244 );               \
    1311         192 :     in108 = GF_ADD( in108, in109 );             \
    1312         192 :     in105 = GF_ADD( in105, in109 );             \
    1313         192 :     in101 = GF_ADD( in101, in109 );             \
    1314         192 :     in77 = GF_ADD( in77, in109 );               \
    1315         192 :     in45 = GF_ADD( in45, in109 );               \
    1316         192 :     in109 = gf_zero();                          \
    1317         192 :     in110 = GF_MUL( in110, 221 );               \
    1318         192 :     in108 = GF_ADD( in108, in110 );             \
    1319         192 :     in106 = GF_ADD( in106, in110 );             \
    1320         192 :     in102 = GF_ADD( in102, in110 );             \
    1321         192 :     in78 = GF_ADD( in78, in110 );               \
    1322         192 :     in46 = GF_ADD( in46, in110 );               \
    1323         192 :     in110 = gf_zero();                          \
    1324         192 :     in111 = GF_MUL( in111, 221 );               \
    1325         192 :     in110 = GF_ADD( in110, in111 );             \
    1326         192 :     in109 = GF_ADD( in109, in111 );             \
    1327         192 :     in107 = GF_ADD( in107, in111 );             \
    1328         192 :     in103 = GF_ADD( in103, in111 );             \
    1329         192 :     in79 = GF_ADD( in79, in111 );               \
    1330         192 :     in47 = GF_ADD( in47, in111 );               \
    1331         192 :     in111 = gf_zero();                          \
    1332         192 :     in112 = GF_MUL( in112, 65 );                \
    1333         192 :     in96 = GF_ADD( in96, in112 );               \
    1334         192 :     in80 = GF_ADD( in80, in112 );               \
    1335         192 :     in48 = GF_ADD( in48, in112 );               \
    1336         192 :     in112 = gf_zero();                          \
    1337         192 :     in113 = GF_MUL( in113, 65 );                \
    1338         192 :     in112 = GF_ADD( in112, in113 );             \
    1339         192 :     in97 = GF_ADD( in97, in113 );               \
    1340         192 :     in81 = GF_ADD( in81, in113 );               \
    1341         192 :     in49 = GF_ADD( in49, in113 );               \
    1342         192 :     in113 = gf_zero();                          \
    1343         192 :     in114 = GF_MUL( in114, 145 );               \
    1344         192 :     in112 = GF_ADD( in112, in114 );             \
    1345         192 :     in98 = GF_ADD( in98, in114 );               \
    1346         192 :     in82 = GF_ADD( in82, in114 );               \
    1347         192 :     in50 = GF_ADD( in50, in114 );               \
    1348         192 :     in114 = gf_zero();                          \
    1349         192 :     in115 = GF_MUL( in115, 145 );               \
    1350         192 :     in114 = GF_ADD( in114, in115 );             \
    1351         192 :     in113 = GF_ADD( in113, in115 );             \
    1352         192 :     in99 = GF_ADD( in99, in115 );               \
    1353         192 :     in83 = GF_ADD( in83, in115 );               \
    1354         192 :     in51 = GF_ADD( in51, in115 );               \
    1355         192 :     in115 = gf_zero();                          \
    1356         192 :     in116 = GF_MUL( in116, 200 );               \
    1357         192 :     in112 = GF_ADD( in112, in116 );             \
    1358         192 :     in100 = GF_ADD( in100, in116 );             \
    1359         192 :     in84 = GF_ADD( in84, in116 );               \
    1360         192 :     in52 = GF_ADD( in52, in116 );               \
    1361         192 :     in116 = gf_zero();                          \
    1362         192 :     in117 = GF_MUL( in117, 200 );               \
    1363         192 :     in116 = GF_ADD( in116, in117 );             \
    1364         192 :     in113 = GF_ADD( in113, in117 );             \
    1365         192 :     in101 = GF_ADD( in101, in117 );             \
    1366         192 :     in85 = GF_ADD( in85, in117 );               \
    1367         192 :     in53 = GF_ADD( in53, in117 );               \
    1368         192 :     in117 = gf_zero();                          \
    1369         192 :     in118 = GF_MUL( in118, 215 );               \
    1370         192 :     in116 = GF_ADD( in116, in118 );             \
    1371         192 :     in114 = GF_ADD( in114, in118 );             \
    1372         192 :     in102 = GF_ADD( in102, in118 );             \
    1373         192 :     in86 = GF_ADD( in86, in118 );               \
    1374         192 :     in54 = GF_ADD( in54, in118 );               \
    1375         192 :     in118 = gf_zero();                          \
    1376         192 :     in119 = GF_MUL( in119, 215 );               \
    1377         192 :     in118 = GF_ADD( in118, in119 );             \
    1378         192 :     in117 = GF_ADD( in117, in119 );             \
    1379         192 :     in115 = GF_ADD( in115, in119 );             \
    1380         192 :     in103 = GF_ADD( in103, in119 );             \
    1381         192 :     in87 = GF_ADD( in87, in119 );               \
    1382         192 :     in55 = GF_ADD( in55, in119 );               \
    1383         192 :     in119 = gf_zero();                          \
    1384         192 :     in120 = GF_MUL( in120, 187 );               \
    1385         192 :     in112 = GF_ADD( in112, in120 );             \
    1386         192 :     in104 = GF_ADD( in104, in120 );             \
    1387         192 :     in88 = GF_ADD( in88, in120 );               \
    1388         192 :     in56 = GF_ADD( in56, in120 );               \
    1389         192 :     in120 = gf_zero();                          \
    1390         192 :     in121 = GF_MUL( in121, 187 );               \
    1391         192 :     in120 = GF_ADD( in120, in121 );             \
    1392         192 :     in113 = GF_ADD( in113, in121 );             \
    1393         192 :     in105 = GF_ADD( in105, in121 );             \
    1394         192 :     in89 = GF_ADD( in89, in121 );               \
    1395         192 :     in57 = GF_ADD( in57, in121 );               \
    1396         192 :     in121 = gf_zero();                          \
    1397         192 :     in122 = GF_MUL( in122, 186 );               \
    1398         192 :     in120 = GF_ADD( in120, in122 );             \
    1399         192 :     in114 = GF_ADD( in114, in122 );             \
    1400         192 :     in106 = GF_ADD( in106, in122 );             \
    1401         192 :     in90 = GF_ADD( in90, in122 );               \
    1402         192 :     in58 = GF_ADD( in58, in122 );               \
    1403         192 :     in122 = gf_zero();                          \
    1404         192 :     in123 = GF_MUL( in123, 186 );               \
    1405         192 :     in122 = GF_ADD( in122, in123 );             \
    1406         192 :     in121 = GF_ADD( in121, in123 );             \
    1407         192 :     in115 = GF_ADD( in115, in123 );             \
    1408         192 :     in107 = GF_ADD( in107, in123 );             \
    1409         192 :     in91 = GF_ADD( in91, in123 );               \
    1410         192 :     in59 = GF_ADD( in59, in123 );               \
    1411         192 :     in123 = gf_zero();                          \
    1412         192 :     in124 = GF_MUL( in124, 254 );               \
    1413         192 :     in120 = GF_ADD( in120, in124 );             \
    1414         192 :     in116 = GF_ADD( in116, in124 );             \
    1415         192 :     in108 = GF_ADD( in108, in124 );             \
    1416         192 :     in92 = GF_ADD( in92, in124 );               \
    1417         192 :     in60 = GF_ADD( in60, in124 );               \
    1418         192 :     in124 = gf_zero();                          \
    1419         192 :     in125 = GF_MUL( in125, 254 );               \
    1420         192 :     in124 = GF_ADD( in124, in125 );             \
    1421         192 :     in121 = GF_ADD( in121, in125 );             \
    1422         192 :     in117 = GF_ADD( in117, in125 );             \
    1423         192 :     in109 = GF_ADD( in109, in125 );             \
    1424         192 :     in93 = GF_ADD( in93, in125 );               \
    1425         192 :     in61 = GF_ADD( in61, in125 );               \
    1426         192 :     in125 = gf_zero();                          \
    1427         192 :     in126 = GF_MUL( in126, 222 );               \
    1428         192 :     in124 = GF_ADD( in124, in126 );             \
    1429         192 :     in122 = GF_ADD( in122, in126 );             \
    1430         192 :     in118 = GF_ADD( in118, in126 );             \
    1431         192 :     in110 = GF_ADD( in110, in126 );             \
    1432         192 :     in94 = GF_ADD( in94, in126 );               \
    1433         192 :     in62 = GF_ADD( in62, in126 );               \
    1434         192 :     in126 = gf_zero();                          \
    1435         192 :     in127 = GF_MUL( in127, 222 );               \
    1436         192 :     in126 = GF_ADD( in126, in127 );             \
    1437         192 :     in125 = GF_ADD( in125, in127 );             \
    1438         192 :     in123 = GF_ADD( in123, in127 );             \
    1439         192 :     in119 = GF_ADD( in119, in127 );             \
    1440         192 :     in111 = GF_ADD( in111, in127 );             \
    1441         192 :     in95 = GF_ADD( in95, in127 );               \
    1442         192 :     in63 = GF_ADD( in63, in127 );               \
    1443         192 :     in127 = gf_zero();                          \
    1444         192 :     in00 = GF_MUL( in00, 1 );                   \
    1445         192 :     in01 = GF_MUL( in01, 1 );                   \
    1446         192 :     in02 = GF_MUL( in02, 6 );                   \
    1447         192 :     in03 = GF_MUL( in03, 6 );                   \
    1448         192 :     in04 = GF_MUL( in04, 108 );                 \
    1449         192 :     in05 = GF_MUL( in05, 108 );                 \
    1450         192 :     in06 = GF_MUL( in06, 117 );                 \
    1451         192 :     in07 = GF_MUL( in07, 117 );                 \
    1452         192 :     in08 = GF_MUL( in08, 208 );                 \
    1453         192 :     in09 = GF_MUL( in09, 208 );                 \
    1454         192 :     in10 = GF_MUL( in10, 218 );                 \
    1455         192 :     in11 = GF_MUL( in11, 218 );                 \
    1456         192 :     in12 = GF_MUL( in12, 136 );                 \
    1457         192 :     in13 = GF_MUL( in13, 136 );                 \
    1458         192 :     in14 = GF_MUL( in14, 23 );                  \
    1459         192 :     in15 = GF_MUL( in15, 23 );                  \
    1460         192 :     in16 = GF_MUL( in16, 42 );                  \
    1461         192 :     in17 = GF_MUL( in17, 42 );                  \
    1462         192 :     in18 = GF_MUL( in18, 252 );                 \
    1463         192 :     in19 = GF_MUL( in19, 252 );                 \
    1464         192 :     in20 = GF_MUL( in20, 158 );                 \
    1465         192 :     in21 = GF_MUL( in21, 158 );                 \
    1466         192 :     in22 = GF_MUL( in22, 99 );                  \
    1467         192 :     in23 = GF_MUL( in23, 99 );                  \
    1468         192 :     in24 = GF_MUL( in24, 108 );                 \
    1469         192 :     in25 = GF_MUL( in25, 108 );                 \
    1470         192 :     in26 = GF_MUL( in26, 117 );                 \
    1471         192 :     in27 = GF_MUL( in27, 117 );                 \
    1472         192 :     in28 = GF_MUL( in28, 233 );                 \
    1473         192 :     in29 = GF_MUL( in29, 233 );                 \
    1474         192 :     in30 = GF_MUL( in30, 76 );                  \
    1475         192 :     in31 = GF_MUL( in31, 76 );                  \
    1476         192 :     in32 = GF_MUL( in32, 165 );                 \
    1477         192 :     in33 = GF_MUL( in33, 165 );                 \
    1478         192 :     in34 = GF_MUL( in34, 249 );                 \
    1479         192 :     in35 = GF_MUL( in35, 249 );                 \
    1480         192 :     in36 = GF_MUL( in36, 196 );                 \
    1481         192 :     in37 = GF_MUL( in37, 196 );                 \
    1482         192 :     in38 = GF_MUL( in38, 162 );                 \
    1483         192 :     in39 = GF_MUL( in39, 162 );                 \
    1484         192 :     in40 = GF_MUL( in40, 212 );                 \
    1485         192 :     in41 = GF_MUL( in41, 212 );                 \
    1486         192 :     in42 = GF_MUL( in42, 194 );                 \
    1487         192 :     in43 = GF_MUL( in43, 194 );                 \
    1488         192 :     in44 = GF_MUL( in44, 37 );                  \
    1489         192 :     in45 = GF_MUL( in45, 37 );                  \
    1490         192 :     in46 = GF_MUL( in46, 222 );                 \
    1491         192 :     in47 = GF_MUL( in47, 222 );                 \
    1492         192 :     in48 = GF_MUL( in48, 15 );                  \
    1493         192 :     in49 = GF_MUL( in49, 15 );                  \
    1494         192 :     in50 = GF_MUL( in50, 34 );                  \
    1495         192 :     in51 = GF_MUL( in51, 34 );                  \
    1496         192 :     in52 = GF_MUL( in52, 94 );                  \
    1497         192 :     in53 = GF_MUL( in53, 94 );                  \
    1498         192 :     in54 = GF_MUL( in54, 217 );                 \
    1499         192 :     in55 = GF_MUL( in55, 217 );                 \
    1500         192 :     in56 = GF_MUL( in56, 196 );                 \
    1501         192 :     in57 = GF_MUL( in57, 196 );                 \
    1502         192 :     in58 = GF_MUL( in58, 162 );                 \
    1503         192 :     in59 = GF_MUL( in59, 162 );                 \
    1504         192 :     in60 = GF_MUL( in60, 171 );                 \
    1505         192 :     in61 = GF_MUL( in61, 171 );                 \
    1506         192 :     in62 = GF_MUL( in62, 221 );                 \
    1507         192 :     in63 = GF_MUL( in63, 221 );                 \
    1508         192 :     in64 = GF_MUL( in64, 250 );                 \
    1509         192 :     in65 = GF_MUL( in65, 250 );                 \
    1510         192 :     in66 = GF_MUL( in66, 38 );                  \
    1511         192 :     in67 = GF_MUL( in67, 38 );                  \
    1512         192 :     in68 = GF_MUL( in68, 22 );                  \
    1513         192 :     in69 = GF_MUL( in69, 22 );                  \
    1514         192 :     in70 = GF_MUL( in70, 116 );                 \
    1515         192 :     in71 = GF_MUL( in71, 116 );                 \
    1516         192 :     in72 = GF_MUL( in72, 175 );                 \
    1517         192 :     in73 = GF_MUL( in73, 175 );                 \
    1518         192 :     in74 = GF_MUL( in74, 197 );                 \
    1519         192 :     in75 = GF_MUL( in75, 197 );                 \
    1520         192 :     in76 = GF_MUL( in76, 91 );                  \
    1521         192 :     in77 = GF_MUL( in77, 91 );                  \
    1522         192 :     in78 = GF_MUL( in78, 199 );                 \
    1523         192 :     in79 = GF_MUL( in79, 199 );                 \
    1524         192 :     in80 = GF_MUL( in80, 92 );                  \
    1525         192 :     in81 = GF_MUL( in81, 92 );                  \
    1526         192 :     in82 = GF_MUL( in82, 213 );                 \
    1527         192 :     in83 = GF_MUL( in83, 213 );                 \
    1528         192 :     in84 = GF_MUL( in84, 102 );                 \
    1529         192 :     in85 = GF_MUL( in85, 102 );                 \
    1530         192 :     in86 = GF_MUL( in86, 73 );                  \
    1531         192 :     in87 = GF_MUL( in87, 73 );                  \
    1532         192 :     in88 = GF_MUL( in88, 22 );                  \
    1533         192 :     in89 = GF_MUL( in89, 22 );                  \
    1534         192 :     in90 = GF_MUL( in90, 116 );                 \
    1535         192 :     in91 = GF_MUL( in91, 116 );                 \
    1536         192 :     in92 = GF_MUL( in92, 251 );                 \
    1537         192 :     in93 = GF_MUL( in93, 251 );                 \
    1538         192 :     in94 = GF_MUL( in94, 32 );                  \
    1539         192 :     in95 = GF_MUL( in95, 32 );                  \
    1540         192 :     in96 = GF_MUL( in96, 219 );                 \
    1541         192 :     in97 = GF_MUL( in97, 219 );                 \
    1542         192 :     in98 = GF_MUL( in98, 224 );                 \
    1543         192 :     in99 = GF_MUL( in99, 224 );                 \
    1544         192 :     in100 = GF_MUL( in100, 123 );               \
    1545         192 :     in101 = GF_MUL( in101, 123 );               \
    1546         192 :     in102 = GF_MUL( in102, 7 );                 \
    1547         192 :     in103 = GF_MUL( in103, 7 );                 \
    1548         192 :     in104 = GF_MUL( in104, 96 );                \
    1549         192 :     in105 = GF_MUL( in105, 96 );                \
    1550         192 :     in106 = GF_MUL( in106, 93 );                \
    1551         192 :     in107 = GF_MUL( in107, 93 );                \
    1552         192 :     in108 = GF_MUL( in108, 3 );                 \
    1553         192 :     in109 = GF_MUL( in109, 3 );                 \
    1554         192 :     in110 = GF_MUL( in110, 10 );                \
    1555         192 :     in111 = GF_MUL( in111, 10 );                \
    1556         192 :     in112 = GF_MUL( in112, 95 );                \
    1557         192 :     in113 = GF_MUL( in113, 95 );                \
    1558         192 :     in114 = GF_MUL( in114, 223 );               \
    1559         192 :     in115 = GF_MUL( in115, 223 );               \
    1560         192 :     in116 = GF_MUL( in116, 210 );               \
    1561         192 :     in117 = GF_MUL( in117, 210 );               \
    1562         192 :     in118 = GF_MUL( in118, 214 );               \
    1563         192 :     in119 = GF_MUL( in119, 214 );               \
    1564         192 :     in120 = GF_MUL( in120, 123 );               \
    1565         192 :     in121 = GF_MUL( in121, 123 );               \
    1566         192 :     in122 = GF_MUL( in122, 7 );                 \
    1567         192 :     in123 = GF_MUL( in123, 7 );                 \
    1568         192 :     in124 = GF_MUL( in124, 126 );               \
    1569         192 :     in125 = GF_MUL( in125, 126 );               \
    1570         192 :     in126 = GF_MUL( in126, 25 );                \
    1571         192 :     in127 = GF_MUL( in127, 25 );                \
    1572         192 :   } 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