SOLUTION FINDER
1 'SOL
2 M$>G$~H: N$>E$~F:
3 H: $Pf: $A$>C:
4 E: $Pf: $A$>D:
5 CD0$}0$1:
6 $L1:
7  F=G$}$G0: F$>G:
8  H-C(H-E)(C-D):
9  $A$>F: $Pf:
10  D$A<0$}$G2:
11  F$>E: $A$>D:
12 $G1:
13  $L2:
14   F$>H: $A$>C:
15 $G1:
16 $L0: F

TOP TOP