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