/*------------------------------------------------------------------------------------------------* * Copyright (C) by the DBCSR developers group - All rights reserved * * This file is part of the DBCSR library. * * * * For information on the license, see the LICENSE file. * * For further information please visit https://dbcsr.cp2k.org * * SPDX-License-Identifier: GPL-2.0+ * *------------------------------------------------------------------------------------------------*/ #include <stdio.h> #include <stdlib.h> #include <vector> #include <array> #include "libsmm_acc_benchmark.h" #include "libsmm_acc.h" /****************************************************************************\ \brief Checks correctness of randomly selected libsmm_acc multiplication kernels \****************************************************************************/ int main(int argc, char** argv) { DBCSR_MARK_USED(argc); DBCSR_MARK_USED(argv); KernelLauncher launcher_mm = libsmm_acc_process_d; char buffer[1000]; char * kernel_descr[1] = {buffer}; // Get all blocksizes available in libsmm_acc std::vector<Triplet> libsmm_acc_triplets = { { 4, 4, 4}, { 4, 4, 5}, { 4, 4, 6}, { 4, 4, 7}, { 4, 4, 8}, { 4, 4, 9}, { 4, 4, 10}, { 4, 4, 13}, { 4, 4, 15}, { 4, 4, 25}, { 4, 4, 26}, { 4, 4, 28}, { 4, 4, 32}, { 4, 4, 45}, { 4, 5, 4}, { 4, 5, 5}, { 4, 5, 6}, { 4, 5, 7}, { 4, 5, 8}, { 4, 5, 9}, { 4, 5, 12}, { 4, 5, 13}, { 4, 5, 25}, { 4, 5, 26}, { 4, 5, 28}, { 4, 5, 31}, { 4, 5, 32}, { 4, 5, 43}, { 4, 5, 45}, { 4, 6, 4}, { 4, 6, 5}, { 4, 6, 6}, { 4, 6, 7}, { 4, 6, 8}, { 4, 6, 9}, { 4, 7, 4}, { 4, 7, 5}, { 4, 7, 6}, { 4, 7, 7}, { 4, 7, 8}, { 4, 7, 9}, { 4, 7, 13}, { 4, 7, 23}, { 4, 7, 25}, { 4, 7, 26}, { 4, 7, 28}, { 4, 7, 32}, { 4, 7, 45}, { 4, 8, 4}, { 4, 8, 5}, { 4, 8, 6}, { 4, 8, 7}, { 4, 8, 8}, { 4, 8, 9}, { 4, 8, 20}, { 4, 8, 26}, { 4, 9, 4}, { 4, 9, 5}, { 4, 9, 6}, { 4, 9, 7}, { 4, 9, 8}, { 4, 9, 9}, { 4, 9, 13}, { 4, 9, 25}, { 4, 9, 26}, { 4, 9, 28}, { 4, 9, 32}, { 4, 9, 45}, { 4, 10, 4}, { 4, 10, 10}, { 4, 10, 15}, { 4, 13, 4}, { 4, 13, 5}, { 4, 13, 7}, { 4, 13, 9}, { 4, 13, 13}, { 4, 13, 25}, { 4, 13, 26}, { 4, 13, 28}, { 4, 13, 32}, { 4, 13, 45}, { 4, 14, 7}, { 4, 15, 4}, { 4, 15, 10}, { 4, 15, 15}, { 4, 15, 27}, { 4, 16, 38}, { 4, 18, 19}, { 4, 19, 5}, { 4, 21, 20}, { 4, 22, 26}, { 4, 25, 4}, { 4, 25, 5}, { 4, 25, 7}, { 4, 25, 9}, { 4, 25, 13}, { 4, 25, 15}, { 4, 25, 25}, { 4, 25, 26}, { 4, 25, 28}, { 4, 25, 32}, { 4, 25, 45}, { 4, 26, 4}, { 4, 26, 5}, { 4, 26, 7}, { 4, 26, 9}, { 4, 26, 13}, { 4, 26, 17}, { 4, 26, 25}, { 4, 26, 26}, { 4, 26, 28}, { 4, 26, 32}, { 4, 26, 42}, { 4, 26, 45}, { 4, 28, 4}, { 4, 28, 5}, { 4, 28, 7}, { 4, 28, 9}, { 4, 28, 13}, { 4, 28, 25}, { 4, 28, 26}, { 4, 28, 28}, { 4, 28, 32}, { 4, 28, 39}, { 4, 28, 45}, { 4, 29, 23}, { 4, 32, 4}, { 4, 32, 5}, { 4, 32, 7}, { 4, 32, 9}, { 4, 32, 13}, { 4, 32, 25}, { 4, 32, 26}, { 4, 32, 28}, { 4, 32, 32}, { 4, 32, 45}, { 4, 39, 22}, { 4, 40, 19}, { 4, 42, 11}, { 4, 42, 36}, { 4, 44, 23}, { 4, 44, 26}, { 4, 45, 4}, { 4, 45, 5}, { 4, 45, 7}, { 4, 45, 9}, { 4, 45, 13}, { 4, 45, 16}, { 4, 45, 25}, { 4, 45, 26}, { 4, 45, 28}, { 4, 45, 32}, { 4, 45, 45}, { 5, 4, 4}, { 5, 4, 5}, { 5, 4, 6}, { 5, 4, 7}, { 5, 4, 8}, { 5, 4, 9}, { 5, 4, 10}, { 5, 4, 13}, { 5, 4, 25}, { 5, 4, 26}, { 5, 4, 28}, { 5, 4, 32}, { 5, 4, 39}, { 5, 4, 40}, { 5, 4, 45}, { 5, 5, 4}, { 5, 5, 5}, { 5, 5, 6}, { 5, 5, 7}, { 5, 5, 8}, { 5, 5, 9}, { 5, 5, 12}, { 5, 5, 13}, { 5, 5, 16}, { 5, 5, 24}, { 5, 5, 25}, { 5, 5, 26}, { 5, 5, 28}, { 5, 5, 32}, { 5, 5, 38}, { 5, 5, 45}, { 5, 6, 4}, { 5, 6, 5}, { 5, 6, 6}, { 5, 6, 7}, { 5, 6, 8}, { 5, 6, 9}, { 5, 6, 45}, { 5, 7, 4}, { 5, 7, 5}, { 5, 7, 6}, { 5, 7, 7}, { 5, 7, 8}, { 5, 7, 9}, { 5, 7, 13}, { 5, 7, 25}, { 5, 7, 26}, { 5, 7, 28}, { 5, 7, 32}, { 5, 7, 36}, { 5, 7, 45}, { 5, 8, 4}, { 5, 8, 5}, { 5, 8, 6}, { 5, 8, 7}, { 5, 8, 8}, { 5, 8, 9}, { 5, 9, 4}, { 5, 9, 5}, { 5, 9, 6}, { 5, 9, 7}, { 5, 9, 8}, { 5, 9, 9}, { 5, 9, 13}, { 5, 9, 25}, { 5, 9, 26}, { 5, 9, 28}, { 5, 9, 32}, { 5, 9, 45}, { 5, 11, 24}, { 5, 12, 5}, { 5, 12, 9}, { 5, 12, 12}, { 5, 12, 13}, { 5, 12, 25}, { 5, 12, 26}, { 5, 12, 32}, { 5, 13, 4}, { 5, 13, 5}, { 5, 13, 6}, { 5, 13, 7}, { 5, 13, 9}, { 5, 13, 12}, { 5, 13, 13}, { 5, 13, 16}, { 5, 13, 24}, { 5, 13, 25}, { 5, 13, 26}, { 5, 13, 28}, { 5, 13, 32}, { 5, 13, 45}, { 5, 16, 5}, { 5, 16, 8}, { 5, 16, 13}, { 5, 16, 16}, { 5, 16, 32}, { 5, 17, 8}, { 5, 17, 9}, { 5, 17, 37}, { 5, 18, 32}, { 5, 19, 42}, { 5, 21, 5}, { 5, 21, 44}, { 5, 22, 41}, { 5, 23, 27}, { 5, 24, 5}, { 5, 24, 13}, { 5, 24, 24}, { 5, 24, 26}, { 5, 24, 32}, { 5, 25, 4}, { 5, 25, 5}, { 5, 25, 7}, { 5, 25, 9}, { 5, 25, 13}, { 5, 25, 25}, { 5, 25, 26}, { 5, 25, 28}, { 5, 25, 32}, { 5, 25, 45}, { 5, 26, 4}, { 5, 26, 5}, { 5, 26, 7}, { 5, 26, 9}, { 5, 26, 12}, { 5, 26, 13}, { 5, 26, 24}, { 5, 26, 25}, { 5, 26, 26}, { 5, 26, 28}, { 5, 26, 32}, { 5, 26, 37}, { 5, 26, 45}, { 5, 28, 4}, { 5, 28, 5}, { 5, 28, 7}, { 5, 28, 9}, { 5, 28, 13}, { 5, 28, 25}, { 5, 28, 26}, { 5, 28, 28}, { 5, 28, 32}, { 5, 28, 45}, { 5, 30, 13}, { 5, 30, 45}, { 5, 31, 45}, { 5, 32, 4}, { 5, 32, 5}, { 5, 32, 7}, { 5, 32, 9}, { 5, 32, 12}, { 5, 32, 13}, { 5, 32, 16}, { 5, 32, 24}, { 5, 32, 25}, { 5, 32, 26}, { 5, 32, 28}, { 5, 32, 32}, { 5, 32, 45}, { 5, 36, 35}, { 5, 42, 35}, { 5, 45, 4}, { 5, 45, 5}, { 5, 45, 7}, { 5, 45, 9}, { 5, 45, 13}, { 5, 45, 14}, { 5, 45, 25}, { 5, 45, 26}, { 5, 45, 28}, { 5, 45, 32}, { 5, 45, 45}, { 6, 4, 4}, { 6, 4, 5}, { 6, 4, 6}, { 6, 4, 7}, { 6, 4, 8}, { 6, 4, 9}, { 6, 5, 4}, { 6, 5, 5}, { 6, 5, 6}, { 6, 5, 7}, { 6, 5, 8}, { 6, 5, 9}, { 6, 6, 4}, { 6, 6, 5}, { 6, 6, 6}, { 6, 6, 7}, { 6, 6, 8}, { 6, 6, 9}, { 6, 6, 17}, { 6, 7, 4}, { 6, 7, 5}, { 6, 7, 6}, { 6, 7, 7}, { 6, 7, 8}, { 6, 7, 9}, { 6, 7, 24}, { 6, 8, 4}, { 6, 8, 5}, { 6, 8, 6}, { 6, 8, 7}, { 6, 8, 8}, { 6, 8, 9}, { 6, 9, 4}, { 6, 9, 5}, { 6, 9, 6}, { 6, 9, 7}, { 6, 9, 8}, { 6, 9, 9}, { 6, 10, 10}, { 6, 10, 43}, { 6, 11, 37}, { 6, 12, 42}, { 6, 14, 18}, { 6, 15, 30}, { 6, 15, 32}, { 6, 16, 37}, { 6, 19, 5}, { 6, 25, 17}, { 6, 27, 8}, { 6, 29, 33}, { 6, 33, 22}, { 6, 34, 30}, { 6, 37, 5}, { 6, 43, 17}, { 7, 4, 4}, { 7, 4, 5}, { 7, 4, 6}, { 7, 4, 7}, { 7, 4, 8}, { 7, 4, 9}, { 7, 4, 13}, { 7, 4, 25}, { 7, 4, 26}, { 7, 4, 28}, { 7, 4, 32}, { 7, 4, 45}, { 7, 5, 4}, { 7, 5, 5}, { 7, 5, 6}, { 7, 5, 7}, { 7, 5, 8}, { 7, 5, 9}, { 7, 5, 13}, { 7, 5, 25}, { 7, 5, 26}, { 7, 5, 28}, { 7, 5, 32}, { 7, 5, 45}, { 7, 6, 4}, { 7, 6, 5}, { 7, 6, 6}, { 7, 6, 7}, { 7, 6, 8}, { 7, 6, 9}, { 7, 6, 37}, { 7, 7, 4}, { 7, 7, 5}, { 7, 7, 6}, { 7, 7, 7}, { 7, 7, 8}, { 7, 7, 9}, { 7, 7, 13}, { 7, 7, 25}, { 7, 7, 26}, { 7, 7, 28}, { 7, 7, 32}, { 7, 7, 45}, { 7, 8, 4}, { 7, 8, 5}, { 7, 8, 6}, { 7, 8, 7}, { 7, 8, 8}, { 7, 8, 9}, { 7, 8, 25}, { 7, 9, 4}, { 7, 9, 5}, { 7, 9, 6}, { 7, 9, 7}, { 7, 9, 8}, { 7, 9, 9}, { 7, 9, 13}, { 7, 9, 25}, { 7, 9, 26}, { 7, 9, 28}, { 7, 9, 32}, { 7, 9, 45}, { 7, 11, 12}, { 7, 11, 14}, { 7, 11, 35}, { 7, 12, 14}, { 7, 13, 4}, { 7, 13, 5}, { 7, 13, 7}, { 7, 13, 9}, { 7, 13, 13}, { 7, 13, 21}, { 7, 13, 25}, { 7, 13, 26}, { 7, 13, 28}, { 7, 13, 32}, { 7, 13, 45}, { 7, 14, 18}, { 7, 16, 24}, { 7, 18, 25}, { 7, 19, 40}, { 7, 20, 17}, { 7, 20, 38}, { 7, 21, 40}, { 7, 21, 44}, { 7, 22, 33}, { 7, 24, 16}, { 7, 25, 4}, { 7, 25, 5}, { 7, 25, 7}, { 7, 25, 9}, { 7, 25, 13}, { 7, 25, 25}, { 7, 25, 26}, { 7, 25, 28}, { 7, 25, 32}, { 7, 25, 45}, { 7, 26, 4}, { 7, 26, 5}, { 7, 26, 7}, { 7, 26, 9}, { 7, 26, 13}, { 7, 26, 25}, { 7, 26, 26}, { 7, 26, 28}, { 7, 26, 32}, { 7, 26, 45}, { 7, 27, 39}, { 7, 28, 4}, { 7, 28, 5}, { 7, 28, 7}, { 7, 28, 9}, { 7, 28, 13}, { 7, 28, 23}, { 7, 28, 25}, { 7, 28, 26}, { 7, 28, 28}, { 7, 28, 32}, { 7, 28, 45}, { 7, 29, 36}, { 7, 30, 41}, { 7, 31, 28}, { 7, 31, 38}, { 7, 32, 4}, { 7, 32, 5}, { 7, 32, 7}, { 7, 32, 9}, { 7, 32, 13}, { 7, 32, 25}, { 7, 32, 26}, { 7, 32, 28}, { 7, 32, 32}, { 7, 32, 45}, { 7, 34, 33}, { 7, 35, 5}, { 7, 35, 6}, { 7, 35, 8}, { 7, 36, 8}, { 7, 40, 4}, { 7, 40, 6}, { 7, 42, 7}, { 7, 43, 27}, { 7, 43, 31}, { 7, 44, 43}, { 7, 45, 4}, { 7, 45, 5}, { 7, 45, 7}, { 7, 45, 9}, { 7, 45, 13}, { 7, 45, 25}, { 7, 45, 26}, { 7, 45, 28}, { 7, 45, 32}, { 7, 45, 45}, { 8, 4, 4}, { 8, 4, 5}, { 8, 4, 6}, { 8, 4, 7}, { 8, 4, 8}, { 8, 4, 9}, { 8, 4, 23}, { 8, 5, 4}, { 8, 5, 5}, { 8, 5, 6}, { 8, 5, 7}, { 8, 5, 8}, { 8, 5, 9}, { 8, 5, 13}, { 8, 5, 29}, { 8, 6, 4}, { 8, 6, 5}, { 8, 6, 6}, { 8, 6, 7}, { 8, 6, 8}, { 8, 6, 9}, { 8, 7, 4}, { 8, 7, 5}, { 8, 7, 6}, { 8, 7, 7}, { 8, 7, 8}, { 8, 7, 9}, { 8, 7, 42}, { 8, 8, 4}, { 8, 8, 5}, { 8, 8, 6}, { 8, 8, 7}, { 8, 8, 8}, { 8, 8, 9}, { 8, 8, 26}, { 8, 9, 4}, { 8, 9, 5}, { 8, 9, 6}, { 8, 9, 7}, { 8, 9, 8}, { 8, 9, 9}, { 8, 10, 35}, { 8, 12, 10}, { 8, 13, 20}, { 8, 16, 28}, { 8, 18, 35}, { 8, 19, 5}, { 8, 19, 37}, { 8, 24, 8}, { 8, 25, 4}, { 8, 25, 43}, { 8, 26, 36}, { 8, 28, 44}, { 8, 30, 12}, { 8, 30, 32}, { 8, 31, 13}, { 8, 34, 14}, { 8, 38, 34}, { 8, 39, 11}, { 8, 39, 39}, { 8, 40, 16}, { 8, 43, 19}, { 9, 4, 4}, { 9, 4, 5}, { 9, 4, 6}, { 9, 4, 7}, { 9, 4, 8}, { 9, 4, 9}, { 9, 4, 13}, { 9, 4, 25}, { 9, 4, 26}, { 9, 4, 28}, { 9, 4, 32}, { 9, 4, 45}, { 9, 5, 4}, { 9, 5, 5}, { 9, 5, 6}, { 9, 5, 7}, { 9, 5, 8}, { 9, 5, 9}, { 9, 5, 13}, { 9, 5, 25}, { 9, 5, 26}, { 9, 5, 28}, { 9, 5, 32}, { 9, 5, 36}, { 9, 5, 45}, { 9, 6, 4}, { 9, 6, 5}, { 9, 6, 6}, { 9, 6, 7}, { 9, 6, 8}, { 9, 6, 9}, { 9, 7, 4}, { 9, 7, 5}, { 9, 7, 6}, { 9, 7, 7}, { 9, 7, 8}, { 9, 7, 9}, { 9, 7, 13}, { 9, 7, 18}, { 9, 7, 25}, { 9, 7, 26}, { 9, 7, 28}, { 9, 7, 32}, { 9, 7, 45}, { 9, 8, 4}, { 9, 8, 5}, { 9, 8, 6}, { 9, 8, 7}, { 9, 8, 8}, { 9, 8, 9}, { 9, 9, 4}, { 9, 9, 5}, { 9, 9, 6}, { 9, 9, 7}, { 9, 9, 8}, { 9, 9, 9}, { 9, 9, 10}, { 9, 9, 12}, { 9, 9, 13}, { 9, 9, 22}, { 9, 9, 25}, { 9, 9, 26}, { 9, 9, 28}, { 9, 9, 32}, { 9, 9, 45}, { 9, 10, 9}, { 9, 10, 10}, { 9, 10, 12}, { 9, 10, 32}, { 9, 11, 6}, { 9, 11, 30}, { 9, 12, 9}, { 9, 12, 10}, { 9, 12, 12}, { 9, 12, 19}, { 9, 12, 32}, { 9, 13, 4}, { 9, 13, 5}, { 9, 13, 7}, { 9, 13, 9}, { 9, 13, 13}, { 9, 13, 22}, { 9, 13, 25}, { 9, 13, 26}, { 9, 13, 28}, { 9, 13, 32}, { 9, 13, 45}, { 9, 16, 8}, { 9, 17, 15}, { 9, 17, 24}, { 9, 19, 43}, { 9, 21, 9}, { 9, 22, 9}, { 9, 22, 22}, { 9, 22, 32}, { 9, 23, 10}, { 9, 23, 30}, { 9, 24, 6}, { 9, 25, 4}, { 9, 25, 5}, { 9, 25, 7}, { 9, 25, 9}, { 9, 25, 13}, { 9, 25, 25}, { 9, 25, 26}, { 9, 25, 28}, { 9, 25, 32}, { 9, 25, 40}, { 9, 25, 45}, { 9, 26, 4}, { 9, 26, 5}, { 9, 26, 7}, { 9, 26, 9}, { 9, 26, 13}, { 9, 26, 25}, { 9, 26, 26}, { 9, 26, 28}, { 9, 26, 32}, { 9, 26, 45}, { 9, 28, 4}, { 9, 28, 5}, { 9, 28, 7}, { 9, 28, 9}, { 9, 28, 13}, { 9, 28, 25}, { 9, 28, 26}, { 9, 28, 28}, { 9, 28, 31}, { 9, 28, 32}, { 9, 28, 45}, { 9, 29, 25}, { 9, 29, 42}, { 9, 32, 4}, { 9, 32, 5}, { 9, 32, 7}, { 9, 32, 9}, { 9, 32, 10}, { 9, 32, 12}, { 9, 32, 13}, { 9, 32, 17}, { 9, 32, 22}, { 9, 32, 25}, { 9, 32, 26}, { 9, 32, 28}, { 9, 32, 32}, { 9, 32, 45}, { 9, 34, 42}, { 9, 35, 8}, { 9, 35, 16}, { 9, 36, 4}, { 9, 37, 44}, { 9, 39, 25}, { 9, 42, 26}, { 9, 45, 4}, { 9, 45, 5}, { 9, 45, 7}, { 9, 45, 9}, { 9, 45, 13}, { 9, 45, 25}, { 9, 45, 26}, { 9, 45, 28}, { 9, 45, 30}, { 9, 45, 32}, { 9, 45, 45}, {10, 4, 4}, {10, 4, 10}, {10, 4, 15}, {10, 6, 18}, {10, 8, 30}, {10, 9, 9}, {10, 9, 10}, {10, 9, 12}, {10, 9, 32}, {10, 10, 4}, {10, 10, 9}, {10, 10, 10}, {10, 10, 11}, {10, 10, 12}, {10, 10, 15}, {10, 10, 32}, {10, 11, 40}, {10, 12, 9}, {10, 12, 10}, {10, 12, 12}, {10, 12, 32}, {10, 13, 8}, {10, 13, 25}, {10, 14, 20}, {10, 14, 44}, {10, 15, 4}, {10, 15, 10}, {10, 15, 15}, {10, 15, 27}, {10, 16, 8}, {10, 16, 40}, {10, 17, 35}, {10, 20, 33}, {10, 21, 11}, {10, 23, 44}, {10, 27, 27}, {10, 31, 42}, {10, 32, 9}, {10, 32, 10}, {10, 32, 12}, {10, 32, 32}, {10, 34, 42}, {10, 37, 4}, {10, 38, 44}, {10, 40, 39}, {10, 42, 29}, {10, 44, 7}, {10, 44, 23}, {11, 4, 38}, {11, 4, 40}, {11, 6, 19}, {11, 10, 25}, {11, 11, 11}, {11, 11, 12}, {11, 11, 20}, {11, 11, 25}, {11, 11, 32}, {11, 12, 11}, {11, 12, 12}, {11, 12, 20}, {11, 12, 25}, {11, 12, 32}, {11, 16, 9}, {11, 18, 23}, {11, 19, 21}, {11, 19, 23}, {11, 20, 11}, {11, 20, 12}, {11, 20, 20}, {11, 20, 25}, {11, 20, 32}, {11, 23, 21}, {11, 25, 11}, {11, 25, 12}, {11, 25, 20}, {11, 25, 25}, {11, 25, 32}, {11, 27, 6}, {11, 27, 36}, {11, 29, 28}, {11, 32, 11}, {11, 32, 12}, {11, 32, 20}, {11, 32, 25}, {11, 32, 32}, {11, 38, 18}, {11, 38, 19}, {11, 38, 41}, {11, 39, 15}, {11, 40, 13}, {11, 41, 22}, {11, 42, 8}, {11, 42, 21}, {11, 43, 44}, {11, 44, 9}, {11, 44, 21}, {12, 5, 5}, {12, 5, 7}, {12, 5, 12}, {12, 5, 13}, {12, 5, 26}, {12, 5, 32}, {12, 5, 40}, {12, 7, 11}, {12, 7, 29}, {12, 9, 9}, {12, 9, 10}, {12, 9, 12}, {12, 9, 31}, {12, 9, 32}, {12, 10, 9}, {12, 10, 10}, {12, 10, 12}, {12, 10, 32}, {12, 11, 11}, {12, 11, 12}, {12, 11, 20}, {12, 11, 25}, {12, 11, 32}, {12, 12, 5}, {12, 12, 9}, {12, 12, 10}, {12, 12, 11}, {12, 12, 12}, {12, 12, 13}, {12, 12, 16}, {12, 12, 20}, {12, 12, 25}, {12, 12, 26}, {12, 12, 32}, {12, 13, 5}, {12, 13, 10}, {12, 13, 12}, {12, 13, 13}, {12, 13, 26}, {12, 13, 32}, {12, 16, 12}, {12, 16, 16}, {12, 16, 21}, {12, 16, 32}, {12, 20, 11}, {12, 20, 12}, {12, 20, 20}, {12, 20, 25}, {12, 20, 32}, {12, 21, 6}, {12, 23, 8}, {12, 23, 45}, {12, 25, 11}, {12, 25, 12}, {12, 25, 20}, {12, 25, 25}, {12, 25, 32}, {12, 26, 5}, {12, 26, 12}, {12, 26, 13}, {12, 26, 26}, {12, 26, 32}, {12, 27, 4}, {12, 29, 31}, {12, 29, 37}, {12, 30, 38}, {12, 31, 15}, {12, 32, 5}, {12, 32, 9}, {12, 32, 10}, {12, 32, 11}, {12, 32, 12}, {12, 32, 13}, {12, 32, 16}, {12, 32, 20}, {12, 32, 25}, {12, 32, 26}, {12, 32, 32}, {12, 33, 11}, {12, 36, 36}, {12, 40, 15}, {12, 40, 34}, {12, 42, 16}, {12, 44, 13}, {12, 45, 37}, {13, 4, 4}, {13, 4, 5}, {13, 4, 7}, {13, 4, 9}, {13, 4, 13}, {13, 4, 25}, {13, 4, 26}, {13, 4, 28}, {13, 4, 32}, {13, 4, 45}, {13, 5, 4}, {13, 5, 5}, {13, 5, 7}, {13, 5, 9}, {13, 5, 10}, {13, 5, 12}, {13, 5, 13}, {13, 5, 16}, {13, 5, 24}, {13, 5, 25}, {13, 5, 26}, {13, 5, 28}, {13, 5, 32}, {13, 5, 45}, {13, 6, 43}, {13, 7, 4}, {13, 7, 5}, {13, 7, 7}, {13, 7, 9}, {13, 7, 13}, {13, 7, 25}, {13, 7, 26}, {13, 7, 28}, {13, 7, 31}, {13, 7, 32}, {13, 7, 45}, {13, 9, 4}, {13, 9, 5}, {13, 9, 7}, {13, 9, 9}, {13, 9, 13}, {13, 9, 25}, {13, 9, 26}, {13, 9, 28}, {13, 9, 32}, {13, 9, 45}, {13, 12, 5}, {13, 12, 12}, {13, 12, 13}, {13, 12, 26}, {13, 12, 32}, {13, 13, 4}, {13, 13, 5}, {13, 13, 7}, {13, 13, 9}, {13, 13, 12}, {13, 13, 13}, {13, 13, 14}, {13, 13, 16}, {13, 13, 24}, {13, 13, 25}, {13, 13, 26}, {13, 13, 28}, {13, 13, 32}, {13, 13, 45}, {13, 14, 13}, {13, 14, 14}, {13, 14, 25}, {13, 14, 26}, {13, 14, 32}, {13, 16, 5}, {13, 16, 13}, {13, 16, 16}, {13, 16, 32}, {13, 17, 18}, {13, 17, 22}, {13, 19, 43}, {13, 22, 24}, {13, 24, 5}, {13, 24, 13}, {13, 24, 24}, {13, 24, 26}, {13, 24, 32}, {13, 25, 4}, {13, 25, 5}, {13, 25, 7}, {13, 25, 9}, {13, 25, 13}, {13, 25, 14}, {13, 25, 25}, {13, 25, 26}, {13, 25, 28}, {13, 25, 32}, {13, 25, 44}, {13, 25, 45}, {13, 26, 4}, {13, 26, 5}, {13, 26, 7}, {13, 26, 9}, {13, 26, 12}, {13, 26, 13}, {13, 26, 14}, {13, 26, 24}, {13, 26, 25}, {13, 26, 26}, {13, 26, 28}, {13, 26, 32}, {13, 26, 45}, {13, 27, 25}, {13, 27, 30}, {13, 28, 4}, {13, 28, 5}, {13, 28, 7}, {13, 28, 9}, {13, 28, 13}, {13, 28, 25}, {13, 28, 26}, {13, 28, 27}, {13, 28, 28}, {13, 28, 32}, {13, 28, 45}, {13, 29, 28}, {13, 29, 42}, {13, 32, 4}, {13, 32, 5}, {13, 32, 7}, {13, 32, 9}, {13, 32, 12}, {13, 32, 13}, {13, 32, 14}, {13, 32, 16}, {13, 32, 24}, {13, 32, 25}, {13, 32, 26}, {13, 32, 28}, {13, 32, 32}, {13, 32, 45}, {13, 33, 41}, {13, 34, 25}, {13, 35, 16}, {13, 35, 20}, {13, 39, 24}, {13, 43, 45}, {13, 44, 10}, {13, 45, 4}, {13, 45, 5}, {13, 45, 7}, {13, 45, 9}, {13, 45, 13}, {13, 45, 25}, {13, 45, 26}, {13, 45, 28}, {13, 45, 32}, {13, 45, 45}, {14, 6, 20}, {14, 7, 5}, {14, 7, 21}, {14, 10, 36}, {14, 11, 4}, {14, 11, 20}, {14, 12, 31}, {14, 13, 13}, {14, 13, 14}, {14, 13, 25}, {14, 13, 26}, {14, 13, 32}, {14, 14, 13}, {14, 14, 14}, {14, 14, 16}, {14, 14, 25}, {14, 14, 26}, {14, 14, 29}, {14, 14, 32}, {14, 15, 8}, {14, 16, 14}, {14, 16, 16}, {14, 16, 29}, {14, 20, 23}, {14, 25, 6}, {14, 25, 13}, {14, 25, 14}, {14, 25, 25}, {14, 25, 26}, {14, 25, 32}, {14, 26, 13}, {14, 26, 14}, {14, 26, 25}, {14, 26, 26}, {14, 26, 32}, {14, 27, 9}, {14, 27, 36}, {14, 27, 40}, {14, 29, 14}, {14, 29, 16}, {14, 29, 29}, {14, 29, 32}, {14, 32, 13}, {14, 32, 14}, {14, 32, 25}, {14, 32, 26}, {14, 32, 29}, {14, 32, 32}, {14, 38, 34}, {14, 38, 40}, {14, 40, 19}, {14, 43, 20}, {14, 43, 41}, {14, 44, 15}, {14, 44, 27}, {15, 4, 4}, {15, 4, 10}, {15, 4, 15}, {15, 5, 6}, {15, 7, 9}, {15, 7, 28}, {15, 7, 41}, {15, 8, 12}, {15, 8, 24}, {15, 9, 18}, {15, 10, 4}, {15, 10, 10}, {15, 10, 15}, {15, 11, 44}, {15, 12, 34}, {15, 13, 25}, {15, 14, 16}, {15, 15, 4}, {15, 15, 10}, {15, 15, 15}, {15, 15, 22}, {15, 15, 30}, {15, 17, 6}, {15, 17, 44}, {15, 18, 32}, {15, 19, 20}, {15, 20, 6}, {15, 23, 20}, {15, 26, 27}, {15, 27, 19}, {15, 28, 35}, {15, 32, 7}, {15, 33, 5}, {15, 35, 21}, {15, 38, 30}, {15, 39, 45}, {15, 43, 11}, {15, 44, 10}, {16, 5, 5}, {16, 5, 13}, {16, 5, 16}, {16, 5, 32}, {16, 9, 22}, {16, 9, 36}, {16, 10, 29}, {16, 11, 6}, {16, 11, 28}, {16, 12, 12}, {16, 12, 16}, {16, 12, 32}, {16, 13, 5}, {16, 13, 13}, {16, 13, 16}, {16, 13, 32}, {16, 14, 14}, {16, 14, 16}, {16, 14, 29}, {16, 16, 5}, {16, 16, 12}, {16, 16, 13}, {16, 16, 14}, {16, 16, 16}, {16, 16, 29}, {16, 16, 31}, {16, 16, 32}, {16, 17, 41}, {16, 17, 45}, {16, 20, 8}, {16, 22, 12}, {16, 24, 7}, {16, 26, 28}, {16, 26, 31}, {16, 29, 14}, {16, 29, 16}, {16, 29, 25}, {16, 29, 29}, {16, 31, 15}, {16, 31, 45}, {16, 32, 5}, {16, 32, 10}, {16, 32, 12}, {16, 32, 13}, {16, 32, 16}, {16, 32, 17}, {16, 32, 23}, {16, 32, 32}, {16, 35, 5}, {16, 36, 11}, {16, 37, 6}, {16, 39, 42}, {16, 40, 33}, {16, 43, 29}, {16, 43, 41}, {17, 8, 10}, {17, 8, 35}, {17, 9, 29}, {17, 10, 31}, {17, 10, 42}, {17, 13, 16}, {17, 14, 8}, {17, 14, 25}, {17, 17, 17}, {17, 20, 33}, {17, 24, 14}, {17, 24, 31}, {17, 25, 35}, {17, 26, 11}, {17, 26, 16}, {17, 26, 25}, {17, 26, 26}, {17, 28, 25}, {17, 29, 8}, {17, 31, 10}, {17, 31, 21}, {17, 35, 28}, {17, 37, 36}, {17, 40, 9}, {17, 41, 37}, {18, 6, 12}, {18, 7, 10}, {18, 11, 31}, {18, 13, 44}, {18, 16, 12}, {18, 18, 18}, {18, 18, 38}, {18, 19, 26}, {18, 24, 33}, {18, 25, 18}, {18, 25, 30}, {18, 26, 39}, {18, 28, 44}, {18, 29, 28}, {18, 30, 14}, {18, 30, 15}, {18, 30, 22}, {18, 33, 38}, {18, 37, 4}, {18, 43, 19}, {18, 44, 32}, {19, 6, 26}, {19, 11, 17}, {19, 13, 33}, {19, 15, 43}, {19, 19, 19}, {19, 20, 23}, {19, 21, 10}, {19, 23, 22}, {19, 24, 32}, {19, 25, 25}, {19, 25, 32}, {19, 26, 18}, {19, 27, 32}, {19, 28, 8}, {19, 33, 45}, {19, 35, 9}, {19, 37, 40}, {19, 40, 6}, {19, 41, 6}, {19, 44, 14}, {20, 4, 4}, {20, 6, 37}, {20, 7, 15}, {20, 7, 22}, {20, 7, 40}, {20, 11, 4}, {20, 11, 6}, {20, 11, 10}, {20, 11, 11}, {20, 11, 12}, {20, 11, 20}, {20, 11, 25}, {20, 11, 32}, {20, 12, 11}, {20, 12, 12}, {20, 12, 20}, {20, 12, 25}, {20, 12, 32}, {20, 13, 23}, {20, 13, 32}, {20, 13, 34}, {20, 17, 27}, {20, 18, 36}, {20, 18, 37}, {20, 20, 11}, {20, 20, 12}, {20, 20, 20}, {20, 20, 25}, {20, 20, 32}, {20, 22, 29}, {20, 22, 34}, {20, 25, 11}, {20, 25, 12}, {20, 25, 20}, {20, 25, 25}, {20, 25, 32}, {20, 27, 26}, {20, 29, 27}, {20, 30, 27}, {20, 31, 24}, {20, 32, 11}, {20, 32, 12}, {20, 32, 20}, {20, 32, 25}, {20, 32, 32}, {20, 34, 34}, {20, 36, 11}, {20, 37, 31}, {20, 37, 40}, {20, 38, 29}, {20, 39, 35}, {20, 41, 34}, {20, 42, 43}, {20, 43, 43}, {20, 44, 4}, {20, 44, 24}, {21, 11, 15}, {21, 17, 12}, {21, 20, 41}, {21, 21, 21}, {21, 27, 10}, {21, 27, 29}, {21, 27, 38}, {21, 32, 20}, {21, 39, 45}, {21, 43, 6}, {21, 45, 7}, {21, 45, 31}, {22, 5, 11}, {22, 5, 18}, {22, 8, 13}, {22, 8, 31}, {22, 9, 9}, {22, 9, 22}, {22, 9, 32}, {22, 10, 20}, {22, 13, 35}, {22, 14, 20}, {22, 14, 32}, {22, 15, 14}, {22, 15, 35}, {22, 16, 37}, {22, 19, 39}, {22, 19, 40}, {22, 20, 28}, {22, 22, 9}, {22, 22, 22}, {22, 22, 32}, {22, 26, 10}, {22, 29, 20}, {22, 29, 39}, {22, 32, 9}, {22, 32, 22}, {22, 32, 32}, {22, 35, 33}, {22, 36, 44}, {22, 37, 5}, {22, 37, 15}, {22, 40, 12}, {22, 40, 21}, {22, 43, 34}, {22, 44, 4}, {23, 4, 14}, {23, 5, 6}, {23, 5, 26}, {23, 8, 20}, {23, 11, 45}, {23, 12, 14}, {23, 14, 10}, {23, 16, 19}, {23, 18, 4}, {23, 20, 5}, {23, 22, 42}, {23, 23, 23}, {23, 24, 34}, {23, 28, 22}, {23, 30, 18}, {23, 30, 22}, {23, 33, 34}, {23, 35, 23}, {23, 35, 39}, {23, 35, 40}, {23, 36, 35}, {23, 38, 25}, {23, 38, 36}, {23, 41, 14}, {23, 43, 33}, {23, 44, 12}, {23, 45, 34}, {24, 4, 21}, {24, 5, 5}, {24, 5, 13}, {24, 5, 24}, {24, 5, 26}, {24, 5, 32}, {24, 5, 33}, {24, 5, 39}, {24, 8, 21}, {24, 9, 5}, {24, 10, 21}, {24, 11, 38}, {24, 13, 5}, {24, 13, 7}, {24, 13, 13}, {24, 13, 24}, {24, 13, 26}, {24, 13, 32}, {24, 14, 5}, {24, 15, 16}, {24, 15, 24}, {24, 15, 41}, {24, 19, 18}, {24, 20, 9}, {24, 20, 41}, {24, 20, 44}, {24, 21, 21}, {24, 22, 11}, {24, 22, 45}, {24, 23, 8}, {24, 23, 13}, {24, 24, 5}, {24, 24, 13}, {24, 24, 24}, {24, 24, 26}, {24, 24, 32}, {24, 26, 5}, {24, 26, 13}, {24, 26, 24}, {24, 26, 26}, {24, 26, 32}, {24, 28, 27}, {24, 29, 14}, {24, 32, 5}, {24, 32, 10}, {24, 32, 13}, {24, 32, 24}, {24, 32, 26}, {24, 32, 32}, {24, 32, 37}, {24, 34, 45}, {24, 35, 22}, {24, 36, 32}, {24, 38, 37}, {24, 41, 14}, {24, 44, 4}, {24, 44, 43}, {24, 45, 30}, {25, 4, 4}, {25, 4, 5}, {25, 4, 7}, {25, 4, 9}, {25, 4, 13}, {25, 4, 25}, {25, 4, 26}, {25, 4, 28}, {25, 4, 32}, {25, 4, 45}, {25, 5, 4}, {25, 5, 5}, {25, 5, 7}, {25, 5, 9}, {25, 5, 13}, {25, 5, 25}, {25, 5, 26}, {25, 5, 28}, {25, 5, 32}, {25, 5, 45}, {25, 7, 4}, {25, 7, 5}, {25, 7, 7}, {25, 7, 9}, {25, 7, 13}, {25, 7, 14}, {25, 7, 25}, {25, 7, 26}, {25, 7, 28}, {25, 7, 32}, {25, 7, 45}, {25, 9, 4}, {25, 9, 5}, {25, 9, 7}, {25, 9, 9}, {25, 9, 13}, {25, 9, 25}, {25, 9, 26}, {25, 9, 28}, {25, 9, 32}, {25, 9, 45}, {25, 10, 34}, {25, 11, 11}, {25, 11, 12}, {25, 11, 20}, {25, 11, 25}, {25, 11, 32}, {25, 12, 11}, {25, 12, 12}, {25, 12, 20}, {25, 12, 25}, {25, 12, 32}, {25, 13, 4}, {25, 13, 5}, {25, 13, 7}, {25, 13, 9}, {25, 13, 13}, {25, 13, 14}, {25, 13, 25}, {25, 13, 26}, {25, 13, 28}, {25, 13, 32}, {25, 13, 44}, {25, 13, 45}, {25, 14, 13}, {25, 14, 14}, {25, 14, 25}, {25, 14, 26}, {25, 14, 32}, {25, 16, 31}, {25, 18, 12}, {25, 20, 11}, {25, 20, 12}, {25, 20, 20}, {25, 20, 25}, {25, 20, 32}, {25, 21, 38}, {25, 23, 36}, {25, 24, 16}, {25, 24, 43}, {25, 25, 4}, {25, 25, 5}, {25, 25, 7}, {25, 25, 9}, {25, 25, 11}, {25, 25, 12}, {25, 25, 13}, {25, 25, 14}, {25, 25, 20}, {25, 25, 25}, {25, 25, 26}, {25, 25, 28}, {25, 25, 32}, {25, 25, 45}, {25, 26, 4}, {25, 26, 5}, {25, 26, 7}, {25, 26, 9}, {25, 26, 13}, {25, 26, 14}, {25, 26, 25}, {25, 26, 26}, {25, 26, 28}, {25, 26, 32}, {25, 26, 45}, {25, 28, 4}, {25, 28, 5}, {25, 28, 7}, {25, 28, 9}, {25, 28, 13}, {25, 28, 25}, {25, 28, 26}, {25, 28, 28}, {25, 28, 32}, {25, 28, 42}, {25, 28, 45}, {25, 32, 4}, {25, 32, 5}, {25, 32, 7}, {25, 32, 9}, {25, 32, 11}, {25, 32, 12}, {25, 32, 13}, {25, 32, 14}, {25, 32, 20}, {25, 32, 25}, {25, 32, 26}, {25, 32, 28}, {25, 32, 32}, {25, 32, 45}, {25, 34, 25}, {25, 37, 33}, {25, 41, 28}, {25, 43, 12}, {25, 45, 4}, {25, 45, 5}, {25, 45, 7}, {25, 45, 9}, {25, 45, 13}, {25, 45, 25}, {25, 45, 26}, {25, 45, 28}, {25, 45, 32}, {25, 45, 45}, {26, 4, 4}, {26, 4, 5}, {26, 4, 7}, {26, 4, 9}, {26, 4, 13}, {26, 4, 25}, {26, 4, 26}, {26, 4, 28}, {26, 4, 32}, {26, 4, 45}, {26, 5, 4}, {26, 5, 5}, {26, 5, 7}, {26, 5, 9}, {26, 5, 12}, {26, 5, 13}, {26, 5, 24}, {26, 5, 25}, {26, 5, 26}, {26, 5, 28}, {26, 5, 32}, {26, 5, 45}, {26, 6, 26}, {26, 6, 43}, {26, 7, 4}, {26, 7, 5}, {26, 7, 7}, {26, 7, 9}, {26, 7, 13}, {26, 7, 25}, {26, 7, 26}, {26, 7, 28}, {26, 7, 32}, {26, 7, 36}, {26, 7, 45}, {26, 9, 4}, {26, 9, 5}, {26, 9, 7}, {26, 9, 9}, {26, 9, 13}, {26, 9, 25}, {26, 9, 26}, {26, 9, 28}, {26, 9, 32}, {26, 9, 45}, {26, 11, 6}, {26, 11, 32}, {26, 12, 5}, {26, 12, 12}, {26, 12, 13}, {26, 12, 26}, {26, 12, 32}, {26, 12, 36}, {26, 13, 4}, {26, 13, 5}, {26, 13, 7}, {26, 13, 9}, {26, 13, 12}, {26, 13, 13}, {26, 13, 14}, {26, 13, 24}, {26, 13, 25}, {26, 13, 26}, {26, 13, 28}, {26, 13, 32}, {26, 13, 45}, {26, 14, 13}, {26, 14, 14}, {26, 14, 25}, {26, 14, 26}, {26, 14, 32}, {26, 14, 35}, {26, 15, 23}, {26, 17, 8}, {26, 20, 7}, {26, 21, 18}, {26, 21, 22}, {26, 22, 40}, {26, 24, 5}, {26, 24, 13}, {26, 24, 24}, {26, 24, 26}, {26, 24, 32}, {26, 25, 4}, {26, 25, 5}, {26, 25, 7}, {26, 25, 9}, {26, 25, 13}, {26, 25, 14}, {26, 25, 25}, {26, 25, 26}, {26, 25, 28}, {26, 25, 30}, {26, 25, 32}, {26, 25, 45}, {26, 26, 4}, {26, 26, 5}, {26, 26, 7}, {26, 26, 9}, {26, 26, 12}, {26, 26, 13}, {26, 26, 14}, {26, 26, 24}, {26, 26, 25}, {26, 26, 26}, {26, 26, 28}, {26, 26, 32}, {26, 26, 45}, {26, 28, 4}, {26, 28, 5}, {26, 28, 7}, {26, 28, 9}, {26, 28, 13}, {26, 28, 25}, {26, 28, 26}, {26, 28, 28}, {26, 28, 32}, {26, 28, 45}, {26, 29, 37}, {26, 32, 4}, {26, 32, 5}, {26, 32, 7}, {26, 32, 9}, {26, 32, 12}, {26, 32, 13}, {26, 32, 14}, {26, 32, 24}, {26, 32, 25}, {26, 32, 26}, {26, 32, 28}, {26, 32, 32}, {26, 32, 45}, {26, 41, 43}, {26, 43, 20}, {26, 45, 4}, {26, 45, 5}, {26, 45, 7}, {26, 45, 9}, {26, 45, 13}, {26, 45, 25}, {26, 45, 26}, {26, 45, 28}, {26, 45, 32}, {26, 45, 36}, {26, 45, 45}, {27, 5, 6}, {27, 8, 29}, {27, 9, 4}, {27, 9, 26}, {27, 9, 40}, {27, 10, 37}, {27, 13, 7}, {27, 16, 28}, {27, 17, 18}, {27, 17, 19}, {27, 17, 35}, {27, 21, 29}, {27, 22, 27}, {27, 23, 11}, {27, 23, 28}, {27, 24, 23}, {27, 25, 43}, {27, 26, 15}, {27, 27, 27}, {27, 30, 17}, {27, 32, 19}, {27, 34, 38}, {27, 35, 34}, {27, 36, 25}, {27, 36, 43}, {27, 36, 44}, {27, 42, 6}, {27, 43, 32}, {27, 44, 35}, {27, 45, 22}, {27, 45, 35}, {28, 4, 4}, {28, 4, 5}, {28, 4, 7}, {28, 4, 9}, {28, 4, 13}, {28, 4, 25}, {28, 4, 26}, {28, 4, 28}, {28, 4, 32}, {28, 4, 45}, {28, 5, 4}, {28, 5, 5}, {28, 5, 7}, {28, 5, 9}, {28, 5, 13}, {28, 5, 25}, {28, 5, 26}, {28, 5, 28}, {28, 5, 32}, {28, 5, 45}, {28, 6, 33}, {28, 7, 4}, {28, 7, 5}, {28, 7, 7}, {28, 7, 9}, {28, 7, 13}, {28, 7, 25}, {28, 7, 26}, {28, 7, 28}, {28, 7, 32}, {28, 7, 45}, {28, 9, 4}, {28, 9, 5}, {28, 9, 7}, {28, 9, 9}, {28, 9, 13}, {28, 9, 25}, {28, 9, 26}, {28, 9, 28}, {28, 9, 32}, {28, 9, 45}, {28, 13, 4}, {28, 13, 5}, {28, 13, 7}, {28, 13, 9}, {28, 13, 13}, {28, 13, 25}, {28, 13, 26}, {28, 13, 28}, {28, 13, 32}, {28, 13, 38}, {28, 13, 45}, {28, 14, 13}, {28, 14, 36}, {28, 16, 34}, {28, 17, 29}, {28, 18, 18}, {28, 19, 27}, {28, 21, 13}, {28, 25, 4}, {28, 25, 5}, {28, 25, 7}, {28, 25, 9}, {28, 25, 13}, {28, 25, 25}, {28, 25, 26}, {28, 25, 28}, {28, 25, 32}, {28, 25, 37}, {28, 25, 45}, {28, 26, 4}, {28, 26, 5}, {28, 26, 7}, {28, 26, 9}, {28, 26, 13}, {28, 26, 25}, {28, 26, 26}, {28, 26, 28}, {28, 26, 32}, {28, 26, 45}, {28, 27, 18}, {28, 28, 4}, {28, 28, 5}, {28, 28, 7}, {28, 28, 9}, {28, 28, 12}, {28, 28, 13}, {28, 28, 25}, {28, 28, 26}, {28, 28, 28}, {28, 28, 32}, {28, 28, 45}, {28, 30, 7}, {28, 31, 7}, {28, 31, 20}, {28, 32, 4}, {28, 32, 5}, {28, 32, 7}, {28, 32, 9}, {28, 32, 13}, {28, 32, 25}, {28, 32, 26}, {28, 32, 28}, {28, 32, 32}, {28, 32, 45}, {28, 33, 25}, {28, 35, 18}, {28, 35, 25}, {28, 37, 21}, {28, 37, 38}, {28, 40, 12}, {28, 40, 44}, {28, 42, 23}, {28, 43, 6}, {28, 44, 10}, {28, 45, 4}, {28, 45, 5}, {28, 45, 6}, {28, 45, 7}, {28, 45, 9}, {28, 45, 13}, {28, 45, 25}, {28, 45, 26}, {28, 45, 28}, {28, 45, 32}, {28, 45, 44}, {28, 45, 45}, {29, 4, 20}, {29, 6, 38}, {29, 12, 27}, {29, 13, 13}, {29, 14, 11}, {29, 14, 14}, {29, 14, 16}, {29, 14, 29}, {29, 14, 32}, {29, 14, 44}, {29, 16, 14}, {29, 16, 16}, {29, 16, 29}, {29, 18, 22}, {29, 19, 22}, {29, 20, 25}, {29, 23, 14}, {29, 23, 16}, {29, 25, 5}, {29, 25, 15}, {29, 25, 22}, {29, 26, 38}, {29, 29, 14}, {29, 29, 16}, {29, 29, 29}, {29, 29, 32}, {29, 32, 14}, {29, 32, 29}, {29, 32, 32}, {29, 37, 4}, {29, 40, 13}, {29, 42, 25}, {29, 43, 40}, {29, 44, 6}, {29, 44, 37}, {29, 45, 26}, {30, 8, 6}, {30, 8, 10}, {30, 9, 40}, {30, 12, 34}, {30, 13, 5}, {30, 13, 22}, {30, 14, 7}, {30, 17, 11}, {30, 17, 29}, {30, 19, 23}, {30, 19, 35}, {30, 21, 29}, {30, 23, 13}, {30, 24, 36}, {30, 30, 30}, {30, 32, 21}, {30, 41, 13}, {30, 44, 22}, {30, 44, 32}, {31, 4, 28}, {31, 6, 17}, {31, 7, 14}, {31, 7, 45}, {31, 8, 38}, {31, 9, 30}, {31, 12, 17}, {31, 17, 9}, {31, 20, 35}, {31, 25, 7}, {31, 31, 31}, {31, 32, 13}, {31, 32, 34}, {31, 36, 11}, {31, 39, 4}, {31, 43, 22}, {31, 43, 33}, {32, 4, 4}, {32, 4, 5}, {32, 4, 7}, {32, 4, 9}, {32, 4, 13}, {32, 4, 25}, {32, 4, 26}, {32, 4, 28}, {32, 4, 32}, {32, 4, 45}, {32, 5, 4}, {32, 5, 5}, {32, 5, 7}, {32, 5, 9}, {32, 5, 12}, {32, 5, 13}, {32, 5, 16}, {32, 5, 24}, {32, 5, 25}, {32, 5, 26}, {32, 5, 28}, {32, 5, 32}, {32, 5, 41}, {32, 5, 45}, {32, 6, 10}, {32, 7, 4}, {32, 7, 5}, {32, 7, 7}, {32, 7, 9}, {32, 7, 13}, {32, 7, 25}, {32, 7, 26}, {32, 7, 28}, {32, 7, 32}, {32, 7, 45}, {32, 9, 4}, {32, 9, 5}, {32, 9, 7}, {32, 9, 9}, {32, 9, 10}, {32, 9, 12}, {32, 9, 13}, {32, 9, 22}, {32, 9, 25}, {32, 9, 26}, {32, 9, 28}, {32, 9, 32}, {32, 9, 45}, {32, 10, 9}, {32, 10, 10}, {32, 10, 12}, {32, 10, 32}, {32, 11, 9}, {32, 11, 11}, {32, 11, 12}, {32, 11, 18}, {32, 11, 20}, {32, 11, 25}, {32, 11, 32}, {32, 12, 5}, {32, 12, 9}, {32, 12, 10}, {32, 12, 11}, {32, 12, 12}, {32, 12, 13}, {32, 12, 16}, {32, 12, 20}, {32, 12, 25}, {32, 12, 26}, {32, 12, 32}, {32, 13, 4}, {32, 13, 5}, {32, 13, 7}, {32, 13, 9}, {32, 13, 12}, {32, 13, 13}, {32, 13, 14}, {32, 13, 16}, {32, 13, 24}, {32, 13, 25}, {32, 13, 26}, {32, 13, 28}, {32, 13, 32}, {32, 13, 45}, {32, 14, 13}, {32, 14, 14}, {32, 14, 25}, {32, 14, 26}, {32, 14, 29}, {32, 14, 32}, {32, 14, 40}, {32, 15, 27}, {32, 16, 5}, {32, 16, 12}, {32, 16, 13}, {32, 16, 16}, {32, 16, 32}, {32, 19, 12}, {32, 19, 21}, {32, 20, 4}, {32, 20, 11}, {32, 20, 12}, {32, 20, 20}, {32, 20, 25}, {32, 20, 32}, {32, 20, 41}, {32, 21, 4}, {32, 21, 45}, {32, 22, 9}, {32, 22, 22}, {32, 22, 26}, {32, 22, 32}, {32, 23, 20}, {32, 23, 21}, {32, 24, 5}, {32, 24, 13}, {32, 24, 24}, {32, 24, 26}, {32, 24, 32}, {32, 25, 4}, {32, 25, 5}, {32, 25, 7}, {32, 25, 9}, {32, 25, 11}, {32, 25, 12}, {32, 25, 13}, {32, 25, 14}, {32, 25, 20}, {32, 25, 25}, {32, 25, 26}, {32, 25, 28}, {32, 25, 32}, {32, 25, 45}, {32, 26, 4}, {32, 26, 5}, {32, 26, 7}, {32, 26, 9}, {32, 26, 12}, {32, 26, 13}, {32, 26, 14}, {32, 26, 24}, {32, 26, 25}, {32, 26, 26}, {32, 26, 28}, {32, 26, 32}, {32, 26, 45}, {32, 28, 4}, {32, 28, 5}, {32, 28, 7}, {32, 28, 9}, {32, 28, 13}, {32, 28, 25}, {32, 28, 26}, {32, 28, 28}, {32, 28, 32}, {32, 28, 45}, {32, 29, 8}, {32, 29, 14}, {32, 29, 29}, {32, 29, 32}, {32, 30, 42}, {32, 31, 22}, {32, 32, 4}, {32, 32, 5}, {32, 32, 7}, {32, 32, 9}, {32, 32, 10}, {32, 32, 11}, {32, 32, 12}, {32, 32, 13}, {32, 32, 14}, {32, 32, 16}, {32, 32, 20}, {32, 32, 22}, {32, 32, 24}, {32, 32, 25}, {32, 32, 26}, {32, 32, 28}, {32, 32, 29}, {32, 32, 32}, {32, 32, 45}, {32, 34, 45}, {32, 41, 8}, {32, 41, 10}, {32, 42, 4}, {32, 43, 34}, {32, 45, 4}, {32, 45, 5}, {32, 45, 7}, {32, 45, 9}, {32, 45, 13}, {32, 45, 25}, {32, 45, 26}, {32, 45, 28}, {32, 45, 32}, {32, 45, 45}, {33, 5, 5}, {33, 8, 21}, {33, 16, 34}, {33, 17, 42}, {33, 18, 17}, {33, 21, 8}, {33, 21, 23}, {33, 23, 10}, {33, 25, 4}, {33, 25, 24}, {33, 27, 20}, {33, 29, 16}, {33, 31, 32}, {33, 33, 26}, {33, 35, 34}, {33, 36, 14}, {33, 37, 19}, {33, 38, 14}, {33, 41, 35}, {33, 42, 15}, {33, 43, 37}, {33, 44, 25}, {34, 4, 12}, {34, 9, 23}, {34, 11, 40}, {34, 12, 31}, {34, 13, 17}, {34, 16, 44}, {34, 17, 12}, {34, 19, 7}, {34, 24, 14}, {34, 24, 23}, {34, 29, 38}, {34, 31, 42}, {34, 36, 15}, {34, 36, 30}, {34, 39, 40}, {34, 41, 9}, {34, 41, 12}, {34, 41, 45}, {34, 42, 22}, {34, 43, 38}, {34, 44, 32}, {34, 45, 43}, {35, 6, 22}, {35, 7, 4}, {35, 7, 5}, {35, 7, 6}, {35, 10, 28}, {35, 11, 9}, {35, 12, 17}, {35, 14, 19}, {35, 15, 4}, {35, 16, 14}, {35, 16, 25}, {35, 19, 24}, {35, 21, 10}, {35, 23, 30}, {35, 23, 35}, {35, 26, 6}, {35, 26, 40}, {35, 28, 17}, {35, 29, 25}, {35, 31, 13}, {35, 32, 18}, {35, 33, 18}, {35, 33, 41}, {35, 34, 17}, {35, 34, 39}, {35, 35, 25}, {35, 36, 6}, {35, 36, 26}, {35, 37, 5}, {35, 39, 28}, {35, 41, 44}, {35, 42, 10}, {35, 42, 41}, {35, 43, 7}, {35, 43, 19}, {35, 45, 16}, {35, 45, 17}, {35, 45, 37}, {36, 5, 9}, {36, 5, 27}, {36, 12, 36}, {36, 13, 32}, {36, 15, 41}, {36, 17, 17}, {36, 19, 44}, {36, 20, 45}, {36, 21, 44}, {36, 22, 30}, {36, 22, 40}, {36, 26, 18}, {36, 26, 28}, {36, 27, 34}, {36, 28, 41}, {36, 32, 34}, {36, 33, 28}, {36, 37, 20}, {36, 40, 26}, {36, 40, 45}, {37, 4, 15}, {37, 6, 43}, {37, 8, 32}, {37, 13, 24}, {37, 13, 31}, {37, 14, 29}, {37, 15, 44}, {37, 16, 19}, {37, 17, 19}, {37, 19, 33}, {37, 20, 14}, {37, 20, 39}, {37, 21, 33}, {37, 23, 18}, {37, 25, 27}, {37, 26, 32}, {37, 30, 14}, {37, 35, 39}, {37, 36, 26}, {37, 39, 34}, {37, 40, 45}, {37, 42, 11}, {37, 45, 29}, {38, 4, 42}, {38, 5, 38}, {38, 7, 7}, {38, 12, 11}, {38, 13, 15}, {38, 13, 16}, {38, 14, 8}, {38, 16, 44}, {38, 17, 11}, {38, 19, 11}, {38, 21, 32}, {38, 25, 24}, {38, 25, 38}, {38, 27, 13}, {38, 28, 26}, {38, 34, 44}, {38, 36, 40}, {38, 37, 18}, {38, 37, 30}, {38, 38, 18}, {39, 5, 22}, {39, 6, 29}, {39, 7, 22}, {39, 7, 32}, {39, 8, 6}, {39, 8, 32}, {39, 9, 5}, {39, 12, 25}, {39, 15, 24}, {39, 16, 13}, {39, 16, 31}, {39, 20, 27}, {39, 20, 38}, {39, 24, 6}, {39, 24, 17}, {39, 26, 10}, {39, 27, 23}, {39, 28, 31}, {39, 33, 18}, {39, 36, 32}, {39, 39, 29}, {39, 41, 36}, {40, 4, 4}, {40, 7, 13}, {40, 7, 35}, {40, 8, 27}, {40, 8, 40}, {40, 11, 8}, {40, 14, 7}, {40, 14, 10}, {40, 17, 15}, {40, 18, 29}, {40, 20, 30}, {40, 20, 43}, {40, 21, 45}, {40, 24, 7}, {40, 25, 9}, {40, 26, 16}, {40, 30, 43}, {40, 31, 30}, {40, 32, 18}, {40, 33, 34}, {40, 33, 39}, {40, 35, 7}, {40, 36, 8}, {40, 38, 24}, {40, 39, 45}, {40, 40, 5}, {40, 42, 9}, {40, 42, 12}, {40, 43, 8}, {40, 44, 14}, {40, 44, 40}, {40, 45, 6}, {40, 45, 40}, {41, 4, 24}, {41, 7, 4}, {41, 9, 17}, {41, 11, 29}, {41, 15, 31}, {41, 18, 26}, {41, 23, 35}, {41, 24, 13}, {41, 24, 41}, {41, 25, 31}, {41, 26, 18}, {41, 26, 25}, {41, 26, 29}, {41, 28, 43}, {41, 29, 24}, {41, 29, 31}, {41, 32, 4}, {41, 32, 44}, {41, 33, 18}, {41, 33, 38}, {41, 34, 26}, {41, 35, 18}, {41, 36, 39}, {41, 37, 10}, {41, 38, 23}, {41, 39, 28}, {41, 40, 39}, {41, 41, 39}, {41, 42, 11}, {41, 43, 16}, {42, 5, 41}, {42, 6, 4}, {42, 9, 17}, {42, 13, 28}, {42, 16, 10}, {42, 19, 7}, {42, 22, 36}, {42, 23, 28}, {42, 23, 32}, {42, 28, 13}, {42, 30, 42}, {42, 30, 45}, {42, 31, 33}, {42, 32, 4}, {42, 32, 35}, {42, 36, 4}, {42, 37, 25}, {42, 41, 23}, {42, 43, 8}, {42, 43, 16}, {42, 44, 14}, {43, 4, 37}, {43, 5, 8}, {43, 7, 28}, {43, 7, 33}, {43, 9, 6}, {43, 14, 26}, {43, 14, 34}, {43, 15, 17}, {43, 17, 15}, {43, 18, 22}, {43, 19, 30}, {43, 21, 45}, {43, 22, 38}, {43, 23, 27}, {43, 29, 21}, {43, 29, 28}, {43, 29, 38}, {43, 31, 44}, {43, 32, 36}, {43, 34, 26}, {43, 35, 18}, {43, 38, 21}, {43, 39, 20}, {43, 39, 45}, {43, 40, 23}, {43, 42, 16}, {43, 43, 18}, {43, 43, 36}, {44, 5, 10}, {44, 6, 9}, {44, 7, 38}, {44, 8, 22}, {44, 14, 34}, {44, 19, 36}, {44, 22, 37}, {44, 23, 28}, {44, 23, 35}, {44, 24, 38}, {44, 27, 37}, {44, 28, 9}, {44, 29, 28}, {44, 32, 8}, {44, 34, 30}, {44, 36, 14}, {44, 36, 23}, {44, 36, 39}, {44, 40, 18}, {44, 41, 32}, {44, 43, 4}, {44, 44, 10}, {44, 44, 34}, {45, 4, 4}, {45, 4, 5}, {45, 4, 7}, {45, 4, 9}, {45, 4, 13}, {45, 4, 25}, {45, 4, 26}, {45, 4, 28}, {45, 4, 32}, {45, 4, 45}, {45, 5, 4}, {45, 5, 5}, {45, 5, 7}, {45, 5, 9}, {45, 5, 13}, {45, 5, 25}, {45, 5, 26}, {45, 5, 28}, {45, 5, 32}, {45, 5, 45}, {45, 7, 4}, {45, 7, 5}, {45, 7, 7}, {45, 7, 9}, {45, 7, 13}, {45, 7, 20}, {45, 7, 21}, {45, 7, 25}, {45, 7, 26}, {45, 7, 28}, {45, 7, 32}, {45, 7, 45}, {45, 8, 43}, {45, 9, 4}, {45, 9, 5}, {45, 9, 7}, {45, 9, 9}, {45, 9, 13}, {45, 9, 25}, {45, 9, 26}, {45, 9, 28}, {45, 9, 32}, {45, 9, 45}, {45, 13, 4}, {45, 13, 5}, {45, 13, 7}, {45, 13, 9}, {45, 13, 13}, {45, 13, 25}, {45, 13, 26}, {45, 13, 28}, {45, 13, 32}, {45, 13, 45}, {45, 14, 26}, {45, 14, 43}, {45, 15, 13}, {45, 17, 15}, {45, 17, 35}, {45, 18, 42}, {45, 19, 22}, {45, 22, 41}, {45, 23, 31}, {45, 24, 6}, {45, 25, 4}, {45, 25, 5}, {45, 25, 7}, {45, 25, 9}, {45, 25, 13}, {45, 25, 25}, {45, 25, 26}, {45, 25, 28}, {45, 25, 32}, {45, 25, 41}, {45, 25, 45}, {45, 26, 4}, {45, 26, 5}, {45, 26, 7}, {45, 26, 9}, {45, 26, 13}, {45, 26, 25}, {45, 26, 26}, {45, 26, 28}, {45, 26, 32}, {45, 26, 45}, {45, 27, 40}, {45, 28, 4}, {45, 28, 5}, {45, 28, 7}, {45, 28, 9}, {45, 28, 13}, {45, 28, 25}, {45, 28, 26}, {45, 28, 28}, {45, 28, 32}, {45, 28, 45}, {45, 30, 37}, {45, 32, 4}, {45, 32, 5}, {45, 32, 7}, {45, 32, 9}, {45, 32, 13}, {45, 32, 25}, {45, 32, 26}, {45, 32, 28}, {45, 32, 32}, {45, 32, 45}, {45, 35, 36}, {45, 37, 42}, {45, 40, 11}, {45, 43, 4}, {45, 44, 22}, {45, 45, 4}, {45, 45, 5}, {45, 45, 7}, {45, 45, 9}, {45, 45, 13}, {45, 45, 25}, {45, 45, 26}, {45, 45, 28}, {45, 45, 32}, {45, 45, 45}, {55, 16, 16}, {55, 16, 29}, {55, 16, 55}, {55, 29, 16}, {55, 29, 29}, {55, 29, 32}, {55, 29, 55}, {55, 32, 29}, {55, 32, 32}, {55, 32, 55}, {55, 55, 16}, {55, 55, 29}, {55, 55, 32}, {55, 55, 55}, {64, 64, 64}, {78, 78, 78}, }; int n_triplets = libsmm_acc_triplets.size(); printf("# libsmm_acc has %d blocksizes for multiplication\n", n_triplets); int max_m=0, max_n=0, max_k=0; for (int i=0; i<n_triplets; i++) { max_m = std::max(max_n, libsmm_acc_triplets[i][0]); max_n = std::max(max_m, libsmm_acc_triplets[i][1]); max_k = std::max(max_k, libsmm_acc_triplets[i][2]); } libsmm_acc_benchmark_t* handle; libsmm_acc_benchmark_init(&handle, test, max_m, max_n, max_k); int errors = 0; for (int i=0; i<n_triplets; i++) { int m = libsmm_acc_triplets[i][0]; int n = libsmm_acc_triplets[i][1]; int k = libsmm_acc_triplets[i][2]; sprintf(buffer, "%d x %d x %d", m, n, k); errors += libsmm_acc_benchmark(handle, m, n, k, 1, &launcher_mm, kernel_descr); } libsmm_acc_benchmark_finalize(handle); printf("# Done, found %d matrix-matrix multiplication errors.\n", errors); return errors; }