17ec681f3Smrgpln(8) g124<1>F g4<0,1,0>F g2<8,8,1>F { align1 1Q }; 27ec681f3Smrgpln(16) g120<1>F g6<0,1,0>F g2<8,8,1>F { align1 1H }; 37ec681f3Smrgpln.sat(8) g9<1>F g5<0,1,0>F g2<8,8,1>F { align1 1Q }; 47ec681f3Smrgpln.sat(16) g12<1>F g7<0,1,0>F g2<8,8,1>F { align1 1H }; 57ec681f3Smrgpln.g.f0.0(8) g7<1>F g4<0,1,0>F g2<8,8,1>F { align1 1Q }; 67ec681f3Smrgpln.g.f0.0(16) g11<1>F g6<0,1,0>F g2<8,8,1>F { align1 1H }; 77ec681f3Smrgpln.l.f0.0(8) g8<1>F g4<0,1,0>F g2<8,8,1>F { align1 1Q }; 87ec681f3Smrgpln.l.f0.0(16) g11<1>F g6<0,1,0>F g2<8,8,1>F { align1 1H }; 97ec681f3Smrgpln.nz.f0.0(8) g18<1>F g5<0,1,0>F g2<8,8,1>F { align1 1Q }; 107ec681f3Smrgpln.nz.f0.0(16) g14<1>F g7<0,1,0>F g2<8,8,1>F { align1 1H }; 11