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