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