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