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