Q1(1,1);
Q2(1,1);
Q3(1,1);
Q4(1,1);
Q5(1,1);
Q6(1,1);
Q7(1,1);
Q1 {
    entry 0:
    1.0:return 0;
}
Q2 {
    F1(Q1);
    S1(Q1);
    entry 0:
    1.0:goto L0;
    L0 {
        0.0:goto L0; 1.0:goto L1;
    }
    L1 {
        1.0:call F1(0); 
    }
    F1 {
        exit 0:
        1.0:call S1(0);
    }
    S1 {
        exit 0:
        1.0:return 0;
    }
}
Q3 {
    F1(Q1);
    S1(Q2);
    entry 0:
    1.0:goto L0;
    L0 {
        0.5:goto L0; 0.5:goto L1;
    }
    L1 {
        1.0:call F1(0); 
    }
    F1 {
        exit 0:
        1.0:call S1(0);
    }
    S1 {
        exit 0:
        1.0:return 0;
    }
}
Q4 {
    F1(Q1);
    F2(Q2);
    S1(Q3);
    S2(Q2);
    entry 0:
    1.0:goto L0;
    L0 {
        0.6666666666666667:goto L0; 0.3333333333333333:goto L1;
    }
    L1 {
        0.6666666666666666:call F1(0);         0.3333333333333333:call F2(0); 
    }
    F1 {
        exit 0:
        1.0:call S1(0);
    }
    F2 {
        exit 0:
        1.0:call S2(0);
    }
    S1 {
        exit 0:
        1.0:return 0;
    }
    S2 {
        exit 0:
        1.0:return 0;
    }
}
Q5 {
    F1(Q1);
    F2(Q2);
    S1(Q4);
    S2(Q3);
    entry 0:
    1.0:goto L0;
    L0 {
        0.75:goto L0; 0.25:goto L1;
    }
    L1 {
        0.5:call F1(0);         0.5:call F2(0); 
    }
    F1 {
        exit 0:
        1.0:call S1(0);
    }
    F2 {
        exit 0:
        1.0:call S2(0);
    }
    S1 {
        exit 0:
        1.0:return 0;
    }
    S2 {
        exit 0:
        1.0:return 0;
    }
}
Q6 {
    F1(Q1);
    F2(Q2);
    F3(Q3);
    S1(Q5);
    S2(Q4);
    S3(Q3);
    entry 0:
    1.0:goto L0;
    L0 {
        0.8:goto L0; 0.2:goto L1;
    }
    L1 {
        0.4:call F1(0);         0.4:call F2(0);         0.2:call F3(0); 
    }
    F1 {
        exit 0:
        1.0:call S1(0);
    }
    F2 {
        exit 0:
        1.0:call S2(0);
    }
    F3 {
        exit 0:
        1.0:call S3(0);
    }
    S1 {
        exit 0:
        1.0:return 0;
    }
    S2 {
        exit 0:
        1.0:return 0;
    }
    S3 {
        exit 0:
        1.0:return 0;
    }
}
Q7 {
    F1(Q1);
    F2(Q2);
    F3(Q3);
    S1(Q6);
    S2(Q5);
    S3(Q4);
    entry 0:
    1.0:goto L0;
    L0 {
        0.8333333333333334:goto L0; 0.16666666666666666:goto L1;
    }
    L1 {
        0.3333333333333333:call F1(0);         0.3333333333333333:call F2(0);         0.3333333333333333:call F3(0); 
    }
    F1 {
        exit 0:
        1.0:call S1(0);
    }
    F2 {
        exit 0:
        1.0:call S2(0);
    }
    F3 {
        exit 0:
        1.0:call S3(0);
    }
    S1 {
        exit 0:
        1.0:return 0;
    }
    S2 {
        exit 0:
        1.0:return 0;
    }
    S3 {
        exit 0:
        1.0:return 0;
    }
}