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