fpnma   f52 = f52, c11, f56	;;	// (f56, f64) = (f60, f64) $ (c12, c12), (line 0, 4)	fpma    f56 = f64, c12, f60	fpnma   f64 = f64, c12, f60	;;	// (f60, f68) = (f72, f68) $ (c14, c14), (line 3, 7)	fpma    f60 = f68, c14, f72	fpnma   f68 = f68, c14, f72	;;	;;	// (f72, f76) = (f80, f76) $ (c13, c13), (line 1, 5)	fpma    f72 = f76, c13, f80	fpnma   f76 = f76, c13, f80	;;	// (f80, f52) = (f48, f52) $ (c13, c13), (line 2, 6)	fpma    f80 = f52, c13, f48	fpnma   f52 = f52, c13, f48	;;	// before post shuffle	//  56 49 50 51 	//  72 53 54 55 	//  80 57 58 59 	//  60 61 62 63 	//  64 65 66 67 	//  76 69 70 71 	//  52 73 74 75 	//  68 77 78 79 	// after post shuffle	//  56 49 50 51 	//  72 53 54 55 	//  52 57 58 59 	//  60 61 62 63 	//  68 65 66 67 	//  80 69 70 71 	//  76 73 74 75 	//  64 77 78 79 	// before pre shuffle	//  56 49 50 51 	//  72 53 54 55 	//  52 57 58 59 	//  60 61 62 63 	//  68 65 66 67 	//  80 69 70 71 	//  76 73 74 75 	//  64 77 78 79 	// after pre shuffle	//  56 49 50 51 	//  72 65 54 55 	//  52 57 58 59 	//  60 73 62 63 	//  68 53 66 67 	//  80 77 70 71 	//  76 61 74 75 	//  64 69 78 79 	// (f48, f65) = (f49, f65) $ (c0, c0), (line 0, 1)	fpma    f48 = f65, c0, f49	fpnma   f65 = f65, c0, f49	;;	// (f49, f73) = (f57, f73) $ (c1, c2), (line 2, 3)	fpma    f49 = f73, c1, f57	fpnma   f73 = f73, c2, f57	;;	// (f57, f77) = (f53, f77) $ (c3, c4), (line 4, 5)	fpma    f57 = f77, c3, f53	fpnma   f77 = f77, c4, f53	;;	// (f53, f69) = (f61, f69) $ (c5, c6), (line 6, 7)	fpma    f53 = f69, c5, f61	fpnma   f69 = f69, c6, f61	;;	;;	// (f61, f73) = (f48, f73) $ (c7, c7), (line 0, 3)	fpma    f61 = f73, c7, f48	fpnma   f73 = f73, c7, f48	;;	// (f48, f49) = (f65, f49) $ (c8, c8), (line 1, 2)	fpma    f48 = f49, c8, f65	fpnma   f49 = f49, c8, f65	;;	// (f65, f53) = (f57, f53) $ (c9, c9), (line 4, 6)	fpma    f65 = f53, c9, f57	fpnma   f53 = f53, c9, f57	;;	// (f57, f69) = (f77, f69) $ (c10, c10), (line 5, 7)	fpma    f57 = f69, c10, f77	fpnma   f69 = f69, c10, f77	;;	;;	// (f77, f53) = (f57, f53) $ (c11, c11), (line 5, 6)	fpma    f77 = f53, c11, f57	fpnma   f53 = f53, c11, f57	;;	// (f57, f65) = (f61, f65) $ (c12, c12), (line 0, 4)	fpma    f57 = f65, c12, f61	fpnma   f65 = f65, c12, f61	;;	// (f61, f69) = (f73, f69) $ (c14, c14), (line 3, 7)	fpma    f61 = f69, c14, f73	fpnma   f69 = f69, c14, f73	;;	;;	// (f73, f77) = (f48, f77) $ (c13, c13), (line 1, 5)	fpma    f73 = f77, c13, f48	fpnma   f77 = f77, c13, f48	;;	// (f48, f53) = (f49, f53) $ (c13, c13), (line 2, 6)	fpma    f48 = f53, c13, f49	fpnma   f53 = f53, c13, f49	;;	// before post shuffle	//  56 57 50 51 	//  72 73 54 55 	//  52 48 58 59 	//  60 61 62 63 	//  68 65 66 67 	//  80 77 70 71 	//  76 53 74 75 	//  64 69 78 79 	// after post shuffle	//  56 57 50 51 	//  72 73 54 55 	//  52 53 58 59 	//  60 61 62 63 	//  68 69 66 67 	//  80 48 70 71 	//  76 77 74 75 	//  64 65 78 79 	// before pre shuffle	//  56 57 50 51 	//  72 73 54 55 	//  52 53 58 59 	//  60 61 62 63 	//  68 69 66 67 	//  80 48 70 71 	//  76 77 74 75 	//  64 65 78 79 	// after pre shuffle	//  56 57 50 51 	//  72 73 66 55 	//  52 53 58 59 	//  60 61 74 63 	//  68 69 54 67 	//  80 48 78 71 	//  76 77 62 75 	//  64 65 70 79 	// (f49, f66) = (f50, f66) $ (c0, c0), (line 0, 1)	fpma    f49 = f66, c0, f50	fpnma   f66 = f66, c0, f50	;;	// (f50, f74) = (f58, f74) $ (c1, c2), (line 2, 3)	fpma    f50 = f74, c1, f58	fpnma   f74 = f74, c2, f58	;;	// (f58, f78) = (f54, f78) $ (c3, c4), (line 4, 5)	fpma    f58 = f78, c3, f54	fpnma   f78 = f78, c4, f54	;;	// (f54, f70) = (f62, f70) $ (c5, c6), (line 6, 7)	fpma    f54 = f70, c5, f62	fpnma   f70 = f70, c6, f62	;;	;;	// (f62, f74) = (f49, f74) $ (c7, c7), (line 0, 3)	fpma    f62 = f74, c7, f49	fpnma   f74 = f74, c7, f49	;;	// (f49, f50) = (f66, f50) $ (c8, c8), (line 1, 2)	fpma    f49 = f50, c8, f66	fpnma   f50 = f50, c8, f66	;;	// (f66, f54) = (f58, f54) $ (c9, c9), (line 4, 6)	fpma    f66 = f54, c9, f58	fpnma   f54 = f54, c9, f58	;;	// (f58, f70) = (f78, f70) $ (c10, c10), (line 5, 7)	fpma    f58 = f70, c10, f78	fpnma   f70 = f70, c10, f78	;;	;;	// (f78, f54) = (f58, f54) $ (c11, c11), (line 5, 6)	fpma    f78 = f54, c11, f58	fpnma   f54 = f54, c11, f58	;;	// (f58, f66) = (f62, f66) $ (c12, c12), (line 0, 4)	fpma    f58 = f66, c12, f62	fpnma   f66 = f66, c12, f62	;;	// (f62, f70) = (f74, f70) $ (c14, c14), (line 3, 7)	fpma    f62 = f70, c14, f74	fpnma   f70 = f70, c14, f74	;;	;;	// (f74, f78) = (f49, f78) $ (c13, c13), (line 1, 5)	fpma    f74 = f78, c13, f49	fpnma   f78 = f78, c13, f49	;;	// (f49, f54) = (f50, f54) $ (c13, c13), (line 2, 6)	fpma    f49 = f54, c13, f50	fpnma   f54 = f54, c13, f50	;;	// before post shuffle	//  56 57 58 51 	//  72 73 74 55 	//  52 53 49 59 	//  60 61 62 63 	//  68 69 66 67 	//  80 48 78 71 	//  76 77 54 75 	//  64 65 70 79 	// after post shuffle	//  56 57 58 51 	//  72 73 74 55 	//  52 53 54 59 	//  60 61 62 63 	//  68 69 70 67 	//  80 48 49 71 	//  76 77 78 75 	//  64 65 66 79 	// before pre shuffle	//  56 57 58 51 	//  72 73 74 55 	//  52 53 54 59 	//  60 61 62 63 	//  68 69 70 67 	//  80 48 49 71 	//  76 77 78 75 	//  64 65 66 79 	// after pre shuffle	//  56 57 58 51 	//  72 73 74 67 	//  52 53 54 59 	//  60 61 62 75 	//  68 69 70 55 	//  80 48 49 79 	//  76 77 78 63 	//  64 65 66 71 	// (f50, f67) = (f51, f67) $ (c0, c0), (line 0, 1)	fpma    f50 = f67, c0, f51	fpnma   f67 = f67, c0, f51	;;	// (f51, f75) = (f59, f75) $ (c1, c2), (line 2, 3)	fpma    f51 = f75, c1, f59	fpnma   f75 = f75, c2, f59	;;	// (f59, f79) = (f55, f79) $ (c3, c4), (line 4, 5)	fpma    f59 = f79, c3, f55	fpnma   f79 = f79, c4, f55	;;	// (f55, f71) = (f63, f71) $ (c5, c6), (line 6, 7)	fpma    f55 = f71, c5, f63	fpnma   f71 = f71, c6, f63	;;	;;	// (f63, f75) = (f50, f75) $ (c7, c7), (line 0, 3)	fpma    f63 = f75, c7, f50	fpnma   f75 = f75, c7, f50	;;	// (f50, f51) = (f67, f51) $ (c8, c8), (line 1, 2)	fpma    f50 = f51, c8, f67	fpnma   f51 = f51, c8, f67	;;	// (f67, f55) = (f59, f55) $ (c9, c9), (line 4, 6)	fpma    f67 = f55, c9, f59	fpnma   f55 = f55, c9, f59	;;	// (f59, f71) = (f79, f71) $ (c10, c10), (line 5, 7)	fpma    f59 = f71, c10, f79	fpnma   f71 = f71, c10, f79	;;	;;	// (f79, f55) = (f59, f55) $ (c11, c11), (line 5, 6)	fpma    f79 = f55, c11, f59	fpnma   f55 = f55, c11, f59	;;	// (f59, f67) = (f63, f67) $ (c12, c12), (line 0, 4)	fpma    f59 = f67, c12, f63	fpnma   f67 = f67, c12, f63	;;	// (f63, f71) = (f75, f71) $ (c14, c14), (line 3, 7)	fpma    f63 = f71, c14, f75	fpnma   f71 = f71, c14, f75	;;	;;	// (f75, f79) = (f50, f79) $ (c13, c13), (line 1, 5)	fpma    f75 = f79, c13, f50	fpnma   f79 = f79, c13, f50	;;	// (f50, f55) = (f51, f55) $ (c13, c13), (line 2, 6)	fpma    f50 = f55, c13, f51	fpnma   f55 = f55, c13, f51	;;	// before post shuffle	//  56 57 58 59 	//  72 73 74 75 	//  52 53 54 50 	//  60 61 62 63 	//  68 69 70 67 	//  80 48 49 79 	//  76 77 78 55 	//  64 65 66 71 	// after post shuffle	//  56 57 58 59 	//  72 73 74 75 	//  52 53 54 55 	//  60 61 62 63 	//  68 69 70 71 	//  80 48 49 50 	//  76 77 78 79 	//  64 65 66 67 	;;	fmix.r  f51 = f56, f72	fmix.r  f81 = f57, f73	fmix.r  f82 = f58, f74	fmix.r  f83 = f59, f75	fmix.r  f84 = f52, f60	fmix.r  f85 = f53, f61	fmix.r  f86 = f54, f62	fmix.r  f87 = f55, f63	fmix.r  f88 = f68, f80	fmix.r  f89 = f69, f48	fmix.r  f90 = f70, f49	fmix.r  f91 = f71, f50	fmix.r  f92 = f76, f64	fmix.r  f93 = f77, f65	fmix.r  f94 = f78, f66	fmix.r  f95 = f79, f67	;;	fmix.l  f56 = f56, f72	fmix.l  f57 = f57, f73	fmix.l  f58 = f58, f74	fmix.l  f59 = f59, f75	fmix.l  f52 = f52, f60	fmix.l  f53 = f53, f61	fmix.l  f54 = f54, f62	fmix.l  f55 = f55, f63	fmix.l  f68 = f68, f80	fmix.l  f69 = f69, f48	fmix.l  f70 = f70, f49	fmix.l  f71 = f71, f50	fmix.l  f76 = f76, f64	fmix.l  f77 = f77, f65	fmix.l  f78 = f78, f66	fmix.l  f79 = f79, f67	;;	fpma    f56 = f56, c0, f0	fpma    f52 = f52, c0, f0	fpma    f68 = f68, c0, f0	fpma    f76 = f76, c0, f0	;;	// before pre shuffle	//  56 52 68 76 	//  51 84 88 92 	//  57 53 69 77 	//  81 85 89 93 	//  58 54 70 78 	//  82 86 90 94 	//  59 55 71 79 	//  83 87 91 95 	// after pre shuffle	//  56 52 68 76 	//  58 84 88 92 	//  57 53 69 77 	//  59 85 89 93 	//  51 54 70 78 	//  83 86 90 94 	//  81 55 71 79 	//  82 87 91 95 	// (f48, f58) = (f56, f58) $ (c0, c0), (line 0, 1)	fpma    f48 = f58, c0, f56	fpnma   f58 = f58, c0, f56	;;	// (f49, f59) = (f57, f59) $ (c1, c2), (line 2, 3)	fpma    f49 = f59, c1, f57	fpnma   f59 = f59, c2, f57	;;	// (f50, f83) = (f51, f83) $ (c3, c4), (line 4, 5)	fpma    f50 = f83, c3, f51	fpnma   f83 = f83, c4, f51	;;	// (f51, f82) = (f81, f82) $ (c5, c6), (line 6, 7)	fpma    f51 = f82, c5, f81	fpnma   f82 = f82, c6, f81	;;	;;	// (f56, f59) = (f48, f59) $ (c7, c7), (line 0, 3)	fpma    f56 = f59, c7, f48	fpnma   f59 = f59, c7, f48	;;	// (f48, f49) = (f58, f49) $ (c8, c8), (line 1, 2)	fpma    f48 = f49, c8, f58	fpnma   f49 = f49, c8, f58	;;	// (f57, f51) = (f50, f51) $ (c9, c9), (line 4, 6)	fpma    f57 = f51, c9, f50	fpnma   f51 = f51, c9, f50	;;	// (f50, f82) = (f83, f82) $ (c10, c10), (line 5, 7)	fpma    f50 = f82, c10, f83	fpnma   f82 = f82, c10, f83	;;	;;	// (f58, f51) = (f50, f51) $ (c11, c11), (line 5, 6)	fpma    f58 = f51, c11, f50	fpnma   f51 = f51, c11, f50	;;	// (f50, f57) = (f56, f57) $ (c12, c12), (line 0, 4)	fpma    f50 = f57, c12, f56	fpnma   f57 = f57, c12, f56	;;	// (f56, f82) = (f59, f82) $ (c14, c14), (line 3, 7)	fpma    f56 = f82, c14, f59	fpnma   f82 = f82, c14, f59	;;	;;	// (f59, f58) = (f48, f58) $ (c13, c13), (line 1, 5)	fpma    f59 = f58, c13, f48	fpnma   f58 = f58, c13, f48	;;	// (f48, f51) = (f49, f51) $ (c13, c13), (line 2, 6)	fpma    f48 = f51, c13, f49	fpnma   f51 = f51, c13, f49	;;	// before post shuffle	//  50 52 68 76 	//  59 84 88 92 	//  48 53 69 77 	//  56 85 89 93 	//  57 54 70 78 	//  58 86 90 94 	//  51 55 71 79 	//  82 87 91 95 	// after post shuffle	//  50 52 68 76 	//  59 84 88 92 	//  51 53 69 77 	//  56 85 89 93 	//  82 54 70 78 	//  48 86 90 94 	//  58 55 71 79 	//  57 87 91 95 	// before pre shuffle	//  50 52 68 76 	//  59 84 88 92 	//  51 53 69 77 	//  56 85 89 93 	//  82 54 70 78 	//  48 86 90 94 	//  58 55 71 79 	//  57 87 91 95 	// after pre shuffle	//  50 52 68 76 	//  59 54 88 92 	//  51 53 69 77 	//  56 55 89 93 	//  82 84 70 78 	//  48 87 90 94 	//  58 85 71 79 	//  57 86 91 95 	// (f49, f54) = (f52, f54) $ (c0, c0), (line 0, 1)	fpma    f49 = f54, c0, f52	fpnma   f54 = f54, c0, f52	;;	// (f52, f55) = (f53, f55) $ (c1, c2), (line 2, 3)	fpma    f52 = f55, c1, f53	fpnma   f55 = f55, c2, f53	;;	// (f53, f87) = (f84, f87) $ (c3, c4), (line 4, 5)	fpma    f53 = f87, c3, f84	fpnma   f87 = f87, c4, f84	;;	// (f60, f86) = (f85, f86) $ (c5, c6), (line 6, 7)	fpma    f60 = f86, c5, f85	fpnma   f86 = f86, c6, f85	;;	;;	// (f61, f55) = (f49, f55) $ (c7, c7), (line 0, 3)	fpma    f61 = f55, c7, f49	fpnma   f55 = f55, c7, f49	;;	// (f49, f52) = (f54, f52) $ (c8, c8), (line 1, 2)	fpma    f49 = f52, c8, f54	fpnma   f52 = f52, c8, f54	;;	// (f54, f60) = (f53, f60) $ (c9, c9), (line 4, 6)	fpma    f54 = f60, c9, f53	fpnma   f60 = f60, c9, f53	;;	// (f53, f86) = (f87, f86) $ (c10, c10), (line 5, 7)	fpma    f53 = f86, c10, f87	fpnma   f86 = f86, c10, f87	;;	;;	// (f62, f60) = (f53, f60) $ (c11, c11), (line 5, 6)	fpma    f62 = f60, c11, f53	fpnma   f60 = f60, c11, f53	;;	// (f53, f54) = (f61, f54) $ (c12, c12), (line 0, 4)	fpma    f53 = f54, c12, f61	fpnma   f54 = f54, c12, f61	;;	// (f61, f86) = (f55, f86) $ (c14, c14), (line 3, 7)