// Test to ensure that checkers can type-check big binary trees in an
// acceptable amount of time.  See comment on TreeAnnotator#visitBinary.

// Checkers may correctly issue errors, so suppress them.
@SuppressWarnings("")
public class BigBinaryTrees {
    String string1;
    String string2;
    String string3;

    public void testStrings() {
        String s =
                getClass().getName()
                        + ",string1="
                        + string1
                        + ",string2="
                        + string2
                        + ",string3="
                        + string3
                        + ",string1="
                        + string1
                        + ",string2="
                        + string2
                        + ",string3="
                        + string3
                        + ",string1="
                        + string1
                        + ",string2="
                        + string2
                        + ",string3="
                        + string3
                        + ",string1="
                        + string1
                        + ",string2="
                        + string2
                        + ",string3="
                        + string3
                        + ",string1="
                        + string1
                        + ",string2="
                        + string2
                        + ",string3="
                        + string3
                        + ",string1="
                        + string1
                        + ",string2="
                        + string2
                        + ",string3="
                        + string3
                        + ",string1="
                        + string1
                        + ",string2="
                        + string2
                        + ",string3="
                        + string3
                        + ",string1="
                        + string1
                        + ",string2="
                        + string2
                        + ",string3="
                        + string3
                        + ",string1="
                        + string1
                        + ",string2="
                        + string2
                        + ",string3="
                        + string3
                        + ",string1="
                        + string1
                        + ",string2="
                        + string2
                        + ",string3="
                        + string3
                        + ",string1="
                        + string1
                        + ",string2="
                        + string2
                        + ",string3="
                        + string3
                        + ",string1="
                        + string1
                        + ",string2="
                        + string2
                        + ",string3="
                        + string3
                        + ",string1="
                        + string1
                        + ",string2="
                        + string2
                        + ",string3="
                        + string3
                        + ",string1="
                        + string1
                        + ",string2="
                        + string2
                        + ",string3="
                        + string3
                        + ",string1="
                        + string1
                        + ",string2="
                        + string2
                        + ",string3="
                        + string3
                        + ",string1="
                        + string1
                        + ",string2="
                        + string2
                        + ",string3="
                        + string3
                        + ",string1="
                        + string1
                        + ",string2="
                        + string2
                        + ",string3="
                        + string3
                        + ",string1="
                        + string1
                        + ",string2="
                        + string2
                        + ",string3="
                        + string3
                        + ",string1="
                        + string1
                        + ",string2="
                        + string2
                        + ",string3="
                        + string3
                        + ",string1="
                        + string1
                        + ",string2="
                        + string2
                        + ",string3="
                        + string3
                        + ",string1="
                        + string1
                        + ",string2="
                        + string2
                        + ",string3="
                        + string3
                        + ",string1="
                        + string1
                        + ",string2="
                        + string2
                        + ",string3="
                        + string3
                        + ",string1="
                        + string1
                        + ",string2="
                        + string2
                        + ",string3="
                        + string3
                        + ",string1="
                        + string1
                        + ",string2="
                        + string2
                        + ",string3="
                        + string3;
    }

    void test() {
        int i0 = 163;
        int i1 = 153;
        int i2 = 75;
        int i3 = -72;
        int i4 = 61;
        int i5 = 7;
        int i6 = 83;
        int i7 = -36;
        int i8 = -90;
        int i9 = -93;
        int i10 = 187;
        int i11 = -76;
        int i12 = -16;
        int i13 = -99;
        int i14 = 113;
        int i15 = 72;
        int i16 = 58;
        int i17 = -97;
        int i18 = 115;
        int i19 = -85;
        int i20 = 156;
        int i21 = -10;
        int i22 = -85;
        int i23 = 81;
        int i24 = 63;
        int i25 = -49;
        int i26 = 158;
        int i27 = 158;
        int i28 = 25;
        int i29 = 136;
        int i30 = -90;
        int i31 = 115;
        int i32 = 179;
        int i33 = 11;
        int i34 = -100;
        int i35 = 70;
        int i36 = -46;
        int i37 = -56;
        int i38 = 108;
        int i39 = -41;
        int i40 = 124;
        int i41 = -88;
        int i42 = 54;
        int i43 = 117;
        int i44 = -92;
        int i45 = 7;
        int i46 = -94;
        int i47 = 162;
        int i48 = -34;
        int i49 = 104;
        int i50 = 111;
        int i51 = -16;
        int i52 = 197;
        int i53 = -8;
        int i54 = 101;
        int i55 = 96;
        int i56 = 132;
        int i57 = -36;
        int i58 = 148;
        int i59 = 43;
        int i60 = -59;
        int i61 = 150;
        int i62 = 48;
        int i63 = 130;
        int i64 = 74;
        int i65 = -1;
        int i66 = 79;
        int i67 = 109;
        int i68 = -70;
        int i69 = 111;
        int i70 = 78;
        int i71 = 155;
        int i72 = 176;
        int i73 = 80;
        int i74 = 181;
        int i75 = 41;
        int i76 = -85;
        int i77 = 189;
        int i78 = 97;
        int i79 = 139;
        int i80 = 9;
        int i81 = 42;
        int i82 = -50;
        int i83 = 82;
        int i84 = -70;
        int i85 = 162;
        int i86 = -20;
        int i87 = 52;
        int i88 = -94;
        int i89 = 133;
        int i90 = 136;
        int i91 = 129;
        int i92 = -55;
        int i93 = 153;
        int i94 = 6;
        int i95 = -18;
        int i96 = 132;
        int i97 = 45;
        int i98 = 120;
        int i99 = 60;
        int result =
                i0 + i1 + i2 + i3 + i4 + i5 + i6 + i7 + i8 + i9 + i10 + i11 + i12 + i13 + i14 + i15
                        + i16 + i17 + i18 + i19 + i20 + i21 + i22 + i23 + i24 + i25 + i26 + i27
                        + i28 + i29 + i30 + i31 + i32 + i33 + i34 + i35 + i36 + i37 + i38 + i39
                        + i40 + i41 + i42 + i43 + i44 + i45 + i46 + i47 + i48 + i49 + i50 + i51
                        + i52 + i53 + i54 + i55 + i56 + i57 + i58 + i59 + i60 + i61 + i62 + i63
                        + i64 + i65 + i66 + i67 + i68 + i69 + i70 + i71 + i72 + i73 + i74 + i75
                        + i76 + i77 + i78 + i79 + i80 + i81 + i82 + i83 + i84 + i85 + i86 + i87
                        + i88 + i89 + i90 + i91 + i92 + i93 + i94 + i95 + i96 + i97 + i98 + i99;
    }
}