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