Could take a few attempts. Public gateways can have various issues. For instance the number of peers takes a while for DHT to propagate, AFAIK.

The file you posted worked for me. So it must have gotten there as you were trying to fetch it.

I got,

import "hashes/sha256/512bitPadded.code" as sha256;
from "ecc/babyjubjubParams" import BabyJubJubParams;
import "signatures/verifyEddsa.code" as verifyEddsa;
import "ecc/babyjubjubParams.code" as context;

def main(u32 min, u32 max, u32 [8] attr, private u32 [8] vc, private field[2] R, private field S, field[2] A, u32[8] M0, u32[8] M1) -> bool{
    //Verify Signature (R,S) with PupKey (A) on Hash (M0, M1)
	BabyJubJubParams context = context();
    bool isVerified = verifyEddsa(R, S, A, M0, M1, context);
    u32[8] hash1 = sha256(attr, vc);
    // M0 is the first 32 bytes of sha256(input 1 || vc) || sha256(attr || vc)
    bool hashcheck = hash1 == M0;

    bool rangeCheck = vc[7] >= min && vc[7] <= max;

    bool r = isVerified && hashcheck && rangeCheck;

    return r;