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