ASPL 1> timeout 60

ASPL 2> G12_170 = ggRPO2Sov(N,170,glb1,G1,glb2,G2,nmfl,G12_170)

ASPL 3> split G12_170 into G1 G2

ASPL 4> G12 = f& G1 G2

ASPL 5> G1_2 = f\ G1 G2

ASPL 6> G2_1 = f\ G2 G1

ASPL 7> merge G12 into G12

ASPL 7> merge G1_2 into G1_2

ASPL 7> merge G2_1 into G2_1

ASPL 8> dumpgad G12_170

ASPL 8> dumpgad G12

ASPL 8> dumpgad G1_2

ASPL 8> dumpgad G2_1

ASPL 9> bye