/*
 * Copyright 2017 Google Inc.
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     https://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */
package com.google.j2cl.generated.bridges;

import com.google.j2cl.transpiler.regression.mediumbridgesshard13.*;
import org.junit.Test;
import org.junit.runner.RunWith;
import org.junit.runners.JUnit4;

@RunWith(JUnit4.class)
public class TestShard13 {
  @Test
  public void testCase4656() {
    TestCase4656.test();
  }

  @Test
  public void testCase6525() {
    TestCase6525.test();
  }

  @Test
  public void testCase6545() {
    TestCase6545.test();
  }

  @Test
  public void testCase6552() {
    TestCase6552.test();
  }

  @Test
  public void testCase6742() {
    TestCase6742.test();
  }

  @Test
  public void testCase708() {
    TestCase708.test();
  }

  @Test
  public void testCase7158() {
    TestCase7158.test();
  }

  @Test
  public void testCase7408() {
    TestCase7408.test();
  }

  @Test
  public void testCase797() {
    TestCase797.test();
  }

  @Test
  public void testCase8681() {
    TestCase8681.test();
  }

  @Test
  public void testCase9078() {
    TestCase9078.test();
  }

  @Test
  public void testCase9262() {
    TestCase9262.test();
  }

  @Test
  public void testCase11191() {
    TestCase11191.test();
  }

  @Test
  public void testCase11329() {
    TestCase11329.test();
  }

  @Test
  public void testCase11885() {
    TestCase11885.test();
  }

  @Test
  public void testCase12446() {
    TestCase12446.test();
  }

  @Test
  public void testCase1595() {
    TestCase1595.test();
  }

  @Test
  public void testCase1833() {
    TestCase1833.test();
  }

  @Test
  public void testCase3633() {
    TestCase3633.test();
  }

  @Test
  public void testCase3781() {
    TestCase3781.test();
  }

  @Test
  public void testCase382() {
    TestCase382.test();
  }

  @Test
  public void testCase3875() {
    TestCase3875.test();
  }

  @Test
  public void testCase5237() {
    TestCase5237.test();
  }

  @Test
  public void testCase5638() {
    TestCase5638.test();
  }

  @Test
  public void testCase6033() {
    TestCase6033.test();
  }

  @Test
  public void testCase7120() {
    TestCase7120.test();
  }

  @Test
  public void testCase8801() {
    TestCase8801.test();
  }

  @Test
  public void testCase10819() {
    TestCase10819.test();
  }

  @Test
  public void testCase11224() {
    TestCase11224.test();
  }

  @Test
  public void testCase11237() {
    TestCase11237.test();
  }

  @Test
  public void testCase11322() {
    TestCase11322.test();
  }

  @Test
  public void testCase11331() {
    TestCase11331.test();
  }

  @Test
  public void testCase11356() {
    TestCase11356.test();
  }

  @Test
  public void testCase12263() {
    TestCase12263.test();
  }

  @Test
  public void testCase1267() {
    TestCase1267.test();
  }

  @Test
  public void testCase1435() {
    TestCase1435.test();
  }

  @Test
  public void testCase2489() {
    TestCase2489.test();
  }

  @Test
  public void testCase2978() {
    TestCase2978.test();
  }

  @Test
  public void testCase396() {
    TestCase396.test();
  }

  @Test
  public void testCase4313() {
    TestCase4313.test();
  }

  @Test
  public void testCase50() {
    TestCase50.test();
  }

  @Test
  public void testCase5331() {
    TestCase5331.test();
  }

  @Test
  public void testCase557() {
    TestCase557.test();
  }

  @Test
  public void testCase7040() {
    TestCase7040.test();
  }

  @Test
  public void testCase7479() {
    TestCase7479.test();
  }

  @Test
  public void testCase7493() {
    TestCase7493.test();
  }

  @Test
  public void testCase7613() {
    TestCase7613.test();
  }

  @Test
  public void testCase7687() {
    TestCase7687.test();
  }

  @Test
  public void testCase8002() {
    TestCase8002.test();
  }

  @Test
  public void testCase8758() {
    TestCase8758.test();
  }

  @Test
  public void testCase10007() {
    TestCase10007.test();
  }

  @Test
  public void testCase10355() {
    TestCase10355.test();
  }

  @Test
  public void testCase10444() {
    TestCase10444.test();
  }

  @Test
  public void testCase10793() {
    TestCase10793.test();
  }

  @Test
  public void testCase12074() {
    TestCase12074.test();
  }

  @Test
  public void testCase12130() {
    TestCase12130.test();
  }

  @Test
  public void testCase123() {
    TestCase123.test();
  }

  @Test
  public void testCase12350() {
    TestCase12350.test();
  }

  @Test
  public void testCase282() {
    TestCase282.test();
  }

  @Test
  public void testCase4229() {
    TestCase4229.test();
  }

  @Test
  public void testCase4391() {
    TestCase4391.test();
  }

  @Test
  public void testCase5429() {
    TestCase5429.test();
  }

  @Test
  public void testCase6694() {
    TestCase6694.test();
  }

  @Test
  public void testCase8929() {
    TestCase8929.test();
  }

  @Test
  public void testCase9848() {
    TestCase9848.test();
  }

  @Test
  public void testCase10120() {
    TestCase10120.test();
  }

  @Test
  public void testCase11321() {
    TestCase11321.test();
  }

  @Test
  public void testCase1195() {
    TestCase1195.test();
  }

  @Test
  public void testCase11964() {
    TestCase11964.test();
  }

  @Test
  public void testCase1562() {
    TestCase1562.test();
  }

  @Test
  public void testCase3113() {
    TestCase3113.test();
  }

  @Test
  public void testCase323() {
    TestCase323.test();
  }

  @Test
  public void testCase3720() {
    TestCase3720.test();
  }

  @Test
  public void testCase4767() {
    TestCase4767.test();
  }

  @Test
  public void testCase496() {
    TestCase496.test();
  }

  @Test
  public void testCase5125() {
    TestCase5125.test();
  }

  @Test
  public void testCase5574() {
    TestCase5574.test();
  }

  @Test
  public void testCase5611() {
    TestCase5611.test();
  }

  @Test
  public void testCase585() {
    TestCase585.test();
  }

  @Test
  public void testCase6801() {
    TestCase6801.test();
  }

  @Test
  public void testCase6818() {
    TestCase6818.test();
  }

  @Test
  public void testCase7628() {
    TestCase7628.test();
  }

  @Test
  public void testCase9381() {
    TestCase9381.test();
  }

  @Test
  public void testCase9781() {
    TestCase9781.test();
  }

  @Test
  public void testCase9837() {
    TestCase9837.test();
  }

  @Test
  public void testCase9929() {
    TestCase9929.test();
  }

  @Test
  public void testCase10638() {
    TestCase10638.test();
  }

  @Test
  public void testCase10950() {
    TestCase10950.test();
  }

  @Test
  public void testCase11496() {
    TestCase11496.test();
  }

  @Test
  public void testCase12055() {
    TestCase12055.test();
  }

  @Test
  public void testCase12640() {
    TestCase12640.test();
  }

  @Test
  public void testCase1281() {
    TestCase1281.test();
  }

  @Test
  public void testCase1398() {
    TestCase1398.test();
  }

  @Test
  public void testCase1604() {
    TestCase1604.test();
  }

  @Test
  public void testCase1947() {
    TestCase1947.test();
  }

  @Test
  public void testCase2014() {
    TestCase2014.test();
  }

  @Test
  public void testCase2182() {
    TestCase2182.test();
  }

  @Test
  public void testCase2696() {
    TestCase2696.test();
  }

  @Test
  public void testCase5722() {
    TestCase5722.test();
  }

  @Test
  public void testCase5883() {
    TestCase5883.test();
  }

  @Test
  public void testCase5969() {
    TestCase5969.test();
  }

  @Test
  public void testCase7847() {
    TestCase7847.test();
  }

  @Test
  public void testCase8421() {
    TestCase8421.test();
  }

  @Test
  public void testCase8479() {
    TestCase8479.test();
  }

  @Test
  public void testCase8530() {
    TestCase8530.test();
  }

  @Test
  public void testCase8611() {
    TestCase8611.test();
  }

  @Test
  public void testCase9090() {
    TestCase9090.test();
  }

  @Test
  public void testCase9731() {
    TestCase9731.test();
  }

  @Test
  public void testCase10608() {
    TestCase10608.test();
  }

  @Test
  public void testCase10785() {
    TestCase10785.test();
  }

  @Test
  public void testCase11112() {
    TestCase11112.test();
  }

  @Test
  public void testCase11605() {
    TestCase11605.test();
  }

  @Test
  public void testCase11923() {
    TestCase11923.test();
  }

  @Test
  public void testCase11984() {
    TestCase11984.test();
  }

  @Test
  public void testCase2402() {
    TestCase2402.test();
  }

  @Test
  public void testCase2502() {
    TestCase2502.test();
  }

  @Test
  public void testCase2706() {
    TestCase2706.test();
  }

  @Test
  public void testCase2984() {
    TestCase2984.test();
  }

  @Test
  public void testCase4035() {
    TestCase4035.test();
  }

  @Test
  public void testCase526() {
    TestCase526.test();
  }

  @Test
  public void testCase6134() {
    TestCase6134.test();
  }

  @Test
  public void testCase6539() {
    TestCase6539.test();
  }

  @Test
  public void testCase7827() {
    TestCase7827.test();
  }

  @Test
  public void testCase884() {
    TestCase884.test();
  }

  @Test
  public void testCase8952() {
    TestCase8952.test();
  }

  @Test
  public void testCase10117() {
    TestCase10117.test();
  }

  @Test
  public void testCase10521() {
    TestCase10521.test();
  }

  @Test
  public void testCase11337() {
    TestCase11337.test();
  }

  @Test
  public void testCase1222() {
    TestCase1222.test();
  }

  @Test
  public void testCase1240() {
    TestCase1240.test();
  }

  @Test
  public void testCase165() {
    TestCase165.test();
  }

  @Test
  public void testCase1850() {
    TestCase1850.test();
  }

  @Test
  public void testCase1917() {
    TestCase1917.test();
  }

  @Test
  public void testCase2022() {
    TestCase2022.test();
  }

  @Test
  public void testCase2124() {
    TestCase2124.test();
  }

  @Test
  public void testCase2212() {
    TestCase2212.test();
  }

  @Test
  public void testCase2377() {
    TestCase2377.test();
  }

  @Test
  public void testCase2474() {
    TestCase2474.test();
  }

  @Test
  public void testCase2676() {
    TestCase2676.test();
  }

  @Test
  public void testCase2798() {
    TestCase2798.test();
  }

  @Test
  public void testCase3722() {
    TestCase3722.test();
  }

  @Test
  public void testCase3934() {
    TestCase3934.test();
  }

  @Test
  public void testCase4062() {
    TestCase4062.test();
  }

  @Test
  public void testCase4345() {
    TestCase4345.test();
  }

  @Test
  public void testCase4381() {
    TestCase4381.test();
  }

  @Test
  public void testCase4610() {
    TestCase4610.test();
  }

  @Test
  public void testCase4664() {
    TestCase4664.test();
  }

  @Test
  public void testCase4836() {
    TestCase4836.test();
  }

  @Test
  public void testCase4961() {
    TestCase4961.test();
  }

  @Test
  public void testCase510() {
    TestCase510.test();
  }

  @Test
  public void testCase5291() {
    TestCase5291.test();
  }

  @Test
  public void testCase6589() {
    TestCase6589.test();
  }

  @Test
  public void testCase7018() {
    TestCase7018.test();
  }

  @Test
  public void testCase7298() {
    TestCase7298.test();
  }

  @Test
  public void testCase7865() {
    TestCase7865.test();
  }

  @Test
  public void testCase7892() {
    TestCase7892.test();
  }

  @Test
  public void testCase8453() {
    TestCase8453.test();
  }

  @Test
  public void testCase8456() {
    TestCase8456.test();
  }

  @Test
  public void testCase8873() {
    TestCase8873.test();
  }

  @Test
  public void testCase9099() {
    TestCase9099.test();
  }

  @Test
  public void testCase9255() {
    TestCase9255.test();
  }

  @Test
  public void testCase9563() {
    TestCase9563.test();
  }

  @Test
  public void testCase10242() {
    TestCase10242.test();
  }

  @Test
  public void testCase10640() {
    TestCase10640.test();
  }

  @Test
  public void testCase10807() {
    TestCase10807.test();
  }

  @Test
  public void testCase1123() {
    TestCase1123.test();
  }

  @Test
  public void testCase11408() {
    TestCase11408.test();
  }

  @Test
  public void testCase12235() {
    TestCase12235.test();
  }

  @Test
  public void testCase128() {
    TestCase128.test();
  }

  @Test
  public void testCase1500() {
    TestCase1500.test();
  }

  @Test
  public void testCase2695() {
    TestCase2695.test();
  }

  @Test
  public void testCase3477() {
    TestCase3477.test();
  }

  @Test
  public void testCase4166() {
    TestCase4166.test();
  }

  @Test
  public void testCase5221() {
    TestCase5221.test();
  }

  @Test
  public void testCase5336() {
    TestCase5336.test();
  }

  @Test
  public void testCase5501() {
    TestCase5501.test();
  }

  @Test
  public void testCase6164() {
    TestCase6164.test();
  }

  @Test
  public void testCase651() {
    TestCase651.test();
  }

  @Test
  public void testCase8061() {
    TestCase8061.test();
  }

  @Test
  public void testCase8301() {
    TestCase8301.test();
  }

  @Test
  public void testCase894() {
    TestCase894.test();
  }

  @Test
  public void testCase9589() {
    TestCase9589.test();
  }

  @Test
  public void testCase9977() {
    TestCase9977.test();
  }

  @Test
  public void testCase10088() {
    TestCase10088.test();
  }

  @Test
  public void testCase10337() {
    TestCase10337.test();
  }

  @Test
  public void testCase11150() {
    TestCase11150.test();
  }

  @Test
  public void testCase11589() {
    TestCase11589.test();
  }

  @Test
  public void testCase1254() {
    TestCase1254.test();
  }

  @Test
  public void testCase2656() {
    TestCase2656.test();
  }

  @Test
  public void testCase3380() {
    TestCase3380.test();
  }

  @Test
  public void testCase3585() {
    TestCase3585.test();
  }

  @Test
  public void testCase4161() {
    TestCase4161.test();
  }

  @Test
  public void testCase486() {
    TestCase486.test();
  }

  @Test
  public void testCase5089() {
    TestCase5089.test();
  }

  @Test
  public void testCase5491() {
    TestCase5491.test();
  }

  @Test
  public void testCase5924() {
    TestCase5924.test();
  }

  @Test
  public void testCase6223() {
    TestCase6223.test();
  }

  @Test
  public void testCase7636() {
    TestCase7636.test();
  }

  @Test
  public void testCase8566() {
    TestCase8566.test();
  }

  @Test
  public void testCase8569() {
    TestCase8569.test();
  }

  @Test
  public void testCase8768() {
    TestCase8768.test();
  }

  @Test
  public void testCase9122() {
    TestCase9122.test();
  }

  @Test
  public void testCase9316() {
    TestCase9316.test();
  }

  @Test
  public void testCase9511() {
    TestCase9511.test();
  }

  @Test
  public void testCase9934() {
    TestCase9934.test();
  }

  @Test
  public void testCase10001() {
    TestCase10001.test();
  }

  @Test
  public void testCase10093() {
    TestCase10093.test();
  }

  @Test
  public void testCase10189() {
    TestCase10189.test();
  }

  @Test
  public void testCase11143() {
    TestCase11143.test();
  }

  @Test
  public void testCase11349() {
    TestCase11349.test();
  }

  @Test
  public void testCase11879() {
    TestCase11879.test();
  }

  @Test
  public void testCase12165() {
    TestCase12165.test();
  }

  @Test
  public void testCase12641() {
    TestCase12641.test();
  }

  @Test
  public void testCase3317() {
    TestCase3317.test();
  }

  @Test
  public void testCase4179() {
    TestCase4179.test();
  }

  @Test
  public void testCase51() {
    TestCase51.test();
  }

  @Test
  public void testCase571() {
    TestCase571.test();
  }

  @Test
  public void testCase6278() {
    TestCase6278.test();
  }

  @Test
  public void testCase6445() {
    TestCase6445.test();
  }

  @Test
  public void testCase6743() {
    TestCase6743.test();
  }

  @Test
  public void testCase7009() {
    TestCase7009.test();
  }

  @Test
  public void testCase8690() {
    TestCase8690.test();
  }

  @Test
  public void testCase918() {
    TestCase918.test();
  }

  @Test
  public void testCase9534() {
    TestCase9534.test();
  }

  @Test
  public void testCase3519() {
    TestCase3519.test();
  }

  @Test
  public void testCase1633() {
    TestCase1633.test();
  }

  @Test
  public void testCase2155() {
    TestCase2155.test();
  }

  @Test
  public void testCase3028() {
    TestCase3028.test();
  }

  @Test
  public void testCase4286() {
    TestCase4286.test();
  }

  @Test
  public void testCase7434() {
    TestCase7434.test();
  }

  @Test
  public void testCase8283() {
    TestCase8283.test();
  }

  @Test
  public void testCase1237() {
    TestCase1237.test();
  }

  @Test
  public void testCase1483() {
    TestCase1483.test();
  }
}
