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