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