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