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