[n, m, l] -> { (((192 * n + -3 * n * m) * l * floor((m)/128) + 192 * n * l * floor((m)/128)^2) + (192 * n + 3 * n * m) * l * floor((127 + m)/128) + -192 * n * l * floor((127 + m)/128)^2) : n >= 1 and m >= 1 and l >= 1 }
[n, m, l] -> { ... }
<BLANKLINE>
<BLANKLINE>
(dtype('float32'), 'consecutive', 'store') :
(dtype('float32'), 'consecutive', 'store') :
[n, m, l] -> { (((64 * n + -n * m) * l * floor((m)/128) + 64 * n * l * floor((m)/128)^2) + (64 * n + n * m) * l * floor((127 + m)/128) + -64 * n * l * floor((127 + m)/128)^2) : n >= 1 and m >= 1 and l >= 1 }
[n, m, l] -> { ... }
<BLANKLINE>
<BLANKLINE>
(dtype('float64'), 'consecutive', 'load') :
(dtype('float64'), 'consecutive', 'load') :
[n, m, l] -> { 2 * n * m : n >= 1 and m >= 1 and l >= 1 }
[n, m, l] -> { 2 * n * m : n >= 1 and m >= 1 and l >= 1 }