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