//# run
main() {
label b0:
    assert(0u64 + 0u64 == 0u64, 1000);
    assert(0u64 + 1u64 == 1u64, 1001);
    assert(1u64 + 1u64 == 2u64, 1002);

    assert(13u64 + 67u64 == 80u64, 1100);
    assert(100u64 + 10u64 == 110u64, 1101);

    assert(0u64 + 18446744073709551615u64 == 18446744073709551615u64, 1200);
    assert(1u64 + 18446744073709551614u64 == 18446744073709551615u64, 1201);
    assert(5u64 + 18446744073709551610u64 == 18446744073709551615u64, 1202);
    return;
}

//# run
main() {
label b0:
    _ = 1u64 + 18446744073709551615u64;
    return;
}

//# run
main() {
label b0:
    _ = 12000000000000000000u64 + 10000000000000000000u64;
    return;
}



//# run
main() {
label b0:
    assert(0u64 - 0u64 == 0u64, 2000);
    assert(1u64 - 0u64 == 1u64, 2001);
    assert(1u64 - 1u64 == 0u64, 2002);

    assert(52u64 - 13u64 == 39u64, 2100);
    assert(100u64 - 10u64 == 90u64, 2101);

    assert(18446744073709551615u64 - 18446744073709551615u64 == 0u64, 2200);
    assert(5u64 - 1u64 - 4u64 == 0u64, 2201);
    return;
}

//# run
main() {
label b0:
    _ = 0u64 - 1u64;
    return;
}

//# run
main() {
label b0:
    _ = 54u64 - 100u64;
    return;
}


//# run
main() {
label b0:
    assert(0u64 * 0u64 == 0u64, 3000);
    assert(1u64 * 0u64 == 0u64, 3001);
    assert(1u64 * 1u64 == 1u64, 3002);

    assert(6u64 * 7u64 == 42u64, 3100);
    assert(10u64 * 10u64 == 100u64, 3101);

    assert(9223372036854775807u64 * 2u64 == 18446744073709551614u64, 3200);
    return;
}

//# run
main() {
label b0:
    _ = 4294967296u64 * 4294967296u64;
    return;
}

//# run
main() {
label b0:
    _ = 9223372036854775808 * 2u64;
    return;
}



//# run
main() {
label b0:
    assert(0u64 / 1u64 == 0u64, 4000);
    assert(1u64 / 1u64 == 1u64, 4001);
    assert(1u64 / 2u64 == 0u64, 4002);

    assert(6u64 / 3u64 == 2u64, 4100);
    assert(18446744073709551615u64 / 13131u64 == 1404824009878116u64, 4101);

    assert(18446744073709551614u64 / 18446744073709551615u64 == 0u64, 4200);
    assert(18446744073709551615u64 / 18446744073709551615u64 == 1u64, 4201);
    return;
}

//# run
main() {
label b0:
    _ = 0u64 / 0u64;
    return;
}

//# run
main() {
label b0:
    _ = 1u64 / 0u64;
    return;
}

//# run
main() {
label b0:
    _ = 18446744073709551615u64 / 0u64;
    return;
}


//# run
main() {
label b0:
    assert(0u64 % 1u64 == 0u64, 5000);
    assert(1u64 % 1u64 == 0u64, 5001);
    assert(1u64 % 2u64 == 1u64, 5002);

    assert(8u64 % 3u64 == 2u64, 5100);
    assert(18446744073709551615u64 % 13131u64 == 10419u64, 5101);

    assert(18446744073709551614u64 % 18446744073709551615u64 == 18446744073709551614u64, 5200);
    assert(18446744073709551615u64 % 18446744073709551615u64 == 0u64, 5201);
    return;
}

//# run
main() {
label b0:
    _ = 0u64 % 0u64;
    return;
}

//# run
main() {
label b0:
    _ = 1u64 % 0u64;
    return;
}

//# run
main() {
label b0:
    _ = 18446744073709551615u64 % 0u64;
    return;
}