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