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