// Test case for Issue 301:
// https://github.com/typetools/checker-framework/issues/301
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);
    }
}