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