// 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);
  }
}