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