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