alu proof nef.5671.058

alu proof nef.5671.058