P :=
12 10
1         121          30          92         120         240          48          24          12 0
1         302          75         230         300         600         120          60          30 0
1       -3141        -780       -2392       -3120       -6240       -1248        -624        -312 40
1         100          25          77         100         200          40          20          10 0
1         120          30          90         121         240          48          24          12 0
1       -1300        -325        -977       -1310       -2600        -520        -260        -130 40
1         160          40         120         160         321          64          32          16 0
1         232          58         174         232         464          93          48          24 0
1       -2480        -620       -1860       -2480       -4961        -994        -512        -256 40
1          60          15          45          60         120          24          13           6 0
1          40          10          30          40          80          16           8           5 0
1        -460        -115        -345        -460        -920        -184         -93         -56 40
;
assert((card P) = { 121550625 });
