Documentation

equational_theories.Generated.All4x4Tables.Refutation938

This file is generated from the following operator table: [[0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42], [5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47], [10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39], [2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44], [7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49], [12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41], [4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46], [9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51], [1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43], [6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48], [11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40], [3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45], [8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50], [53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30], [58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35], [63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27], [55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32], [60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37], [52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29], [57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34], [62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26], [54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31], [59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36], [64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28], [56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33], [61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38], [39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15], [44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20], [49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25], [41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17], [46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22], [51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14], [43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19], [48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24], [40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16], [45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21], [50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13], [42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18], [47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23], [26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8], [31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0], [36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5], [28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10], [33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2], [38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7], [30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12], [35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4], [27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9], [32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1], [37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6], [29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11], [34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3], [13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56], [18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61], [23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53], [15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58], [20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63], [25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55], [17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60], [22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52], [14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57], [19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62], [24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54], [16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59], [21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64]]

The magma definition

source
def «All4x4Tables [[0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42], [5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47], [10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39], [2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44], [7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49], [12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41], [4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46], [9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51], [1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43], [6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48], [11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40], [3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45], [8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50], [53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30], [58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35], [63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27], [55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32], [60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37], [52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29], [57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34], [62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26], [54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31], [59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36], [64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28], [56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33], [61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38], [39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15], [44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20], [49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25], [41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17], [46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22], [51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14], [43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19], [48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24], [40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16], [45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21], [50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13], [42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18], [47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23], [26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8], [31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0], [36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5], [28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10], [33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2], [38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7], [30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12], [35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4], [27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9], [32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1], [37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6], [29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11], [34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3], [13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56], [18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61], [23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53], [15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58], [20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63], [25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55], [17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60], [22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52], [14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57], [19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62], [24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54], [16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59], [21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64]]» :
Magma (Fin 65)
Equations
  • One or more equations did not get rendered due to their size.
Instances For

    The facts

    source
    theorem «Facts from All4x4Tables [[0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42], [5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47], [10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39], [2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44], [7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49], [12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41], [4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46], [9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51], [1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43], [6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48], [11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40], [3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45], [8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50], [53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30], [58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35], [63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27], [55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32], [60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37], [52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29], [57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34], [62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26], [54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31], [59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36], [64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28], [56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33], [61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38], [39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15], [44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20], [49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25], [41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17], [46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22], [51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14], [43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19], [48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24], [40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16], [45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21], [50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13], [42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18], [47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23], [26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8], [31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0], [36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5], [28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10], [33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2], [38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7], [30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12], [35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4], [27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9], [32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1], [37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6], [29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11], [34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3], [13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56], [18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61], [23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53], [15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58], [20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63], [25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55], [17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60], [22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52], [14, 23, 19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 50, 46, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 2, 11, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 31, 27, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 53, 62, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57], [19, 15, 24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 42, 51, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 7, 3, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 36, 32, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 58, 54, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62], [24, 20, 16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 47, 43, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 12, 8, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 28, 37, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 63, 59, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54], [16, 25, 21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 39, 48, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 4, 0, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 33, 29, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 55, 64, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59], [21, 17, 13, 22, 18, 14, 23, 19, 15, 24, 20, 16, 25, 44, 40, 49, 45, 41, 50, 46, 42, 51, 47, 43, 39, 48, 9, 5, 1, 10, 6, 2, 11, 7, 3, 12, 8, 4, 0, 38, 34, 30, 26, 35, 31, 27, 36, 32, 28, 37, 33, 29, 60, 56, 52, 61, 57, 53, 62, 58, 54, 63, 59, 55, 64]]» :
    ∃ (G : Type) (x : Magma G) (_ : Finite G), Equation1076 G ∧ ¬Equation2294 G ∧ ¬Equation4435 G