LCOV - code coverage report
Current view: top level - ballet/reedsol/wrapped_impl - fd_reedsol_ppt_impl_33.c (source / functions) Hit Total Coverage
Test: cov.lcov Lines: 917 917 100.0 %
Date: 2025-07-01 05:00:49 Functions: 7 7 100.0 %

          Line data    Source code
       1             : /* Note: This file is auto generated. */
       2             : #include "../fd_reedsol_ppt.h"
       3             : 
       4             : FD_FN_UNSANITIZED void
       5             : fd_reedsol_ppt_64_33( gf_t * _in00,
       6             :                       gf_t * _in01,
       7             :                       gf_t * _in02,
       8             :                       gf_t * _in03,
       9             :                       gf_t * _in04,
      10             :                       gf_t * _in05,
      11             :                       gf_t * _in06,
      12             :                       gf_t * _in07,
      13             :                       gf_t * _in08,
      14             :                       gf_t * _in09,
      15             :                       gf_t * _in10,
      16             :                       gf_t * _in11,
      17             :                       gf_t * _in12,
      18             :                       gf_t * _in13,
      19             :                       gf_t * _in14,
      20             :                       gf_t * _in15,
      21             :                       gf_t * _in16,
      22             :                       gf_t * _in17,
      23             :                       gf_t * _in18,
      24             :                       gf_t * _in19,
      25             :                       gf_t * _in20,
      26             :                       gf_t * _in21,
      27             :                       gf_t * _in22,
      28             :                       gf_t * _in23,
      29             :                       gf_t * _in24,
      30             :                       gf_t * _in25,
      31             :                       gf_t * _in26,
      32             :                       gf_t * _in27,
      33             :                       gf_t * _in28,
      34             :                       gf_t * _in29,
      35             :                       gf_t * _in30,
      36             :                       gf_t * _in31,
      37             :                       gf_t * _in32,
      38             :                       gf_t * _in33,
      39             :                       gf_t * _in34,
      40             :                       gf_t * _in35,
      41             :                       gf_t * _in36,
      42             :                       gf_t * _in37,
      43             :                       gf_t * _in38,
      44             :                       gf_t * _in39,
      45             :                       gf_t * _in40,
      46             :                       gf_t * _in41,
      47             :                       gf_t * _in42,
      48             :                       gf_t * _in43,
      49             :                       gf_t * _in44,
      50             :                       gf_t * _in45,
      51             :                       gf_t * _in46,
      52             :                       gf_t * _in47,
      53             :                       gf_t * _in48,
      54             :                       gf_t * _in49,
      55             :                       gf_t * _in50,
      56             :                       gf_t * _in51,
      57             :                       gf_t * _in52,
      58             :                       gf_t * _in53,
      59             :                       gf_t * _in54,
      60             :                       gf_t * _in55,
      61             :                       gf_t * _in56,
      62             :                       gf_t * _in57,
      63             :                       gf_t * _in58,
      64             :                       gf_t * _in59,
      65             :                       gf_t * _in60,
      66             :                       gf_t * _in61,
      67             :                       gf_t * _in62,
      68      243396 :                       gf_t * _in63 ) {
      69      243396 :   gf_t in00 = *_in00;
      70      243396 :   gf_t in01 = *_in01;
      71      243396 :   gf_t in02 = *_in02;
      72      243396 :   gf_t in03 = *_in03;
      73      243396 :   gf_t in04 = *_in04;
      74      243396 :   gf_t in05 = *_in05;
      75      243396 :   gf_t in06 = *_in06;
      76      243396 :   gf_t in07 = *_in07;
      77      243396 :   gf_t in08 = *_in08;
      78      243396 :   gf_t in09 = *_in09;
      79      243396 :   gf_t in10 = *_in10;
      80      243396 :   gf_t in11 = *_in11;
      81      243396 :   gf_t in12 = *_in12;
      82      243396 :   gf_t in13 = *_in13;
      83      243396 :   gf_t in14 = *_in14;
      84      243396 :   gf_t in15 = *_in15;
      85      243396 :   gf_t in16 = *_in16;
      86      243396 :   gf_t in17 = *_in17;
      87      243396 :   gf_t in18 = *_in18;
      88      243396 :   gf_t in19 = *_in19;
      89      243396 :   gf_t in20 = *_in20;
      90      243396 :   gf_t in21 = *_in21;
      91      243396 :   gf_t in22 = *_in22;
      92      243396 :   gf_t in23 = *_in23;
      93      243396 :   gf_t in24 = *_in24;
      94      243396 :   gf_t in25 = *_in25;
      95      243396 :   gf_t in26 = *_in26;
      96      243396 :   gf_t in27 = *_in27;
      97      243396 :   gf_t in28 = *_in28;
      98      243396 :   gf_t in29 = *_in29;
      99      243396 :   gf_t in30 = *_in30;
     100      243396 :   gf_t in31 = *_in31;
     101      243396 :   gf_t in32 = *_in32;
     102      243396 :   gf_t in33 = *_in33;
     103      243396 :   gf_t in34 = *_in34;
     104      243396 :   gf_t in35 = *_in35;
     105      243396 :   gf_t in36 = *_in36;
     106      243396 :   gf_t in37 = *_in37;
     107      243396 :   gf_t in38 = *_in38;
     108      243396 :   gf_t in39 = *_in39;
     109      243396 :   gf_t in40 = *_in40;
     110      243396 :   gf_t in41 = *_in41;
     111      243396 :   gf_t in42 = *_in42;
     112      243396 :   gf_t in43 = *_in43;
     113      243396 :   gf_t in44 = *_in44;
     114      243396 :   gf_t in45 = *_in45;
     115      243396 :   gf_t in46 = *_in46;
     116      243396 :   gf_t in47 = *_in47;
     117      243396 :   gf_t in48 = *_in48;
     118      243396 :   gf_t in49 = *_in49;
     119      243396 :   gf_t in50 = *_in50;
     120      243396 :   gf_t in51 = *_in51;
     121      243396 :   gf_t in52 = *_in52;
     122      243396 :   gf_t in53 = *_in53;
     123      243396 :   gf_t in54 = *_in54;
     124      243396 :   gf_t in55 = *_in55;
     125      243396 :   gf_t in56 = *_in56;
     126      243396 :   gf_t in57 = *_in57;
     127      243396 :   gf_t in58 = *_in58;
     128      243396 :   gf_t in59 = *_in59;
     129      243396 :   gf_t in60 = *_in60;
     130      243396 :   gf_t in61 = *_in61;
     131      243396 :   gf_t in62 = *_in62;
     132      243396 :   gf_t in63 = *_in63;
     133             : 
     134      243396 :   FD_REEDSOL_GENERATE_PPT( 64, 33, in00, in01, in02, in03, in04, in05, in06, in07, in08, in09, in10, in11, in12, in13, in14, in15, in16, in17, in18, in19, in20, in21, in22, in23, in24, in25, in26, in27, in28, in29, in30, in31, in32, in33, in34, in35, in36, in37, in38, in39, in40, in41, in42, in43, in44, in45, in46, in47, in48, in49, in50, in51, in52, in53, in54, in55, in56, in57, in58, in59, in60, in61, in62, in63 );
     135      243396 :   *_in00 = in00;
     136      243396 :   *_in01 = in01;
     137      243396 :   *_in02 = in02;
     138      243396 :   *_in03 = in03;
     139      243396 :   *_in04 = in04;
     140      243396 :   *_in05 = in05;
     141      243396 :   *_in06 = in06;
     142      243396 :   *_in07 = in07;
     143      243396 :   *_in08 = in08;
     144      243396 :   *_in09 = in09;
     145      243396 :   *_in10 = in10;
     146      243396 :   *_in11 = in11;
     147      243396 :   *_in12 = in12;
     148      243396 :   *_in13 = in13;
     149      243396 :   *_in14 = in14;
     150      243396 :   *_in15 = in15;
     151      243396 :   *_in16 = in16;
     152      243396 :   *_in17 = in17;
     153      243396 :   *_in18 = in18;
     154      243396 :   *_in19 = in19;
     155      243396 :   *_in20 = in20;
     156      243396 :   *_in21 = in21;
     157      243396 :   *_in22 = in22;
     158      243396 :   *_in23 = in23;
     159      243396 :   *_in24 = in24;
     160      243396 :   *_in25 = in25;
     161      243396 :   *_in26 = in26;
     162      243396 :   *_in27 = in27;
     163      243396 :   *_in28 = in28;
     164      243396 :   *_in29 = in29;
     165      243396 :   *_in30 = in30;
     166      243396 :   *_in31 = in31;
     167      243396 :   *_in32 = in32;
     168      243396 :   *_in33 = in33;
     169      243396 :   *_in34 = in34;
     170      243396 :   *_in35 = in35;
     171      243396 :   *_in36 = in36;
     172      243396 :   *_in37 = in37;
     173      243396 :   *_in38 = in38;
     174      243396 :   *_in39 = in39;
     175      243396 :   *_in40 = in40;
     176      243396 :   *_in41 = in41;
     177      243396 :   *_in42 = in42;
     178      243396 :   *_in43 = in43;
     179      243396 :   *_in44 = in44;
     180      243396 :   *_in45 = in45;
     181      243396 :   *_in46 = in46;
     182      243396 :   *_in47 = in47;
     183      243396 :   *_in48 = in48;
     184      243396 :   *_in49 = in49;
     185      243396 :   *_in50 = in50;
     186      243396 :   *_in51 = in51;
     187      243396 :   *_in52 = in52;
     188      243396 :   *_in53 = in53;
     189      243396 :   *_in54 = in54;
     190      243396 :   *_in55 = in55;
     191      243396 :   *_in56 = in56;
     192      243396 :   *_in57 = in57;
     193      243396 :   *_in58 = in58;
     194      243396 :   *_in59 = in59;
     195      243396 :   *_in60 = in60;
     196      243396 :   *_in61 = in61;
     197      243396 :   *_in62 = in62;
     198      243396 :   *_in63 = in63;
     199      243396 : }
     200             : 
     201             : FD_FN_UNSANITIZED void
     202             : fd_reedsol_ppt_64_34( gf_t * _in00,
     203             :                       gf_t * _in01,
     204             :                       gf_t * _in02,
     205             :                       gf_t * _in03,
     206             :                       gf_t * _in04,
     207             :                       gf_t * _in05,
     208             :                       gf_t * _in06,
     209             :                       gf_t * _in07,
     210             :                       gf_t * _in08,
     211             :                       gf_t * _in09,
     212             :                       gf_t * _in10,
     213             :                       gf_t * _in11,
     214             :                       gf_t * _in12,
     215             :                       gf_t * _in13,
     216             :                       gf_t * _in14,
     217             :                       gf_t * _in15,
     218             :                       gf_t * _in16,
     219             :                       gf_t * _in17,
     220             :                       gf_t * _in18,
     221             :                       gf_t * _in19,
     222             :                       gf_t * _in20,
     223             :                       gf_t * _in21,
     224             :                       gf_t * _in22,
     225             :                       gf_t * _in23,
     226             :                       gf_t * _in24,
     227             :                       gf_t * _in25,
     228             :                       gf_t * _in26,
     229             :                       gf_t * _in27,
     230             :                       gf_t * _in28,
     231             :                       gf_t * _in29,
     232             :                       gf_t * _in30,
     233             :                       gf_t * _in31,
     234             :                       gf_t * _in32,
     235             :                       gf_t * _in33,
     236             :                       gf_t * _in34,
     237             :                       gf_t * _in35,
     238             :                       gf_t * _in36,
     239             :                       gf_t * _in37,
     240             :                       gf_t * _in38,
     241             :                       gf_t * _in39,
     242             :                       gf_t * _in40,
     243             :                       gf_t * _in41,
     244             :                       gf_t * _in42,
     245             :                       gf_t * _in43,
     246             :                       gf_t * _in44,
     247             :                       gf_t * _in45,
     248             :                       gf_t * _in46,
     249             :                       gf_t * _in47,
     250             :                       gf_t * _in48,
     251             :                       gf_t * _in49,
     252             :                       gf_t * _in50,
     253             :                       gf_t * _in51,
     254             :                       gf_t * _in52,
     255             :                       gf_t * _in53,
     256             :                       gf_t * _in54,
     257             :                       gf_t * _in55,
     258             :                       gf_t * _in56,
     259             :                       gf_t * _in57,
     260             :                       gf_t * _in58,
     261             :                       gf_t * _in59,
     262             :                       gf_t * _in60,
     263             :                       gf_t * _in61,
     264             :                       gf_t * _in62,
     265      773412 :                       gf_t * _in63 ) {
     266      773412 :   gf_t in00 = *_in00;
     267      773412 :   gf_t in01 = *_in01;
     268      773412 :   gf_t in02 = *_in02;
     269      773412 :   gf_t in03 = *_in03;
     270      773412 :   gf_t in04 = *_in04;
     271      773412 :   gf_t in05 = *_in05;
     272      773412 :   gf_t in06 = *_in06;
     273      773412 :   gf_t in07 = *_in07;
     274      773412 :   gf_t in08 = *_in08;
     275      773412 :   gf_t in09 = *_in09;
     276      773412 :   gf_t in10 = *_in10;
     277      773412 :   gf_t in11 = *_in11;
     278      773412 :   gf_t in12 = *_in12;
     279      773412 :   gf_t in13 = *_in13;
     280      773412 :   gf_t in14 = *_in14;
     281      773412 :   gf_t in15 = *_in15;
     282      773412 :   gf_t in16 = *_in16;
     283      773412 :   gf_t in17 = *_in17;
     284      773412 :   gf_t in18 = *_in18;
     285      773412 :   gf_t in19 = *_in19;
     286      773412 :   gf_t in20 = *_in20;
     287      773412 :   gf_t in21 = *_in21;
     288      773412 :   gf_t in22 = *_in22;
     289      773412 :   gf_t in23 = *_in23;
     290      773412 :   gf_t in24 = *_in24;
     291      773412 :   gf_t in25 = *_in25;
     292      773412 :   gf_t in26 = *_in26;
     293      773412 :   gf_t in27 = *_in27;
     294      773412 :   gf_t in28 = *_in28;
     295      773412 :   gf_t in29 = *_in29;
     296      773412 :   gf_t in30 = *_in30;
     297      773412 :   gf_t in31 = *_in31;
     298      773412 :   gf_t in32 = *_in32;
     299      773412 :   gf_t in33 = *_in33;
     300      773412 :   gf_t in34 = *_in34;
     301      773412 :   gf_t in35 = *_in35;
     302      773412 :   gf_t in36 = *_in36;
     303      773412 :   gf_t in37 = *_in37;
     304      773412 :   gf_t in38 = *_in38;
     305      773412 :   gf_t in39 = *_in39;
     306      773412 :   gf_t in40 = *_in40;
     307      773412 :   gf_t in41 = *_in41;
     308      773412 :   gf_t in42 = *_in42;
     309      773412 :   gf_t in43 = *_in43;
     310      773412 :   gf_t in44 = *_in44;
     311      773412 :   gf_t in45 = *_in45;
     312      773412 :   gf_t in46 = *_in46;
     313      773412 :   gf_t in47 = *_in47;
     314      773412 :   gf_t in48 = *_in48;
     315      773412 :   gf_t in49 = *_in49;
     316      773412 :   gf_t in50 = *_in50;
     317      773412 :   gf_t in51 = *_in51;
     318      773412 :   gf_t in52 = *_in52;
     319      773412 :   gf_t in53 = *_in53;
     320      773412 :   gf_t in54 = *_in54;
     321      773412 :   gf_t in55 = *_in55;
     322      773412 :   gf_t in56 = *_in56;
     323      773412 :   gf_t in57 = *_in57;
     324      773412 :   gf_t in58 = *_in58;
     325      773412 :   gf_t in59 = *_in59;
     326      773412 :   gf_t in60 = *_in60;
     327      773412 :   gf_t in61 = *_in61;
     328      773412 :   gf_t in62 = *_in62;
     329      773412 :   gf_t in63 = *_in63;
     330             : 
     331      773412 :   FD_REEDSOL_GENERATE_PPT( 64, 34, in00, in01, in02, in03, in04, in05, in06, in07, in08, in09, in10, in11, in12, in13, in14, in15, in16, in17, in18, in19, in20, in21, in22, in23, in24, in25, in26, in27, in28, in29, in30, in31, in32, in33, in34, in35, in36, in37, in38, in39, in40, in41, in42, in43, in44, in45, in46, in47, in48, in49, in50, in51, in52, in53, in54, in55, in56, in57, in58, in59, in60, in61, in62, in63 );
     332      773412 :   *_in00 = in00;
     333      773412 :   *_in01 = in01;
     334      773412 :   *_in02 = in02;
     335      773412 :   *_in03 = in03;
     336      773412 :   *_in04 = in04;
     337      773412 :   *_in05 = in05;
     338      773412 :   *_in06 = in06;
     339      773412 :   *_in07 = in07;
     340      773412 :   *_in08 = in08;
     341      773412 :   *_in09 = in09;
     342      773412 :   *_in10 = in10;
     343      773412 :   *_in11 = in11;
     344      773412 :   *_in12 = in12;
     345      773412 :   *_in13 = in13;
     346      773412 :   *_in14 = in14;
     347      773412 :   *_in15 = in15;
     348      773412 :   *_in16 = in16;
     349      773412 :   *_in17 = in17;
     350      773412 :   *_in18 = in18;
     351      773412 :   *_in19 = in19;
     352      773412 :   *_in20 = in20;
     353      773412 :   *_in21 = in21;
     354      773412 :   *_in22 = in22;
     355      773412 :   *_in23 = in23;
     356      773412 :   *_in24 = in24;
     357      773412 :   *_in25 = in25;
     358      773412 :   *_in26 = in26;
     359      773412 :   *_in27 = in27;
     360      773412 :   *_in28 = in28;
     361      773412 :   *_in29 = in29;
     362      773412 :   *_in30 = in30;
     363      773412 :   *_in31 = in31;
     364      773412 :   *_in32 = in32;
     365      773412 :   *_in33 = in33;
     366      773412 :   *_in34 = in34;
     367      773412 :   *_in35 = in35;
     368      773412 :   *_in36 = in36;
     369      773412 :   *_in37 = in37;
     370      773412 :   *_in38 = in38;
     371      773412 :   *_in39 = in39;
     372      773412 :   *_in40 = in40;
     373      773412 :   *_in41 = in41;
     374      773412 :   *_in42 = in42;
     375      773412 :   *_in43 = in43;
     376      773412 :   *_in44 = in44;
     377      773412 :   *_in45 = in45;
     378      773412 :   *_in46 = in46;
     379      773412 :   *_in47 = in47;
     380      773412 :   *_in48 = in48;
     381      773412 :   *_in49 = in49;
     382      773412 :   *_in50 = in50;
     383      773412 :   *_in51 = in51;
     384      773412 :   *_in52 = in52;
     385      773412 :   *_in53 = in53;
     386      773412 :   *_in54 = in54;
     387      773412 :   *_in55 = in55;
     388      773412 :   *_in56 = in56;
     389      773412 :   *_in57 = in57;
     390      773412 :   *_in58 = in58;
     391      773412 :   *_in59 = in59;
     392      773412 :   *_in60 = in60;
     393      773412 :   *_in61 = in61;
     394      773412 :   *_in62 = in62;
     395      773412 :   *_in63 = in63;
     396      773412 : }
     397             : 
     398             : FD_FN_UNSANITIZED void
     399             : fd_reedsol_ppt_64_35( gf_t * _in00,
     400             :                       gf_t * _in01,
     401             :                       gf_t * _in02,
     402             :                       gf_t * _in03,
     403             :                       gf_t * _in04,
     404             :                       gf_t * _in05,
     405             :                       gf_t * _in06,
     406             :                       gf_t * _in07,
     407             :                       gf_t * _in08,
     408             :                       gf_t * _in09,
     409             :                       gf_t * _in10,
     410             :                       gf_t * _in11,
     411             :                       gf_t * _in12,
     412             :                       gf_t * _in13,
     413             :                       gf_t * _in14,
     414             :                       gf_t * _in15,
     415             :                       gf_t * _in16,
     416             :                       gf_t * _in17,
     417             :                       gf_t * _in18,
     418             :                       gf_t * _in19,
     419             :                       gf_t * _in20,
     420             :                       gf_t * _in21,
     421             :                       gf_t * _in22,
     422             :                       gf_t * _in23,
     423             :                       gf_t * _in24,
     424             :                       gf_t * _in25,
     425             :                       gf_t * _in26,
     426             :                       gf_t * _in27,
     427             :                       gf_t * _in28,
     428             :                       gf_t * _in29,
     429             :                       gf_t * _in30,
     430             :                       gf_t * _in31,
     431             :                       gf_t * _in32,
     432             :                       gf_t * _in33,
     433             :                       gf_t * _in34,
     434             :                       gf_t * _in35,
     435             :                       gf_t * _in36,
     436             :                       gf_t * _in37,
     437             :                       gf_t * _in38,
     438             :                       gf_t * _in39,
     439             :                       gf_t * _in40,
     440             :                       gf_t * _in41,
     441             :                       gf_t * _in42,
     442             :                       gf_t * _in43,
     443             :                       gf_t * _in44,
     444             :                       gf_t * _in45,
     445             :                       gf_t * _in46,
     446             :                       gf_t * _in47,
     447             :                       gf_t * _in48,
     448             :                       gf_t * _in49,
     449             :                       gf_t * _in50,
     450             :                       gf_t * _in51,
     451             :                       gf_t * _in52,
     452             :                       gf_t * _in53,
     453             :                       gf_t * _in54,
     454             :                       gf_t * _in55,
     455             :                       gf_t * _in56,
     456             :                       gf_t * _in57,
     457             :                       gf_t * _in58,
     458             :                       gf_t * _in59,
     459             :                       gf_t * _in60,
     460             :                       gf_t * _in61,
     461             :                       gf_t * _in62,
     462      773838 :                       gf_t * _in63 ) {
     463      773838 :   gf_t in00 = *_in00;
     464      773838 :   gf_t in01 = *_in01;
     465      773838 :   gf_t in02 = *_in02;
     466      773838 :   gf_t in03 = *_in03;
     467      773838 :   gf_t in04 = *_in04;
     468      773838 :   gf_t in05 = *_in05;
     469      773838 :   gf_t in06 = *_in06;
     470      773838 :   gf_t in07 = *_in07;
     471      773838 :   gf_t in08 = *_in08;
     472      773838 :   gf_t in09 = *_in09;
     473      773838 :   gf_t in10 = *_in10;
     474      773838 :   gf_t in11 = *_in11;
     475      773838 :   gf_t in12 = *_in12;
     476      773838 :   gf_t in13 = *_in13;
     477      773838 :   gf_t in14 = *_in14;
     478      773838 :   gf_t in15 = *_in15;
     479      773838 :   gf_t in16 = *_in16;
     480      773838 :   gf_t in17 = *_in17;
     481      773838 :   gf_t in18 = *_in18;
     482      773838 :   gf_t in19 = *_in19;
     483      773838 :   gf_t in20 = *_in20;
     484      773838 :   gf_t in21 = *_in21;
     485      773838 :   gf_t in22 = *_in22;
     486      773838 :   gf_t in23 = *_in23;
     487      773838 :   gf_t in24 = *_in24;
     488      773838 :   gf_t in25 = *_in25;
     489      773838 :   gf_t in26 = *_in26;
     490      773838 :   gf_t in27 = *_in27;
     491      773838 :   gf_t in28 = *_in28;
     492      773838 :   gf_t in29 = *_in29;
     493      773838 :   gf_t in30 = *_in30;
     494      773838 :   gf_t in31 = *_in31;
     495      773838 :   gf_t in32 = *_in32;
     496      773838 :   gf_t in33 = *_in33;
     497      773838 :   gf_t in34 = *_in34;
     498      773838 :   gf_t in35 = *_in35;
     499      773838 :   gf_t in36 = *_in36;
     500      773838 :   gf_t in37 = *_in37;
     501      773838 :   gf_t in38 = *_in38;
     502      773838 :   gf_t in39 = *_in39;
     503      773838 :   gf_t in40 = *_in40;
     504      773838 :   gf_t in41 = *_in41;
     505      773838 :   gf_t in42 = *_in42;
     506      773838 :   gf_t in43 = *_in43;
     507      773838 :   gf_t in44 = *_in44;
     508      773838 :   gf_t in45 = *_in45;
     509      773838 :   gf_t in46 = *_in46;
     510      773838 :   gf_t in47 = *_in47;
     511      773838 :   gf_t in48 = *_in48;
     512      773838 :   gf_t in49 = *_in49;
     513      773838 :   gf_t in50 = *_in50;
     514      773838 :   gf_t in51 = *_in51;
     515      773838 :   gf_t in52 = *_in52;
     516      773838 :   gf_t in53 = *_in53;
     517      773838 :   gf_t in54 = *_in54;
     518      773838 :   gf_t in55 = *_in55;
     519      773838 :   gf_t in56 = *_in56;
     520      773838 :   gf_t in57 = *_in57;
     521      773838 :   gf_t in58 = *_in58;
     522      773838 :   gf_t in59 = *_in59;
     523      773838 :   gf_t in60 = *_in60;
     524      773838 :   gf_t in61 = *_in61;
     525      773838 :   gf_t in62 = *_in62;
     526      773838 :   gf_t in63 = *_in63;
     527             : 
     528      773838 :   FD_REEDSOL_GENERATE_PPT( 64, 35, in00, in01, in02, in03, in04, in05, in06, in07, in08, in09, in10, in11, in12, in13, in14, in15, in16, in17, in18, in19, in20, in21, in22, in23, in24, in25, in26, in27, in28, in29, in30, in31, in32, in33, in34, in35, in36, in37, in38, in39, in40, in41, in42, in43, in44, in45, in46, in47, in48, in49, in50, in51, in52, in53, in54, in55, in56, in57, in58, in59, in60, in61, in62, in63 );
     529      773838 :   *_in00 = in00;
     530      773838 :   *_in01 = in01;
     531      773838 :   *_in02 = in02;
     532      773838 :   *_in03 = in03;
     533      773838 :   *_in04 = in04;
     534      773838 :   *_in05 = in05;
     535      773838 :   *_in06 = in06;
     536      773838 :   *_in07 = in07;
     537      773838 :   *_in08 = in08;
     538      773838 :   *_in09 = in09;
     539      773838 :   *_in10 = in10;
     540      773838 :   *_in11 = in11;
     541      773838 :   *_in12 = in12;
     542      773838 :   *_in13 = in13;
     543      773838 :   *_in14 = in14;
     544      773838 :   *_in15 = in15;
     545      773838 :   *_in16 = in16;
     546      773838 :   *_in17 = in17;
     547      773838 :   *_in18 = in18;
     548      773838 :   *_in19 = in19;
     549      773838 :   *_in20 = in20;
     550      773838 :   *_in21 = in21;
     551      773838 :   *_in22 = in22;
     552      773838 :   *_in23 = in23;
     553      773838 :   *_in24 = in24;
     554      773838 :   *_in25 = in25;
     555      773838 :   *_in26 = in26;
     556      773838 :   *_in27 = in27;
     557      773838 :   *_in28 = in28;
     558      773838 :   *_in29 = in29;
     559      773838 :   *_in30 = in30;
     560      773838 :   *_in31 = in31;
     561      773838 :   *_in32 = in32;
     562      773838 :   *_in33 = in33;
     563      773838 :   *_in34 = in34;
     564      773838 :   *_in35 = in35;
     565      773838 :   *_in36 = in36;
     566      773838 :   *_in37 = in37;
     567      773838 :   *_in38 = in38;
     568      773838 :   *_in39 = in39;
     569      773838 :   *_in40 = in40;
     570      773838 :   *_in41 = in41;
     571      773838 :   *_in42 = in42;
     572      773838 :   *_in43 = in43;
     573      773838 :   *_in44 = in44;
     574      773838 :   *_in45 = in45;
     575      773838 :   *_in46 = in46;
     576      773838 :   *_in47 = in47;
     577      773838 :   *_in48 = in48;
     578      773838 :   *_in49 = in49;
     579      773838 :   *_in50 = in50;
     580      773838 :   *_in51 = in51;
     581      773838 :   *_in52 = in52;
     582      773838 :   *_in53 = in53;
     583      773838 :   *_in54 = in54;
     584      773838 :   *_in55 = in55;
     585      773838 :   *_in56 = in56;
     586      773838 :   *_in57 = in57;
     587      773838 :   *_in58 = in58;
     588      773838 :   *_in59 = in59;
     589      773838 :   *_in60 = in60;
     590      773838 :   *_in61 = in61;
     591      773838 :   *_in62 = in62;
     592      773838 :   *_in63 = in63;
     593      773838 : }
     594             : 
     595             : FD_FN_UNSANITIZED void
     596             : fd_reedsol_ppt_64_36( gf_t * _in00,
     597             :                       gf_t * _in01,
     598             :                       gf_t * _in02,
     599             :                       gf_t * _in03,
     600             :                       gf_t * _in04,
     601             :                       gf_t * _in05,
     602             :                       gf_t * _in06,
     603             :                       gf_t * _in07,
     604             :                       gf_t * _in08,
     605             :                       gf_t * _in09,
     606             :                       gf_t * _in10,
     607             :                       gf_t * _in11,
     608             :                       gf_t * _in12,
     609             :                       gf_t * _in13,
     610             :                       gf_t * _in14,
     611             :                       gf_t * _in15,
     612             :                       gf_t * _in16,
     613             :                       gf_t * _in17,
     614             :                       gf_t * _in18,
     615             :                       gf_t * _in19,
     616             :                       gf_t * _in20,
     617             :                       gf_t * _in21,
     618             :                       gf_t * _in22,
     619             :                       gf_t * _in23,
     620             :                       gf_t * _in24,
     621             :                       gf_t * _in25,
     622             :                       gf_t * _in26,
     623             :                       gf_t * _in27,
     624             :                       gf_t * _in28,
     625             :                       gf_t * _in29,
     626             :                       gf_t * _in30,
     627             :                       gf_t * _in31,
     628             :                       gf_t * _in32,
     629             :                       gf_t * _in33,
     630             :                       gf_t * _in34,
     631             :                       gf_t * _in35,
     632             :                       gf_t * _in36,
     633             :                       gf_t * _in37,
     634             :                       gf_t * _in38,
     635             :                       gf_t * _in39,
     636             :                       gf_t * _in40,
     637             :                       gf_t * _in41,
     638             :                       gf_t * _in42,
     639             :                       gf_t * _in43,
     640             :                       gf_t * _in44,
     641             :                       gf_t * _in45,
     642             :                       gf_t * _in46,
     643             :                       gf_t * _in47,
     644             :                       gf_t * _in48,
     645             :                       gf_t * _in49,
     646             :                       gf_t * _in50,
     647             :                       gf_t * _in51,
     648             :                       gf_t * _in52,
     649             :                       gf_t * _in53,
     650             :                       gf_t * _in54,
     651             :                       gf_t * _in55,
     652             :                       gf_t * _in56,
     653             :                       gf_t * _in57,
     654             :                       gf_t * _in58,
     655             :                       gf_t * _in59,
     656             :                       gf_t * _in60,
     657             :                       gf_t * _in61,
     658             :                       gf_t * _in62,
     659      773316 :                       gf_t * _in63 ) {
     660      773316 :   gf_t in00 = *_in00;
     661      773316 :   gf_t in01 = *_in01;
     662      773316 :   gf_t in02 = *_in02;
     663      773316 :   gf_t in03 = *_in03;
     664      773316 :   gf_t in04 = *_in04;
     665      773316 :   gf_t in05 = *_in05;
     666      773316 :   gf_t in06 = *_in06;
     667      773316 :   gf_t in07 = *_in07;
     668      773316 :   gf_t in08 = *_in08;
     669      773316 :   gf_t in09 = *_in09;
     670      773316 :   gf_t in10 = *_in10;
     671      773316 :   gf_t in11 = *_in11;
     672      773316 :   gf_t in12 = *_in12;
     673      773316 :   gf_t in13 = *_in13;
     674      773316 :   gf_t in14 = *_in14;
     675      773316 :   gf_t in15 = *_in15;
     676      773316 :   gf_t in16 = *_in16;
     677      773316 :   gf_t in17 = *_in17;
     678      773316 :   gf_t in18 = *_in18;
     679      773316 :   gf_t in19 = *_in19;
     680      773316 :   gf_t in20 = *_in20;
     681      773316 :   gf_t in21 = *_in21;
     682      773316 :   gf_t in22 = *_in22;
     683      773316 :   gf_t in23 = *_in23;
     684      773316 :   gf_t in24 = *_in24;
     685      773316 :   gf_t in25 = *_in25;
     686      773316 :   gf_t in26 = *_in26;
     687      773316 :   gf_t in27 = *_in27;
     688      773316 :   gf_t in28 = *_in28;
     689      773316 :   gf_t in29 = *_in29;
     690      773316 :   gf_t in30 = *_in30;
     691      773316 :   gf_t in31 = *_in31;
     692      773316 :   gf_t in32 = *_in32;
     693      773316 :   gf_t in33 = *_in33;
     694      773316 :   gf_t in34 = *_in34;
     695      773316 :   gf_t in35 = *_in35;
     696      773316 :   gf_t in36 = *_in36;
     697      773316 :   gf_t in37 = *_in37;
     698      773316 :   gf_t in38 = *_in38;
     699      773316 :   gf_t in39 = *_in39;
     700      773316 :   gf_t in40 = *_in40;
     701      773316 :   gf_t in41 = *_in41;
     702      773316 :   gf_t in42 = *_in42;
     703      773316 :   gf_t in43 = *_in43;
     704      773316 :   gf_t in44 = *_in44;
     705      773316 :   gf_t in45 = *_in45;
     706      773316 :   gf_t in46 = *_in46;
     707      773316 :   gf_t in47 = *_in47;
     708      773316 :   gf_t in48 = *_in48;
     709      773316 :   gf_t in49 = *_in49;
     710      773316 :   gf_t in50 = *_in50;
     711      773316 :   gf_t in51 = *_in51;
     712      773316 :   gf_t in52 = *_in52;
     713      773316 :   gf_t in53 = *_in53;
     714      773316 :   gf_t in54 = *_in54;
     715      773316 :   gf_t in55 = *_in55;
     716      773316 :   gf_t in56 = *_in56;
     717      773316 :   gf_t in57 = *_in57;
     718      773316 :   gf_t in58 = *_in58;
     719      773316 :   gf_t in59 = *_in59;
     720      773316 :   gf_t in60 = *_in60;
     721      773316 :   gf_t in61 = *_in61;
     722      773316 :   gf_t in62 = *_in62;
     723      773316 :   gf_t in63 = *_in63;
     724             : 
     725      773316 :   FD_REEDSOL_GENERATE_PPT( 64, 36, in00, in01, in02, in03, in04, in05, in06, in07, in08, in09, in10, in11, in12, in13, in14, in15, in16, in17, in18, in19, in20, in21, in22, in23, in24, in25, in26, in27, in28, in29, in30, in31, in32, in33, in34, in35, in36, in37, in38, in39, in40, in41, in42, in43, in44, in45, in46, in47, in48, in49, in50, in51, in52, in53, in54, in55, in56, in57, in58, in59, in60, in61, in62, in63 );
     726      773316 :   *_in00 = in00;
     727      773316 :   *_in01 = in01;
     728      773316 :   *_in02 = in02;
     729      773316 :   *_in03 = in03;
     730      773316 :   *_in04 = in04;
     731      773316 :   *_in05 = in05;
     732      773316 :   *_in06 = in06;
     733      773316 :   *_in07 = in07;
     734      773316 :   *_in08 = in08;
     735      773316 :   *_in09 = in09;
     736      773316 :   *_in10 = in10;
     737      773316 :   *_in11 = in11;
     738      773316 :   *_in12 = in12;
     739      773316 :   *_in13 = in13;
     740      773316 :   *_in14 = in14;
     741      773316 :   *_in15 = in15;
     742      773316 :   *_in16 = in16;
     743      773316 :   *_in17 = in17;
     744      773316 :   *_in18 = in18;
     745      773316 :   *_in19 = in19;
     746      773316 :   *_in20 = in20;
     747      773316 :   *_in21 = in21;
     748      773316 :   *_in22 = in22;
     749      773316 :   *_in23 = in23;
     750      773316 :   *_in24 = in24;
     751      773316 :   *_in25 = in25;
     752      773316 :   *_in26 = in26;
     753      773316 :   *_in27 = in27;
     754      773316 :   *_in28 = in28;
     755      773316 :   *_in29 = in29;
     756      773316 :   *_in30 = in30;
     757      773316 :   *_in31 = in31;
     758      773316 :   *_in32 = in32;
     759      773316 :   *_in33 = in33;
     760      773316 :   *_in34 = in34;
     761      773316 :   *_in35 = in35;
     762      773316 :   *_in36 = in36;
     763      773316 :   *_in37 = in37;
     764      773316 :   *_in38 = in38;
     765      773316 :   *_in39 = in39;
     766      773316 :   *_in40 = in40;
     767      773316 :   *_in41 = in41;
     768      773316 :   *_in42 = in42;
     769      773316 :   *_in43 = in43;
     770      773316 :   *_in44 = in44;
     771      773316 :   *_in45 = in45;
     772      773316 :   *_in46 = in46;
     773      773316 :   *_in47 = in47;
     774      773316 :   *_in48 = in48;
     775      773316 :   *_in49 = in49;
     776      773316 :   *_in50 = in50;
     777      773316 :   *_in51 = in51;
     778      773316 :   *_in52 = in52;
     779      773316 :   *_in53 = in53;
     780      773316 :   *_in54 = in54;
     781      773316 :   *_in55 = in55;
     782      773316 :   *_in56 = in56;
     783      773316 :   *_in57 = in57;
     784      773316 :   *_in58 = in58;
     785      773316 :   *_in59 = in59;
     786      773316 :   *_in60 = in60;
     787      773316 :   *_in61 = in61;
     788      773316 :   *_in62 = in62;
     789      773316 :   *_in63 = in63;
     790      773316 : }
     791             : 
     792             : FD_FN_UNSANITIZED void
     793             : fd_reedsol_ppt_64_37( gf_t * _in00,
     794             :                       gf_t * _in01,
     795             :                       gf_t * _in02,
     796             :                       gf_t * _in03,
     797             :                       gf_t * _in04,
     798             :                       gf_t * _in05,
     799             :                       gf_t * _in06,
     800             :                       gf_t * _in07,
     801             :                       gf_t * _in08,
     802             :                       gf_t * _in09,
     803             :                       gf_t * _in10,
     804             :                       gf_t * _in11,
     805             :                       gf_t * _in12,
     806             :                       gf_t * _in13,
     807             :                       gf_t * _in14,
     808             :                       gf_t * _in15,
     809             :                       gf_t * _in16,
     810             :                       gf_t * _in17,
     811             :                       gf_t * _in18,
     812             :                       gf_t * _in19,
     813             :                       gf_t * _in20,
     814             :                       gf_t * _in21,
     815             :                       gf_t * _in22,
     816             :                       gf_t * _in23,
     817             :                       gf_t * _in24,
     818             :                       gf_t * _in25,
     819             :                       gf_t * _in26,
     820             :                       gf_t * _in27,
     821             :                       gf_t * _in28,
     822             :                       gf_t * _in29,
     823             :                       gf_t * _in30,
     824             :                       gf_t * _in31,
     825             :                       gf_t * _in32,
     826             :                       gf_t * _in33,
     827             :                       gf_t * _in34,
     828             :                       gf_t * _in35,
     829             :                       gf_t * _in36,
     830             :                       gf_t * _in37,
     831             :                       gf_t * _in38,
     832             :                       gf_t * _in39,
     833             :                       gf_t * _in40,
     834             :                       gf_t * _in41,
     835             :                       gf_t * _in42,
     836             :                       gf_t * _in43,
     837             :                       gf_t * _in44,
     838             :                       gf_t * _in45,
     839             :                       gf_t * _in46,
     840             :                       gf_t * _in47,
     841             :                       gf_t * _in48,
     842             :                       gf_t * _in49,
     843             :                       gf_t * _in50,
     844             :                       gf_t * _in51,
     845             :                       gf_t * _in52,
     846             :                       gf_t * _in53,
     847             :                       gf_t * _in54,
     848             :                       gf_t * _in55,
     849             :                       gf_t * _in56,
     850             :                       gf_t * _in57,
     851             :                       gf_t * _in58,
     852             :                       gf_t * _in59,
     853             :                       gf_t * _in60,
     854             :                       gf_t * _in61,
     855             :                       gf_t * _in62,
     856      773508 :                       gf_t * _in63 ) {
     857      773508 :   gf_t in00 = *_in00;
     858      773508 :   gf_t in01 = *_in01;
     859      773508 :   gf_t in02 = *_in02;
     860      773508 :   gf_t in03 = *_in03;
     861      773508 :   gf_t in04 = *_in04;
     862      773508 :   gf_t in05 = *_in05;
     863      773508 :   gf_t in06 = *_in06;
     864      773508 :   gf_t in07 = *_in07;
     865      773508 :   gf_t in08 = *_in08;
     866      773508 :   gf_t in09 = *_in09;
     867      773508 :   gf_t in10 = *_in10;
     868      773508 :   gf_t in11 = *_in11;
     869      773508 :   gf_t in12 = *_in12;
     870      773508 :   gf_t in13 = *_in13;
     871      773508 :   gf_t in14 = *_in14;
     872      773508 :   gf_t in15 = *_in15;
     873      773508 :   gf_t in16 = *_in16;
     874      773508 :   gf_t in17 = *_in17;
     875      773508 :   gf_t in18 = *_in18;
     876      773508 :   gf_t in19 = *_in19;
     877      773508 :   gf_t in20 = *_in20;
     878      773508 :   gf_t in21 = *_in21;
     879      773508 :   gf_t in22 = *_in22;
     880      773508 :   gf_t in23 = *_in23;
     881      773508 :   gf_t in24 = *_in24;
     882      773508 :   gf_t in25 = *_in25;
     883      773508 :   gf_t in26 = *_in26;
     884      773508 :   gf_t in27 = *_in27;
     885      773508 :   gf_t in28 = *_in28;
     886      773508 :   gf_t in29 = *_in29;
     887      773508 :   gf_t in30 = *_in30;
     888      773508 :   gf_t in31 = *_in31;
     889      773508 :   gf_t in32 = *_in32;
     890      773508 :   gf_t in33 = *_in33;
     891      773508 :   gf_t in34 = *_in34;
     892      773508 :   gf_t in35 = *_in35;
     893      773508 :   gf_t in36 = *_in36;
     894      773508 :   gf_t in37 = *_in37;
     895      773508 :   gf_t in38 = *_in38;
     896      773508 :   gf_t in39 = *_in39;
     897      773508 :   gf_t in40 = *_in40;
     898      773508 :   gf_t in41 = *_in41;
     899      773508 :   gf_t in42 = *_in42;
     900      773508 :   gf_t in43 = *_in43;
     901      773508 :   gf_t in44 = *_in44;
     902      773508 :   gf_t in45 = *_in45;
     903      773508 :   gf_t in46 = *_in46;
     904      773508 :   gf_t in47 = *_in47;
     905      773508 :   gf_t in48 = *_in48;
     906      773508 :   gf_t in49 = *_in49;
     907      773508 :   gf_t in50 = *_in50;
     908      773508 :   gf_t in51 = *_in51;
     909      773508 :   gf_t in52 = *_in52;
     910      773508 :   gf_t in53 = *_in53;
     911      773508 :   gf_t in54 = *_in54;
     912      773508 :   gf_t in55 = *_in55;
     913      773508 :   gf_t in56 = *_in56;
     914      773508 :   gf_t in57 = *_in57;
     915      773508 :   gf_t in58 = *_in58;
     916      773508 :   gf_t in59 = *_in59;
     917      773508 :   gf_t in60 = *_in60;
     918      773508 :   gf_t in61 = *_in61;
     919      773508 :   gf_t in62 = *_in62;
     920      773508 :   gf_t in63 = *_in63;
     921             : 
     922      773508 :   FD_REEDSOL_GENERATE_PPT( 64, 37, in00, in01, in02, in03, in04, in05, in06, in07, in08, in09, in10, in11, in12, in13, in14, in15, in16, in17, in18, in19, in20, in21, in22, in23, in24, in25, in26, in27, in28, in29, in30, in31, in32, in33, in34, in35, in36, in37, in38, in39, in40, in41, in42, in43, in44, in45, in46, in47, in48, in49, in50, in51, in52, in53, in54, in55, in56, in57, in58, in59, in60, in61, in62, in63 );
     923      773508 :   *_in00 = in00;
     924      773508 :   *_in01 = in01;
     925      773508 :   *_in02 = in02;
     926      773508 :   *_in03 = in03;
     927      773508 :   *_in04 = in04;
     928      773508 :   *_in05 = in05;
     929      773508 :   *_in06 = in06;
     930      773508 :   *_in07 = in07;
     931      773508 :   *_in08 = in08;
     932      773508 :   *_in09 = in09;
     933      773508 :   *_in10 = in10;
     934      773508 :   *_in11 = in11;
     935      773508 :   *_in12 = in12;
     936      773508 :   *_in13 = in13;
     937      773508 :   *_in14 = in14;
     938      773508 :   *_in15 = in15;
     939      773508 :   *_in16 = in16;
     940      773508 :   *_in17 = in17;
     941      773508 :   *_in18 = in18;
     942      773508 :   *_in19 = in19;
     943      773508 :   *_in20 = in20;
     944      773508 :   *_in21 = in21;
     945      773508 :   *_in22 = in22;
     946      773508 :   *_in23 = in23;
     947      773508 :   *_in24 = in24;
     948      773508 :   *_in25 = in25;
     949      773508 :   *_in26 = in26;
     950      773508 :   *_in27 = in27;
     951      773508 :   *_in28 = in28;
     952      773508 :   *_in29 = in29;
     953      773508 :   *_in30 = in30;
     954      773508 :   *_in31 = in31;
     955      773508 :   *_in32 = in32;
     956      773508 :   *_in33 = in33;
     957      773508 :   *_in34 = in34;
     958      773508 :   *_in35 = in35;
     959      773508 :   *_in36 = in36;
     960      773508 :   *_in37 = in37;
     961      773508 :   *_in38 = in38;
     962      773508 :   *_in39 = in39;
     963      773508 :   *_in40 = in40;
     964      773508 :   *_in41 = in41;
     965      773508 :   *_in42 = in42;
     966      773508 :   *_in43 = in43;
     967      773508 :   *_in44 = in44;
     968      773508 :   *_in45 = in45;
     969      773508 :   *_in46 = in46;
     970      773508 :   *_in47 = in47;
     971      773508 :   *_in48 = in48;
     972      773508 :   *_in49 = in49;
     973      773508 :   *_in50 = in50;
     974      773508 :   *_in51 = in51;
     975      773508 :   *_in52 = in52;
     976      773508 :   *_in53 = in53;
     977      773508 :   *_in54 = in54;
     978      773508 :   *_in55 = in55;
     979      773508 :   *_in56 = in56;
     980      773508 :   *_in57 = in57;
     981      773508 :   *_in58 = in58;
     982      773508 :   *_in59 = in59;
     983      773508 :   *_in60 = in60;
     984      773508 :   *_in61 = in61;
     985      773508 :   *_in62 = in62;
     986      773508 :   *_in63 = in63;
     987      773508 : }
     988             : 
     989             : FD_FN_UNSANITIZED void
     990             : fd_reedsol_ppt_64_38( gf_t * _in00,
     991             :                       gf_t * _in01,
     992             :                       gf_t * _in02,
     993             :                       gf_t * _in03,
     994             :                       gf_t * _in04,
     995             :                       gf_t * _in05,
     996             :                       gf_t * _in06,
     997             :                       gf_t * _in07,
     998             :                       gf_t * _in08,
     999             :                       gf_t * _in09,
    1000             :                       gf_t * _in10,
    1001             :                       gf_t * _in11,
    1002             :                       gf_t * _in12,
    1003             :                       gf_t * _in13,
    1004             :                       gf_t * _in14,
    1005             :                       gf_t * _in15,
    1006             :                       gf_t * _in16,
    1007             :                       gf_t * _in17,
    1008             :                       gf_t * _in18,
    1009             :                       gf_t * _in19,
    1010             :                       gf_t * _in20,
    1011             :                       gf_t * _in21,
    1012             :                       gf_t * _in22,
    1013             :                       gf_t * _in23,
    1014             :                       gf_t * _in24,
    1015             :                       gf_t * _in25,
    1016             :                       gf_t * _in26,
    1017             :                       gf_t * _in27,
    1018             :                       gf_t * _in28,
    1019             :                       gf_t * _in29,
    1020             :                       gf_t * _in30,
    1021             :                       gf_t * _in31,
    1022             :                       gf_t * _in32,
    1023             :                       gf_t * _in33,
    1024             :                       gf_t * _in34,
    1025             :                       gf_t * _in35,
    1026             :                       gf_t * _in36,
    1027             :                       gf_t * _in37,
    1028             :                       gf_t * _in38,
    1029             :                       gf_t * _in39,
    1030             :                       gf_t * _in40,
    1031             :                       gf_t * _in41,
    1032             :                       gf_t * _in42,
    1033             :                       gf_t * _in43,
    1034             :                       gf_t * _in44,
    1035             :                       gf_t * _in45,
    1036             :                       gf_t * _in46,
    1037             :                       gf_t * _in47,
    1038             :                       gf_t * _in48,
    1039             :                       gf_t * _in49,
    1040             :                       gf_t * _in50,
    1041             :                       gf_t * _in51,
    1042             :                       gf_t * _in52,
    1043             :                       gf_t * _in53,
    1044             :                       gf_t * _in54,
    1045             :                       gf_t * _in55,
    1046             :                       gf_t * _in56,
    1047             :                       gf_t * _in57,
    1048             :                       gf_t * _in58,
    1049             :                       gf_t * _in59,
    1050             :                       gf_t * _in60,
    1051             :                       gf_t * _in61,
    1052             :                       gf_t * _in62,
    1053      703236 :                       gf_t * _in63 ) {
    1054      703236 :   gf_t in00 = *_in00;
    1055      703236 :   gf_t in01 = *_in01;
    1056      703236 :   gf_t in02 = *_in02;
    1057      703236 :   gf_t in03 = *_in03;
    1058      703236 :   gf_t in04 = *_in04;
    1059      703236 :   gf_t in05 = *_in05;
    1060      703236 :   gf_t in06 = *_in06;
    1061      703236 :   gf_t in07 = *_in07;
    1062      703236 :   gf_t in08 = *_in08;
    1063      703236 :   gf_t in09 = *_in09;
    1064      703236 :   gf_t in10 = *_in10;
    1065      703236 :   gf_t in11 = *_in11;
    1066      703236 :   gf_t in12 = *_in12;
    1067      703236 :   gf_t in13 = *_in13;
    1068      703236 :   gf_t in14 = *_in14;
    1069      703236 :   gf_t in15 = *_in15;
    1070      703236 :   gf_t in16 = *_in16;
    1071      703236 :   gf_t in17 = *_in17;
    1072      703236 :   gf_t in18 = *_in18;
    1073      703236 :   gf_t in19 = *_in19;
    1074      703236 :   gf_t in20 = *_in20;
    1075      703236 :   gf_t in21 = *_in21;
    1076      703236 :   gf_t in22 = *_in22;
    1077      703236 :   gf_t in23 = *_in23;
    1078      703236 :   gf_t in24 = *_in24;
    1079      703236 :   gf_t in25 = *_in25;
    1080      703236 :   gf_t in26 = *_in26;
    1081      703236 :   gf_t in27 = *_in27;
    1082      703236 :   gf_t in28 = *_in28;
    1083      703236 :   gf_t in29 = *_in29;
    1084      703236 :   gf_t in30 = *_in30;
    1085      703236 :   gf_t in31 = *_in31;
    1086      703236 :   gf_t in32 = *_in32;
    1087      703236 :   gf_t in33 = *_in33;
    1088      703236 :   gf_t in34 = *_in34;
    1089      703236 :   gf_t in35 = *_in35;
    1090      703236 :   gf_t in36 = *_in36;
    1091      703236 :   gf_t in37 = *_in37;
    1092      703236 :   gf_t in38 = *_in38;
    1093      703236 :   gf_t in39 = *_in39;
    1094      703236 :   gf_t in40 = *_in40;
    1095      703236 :   gf_t in41 = *_in41;
    1096      703236 :   gf_t in42 = *_in42;
    1097      703236 :   gf_t in43 = *_in43;
    1098      703236 :   gf_t in44 = *_in44;
    1099      703236 :   gf_t in45 = *_in45;
    1100      703236 :   gf_t in46 = *_in46;
    1101      703236 :   gf_t in47 = *_in47;
    1102      703236 :   gf_t in48 = *_in48;
    1103      703236 :   gf_t in49 = *_in49;
    1104      703236 :   gf_t in50 = *_in50;
    1105      703236 :   gf_t in51 = *_in51;
    1106      703236 :   gf_t in52 = *_in52;
    1107      703236 :   gf_t in53 = *_in53;
    1108      703236 :   gf_t in54 = *_in54;
    1109      703236 :   gf_t in55 = *_in55;
    1110      703236 :   gf_t in56 = *_in56;
    1111      703236 :   gf_t in57 = *_in57;
    1112      703236 :   gf_t in58 = *_in58;
    1113      703236 :   gf_t in59 = *_in59;
    1114      703236 :   gf_t in60 = *_in60;
    1115      703236 :   gf_t in61 = *_in61;
    1116      703236 :   gf_t in62 = *_in62;
    1117      703236 :   gf_t in63 = *_in63;
    1118             : 
    1119      703236 :   FD_REEDSOL_GENERATE_PPT( 64, 38, in00, in01, in02, in03, in04, in05, in06, in07, in08, in09, in10, in11, in12, in13, in14, in15, in16, in17, in18, in19, in20, in21, in22, in23, in24, in25, in26, in27, in28, in29, in30, in31, in32, in33, in34, in35, in36, in37, in38, in39, in40, in41, in42, in43, in44, in45, in46, in47, in48, in49, in50, in51, in52, in53, in54, in55, in56, in57, in58, in59, in60, in61, in62, in63 );
    1120      703236 :   *_in00 = in00;
    1121      703236 :   *_in01 = in01;
    1122      703236 :   *_in02 = in02;
    1123      703236 :   *_in03 = in03;
    1124      703236 :   *_in04 = in04;
    1125      703236 :   *_in05 = in05;
    1126      703236 :   *_in06 = in06;
    1127      703236 :   *_in07 = in07;
    1128      703236 :   *_in08 = in08;
    1129      703236 :   *_in09 = in09;
    1130      703236 :   *_in10 = in10;
    1131      703236 :   *_in11 = in11;
    1132      703236 :   *_in12 = in12;
    1133      703236 :   *_in13 = in13;
    1134      703236 :   *_in14 = in14;
    1135      703236 :   *_in15 = in15;
    1136      703236 :   *_in16 = in16;
    1137      703236 :   *_in17 = in17;
    1138      703236 :   *_in18 = in18;
    1139      703236 :   *_in19 = in19;
    1140      703236 :   *_in20 = in20;
    1141      703236 :   *_in21 = in21;
    1142      703236 :   *_in22 = in22;
    1143      703236 :   *_in23 = in23;
    1144      703236 :   *_in24 = in24;
    1145      703236 :   *_in25 = in25;
    1146      703236 :   *_in26 = in26;
    1147      703236 :   *_in27 = in27;
    1148      703236 :   *_in28 = in28;
    1149      703236 :   *_in29 = in29;
    1150      703236 :   *_in30 = in30;
    1151      703236 :   *_in31 = in31;
    1152      703236 :   *_in32 = in32;
    1153      703236 :   *_in33 = in33;
    1154      703236 :   *_in34 = in34;
    1155      703236 :   *_in35 = in35;
    1156      703236 :   *_in36 = in36;
    1157      703236 :   *_in37 = in37;
    1158      703236 :   *_in38 = in38;
    1159      703236 :   *_in39 = in39;
    1160      703236 :   *_in40 = in40;
    1161      703236 :   *_in41 = in41;
    1162      703236 :   *_in42 = in42;
    1163      703236 :   *_in43 = in43;
    1164      703236 :   *_in44 = in44;
    1165      703236 :   *_in45 = in45;
    1166      703236 :   *_in46 = in46;
    1167      703236 :   *_in47 = in47;
    1168      703236 :   *_in48 = in48;
    1169      703236 :   *_in49 = in49;
    1170      703236 :   *_in50 = in50;
    1171      703236 :   *_in51 = in51;
    1172      703236 :   *_in52 = in52;
    1173      703236 :   *_in53 = in53;
    1174      703236 :   *_in54 = in54;
    1175      703236 :   *_in55 = in55;
    1176      703236 :   *_in56 = in56;
    1177      703236 :   *_in57 = in57;
    1178      703236 :   *_in58 = in58;
    1179      703236 :   *_in59 = in59;
    1180      703236 :   *_in60 = in60;
    1181      703236 :   *_in61 = in61;
    1182      703236 :   *_in62 = in62;
    1183      703236 :   *_in63 = in63;
    1184      703236 : }
    1185             : 
    1186             : FD_FN_UNSANITIZED void
    1187             : fd_reedsol_ppt_64_39( gf_t * _in00,
    1188             :                       gf_t * _in01,
    1189             :                       gf_t * _in02,
    1190             :                       gf_t * _in03,
    1191             :                       gf_t * _in04,
    1192             :                       gf_t * _in05,
    1193             :                       gf_t * _in06,
    1194             :                       gf_t * _in07,
    1195             :                       gf_t * _in08,
    1196             :                       gf_t * _in09,
    1197             :                       gf_t * _in10,
    1198             :                       gf_t * _in11,
    1199             :                       gf_t * _in12,
    1200             :                       gf_t * _in13,
    1201             :                       gf_t * _in14,
    1202             :                       gf_t * _in15,
    1203             :                       gf_t * _in16,
    1204             :                       gf_t * _in17,
    1205             :                       gf_t * _in18,
    1206             :                       gf_t * _in19,
    1207             :                       gf_t * _in20,
    1208             :                       gf_t * _in21,
    1209             :                       gf_t * _in22,
    1210             :                       gf_t * _in23,
    1211             :                       gf_t * _in24,
    1212             :                       gf_t * _in25,
    1213             :                       gf_t * _in26,
    1214             :                       gf_t * _in27,
    1215             :                       gf_t * _in28,
    1216             :                       gf_t * _in29,
    1217             :                       gf_t * _in30,
    1218             :                       gf_t * _in31,
    1219             :                       gf_t * _in32,
    1220             :                       gf_t * _in33,
    1221             :                       gf_t * _in34,
    1222             :                       gf_t * _in35,
    1223             :                       gf_t * _in36,
    1224             :                       gf_t * _in37,
    1225             :                       gf_t * _in38,
    1226             :                       gf_t * _in39,
    1227             :                       gf_t * _in40,
    1228             :                       gf_t * _in41,
    1229             :                       gf_t * _in42,
    1230             :                       gf_t * _in43,
    1231             :                       gf_t * _in44,
    1232             :                       gf_t * _in45,
    1233             :                       gf_t * _in46,
    1234             :                       gf_t * _in47,
    1235             :                       gf_t * _in48,
    1236             :                       gf_t * _in49,
    1237             :                       gf_t * _in50,
    1238             :                       gf_t * _in51,
    1239             :                       gf_t * _in52,
    1240             :                       gf_t * _in53,
    1241             :                       gf_t * _in54,
    1242             :                       gf_t * _in55,
    1243             :                       gf_t * _in56,
    1244             :                       gf_t * _in57,
    1245             :                       gf_t * _in58,
    1246             :                       gf_t * _in59,
    1247             :                       gf_t * _in60,
    1248             :                       gf_t * _in61,
    1249             :                       gf_t * _in62,
    1250      679716 :                       gf_t * _in63 ) {
    1251      679716 :   gf_t in00 = *_in00;
    1252      679716 :   gf_t in01 = *_in01;
    1253      679716 :   gf_t in02 = *_in02;
    1254      679716 :   gf_t in03 = *_in03;
    1255      679716 :   gf_t in04 = *_in04;
    1256      679716 :   gf_t in05 = *_in05;
    1257      679716 :   gf_t in06 = *_in06;
    1258      679716 :   gf_t in07 = *_in07;
    1259      679716 :   gf_t in08 = *_in08;
    1260      679716 :   gf_t in09 = *_in09;
    1261      679716 :   gf_t in10 = *_in10;
    1262      679716 :   gf_t in11 = *_in11;
    1263      679716 :   gf_t in12 = *_in12;
    1264      679716 :   gf_t in13 = *_in13;
    1265      679716 :   gf_t in14 = *_in14;
    1266      679716 :   gf_t in15 = *_in15;
    1267      679716 :   gf_t in16 = *_in16;
    1268      679716 :   gf_t in17 = *_in17;
    1269      679716 :   gf_t in18 = *_in18;
    1270      679716 :   gf_t in19 = *_in19;
    1271      679716 :   gf_t in20 = *_in20;
    1272      679716 :   gf_t in21 = *_in21;
    1273      679716 :   gf_t in22 = *_in22;
    1274      679716 :   gf_t in23 = *_in23;
    1275      679716 :   gf_t in24 = *_in24;
    1276      679716 :   gf_t in25 = *_in25;
    1277      679716 :   gf_t in26 = *_in26;
    1278      679716 :   gf_t in27 = *_in27;
    1279      679716 :   gf_t in28 = *_in28;
    1280      679716 :   gf_t in29 = *_in29;
    1281      679716 :   gf_t in30 = *_in30;
    1282      679716 :   gf_t in31 = *_in31;
    1283      679716 :   gf_t in32 = *_in32;
    1284      679716 :   gf_t in33 = *_in33;
    1285      679716 :   gf_t in34 = *_in34;
    1286      679716 :   gf_t in35 = *_in35;
    1287      679716 :   gf_t in36 = *_in36;
    1288      679716 :   gf_t in37 = *_in37;
    1289      679716 :   gf_t in38 = *_in38;
    1290      679716 :   gf_t in39 = *_in39;
    1291      679716 :   gf_t in40 = *_in40;
    1292      679716 :   gf_t in41 = *_in41;
    1293      679716 :   gf_t in42 = *_in42;
    1294      679716 :   gf_t in43 = *_in43;
    1295      679716 :   gf_t in44 = *_in44;
    1296      679716 :   gf_t in45 = *_in45;
    1297      679716 :   gf_t in46 = *_in46;
    1298      679716 :   gf_t in47 = *_in47;
    1299      679716 :   gf_t in48 = *_in48;
    1300      679716 :   gf_t in49 = *_in49;
    1301      679716 :   gf_t in50 = *_in50;
    1302      679716 :   gf_t in51 = *_in51;
    1303      679716 :   gf_t in52 = *_in52;
    1304      679716 :   gf_t in53 = *_in53;
    1305      679716 :   gf_t in54 = *_in54;
    1306      679716 :   gf_t in55 = *_in55;
    1307      679716 :   gf_t in56 = *_in56;
    1308      679716 :   gf_t in57 = *_in57;
    1309      679716 :   gf_t in58 = *_in58;
    1310      679716 :   gf_t in59 = *_in59;
    1311      679716 :   gf_t in60 = *_in60;
    1312      679716 :   gf_t in61 = *_in61;
    1313      679716 :   gf_t in62 = *_in62;
    1314      679716 :   gf_t in63 = *_in63;
    1315             : 
    1316      679716 :   FD_REEDSOL_GENERATE_PPT( 64, 39, in00, in01, in02, in03, in04, in05, in06, in07, in08, in09, in10, in11, in12, in13, in14, in15, in16, in17, in18, in19, in20, in21, in22, in23, in24, in25, in26, in27, in28, in29, in30, in31, in32, in33, in34, in35, in36, in37, in38, in39, in40, in41, in42, in43, in44, in45, in46, in47, in48, in49, in50, in51, in52, in53, in54, in55, in56, in57, in58, in59, in60, in61, in62, in63 );
    1317      679716 :   *_in00 = in00;
    1318      679716 :   *_in01 = in01;
    1319      679716 :   *_in02 = in02;
    1320      679716 :   *_in03 = in03;
    1321      679716 :   *_in04 = in04;
    1322      679716 :   *_in05 = in05;
    1323      679716 :   *_in06 = in06;
    1324      679716 :   *_in07 = in07;
    1325      679716 :   *_in08 = in08;
    1326      679716 :   *_in09 = in09;
    1327      679716 :   *_in10 = in10;
    1328      679716 :   *_in11 = in11;
    1329      679716 :   *_in12 = in12;
    1330      679716 :   *_in13 = in13;
    1331      679716 :   *_in14 = in14;
    1332      679716 :   *_in15 = in15;
    1333      679716 :   *_in16 = in16;
    1334      679716 :   *_in17 = in17;
    1335      679716 :   *_in18 = in18;
    1336      679716 :   *_in19 = in19;
    1337      679716 :   *_in20 = in20;
    1338      679716 :   *_in21 = in21;
    1339      679716 :   *_in22 = in22;
    1340      679716 :   *_in23 = in23;
    1341      679716 :   *_in24 = in24;
    1342      679716 :   *_in25 = in25;
    1343      679716 :   *_in26 = in26;
    1344      679716 :   *_in27 = in27;
    1345      679716 :   *_in28 = in28;
    1346      679716 :   *_in29 = in29;
    1347      679716 :   *_in30 = in30;
    1348      679716 :   *_in31 = in31;
    1349      679716 :   *_in32 = in32;
    1350      679716 :   *_in33 = in33;
    1351      679716 :   *_in34 = in34;
    1352      679716 :   *_in35 = in35;
    1353      679716 :   *_in36 = in36;
    1354      679716 :   *_in37 = in37;
    1355      679716 :   *_in38 = in38;
    1356      679716 :   *_in39 = in39;
    1357      679716 :   *_in40 = in40;
    1358      679716 :   *_in41 = in41;
    1359      679716 :   *_in42 = in42;
    1360      679716 :   *_in43 = in43;
    1361      679716 :   *_in44 = in44;
    1362      679716 :   *_in45 = in45;
    1363      679716 :   *_in46 = in46;
    1364      679716 :   *_in47 = in47;
    1365      679716 :   *_in48 = in48;
    1366      679716 :   *_in49 = in49;
    1367      679716 :   *_in50 = in50;
    1368      679716 :   *_in51 = in51;
    1369      679716 :   *_in52 = in52;
    1370      679716 :   *_in53 = in53;
    1371      679716 :   *_in54 = in54;
    1372      679716 :   *_in55 = in55;
    1373      679716 :   *_in56 = in56;
    1374      679716 :   *_in57 = in57;
    1375      679716 :   *_in58 = in58;
    1376      679716 :   *_in59 = in59;
    1377      679716 :   *_in60 = in60;
    1378      679716 :   *_in61 = in61;
    1379      679716 :   *_in62 = in62;
    1380      679716 :   *_in63 = in63;
    1381      679716 : }

Generated by: LCOV version 1.14