1pln(8) g124<1>F g4<0,1,0>F g2<8,8,1>F { align1 1Q }; 2pln(16) g120<1>F g6<0,1,0>F g2<8,8,1>F { align1 1H }; 3pln.sat(8) g9<1>F g5<0,1,0>F g2<8,8,1>F { align1 1Q }; 4pln.sat(16) g12<1>F g7<0,1,0>F g2<8,8,1>F { align1 1H }; 5pln.g.f0.0(8) g7<1>F g4<0,1,0>F g2<8,8,1>F { align1 1Q }; 6pln.g.f0.0(16) g11<1>F g6<0,1,0>F g2<8,8,1>F { align1 1H }; 7pln.l.f0.0(8) g8<1>F g4<0,1,0>F g2<8,8,1>F { align1 1Q }; 8pln.l.f0.0(16) g11<1>F g6<0,1,0>F g2<8,8,1>F { align1 1H }; 9pln.nz.f0.0(8) g18<1>F g5<0,1,0>F g2<8,8,1>F { align1 1Q }; 10pln.nz.f0.0(16) g14<1>F g7<0,1,0>F g2<8,8,1>F { align1 1H }; 11