[[Vecsmall([8, 5, 63, 7, 2, 10, 4, 1, 67, 6, 13, 15, 11, 16, 12, 14, 74, 75, 89, 90, 23, 25, 21, 29, 22, 88, 101, 102, 24, 32, 33, 30, 31, 36, 37, 34, 35, 44, 109, 110, 103, 49, 46, 38, 47, 43, 45, 51, 42, 52, 48, 50, 57, 111, 112, 59, 53, 60, 56, 58, 64, 120, 3, 61, 68, 126, 9, 65, 71, 73, 69, 76, 70, 17, 18, 72, 79, 81, 77, 87, 78, 84, 86, 82, 91, 83, 80, 26, 19, 20, 85, 94, 95, 92, 93, 98, 99, 96, 97, 105, 27, 28, 41, 107, 100, 108, 104, 106, 39, 40, 54, 55, 115, 117, 113, 118, 114, 116, 123, 62, 128, 125, 119, 127, 122, 66, 124, 121]), Vecsmall([72, 12, 54, 11, 15, 61, 13, 76, 90, 64, 4, 2, 7, 85, 5, 91, 101, 66, 103, 67, 31, 30, 33, 80, 32, 110, 74, 112, 87, 22, 21, 25, 23, 45, 43, 47, 46, 113, 120, 88, 89, 100, 35, 115, 34, 37, 36, 58, 105, 56, 60, 59, 121, 3, 102, 50, 128, 48, 52, 51, 6, 109, 111, 10, 119, 18, 20, 123, 78, 77, 81, 1, 79, 27, 126, 8, 70, 69, 73, 24, 71, 93, 92, 95, 14, 94, 29, 40, 41, 9, 16, 83, 82, 86, 84, 106, 104, 108, 107, 42, 17, 55, 19, 97, 49, 96, 99, 98, 62, 26, 63, 28, 38, 124, 44, 122, 127, 125, 65, 39, 53, 116, 68, 114, 118, 75, 117, 57]), Vecsmall([80, 82, 55, 97, 84, 85, 99, 87, 89, 91, 104, 93, 107, 53, 95, 57, 109, 101, 111, 103, 114, 70, 117, 65, 73, 66, 120, 67, 68, 77, 124, 79, 127, 69, 116, 71, 118, 1, 88, 75, 3, 6, 122, 8, 78, 125, 81, 96, 10, 83, 98, 86, 100, 102, 90, 92, 105, 106, 94, 108, 14, 110, 112, 16, 113, 17, 19, 115, 21, 35, 23, 24, 37, 39, 27, 29, 43, 31, 46, 119, 33, 48, 4, 51, 121, 7, 123, 126, 54, 41, 128, 11, 58, 13, 60, 2, 50, 5, 52, 61, 62, 9, 63, 56, 64, 12, 59, 15, 26, 18, 28, 20, 72, 34, 76, 22, 36, 25, 38, 40, 42, 30, 44, 45, 32, 74, 47, 49]), Vecsmall([108, 44, 50, 67, 38, 36, 9, 106, 11, 34, 20, 115, 90, 124, 113, 127, 32, 70, 92, 7, 53, 17, 57, 48, 74, 46, 22, 104, 51, 101, 121, 27, 128, 61, 26, 64, 88, 12, 125, 35, 86, 69, 110, 15, 6, 40, 10, 87, 71, 111, 80, 54, 33, 56, 99, 63, 31, 29, 3, 24, 47, 116, 52, 45, 84, 77, 13, 82, 105, 126, 100, 98, 66, 30, 73, 96, 75, 49, 18, 58, 42, 119, 89, 123, 114, 19, 60, 43, 94, 4, 117, 41, 65, 103, 68, 1, 102, 8, 28, 78, 25, 107, 83, 55, 81, 72, 112, 76, 122, 37, 59, 97, 2, 16, 5, 39, 14, 109, 95, 118, 23, 120, 93, 91, 62, 79, 85, 21]), Vecsmall([112, 7, 80, 12, 4, 88, 15, 55, 113, 26, 2, 13, 5, 39, 11, 109, 53, 100, 123, 44, 32, 21, 30, 63, 23, 61, 128, 8, 3, 31, 25, 33, 22, 46, 34, 43, 36, 67, 91, 10, 65, 75, 45, 9, 37, 47, 35, 52, 18, 58, 50, 60, 27, 24, 72, 48, 101, 59, 51, 56, 40, 14, 87, 110, 19, 42, 115, 89, 73, 78, 70, 28, 81, 57, 105, 102, 69, 79, 71, 111, 77, 94, 82, 92, 120, 84, 54, 64, 119, 38, 62, 93, 86, 95, 83, 107, 96, 104, 98, 126, 121, 1, 68, 106, 66, 99, 108, 97, 85, 6, 29, 76, 20, 118, 90, 124, 116, 127, 103, 16, 74, 114, 41, 125, 117, 49, 122, 17]), Vecsmall([6, 78, 109, 77, 81, 1, 79, 10, 18, 8, 70, 69, 73, 24, 71, 29, 41, 9, 27, 126, 93, 92, 95, 14, 94, 55, 19, 40, 16, 83, 82, 86, 84, 106, 104, 108, 107, 42, 63, 28, 17, 38, 97, 49, 96, 99, 98, 124, 44, 122, 127, 125, 65, 62, 26, 116, 68, 114, 118, 117, 72, 54, 39, 76, 53, 90, 75, 57, 12, 11, 15, 61, 13, 103, 67, 64, 4, 2, 7, 85, 5, 31, 30, 33, 80, 32, 91, 112, 101, 66, 87, 22, 21, 25, 23, 45, 43, 47, 46, 113, 89, 110, 74, 35, 115, 34, 37, 36, 3, 102, 120, 88, 100, 58, 105, 56, 60, 59, 121, 111, 119, 50, 128, 48, 52, 20, 51, 123])], Vecsmall([2, 2, 4, 2, 2, 2])]
