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