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