{
u000 => u000,
u001 => u001,
u010 => u010,
u011 => u011,
u100 => u100,
u101 => u101,
u110 => u110,
u111 => u111,
x000 => x000,
x001 => x001,
x010 => x010,
x011 => x011,
x100 => x100,
x101 => x101,
x110 => x110,
x111 => x111,
},
{
u000 => 4*u000 + 4*u001 + (4*I)*u010 + (-4*I)*u011,
u001 => 4*u000 + 4*u001 + (-4*I)*u010 + (4*I)*u011,
u010 => (4*I)*u000 + (-4*I)*u001 + 4*u010 + 4*u011,
u011 => (-4*I)*u000 + (4*I)*u001 + 4*u010 + 4*u011,
u100 => 4*u100 + 4*u101 + (4*I)*u110 + (-4*I)*u111,
u101 => 4*u100 + 4*u101 + (-4*I)*u110 + (4*I)*u111,
u110 => (4*I)*u100 + (-4*I)*u101 + 4*u110 + 4*u111,
u111 => (-4*I)*u100 + (4*I)*u101 + 4*u110 + 4*u111,
x000 => 4*x000 + 4*x001 + (4*I)*x010 + (-4*I)*x011,
x001 => 4*x000 + 4*x001 + (-4*I)*x010 + (4*I)*x011,
x010 => (4*I)*x000 + (-4*I)*x001 + 4*x010 + 4*x011,
x011 => (-4*I)*x000 + (4*I)*x001 + 4*x010 + 4*x011,
x100 => 4*x100 + 4*x101 + (4*I)*x110 + (-4*I)*x111,
x101 => 4*x100 + 4*x101 + (-4*I)*x110 + (4*I)*x111,
x110 => (4*I)*x100 + (-4*I)*x101 + 4*x110 + 4*x111,
x111 => (-4*I)*x100 + (4*I)*x101 + 4*x110 + 4*x111,
},
{
u000 => 4*u000 + (4*I)*u001 + (4*I)*u010 - 4*u011,
u001 => 4*u000 + (4*I)*u001 + (-4*I)*u010 + 4*u011,
u010 => (4*I)*u000 + 4*u001 + 4*u010 + (-4*I)*u011,
u011 => (-4*I)*u000 - 4*u001 + 4*u010 + (-4*I)*u011,
u100 => 4*u100 + (4*I)*u101 + (4*I)*u110 - 4*u111,
u101 => 4*u100 + (4*I)*u101 + (-4*I)*u110 + 4*u111,
u110 => (4*I)*u100 + 4*u101 + 4*u110 + (-4*I)*u111,
u111 => (-4*I)*u100 - 4*u101 + 4*u110 + (-4*I)*u111,
x000 => 4*x000 + (4*I)*x001 + (4*I)*x010 - 4*x011,
x001 => 4*x000 + (4*I)*x001 + (-4*I)*x010 + 4*x011,
x010 => (4*I)*x000 + 4*x001 + 4*x010 + (-4*I)*x011,
x011 => (-4*I)*x000 - 4*x001 + 4*x010 + (-4*I)*x011,
x100 => 4*x100 + (4*I)*x101 + (4*I)*x110 - 4*x111,
x101 => 4*x100 + (4*I)*x101 + (-4*I)*x110 + 4*x111,
x110 => (4*I)*x100 + 4*x101 + 4*x110 + (-4*I)*x111,
x111 => (-4*I)*x100 - 4*x101 + 4*x110 + (-4*I)*x111,
},
{
u000 => (32*I)*u000 + 32*u001 + (32*I)*u010 - 32*u011,
u001 => 32*u000 + (32*I)*u001 + 32*u010 + (-32*I)*u011,
u010 => (32*I)*u000 + 32*u001 + (-32*I)*u010 + 32*u011,
u011 => -32*u000 + (-32*I)*u001 + 32*u010 + (-32*I)*u011,
u100 => (32*I)*u100 + 32*u101 + (32*I)*u110 - 32*u111,
u101 => 32*u100 + (32*I)*u101 + 32*u110 + (-32*I)*u111,
u110 => (32*I)*u100 + 32*u101 + (-32*I)*u110 + 32*u111,
u111 => -32*u100 + (-32*I)*u101 + 32*u110 + (-32*I)*u111,
x000 => (32*I)*x000 + 32*x001 + (32*I)*x010 - 32*x011,
x001 => 32*x000 + (32*I)*x001 + 32*x010 + (-32*I)*x011,
x010 => (32*I)*x000 + 32*x001 + (-32*I)*x010 + 32*x011,
x011 => -32*x000 + (-32*I)*x001 + 32*x010 + (-32*I)*x011,
x100 => (32*I)*x100 + 32*x101 + (32*I)*x110 - 32*x111,
x101 => 32*x100 + (32*I)*x101 + 32*x110 + (-32*I)*x111,
x110 => (32*I)*x100 + 32*x101 + (-32*I)*x110 + 32*x111,
x111 => -32*x100 + (-32*I)*x101 + 32*x110 + (-32*I)*x111,
},
{
u000 => 32*u000 + (-32*I)*u001 + 32*u010 + (32*I)*u011,
u001 => (-32*I)*u000 + 32*u001 + (32*I)*u010 + 32*u011,
u010 => 32*u000 + (32*I)*u001 + 32*u010 + (-32*I)*u011,
u011 => (32*I)*u000 + 32*u001 + (-32*I)*u010 + 32*u011,
u100 => -32*u100 + (32*I)*u101 + 32*u110 + (32*I)*u111,
u101 => (32*I)*u100 - 32*u101 + (32*I)*u110 + 32*u111,
u110 => 32*u100 + (32*I)*u101 - 32*u110 + (32*I)*u111,
u111 => (32*I)*u100 + 32*u101 + (32*I)*u110 - 32*u111,
x000 => 32*x000 + (-32*I)*x001 + 32*x010 + (32*I)*x011,
x001 => (-32*I)*x000 + 32*x001 + (32*I)*x010 + 32*x011,
x010 => 32*x000 + (32*I)*x001 + 32*x010 + (-32*I)*x011,
x011 => (32*I)*x000 + 32*x001 + (-32*I)*x010 + 32*x011,
x100 => -32*x100 + (32*I)*x101 + 32*x110 + (32*I)*x111,
x101 => (32*I)*x100 - 32*x101 + (32*I)*x110 + 32*x111,
x110 => 32*x100 + (32*I)*x101 - 32*x110 + (32*I)*x111,
x111 => (32*I)*x100 + 32*x101 + (32*I)*x110 - 32*x111,
},
{
u000 => 32*u000 + (-32*I)*u001 + (32*I)*u010 + 32*u011,
u001 => (-32*I)*u000 + 32*u001 + 32*u010 + (32*I)*u011,
u010 => (32*I)*u000 + 32*u001 + 32*u010 + (-32*I)*u011,
u011 => 32*u000 + (32*I)*u001 + (-32*I)*u010 + 32*u011,
u100 => (32*I)*u100 - 32*u101 + 32*u110 + (32*I)*u111,
u101 => -32*u100 + (32*I)*u101 + (32*I)*u110 + 32*u111,
u110 => 32*u100 + (32*I)*u101 + (32*I)*u110 - 32*u111,
u111 => (32*I)*u100 + 32*u101 - 32*u110 + (32*I)*u111,
x000 => 32*x000 + (-32*I)*x001 + (32*I)*x010 + 32*x011,
x001 => (-32*I)*x000 + 32*x001 + 32*x010 + (32*I)*x011,
x010 => (32*I)*x000 + 32*x001 + 32*x010 + (-32*I)*x011,
x011 => 32*x000 + (32*I)*x001 + (-32*I)*x010 + 32*x011,
x100 => (32*I)*x100 - 32*x101 + 32*x110 + (32*I)*x111,
x101 => -32*x100 + (32*I)*x101 + (32*I)*x110 + 32*x111,
x110 => 32*x100 + (32*I)*x101 + (32*I)*x110 - 32*x111,
x111 => (32*I)*x100 + 32*x101 - 32*x110 + (32*I)*x111,
},
{
u000 => (32*I)*u000 + (32*I)*u001 + (32*I)*u010 + (32*I)*u011,
u001 => 32*u000 - 32*u001 + 32*u010 - 32*u011,
u010 => (32*I)*u000 + (32*I)*u001 + (-32*I)*u010 + (-32*I)*u011,
u011 => -32*u000 + 32*u001 + 32*u010 - 32*u011,
u100 => (32*I)*u100 + (32*I)*u101 + (32*I)*u110 + (32*I)*u111,
u101 => 32*u100 - 32*u101 + 32*u110 - 32*u111,
u110 => (32*I)*u100 + (32*I)*u101 + (-32*I)*u110 + (-32*I)*u111,
u111 => -32*u100 + 32*u101 + 32*u110 - 32*u111,
x000 => (32*I)*x000 + (32*I)*x001 + (32*I)*x010 + (32*I)*x011,
x001 => 32*x000 - 32*x001 + 32*x010 - 32*x011,
x010 => (32*I)*x000 + (32*I)*x001 + (-32*I)*x010 + (-32*I)*x011,
x011 => -32*x000 + 32*x001 + 32*x010 - 32*x011,
x100 => (32*I)*x100 + (32*I)*x101 + (32*I)*x110 + (32*I)*x111,
x101 => 32*x100 - 32*x101 + 32*x110 - 32*x111,
x110 => (32*I)*x100 + (32*I)*x101 + (-32*I)*x110 + (-32*I)*x111,
x111 => -32*x100 + 32*x101 + 32*x110 - 32*x111,
},
{
u000 => (32*I)*u000 + 32*u001 - 32*u010 + (-32*I)*u011,
u001 => 32*u000 + (32*I)*u001 + (32*I)*u010 + 32*u011,
u010 => (32*I)*u000 + 32*u001 + 32*u010 + (32*I)*u011,
u011 => -32*u000 + (-32*I)*u001 + (32*I)*u010 + 32*u011,
u100 => (32*I)*u100 + 32*u101 + 32*u110 + (32*I)*u111,
u101 => 32*u100 + (32*I)*u101 + (-32*I)*u110 - 32*u111,
u110 => (32*I)*u100 + 32*u101 - 32*u110 + (-32*I)*u111,
u111 => -32*u100 + (-32*I)*u101 + (-32*I)*u110 - 32*u111,
x000 => (32*I)*x000 + 32*x001 - 32*x010 + (-32*I)*x011,
x001 => 32*x000 + (32*I)*x001 + (32*I)*x010 + 32*x011,
x010 => (32*I)*x000 + 32*x001 + 32*x010 + (32*I)*x011,
x011 => -32*x000 + (-32*I)*x001 + (32*I)*x010 + 32*x011,
x100 => (32*I)*x100 + 32*x101 + 32*x110 + (32*I)*x111,
x101 => 32*x100 + (32*I)*x101 + (-32*I)*x110 - 32*x111,
x110 => (32*I)*x100 + 32*x101 - 32*x110 + (-32*I)*x111,
x111 => -32*x100 + (-32*I)*x101 + (-32*I)*x110 - 32*x111,
},
{
u000 => 32*u000 + 32*u001 + 32*u010 + 32*u011,
u001 => (-32*I)*u000 + (32*I)*u001 + (32*I)*u010 + (-32*I)*u011,
u010 => 32*u000 - 32*u001 + 32*u010 - 32*u011,
u011 => (32*I)*u000 + (32*I)*u001 + (-32*I)*u010 + (-32*I)*u011,
u100 => -32*u100 - 32*u101 + 32*u110 + 32*u111,
u101 => (32*I)*u100 + (-32*I)*u101 + (32*I)*u110 + (-32*I)*u111,
u110 => 32*u100 - 32*u101 - 32*u110 + 32*u111,
u111 => (32*I)*u100 + (32*I)*u101 + (32*I)*u110 + (32*I)*u111,
x000 => 32*x000 + 32*x001 + 32*x010 + 32*x011,
x001 => (-32*I)*x000 + (32*I)*x001 + (32*I)*x010 + (-32*I)*x011,
x010 => 32*x000 - 32*x001 + 32*x010 - 32*x011,
x011 => (32*I)*x000 + (32*I)*x001 + (-32*I)*x010 + (-32*I)*x011,
x100 => -32*x100 - 32*x101 + 32*x110 + 32*x111,
x101 => (32*I)*x100 + (-32*I)*x101 + (32*I)*x110 + (-32*I)*x111,
x110 => 32*x100 - 32*x101 - 32*x110 + 32*x111,
x111 => (32*I)*x100 + (32*I)*x101 + (32*I)*x110 + (32*I)*x111,
},
{
u000 => (32*I - 32)*u100 + (32*I + 32)*u101,
u001 => (-32*I + 32)*u110 + (32*I + 32)*u111,
u010 => (32*I - 32)*u110 + (32*I + 32)*u111,
u011 => (-32*I + 32)*u100 + (32*I + 32)*u101,
u100 => (32*I + 32)*u010 + (-32*I + 32)*u011,
u101 => (32*I + 32)*u000 + (32*I - 32)*u001,
u110 => (32*I + 32)*u000 + (-32*I + 32)*u001,
u111 => (32*I + 32)*u010 + (32*I - 32)*u011,
x000 => (32*I - 32)*x100 + (32*I + 32)*x101,
x001 => (-32*I + 32)*x110 + (32*I + 32)*x111,
x010 => (32*I - 32)*x110 + (32*I + 32)*x111,
x011 => (-32*I + 32)*x100 + (32*I + 32)*x101,
x100 => (32*I + 32)*x010 + (-32*I + 32)*x011,
x101 => (32*I + 32)*x000 + (32*I - 32)*x001,
x110 => (32*I + 32)*x000 + (-32*I + 32)*x001,
x111 => (32*I + 32)*x010 + (32*I - 32)*x011,
},
{
u000 => (64*I)*u000 + (-64*I)*u001 + 64*u010 + 64*u011,
u001 => (-64*I)*u000 + (-64*I)*u001 + 64*u010 - 64*u011,
u010 => (64*I)*u000 + (64*I)*u001 + 64*u010 - 64*u011,
u011 => (-64*I)*u000 + (64*I)*u001 + 64*u010 + 64*u011,
u100 => 64*u100 - 64*u101 + (64*I)*u110 + (64*I)*u111,
u101 => -64*u100 - 64*u101 + (64*I)*u110 + (-64*I)*u111,
u110 => -64*u100 - 64*u101 + (-64*I)*u110 + (64*I)*u111,
u111 => 64*u100 - 64*u101 + (-64*I)*u110 + (-64*I)*u111,
x000 => (64*I)*x000 + (-64*I)*x001 + 64*x010 + 64*x011,
x001 => (-64*I)*x000 + (-64*I)*x001 + 64*x010 - 64*x011,
x010 => (64*I)*x000 + (64*I)*x001 + 64*x010 - 64*x011,
x011 => (-64*I)*x000 + (64*I)*x001 + 64*x010 + 64*x011,
x100 => 64*x100 - 64*x101 + (64*I)*x110 + (64*I)*x111,
x101 => -64*x100 - 64*x101 + (64*I)*x110 + (-64*I)*x111,
x110 => -64*x100 - 64*x101 + (-64*I)*x110 + (64*I)*x111,
x111 => 64*x100 - 64*x101 + (-64*I)*x110 + (-64*I)*x111,
},
{
u000 => (32*I - 32)*u100 + (32*I - 32)*u101,
u001 => (-32*I + 32)*u110 + (-32*I + 32)*u111,
u010 => (32*I - 32)*u110 + (-32*I + 32)*u111,
u011 => (-32*I + 32)*u100 + (32*I - 32)*u101,
u100 => (32*I + 32)*u010 + (-32*I - 32)*u011,
u101 => (32*I + 32)*u000 + (-32*I - 32)*u001,
u110 => (32*I + 32)*u000 + (32*I + 32)*u001,
u111 => (32*I + 32)*u010 + (32*I + 32)*u011,
x000 => (32*I - 32)*x100 + (32*I - 32)*x101,
x001 => (-32*I + 32)*x110 + (-32*I + 32)*x111,
x010 => (32*I - 32)*x110 + (-32*I + 32)*x111,
x011 => (-32*I + 32)*x100 + (32*I - 32)*x101,
x100 => (32*I + 32)*x010 + (-32*I - 32)*x011,
x101 => (32*I + 32)*x000 + (-32*I - 32)*x001,
x110 => (32*I + 32)*x000 + (32*I + 32)*x001,
x111 => (32*I + 32)*x010 + (32*I + 32)*x011,
},
{
u000 => 128*u011,
u001 => (-128*I)*u001,
u010 => (128*I)*u000,
u011 => 128*u010,
u100 => (128*I)*u110,
u101 => -128*u100,
u110 => -128*u101,
u111 => (-128*I)*u111,
x000 => 128*x011,
x001 => (-128*I)*x001,
x010 => (128*I)*x000,
x011 => 128*x010,
x100 => (128*I)*x110,
x101 => -128*x100,
x110 => -128*x101,
x111 => (-128*I)*x111,
},
{
u000 => (64*I)*u000 + 64*u001 + 64*u010 + (-64*I)*u011,
u001 => (-64*I)*u000 + 64*u001 + 64*u010 + (64*I)*u011,
u010 => (64*I)*u000 - 64*u001 + 64*u010 + (64*I)*u011,
u011 => (-64*I)*u000 - 64*u001 + 64*u010 + (-64*I)*u011,
u100 => 64*u100 + (-64*I)*u101 + (64*I)*u110 + 64*u111,
u101 => -64*u100 + (-64*I)*u101 + (64*I)*u110 - 64*u111,
u110 => -64*u100 + (-64*I)*u101 + (-64*I)*u110 + 64*u111,
u111 => 64*u100 + (-64*I)*u101 + (-64*I)*u110 - 64*u111,
x000 => (64*I)*x000 + 64*x001 + 64*x010 + (-64*I)*x011,
x001 => (-64*I)*x000 + 64*x001 + 64*x010 + (64*I)*x011,
x010 => (64*I)*x000 - 64*x001 + 64*x010 + (64*I)*x011,
x011 => (-64*I)*x000 - 64*x001 + 64*x010 + (-64*I)*x011,
x100 => 64*x100 + (-64*I)*x101 + (64*I)*x110 + 64*x111,
x101 => -64*x100 + (-64*I)*x101 + (64*I)*x110 - 64*x111,
x110 => -64*x100 + (-64*I)*x101 + (-64*I)*x110 + 64*x111,
x111 => 64*x100 + (-64*I)*x101 + (-64*I)*x110 - 64*x111,
},
{
u000 => (128*I)*u000 + (128*I)*u011,
u001 => (128*I)*u000 + (-128*I)*u011,
u010 => -128*u001 + 128*u010,
u011 => 128*u001 + 128*u010,
u100 => (128*I)*u100 + (-128*I)*u111,
u101 => (128*I)*u100 + (128*I)*u111,
u110 => -128*u101 - 128*u110,
u111 => 128*u101 - 128*u110,
x000 => (128*I)*x000 + (128*I)*x011,
x001 => (128*I)*x000 + (-128*I)*x011,
x010 => -128*x001 + 128*x010,
x011 => 128*x001 + 128*x010,
x100 => (128*I)*x100 + (-128*I)*x111,
x101 => (128*I)*x100 + (128*I)*x111,
x110 => -128*x101 - 128*x110,
x111 => 128*x101 - 128*x110,
},