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