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