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