// ************************************************************************** // // // // eses eses // // eses eses // // eses eseses esesese eses Embedded Systems Group // // ese ese ese ese ese // // ese eseseses eseseses ese Department of Computer Science // // eses eses ese eses // // eses eseses eseseses eses University of Kaiserslautern // // eses eses // // // // ************************************************************************** // int w_0,w_1,w_2,w_3,w_4,w_5,w_6,w_7,w_8,w_9,w_10,w_11,w_12,w_13,w_14,w_15,w_16,w_17,w_18,w_19,w_20,w_21,w_22,w_23,w_24,w_25,w_26,w_27,w_28,w_29,w_30,w_31,w_32,w_33,w_34,w_35,w_36,w_37,w_38,w_39,w_40,w_41,w_42,w_43,w_44,w_45,w_46,w_47,w_48,w_49,w_50,w_51,w_52,w_53,w_54,w_55,w_56,w_57,w_58,w_59,w_60,w_61,w_62,w_63,w_64,w_65,w_66,w_67,w_68,w_69,w_70,w_71,w_72,w_73,w_74,w_75,w_76,w_77,w_78,w_79,w_80,w_81,w_82,w_83,w_84,w_85,w_86,w_87,w_88,w_89,w_90,w_91,w_92,w_93,w_94,w_95,w_96,w_97,w_98,w_99,w_100,w_101,w_102,w_103,w_104,w_105,w_106,w_107,w_108,w_109,w_110,w_111,w_112,w_113,w_114,w_115,w_116,w_117,w_118,w_119,w_120,w_121,w_122,w_123,w_124,w_125,w_126,w_127; int x_0,x_1,x_2,x_3,x_4,x_5,x_6,x_7,x_8,x_9,x_10,x_11,x_12,x_13,x_14,x_15,x_16,x_17,x_18,x_19,x_20,x_21,x_22,x_23,x_24,x_25,x_26,x_27,x_28,x_29,x_30,x_31,x_32,x_33,x_34,x_35,x_36,x_37,x_38,x_39,x_40,x_41,x_42,x_43,x_44,x_45,x_46,x_47,x_48,x_49,x_50,x_51,x_52,x_53,x_54,x_55,x_56,x_57,x_58,x_59,x_60,x_61,x_62,x_63,x_64,x_65,x_66,x_67,x_68,x_69,x_70,x_71,x_72,x_73,x_74,x_75,x_76,x_77,x_78,x_79,x_80,x_81,x_82,x_83,x_84,x_85,x_86,x_87,x_88,x_89,x_90,x_91,x_92,x_93,x_94,x_95,x_96,x_97,x_98,x_99,x_100,x_101,x_102,x_103,x_104,x_105,x_106,x_107,x_108,x_109,x_110,x_111,x_112,x_113,x_114,x_115,x_116,x_117,x_118,x_119,x_120,x_121,x_122,x_123,x_124,x_125,x_126,x_127; int y_0,y_1,y_2,y_3,y_4,y_5,y_6,y_7,y_8,y_9,y_10,y_11,y_12,y_13,y_14,y_15,y_16,y_17,y_18,y_19,y_20,y_21,y_22,y_23,y_24,y_25,y_26,y_27,y_28,y_29,y_30,y_31,y_32,y_33,y_34,y_35,y_36,y_37,y_38,y_39,y_40,y_41,y_42,y_43,y_44,y_45,y_46,y_47,y_48,y_49,y_50,y_51,y_52,y_53,y_54,y_55,y_56,y_57,y_58,y_59,y_60,y_61,y_62,y_63,y_64,y_65,y_66,y_67,y_68,y_69,y_70,y_71,y_72,y_73,y_74,y_75,y_76,y_77,y_78,y_79,y_80,y_81,y_82,y_83,y_84,y_85,y_86,y_87,y_88,y_89,y_90,y_91,y_92,y_93,y_94,y_95,y_96,y_97,y_98,y_99,y_100,y_101,y_102,y_103,y_104,y_105,y_106,y_107,y_108,y_109,y_110,y_111,y_112,y_113,y_114,y_115,y_116,y_117,y_118,y_119,y_120,y_121,y_122,y_123,y_124,y_125,y_126,y_127; thread FastFourierTransform { int t_1,t_2,t_3,t_4,t_5,t_6,t_7,t_8,t_9,t_10,t_11,t_12,t_13,t_14,t_15,t_16,t_17,t_18,t_19,t_20,t_21,t_22,t_23,t_24,t_25,t_26,t_27,t_28,t_29,t_30,t_31,t_32,t_33,t_34,t_35,t_36,t_37,t_38,t_39,t_40,t_41,t_42,t_43,t_44,t_45,t_46,t_47,t_48,t_49,t_50,t_51,t_52,t_53,t_54,t_55,t_56,t_57,t_58,t_59,t_60,t_61,t_62,t_63,t_64,t_65,t_66,t_67,t_68,t_69,t_70,t_71,t_72,t_73,t_74,t_75,t_76,t_77,t_78,t_79,t_80,t_81,t_82,t_83,t_84,t_85,t_86,t_87,t_88,t_89,t_90,t_91,t_92,t_93,t_94,t_95,t_96,t_97,t_98,t_99,t_100,t_101,t_102,t_103,t_104,t_105,t_106,t_107,t_108,t_109,t_110,t_111,t_112,t_113,t_114,t_115,t_116,t_117,t_118,t_119,t_120,t_121,t_122,t_123,t_124,t_125,t_126,t_127,t_128,t_129,t_130,t_131,t_132,t_133,t_134,t_135,t_136,t_137,t_138,t_139,t_140,t_141,t_142,t_143,t_144,t_145,t_146,t_147,t_148,t_149,t_150,t_151,t_152,t_153,t_154,t_155,t_156,t_157,t_158,t_159,t_160,t_161,t_162,t_163,t_164,t_165,t_166,t_167,t_168,t_169,t_170,t_171,t_172,t_173,t_174,t_175,t_176,t_177,t_178,t_179,t_180,t_181,t_182,t_183,t_184,t_185,t_186,t_187,t_188,t_189,t_190,t_191,t_192,t_193,t_194,t_195,t_196,t_197,t_198,t_199,t_200,t_201,t_202,t_203,t_204,t_205,t_206,t_207,t_208,t_209,t_210,t_211,t_212,t_213,t_214,t_215,t_216,t_217,t_218,t_219,t_220,t_221,t_222,t_223,t_224,t_225,t_226,t_227,t_228,t_229,t_230,t_231,t_232,t_233,t_234,t_235,t_236,t_237,t_238,t_239,t_240,t_241,t_242,t_243,t_244,t_245,t_246,t_247,t_248,t_249,t_250,t_251,t_252,t_253,t_254,t_255,t_256,t_257,t_258,t_259,t_260,t_261,t_262,t_263,t_264,t_265,t_266,t_267,t_268,t_269,t_270,t_271,t_272,t_273,t_274,t_275,t_276,t_277,t_278,t_279,t_280,t_281,t_282,t_283,t_284,t_285,t_286,t_287,t_288,t_289,t_290,t_291,t_292,t_293,t_294,t_295,t_296,t_297,t_298,t_299,t_300,t_301,t_302,t_303,t_304,t_305,t_306,t_307,t_308,t_309,t_310,t_311,t_312,t_313,t_314,t_315,t_316,t_317,t_318,t_319,t_320,t_321,t_322,t_323,t_324,t_325,t_326,t_327,t_328,t_329,t_330,t_331,t_332,t_333,t_334,t_335,t_336,t_337,t_338,t_339,t_340,t_341,t_342,t_343,t_344,t_345,t_346,t_347,t_348,t_349,t_350,t_351,t_352,t_353,t_354,t_355,t_356,t_357,t_358,t_359,t_360,t_361,t_362,t_363,t_364,t_365,t_366,t_367,t_368,t_369,t_370,t_371,t_372,t_373,t_374,t_375,t_376,t_377,t_378,t_379,t_380,t_381,t_382,t_383,t_384,t_385,t_386,t_387,t_388,t_389,t_390,t_391,t_392,t_393,t_394,t_395,t_396,t_397,t_398,t_399,t_400,t_401,t_402,t_403,t_404,t_405,t_406,t_407,t_408,t_409,t_410,t_411,t_412,t_413,t_414,t_415,t_416,t_417,t_418,t_419,t_420,t_421,t_422,t_423,t_424,t_425,t_426,t_427,t_428,t_429,t_430,t_431,t_432,t_433,t_434,t_435,t_436,t_437,t_438,t_439,t_440,t_441,t_442,t_443,t_444,t_445,t_446,t_447,t_448,t_449,t_450,t_451,t_452,t_453,t_454,t_455,t_456,t_457,t_458,t_459,t_460,t_461,t_462,t_463,t_464,t_465,t_466,t_467,t_468,t_469,t_470,t_471,t_472,t_473,t_474,t_475,t_476,t_477,t_478,t_479,t_480,t_481,t_482,t_483,t_484,t_485,t_486,t_487,t_488,t_489,t_490,t_491,t_492,t_493,t_494,t_495,t_496,t_497,t_498,t_499,t_500,t_501,t_502,t_503,t_504,t_505,t_506,t_507,t_508,t_509,t_510,t_511,t_512,t_513,t_514,t_515,t_516,t_517,t_518,t_519,t_520,t_521,t_522,t_523,t_524,t_525,t_526,t_527,t_528,t_529,t_530,t_531,t_532,t_533,t_534,t_535,t_536,t_537,t_538,t_539,t_540,t_541,t_542,t_543,t_544,t_545,t_546,t_547,t_548,t_549,t_550,t_551,t_552,t_553,t_554,t_555,t_556,t_557,t_558,t_559,t_560,t_561,t_562,t_563,t_564,t_565,t_566,t_567,t_568,t_569,t_570,t_571,t_572,t_573,t_574,t_575,t_576,t_577,t_578,t_579,t_580,t_581,t_582,t_583,t_584,t_585,t_586,t_587,t_588,t_589,t_590,t_591,t_592,t_593,t_594,t_595,t_596,t_597,t_598,t_599,t_600,t_601,t_602,t_603,t_604,t_605,t_606,t_607,t_608,t_609,t_610,t_611,t_612,t_613,t_614,t_615,t_616,t_617,t_618,t_619,t_620,t_621,t_622,t_623,t_624,t_625,t_626,t_627,t_628,t_629,t_630,t_631,t_632,t_633,t_634,t_635,t_636,t_637,t_638,t_639,t_640,t_641,t_642,t_643,t_644,t_645,t_646,t_647,t_648,t_649,t_650,t_651,t_652,t_653,t_654,t_655,t_656,t_657,t_658,t_659,t_660,t_661,t_662,t_663,t_664,t_665,t_666,t_667,t_668,t_669,t_670,t_671,t_672,t_673,t_674,t_675,t_676,t_677,t_678,t_679,t_680,t_681,t_682,t_683,t_684,t_685,t_686,t_687,t_688,t_689,t_690,t_691,t_692,t_693,t_694,t_695,t_696,t_697,t_698,t_699,t_700,t_701,t_702,t_703,t_704,t_705,t_706,t_707,t_708,t_709,t_710,t_711,t_712,t_713,t_714,t_715,t_716,t_717,t_718,t_719,t_720,t_721,t_722,t_723,t_724,t_725,t_726,t_727,t_728,t_729,t_730,t_731,t_732,t_733,t_734,t_735,t_736,t_737,t_738,t_739,t_740,t_741,t_742,t_743,t_744,t_745,t_746,t_747,t_748,t_749,t_750,t_751,t_752,t_753,t_754,t_755,t_756,t_757,t_758,t_759,t_760,t_761,t_762,t_763,t_764,t_765,t_766,t_767,t_768,t_769,t_770,t_771,t_772,t_773,t_774,t_775,t_776,t_777,t_778,t_779,t_780,t_781,t_782,t_783,t_784,t_785,t_786,t_787,t_788,t_789,t_790,t_791,t_792,t_793,t_794,t_795,t_796,t_797,t_798,t_799,t_800,t_801,t_802,t_803,t_804,t_805,t_806,t_807,t_808,t_809,t_810,t_811,t_812,t_813,t_814,t_815,t_816,t_817,t_818,t_819,t_820,t_821,t_822,t_823,t_824,t_825,t_826,t_827,t_828,t_829,t_830,t_831,t_832,t_833,t_834,t_835,t_836,t_837,t_838,t_839,t_840,t_841,t_842,t_843,t_844,t_845,t_846,t_847,t_848,t_849,t_850,t_851,t_852,t_853,t_854,t_855,t_856,t_857,t_858,t_859,t_860,t_861,t_862,t_863,t_864,t_865,t_866,t_867,t_868,t_869,t_870,t_871,t_872,t_873,t_874,t_875,t_876,t_877,t_878,t_879,t_880,t_881,t_882,t_883,t_884,t_885,t_886,t_887,t_888,t_889,t_890,t_891,t_892,t_893,t_894,t_895,t_896; t_1 = x_0 + x_64; t_2 = x_1 + x_65; t_3 = x_2 + x_66; t_4 = x_3 + x_67; t_5 = x_4 + x_68; t_6 = x_5 + x_69; t_7 = x_6 + x_70; t_8 = x_7 + x_71; t_9 = x_8 + x_72; t_10 = x_9 + x_73; t_11 = x_10 + x_74; t_12 = x_11 + x_75; t_13 = x_12 + x_76; t_14 = x_13 + x_77; t_15 = x_14 + x_78; t_16 = x_15 + x_79; t_17 = x_16 + x_80; t_18 = x_17 + x_81; t_19 = x_18 + x_82; t_20 = x_19 + x_83; t_21 = x_20 + x_84; t_22 = x_21 + x_85; t_23 = x_22 + x_86; t_24 = x_23 + x_87; t_25 = x_24 + x_88; t_26 = x_25 + x_89; t_27 = x_26 + x_90; t_28 = x_27 + x_91; t_29 = x_28 + x_92; t_30 = x_29 + x_93; t_31 = x_30 + x_94; t_32 = x_31 + x_95; t_33 = x_32 + x_96; t_34 = x_33 + x_97; t_35 = x_34 + x_98; t_36 = x_35 + x_99; t_37 = x_36 + x_100; t_38 = x_37 + x_101; t_39 = x_38 + x_102; t_40 = x_39 + x_103; t_41 = x_40 + x_104; t_42 = x_41 + x_105; t_43 = x_42 + x_106; t_44 = x_43 + x_107; t_45 = x_44 + x_108; t_46 = x_45 + x_109; t_47 = x_46 + x_110; t_48 = x_47 + x_111; t_49 = x_48 + x_112; t_50 = x_49 + x_113; t_51 = x_50 + x_114; t_52 = x_51 + x_115; t_53 = x_52 + x_116; t_54 = x_53 + x_117; t_55 = x_54 + x_118; t_56 = x_55 + x_119; t_57 = x_56 + x_120; t_58 = x_57 + x_121; t_59 = x_58 + x_122; t_60 = x_59 + x_123; t_61 = x_60 + x_124; t_62 = x_61 + x_125; t_63 = x_62 + x_126; t_64 = x_63 + x_127; t_65 = x_0 - x_64; t_66 = w_1 * (x_1 - x_65); t_67 = w_2 * (x_2 - x_66); t_68 = w_3 * (x_3 - x_67); t_69 = w_4 * (x_4 - x_68); t_70 = w_5 * (x_5 - x_69); t_71 = w_6 * (x_6 - x_70); t_72 = w_7 * (x_7 - x_71); t_73 = w_8 * (x_8 - x_72); t_74 = w_9 * (x_9 - x_73); t_75 = w_10 * (x_10 - x_74); t_76 = w_11 * (x_11 - x_75); t_77 = w_12 * (x_12 - x_76); t_78 = w_13 * (x_13 - x_77); t_79 = w_14 * (x_14 - x_78); t_80 = w_15 * (x_15 - x_79); t_81 = w_16 * (x_16 - x_80); t_82 = w_17 * (x_17 - x_81); t_83 = w_18 * (x_18 - x_82); t_84 = w_19 * (x_19 - x_83); t_85 = w_20 * (x_20 - x_84); t_86 = w_21 * (x_21 - x_85); t_87 = w_22 * (x_22 - x_86); t_88 = w_23 * (x_23 - x_87); t_89 = w_24 * (x_24 - x_88); t_90 = w_25 * (x_25 - x_89); t_91 = w_26 * (x_26 - x_90); t_92 = w_27 * (x_27 - x_91); t_93 = w_28 * (x_28 - x_92); t_94 = w_29 * (x_29 - x_93); t_95 = w_30 * (x_30 - x_94); t_96 = w_31 * (x_31 - x_95); t_97 = w_32 * (x_32 - x_96); t_98 = w_33 * (x_33 - x_97); t_99 = w_34 * (x_34 - x_98); t_100 = w_35 * (x_35 - x_99); t_101 = w_36 * (x_36 - x_100); t_102 = w_37 * (x_37 - x_101); t_103 = w_38 * (x_38 - x_102); t_104 = w_39 * (x_39 - x_103); t_105 = w_40 * (x_40 - x_104); t_106 = w_41 * (x_41 - x_105); t_107 = w_42 * (x_42 - x_106); t_108 = w_43 * (x_43 - x_107); t_109 = w_44 * (x_44 - x_108); t_110 = w_45 * (x_45 - x_109); t_111 = w_46 * (x_46 - x_110); t_112 = w_47 * (x_47 - x_111); t_113 = w_48 * (x_48 - x_112); t_114 = w_49 * (x_49 - x_113); t_115 = w_50 * (x_50 - x_114); t_116 = w_51 * (x_51 - x_115); t_117 = w_52 * (x_52 - x_116); t_118 = w_53 * (x_53 - x_117); t_119 = w_54 * (x_54 - x_118); t_120 = w_55 * (x_55 - x_119); t_121 = w_56 * (x_56 - x_120); t_122 = w_57 * (x_57 - x_121); t_123 = w_58 * (x_58 - x_122); t_124 = w_59 * (x_59 - x_123); t_125 = w_60 * (x_60 - x_124); t_126 = w_61 * (x_61 - x_125); t_127 = w_62 * (x_62 - x_126); t_128 = w_63 * (x_63 - x_127); t_129 = t_1 + t_33; t_130 = t_2 + t_34; t_131 = t_3 + t_35; t_132 = t_4 + t_36; t_133 = t_5 + t_37; t_134 = t_6 + t_38; t_135 = t_7 + t_39; t_136 = t_8 + t_40; t_137 = t_9 + t_41; t_138 = t_10 + t_42; t_139 = t_11 + t_43; t_140 = t_12 + t_44; t_141 = t_13 + t_45; t_142 = t_14 + t_46; t_143 = t_15 + t_47; t_144 = t_16 + t_48; t_145 = t_17 + t_49; t_146 = t_18 + t_50; t_147 = t_19 + t_51; t_148 = t_20 + t_52; t_149 = t_21 + t_53; t_150 = t_22 + t_54; t_151 = t_23 + t_55; t_152 = t_24 + t_56; t_153 = t_25 + t_57; t_154 = t_26 + t_58; t_155 = t_27 + t_59; t_156 = t_28 + t_60; t_157 = t_29 + t_61; t_158 = t_30 + t_62; t_159 = t_31 + t_63; t_160 = t_32 + t_64; t_161 = t_1 - t_33; t_162 = w_2 * (t_2 - t_34); t_163 = w_4 * (t_3 - t_35); t_164 = w_6 * (t_4 - t_36); t_165 = w_8 * (t_5 - t_37); t_166 = w_10 * (t_6 - t_38); t_167 = w_12 * (t_7 - t_39); t_168 = w_14 * (t_8 - t_40); t_169 = w_16 * (t_9 - t_41); t_170 = w_18 * (t_10 - t_42); t_171 = w_20 * (t_11 - t_43); t_172 = w_22 * (t_12 - t_44); t_173 = w_24 * (t_13 - t_45); t_174 = w_26 * (t_14 - t_46); t_175 = w_28 * (t_15 - t_47); t_176 = w_30 * (t_16 - t_48); t_177 = w_32 * (t_17 - t_49); t_178 = w_34 * (t_18 - t_50); t_179 = w_36 * (t_19 - t_51); t_180 = w_38 * (t_20 - t_52); t_181 = w_40 * (t_21 - t_53); t_182 = w_42 * (t_22 - t_54); t_183 = w_44 * (t_23 - t_55); t_184 = w_46 * (t_24 - t_56); t_185 = w_48 * (t_25 - t_57); t_186 = w_50 * (t_26 - t_58); t_187 = w_52 * (t_27 - t_59); t_188 = w_54 * (t_28 - t_60); t_189 = w_56 * (t_29 - t_61); t_190 = w_58 * (t_30 - t_62); t_191 = w_60 * (t_31 - t_63); t_192 = w_62 * (t_32 - t_64); t_193 = t_129 + t_145; t_194 = t_130 + t_146; t_195 = t_131 + t_147; t_196 = t_132 + t_148; t_197 = t_133 + t_149; t_198 = t_134 + t_150; t_199 = t_135 + t_151; t_200 = t_136 + t_152; t_201 = t_137 + t_153; t_202 = t_138 + t_154; t_203 = t_139 + t_155; t_204 = t_140 + t_156; t_205 = t_141 + t_157; t_206 = t_142 + t_158; t_207 = t_143 + t_159; t_208 = t_144 + t_160; t_209 = t_129 - t_145; t_210 = w_4 * (t_130 - t_146); t_211 = w_8 * (t_131 - t_147); t_212 = w_12 * (t_132 - t_148); t_213 = w_16 * (t_133 - t_149); t_214 = w_20 * (t_134 - t_150); t_215 = w_24 * (t_135 - t_151); t_216 = w_28 * (t_136 - t_152); t_217 = w_32 * (t_137 - t_153); t_218 = w_36 * (t_138 - t_154); t_219 = w_40 * (t_139 - t_155); t_220 = w_44 * (t_140 - t_156); t_221 = w_48 * (t_141 - t_157); t_222 = w_52 * (t_142 - t_158); t_223 = w_56 * (t_143 - t_159); t_224 = w_60 * (t_144 - t_160); t_225 = t_193 + t_201; t_226 = t_194 + t_202; t_227 = t_195 + t_203; t_228 = t_196 + t_204; t_229 = t_197 + t_205; t_230 = t_198 + t_206; t_231 = t_199 + t_207; t_232 = t_200 + t_208; t_233 = t_193 - t_201; t_234 = w_8 * (t_194 - t_202); t_235 = w_16 * (t_195 - t_203); t_236 = w_24 * (t_196 - t_204); t_237 = w_32 * (t_197 - t_205); t_238 = w_40 * (t_198 - t_206); t_239 = w_48 * (t_199 - t_207); t_240 = w_56 * (t_200 - t_208); t_241 = t_225 + t_229; t_242 = t_226 + t_230; t_243 = t_227 + t_231; t_244 = t_228 + t_232; t_245 = t_225 - t_229; t_246 = w_16 * (t_226 - t_230); t_247 = w_32 * (t_227 - t_231); t_248 = w_48 * (t_228 - t_232); t_249 = t_241 + t_243; t_250 = t_242 + t_244; t_251 = t_241 - t_243; t_252 = w_32 * (t_242 - t_244); t_253 = t_249 + t_250; t_254 = t_249 - t_250; t_255 = t_251 + t_252; t_256 = t_251 - t_252; t_257 = t_245 + t_247; t_258 = t_246 + t_248; t_259 = t_245 - t_247; t_260 = w_32 * (t_246 - t_248); t_261 = t_257 + t_258; t_262 = t_257 - t_258; t_263 = t_259 + t_260; t_264 = t_259 - t_260; t_265 = t_233 + t_237; t_266 = t_234 + t_238; t_267 = t_235 + t_239; t_268 = t_236 + t_240; t_269 = t_233 - t_237; t_270 = w_16 * (t_234 - t_238); t_271 = w_32 * (t_235 - t_239); t_272 = w_48 * (t_236 - t_240); t_273 = t_265 + t_267; t_274 = t_266 + t_268; t_275 = t_265 - t_267; t_276 = w_32 * (t_266 - t_268); t_277 = t_273 + t_274; t_278 = t_273 - t_274; t_279 = t_275 + t_276; t_280 = t_275 - t_276; t_281 = t_269 + t_271; t_282 = t_270 + t_272; t_283 = t_269 - t_271; t_284 = w_32 * (t_270 - t_272); t_285 = t_281 + t_282; t_286 = t_281 - t_282; t_287 = t_283 + t_284; t_288 = t_283 - t_284; t_289 = t_209 + t_217; t_290 = t_210 + t_218; t_291 = t_211 + t_219; t_292 = t_212 + t_220; t_293 = t_213 + t_221; t_294 = t_214 + t_222; t_295 = t_215 + t_223; t_296 = t_216 + t_224; t_297 = t_209 - t_217; t_298 = w_8 * (t_210 - t_218); t_299 = w_16 * (t_211 - t_219); t_300 = w_24 * (t_212 - t_220); t_301 = w_32 * (t_213 - t_221); t_302 = w_40 * (t_214 - t_222); t_303 = w_48 * (t_215 - t_223); t_304 = w_56 * (t_216 - t_224); t_305 = t_289 + t_293; t_306 = t_290 + t_294; t_307 = t_291 + t_295; t_308 = t_292 + t_296; t_309 = t_289 - t_293; t_310 = w_16 * (t_290 - t_294); t_311 = w_32 * (t_291 - t_295); t_312 = w_48 * (t_292 - t_296); t_313 = t_305 + t_307; t_314 = t_306 + t_308; t_315 = t_305 - t_307; t_316 = w_32 * (t_306 - t_308); t_317 = t_313 + t_314; t_318 = t_313 - t_314; t_319 = t_315 + t_316; t_320 = t_315 - t_316; t_321 = t_309 + t_311; t_322 = t_310 + t_312; t_323 = t_309 - t_311; t_324 = w_32 * (t_310 - t_312); t_325 = t_321 + t_322; t_326 = t_321 - t_322; t_327 = t_323 + t_324; t_328 = t_323 - t_324; t_329 = t_297 + t_301; t_330 = t_298 + t_302; t_331 = t_299 + t_303; t_332 = t_300 + t_304; t_333 = t_297 - t_301; t_334 = w_16 * (t_298 - t_302); t_335 = w_32 * (t_299 - t_303); t_336 = w_48 * (t_300 - t_304); t_337 = t_329 + t_331; t_338 = t_330 + t_332; t_339 = t_329 - t_331; t_340 = w_32 * (t_330 - t_332); t_341 = t_337 + t_338; t_342 = t_337 - t_338; t_343 = t_339 + t_340; t_344 = t_339 - t_340; t_345 = t_333 + t_335; t_346 = t_334 + t_336; t_347 = t_333 - t_335; t_348 = w_32 * (t_334 - t_336); t_349 = t_345 + t_346; t_350 = t_345 - t_346; t_351 = t_347 + t_348; t_352 = t_347 - t_348; t_353 = t_161 + t_177; t_354 = t_162 + t_178; t_355 = t_163 + t_179; t_356 = t_164 + t_180; t_357 = t_165 + t_181; t_358 = t_166 + t_182; t_359 = t_167 + t_183; t_360 = t_168 + t_184; t_361 = t_169 + t_185; t_362 = t_170 + t_186; t_363 = t_171 + t_187; t_364 = t_172 + t_188; t_365 = t_173 + t_189; t_366 = t_174 + t_190; t_367 = t_175 + t_191; t_368 = t_176 + t_192; t_369 = t_161 - t_177; t_370 = w_4 * (t_162 - t_178); t_371 = w_8 * (t_163 - t_179); t_372 = w_12 * (t_164 - t_180); t_373 = w_16 * (t_165 - t_181); t_374 = w_20 * (t_166 - t_182); t_375 = w_24 * (t_167 - t_183); t_376 = w_28 * (t_168 - t_184); t_377 = w_32 * (t_169 - t_185); t_378 = w_36 * (t_170 - t_186); t_379 = w_40 * (t_171 - t_187); t_380 = w_44 * (t_172 - t_188); t_381 = w_48 * (t_173 - t_189); t_382 = w_52 * (t_174 - t_190); t_383 = w_56 * (t_175 - t_191); t_384 = w_60 * (t_176 - t_192); t_385 = t_353 + t_361; t_386 = t_354 + t_362; t_387 = t_355 + t_363; t_388 = t_356 + t_364; t_389 = t_357 + t_365; t_390 = t_358 + t_366; t_391 = t_359 + t_367; t_392 = t_360 + t_368; t_393 = t_353 - t_361; t_394 = w_8 * (t_354 - t_362); t_395 = w_16 * (t_355 - t_363); t_396 = w_24 * (t_356 - t_364); t_397 = w_32 * (t_357 - t_365); t_398 = w_40 * (t_358 - t_366); t_399 = w_48 * (t_359 - t_367); t_400 = w_56 * (t_360 - t_368); t_401 = t_385 + t_389; t_402 = t_386 + t_390; t_403 = t_387 + t_391; t_404 = t_388 + t_392; t_405 = t_385 - t_389; t_406 = w_16 * (t_386 - t_390); t_407 = w_32 * (t_387 - t_391); t_408 = w_48 * (t_388 - t_392); t_409 = t_401 + t_403; t_410 = t_402 + t_404; t_411 = t_401 - t_403; t_412 = w_32 * (t_402 - t_404); t_413 = t_409 + t_410; t_414 = t_409 - t_410; t_415 = t_411 + t_412; t_416 = t_411 - t_412; t_417 = t_405 + t_407; t_418 = t_406 + t_408; t_419 = t_405 - t_407; t_420 = w_32 * (t_406 - t_408); t_421 = t_417 + t_418; t_422 = t_417 - t_418; t_423 = t_419 + t_420; t_424 = t_419 - t_420; t_425 = t_393 + t_397; t_426 = t_394 + t_398; t_427 = t_395 + t_399; t_428 = t_396 + t_400; t_429 = t_393 - t_397; t_430 = w_16 * (t_394 - t_398); t_431 = w_32 * (t_395 - t_399); t_432 = w_48 * (t_396 - t_400); t_433 = t_425 + t_427; t_434 = t_426 + t_428; t_435 = t_425 - t_427; t_436 = w_32 * (t_426 - t_428); t_437 = t_433 + t_434; t_438 = t_433 - t_434; t_439 = t_435 + t_436; t_440 = t_435 - t_436; t_441 = t_429 + t_431; t_442 = t_430 + t_432; t_443 = t_429 - t_431; t_444 = w_32 * (t_430 - t_432); t_445 = t_441 + t_442; t_446 = t_441 - t_442; t_447 = t_443 + t_444; t_448 = t_443 - t_444; t_449 = t_369 + t_377; t_450 = t_370 + t_378; t_451 = t_371 + t_379; t_452 = t_372 + t_380; t_453 = t_373 + t_381; t_454 = t_374 + t_382; t_455 = t_375 + t_383; t_456 = t_376 + t_384; t_457 = t_369 - t_377; t_458 = w_8 * (t_370 - t_378); t_459 = w_16 * (t_371 - t_379); t_460 = w_24 * (t_372 - t_380); t_461 = w_32 * (t_373 - t_381); t_462 = w_40 * (t_374 - t_382); t_463 = w_48 * (t_375 - t_383); t_464 = w_56 * (t_376 - t_384); t_465 = t_449 + t_453; t_466 = t_450 + t_454; t_467 = t_451 + t_455; t_468 = t_452 + t_456; t_469 = t_449 - t_453; t_470 = w_16 * (t_450 - t_454); t_471 = w_32 * (t_451 - t_455); t_472 = w_48 * (t_452 - t_456); t_473 = t_465 + t_467; t_474 = t_466 + t_468; t_475 = t_465 - t_467; t_476 = w_32 * (t_466 - t_468); t_477 = t_473 + t_474; t_478 = t_473 - t_474; t_479 = t_475 + t_476; t_480 = t_475 - t_476; t_481 = t_469 + t_471; t_482 = t_470 + t_472; t_483 = t_469 - t_471; t_484 = w_32 * (t_470 - t_472); t_485 = t_481 + t_482; t_486 = t_481 - t_482; t_487 = t_483 + t_484; t_488 = t_483 - t_484; t_489 = t_457 + t_461; t_490 = t_458 + t_462; t_491 = t_459 + t_463; t_492 = t_460 + t_464; t_493 = t_457 - t_461; t_494 = w_16 * (t_458 - t_462); t_495 = w_32 * (t_459 - t_463); t_496 = w_48 * (t_460 - t_464); t_497 = t_489 + t_491; t_498 = t_490 + t_492; t_499 = t_489 - t_491; t_500 = w_32 * (t_490 - t_492); t_501 = t_497 + t_498; t_502 = t_497 - t_498; t_503 = t_499 + t_500; t_504 = t_499 - t_500; t_505 = t_493 + t_495; t_506 = t_494 + t_496; t_507 = t_493 - t_495; t_508 = w_32 * (t_494 - t_496); t_509 = t_505 + t_506; t_510 = t_505 - t_506; t_511 = t_507 + t_508; t_512 = t_507 - t_508; t_513 = t_65 + t_97; t_514 = t_66 + t_98; t_515 = t_67 + t_99; t_516 = t_68 + t_100; t_517 = t_69 + t_101; t_518 = t_70 + t_102; t_519 = t_71 + t_103; t_520 = t_72 + t_104; t_521 = t_73 + t_105; t_522 = t_74 + t_106; t_523 = t_75 + t_107; t_524 = t_76 + t_108; t_525 = t_77 + t_109; t_526 = t_78 + t_110; t_527 = t_79 + t_111; t_528 = t_80 + t_112; t_529 = t_81 + t_113; t_530 = t_82 + t_114; t_531 = t_83 + t_115; t_532 = t_84 + t_116; t_533 = t_85 + t_117; t_534 = t_86 + t_118; t_535 = t_87 + t_119; t_536 = t_88 + t_120; t_537 = t_89 + t_121; t_538 = t_90 + t_122; t_539 = t_91 + t_123; t_540 = t_92 + t_124; t_541 = t_93 + t_125; t_542 = t_94 + t_126; t_543 = t_95 + t_127; t_544 = t_96 + t_128; t_545 = t_65 - t_97; t_546 = w_2 * (t_66 - t_98); t_547 = w_4 * (t_67 - t_99); t_548 = w_6 * (t_68 - t_100); t_549 = w_8 * (t_69 - t_101); t_550 = w_10 * (t_70 - t_102); t_551 = w_12 * (t_71 - t_103); t_552 = w_14 * (t_72 - t_104); t_553 = w_16 * (t_73 - t_105); t_554 = w_18 * (t_74 - t_106); t_555 = w_20 * (t_75 - t_107); t_556 = w_22 * (t_76 - t_108); t_557 = w_24 * (t_77 - t_109); t_558 = w_26 * (t_78 - t_110); t_559 = w_28 * (t_79 - t_111); t_560 = w_30 * (t_80 - t_112); t_561 = w_32 * (t_81 - t_113); t_562 = w_34 * (t_82 - t_114); t_563 = w_36 * (t_83 - t_115); t_564 = w_38 * (t_84 - t_116); t_565 = w_40 * (t_85 - t_117); t_566 = w_42 * (t_86 - t_118); t_567 = w_44 * (t_87 - t_119); t_568 = w_46 * (t_88 - t_120); t_569 = w_48 * (t_89 - t_121); t_570 = w_50 * (t_90 - t_122); t_571 = w_52 * (t_91 - t_123); t_572 = w_54 * (t_92 - t_124); t_573 = w_56 * (t_93 - t_125); t_574 = w_58 * (t_94 - t_126); t_575 = w_60 * (t_95 - t_127); t_576 = w_62 * (t_96 - t_128); t_577 = t_513 + t_529; t_578 = t_514 + t_530; t_579 = t_515 + t_531; t_580 = t_516 + t_532; t_581 = t_517 + t_533; t_582 = t_518 + t_534; t_583 = t_519 + t_535; t_584 = t_520 + t_536; t_585 = t_521 + t_537; t_586 = t_522 + t_538; t_587 = t_523 + t_539; t_588 = t_524 + t_540; t_589 = t_525 + t_541; t_590 = t_526 + t_542; t_591 = t_527 + t_543; t_592 = t_528 + t_544; t_593 = t_513 - t_529; t_594 = w_4 * (t_514 - t_530); t_595 = w_8 * (t_515 - t_531); t_596 = w_12 * (t_516 - t_532); t_597 = w_16 * (t_517 - t_533); t_598 = w_20 * (t_518 - t_534); t_599 = w_24 * (t_519 - t_535); t_600 = w_28 * (t_520 - t_536); t_601 = w_32 * (t_521 - t_537); t_602 = w_36 * (t_522 - t_538); t_603 = w_40 * (t_523 - t_539); t_604 = w_44 * (t_524 - t_540); t_605 = w_48 * (t_525 - t_541); t_606 = w_52 * (t_526 - t_542); t_607 = w_56 * (t_527 - t_543); t_608 = w_60 * (t_528 - t_544); t_609 = t_577 + t_585; t_610 = t_578 + t_586; t_611 = t_579 + t_587; t_612 = t_580 + t_588; t_613 = t_581 + t_589; t_614 = t_582 + t_590; t_615 = t_583 + t_591; t_616 = t_584 + t_592; t_617 = t_577 - t_585; t_618 = w_8 * (t_578 - t_586); t_619 = w_16 * (t_579 - t_587); t_620 = w_24 * (t_580 - t_588); t_621 = w_32 * (t_581 - t_589); t_622 = w_40 * (t_582 - t_590); t_623 = w_48 * (t_583 - t_591); t_624 = w_56 * (t_584 - t_592); t_625 = t_609 + t_613; t_626 = t_610 + t_614; t_627 = t_611 + t_615; t_628 = t_612 + t_616; t_629 = t_609 - t_613; t_630 = w_16 * (t_610 - t_614); t_631 = w_32 * (t_611 - t_615); t_632 = w_48 * (t_612 - t_616); t_633 = t_625 + t_627; t_634 = t_626 + t_628; t_635 = t_625 - t_627; t_636 = w_32 * (t_626 - t_628); t_637 = t_633 + t_634; t_638 = t_633 - t_634; t_639 = t_635 + t_636; t_640 = t_635 - t_636; t_641 = t_629 + t_631; t_642 = t_630 + t_632; t_643 = t_629 - t_631; t_644 = w_32 * (t_630 - t_632); t_645 = t_641 + t_642; t_646 = t_641 - t_642; t_647 = t_643 + t_644; t_648 = t_643 - t_644; t_649 = t_617 + t_621; t_650 = t_618 + t_622; t_651 = t_619 + t_623; t_652 = t_620 + t_624; t_653 = t_617 - t_621; t_654 = w_16 * (t_618 - t_622); t_655 = w_32 * (t_619 - t_623); t_656 = w_48 * (t_620 - t_624); t_657 = t_649 + t_651; t_658 = t_650 + t_652; t_659 = t_649 - t_651; t_660 = w_32 * (t_650 - t_652); t_661 = t_657 + t_658; t_662 = t_657 - t_658; t_663 = t_659 + t_660; t_664 = t_659 - t_660; t_665 = t_653 + t_655; t_666 = t_654 + t_656; t_667 = t_653 - t_655; t_668 = w_32 * (t_654 - t_656); t_669 = t_665 + t_666; t_670 = t_665 - t_666; t_671 = t_667 + t_668; t_672 = t_667 - t_668; t_673 = t_593 + t_601; t_674 = t_594 + t_602; t_675 = t_595 + t_603; t_676 = t_596 + t_604; t_677 = t_597 + t_605; t_678 = t_598 + t_606; t_679 = t_599 + t_607; t_680 = t_600 + t_608; t_681 = t_593 - t_601; t_682 = w_8 * (t_594 - t_602); t_683 = w_16 * (t_595 - t_603); t_684 = w_24 * (t_596 - t_604); t_685 = w_32 * (t_597 - t_605); t_686 = w_40 * (t_598 - t_606); t_687 = w_48 * (t_599 - t_607); t_688 = w_56 * (t_600 - t_608); t_689 = t_673 + t_677; t_690 = t_674 + t_678; t_691 = t_675 + t_679; t_692 = t_676 + t_680; t_693 = t_673 - t_677; t_694 = w_16 * (t_674 - t_678); t_695 = w_32 * (t_675 - t_679); t_696 = w_48 * (t_676 - t_680); t_697 = t_689 + t_691; t_698 = t_690 + t_692; t_699 = t_689 - t_691; t_700 = w_32 * (t_690 - t_692); t_701 = t_697 + t_698; t_702 = t_697 - t_698; t_703 = t_699 + t_700; t_704 = t_699 - t_700; t_705 = t_693 + t_695; t_706 = t_694 + t_696; t_707 = t_693 - t_695; t_708 = w_32 * (t_694 - t_696); t_709 = t_705 + t_706; t_710 = t_705 - t_706; t_711 = t_707 + t_708; t_712 = t_707 - t_708; t_713 = t_681 + t_685; t_714 = t_682 + t_686; t_715 = t_683 + t_687; t_716 = t_684 + t_688; t_717 = t_681 - t_685; t_718 = w_16 * (t_682 - t_686); t_719 = w_32 * (t_683 - t_687); t_720 = w_48 * (t_684 - t_688); t_721 = t_713 + t_715; t_722 = t_714 + t_716; t_723 = t_713 - t_715; t_724 = w_32 * (t_714 - t_716); t_725 = t_721 + t_722; t_726 = t_721 - t_722; t_727 = t_723 + t_724; t_728 = t_723 - t_724; t_729 = t_717 + t_719; t_730 = t_718 + t_720; t_731 = t_717 - t_719; t_732 = w_32 * (t_718 - t_720); t_733 = t_729 + t_730; t_734 = t_729 - t_730; t_735 = t_731 + t_732; t_736 = t_731 - t_732; t_737 = t_545 + t_561; t_738 = t_546 + t_562; t_739 = t_547 + t_563; t_740 = t_548 + t_564; t_741 = t_549 + t_565; t_742 = t_550 + t_566; t_743 = t_551 + t_567; t_744 = t_552 + t_568; t_745 = t_553 + t_569; t_746 = t_554 + t_570; t_747 = t_555 + t_571; t_748 = t_556 + t_572; t_749 = t_557 + t_573; t_750 = t_558 + t_574; t_751 = t_559 + t_575; t_752 = t_560 + t_576; t_753 = t_545 - t_561; t_754 = w_4 * (t_546 - t_562); t_755 = w_8 * (t_547 - t_563); t_756 = w_12 * (t_548 - t_564); t_757 = w_16 * (t_549 - t_565); t_758 = w_20 * (t_550 - t_566); t_759 = w_24 * (t_551 - t_567); t_760 = w_28 * (t_552 - t_568); t_761 = w_32 * (t_553 - t_569); t_762 = w_36 * (t_554 - t_570); t_763 = w_40 * (t_555 - t_571); t_764 = w_44 * (t_556 - t_572); t_765 = w_48 * (t_557 - t_573); t_766 = w_52 * (t_558 - t_574); t_767 = w_56 * (t_559 - t_575); t_768 = w_60 * (t_560 - t_576); t_769 = t_737 + t_745; t_770 = t_738 + t_746; t_771 = t_739 + t_747; t_772 = t_740 + t_748; t_773 = t_741 + t_749; t_774 = t_742 + t_750; t_775 = t_743 + t_751; t_776 = t_744 + t_752; t_777 = t_737 - t_745; t_778 = w_8 * (t_738 - t_746); t_779 = w_16 * (t_739 - t_747); t_780 = w_24 * (t_740 - t_748); t_781 = w_32 * (t_741 - t_749); t_782 = w_40 * (t_742 - t_750); t_783 = w_48 * (t_743 - t_751); t_784 = w_56 * (t_744 - t_752); t_785 = t_769 + t_773; t_786 = t_770 + t_774; t_787 = t_771 + t_775; t_788 = t_772 + t_776; t_789 = t_769 - t_773; t_790 = w_16 * (t_770 - t_774); t_791 = w_32 * (t_771 - t_775); t_792 = w_48 * (t_772 - t_776); t_793 = t_785 + t_787; t_794 = t_786 + t_788; t_795 = t_785 - t_787; t_796 = w_32 * (t_786 - t_788); t_797 = t_793 + t_794; t_798 = t_793 - t_794; t_799 = t_795 + t_796; t_800 = t_795 - t_796; t_801 = t_789 + t_791; t_802 = t_790 + t_792; t_803 = t_789 - t_791; t_804 = w_32 * (t_790 - t_792); t_805 = t_801 + t_802; t_806 = t_801 - t_802; t_807 = t_803 + t_804; t_808 = t_803 - t_804; t_809 = t_777 + t_781; t_810 = t_778 + t_782; t_811 = t_779 + t_783; t_812 = t_780 + t_784; t_813 = t_777 - t_781; t_814 = w_16 * (t_778 - t_782); t_815 = w_32 * (t_779 - t_783); t_816 = w_48 * (t_780 - t_784); t_817 = t_809 + t_811; t_818 = t_810 + t_812; t_819 = t_809 - t_811; t_820 = w_32 * (t_810 - t_812); t_821 = t_817 + t_818; t_822 = t_817 - t_818; t_823 = t_819 + t_820; t_824 = t_819 - t_820; t_825 = t_813 + t_815; t_826 = t_814 + t_816; t_827 = t_813 - t_815; t_828 = w_32 * (t_814 - t_816); t_829 = t_825 + t_826; t_830 = t_825 - t_826; t_831 = t_827 + t_828; t_832 = t_827 - t_828; t_833 = t_753 + t_761; t_834 = t_754 + t_762; t_835 = t_755 + t_763; t_836 = t_756 + t_764; t_837 = t_757 + t_765; t_838 = t_758 + t_766; t_839 = t_759 + t_767; t_840 = t_760 + t_768; t_841 = t_753 - t_761; t_842 = w_8 * (t_754 - t_762); t_843 = w_16 * (t_755 - t_763); t_844 = w_24 * (t_756 - t_764); t_845 = w_32 * (t_757 - t_765); t_846 = w_40 * (t_758 - t_766); t_847 = w_48 * (t_759 - t_767); t_848 = w_56 * (t_760 - t_768); t_849 = t_833 + t_837; t_850 = t_834 + t_838; t_851 = t_835 + t_839; t_852 = t_836 + t_840; t_853 = t_833 - t_837; t_854 = w_16 * (t_834 - t_838); t_855 = w_32 * (t_835 - t_839); t_856 = w_48 * (t_836 - t_840); t_857 = t_849 + t_851; t_858 = t_850 + t_852; t_859 = t_849 - t_851; t_860 = w_32 * (t_850 - t_852); t_861 = t_857 + t_858; t_862 = t_857 - t_858; t_863 = t_859 + t_860; t_864 = t_859 - t_860; t_865 = t_853 + t_855; t_866 = t_854 + t_856; t_867 = t_853 - t_855; t_868 = w_32 * (t_854 - t_856); t_869 = t_865 + t_866; t_870 = t_865 - t_866; t_871 = t_867 + t_868; t_872 = t_867 - t_868; t_873 = t_841 + t_845; t_874 = t_842 + t_846; t_875 = t_843 + t_847; t_876 = t_844 + t_848; t_877 = t_841 - t_845; t_878 = w_16 * (t_842 - t_846); t_879 = w_32 * (t_843 - t_847); t_880 = w_48 * (t_844 - t_848); t_881 = t_873 + t_875; t_882 = t_874 + t_876; t_883 = t_873 - t_875; t_884 = w_32 * (t_874 - t_876); t_885 = t_881 + t_882; t_886 = t_881 - t_882; t_887 = t_883 + t_884; t_888 = t_883 - t_884; t_889 = t_877 + t_879; t_890 = t_878 + t_880; t_891 = t_877 - t_879; t_892 = w_32 * (t_878 - t_880); t_893 = t_889 + t_890; t_894 = t_889 - t_890; t_895 = t_891 + t_892; t_896 = t_891 - t_892; y_0 = t_253; y_1 = t_637; y_2 = t_413; y_3 = t_797; y_4 = t_317; y_5 = t_701; y_6 = t_477; y_7 = t_861; y_8 = t_277; y_9 = t_661; y_10 = t_437; y_11 = t_821; y_12 = t_341; y_13 = t_725; y_14 = t_501; y_15 = t_885; y_16 = t_261; y_17 = t_645; y_18 = t_421; y_19 = t_805; y_20 = t_325; y_21 = t_709; y_22 = t_485; y_23 = t_869; y_24 = t_285; y_25 = t_669; y_26 = t_445; y_27 = t_829; y_28 = t_349; y_29 = t_733; y_30 = t_509; y_31 = t_893; y_32 = t_255; y_33 = t_639; y_34 = t_415; y_35 = t_799; y_36 = t_319; y_37 = t_703; y_38 = t_479; y_39 = t_863; y_40 = t_279; y_41 = t_663; y_42 = t_439; y_43 = t_823; y_44 = t_343; y_45 = t_727; y_46 = t_503; y_47 = t_887; y_48 = t_263; y_49 = t_647; y_50 = t_423; y_51 = t_807; y_52 = t_327; y_53 = t_711; y_54 = t_487; y_55 = t_871; y_56 = t_287; y_57 = t_671; y_58 = t_447; y_59 = t_831; y_60 = t_351; y_61 = t_735; y_62 = t_511; y_63 = t_895; y_64 = t_254; y_65 = t_638; y_66 = t_414; y_67 = t_798; y_68 = t_318; y_69 = t_702; y_70 = t_478; y_71 = t_862; y_72 = t_278; y_73 = t_662; y_74 = t_438; y_75 = t_822; y_76 = t_342; y_77 = t_726; y_78 = t_502; y_79 = t_886; y_80 = t_262; y_81 = t_646; y_82 = t_422; y_83 = t_806; y_84 = t_326; y_85 = t_710; y_86 = t_486; y_87 = t_870; y_88 = t_286; y_89 = t_670; y_90 = t_446; y_91 = t_830; y_92 = t_350; y_93 = t_734; y_94 = t_510; y_95 = t_894; y_96 = t_256; y_97 = t_640; y_98 = t_416; y_99 = t_800; y_100 = t_320; y_101 = t_704; y_102 = t_480; y_103 = t_864; y_104 = t_280; y_105 = t_664; y_106 = t_440; y_107 = t_824; y_108 = t_344; y_109 = t_728; y_110 = t_504; y_111 = t_888; y_112 = t_264; y_113 = t_648; y_114 = t_424; y_115 = t_808; y_116 = t_328; y_117 = t_712; y_118 = t_488; y_119 = t_872; y_120 = t_288; y_121 = t_672; y_122 = t_448; y_123 = t_832; y_124 = t_352; y_125 = t_736; y_126 = t_512; y_127 = t_896; }