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