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