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