text:
# Copyright (c) 2018-2021, Carnegie Mellon University
# See LICENSE for details

SIMD_ISA_DB.hashAdd(TL(4, 2, 1, 1).withTags([ AVecReg(SSE_2x64f) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(4, 2, 1, 1).withTags([ AVecReg(SSE_2x64f) ]) ),
      origtree := SIMD_ISA_Bases1( TL(4, 2, 1, 1).withTags([ AVecReg(SSE_2x64f) ]) ),
      measured := 2,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(1, 1, 1, 2).withTags([ AVecReg(SSE_2x64f) ]), [ rec(
      ruletree := IxLxI_vtensor( TL(1, 1, 1, 2).withTags([ AVecReg(SSE_2x64f) ]) ),
      origtree := IxLxI_vtensor( TL(1, 1, 1, 2).withTags([ AVecReg(SSE_2x64f) ]) ),
      measured := 0,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(4, 2, 1, 1).withTags([ AVecReg(SSE_2x64i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(4, 2, 1, 1).withTags([ AVecReg(SSE_2x64i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(4, 2, 1, 1).withTags([ AVecReg(SSE_2x64i) ]) ),
      measured := 2,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(1, 1, 1, 2).withTags([ AVecReg(SSE_2x64i) ]), [ rec(
      ruletree := IxLxI_vtensor( TL(1, 1, 1, 2).withTags([ AVecReg(SSE_2x64i) ]) ),
      origtree := IxLxI_vtensor( TL(1, 1, 1, 2).withTags([ AVecReg(SSE_2x64i) ]) ),
      measured := 0,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(4, 2, 1, 1).withTags([ AVecReg(SSE_2x32f) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(4, 2, 1, 1).withTags([ AVecReg(SSE_2x32f) ]) ),
      origtree := SIMD_ISA_Bases1( TL(4, 2, 1, 1).withTags([ AVecReg(SSE_2x32f) ]) ),
      measured := 2,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(1, 1, 1, 2).withTags([ AVecReg(SSE_2x32f) ]), [ rec(
      ruletree := IxLxI_vtensor( TL(1, 1, 1, 2).withTags([ AVecReg(SSE_2x32f) ]) ),
      origtree := IxLxI_vtensor( TL(1, 1, 1, 2).withTags([ AVecReg(SSE_2x32f) ]) ),
      measured := 0,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(4, 2, 1, 2).withTags([ AVecReg(SSE_4x32f) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(4, 2, 1, 2).withTags([ AVecReg(SSE_4x32f) ]) ),
      origtree := SIMD_ISA_Bases1( TL(4, 2, 1, 2).withTags([ AVecReg(SSE_4x32f) ]) ),
      measured := 2,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(4, 2, 2, 1).withTags([ AVecReg(SSE_4x32f) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(4, 2, 2, 1).withTags([ AVecReg(SSE_4x32f) ]) ),
      origtree := SIMD_ISA_Bases1( TL(4, 2, 2, 1).withTags([ AVecReg(SSE_4x32f) ]) ),
      measured := 6.2000000000000002,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(4, 2, 1, 4).withTags([ AVecReg(SSE_4x32f) ]), [ rec(
      ruletree := IxLxI_vtensor( TL(4, 2, 1, 4).withTags([ AVecReg(SSE_4x32f) ]) ),
      origtree := IxLxI_vtensor( TL(4, 2, 1, 4).withTags([ AVecReg(SSE_4x32f) ]) ),
      measured := 0,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(4, 2, 4, 1).withTags([ AVecReg(SSE_4x32f) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(4, 2, 4, 1).withTags([ AVecReg(SSE_4x32f) ]) ),
      origtree := SIMD_ISA_Bases1( TL(4, 2, 4, 1).withTags([ AVecReg(SSE_4x32f) ]) ),
      measured := 12.4,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(16, 8, 1, 1).withTags([ AVecReg(SSE_4x32f) ]), [ rec(
      ruletree := IxLxI_kmn_km( TL(16, 8, 1, 1).withTags([ AVecReg(SSE_4x32f) ]),
          SIMD_ISA_Bases1( TL(8, 4, 2, 1).withTags([ AVecReg(SSE_4x32f) ]) ),
          IxLxI_vtensor( TL(4, 2, 1, 4).withTags([ AVecReg(SSE_4x32f) ]) ) ),
      origtree := IxLxI_kmn_km( TL(16, 8, 1, 1).withTags([ AVecReg(SSE_4x32f) ]),
          SIMD_ISA_Bases1( TL(8, 4, 2, 1).withTags([ AVecReg(SSE_4x32f) ]) ),
          IxLxI_vtensor( TL(4, 2, 1, 4).withTags([ AVecReg(SSE_4x32f) ]) ) ),
      measured := 4,
      globalUnrolling := 10000 ) ]);
SIMD_ISA_DB.hashAdd(TL(8, 4, 1, 1).withTags([ AVecReg(SSE_4x32f) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(8, 4, 1, 1).withTags([ AVecReg(SSE_4x32f) ]) ),
      origtree := SIMD_ISA_Bases1( TL(8, 4, 1, 1).withTags([ AVecReg(SSE_4x32f) ]) ),
      measured := 2,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(8, 4, 1, 2).withTags([ AVecReg(SSE_4x32f) ]), [ rec(
      ruletree := SIMD_ISA_Bases2( TL(8, 4, 1, 2).withTags([ AVecReg(SSE_4x32f) ]) ),
      origtree := SIMD_ISA_Bases2( TL(8, 4, 1, 2).withTags([ AVecReg(SSE_4x32f) ]) ),
      measured := 4,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(8, 4, 2, 1).withTags([ AVecReg(SSE_4x32f) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(8, 4, 2, 1).withTags([ AVecReg(SSE_4x32f) ]) ),
      origtree := SIMD_ISA_Bases1( TL(8, 4, 2, 1).withTags([ AVecReg(SSE_4x32f) ]) ),
      measured := 4,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(8, 2, 1, 2).withTags([ AVecReg(SSE_4x32f) ]), [ rec(
      ruletree := SIMD_ISA_Bases2( TL(8, 2, 1, 2).withTags([ AVecReg(SSE_4x32f) ]) ),
      origtree := SIMD_ISA_Bases2( TL(8, 2, 1, 2).withTags([ AVecReg(SSE_4x32f) ]) ),
      measured := 4,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(8, 2, 2, 1).withTags([ AVecReg(SSE_4x32f) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(8, 2, 2, 1).withTags([ AVecReg(SSE_4x32f) ]) ),
      origtree := SIMD_ISA_Bases1( TL(8, 2, 2, 1).withTags([ AVecReg(SSE_4x32f) ]) ),
      measured := 4,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(16, 4, 1, 1).withTags([ AVecReg(SSE_4x32f) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(16, 4, 1, 1).withTags([ AVecReg(SSE_4x32f) ]),
          SIMD_ISA_Bases2( TL(8, 4, 1, 2).withTags([ AVecReg(SSE_4x32f) ]) ),
          SIMD_ISA_Bases1( TL(8, 4, 2, 1).withTags([ AVecReg(SSE_4x32f) ]) ) ),
      origtree := IxLxI_kmn_n( TL(16, 4, 1, 1).withTags([ AVecReg(SSE_4x32f) ]),
          SIMD_ISA_Bases2( TL(8, 4, 1, 2).withTags([ AVecReg(SSE_4x32f) ]) ),
          SIMD_ISA_Bases1( TL(8, 4, 2, 1).withTags([ AVecReg(SSE_4x32f) ]) ) ),
      measured := 8,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(4, 2, 2, 2).withTags([ AVecReg(SSE_4x32f) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(4, 2, 2, 2).withTags([ AVecReg(SSE_4x32f) ]) ),
      origtree := SIMD_ISA_Bases1( TL(4, 2, 2, 2).withTags([ AVecReg(SSE_4x32f) ]) ),
      measured := 4,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(16, 2, 1, 1).withTags([ AVecReg(SSE_4x32f) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(16, 2, 1, 1).withTags([ AVecReg(SSE_4x32f) ]),
          IxLxI_vtensor( TL(4, 2, 1, 4).withTags([ AVecReg(SSE_4x32f) ]) ),
          SIMD_ISA_Bases1( TL(8, 2, 2, 1).withTags([ AVecReg(SSE_4x32f) ]) ) ),
      origtree := IxLxI_kmn_n( TL(16, 2, 1, 1).withTags([ AVecReg(SSE_4x32f) ]),
          IxLxI_vtensor( TL(4, 2, 1, 4).withTags([ AVecReg(SSE_4x32f) ]) ),
          SIMD_ISA_Bases1( TL(8, 2, 2, 1).withTags([ AVecReg(SSE_4x32f) ]) ) ),
      measured := 4,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(8, 2, 1, 1).withTags([ AVecReg(SSE_4x32f) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(8, 2, 1, 1).withTags([ AVecReg(SSE_4x32f) ]) ),
      origtree := SIMD_ISA_Bases1( TL(8, 2, 1, 1).withTags([ AVecReg(SSE_4x32f) ]) ),
      measured := 2,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(4, 2, 1, 2).withTags([ AVecReg(SSE_4x32i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(4, 2, 1, 2).withTags([ AVecReg(SSE_4x32i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(4, 2, 1, 2).withTags([ AVecReg(SSE_4x32i) ]) ),
      measured := 2,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(4, 2, 2, 1).withTags([ AVecReg(SSE_4x32i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(4, 2, 2, 1).withTags([ AVecReg(SSE_4x32i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(4, 2, 2, 1).withTags([ AVecReg(SSE_4x32i) ]) ),
      measured := 6.2000000000000002,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(4, 2, 1, 4).withTags([ AVecReg(SSE_4x32i) ]), [ rec(
      ruletree := IxLxI_vtensor( TL(4, 2, 1, 4).withTags([ AVecReg(SSE_4x32i) ]) ),
      origtree := IxLxI_vtensor( TL(4, 2, 1, 4).withTags([ AVecReg(SSE_4x32i) ]) ),
      measured := 0,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(4, 2, 4, 1).withTags([ AVecReg(SSE_4x32i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(4, 2, 4, 1).withTags([ AVecReg(SSE_4x32i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(4, 2, 4, 1).withTags([ AVecReg(SSE_4x32i) ]) ),
      measured := 12.4,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(16, 8, 1, 1).withTags([ AVecReg(SSE_4x32i) ]), [ rec(
      ruletree := IxLxI_kmn_km( TL(16, 8, 1, 1).withTags([ AVecReg(SSE_4x32i) ]),
          SIMD_ISA_Bases1( TL(8, 4, 2, 1).withTags([ AVecReg(SSE_4x32i) ]) ),
          IxLxI_vtensor( TL(4, 2, 1, 4).withTags([ AVecReg(SSE_4x32i) ]) ) ),
      origtree := IxLxI_kmn_km( TL(16, 8, 1, 1).withTags([ AVecReg(SSE_4x32i) ]),
          SIMD_ISA_Bases1( TL(8, 4, 2, 1).withTags([ AVecReg(SSE_4x32i) ]) ),
          IxLxI_vtensor( TL(4, 2, 1, 4).withTags([ AVecReg(SSE_4x32i) ]) ) ),
      measured := 4,
      globalUnrolling := 10000 ) ]);
SIMD_ISA_DB.hashAdd(TL(8, 4, 1, 1).withTags([ AVecReg(SSE_4x32i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(8, 4, 1, 1).withTags([ AVecReg(SSE_4x32i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(8, 4, 1, 1).withTags([ AVecReg(SSE_4x32i) ]) ),
      measured := 2,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(8, 4, 1, 2).withTags([ AVecReg(SSE_4x32i) ]), [ rec(
      ruletree := SIMD_ISA_Bases2( TL(8, 4, 1, 2).withTags([ AVecReg(SSE_4x32i) ]) ),
      origtree := SIMD_ISA_Bases2( TL(8, 4, 1, 2).withTags([ AVecReg(SSE_4x32i) ]) ),
      measured := 4,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(8, 4, 2, 1).withTags([ AVecReg(SSE_4x32i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(8, 4, 2, 1).withTags([ AVecReg(SSE_4x32i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(8, 4, 2, 1).withTags([ AVecReg(SSE_4x32i) ]) ),
      measured := 4,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(8, 2, 1, 2).withTags([ AVecReg(SSE_4x32i) ]), [ rec(
      ruletree := SIMD_ISA_Bases2( TL(8, 2, 1, 2).withTags([ AVecReg(SSE_4x32i) ]) ),
      origtree := SIMD_ISA_Bases2( TL(8, 2, 1, 2).withTags([ AVecReg(SSE_4x32i) ]) ),
      measured := 4,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(8, 2, 2, 1).withTags([ AVecReg(SSE_4x32i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(8, 2, 2, 1).withTags([ AVecReg(SSE_4x32i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(8, 2, 2, 1).withTags([ AVecReg(SSE_4x32i) ]) ),
      measured := 4,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(16, 4, 1, 1).withTags([ AVecReg(SSE_4x32i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(16, 4, 1, 1).withTags([ AVecReg(SSE_4x32i) ]),
          SIMD_ISA_Bases2( TL(8, 4, 1, 2).withTags([ AVecReg(SSE_4x32i) ]) ),
          SIMD_ISA_Bases1( TL(8, 4, 2, 1).withTags([ AVecReg(SSE_4x32i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(16, 4, 1, 1).withTags([ AVecReg(SSE_4x32i) ]),
          SIMD_ISA_Bases2( TL(8, 4, 1, 2).withTags([ AVecReg(SSE_4x32i) ]) ),
          SIMD_ISA_Bases1( TL(8, 4, 2, 1).withTags([ AVecReg(SSE_4x32i) ]) ) ),
      measured := 8,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(4, 2, 2, 2).withTags([ AVecReg(SSE_4x32i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(4, 2, 2, 2).withTags([ AVecReg(SSE_4x32i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(4, 2, 2, 2).withTags([ AVecReg(SSE_4x32i) ]) ),
      measured := 4,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(16, 2, 1, 1).withTags([ AVecReg(SSE_4x32i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(16, 2, 1, 1).withTags([ AVecReg(SSE_4x32i) ]),
          IxLxI_vtensor( TL(4, 2, 1, 4).withTags([ AVecReg(SSE_4x32i) ]) ),
          SIMD_ISA_Bases1( TL(8, 2, 2, 1).withTags([ AVecReg(SSE_4x32i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(16, 2, 1, 1).withTags([ AVecReg(SSE_4x32i) ]),
          IxLxI_vtensor( TL(4, 2, 1, 4).withTags([ AVecReg(SSE_4x32i) ]) ),
          SIMD_ISA_Bases1( TL(8, 2, 2, 1).withTags([ AVecReg(SSE_4x32i) ]) ) ),
      measured := 4,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(8, 2, 1, 1).withTags([ AVecReg(SSE_4x32i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(8, 2, 1, 1).withTags([ AVecReg(SSE_4x32i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(8, 2, 1, 1).withTags([ AVecReg(SSE_4x32i) ]) ),
      measured := 2,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(16, 2, 1, 2).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(16, 2, 1, 2).withTags([ AVecReg(SSE_8x16i) ]),
          IxLxI_vtensor( TL(4, 2, 1, 8).withTags([ AVecReg(SSE_8x16i) ]) ),
          SIMD_ISA_Bases1( TL(8, 2, 2, 2).withTags([ AVecReg(SSE_8x16i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(16, 2, 1, 2).withTags([ AVecReg(SSE_8x16i) ]),
          IxLxI_vtensor( TL(4, 2, 1, 8).withTags([ AVecReg(SSE_8x16i) ]) ),
          SIMD_ISA_Bases1( TL(8, 2, 2, 2).withTags([ AVecReg(SSE_8x16i) ]) ) ),
      measured := 4,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(16, 8, 2, 2).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := IxLxI_kmn_km( TL(16, 8, 2, 2).withTags([ AVecReg(SSE_8x16i) ]),
          SIMD_ISA_Bases1( TL(8, 4, 4, 2).withTags([ AVecReg(SSE_8x16i) ]) ),
          IxLxI_vtensor( TL(4, 2, 2, 8).withTags([ AVecReg(SSE_8x16i) ]) ) ),
      origtree := IxLxI_kmn_km( TL(16, 8, 2, 2).withTags([ AVecReg(SSE_8x16i) ]),
          SIMD_ISA_Bases1( TL(8, 4, 4, 2).withTags([ AVecReg(SSE_8x16i) ]) ),
          IxLxI_vtensor( TL(4, 2, 2, 8).withTags([ AVecReg(SSE_8x16i) ]) ) ),
      measured := 8,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(64, 8, 1, 1).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(64, 8, 1, 1).withTags([ AVecReg(SSE_8x16i) ]),
          IxLxI_kmn_n( TL(32, 8, 1, 2).withTags([ AVecReg(SSE_8x16i) ]),
            SIMD_ISA_Bases2( TL(16, 8, 1, 4).withTags([ AVecReg(SSE_8x16i) ]) ),
            IxLxI_kmn_km( TL(16, 8, 2, 2).withTags([ AVecReg(SSE_8x16i) ]),
              SIMD_ISA_Bases1( TL(8, 4, 4, 2).withTags([ AVecReg(SSE_8x16i) ]) ),
              IxLxI_vtensor( TL(4, 2, 2, 8).withTags([ AVecReg(SSE_8x16i) ]) ) ) ),
          SIMD_ISA_Bases1( TL(16, 8, 4, 1).withTags([ AVecReg(SSE_8x16i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(64, 8, 1, 1).withTags([ AVecReg(SSE_8x16i) ]),
          IxLxI_kmn_n( TL(32, 8, 1, 2).withTags([ AVecReg(SSE_8x16i) ]),
            SIMD_ISA_Bases2( TL(16, 8, 1, 4).withTags([ AVecReg(SSE_8x16i) ]) ),
            IxLxI_kmn_km( TL(16, 8, 2, 2).withTags([ AVecReg(SSE_8x16i) ]),
              SIMD_ISA_Bases1( TL(8, 4, 4, 2).withTags([ AVecReg(SSE_8x16i) ]) ),
              IxLxI_vtensor( TL(4, 2, 2, 8).withTags([ AVecReg(SSE_8x16i) ]) ) ) ),
          SIMD_ISA_Bases1( TL(16, 8, 4, 1).withTags([ AVecReg(SSE_8x16i) ]) ) ),
      measured := 24,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(4, 2, 1, 2).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(4, 2, 1, 2).withTags([ AVecReg(SSE_8x16i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(4, 2, 1, 2).withTags([ AVecReg(SSE_8x16i) ]) ),
      measured := 0.90000000000000002,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(4, 2, 4, 4).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(4, 2, 4, 4).withTags([ AVecReg(SSE_8x16i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(4, 2, 4, 4).withTags([ AVecReg(SSE_8x16i) ]) ),
      measured := 8,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(4, 2, 2, 8).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := IxLxI_vtensor( TL(4, 2, 2, 8).withTags([ AVecReg(SSE_8x16i) ]) ),
      origtree := IxLxI_vtensor( TL(4, 2, 2, 8).withTags([ AVecReg(SSE_8x16i) ]) ),
      measured := 0,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(8, 2, 2, 4).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(8, 2, 2, 4).withTags([ AVecReg(SSE_8x16i) ]),
          IxLxI_vtensor( TL(4, 2, 2, 8).withTags([ AVecReg(SSE_8x16i) ]) ),
          SIMD_ISA_Bases1( TL(4, 2, 4, 4).withTags([ AVecReg(SSE_8x16i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(8, 2, 2, 4).withTags([ AVecReg(SSE_8x16i) ]),
          IxLxI_vtensor( TL(4, 2, 2, 8).withTags([ AVecReg(SSE_8x16i) ]) ),
          SIMD_ISA_Bases1( TL(4, 2, 4, 4).withTags([ AVecReg(SSE_8x16i) ]) ) ),
      measured := 8,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(4, 2, 8, 2).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(4, 2, 8, 2).withTags([ AVecReg(SSE_8x16i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(4, 2, 8, 2).withTags([ AVecReg(SSE_8x16i) ]) ),
      measured := 24.800000000000001,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(8, 2, 4, 2).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(8, 2, 4, 2).withTags([ AVecReg(SSE_8x16i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(8, 2, 4, 2).withTags([ AVecReg(SSE_8x16i) ]) ),
      measured := 8,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(8, 4, 2, 2).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(8, 4, 2, 2).withTags([ AVecReg(SSE_8x16i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(8, 4, 2, 2).withTags([ AVecReg(SSE_8x16i) ]) ),
      measured := 4,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(64, 32, 1, 1).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := IxLxI_kmn_km( TL(64, 32, 1, 1).withTags([ AVecReg(SSE_8x16i) ]),
          SIMD_ISA_Bases1( TL(16, 8, 4, 1).withTags([ AVecReg(SSE_8x16i) ]) ),
          IxLxI_kmn_km( TL(8, 4, 1, 8).withTags([ AVecReg(SSE_8x16i) ]),
            IxLxI_vtensor( TL(4, 2, 2, 8).withTags([ AVecReg(SSE_8x16i) ]) ),
            IxLxI_vtensor( TL(4, 2, 1, 16).withTags([ AVecReg(SSE_8x16i) ]) ) ) ),
      origtree := IxLxI_kmn_km( TL(64, 32, 1, 1).withTags([ AVecReg(SSE_8x16i) ]),
          SIMD_ISA_Bases1( TL(16, 8, 4, 1).withTags([ AVecReg(SSE_8x16i) ]) ),
          IxLxI_kmn_km( TL(8, 4, 1, 8).withTags([ AVecReg(SSE_8x16i) ]),
            IxLxI_vtensor( TL(4, 2, 2, 8).withTags([ AVecReg(SSE_8x16i) ]) ),
            IxLxI_vtensor( TL(4, 2, 1, 16).withTags([ AVecReg(SSE_8x16i) ]) ) ) ),
      measured := 8,
      globalUnrolling := 10000 ) ]);
SIMD_ISA_DB.hashAdd(TL(4, 2, 1, 4).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(4, 2, 1, 4).withTags([ AVecReg(SSE_8x16i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(4, 2, 1, 4).withTags([ AVecReg(SSE_8x16i) ]) ),
      measured := 2,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(4, 2, 4, 1).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(4, 2, 4, 1).withTags([ AVecReg(SSE_8x16i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(4, 2, 4, 1).withTags([ AVecReg(SSE_8x16i) ]) ),
      measured := 3.6000000000000001,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(16, 8, 1, 1).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(16, 8, 1, 1).withTags([ AVecReg(SSE_8x16i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(16, 8, 1, 1).withTags([ AVecReg(SSE_8x16i) ]) ),
      measured := 2,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(64, 4, 1, 1).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(64, 4, 1, 1).withTags([ AVecReg(SSE_8x16i) ]),
          IxLxI_kmn_km( TL(8, 4, 1, 8).withTags([ AVecReg(SSE_8x16i) ]),
            IxLxI_vtensor( TL(4, 2, 2, 8).withTags([ AVecReg(SSE_8x16i) ]) ),
            IxLxI_vtensor( TL(4, 2, 1, 16).withTags([ AVecReg(SSE_8x16i) ]) ) ),
          IxLxI_kmn_km( TL(32, 4, 2, 1).withTags([ AVecReg(SSE_8x16i) ]),
            IxLxI_kmn_n( TL(16, 2, 4, 1).withTags([ AVecReg(SSE_8x16i) ]),
              SIMD_ISA_Bases1( TL(8, 2, 4, 2).withTags([ AVecReg(SSE_8x16i) ]) ),
              SIMD_ISA_Bases1( TL(4, 2, 16, 1).withTags([ AVecReg(SSE_8x16i) ]) ) ),
            IxLxI_kmn_n( TL(16, 2, 2, 2).withTags([ AVecReg(SSE_8x16i) ]),
              IxLxI_vtensor( TL(4, 2, 2, 8).withTags([ AVecReg(SSE_8x16i) ]) ),
              SIMD_ISA_Bases1( TL(8, 2, 4, 2).withTags([ AVecReg(SSE_8x16i) ]) ) ) ) ),
      origtree := IxLxI_kmn_n( TL(64, 4, 1, 1).withTags([ AVecReg(SSE_8x16i) ]),
          IxLxI_kmn_km( TL(8, 4, 1, 8).withTags([ AVecReg(SSE_8x16i) ]),
            IxLxI_vtensor( TL(4, 2, 2, 8).withTags([ AVecReg(SSE_8x16i) ]) ),
            IxLxI_vtensor( TL(4, 2, 1, 16).withTags([ AVecReg(SSE_8x16i) ]) ) ),
          IxLxI_kmn_km( TL(32, 4, 2, 1).withTags([ AVecReg(SSE_8x16i) ]),
            IxLxI_kmn_n( TL(16, 2, 4, 1).withTags([ AVecReg(SSE_8x16i) ]),
              SIMD_ISA_Bases1( TL(8, 2, 4, 2).withTags([ AVecReg(SSE_8x16i) ]) ),
              SIMD_ISA_Bases1( TL(4, 2, 16, 1).withTags([ AVecReg(SSE_8x16i) ]) ) ),
            IxLxI_kmn_n( TL(16, 2, 2, 2).withTags([ AVecReg(SSE_8x16i) ]),
              IxLxI_vtensor( TL(4, 2, 2, 8).withTags([ AVecReg(SSE_8x16i) ]) ),
              SIMD_ISA_Bases1( TL(8, 2, 4, 2).withTags([ AVecReg(SSE_8x16i) ]) ) ) ) ),
      measured := 30.399999999999999,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(32, 8, 1, 2).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(32, 8, 1, 2).withTags([ AVecReg(SSE_8x16i) ]),
          SIMD_ISA_Bases2( TL(16, 8, 1, 4).withTags([ AVecReg(SSE_8x16i) ]) ),
          IxLxI_kmn_km( TL(16, 8, 2, 2).withTags([ AVecReg(SSE_8x16i) ]),
            SIMD_ISA_Bases1( TL(8, 4, 4, 2).withTags([ AVecReg(SSE_8x16i) ]) ),
            IxLxI_vtensor( TL(4, 2, 2, 8).withTags([ AVecReg(SSE_8x16i) ]) ) ) ),
      origtree := IxLxI_kmn_n( TL(32, 8, 1, 2).withTags([ AVecReg(SSE_8x16i) ]),
          SIMD_ISA_Bases2( TL(16, 8, 1, 4).withTags([ AVecReg(SSE_8x16i) ]) ),
          IxLxI_kmn_km( TL(16, 8, 2, 2).withTags([ AVecReg(SSE_8x16i) ]),
            SIMD_ISA_Bases1( TL(8, 4, 4, 2).withTags([ AVecReg(SSE_8x16i) ]) ),
            IxLxI_vtensor( TL(4, 2, 2, 8).withTags([ AVecReg(SSE_8x16i) ]) ) ) ),
      measured := 16,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(32, 8, 2, 1).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(32, 8, 2, 1).withTags([ AVecReg(SSE_8x16i) ]),
          IxLxI_kmn_km( TL(16, 8, 2, 2).withTags([ AVecReg(SSE_8x16i) ]),
            SIMD_ISA_Bases1( TL(8, 4, 4, 2).withTags([ AVecReg(SSE_8x16i) ]) ),
            IxLxI_vtensor( TL(4, 2, 2, 8).withTags([ AVecReg(SSE_8x16i) ]) ) ),
          SIMD_ISA_Bases1( TL(16, 8, 4, 1).withTags([ AVecReg(SSE_8x16i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(32, 8, 2, 1).withTags([ AVecReg(SSE_8x16i) ]),
          IxLxI_kmn_km( TL(16, 8, 2, 2).withTags([ AVecReg(SSE_8x16i) ]),
            SIMD_ISA_Bases1( TL(8, 4, 4, 2).withTags([ AVecReg(SSE_8x16i) ]) ),
            IxLxI_vtensor( TL(4, 2, 2, 8).withTags([ AVecReg(SSE_8x16i) ]) ) ),
          SIMD_ISA_Bases1( TL(16, 8, 4, 1).withTags([ AVecReg(SSE_8x16i) ]) ) ),
      measured := 16,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(64, 2, 1, 1).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(64, 2, 1, 1).withTags([ AVecReg(SSE_8x16i) ]),
          IxLxI_kmn_n( TL(32, 2, 1, 2).withTags([ AVecReg(SSE_8x16i) ]),
            IxLxI_kmn_n( TL(8, 2, 1, 8).withTags([ AVecReg(SSE_8x16i) ]),
              IxLxI_vtensor( TL(4, 2, 1, 16).withTags([ AVecReg(SSE_8x16i) ]) ),
              IxLxI_vtensor( TL(4, 2, 2, 8).withTags([ AVecReg(SSE_8x16i) ]) ) ),
            SIMD_ISA_Bases1( TL(8, 2, 4, 2).withTags([ AVecReg(SSE_8x16i) ]) ) ),
          SIMD_ISA_Bases1( TL(4, 2, 16, 1).withTags([ AVecReg(SSE_8x16i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(64, 2, 1, 1).withTags([ AVecReg(SSE_8x16i) ]),
          IxLxI_kmn_n( TL(32, 2, 1, 2).withTags([ AVecReg(SSE_8x16i) ]),
            IxLxI_kmn_n( TL(8, 2, 1, 8).withTags([ AVecReg(SSE_8x16i) ]),
              IxLxI_vtensor( TL(4, 2, 1, 16).withTags([ AVecReg(SSE_8x16i) ]) ),
              IxLxI_vtensor( TL(4, 2, 2, 8).withTags([ AVecReg(SSE_8x16i) ]) ) ),
            SIMD_ISA_Bases1( TL(8, 2, 4, 2).withTags([ AVecReg(SSE_8x16i) ]) ) ),
          SIMD_ISA_Bases1( TL(4, 2, 16, 1).withTags([ AVecReg(SSE_8x16i) ]) ) ),
      measured := 22.399999999999999,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(16, 8, 1, 2).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := IxLxI_kmn_km( TL(16, 8, 1, 2).withTags([ AVecReg(SSE_8x16i) ]),
          SIMD_ISA_Bases1( TL(8, 4, 2, 2).withTags([ AVecReg(SSE_8x16i) ]) ),
          IxLxI_vtensor( TL(4, 2, 1, 8).withTags([ AVecReg(SSE_8x16i) ]) ) ),
      origtree := IxLxI_kmn_km( TL(16, 8, 1, 2).withTags([ AVecReg(SSE_8x16i) ]),
          SIMD_ISA_Bases1( TL(8, 4, 2, 2).withTags([ AVecReg(SSE_8x16i) ]) ),
          IxLxI_vtensor( TL(4, 2, 1, 8).withTags([ AVecReg(SSE_8x16i) ]) ) ),
      measured := 4,
      globalUnrolling := 10000 ) ]);
SIMD_ISA_DB.hashAdd(TL(8, 4, 1, 8).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := IxLxI_kmn_km( TL(8, 4, 1, 8).withTags([ AVecReg(SSE_8x16i) ]),
          IxLxI_vtensor( TL(4, 2, 2, 8).withTags([ AVecReg(SSE_8x16i) ]) ),
          IxLxI_vtensor( TL(4, 2, 1, 16).withTags([ AVecReg(SSE_8x16i) ]) ) ),
      origtree := IxLxI_kmn_km( TL(8, 4, 1, 8).withTags([ AVecReg(SSE_8x16i) ]),
          IxLxI_vtensor( TL(4, 2, 2, 8).withTags([ AVecReg(SSE_8x16i) ]) ),
          IxLxI_vtensor( TL(4, 2, 1, 16).withTags([ AVecReg(SSE_8x16i) ]) ) ),
      measured := 0,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(8, 4, 8, 1).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(8, 4, 8, 1).withTags([ AVecReg(SSE_8x16i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(8, 4, 8, 1).withTags([ AVecReg(SSE_8x16i) ]) ),
      measured := 24.800000000000001,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(32, 2, 1, 2).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(32, 2, 1, 2).withTags([ AVecReg(SSE_8x16i) ]),
          IxLxI_kmn_n( TL(8, 2, 1, 8).withTags([ AVecReg(SSE_8x16i) ]),
            IxLxI_vtensor( TL(4, 2, 1, 16).withTags([ AVecReg(SSE_8x16i) ]) ),
            IxLxI_vtensor( TL(4, 2, 2, 8).withTags([ AVecReg(SSE_8x16i) ]) ) ),
          SIMD_ISA_Bases1( TL(8, 2, 4, 2).withTags([ AVecReg(SSE_8x16i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(32, 2, 1, 2).withTags([ AVecReg(SSE_8x16i) ]),
          IxLxI_kmn_n( TL(8, 2, 1, 8).withTags([ AVecReg(SSE_8x16i) ]),
            IxLxI_vtensor( TL(4, 2, 1, 16).withTags([ AVecReg(SSE_8x16i) ]) ),
            IxLxI_vtensor( TL(4, 2, 2, 8).withTags([ AVecReg(SSE_8x16i) ]) ) ),
          SIMD_ISA_Bases1( TL(8, 2, 4, 2).withTags([ AVecReg(SSE_8x16i) ]) ) ),
      measured := 8,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(32, 2, 2, 1).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(32, 2, 2, 1).withTags([ AVecReg(SSE_8x16i) ]),
          IxLxI_kmn_n( TL(16, 2, 2, 2).withTags([ AVecReg(SSE_8x16i) ]),
            IxLxI_vtensor( TL(4, 2, 2, 8).withTags([ AVecReg(SSE_8x16i) ]) ),
            SIMD_ISA_Bases1( TL(8, 2, 4, 2).withTags([ AVecReg(SSE_8x16i) ]) ) ),
          SIMD_ISA_Bases1( TL(4, 2, 16, 1).withTags([ AVecReg(SSE_8x16i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(32, 2, 2, 1).withTags([ AVecReg(SSE_8x16i) ]),
          IxLxI_kmn_n( TL(16, 2, 2, 2).withTags([ AVecReg(SSE_8x16i) ]),
            IxLxI_vtensor( TL(4, 2, 2, 8).withTags([ AVecReg(SSE_8x16i) ]) ),
            SIMD_ISA_Bases1( TL(8, 2, 4, 2).withTags([ AVecReg(SSE_8x16i) ]) ) ),
          SIMD_ISA_Bases1( TL(4, 2, 16, 1).withTags([ AVecReg(SSE_8x16i) ]) ) ),
      measured := 22.399999999999999,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(8, 2, 1, 8).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(8, 2, 1, 8).withTags([ AVecReg(SSE_8x16i) ]),
          IxLxI_vtensor( TL(4, 2, 1, 16).withTags([ AVecReg(SSE_8x16i) ]) ),
          IxLxI_vtensor( TL(4, 2, 2, 8).withTags([ AVecReg(SSE_8x16i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(8, 2, 1, 8).withTags([ AVecReg(SSE_8x16i) ]),
          IxLxI_vtensor( TL(4, 2, 1, 16).withTags([ AVecReg(SSE_8x16i) ]) ),
          IxLxI_vtensor( TL(4, 2, 2, 8).withTags([ AVecReg(SSE_8x16i) ]) ) ),
      measured := 0,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(8, 2, 8, 1).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(8, 2, 8, 1).withTags([ AVecReg(SSE_8x16i) ]),
          SIMD_ISA_Bases1( TL(4, 2, 8, 2).withTags([ AVecReg(SSE_8x16i) ]) ),
          SIMD_ISA_Bases1( TL(4, 2, 16, 1).withTags([ AVecReg(SSE_8x16i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(8, 2, 8, 1).withTags([ AVecReg(SSE_8x16i) ]),
          SIMD_ISA_Bases1( TL(4, 2, 8, 2).withTags([ AVecReg(SSE_8x16i) ]) ),
          SIMD_ISA_Bases1( TL(4, 2, 16, 1).withTags([ AVecReg(SSE_8x16i) ]) ) ),
      measured := 39.200000000000003,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(8, 4, 1, 2).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(8, 4, 1, 2).withTags([ AVecReg(SSE_8x16i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(8, 4, 1, 2).withTags([ AVecReg(SSE_8x16i) ]) ),
      measured := 2,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(8, 4, 2, 1).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(8, 4, 2, 1).withTags([ AVecReg(SSE_8x16i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(8, 4, 2, 1).withTags([ AVecReg(SSE_8x16i) ]) ),
      measured := 6.2000000000000002,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(4, 2, 1, 8).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := IxLxI_vtensor( TL(4, 2, 1, 8).withTags([ AVecReg(SSE_8x16i) ]) ),
      origtree := IxLxI_vtensor( TL(4, 2, 1, 8).withTags([ AVecReg(SSE_8x16i) ]) ),
      measured := 0,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(8, 2, 1, 4).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := SIMD_ISA_Bases2( TL(8, 2, 1, 4).withTags([ AVecReg(SSE_8x16i) ]) ),
      origtree := SIMD_ISA_Bases2( TL(8, 2, 1, 4).withTags([ AVecReg(SSE_8x16i) ]) ),
      measured := 4,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(8, 2, 1, 2).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(8, 2, 1, 2).withTags([ AVecReg(SSE_8x16i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(8, 2, 1, 2).withTags([ AVecReg(SSE_8x16i) ]) ),
      measured := 2,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(8, 2, 2, 1).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(8, 2, 2, 1).withTags([ AVecReg(SSE_8x16i) ]),
          SIMD_ISA_Bases1( TL(4, 2, 2, 2).withTags([ AVecReg(SSE_8x16i) ]) ),
          SIMD_ISA_Bases1( TL(4, 2, 4, 1).withTags([ AVecReg(SSE_8x16i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(8, 2, 2, 1).withTags([ AVecReg(SSE_8x16i) ]),
          SIMD_ISA_Bases1( TL(4, 2, 2, 2).withTags([ AVecReg(SSE_8x16i) ]) ),
          SIMD_ISA_Bases1( TL(4, 2, 4, 1).withTags([ AVecReg(SSE_8x16i) ]) ) ),
      measured := 9.8000000000000007,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(16, 4, 1, 4).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := SIMD_ISA_Bases2( TL(16, 4, 1, 4).withTags([ AVecReg(SSE_8x16i) ]) ),
      origtree := SIMD_ISA_Bases2( TL(16, 4, 1, 4).withTags([ AVecReg(SSE_8x16i) ]) ),
      measured := 8,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(16, 4, 4, 1).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := IxLxI_IxLxI_down( TL(16, 4, 4, 1).withTags([ AVecReg(SSE_8x16i) ]),
          SIMD_ISA_Bases1( TL(16, 8, 4, 1).withTags([ AVecReg(SSE_8x16i) ]) ),
          SIMD_ISA_Bases1( TL(16, 8, 4, 1).withTags([ AVecReg(SSE_8x16i) ]) ) ),
      origtree := IxLxI_IxLxI_down( TL(16, 4, 4, 1).withTags([ AVecReg(SSE_8x16i) ]),
          SIMD_ISA_Bases1( TL(16, 8, 4, 1).withTags([ AVecReg(SSE_8x16i) ]) ),
          SIMD_ISA_Bases1( TL(16, 8, 4, 1).withTags([ AVecReg(SSE_8x16i) ]) ) ),
      measured := 16,
      globalUnrolling := 10000 ) ]);
SIMD_ISA_DB.hashAdd(TL(32, 16, 1, 2).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := IxLxI_kmn_km( TL(32, 16, 1, 2).withTags([ AVecReg(SSE_8x16i) ]),
          SIMD_ISA_Bases1( TL(8, 4, 4, 2).withTags([ AVecReg(SSE_8x16i) ]) ),
          IxLxI_kmn_km( TL(8, 4, 1, 8).withTags([ AVecReg(SSE_8x16i) ]),
            IxLxI_vtensor( TL(4, 2, 2, 8).withTags([ AVecReg(SSE_8x16i) ]) ),
            IxLxI_vtensor( TL(4, 2, 1, 16).withTags([ AVecReg(SSE_8x16i) ]) ) ) ),
      origtree := IxLxI_kmn_km( TL(32, 16, 1, 2).withTags([ AVecReg(SSE_8x16i) ]),
          SIMD_ISA_Bases1( TL(8, 4, 4, 2).withTags([ AVecReg(SSE_8x16i) ]) ),
          IxLxI_kmn_km( TL(8, 4, 1, 8).withTags([ AVecReg(SSE_8x16i) ]),
            IxLxI_vtensor( TL(4, 2, 2, 8).withTags([ AVecReg(SSE_8x16i) ]) ),
            IxLxI_vtensor( TL(4, 2, 1, 16).withTags([ AVecReg(SSE_8x16i) ]) ) ) ),
      measured := 8,
      globalUnrolling := 10000 ) ]);
SIMD_ISA_DB.hashAdd(TL(32, 16, 2, 1).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := IxLxI_kmn_km( TL(32, 16, 2, 1).withTags([ AVecReg(SSE_8x16i) ]),
          SIMD_ISA_Bases1( TL(16, 8, 4, 1).withTags([ AVecReg(SSE_8x16i) ]) ),
          IxLxI_vtensor( TL(4, 2, 2, 8).withTags([ AVecReg(SSE_8x16i) ]) ) ),
      origtree := IxLxI_kmn_km( TL(32, 16, 2, 1).withTags([ AVecReg(SSE_8x16i) ]),
          SIMD_ISA_Bases1( TL(16, 8, 4, 1).withTags([ AVecReg(SSE_8x16i) ]) ),
          IxLxI_vtensor( TL(4, 2, 2, 8).withTags([ AVecReg(SSE_8x16i) ]) ) ),
      measured := 8,
      globalUnrolling := 10000 ) ]);
SIMD_ISA_DB.hashAdd(TL(16, 4, 1, 1).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := IxLxI_IxLxI_down( TL(16, 4, 1, 1).withTags([ AVecReg(SSE_8x16i) ]),
          SIMD_ISA_Bases1( TL(16, 8, 1, 1).withTags([ AVecReg(SSE_8x16i) ]) ),
          SIMD_ISA_Bases1( TL(16, 8, 1, 1).withTags([ AVecReg(SSE_8x16i) ]) ) ),
      origtree := IxLxI_IxLxI_down( TL(16, 4, 1, 1).withTags([ AVecReg(SSE_8x16i) ]),
          SIMD_ISA_Bases1( TL(16, 8, 1, 1).withTags([ AVecReg(SSE_8x16i) ]) ),
          SIMD_ISA_Bases1( TL(16, 8, 1, 1).withTags([ AVecReg(SSE_8x16i) ]) ) ),
      measured := 4,
      globalUnrolling := 10000 ) ]);
SIMD_ISA_DB.hashAdd(TL(8, 4, 2, 4).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := IxLxI_kmn_km( TL(8, 4, 2, 4).withTags([ AVecReg(SSE_8x16i) ]),
          SIMD_ISA_Bases1( TL(4, 2, 4, 4).withTags([ AVecReg(SSE_8x16i) ]) ),
          IxLxI_vtensor( TL(4, 2, 2, 8).withTags([ AVecReg(SSE_8x16i) ]) ) ),
      origtree := IxLxI_kmn_km( TL(8, 4, 2, 4).withTags([ AVecReg(SSE_8x16i) ]),
          SIMD_ISA_Bases1( TL(4, 2, 4, 4).withTags([ AVecReg(SSE_8x16i) ]) ),
          IxLxI_vtensor( TL(4, 2, 2, 8).withTags([ AVecReg(SSE_8x16i) ]) ) ),
      measured := 8,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(8, 4, 4, 2).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(8, 4, 4, 2).withTags([ AVecReg(SSE_8x16i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(8, 4, 4, 2).withTags([ AVecReg(SSE_8x16i) ]) ),
      measured := 8,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(16, 2, 2, 2).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(16, 2, 2, 2).withTags([ AVecReg(SSE_8x16i) ]),
          IxLxI_vtensor( TL(4, 2, 2, 8).withTags([ AVecReg(SSE_8x16i) ]) ),
          SIMD_ISA_Bases1( TL(8, 2, 4, 2).withTags([ AVecReg(SSE_8x16i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(16, 2, 2, 2).withTags([ AVecReg(SSE_8x16i) ]),
          IxLxI_vtensor( TL(4, 2, 2, 8).withTags([ AVecReg(SSE_8x16i) ]) ),
          SIMD_ISA_Bases1( TL(8, 2, 4, 2).withTags([ AVecReg(SSE_8x16i) ]) ) ),
      measured := 8,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(16, 8, 1, 4).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := SIMD_ISA_Bases2( TL(16, 8, 1, 4).withTags([ AVecReg(SSE_8x16i) ]) ),
      origtree := SIMD_ISA_Bases2( TL(16, 8, 1, 4).withTags([ AVecReg(SSE_8x16i) ]) ),
      measured := 8,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(16, 8, 4, 1).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(16, 8, 4, 1).withTags([ AVecReg(SSE_8x16i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(16, 8, 4, 1).withTags([ AVecReg(SSE_8x16i) ]) ),
      measured := 8,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(8, 2, 2, 2).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(8, 2, 2, 2).withTags([ AVecReg(SSE_8x16i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(8, 2, 2, 2).withTags([ AVecReg(SSE_8x16i) ]) ),
      measured := 4,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(4, 2, 2, 2).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(4, 2, 2, 2).withTags([ AVecReg(SSE_8x16i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(4, 2, 2, 2).withTags([ AVecReg(SSE_8x16i) ]) ),
      measured := 6.2000000000000002,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(32, 4, 1, 2).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(32, 4, 1, 2).withTags([ AVecReg(SSE_8x16i) ]),
          SIMD_ISA_Bases2( TL(16, 4, 1, 4).withTags([ AVecReg(SSE_8x16i) ]) ),
          SIMD_ISA_Bases1( TL(8, 4, 4, 2).withTags([ AVecReg(SSE_8x16i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(32, 4, 1, 2).withTags([ AVecReg(SSE_8x16i) ]),
          SIMD_ISA_Bases2( TL(16, 4, 1, 4).withTags([ AVecReg(SSE_8x16i) ]) ),
          SIMD_ISA_Bases1( TL(8, 4, 4, 2).withTags([ AVecReg(SSE_8x16i) ]) ) ),
      measured := 16,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(32, 4, 2, 1).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(32, 4, 2, 1).withTags([ AVecReg(SSE_8x16i) ]),
          IxLxI_kmn_km( TL(8, 4, 2, 4).withTags([ AVecReg(SSE_8x16i) ]),
            SIMD_ISA_Bases1( TL(4, 2, 4, 4).withTags([ AVecReg(SSE_8x16i) ]) ),
            IxLxI_vtensor( TL(4, 2, 2, 8).withTags([ AVecReg(SSE_8x16i) ]) ) ),
          IxLxI_IxLxI_down( TL(16, 4, 4, 1).withTags([ AVecReg(SSE_8x16i) ]),
            SIMD_ISA_Bases1( TL(16, 8, 4, 1).withTags([ AVecReg(SSE_8x16i) ]) ),
            SIMD_ISA_Bases1( TL(16, 8, 4, 1).withTags([ AVecReg(SSE_8x16i) ]) ) ) ),
      origtree := IxLxI_kmn_n( TL(32, 4, 2, 1).withTags([ AVecReg(SSE_8x16i) ]),
          IxLxI_kmn_km( TL(8, 4, 2, 4).withTags([ AVecReg(SSE_8x16i) ]),
            SIMD_ISA_Bases1( TL(4, 2, 4, 4).withTags([ AVecReg(SSE_8x16i) ]) ),
            IxLxI_vtensor( TL(4, 2, 2, 8).withTags([ AVecReg(SSE_8x16i) ]) ) ),
          IxLxI_IxLxI_down( TL(16, 4, 4, 1).withTags([ AVecReg(SSE_8x16i) ]),
            SIMD_ISA_Bases1( TL(16, 8, 4, 1).withTags([ AVecReg(SSE_8x16i) ]) ),
            SIMD_ISA_Bases1( TL(16, 8, 4, 1).withTags([ AVecReg(SSE_8x16i) ]) ) ) ),
      measured := 24,
      globalUnrolling := 10000 ) ]);
SIMD_ISA_DB.hashAdd(TL(16, 2, 1, 1).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(16, 2, 1, 1).withTags([ AVecReg(SSE_8x16i) ]),
          SIMD_ISA_Bases1( TL(8, 2, 1, 2).withTags([ AVecReg(SSE_8x16i) ]) ),
          SIMD_ISA_Bases1( TL(4, 2, 4, 1).withTags([ AVecReg(SSE_8x16i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(16, 2, 1, 1).withTags([ AVecReg(SSE_8x16i) ]),
          SIMD_ISA_Bases1( TL(8, 2, 1, 2).withTags([ AVecReg(SSE_8x16i) ]) ),
          SIMD_ISA_Bases1( TL(4, 2, 4, 1).withTags([ AVecReg(SSE_8x16i) ]) ) ),
      measured := 5.5999999999999996,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(8, 4, 1, 4).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := SIMD_ISA_Bases2( TL(8, 4, 1, 4).withTags([ AVecReg(SSE_8x16i) ]) ),
      origtree := SIMD_ISA_Bases2( TL(8, 4, 1, 4).withTags([ AVecReg(SSE_8x16i) ]) ),
      measured := 4,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(64, 16, 1, 1).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(64, 16, 1, 1).withTags([ AVecReg(SSE_8x16i) ]),
          IxLxI_kmn_km( TL(32, 16, 1, 2).withTags([ AVecReg(SSE_8x16i) ]),
            SIMD_ISA_Bases1( TL(8, 4, 4, 2).withTags([ AVecReg(SSE_8x16i) ]) ),
            IxLxI_kmn_km( TL(8, 4, 1, 8).withTags([ AVecReg(SSE_8x16i) ]),
              IxLxI_vtensor( TL(4, 2, 2, 8).withTags([ AVecReg(SSE_8x16i) ]) ),
              IxLxI_vtensor( TL(4, 2, 1, 16).withTags([ AVecReg(SSE_8x16i) ]) ) ) ),
          IxLxI_kmn_km( TL(32, 16, 2, 1).withTags([ AVecReg(SSE_8x16i) ]),
            SIMD_ISA_Bases1( TL(16, 8, 4, 1).withTags([ AVecReg(SSE_8x16i) ]) ),
            IxLxI_vtensor( TL(4, 2, 2, 8).withTags([ AVecReg(SSE_8x16i) ]) ) ) ),
      origtree := IxLxI_kmn_n( TL(64, 16, 1, 1).withTags([ AVecReg(SSE_8x16i) ]),
          IxLxI_kmn_km( TL(32, 16, 1, 2).withTags([ AVecReg(SSE_8x16i) ]),
            SIMD_ISA_Bases1( TL(8, 4, 4, 2).withTags([ AVecReg(SSE_8x16i) ]) ),
            IxLxI_kmn_km( TL(8, 4, 1, 8).withTags([ AVecReg(SSE_8x16i) ]),
              IxLxI_vtensor( TL(4, 2, 2, 8).withTags([ AVecReg(SSE_8x16i) ]) ),
              IxLxI_vtensor( TL(4, 2, 1, 16).withTags([ AVecReg(SSE_8x16i) ]) ) ) ),
          IxLxI_kmn_km( TL(32, 16, 2, 1).withTags([ AVecReg(SSE_8x16i) ]),
            SIMD_ISA_Bases1( TL(16, 8, 4, 1).withTags([ AVecReg(SSE_8x16i) ]) ),
            IxLxI_vtensor( TL(4, 2, 2, 8).withTags([ AVecReg(SSE_8x16i) ]) ) ) ),
      measured := 16,
      globalUnrolling := 10000 ) ]);
SIMD_ISA_DB.hashAdd(TL(16, 4, 2, 2).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(16, 4, 2, 2).withTags([ AVecReg(SSE_8x16i) ]),
          IxLxI_kmn_km( TL(8, 4, 2, 4).withTags([ AVecReg(SSE_8x16i) ]),
            SIMD_ISA_Bases1( TL(4, 2, 4, 4).withTags([ AVecReg(SSE_8x16i) ]) ),
            IxLxI_vtensor( TL(4, 2, 2, 8).withTags([ AVecReg(SSE_8x16i) ]) ) ),
          SIMD_ISA_Bases1( TL(8, 4, 4, 2).withTags([ AVecReg(SSE_8x16i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(16, 4, 2, 2).withTags([ AVecReg(SSE_8x16i) ]),
          IxLxI_kmn_km( TL(8, 4, 2, 4).withTags([ AVecReg(SSE_8x16i) ]),
            SIMD_ISA_Bases1( TL(4, 2, 4, 4).withTags([ AVecReg(SSE_8x16i) ]) ),
            IxLxI_vtensor( TL(4, 2, 2, 8).withTags([ AVecReg(SSE_8x16i) ]) ) ),
          SIMD_ISA_Bases1( TL(8, 4, 4, 2).withTags([ AVecReg(SSE_8x16i) ]) ) ),
      measured := 16,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(4, 2, 2, 4).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(4, 2, 2, 4).withTags([ AVecReg(SSE_8x16i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(4, 2, 2, 4).withTags([ AVecReg(SSE_8x16i) ]) ),
      measured := 4,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(4, 2, 4, 2).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(4, 2, 4, 2).withTags([ AVecReg(SSE_8x16i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(4, 2, 4, 2).withTags([ AVecReg(SSE_8x16i) ]) ),
      measured := 12.4,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(4, 2, 1, 16).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := IxLxI_vtensor( TL(4, 2, 1, 16).withTags([ AVecReg(SSE_8x16i) ]) ),
      origtree := IxLxI_vtensor( TL(4, 2, 1, 16).withTags([ AVecReg(SSE_8x16i) ]) ),
      measured := 0,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(16, 2, 1, 4).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := SIMD_ISA_Bases2( TL(16, 2, 1, 4).withTags([ AVecReg(SSE_8x16i) ]) ),
      origtree := SIMD_ISA_Bases2( TL(16, 2, 1, 4).withTags([ AVecReg(SSE_8x16i) ]) ),
      measured := 8,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(4, 2, 16, 1).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(4, 2, 16, 1).withTags([ AVecReg(SSE_8x16i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(4, 2, 16, 1).withTags([ AVecReg(SSE_8x16i) ]) ),
      measured := 14.4,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(16, 2, 4, 1).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(16, 2, 4, 1).withTags([ AVecReg(SSE_8x16i) ]),
          SIMD_ISA_Bases1( TL(8, 2, 4, 2).withTags([ AVecReg(SSE_8x16i) ]) ),
          SIMD_ISA_Bases1( TL(4, 2, 16, 1).withTags([ AVecReg(SSE_8x16i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(16, 2, 4, 1).withTags([ AVecReg(SSE_8x16i) ]),
          SIMD_ISA_Bases1( TL(8, 2, 4, 2).withTags([ AVecReg(SSE_8x16i) ]) ),
          SIMD_ISA_Bases1( TL(4, 2, 16, 1).withTags([ AVecReg(SSE_8x16i) ]) ) ),
      measured := 22.399999999999999,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(16, 4, 1, 2).withTags([ AVecReg(SSE_8x16i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(16, 4, 1, 2).withTags([ AVecReg(SSE_8x16i) ]),
          SIMD_ISA_Bases2( TL(8, 4, 1, 4).withTags([ AVecReg(SSE_8x16i) ]) ),
          SIMD_ISA_Bases1( TL(8, 4, 2, 2).withTags([ AVecReg(SSE_8x16i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(16, 4, 1, 2).withTags([ AVecReg(SSE_8x16i) ]),
          SIMD_ISA_Bases2( TL(8, 4, 1, 4).withTags([ AVecReg(SSE_8x16i) ]) ),
          SIMD_ISA_Bases1( TL(8, 4, 2, 2).withTags([ AVecReg(SSE_8x16i) ]) ) ),
      measured := 8,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(32, 8, 2, 2).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(32, 8, 2, 2).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_km( TL(16, 8, 2, 4).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(8, 4, 4, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
          SIMD_ISA_Bases1( TL(16, 8, 4, 2).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(32, 8, 2, 2).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_km( TL(16, 8, 2, 4).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(8, 4, 4, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
          SIMD_ISA_Bases1( TL(16, 8, 4, 2).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 16,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(64, 32, 1, 4).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_km( TL(64, 32, 1, 4).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(8, 4, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_kmn_km( TL(16, 8, 1, 16).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_kmn_km( TL(8, 4, 1, 32).withTags([ AVecReg(SSE_16x8i) ]),
              IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_vtensor( TL(4, 2, 1, 64).withTags([ AVecReg(SSE_16x8i) ]) ) ) ) ),
      origtree := IxLxI_kmn_km( TL(64, 32, 1, 4).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(8, 4, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_kmn_km( TL(16, 8, 1, 16).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_kmn_km( TL(8, 4, 1, 32).withTags([ AVecReg(SSE_16x8i) ]),
              IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_vtensor( TL(4, 2, 1, 64).withTags([ AVecReg(SSE_16x8i) ]) ) ) ) ),
      measured := 16,
      globalUnrolling := 10000 ) ]);
SIMD_ISA_DB.hashAdd(TL(64, 32, 4, 1).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_km( TL(64, 32, 4, 1).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_kmn_km( TL(64, 32, 4, 1).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 16,
      globalUnrolling := 10000 ) ]);
SIMD_ISA_DB.hashAdd(TL(64, 2, 1, 2).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(64, 2, 1, 2).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_n( TL(32, 2, 1, 4).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_kmn_n( TL(8, 2, 1, 16).withTags([ AVecReg(SSE_16x8i) ]),
              IxLxI_vtensor( TL(4, 2, 1, 32).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_vtensor( TL(4, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
            SIMD_ISA_Bases1( TL(8, 2, 4, 4).withTags([ AVecReg(SSE_16x8i) ]) ) ),
          SIMD_ISA_Bases1( TL(4, 2, 16, 2).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(64, 2, 1, 2).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_n( TL(32, 2, 1, 4).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_kmn_n( TL(8, 2, 1, 16).withTags([ AVecReg(SSE_16x8i) ]),
              IxLxI_vtensor( TL(4, 2, 1, 32).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_vtensor( TL(4, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
            SIMD_ISA_Bases1( TL(8, 2, 4, 4).withTags([ AVecReg(SSE_16x8i) ]) ) ),
          SIMD_ISA_Bases1( TL(4, 2, 16, 2).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 22.399999999999999,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(32, 8, 1, 8).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := SIMD_ISA_Bases2( TL(32, 8, 1, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
      origtree := SIMD_ISA_Bases2( TL(32, 8, 1, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
      measured := 16,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(32, 8, 8, 1).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_IxLxI_down( TL(32, 8, 8, 1).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
          SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_IxLxI_down( TL(32, 8, 8, 1).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
          SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 32,
      globalUnrolling := 10000 ) ]);
SIMD_ISA_DB.hashAdd(TL(8, 4, 4, 8).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_km( TL(8, 4, 4, 8).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(4, 2, 8, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_kmn_km( TL(8, 4, 4, 8).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(4, 2, 8, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 16,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(8, 4, 8, 4).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(8, 4, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(8, 4, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
      measured := 16,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(16, 4, 1, 16).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(16, 4, 1, 16).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_km( TL(8, 4, 1, 32).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 1, 64).withTags([ AVecReg(SSE_16x8i) ]) ) ),
          IxLxI_kmn_km( TL(8, 4, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      origtree := IxLxI_kmn_n( TL(16, 4, 1, 16).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_km( TL(8, 4, 1, 32).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 1, 64).withTags([ AVecReg(SSE_16x8i) ]) ) ),
          IxLxI_kmn_km( TL(8, 4, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      measured := 0,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(16, 4, 16, 1).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_IxLxI_down( TL(16, 4, 16, 1).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(16, 8, 16, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
          SIMD_ISA_Bases1( TL(16, 8, 16, 1).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_IxLxI_down( TL(16, 4, 16, 1).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(16, 8, 16, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
          SIMD_ISA_Bases1( TL(16, 8, 16, 1).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 99.200000000000003,
      globalUnrolling := 10000 ) ]);
SIMD_ISA_DB.hashAdd(TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ),
      origtree := IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ),
      measured := 0,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(32, 2, 2, 4).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(32, 2, 2, 4).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_n( TL(8, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
          SIMD_ISA_Bases1( TL(8, 2, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(32, 2, 2, 4).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_n( TL(8, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
          SIMD_ISA_Bases1( TL(8, 2, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 16,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(4, 2, 32, 2).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(4, 2, 32, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(4, 2, 32, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
      measured := 28.800000000000001,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(32, 2, 4, 2).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(32, 2, 4, 2).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_n( TL(16, 2, 4, 4).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
            SIMD_ISA_Bases1( TL(8, 2, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ) ),
          SIMD_ISA_Bases1( TL(4, 2, 32, 2).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(32, 2, 4, 2).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_n( TL(16, 2, 4, 4).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
            SIMD_ISA_Bases1( TL(8, 2, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ) ),
          SIMD_ISA_Bases1( TL(4, 2, 32, 2).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 44.799999999999997,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(32, 4, 2, 2).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(32, 4, 2, 2).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_km( TL(8, 4, 2, 8).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(4, 2, 4, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
          IxLxI_IxLxI_down( TL(16, 4, 4, 2).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(16, 8, 4, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
            SIMD_ISA_Bases1( TL(16, 8, 4, 2).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      origtree := IxLxI_kmn_n( TL(32, 4, 2, 2).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_km( TL(8, 4, 2, 8).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(4, 2, 4, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
          IxLxI_IxLxI_down( TL(16, 4, 4, 2).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(16, 8, 4, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
            SIMD_ISA_Bases1( TL(16, 8, 4, 2).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      measured := 24,
      globalUnrolling := 10000 ) ]);
SIMD_ISA_DB.hashAdd(TL(16, 2, 1, 2).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(16, 2, 1, 2).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(8, 2, 1, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
          SIMD_ISA_Bases1( TL(4, 2, 4, 2).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(16, 2, 1, 2).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(8, 2, 1, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
          SIMD_ISA_Bases1( TL(4, 2, 4, 2).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 5.5999999999999996,
      globalUnrolling := 64 ) ]);
SIMD_ISA_DB.hashAdd(TL(16, 2, 2, 1).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_IxLxI_down( TL(16, 2, 2, 1).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(16, 8, 2, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_IxLxI_down( TL(16, 4, 2, 1).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(16, 8, 2, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
            SIMD_ISA_Bases1( TL(16, 8, 2, 1).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      origtree := IxLxI_IxLxI_down( TL(16, 2, 2, 1).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(16, 8, 2, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_IxLxI_down( TL(16, 4, 2, 1).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(16, 8, 2, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
            SIMD_ISA_Bases1( TL(16, 8, 2, 1).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      measured := 18.600000000000001,
      globalUnrolling := 10000 ) ]);
SIMD_ISA_DB.hashAdd(TL(8, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(8, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(8, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 0,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(16, 2, 2, 8).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(16, 2, 2, 8).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_n( TL(8, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
          SIMD_ISA_Bases1( TL(4, 2, 8, 8).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(16, 2, 2, 8).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_n( TL(8, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
          SIMD_ISA_Bases1( TL(4, 2, 8, 8).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 16,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(8, 2, 16, 2).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(8, 2, 16, 2).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(4, 2, 16, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
          SIMD_ISA_Bases1( TL(4, 2, 32, 2).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(8, 2, 16, 2).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(4, 2, 16, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
          SIMD_ISA_Bases1( TL(4, 2, 32, 2).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 78.400000000000006,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(16, 2, 8, 2).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(16, 2, 8, 2).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(8, 2, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
          SIMD_ISA_Bases1( TL(4, 2, 32, 2).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(16, 2, 8, 2).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(8, 2, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
          SIMD_ISA_Bases1( TL(4, 2, 32, 2).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 44.799999999999997,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(64, 16, 2, 2).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(64, 16, 2, 2).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_km( TL(32, 16, 2, 4).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(8, 4, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_kmn_km( TL(8, 4, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
              IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
          IxLxI_kmn_km( TL(32, 16, 4, 2).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(16, 8, 8, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      origtree := IxLxI_kmn_n( TL(64, 16, 2, 2).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_km( TL(32, 16, 2, 4).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(8, 4, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_kmn_km( TL(8, 4, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
              IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
          IxLxI_kmn_km( TL(32, 16, 4, 2).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(16, 8, 8, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      measured := 32,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(128, 16, 1, 2).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(128, 16, 1, 2).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_n( TL(64, 16, 1, 4).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases2( TL(32, 16, 1, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_kmn_km( TL(32, 16, 2, 4).withTags([ AVecReg(SSE_16x8i) ]),
              SIMD_ISA_Bases1( TL(8, 4, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_kmn_km( TL(8, 4, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
                IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
                IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ) ) ),
          IxLxI_kmn_km( TL(32, 16, 4, 2).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(16, 8, 8, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      origtree := IxLxI_kmn_n( TL(128, 16, 1, 2).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_n( TL(64, 16, 1, 4).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases2( TL(32, 16, 1, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_kmn_km( TL(32, 16, 2, 4).withTags([ AVecReg(SSE_16x8i) ]),
              SIMD_ISA_Bases1( TL(8, 4, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_kmn_km( TL(8, 4, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
                IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
                IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ) ) ),
          IxLxI_kmn_km( TL(32, 16, 4, 2).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(16, 8, 8, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      measured := 48,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(128, 16, 2, 1).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(128, 16, 2, 1).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_n( TL(64, 16, 2, 2).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_kmn_km( TL(32, 16, 2, 4).withTags([ AVecReg(SSE_16x8i) ]),
              SIMD_ISA_Bases1( TL(8, 4, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_kmn_km( TL(8, 4, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
                IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
                IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
            IxLxI_kmn_km( TL(32, 16, 4, 2).withTags([ AVecReg(SSE_16x8i) ]),
              SIMD_ISA_Bases1( TL(16, 8, 8, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
          SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(128, 16, 2, 1).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_n( TL(64, 16, 2, 2).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_kmn_km( TL(32, 16, 2, 4).withTags([ AVecReg(SSE_16x8i) ]),
              SIMD_ISA_Bases1( TL(8, 4, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_kmn_km( TL(8, 4, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
                IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
                IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
            IxLxI_kmn_km( TL(32, 16, 4, 2).withTags([ AVecReg(SSE_16x8i) ]),
              SIMD_ISA_Bases1( TL(16, 8, 8, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
          SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 48,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(32, 4, 1, 1).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_IxLxI_down( TL(32, 4, 1, 1).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(32, 16, 1, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_IxLxI_down( TL(32, 8, 1, 1).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(32, 16, 1, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
            SIMD_ISA_Bases1( TL(32, 16, 1, 1).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      origtree := IxLxI_IxLxI_down( TL(32, 4, 1, 1).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(32, 16, 1, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_IxLxI_down( TL(32, 8, 1, 1).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(32, 16, 1, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
            SIMD_ISA_Bases1( TL(32, 16, 1, 1).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      measured := 6,
      globalUnrolling := 10000 ) ]);
SIMD_ISA_DB.hashAdd(TL(8, 2, 2, 8).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(8, 2, 2, 8).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_vtensor( TL(4, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
          SIMD_ISA_Bases1( TL(4, 2, 4, 8).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(8, 2, 2, 8).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_vtensor( TL(4, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
          SIMD_ISA_Bases1( TL(4, 2, 4, 8).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 8,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(8, 2, 8, 2).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(8, 2, 8, 2).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(4, 2, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
          SIMD_ISA_Bases1( TL(4, 2, 16, 2).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(8, 2, 8, 2).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(4, 2, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
          SIMD_ISA_Bases1( TL(4, 2, 16, 2).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 39.200000000000003,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(8, 4, 2, 2).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(8, 4, 2, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(8, 4, 2, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
      measured := 6.2000000000000002,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(64, 8, 1, 2).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(64, 8, 1, 2).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_n( TL(32, 8, 1, 4).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases2( TL(16, 8, 1, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_kmn_km( TL(16, 8, 2, 4).withTags([ AVecReg(SSE_16x8i) ]),
              SIMD_ISA_Bases1( TL(8, 4, 4, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_vtensor( TL(4, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
          SIMD_ISA_Bases1( TL(16, 8, 4, 2).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(64, 8, 1, 2).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_n( TL(32, 8, 1, 4).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases2( TL(16, 8, 1, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_kmn_km( TL(16, 8, 2, 4).withTags([ AVecReg(SSE_16x8i) ]),
              SIMD_ISA_Bases1( TL(8, 4, 4, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_vtensor( TL(4, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
          SIMD_ISA_Bases1( TL(16, 8, 4, 2).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 24,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(128, 64, 1, 2).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_km( TL(128, 64, 1, 2).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(16, 8, 8, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_kmn_km( TL(16, 8, 1, 16).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_kmn_km( TL(8, 4, 1, 32).withTags([ AVecReg(SSE_16x8i) ]),
              IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_vtensor( TL(4, 2, 1, 64).withTags([ AVecReg(SSE_16x8i) ]) ) ) ) ),
      origtree := IxLxI_kmn_km( TL(128, 64, 1, 2).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(16, 8, 8, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_kmn_km( TL(16, 8, 1, 16).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_kmn_km( TL(8, 4, 1, 32).withTags([ AVecReg(SSE_16x8i) ]),
              IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_vtensor( TL(4, 2, 1, 64).withTags([ AVecReg(SSE_16x8i) ]) ) ) ) ),
      measured := 16,
      globalUnrolling := 10000 ) ]);
SIMD_ISA_DB.hashAdd(TL(128, 64, 2, 1).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_km( TL(128, 64, 2, 1).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_kmn_km( TL(8, 4, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      origtree := IxLxI_kmn_km( TL(128, 64, 2, 1).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_kmn_km( TL(8, 4, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      measured := 16,
      globalUnrolling := 10000 ) ]);
SIMD_ISA_DB.hashAdd(TL(8, 4, 1, 32).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_km( TL(8, 4, 1, 32).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_vtensor( TL(4, 2, 1, 64).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_kmn_km( TL(8, 4, 1, 32).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_vtensor( TL(4, 2, 1, 64).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 0,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(32, 4, 1, 8).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := SIMD_ISA_Bases2( TL(32, 4, 1, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
      origtree := SIMD_ISA_Bases2( TL(32, 4, 1, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
      measured := 16,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(32, 8, 1, 4).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(32, 8, 1, 4).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases2( TL(16, 8, 1, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_kmn_km( TL(16, 8, 2, 4).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(8, 4, 4, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      origtree := IxLxI_kmn_n( TL(32, 8, 1, 4).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases2( TL(16, 8, 1, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_kmn_km( TL(16, 8, 2, 4).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(8, 4, 4, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      measured := 16,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(32, 4, 8, 1).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_IxLxI_down( TL(32, 4, 8, 1).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_IxLxI_down( TL(32, 8, 8, 1).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
            SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      origtree := IxLxI_IxLxI_down( TL(32, 4, 8, 1).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_IxLxI_down( TL(32, 8, 8, 1).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
            SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      measured := 48,
      globalUnrolling := 10000 ) ]);
SIMD_ISA_DB.hashAdd(TL(16, 4, 4, 4).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(16, 4, 4, 4).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_km( TL(8, 4, 4, 8).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(4, 2, 8, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
          SIMD_ISA_Bases1( TL(8, 4, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(16, 4, 4, 4).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_km( TL(8, 4, 4, 8).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(4, 2, 8, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
          SIMD_ISA_Bases1( TL(8, 4, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 32,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(16, 8, 1, 8).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := SIMD_ISA_Bases2( TL(16, 8, 1, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
      origtree := SIMD_ISA_Bases2( TL(16, 8, 1, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
      measured := 8,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(16, 8, 4, 4).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_km( TL(16, 8, 4, 4).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(8, 4, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_kmn_km( TL(16, 8, 4, 4).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(8, 4, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 16,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(32, 2, 1, 1).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_IxLxI_down( TL(32, 2, 1, 1).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(32, 16, 1, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_IxLxI_down( TL(32, 4, 1, 1).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(32, 16, 1, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_IxLxI_down( TL(32, 8, 1, 1).withTags([ AVecReg(SSE_16x8i) ]),
              SIMD_ISA_Bases1( TL(32, 16, 1, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
              SIMD_ISA_Bases1( TL(32, 16, 1, 1).withTags([ AVecReg(SSE_16x8i) ]) ) ) ) ),
      origtree := IxLxI_IxLxI_down( TL(32, 2, 1, 1).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(32, 16, 1, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_IxLxI_down( TL(32, 4, 1, 1).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(32, 16, 1, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_IxLxI_down( TL(32, 8, 1, 1).withTags([ AVecReg(SSE_16x8i) ]),
              SIMD_ISA_Bases1( TL(32, 16, 1, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
              SIMD_ISA_Bases1( TL(32, 16, 1, 1).withTags([ AVecReg(SSE_16x8i) ]) ) ) ) ),
      measured := 8,
      globalUnrolling := 10000 ) ]);
SIMD_ISA_DB.hashAdd(TL(128, 2, 1, 2).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(128, 2, 1, 2).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_n( TL(64, 2, 1, 4).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_kmn_n( TL(16, 2, 1, 16).withTags([ AVecReg(SSE_16x8i) ]),
              IxLxI_kmn_n( TL(8, 2, 1, 32).withTags([ AVecReg(SSE_16x8i) ]),
                IxLxI_vtensor( TL(4, 2, 1, 64).withTags([ AVecReg(SSE_16x8i) ]) ),
                IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ),
              IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
            SIMD_ISA_Bases1( TL(8, 2, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ) ),
          SIMD_ISA_Bases1( TL(4, 2, 32, 2).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(128, 2, 1, 2).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_n( TL(64, 2, 1, 4).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_kmn_n( TL(16, 2, 1, 16).withTags([ AVecReg(SSE_16x8i) ]),
              IxLxI_kmn_n( TL(8, 2, 1, 32).withTags([ AVecReg(SSE_16x8i) ]),
                IxLxI_vtensor( TL(4, 2, 1, 64).withTags([ AVecReg(SSE_16x8i) ]) ),
                IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ),
              IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
            SIMD_ISA_Bases1( TL(8, 2, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ) ),
          SIMD_ISA_Bases1( TL(4, 2, 32, 2).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 44.799999999999997,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(8, 2, 1, 32).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(8, 2, 1, 32).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_vtensor( TL(4, 2, 1, 64).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(8, 2, 1, 32).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_vtensor( TL(4, 2, 1, 64).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 0,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(32, 2, 1, 8).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := SIMD_ISA_Bases2( TL(32, 2, 1, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
      origtree := SIMD_ISA_Bases2( TL(32, 2, 1, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
      measured := 16,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(32, 2, 8, 1).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_IxLxI_down( TL(32, 2, 8, 1).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_IxLxI_down( TL(32, 4, 8, 1).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_IxLxI_down( TL(32, 8, 8, 1).withTags([ AVecReg(SSE_16x8i) ]),
              SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
              SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ) ) ) ),
      origtree := IxLxI_IxLxI_down( TL(32, 2, 8, 1).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_IxLxI_down( TL(32, 4, 8, 1).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_IxLxI_down( TL(32, 8, 8, 1).withTags([ AVecReg(SSE_16x8i) ]),
              SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
              SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ) ) ) ),
      measured := 64,
      globalUnrolling := 10000 ) ]);
SIMD_ISA_DB.hashAdd(TL(64, 8, 1, 4).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(64, 8, 1, 4).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases2( TL(32, 8, 1, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_kmn_km( TL(16, 8, 4, 4).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(8, 4, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      origtree := IxLxI_kmn_n( TL(64, 8, 1, 4).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases2( TL(32, 8, 1, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_kmn_km( TL(16, 8, 4, 4).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(8, 4, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      measured := 32,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(64, 8, 4, 1).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(64, 8, 4, 1).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_km( TL(16, 8, 4, 4).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(8, 4, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
          IxLxI_IxLxI_down( TL(32, 8, 8, 1).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
            SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      origtree := IxLxI_kmn_n( TL(64, 8, 4, 1).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_km( TL(16, 8, 4, 4).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(8, 4, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
          IxLxI_IxLxI_down( TL(32, 8, 8, 1).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
            SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      measured := 48,
      globalUnrolling := 10000 ) ]);
SIMD_ISA_DB.hashAdd(TL(32, 16, 1, 1).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(32, 16, 1, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(32, 16, 1, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
      measured := 2,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(32, 8, 2, 4).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(32, 8, 2, 4).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_km( TL(16, 8, 2, 8).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(4, 2, 8, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_kmn_km( TL(8, 4, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
              IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
          IxLxI_kmn_km( TL(16, 8, 4, 4).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(8, 4, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      origtree := IxLxI_kmn_n( TL(32, 8, 2, 4).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_km( TL(16, 8, 2, 8).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(4, 2, 8, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_kmn_km( TL(8, 4, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
              IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
          IxLxI_kmn_km( TL(16, 8, 4, 4).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(8, 4, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      measured := 32,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(32, 8, 4, 2).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(32, 8, 4, 2).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_km( TL(16, 8, 4, 4).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(8, 4, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
          SIMD_ISA_Bases1( TL(16, 8, 8, 2).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(32, 8, 4, 2).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_km( TL(16, 8, 4, 4).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(8, 4, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
          SIMD_ISA_Bases1( TL(16, 8, 8, 2).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 32,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(16, 8, 1, 2).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(16, 8, 1, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(16, 8, 1, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
      measured := 2,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(16, 8, 2, 1).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(16, 8, 2, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(16, 8, 2, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
      measured := 6.2000000000000002,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(8, 2, 1, 16).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(8, 2, 1, 16).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_vtensor( TL(4, 2, 1, 32).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_vtensor( TL(4, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(8, 2, 1, 16).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_vtensor( TL(4, 2, 1, 32).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_vtensor( TL(4, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 0,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(16, 2, 1, 8).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := SIMD_ISA_Bases2( TL(16, 2, 1, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
      origtree := SIMD_ISA_Bases2( TL(16, 2, 1, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
      measured := 8,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(16, 8, 2, 8).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_km( TL(16, 8, 2, 8).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(4, 2, 8, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_kmn_km( TL(8, 4, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      origtree := IxLxI_kmn_km( TL(16, 8, 2, 8).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(4, 2, 8, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_kmn_km( TL(8, 4, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      measured := 16,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(16, 8, 8, 2).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(16, 8, 8, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(16, 8, 8, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
      measured := 16,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(16, 8, 1, 16).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_km( TL(16, 8, 1, 16).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_kmn_km( TL(8, 4, 1, 32).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 1, 64).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      origtree := IxLxI_kmn_km( TL(16, 8, 1, 16).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_kmn_km( TL(8, 4, 1, 32).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 1, 64).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      measured := 0,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(16, 8, 16, 1).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(16, 8, 16, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(16, 8, 16, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
      measured := 49.600000000000001,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(32, 16, 2, 4).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_km( TL(32, 16, 2, 4).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(8, 4, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_kmn_km( TL(8, 4, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      origtree := IxLxI_kmn_km( TL(32, 16, 2, 4).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(8, 4, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_kmn_km( TL(8, 4, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      measured := 16,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(32, 16, 4, 2).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_km( TL(32, 16, 4, 2).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(16, 8, 8, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_kmn_km( TL(32, 16, 4, 2).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(16, 8, 8, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 16,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(4, 2, 1, 64).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_vtensor( TL(4, 2, 1, 64).withTags([ AVecReg(SSE_16x8i) ]) ),
      origtree := IxLxI_vtensor( TL(4, 2, 1, 64).withTags([ AVecReg(SSE_16x8i) ]) ),
      measured := 0,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(64, 2, 1, 4).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(64, 2, 1, 4).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_n( TL(16, 2, 1, 16).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_kmn_n( TL(8, 2, 1, 32).withTags([ AVecReg(SSE_16x8i) ]),
              IxLxI_vtensor( TL(4, 2, 1, 64).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
          SIMD_ISA_Bases1( TL(8, 2, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(64, 2, 1, 4).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_n( TL(16, 2, 1, 16).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_kmn_n( TL(8, 2, 1, 32).withTags([ AVecReg(SSE_16x8i) ]),
              IxLxI_vtensor( TL(4, 2, 1, 64).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
          SIMD_ISA_Bases1( TL(8, 2, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 16,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(64, 4, 1, 2).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(64, 4, 1, 2).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_km( TL(8, 4, 1, 16).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_vtensor( TL(4, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 1, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ),
          IxLxI_kmn_km( TL(32, 4, 2, 2).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_kmn_n( TL(16, 2, 4, 2).withTags([ AVecReg(SSE_16x8i) ]),
              SIMD_ISA_Bases1( TL(8, 2, 4, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
              SIMD_ISA_Bases1( TL(4, 2, 16, 2).withTags([ AVecReg(SSE_16x8i) ]) ) ),
            IxLxI_kmn_n( TL(16, 2, 2, 4).withTags([ AVecReg(SSE_16x8i) ]),
              IxLxI_vtensor( TL(4, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
              SIMD_ISA_Bases1( TL(8, 2, 4, 4).withTags([ AVecReg(SSE_16x8i) ]) ) ) ) ),
      origtree := IxLxI_kmn_n( TL(64, 4, 1, 2).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_km( TL(8, 4, 1, 16).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_vtensor( TL(4, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 1, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ),
          IxLxI_kmn_km( TL(32, 4, 2, 2).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_kmn_n( TL(16, 2, 4, 2).withTags([ AVecReg(SSE_16x8i) ]),
              SIMD_ISA_Bases1( TL(8, 2, 4, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
              SIMD_ISA_Bases1( TL(4, 2, 16, 2).withTags([ AVecReg(SSE_16x8i) ]) ) ),
            IxLxI_kmn_n( TL(16, 2, 2, 4).withTags([ AVecReg(SSE_16x8i) ]),
              IxLxI_vtensor( TL(4, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
              SIMD_ISA_Bases1( TL(8, 2, 4, 4).withTags([ AVecReg(SSE_16x8i) ]) ) ) ) ),
      measured := 30.399999999999999,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(256, 128, 1, 1).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_km( TL(256, 128, 1, 1).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_kmn_km( TL(16, 8, 1, 16).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_kmn_km( TL(8, 4, 1, 32).withTags([ AVecReg(SSE_16x8i) ]),
              IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_vtensor( TL(4, 2, 1, 64).withTags([ AVecReg(SSE_16x8i) ]) ) ) ) ),
      origtree := IxLxI_kmn_km( TL(256, 128, 1, 1).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_kmn_km( TL(16, 8, 1, 16).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_kmn_km( TL(8, 4, 1, 32).withTags([ AVecReg(SSE_16x8i) ]),
              IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_vtensor( TL(4, 2, 1, 64).withTags([ AVecReg(SSE_16x8i) ]) ) ) ) ),
      measured := 16,
      globalUnrolling := 10000 ) ]);
SIMD_ISA_DB.hashAdd(TL(16, 2, 1, 16).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(16, 2, 1, 16).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_n( TL(8, 2, 1, 32).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_vtensor( TL(4, 2, 1, 64).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ),
          IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(16, 2, 1, 16).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_n( TL(8, 2, 1, 32).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_vtensor( TL(4, 2, 1, 64).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ),
          IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 0,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(16, 2, 16, 1).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_IxLxI_down( TL(16, 2, 16, 1).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(16, 8, 16, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_IxLxI_down( TL(16, 4, 16, 1).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(16, 8, 16, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
            SIMD_ISA_Bases1( TL(16, 8, 16, 1).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      origtree := IxLxI_IxLxI_down( TL(16, 2, 16, 1).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(16, 8, 16, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_IxLxI_down( TL(16, 4, 16, 1).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(16, 8, 16, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
            SIMD_ISA_Bases1( TL(16, 8, 16, 1).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      measured := 148.80000000000001,
      globalUnrolling := 10000 ) ]);
SIMD_ISA_DB.hashAdd(TL(4, 2, 1, 8).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(4, 2, 1, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(4, 2, 1, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
      measured := 2,
      globalUnrolling := 64 ) ]);
SIMD_ISA_DB.hashAdd(TL(8, 2, 1, 4).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(8, 2, 1, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(8, 2, 1, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
      measured := 2,
      globalUnrolling := 64 ) ]);
SIMD_ISA_DB.hashAdd(TL(8, 4, 4, 4).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(8, 4, 4, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(8, 4, 4, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
      measured := 8,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(128, 32, 1, 2).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(128, 32, 1, 2).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_km( TL(64, 32, 1, 4).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(8, 4, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_kmn_km( TL(16, 8, 1, 16).withTags([ AVecReg(SSE_16x8i) ]),
              IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_kmn_km( TL(8, 4, 1, 32).withTags([ AVecReg(SSE_16x8i) ]),
                IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ),
                IxLxI_vtensor( TL(4, 2, 1, 64).withTags([ AVecReg(SSE_16x8i) ]) ) ) ) ),
          IxLxI_kmn_km( TL(64, 32, 2, 2).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(16, 8, 8, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_kmn_km( TL(8, 4, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
              IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ) ) ),
      origtree := IxLxI_kmn_n( TL(128, 32, 1, 2).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_km( TL(64, 32, 1, 4).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(8, 4, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_kmn_km( TL(16, 8, 1, 16).withTags([ AVecReg(SSE_16x8i) ]),
              IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_kmn_km( TL(8, 4, 1, 32).withTags([ AVecReg(SSE_16x8i) ]),
                IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ),
                IxLxI_vtensor( TL(4, 2, 1, 64).withTags([ AVecReg(SSE_16x8i) ]) ) ) ) ),
          IxLxI_kmn_km( TL(64, 32, 2, 2).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(16, 8, 8, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_kmn_km( TL(8, 4, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
              IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ) ) ),
      measured := 32,
      globalUnrolling := 10000 ) ]);
SIMD_ISA_DB.hashAdd(TL(128, 32, 2, 1).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(128, 32, 2, 1).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_km( TL(64, 32, 2, 2).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(16, 8, 8, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_kmn_km( TL(8, 4, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
              IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
          IxLxI_kmn_km( TL(64, 32, 4, 1).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      origtree := IxLxI_kmn_n( TL(128, 32, 2, 1).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_km( TL(64, 32, 2, 2).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(16, 8, 8, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_kmn_km( TL(8, 4, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
              IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
          IxLxI_kmn_km( TL(64, 32, 4, 1).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      measured := 32,
      globalUnrolling := 10000 ) ]);
SIMD_ISA_DB.hashAdd(TL(256, 64, 1, 1).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(256, 64, 1, 1).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_km( TL(128, 64, 1, 2).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(16, 8, 8, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_kmn_km( TL(16, 8, 1, 16).withTags([ AVecReg(SSE_16x8i) ]),
              IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_kmn_km( TL(8, 4, 1, 32).withTags([ AVecReg(SSE_16x8i) ]),
                IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ),
                IxLxI_vtensor( TL(4, 2, 1, 64).withTags([ AVecReg(SSE_16x8i) ]) ) ) ) ),
          IxLxI_kmn_km( TL(128, 64, 2, 1).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_kmn_km( TL(8, 4, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
              IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ) ) ),
      origtree := IxLxI_kmn_n( TL(256, 64, 1, 1).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_km( TL(128, 64, 1, 2).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(16, 8, 8, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_kmn_km( TL(16, 8, 1, 16).withTags([ AVecReg(SSE_16x8i) ]),
              IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_kmn_km( TL(8, 4, 1, 32).withTags([ AVecReg(SSE_16x8i) ]),
                IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ),
                IxLxI_vtensor( TL(4, 2, 1, 64).withTags([ AVecReg(SSE_16x8i) ]) ) ) ) ),
          IxLxI_kmn_km( TL(128, 64, 2, 1).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_kmn_km( TL(8, 4, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
              IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ) ) ),
      measured := 32,
      globalUnrolling := 10000 ) ]);
SIMD_ISA_DB.hashAdd(TL(8, 4, 2, 16).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_km( TL(8, 4, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_kmn_km( TL(8, 4, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 0,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(16, 4, 2, 8).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(16, 4, 2, 8).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_km( TL(8, 4, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ),
          IxLxI_kmn_km( TL(8, 4, 4, 8).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(4, 2, 8, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      origtree := IxLxI_kmn_n( TL(16, 4, 2, 8).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_km( TL(8, 4, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ),
          IxLxI_kmn_km( TL(8, 4, 4, 8).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(4, 2, 8, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      measured := 16,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(8, 4, 16, 2).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(8, 4, 16, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(8, 4, 16, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
      measured := 49.600000000000001,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(16, 4, 8, 2).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_IxLxI_down( TL(16, 4, 8, 2).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(16, 8, 8, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
          SIMD_ISA_Bases1( TL(16, 8, 8, 2).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_IxLxI_down( TL(16, 4, 8, 2).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(16, 8, 8, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
          SIMD_ISA_Bases1( TL(16, 8, 8, 2).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 32,
      globalUnrolling := 10000 ) ]);
SIMD_ISA_DB.hashAdd(TL(16, 8, 2, 4).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_km( TL(16, 8, 2, 4).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(8, 4, 4, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_vtensor( TL(4, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_kmn_km( TL(16, 8, 2, 4).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(8, 4, 4, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_vtensor( TL(4, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 8,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(16, 8, 4, 2).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(16, 8, 4, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(16, 8, 4, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
      measured := 8,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(256, 32, 1, 1).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(256, 32, 1, 1).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_n( TL(128, 32, 1, 2).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_kmn_km( TL(64, 32, 1, 4).withTags([ AVecReg(SSE_16x8i) ]),
              SIMD_ISA_Bases1( TL(8, 4, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_kmn_km( TL(16, 8, 1, 16).withTags([ AVecReg(SSE_16x8i) ]),
                IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
                IxLxI_kmn_km( TL(8, 4, 1, 32).withTags([ AVecReg(SSE_16x8i) ]),
                  IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ),
                  IxLxI_vtensor( TL(4, 2, 1, 64).withTags([ AVecReg(SSE_16x8i) ]) ) ) ) ),
            IxLxI_kmn_km( TL(64, 32, 2, 2).withTags([ AVecReg(SSE_16x8i) ]),
              SIMD_ISA_Bases1( TL(16, 8, 8, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_kmn_km( TL(8, 4, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
                IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
                IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ) ) ),
          IxLxI_kmn_km( TL(64, 32, 4, 1).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      origtree := IxLxI_kmn_n( TL(256, 32, 1, 1).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_n( TL(128, 32, 1, 2).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_kmn_km( TL(64, 32, 1, 4).withTags([ AVecReg(SSE_16x8i) ]),
              SIMD_ISA_Bases1( TL(8, 4, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_kmn_km( TL(16, 8, 1, 16).withTags([ AVecReg(SSE_16x8i) ]),
                IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
                IxLxI_kmn_km( TL(8, 4, 1, 32).withTags([ AVecReg(SSE_16x8i) ]),
                  IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ),
                  IxLxI_vtensor( TL(4, 2, 1, 64).withTags([ AVecReg(SSE_16x8i) ]) ) ) ) ),
            IxLxI_kmn_km( TL(64, 32, 2, 2).withTags([ AVecReg(SSE_16x8i) ]),
              SIMD_ISA_Bases1( TL(16, 8, 8, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_kmn_km( TL(8, 4, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
                IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
                IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ) ) ),
          IxLxI_kmn_km( TL(64, 32, 4, 1).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      measured := 48,
      globalUnrolling := 10000 ) ]);
SIMD_ISA_DB.hashAdd(TL(64, 16, 1, 4).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(64, 16, 1, 4).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases2( TL(32, 16, 1, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_kmn_km( TL(32, 16, 2, 4).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(8, 4, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_kmn_km( TL(8, 4, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
              IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ) ) ),
      origtree := IxLxI_kmn_n( TL(64, 16, 1, 4).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases2( TL(32, 16, 1, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_kmn_km( TL(32, 16, 2, 4).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(8, 4, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_kmn_km( TL(8, 4, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
              IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ) ) ),
      measured := 32,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(64, 16, 4, 1).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(64, 16, 4, 1).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_km( TL(32, 16, 4, 2).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(16, 8, 8, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
          SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(64, 16, 4, 1).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_km( TL(32, 16, 4, 2).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(16, 8, 8, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
          SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 32,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(256, 16, 1, 1).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(256, 16, 1, 1).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_n( TL(128, 16, 1, 2).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_kmn_n( TL(64, 16, 1, 4).withTags([ AVecReg(SSE_16x8i) ]),
              SIMD_ISA_Bases2( TL(32, 16, 1, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_kmn_km( TL(32, 16, 2, 4).withTags([ AVecReg(SSE_16x8i) ]),
                SIMD_ISA_Bases1( TL(8, 4, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
                IxLxI_kmn_km( TL(8, 4, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
                  IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
                  IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ) ) ),
            IxLxI_kmn_km( TL(32, 16, 4, 2).withTags([ AVecReg(SSE_16x8i) ]),
              SIMD_ISA_Bases1( TL(16, 8, 8, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
          SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(256, 16, 1, 1).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_n( TL(128, 16, 1, 2).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_kmn_n( TL(64, 16, 1, 4).withTags([ AVecReg(SSE_16x8i) ]),
              SIMD_ISA_Bases2( TL(32, 16, 1, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_kmn_km( TL(32, 16, 2, 4).withTags([ AVecReg(SSE_16x8i) ]),
                SIMD_ISA_Bases1( TL(8, 4, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
                IxLxI_kmn_km( TL(8, 4, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
                  IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
                  IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ) ) ),
            IxLxI_kmn_km( TL(32, 16, 4, 2).withTags([ AVecReg(SSE_16x8i) ]),
              SIMD_ISA_Bases1( TL(16, 8, 8, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
          SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 64,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(64, 2, 2, 2).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(64, 2, 2, 2).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_n( TL(32, 2, 2, 4).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_kmn_n( TL(8, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
              IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
            SIMD_ISA_Bases1( TL(8, 2, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ) ),
          SIMD_ISA_Bases1( TL(4, 2, 32, 2).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(64, 2, 2, 2).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_n( TL(32, 2, 2, 4).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_kmn_n( TL(8, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
              IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
            SIMD_ISA_Bases1( TL(8, 2, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ) ),
          SIMD_ISA_Bases1( TL(4, 2, 32, 2).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 44.799999999999997,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(256, 8, 1, 1).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(256, 8, 1, 1).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_n( TL(128, 8, 1, 2).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_kmn_n( TL(64, 8, 1, 4).withTags([ AVecReg(SSE_16x8i) ]),
              SIMD_ISA_Bases2( TL(32, 8, 1, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_kmn_km( TL(16, 8, 4, 4).withTags([ AVecReg(SSE_16x8i) ]),
                SIMD_ISA_Bases1( TL(8, 4, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
                IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
            SIMD_ISA_Bases1( TL(16, 8, 8, 2).withTags([ AVecReg(SSE_16x8i) ]) ) ),
          SIMD_ISA_Bases1( TL(16, 8, 16, 1).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(256, 8, 1, 1).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_n( TL(128, 8, 1, 2).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_kmn_n( TL(64, 8, 1, 4).withTags([ AVecReg(SSE_16x8i) ]),
              SIMD_ISA_Bases2( TL(32, 8, 1, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_kmn_km( TL(16, 8, 4, 4).withTags([ AVecReg(SSE_16x8i) ]),
                SIMD_ISA_Bases1( TL(8, 4, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
                IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
            SIMD_ISA_Bases1( TL(16, 8, 8, 2).withTags([ AVecReg(SSE_16x8i) ]) ) ),
          SIMD_ISA_Bases1( TL(16, 8, 16, 1).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 97.599999999999994,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(4, 2, 8, 8).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(4, 2, 8, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(4, 2, 8, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
      measured := 16,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(8, 2, 4, 8).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(8, 2, 4, 8).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
          SIMD_ISA_Bases1( TL(4, 2, 8, 8).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(8, 2, 4, 8).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
          SIMD_ISA_Bases1( TL(4, 2, 8, 8).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 16,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(8, 2, 8, 4).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(8, 2, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(8, 2, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
      measured := 16,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(8, 4, 2, 8).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_km( TL(8, 4, 2, 8).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(4, 2, 4, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_vtensor( TL(4, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_kmn_km( TL(8, 4, 2, 8).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(4, 2, 4, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_vtensor( TL(4, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 8,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(8, 4, 8, 2).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(8, 4, 8, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(8, 4, 8, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
      measured := 24.800000000000001,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(32, 2, 2, 2).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(32, 2, 2, 2).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_n( TL(16, 2, 2, 4).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_vtensor( TL(4, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
            SIMD_ISA_Bases1( TL(8, 2, 4, 4).withTags([ AVecReg(SSE_16x8i) ]) ) ),
          SIMD_ISA_Bases1( TL(4, 2, 16, 2).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(32, 2, 2, 2).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_n( TL(16, 2, 2, 4).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_vtensor( TL(4, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
            SIMD_ISA_Bases1( TL(8, 2, 4, 4).withTags([ AVecReg(SSE_16x8i) ]) ) ),
          SIMD_ISA_Bases1( TL(4, 2, 16, 2).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 22.399999999999999,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(64, 4, 2, 2).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(64, 4, 2, 2).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_n( TL(16, 4, 2, 8).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_kmn_km( TL(8, 4, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
              IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ),
            IxLxI_kmn_km( TL(8, 4, 4, 8).withTags([ AVecReg(SSE_16x8i) ]),
              SIMD_ISA_Bases1( TL(4, 2, 8, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
          IxLxI_IxLxI_down( TL(16, 4, 8, 2).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(16, 8, 8, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
            SIMD_ISA_Bases1( TL(16, 8, 8, 2).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      origtree := IxLxI_kmn_n( TL(64, 4, 2, 2).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_n( TL(16, 4, 2, 8).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_kmn_km( TL(8, 4, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
              IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ),
            IxLxI_kmn_km( TL(8, 4, 4, 8).withTags([ AVecReg(SSE_16x8i) ]),
              SIMD_ISA_Bases1( TL(4, 2, 8, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
          IxLxI_IxLxI_down( TL(16, 4, 8, 2).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(16, 8, 8, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
            SIMD_ISA_Bases1( TL(16, 8, 8, 2).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      measured := 48,
      globalUnrolling := 10000 ) ]);
SIMD_ISA_DB.hashAdd(TL(4, 2, 4, 8).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(4, 2, 4, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(4, 2, 4, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
      measured := 8,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(4, 2, 8, 4).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(4, 2, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(4, 2, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
      measured := 24.800000000000001,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(8, 2, 4, 4).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(8, 2, 4, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(8, 2, 4, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
      measured := 8,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(8, 4, 1, 16).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_km( TL(8, 4, 1, 16).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_vtensor( TL(4, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_vtensor( TL(4, 2, 1, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_kmn_km( TL(8, 4, 1, 16).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_vtensor( TL(4, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_vtensor( TL(4, 2, 1, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 0,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(16, 4, 1, 8).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := SIMD_ISA_Bases2( TL(16, 4, 1, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
      origtree := SIMD_ISA_Bases2( TL(16, 4, 1, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
      measured := 8,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(32, 16, 1, 8).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := SIMD_ISA_Bases2( TL(32, 16, 1, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
      origtree := SIMD_ISA_Bases2( TL(32, 16, 1, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
      measured := 16,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
      measured := 16,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(8, 2, 2, 2).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(8, 2, 2, 2).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(4, 2, 2, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
          SIMD_ISA_Bases1( TL(4, 2, 4, 2).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(8, 2, 2, 2).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(4, 2, 2, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
          SIMD_ISA_Bases1( TL(4, 2, 4, 2).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 9.8000000000000007,
      globalUnrolling := 64 ) ]);
SIMD_ISA_DB.hashAdd(TL(64, 32, 2, 2).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_km( TL(64, 32, 2, 2).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(16, 8, 8, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_kmn_km( TL(8, 4, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      origtree := IxLxI_kmn_km( TL(64, 32, 2, 2).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(16, 8, 8, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_kmn_km( TL(8, 4, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      measured := 16,
      globalUnrolling := 10000 ) ]);
SIMD_ISA_DB.hashAdd(TL(4, 2, 1, 32).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_vtensor( TL(4, 2, 1, 32).withTags([ AVecReg(SSE_16x8i) ]) ),
      origtree := IxLxI_vtensor( TL(4, 2, 1, 32).withTags([ AVecReg(SSE_16x8i) ]) ),
      measured := 0,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(32, 2, 1, 4).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(32, 2, 1, 4).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_n( TL(8, 2, 1, 16).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_vtensor( TL(4, 2, 1, 32).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
          SIMD_ISA_Bases1( TL(8, 2, 4, 4).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(32, 2, 1, 4).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_n( TL(8, 2, 1, 16).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_vtensor( TL(4, 2, 1, 32).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
          SIMD_ISA_Bases1( TL(8, 2, 4, 4).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 8,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
      origtree := IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
      measured := 0,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(4, 2, 16, 4).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(4, 2, 16, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(4, 2, 16, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
      measured := 49.600000000000001,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(16, 2, 4, 4).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(16, 2, 4, 4).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
          SIMD_ISA_Bases1( TL(8, 2, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(16, 2, 4, 4).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
          SIMD_ISA_Bases1( TL(8, 2, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 16,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(16, 4, 2, 4).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(16, 4, 2, 4).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_km( TL(8, 4, 2, 8).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(4, 2, 4, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
          SIMD_ISA_Bases1( TL(8, 4, 4, 4).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(16, 4, 2, 4).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_km( TL(8, 4, 2, 8).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(4, 2, 4, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
          SIMD_ISA_Bases1( TL(8, 4, 4, 4).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 16,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(16, 4, 4, 2).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_IxLxI_down( TL(16, 4, 4, 2).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(16, 8, 4, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
          SIMD_ISA_Bases1( TL(16, 8, 4, 2).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_IxLxI_down( TL(16, 4, 4, 2).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(16, 8, 4, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
          SIMD_ISA_Bases1( TL(16, 8, 4, 2).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 16,
      globalUnrolling := 10000 ) ]);
SIMD_ISA_DB.hashAdd(TL(64, 16, 1, 2).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(64, 16, 1, 2).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_km( TL(32, 16, 1, 4).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(8, 4, 4, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_kmn_km( TL(8, 4, 1, 16).withTags([ AVecReg(SSE_16x8i) ]),
              IxLxI_vtensor( TL(4, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_vtensor( TL(4, 2, 1, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
          IxLxI_kmn_km( TL(32, 16, 2, 2).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(16, 8, 4, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      origtree := IxLxI_kmn_n( TL(64, 16, 1, 2).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_km( TL(32, 16, 1, 4).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(8, 4, 4, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_kmn_km( TL(8, 4, 1, 16).withTags([ AVecReg(SSE_16x8i) ]),
              IxLxI_vtensor( TL(4, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_vtensor( TL(4, 2, 1, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
          IxLxI_kmn_km( TL(32, 16, 2, 2).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(16, 8, 4, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      measured := 16,
      globalUnrolling := 10000 ) ]);
SIMD_ISA_DB.hashAdd(TL(64, 4, 1, 4).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(64, 4, 1, 4).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases2( TL(32, 4, 1, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
          SIMD_ISA_Bases1( TL(8, 4, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(64, 4, 1, 4).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases2( TL(32, 4, 1, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
          SIMD_ISA_Bases1( TL(8, 4, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 32,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(64, 4, 4, 1).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(64, 4, 4, 1).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_km( TL(8, 4, 4, 8).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(4, 2, 8, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
          IxLxI_IxLxI_down( TL(32, 4, 8, 1).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_IxLxI_down( TL(32, 8, 8, 1).withTags([ AVecReg(SSE_16x8i) ]),
              SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
              SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ) ) ) ),
      origtree := IxLxI_kmn_n( TL(64, 4, 4, 1).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_km( TL(8, 4, 4, 8).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(4, 2, 8, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
          IxLxI_IxLxI_down( TL(32, 4, 8, 1).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_IxLxI_down( TL(32, 8, 8, 1).withTags([ AVecReg(SSE_16x8i) ]),
              SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
              SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ) ) ) ),
      measured := 64,
      globalUnrolling := 10000 ) ]);
SIMD_ISA_DB.hashAdd(TL(8, 4, 1, 4).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(8, 4, 1, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(8, 4, 1, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
      measured := 2,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(64, 32, 1, 2).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_km( TL(64, 32, 1, 2).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(16, 8, 4, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_kmn_km( TL(8, 4, 1, 16).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_vtensor( TL(4, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 1, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      origtree := IxLxI_kmn_km( TL(64, 32, 1, 2).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(16, 8, 4, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_kmn_km( TL(8, 4, 1, 16).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_vtensor( TL(4, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 1, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      measured := 8,
      globalUnrolling := 10000 ) ]);
SIMD_ISA_DB.hashAdd(TL(64, 8, 2, 2).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(64, 8, 2, 2).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_n( TL(32, 8, 2, 4).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_kmn_km( TL(16, 8, 2, 8).withTags([ AVecReg(SSE_16x8i) ]),
              SIMD_ISA_Bases1( TL(4, 2, 8, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_kmn_km( TL(8, 4, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
                IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
                IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
            IxLxI_kmn_km( TL(16, 8, 4, 4).withTags([ AVecReg(SSE_16x8i) ]),
              SIMD_ISA_Bases1( TL(8, 4, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
          SIMD_ISA_Bases1( TL(16, 8, 8, 2).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(64, 8, 2, 2).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_n( TL(32, 8, 2, 4).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_kmn_km( TL(16, 8, 2, 8).withTags([ AVecReg(SSE_16x8i) ]),
              SIMD_ISA_Bases1( TL(4, 2, 8, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_kmn_km( TL(8, 4, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
                IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
                IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
            IxLxI_kmn_km( TL(16, 8, 4, 4).withTags([ AVecReg(SSE_16x8i) ]),
              SIMD_ISA_Bases1( TL(8, 4, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
          SIMD_ISA_Bases1( TL(16, 8, 8, 2).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 48,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(4, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_vtensor( TL(4, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
      origtree := IxLxI_vtensor( TL(4, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
      measured := 0,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(16, 2, 2, 4).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(16, 2, 2, 4).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_vtensor( TL(4, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
          SIMD_ISA_Bases1( TL(8, 2, 4, 4).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(16, 2, 2, 4).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_vtensor( TL(4, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
          SIMD_ISA_Bases1( TL(8, 2, 4, 4).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 8,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(4, 2, 16, 2).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(4, 2, 16, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(4, 2, 16, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
      measured := 14.4,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(16, 2, 4, 2).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(16, 2, 4, 2).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(8, 2, 4, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
          SIMD_ISA_Bases1( TL(4, 2, 16, 2).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(16, 2, 4, 2).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(8, 2, 4, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
          SIMD_ISA_Bases1( TL(4, 2, 16, 2).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 22.399999999999999,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(32, 16, 2, 2).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_km( TL(32, 16, 2, 2).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(16, 8, 4, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_vtensor( TL(4, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_kmn_km( TL(32, 16, 2, 2).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(16, 8, 4, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_vtensor( TL(4, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 8,
      globalUnrolling := 10000 ) ]);
SIMD_ISA_DB.hashAdd(TL(128, 4, 1, 2).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(128, 4, 1, 2).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_n( TL(16, 4, 1, 16).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_kmn_km( TL(8, 4, 1, 32).withTags([ AVecReg(SSE_16x8i) ]),
              IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_vtensor( TL(4, 2, 1, 64).withTags([ AVecReg(SSE_16x8i) ]) ) ),
            IxLxI_kmn_km( TL(8, 4, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
              IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
          IxLxI_kmn_km( TL(32, 4, 4, 2).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_kmn_n( TL(16, 2, 8, 2).withTags([ AVecReg(SSE_16x8i) ]),
              SIMD_ISA_Bases1( TL(8, 2, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
              SIMD_ISA_Bases1( TL(4, 2, 32, 2).withTags([ AVecReg(SSE_16x8i) ]) ) ),
            IxLxI_kmn_n( TL(16, 2, 4, 4).withTags([ AVecReg(SSE_16x8i) ]),
              IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
              SIMD_ISA_Bases1( TL(8, 2, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ) ) ) ),
      origtree := IxLxI_kmn_n( TL(128, 4, 1, 2).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_n( TL(16, 4, 1, 16).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_kmn_km( TL(8, 4, 1, 32).withTags([ AVecReg(SSE_16x8i) ]),
              IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_vtensor( TL(4, 2, 1, 64).withTags([ AVecReg(SSE_16x8i) ]) ) ),
            IxLxI_kmn_km( TL(8, 4, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
              IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
          IxLxI_kmn_km( TL(32, 4, 4, 2).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_kmn_n( TL(16, 2, 8, 2).withTags([ AVecReg(SSE_16x8i) ]),
              SIMD_ISA_Bases1( TL(8, 2, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
              SIMD_ISA_Bases1( TL(4, 2, 32, 2).withTags([ AVecReg(SSE_16x8i) ]) ) ),
            IxLxI_kmn_n( TL(16, 2, 4, 4).withTags([ AVecReg(SSE_16x8i) ]),
              IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
              SIMD_ISA_Bases1( TL(8, 2, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ) ) ) ),
      measured := 60.799999999999997,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(32, 4, 2, 4).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(32, 4, 2, 4).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_n( TL(16, 4, 2, 8).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_kmn_km( TL(8, 4, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
              IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ),
            IxLxI_kmn_km( TL(8, 4, 4, 8).withTags([ AVecReg(SSE_16x8i) ]),
              SIMD_ISA_Bases1( TL(4, 2, 8, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
          SIMD_ISA_Bases1( TL(8, 4, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(32, 4, 2, 4).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_n( TL(16, 4, 2, 8).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_kmn_km( TL(8, 4, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
              IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ),
            IxLxI_kmn_km( TL(8, 4, 4, 8).withTags([ AVecReg(SSE_16x8i) ]),
              SIMD_ISA_Bases1( TL(4, 2, 8, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
          SIMD_ISA_Bases1( TL(8, 4, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 32,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(32, 4, 4, 2).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(32, 4, 4, 2).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_km( TL(8, 4, 4, 8).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(4, 2, 8, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
          IxLxI_IxLxI_down( TL(16, 4, 8, 2).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(16, 8, 8, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
            SIMD_ISA_Bases1( TL(16, 8, 8, 2).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      origtree := IxLxI_kmn_n( TL(32, 4, 4, 2).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_km( TL(8, 4, 4, 8).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(4, 2, 8, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ),
          IxLxI_IxLxI_down( TL(16, 4, 8, 2).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(16, 8, 8, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
            SIMD_ISA_Bases1( TL(16, 8, 8, 2).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      measured := 48,
      globalUnrolling := 10000 ) ]);
SIMD_ISA_DB.hashAdd(TL(4, 2, 2, 4).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(4, 2, 2, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(4, 2, 2, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
      measured := 6.2000000000000002,
      globalUnrolling := 64 ) ]);
SIMD_ISA_DB.hashAdd(TL(4, 2, 4, 2).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := SIMD_ISA_Bases1( TL(4, 2, 4, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
      origtree := SIMD_ISA_Bases1( TL(4, 2, 4, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
      measured := 3.6000000000000001,
      globalUnrolling := 64 ) ]);
SIMD_ISA_DB.hashAdd(TL(16, 4, 1, 2).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_IxLxI_down( TL(16, 4, 1, 2).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(16, 8, 1, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
          SIMD_ISA_Bases1( TL(16, 8, 1, 2).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_IxLxI_down( TL(16, 4, 1, 2).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(16, 8, 1, 2).withTags([ AVecReg(SSE_16x8i) ]) ),
          SIMD_ISA_Bases1( TL(16, 8, 1, 2).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 4,
      globalUnrolling := 10000 ) ]);
SIMD_ISA_DB.hashAdd(TL(16, 4, 2, 1).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_IxLxI_down( TL(16, 4, 2, 1).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(16, 8, 2, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
          SIMD_ISA_Bases1( TL(16, 8, 2, 1).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_IxLxI_down( TL(16, 4, 2, 1).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(16, 8, 2, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
          SIMD_ISA_Bases1( TL(16, 8, 2, 1).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 12.4,
      globalUnrolling := 10000 ) ]);
SIMD_ISA_DB.hashAdd(TL(32, 8, 1, 1).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_IxLxI_down( TL(32, 8, 1, 1).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(32, 16, 1, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
          SIMD_ISA_Bases1( TL(32, 16, 1, 1).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_IxLxI_down( TL(32, 8, 1, 1).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(32, 16, 1, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
          SIMD_ISA_Bases1( TL(32, 16, 1, 1).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 4,
      globalUnrolling := 10000 ) ]);
SIMD_ISA_DB.hashAdd(TL(32, 4, 1, 4).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(32, 4, 1, 4).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases2( TL(16, 4, 1, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
          SIMD_ISA_Bases1( TL(8, 4, 4, 4).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(32, 4, 1, 4).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases2( TL(16, 4, 1, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
          SIMD_ISA_Bases1( TL(8, 4, 4, 4).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 16,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(32, 16, 1, 4).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_km( TL(32, 16, 1, 4).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(8, 4, 4, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_kmn_km( TL(8, 4, 1, 16).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_vtensor( TL(4, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 1, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      origtree := IxLxI_kmn_km( TL(32, 16, 1, 4).withTags([ AVecReg(SSE_16x8i) ]),
          SIMD_ISA_Bases1( TL(8, 4, 4, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
          IxLxI_kmn_km( TL(8, 4, 1, 16).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_vtensor( TL(4, 2, 2, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_vtensor( TL(4, 2, 1, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      measured := 8,
      globalUnrolling := 10000 ) ]);
SIMD_ISA_DB.hashAdd(TL(128, 8, 1, 2).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(128, 8, 1, 2).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_n( TL(64, 8, 1, 4).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases2( TL(32, 8, 1, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_kmn_km( TL(16, 8, 4, 4).withTags([ AVecReg(SSE_16x8i) ]),
              SIMD_ISA_Bases1( TL(8, 4, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
          SIMD_ISA_Bases1( TL(16, 8, 8, 2).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      origtree := IxLxI_kmn_n( TL(128, 8, 1, 2).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_n( TL(64, 8, 1, 4).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases2( TL(32, 8, 1, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
            IxLxI_kmn_km( TL(16, 8, 4, 4).withTags([ AVecReg(SSE_16x8i) ]),
              SIMD_ISA_Bases1( TL(8, 4, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
          SIMD_ISA_Bases1( TL(16, 8, 8, 2).withTags([ AVecReg(SSE_16x8i) ]) ) ),
      measured := 48,
      globalUnrolling := 8 ) ]);
SIMD_ISA_DB.hashAdd(TL(128, 8, 2, 1).withTags([ AVecReg(SSE_16x8i) ]), [ rec(
      ruletree := IxLxI_kmn_n( TL(128, 8, 2, 1).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_n( TL(32, 8, 2, 4).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_kmn_km( TL(16, 8, 2, 8).withTags([ AVecReg(SSE_16x8i) ]),
              SIMD_ISA_Bases1( TL(4, 2, 8, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_kmn_km( TL(8, 4, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
                IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
                IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
            IxLxI_kmn_km( TL(16, 8, 4, 4).withTags([ AVecReg(SSE_16x8i) ]),
              SIMD_ISA_Bases1( TL(8, 4, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
          IxLxI_IxLxI_down( TL(32, 8, 8, 1).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
            SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      origtree := IxLxI_kmn_n( TL(128, 8, 2, 1).withTags([ AVecReg(SSE_16x8i) ]),
          IxLxI_kmn_n( TL(32, 8, 2, 4).withTags([ AVecReg(SSE_16x8i) ]),
            IxLxI_kmn_km( TL(16, 8, 2, 8).withTags([ AVecReg(SSE_16x8i) ]),
              SIMD_ISA_Bases1( TL(4, 2, 8, 8).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_kmn_km( TL(8, 4, 2, 16).withTags([ AVecReg(SSE_16x8i) ]),
                IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ),
                IxLxI_vtensor( TL(4, 2, 2, 32).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
            IxLxI_kmn_km( TL(16, 8, 4, 4).withTags([ AVecReg(SSE_16x8i) ]),
              SIMD_ISA_Bases1( TL(8, 4, 8, 4).withTags([ AVecReg(SSE_16x8i) ]) ),
              IxLxI_vtensor( TL(4, 2, 4, 16).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
          IxLxI_IxLxI_down( TL(32, 8, 8, 1).withTags([ AVecReg(SSE_16x8i) ]),
            SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ),
            SIMD_ISA_Bases1( TL(32, 16, 8, 1).withTags([ AVecReg(SSE_16x8i) ]) ) ) ),
      measured := 64,
      globalUnrolling := 10000 ) ]);

ext: gi