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