Input:
Are these paraphrases?
Szabo 's method of double protection , however , was vulnerable to Sybil attacks .
Szabo 's method of sybilizing protection was , however , vulnerable to double attacks .
Output:
[no]

Input:
Are these paraphrases?
It was completed in modernist style in 1933 for the US federal government and is now used as an office by the United States Postal Service .
It was completed in 1933 in Modernist style for the United States Postal Service , and is now used as office accommodation by the United States Federal Government .
Output:
[no]

Input:
Are these paraphrases?
Albion was the first community to change the name of its street followed by Jackson and Marshall in 1924 , Battle Creek in 1928 and Kalamazoo in 1929 .
Kalamazoo was the first community to change the name of its street , followed by Jackson and Marshall in 1924 , Battle Creek 1928 and Albion in 1929 .
Output:
[no]