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