Google Git
Sign in
third-party-mirror / typetools / checker-framework / refs/heads/main / . / framework / tests / all-systems / Issue301.java
blob: f77023e48937a0981ec4e845658f7d2aa2ce5798 [file] [log] [blame]
// Test case for Issue 301:
// https://github.com/typetools/checker-framework/issues/301
public class Issue301 {
{
java.util.Vector<Object> v = new java.util.Vector<Object>();
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
v.add(1.0);
}
}