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