c(32,32,16)c(32,40,20)+
t(40,16,12)s(8,16,8)+
t(16,16,12)t(24,32,20)+
t(24,48,8)s(32,32,16)+
t(16,16,12)s(32,40,20)+
t(32,32,16)s(16,16,12)+
t(24,32,20)s(24,48,8)+
t(16,16,12)s(24,40,16)+
t(24,40,16)s(24,48,8)+
t(24,48,8)s(16,16,12)+
c(48,16,8)t(32,40,20)+
c(32,32,16)s(8,16,8)+
t(32,32,16)s(32,40,20)+
c(24,48,8)c(32,32,16)+
s(16,16,12)s(32,40,20)+
c(40,16,12)s(16,16,12)+
c(32,40,20)s(32,40,20)+
c(16,16,12)s(8,16,8)+
s(8,16,8)s(24,48,8)+
c(40,16,12)t(32,40,20)+
c(16,16,12)c(32,40,20)+
c(32,32,16)t(24,32,20)+
t(8,16,8)s(24,40,16)+
t(24,48,8)s(24,48,8)+
c(16,16,12)t(32,32,16)+
c(32,32,16)t(32,32,16)+
c(24,48,8)s(24,48,8)+
s(16,16,12)s(40,16,12)+
c(8,16,8)s(32,32,16)+
c(8,16,8)s(24,48,8)+
c(8,16,8)s(24,32,20)+
c(16,16,12)t(24,40,16)+
c(24,40,16)s(16,16,12)+
c(24,32,20)s(24,32,20)+
t(32,32,16)s(24,40,16)+
c(24,48,8)t(48,16,8)+
c(24,32,20)c(32,32,16)+
c(16,16,12)s(40,16,12)+
s(8,16,8)s(24,40,16)+
c(48,16,8)t(32,32,16)+
c(8,16,8)s(24,40,16)+
c(48,16,8)s(48,16,8)+
s(24,48,8)s(32,40,20)+
t(24,32,20)s(48,16,8)+
c(16,16,12)c(32,32,16)+
c(32,32,16)t(48,16,8)+
s(24,48,8)s(32,32,16)+
c(48,16,8)s(16,16,12)+
t(24,48,8)s(24,32,20)+
c(32,40,20)t(8,16,8)+
c(24,32,20)s(16,16,12)+
c(8,16,8)t(32,32,16)+
t(24,32,20)t(32,40,20)+
c(40,16,12)t(16,16,12)+
t(48,16,8)s(32,40,20)+
c(8,16,8)t(16,16,12)+
c(24,32,20)s(40,16,12)+
t(48,16,8)s(24,48,8)+
c(32,40,20)t(32,32,16)+
t(32,40,20)s(40,16,12)+
c(24,32,20)s(48,16,8)+
t(24,48,8)t(24,40,16)+
c(48,16,8)t(24,40,16)+
t(24,48,8)s(24,40,16)+
c(32,32,16)t(16,16,12)+
c(24,48,8)t(32,40,20)+
c(16,16,12)c(24,48,8)+
c(24,48,8)c(32,40,20)+
c(8,16,8)t(24,32,20)+
t(16,16,12)t(48,16,8)+
t(48,16,8)s(8,16,8)+
c(16,16,12)c(40,16,12)+
t(16,16,12)t(24,48,8)+
c(24,40,16)s(24,40,16)+
c(8,16,8)s(16,16,12)+
c(32,32,16)c(48,16,8)+
t(24,32,20)s(32,40,20)+
t(24,32,20)s(40,16,12)+
c(32,40,20)s(24,32,20)+
t(24,40,16)s(16,16,12)+
c(48,16,8)t(40,16,12)+
c(24,48,8)t(24,32,20)+
c(40,16,12)t(40,16,12)+
c(40,16,12)c(48,16,8)+
t(24,48,8)t(24,32,20)+
c(32,40,20)s(40,16,12)+
c(8,16,8)s(8,16,8)+
c(40,16,12)s(24,32,20)+
c(32,40,20)t(24,32,20)+
c(24,48,8)s(40,16,12)+
t(8,16,8)t(16,16,12)+
c(8,16,8)t(32,40,20)+
c(32,40,20)t(24,40,16)+
t(40,16,12)t(24,48,8)+
t(16,16,12)s(8,16,8)+
c(48,16,8)t(8,16,8)+
c(24,40,16)t(16,16,12)+
t(32,40,20)s(8,16,8)+
c(24,40,16)t(24,48,8)+
s(24,32,20)s(48,16,8)+
s(8,16,8)s(32,40,20)+
t(32,32,16)t(24,40,16)+
t(32,32,16)t(48,16,8)+
s(40,16,12)s(32,40,20)+
t(24,48,8)t(32,32,16)+
c(48,16,8)s(32,32,16)+
c(16,16,12)s(24,32,20)+
t(8,16,8)s(40,16,12)+
t(40,16,12)s(16,16,12)+
t(32,32,16)t(32,40,20)+
s(40,16,12)s(32,32,16)+
t(24,40,16)s(40,16,12)+
s(16,16,12)s(32,32,16)+
t(16,16,12)s(24,48,8)+
c(24,32,20)t(48,16,8)+
c(48,16,8)t(16,16,12)+
c(8,16,8)t(24,40,16)+
s(24,48,8)s(24,32,20)+
t(24,48,8)s(40,16,12)+
s(32,32,16)s(48,16,8)+
t(8,16,8)t(24,40,16)+
t(40,16,12)s(24,40,16)+
c(48,16,8)c(24,40,16)+
c(8,16,8)c(24,40,16)+
s(24,32,20)s(24,40,16)+
c(24,48,8)s(48,16,8)+
c(32,32,16)t(32,40,20)+
c(24,32,20)t(24,32,20)+
c(24,40,16)t(24,40,16)+
t(24,48,8)t(48,16,8)+
c(40,16,12)s(40,16,12)+
c(40,16,12)s(48,16,8)+
t(16,16,12)t(40,16,12)+
c(48,16,8)s(24,40,16)+
s(40,16,12)s(24,40,16)+
c(32,40,20)s(24,48,8)+
t(8,16,8)s(8,16,8)+
t(16,16,12)s(40,16,12)+
c(40,16,12)t(24,32,20)+
t(8,16,8)s(16,16,12)+
c(40,16,12)s(32,32,16)+
c(24,48,8)t(40,16,12)+
c(24,32,20)t(32,40,20)+
c(24,32,20)c(24,40,16)+
t(24,40,16)s(48,16,8)+
c(24,40,16)t(48,16,8)+
c(32,32,16)s(24,40,16)+
t(48,16,8)s(40,16,12)+
t(32,32,16)s(8,16,8)+
c(40,16,12)c(32,40,20)+
t(48,16,8)s(24,40,16)+
t(32,40,20)s(48,16,8)+
c(32,40,20)c(48,16,8)+
t(24,40,16)s(24,40,16)+
c(40,16,12)t(24,48,8)+
s(24,48,8)s(48,16,8)+
c(32,32,16)s(40,16,12)+
c(24,32,20)t(24,40,16)+
c(32,32,16)s(24,48,8)+
t(40,16,12)t(24,40,16)+
c(32,32,16)c(24,40,16)+
c(16,16,12)t(8,16,8)+
c(16,16,12)c(24,40,16)+
t(32,40,20)s(24,48,8)+
c(32,32,16)t(40,16,12)+
t(40,16,12)t(48,16,8)+
c(32,40,20)c(24,40,16)+
c(24,48,8)t(32,32,16)+
c(40,16,12)t(8,16,8)+
s(40,16,12)s(24,48,8)+
c(32,40,20)t(16,16,12)+
t(48,16,8)s(24,32,20)+
c(40,16,12)t(32,32,16)+
s(24,32,20)s(32,32,16)+
t(24,48,8)t(32,40,20)+
c(8,16,8)s(48,16,8)+
t(32,40,20)s(32,40,20)+
s(8,16,8)s(32,32,16)+
c(40,16,12)s(8,16,8)+
t(32,40,20)s(16,16,12)+
t(8,16,8)s(24,32,20)+
c(8,16,8)c(24,32,20)+
t(24,32,20)s(24,32,20)+
c(48,16,8)s(8,16,8)+
t(24,48,8)s(48,16,8)+
s(8,16,8)s(40,16,12)+
c(24,48,8)s(24,32,20)+
c(16,16,12)c(48,16,8)+
c(40,16,12)s(32,40,20)+
t(32,32,16)s(32,32,16)+
c(24,48,8)s(32,32,16)+
s(24,48,8)s(24,40,16)+
c(24,48,8)s(32,40,20)+
c(24,48,8)s(24,40,16)+
s(32,32,16)s(24,40,16)+
s(8,16,8)s(24,32,20)+
c(8,16,8)t(40,16,12)+
c(24,32,20)c(32,40,20)+
c(48,16,8)s(32,40,20)+
c(48,16,8)t(24,48,8)+
s(40,16,12)s(24,32,20)+
c(32,32,16)t(24,48,8)+
c(24,48,8)t(8,16,8)+
t(8,16,8)s(24,48,8)+
s(8,16,8)s(48,16,8)+
t(24,40,16)s(8,16,8)+
c(24,32,20)t(32,32,16)+
t(32,32,16)s(40,16,12)+
s(16,16,12)s(24,32,20)+
t(8,16,8)t(32,32,16)+
c(40,16,12)c(24,48,8)+
t(8,16,8)t(40,16,12)+
c(8,16,8)t(24,48,8)+
t(40,16,12)s(32,40,20)+
c(24,32,20)s(8,16,8)+
t(32,40,20)s(32,32,16)+
t(48,16,8)s(48,16,8)+
t(40,16,12)s(48,16,8)+
c(32,40,20)s(32,32,16)+
c(8,16,8)c(16,16,12)+
c(24,32,20)s(24,40,16)+
c(48,16,8)s(24,48,8)+
c(24,32,20)s(32,40,20)+
c(32,32,16)s(32,40,20)+
c(24,40,16)s(48,16,8)+
t(24,32,20)s(32,32,16)+
c(16,16,12)c(24,32,20)+
c(16,16,12)t(16,16,12)+
c(8,16,8)c(32,32,16)+
c(24,48,8)s(8,16,8)+
t(40,16,12)t(32,40,20)+
t(8,16,8)s(48,16,8)+
t(24,48,8)s(32,40,20)+
c(32,40,20)t(32,40,20)+
c(8,16,8)s(32,40,20)+
t(8,16,8)t(32,40,20)+
c(24,40,16)s(32,32,16)+
c(32,32,16)t(8,16,8)+
c(24,48,8)t(16,16,12)+
c(40,16,12)s(24,40,16)+
c(16,16,12)t(24,32,20)+
c(24,32,20)s(24,48,8)+
t(16,16,12)t(32,40,20)+
t(40,16,12)s(32,32,16)+
t(48,16,8)t(24,40,16)+
t(32,32,16)s(24,48,8)+
t(40,16,12)t(24,32,20)+
c(24,32,20)c(48,16,8)+
t(8,16,8)s(32,40,20)+
s(16,16,12)s(48,16,8)+
c(16,16,12)s(48,16,8)+
c(48,16,8)t(48,16,8)+
c(24,32,20)t(8,16,8)+
c(16,16,12)s(32,40,20)+
s(16,16,12)s(24,40,16)+
c(16,16,12)s(32,32,16)+
c(24,40,16)t(32,40,20)+
t(40,16,12)s(24,32,20)+
t(48,16,8)s(16,16,12)+
c(8,16,8)t(48,16,8)+
c(8,16,8)c(48,16,8)+
c(32,32,16)s(16,16,12)+
c(40,16,12)t(48,16,8)+
t(24,32,20)t(24,40,16)+
c(24,48,8)s(16,16,12)+
c(16,16,12)t(32,40,20)+
c(24,40,16)s(8,16,8)+
c(24,40,16)s(32,40,20)+
t(24,32,20)t(48,16,8)+
t(8,16,8)s(32,32,16)+
c(48,16,8)s(40,16,12)+
t(16,16,12)s(24,32,20)+
c(16,16,12)s(24,48,8)+
c(32,40,20)t(40,16,12)+
c(24,40,16)t(32,32,16)+
c(32,40,20)s(48,16,8)+
c(8,16,8)c(40,16,12)+
t(32,32,16)s(24,32,20)+
t(24,48,8)s(8,16,8)+
t(8,16,8)t(48,16,8)+
c(24,48,8)c(48,16,8)+
c(16,16,12)t(40,16,12)+
c(16,16,12)t(24,48,8)+
t(48,16,8)s(32,32,16)+
c(24,32,20)s(32,32,16)+
t(40,16,12)t(32,32,16)+
t(24,32,20)s(8,16,8)+
s(16,16,12)s(24,48,8)+
t(16,16,12)s(32,32,16)+
t(40,16,12)s(40,16,12)+
c(40,16,12)c(32,32,16)+
t(40,16,12)s(24,48,8)+
c(40,16,12)c(24,40,16)+
c(16,16,12)s(24,40,16)+
t(24,40,16)s(32,32,16)+
t(16,16,12)s(16,16,12)+
c(32,40,20)s(8,16,8)+
c(16,16,12)s(16,16,12)+
c(24,48,8)t(24,40,16)+
c(8,16,8)s(40,16,12)+
c(40,16,12)s(24,48,8)+
t(24,40,16)s(24,32,20)+
c(8,16,8)c(32,40,20)+
t(32,40,20)t(48,16,8)+
c(24,32,20)t(40,16,12)+
c(32,32,16)t(24,40,16)+
c(24,32,20)t(16,16,12)+
t(24,32,20)s(24,40,16)+
c(32,40,20)t(24,48,8)+
c(24,40,16)t(40,16,12)+
c(40,16,12)c(24,32,20)+
c(32,32,16)s(24,32,20)+
s(32,40,20)s(48,16,8)+
t(32,40,20)s(24,32,20)+
t(32,40,20)s(24,40,16)+
c(32,40,20)s(16,16,12)+
c(24,48,8)t(24,48,8)+
c(8,16,8)c(24,48,8)+
t(24,40,16)s(32,40,20)+
c(24,40,16)s(24,32,20)+
c(24,40,16)t(8,16,8)+
c(32,40,20)t(48,16,8)+
c(24,40,16)s(24,48,8)+
s(48,16,8)s(24,40,16)+
c(24,48,8)c(24,32,20)+
c(24,40,16)s(40,16,12)+
s(32,40,20)s(24,40,16)+
s(24,32,20)s(32,40,20)+
t(8,16,8)t(24,48,8)+
c(48,16,8)t(24,32,20)+
s(32,32,16)s(32,40,20)+
c(40,16,12)t(24,40,16)+
t(16,16,12)t(32,32,16)+
c(32,32,16)s(48,16,8)+
c(24,32,20)t(24,48,8)+
s(8,16,8)s(16,16,12)+
c(48,16,8)s(24,32,20)+
c(32,40,20)s(24,40,16)+
c(8,16,8)t(8,16,8)+
t(8,16,8)t(24,32,20)+
c(32,32,16)s(32,32,16)+
t(32,32,16)s(48,16,8)+
t(16,16,12)t(24,40,16)+
t(16,16,12)s(48,16,8)+
t(32,40,20)t(24,40,16)+
c(24,48,8)c(24,40,16)+
t(24,32,20)t(32,32,16)+
c(16,16,12)t(48,16,8)+
c(24,40,16)t(24,32,20)+
t(24,32,20)s(16,16,12)+
s(40,16,12)s(48,16,8)+
