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