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