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