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