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