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