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