package humaneval.buggy;

public class FIZZ_BUZZ {
    public static int fizz_buzz(int n) {
        int result = 0;

        for (int i = 0; i < n; i += 1){
            if (i % 11 == 0 || i % 13 == 0) {
                for (int j = 0; j < i + "".length(); j += 1){
                    if (i + "".substring(j, j + 1) == "7")
                        result += 1;
                }
            }
        }
        return result;
    }
}

package humaneval;

import java.util.ArrayList;
import java.util.Arrays;

import java.util.List;
import java.util.HashMap;
public class TEST_FIZZ_BUZZ {
    @org.junit.Test(timeout = 1000)
    public void test_0() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(50);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_1() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(78);
        org.junit.Assert.assertEquals(
            result, 2
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_2() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(79);
        org.junit.Assert.assertEquals(
            result, 3
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_3() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(100);
        org.junit.Assert.assertEquals(
            result, 3
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_4() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(200);
        org.junit.Assert.assertEquals(
            result, 6
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_5() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(4000);
        org.junit.Assert.assertEquals(
            result, 192
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_6() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(10000);
        org.junit.Assert.assertEquals(
            result, 639
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_7() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(100000);
        org.junit.Assert.assertEquals(
            result, 8026
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_8() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(1);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_9() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(10);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_10() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(20);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_11() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(30);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_12() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(70);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_13() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(71);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_14() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(72);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_15() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(73);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_16() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(74);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_17() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(75);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_18() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(31);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_19() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(69);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_20() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(9);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_21() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(77);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_22() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(76);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_23() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(8);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_24() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(2);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_25() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(21);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_26() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(68);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_27() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(22);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_28() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(29);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_29() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(23);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_30() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(32);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_31() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(3);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_32() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(11);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_33() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(33);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_34() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(19);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_35() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(86);
        org.junit.Assert.assertEquals(
            result, 3
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_36() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(7);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_37() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(12);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_38() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(4);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_39() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(28);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_40() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(6);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_41() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(60);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_42() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(85);
        org.junit.Assert.assertEquals(
            result, 3
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_43() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(5);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_44() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(80);
        org.junit.Assert.assertEquals(
            result, 3
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_45() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(61);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_46() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(59);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_47() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(62);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_48() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(63);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_49() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(84);
        org.junit.Assert.assertEquals(
            result, 3
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_50() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(18);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_51() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(27);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_52() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(81);
        org.junit.Assert.assertEquals(
            result, 3
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_53() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(64);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_54() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(26);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_55() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(83);
        org.junit.Assert.assertEquals(
            result, 3
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_56() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(82);
        org.junit.Assert.assertEquals(
            result, 3
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_57() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(13);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_58() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(66);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_59() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(24);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_60() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(34);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_61() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(43);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_62() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(42);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_63() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(14);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_64() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(65);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_65() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(67);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_66() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(94);
        org.junit.Assert.assertEquals(
            result, 3
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_67() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(25);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_68() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(51);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_69() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(17);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_70() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(52);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_71() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(41);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_72() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(40);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_73() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(16);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_74() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(58);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_75() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(15);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_76() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(555555);
        org.junit.Assert.assertEquals(
            result, 43688
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_77() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(303);
        org.junit.Assert.assertEquals(
            result, 10
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_78() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(12345);
        org.junit.Assert.assertEquals(
            result, 747
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_79() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(2000);
        org.junit.Assert.assertEquals(
            result, 95
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_80() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(9999);
        org.junit.Assert.assertEquals(
            result, 639
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_81() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(123456);
        org.junit.Assert.assertEquals(
            result, 9487
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_82() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(304);
        org.junit.Assert.assertEquals(
            result, 10
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_83() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(9998);
        org.junit.Assert.assertEquals(
            result, 639
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_84() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(12344);
        org.junit.Assert.assertEquals(
            result, 747
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_85() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(302);
        org.junit.Assert.assertEquals(
            result, 10
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_86() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(12346);
        org.junit.Assert.assertEquals(
            result, 747
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_87() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(12347);
        org.junit.Assert.assertEquals(
            result, 747
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_88() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(12348);
        org.junit.Assert.assertEquals(
            result, 747
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_89() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(12343);
        org.junit.Assert.assertEquals(
            result, 747
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_90() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(123455);
        org.junit.Assert.assertEquals(
            result, 9487
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_91() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(123454);
        org.junit.Assert.assertEquals(
            result, 9487
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_92() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(555554);
        org.junit.Assert.assertEquals(
            result, 43688
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_93() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(123453);
        org.junit.Assert.assertEquals(
            result, 9487
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_94() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(10001);
        org.junit.Assert.assertEquals(
            result, 639
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_95() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(301);
        org.junit.Assert.assertEquals(
            result, 10
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_96() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(123457);
        org.junit.Assert.assertEquals(
            result, 9487
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_97() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(12341);
        org.junit.Assert.assertEquals(
            result, 747
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_98() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(1999);
        org.junit.Assert.assertEquals(
            result, 95
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_99() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(12342);
        org.junit.Assert.assertEquals(
            result, 747
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_100() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(123452);
        org.junit.Assert.assertEquals(
            result, 9487
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_101() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(555556);
        org.junit.Assert.assertEquals(
            result, 43688
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_102() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(9997);
        org.junit.Assert.assertEquals(
            result, 638
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_103() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(92);
        org.junit.Assert.assertEquals(
            result, 3
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_104() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(90);
        org.junit.Assert.assertEquals(
            result, 3
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_105() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(91);
        org.junit.Assert.assertEquals(
            result, 3
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_106() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(123451);
        org.junit.Assert.assertEquals(
            result, 9487
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_107() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(93);
        org.junit.Assert.assertEquals(
            result, 3
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_108() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(12350);
        org.junit.Assert.assertEquals(
            result, 747
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_109() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(555552);
        org.junit.Assert.assertEquals(
            result, 43688
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_110() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(12351);
        org.junit.Assert.assertEquals(
            result, 747
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_111() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(555551);
        org.junit.Assert.assertEquals(
            result, 43688
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_112() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(123458);
        org.junit.Assert.assertEquals(
            result, 9487
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_113() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(9996);
        org.junit.Assert.assertEquals(
            result, 638
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_114() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(12352);
        org.junit.Assert.assertEquals(
            result, 747
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_115() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(555550);
        org.junit.Assert.assertEquals(
            result, 43688
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_116() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(555557);
        org.junit.Assert.assertEquals(
            result, 43688
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_117() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(12340);
        org.junit.Assert.assertEquals(
            result, 747
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_118() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(10002);
        org.junit.Assert.assertEquals(
            result, 639
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_119() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(555553);
        org.junit.Assert.assertEquals(
            result, 43688
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_120() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(555558);
        org.junit.Assert.assertEquals(
            result, 43688
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_121() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(44);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_122() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(12349);
        org.junit.Assert.assertEquals(
            result, 747
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_123() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(555549);
        org.junit.Assert.assertEquals(
            result, 43688
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_124() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(45);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_125() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(123459);
        org.junit.Assert.assertEquals(
            result, 9487
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_126() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(12339);
        org.junit.Assert.assertEquals(
            result, 747
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_127() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(305);
        org.junit.Assert.assertEquals(
            result, 10
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_128() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(49);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_129() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(300);
        org.junit.Assert.assertEquals(
            result, 10
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_130() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(555559);
        org.junit.Assert.assertEquals(
            result, 43688
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_131() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(555560);
        org.junit.Assert.assertEquals(
            result, 43688
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_132() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(123460);
        org.junit.Assert.assertEquals(
            result, 9487
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_133() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(95);
        org.junit.Assert.assertEquals(
            result, 3
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_134() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(1000);
        org.junit.Assert.assertEquals(
            result, 47
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_135() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(2001);
        org.junit.Assert.assertEquals(
            result, 95
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_136() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(2002);
        org.junit.Assert.assertEquals(
            result, 95
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_137() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(2004);
        org.junit.Assert.assertEquals(
            result, 95
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_138() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(1998);
        org.junit.Assert.assertEquals(
            result, 95
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_139() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(2003);
        org.junit.Assert.assertEquals(
            result, 95
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_140() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(53);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_141() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(54);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_142() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(2005);
        org.junit.Assert.assertEquals(
            result, 95
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_143() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(555561);
        org.junit.Assert.assertEquals(
            result, 43688
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_144() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(1997);
        org.junit.Assert.assertEquals(
            result, 95
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_145() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(55);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_146() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(48);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_147() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(555562);
        org.junit.Assert.assertEquals(
            result, 43688
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_148() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(1996);
        org.junit.Assert.assertEquals(
            result, 95
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_149() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(47);
        org.junit.Assert.assertEquals(
            result, 0
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_150() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(306);
        org.junit.Assert.assertEquals(
            result, 10
        );
    }
    @org.junit.Test(timeout = 1000)
    public void test_151() throws java.lang.Exception {
        int result = humaneval.buggy.FIZZ_BUZZ.fizz_buzz(307);
        org.junit.Assert.assertEquals(
            result, 10
        );
    }
}