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