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