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