psNN+N0N+sNsMss+NM*N00*sNsMs+N+M*NMgt0MFalsegtNzN0u_4is_NzNatNzNu_4TrueTrueis_NzNat0Falseis_NzNatsNTruegtsNsMgtNMltNMgtMNd0NNdsNsMdNMquotNNzMu_11is_NzNatNzMNNzMu_11TrueNNzMu_1gtNNzMNNzMu_1TrueNNzMsquotdNNzMNzMquotNzMNzMu_01is_NzNatNzMu_01Trues0quotNNzMu_21is_NzNatNzMNzMNu_21TrueNzMNu_2gtNzMNu_2True0gcd0N0gcdNzMNzMu_02is_NzNatNzMNzMu_02TrueNzMNzMgcdNzNNzMu_31is_NzNatNzNis_NzNatNzMNzNNzMu_31TrueTrueNzNNzMu_3gtNzNNzMNzNNzMu_3TrueNzNNzMgcddNzNNzMNzM+sNsM+NM*sNsM*NM*sNsM+M*NM*sNsM+N+M*NMgtNzN0is_NzNatNzNgtNzN0u_4is_NzNatNzNgtsNsMgtNMltNMgtMNdsNsMdNMquotNNzMis_NzNatNzMquotNNzMu_11is_NzNatNzMNNzMu_11TrueNNzMgtNNzMu_11TrueNNzMu_1gtNNzMNNzMu_1TrueNNzMdNNzMu_1TrueNNzMquotdNNzMNzMquotNzMNzMis_NzNatNzMquotNzMNzMu_01is_NzNatNzMquotNNzMu_21is_NzNatNzMNzMNu_21TrueNzMNgtNzMNu_21TrueNzMNu_2gtNzMNgcdNzMNzMis_NzNatNzMgcdNzMNzMu_02is_NzNatNzMNzMgcdNzNNzMis_NzNatNzMgcdNzNNzMis_NzNatNzNgcdNzNNzMu_31is_NzNatNzNis_NzNatNzMNzNNzMu_31TrueTrueNzNNzMgtNzNNzMu_31TrueTrueNzNNzMu_3gtNzNNzMNzNNzMu_3TrueNzNNzMdNzNNzMu_3TrueNzNNzMgcddNzNNzMNzMtrue*sNsM*NMtrue*22*sNsM+N+M*NMfalse*sNsM+M*NMfalse+sNsM+NMtrue+22ltNMgtMNfalseu_1TrueNNzMquotdNNzMNzMquotNNzMu_11is_NzNatNzMNNzMu_11TrueNNzMu_1gtNNzMNNzMtruequotNNzMu_21is_NzNatNzMNzMNfalsequotNzMNzMu_01is_NzNatNzMfalsequotNzMNzMis_NzNatNzMfalseu_1TrueNNzMdNNzMfalseu_11TrueNNzMgtNNzMfalsequotNNzMis_NzNatNzMfalseu_21TrueNzMNgtNzMNfalseu_21TrueNzMNu_2gtNzMNfalseu_3TrueNzNNzMgcddNzNNzMNzMgcdNzNNzMu_31is_NzNatNzNis_NzNatNzMNzNNzMu_31TrueTrueNzNNzMu_3gtNzNNzMNzNNzMtrueu_3TrueNzNNzMdNzNNzMfalsedsNsMdNMtrued22u_31TrueTrueNzNNzMgtNzNNzMfalsegtsNsMgtNMtruegt22gtNzN0u_4is_NzNatNzNfalsegtNzN0is_NzNatNzNfalsegcdNzNNzMis_NzNatNzNfalsegcdNzNNzMis_NzNatNzMfalsegcdNzMNzMu_02is_NzNatNzMNzMfalsegcdNzMNzMis_NzNatNzMfalse