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