#Saved by TextAttributes.java at: Thu Jun 01 11:30:51 EDT 2017
#Thu Jun 01 11:30:51 EDT 2017
name=A1 (3+1)
