1template T1() {
 2    signal input in;
 3    signal output out;
 4
 5    out <== in**2/3;
 6}
 7
 8function F1(a) {
 9    return a**2/3;
10}