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