Next example:
X:  1306
G:  747
Y:  503
K:  1397
a:  2551
b:  1725
to-send:  {:a 2551, :b 1725, :m 151}
check-num1 2476
check-num2 2476
Next example:
X:  1206
G:  1781
Y:  1910
K:  2335
a:  1160
b:  23
to-send:  {:a 1160, :b 23, :m 6329}
check-num1 2289
check-num2 2289
Next example:
X:  326
G:  737
Y:  2172
K:  517
a:  872
b:  493
to-send:  {:a 872, :b 493, :m 17}
check-num1 2238
check-num2 2238
Next example:
X:  201
G:  1769
Y:  1334
K:  1321
a:  964
b:  1650
to-send:  {:a 964, :b 1650, :m 4326}
check-num1 1061
check-num2 1061
Next example:
X:  230
G:  182
Y:  124
K:  1693
a:  324
b:  1916
to-send:  {:a 324, :b 1916, :m 548}
check-num1 8
check-num2 8
Next example:
X:  1571
G:  1414
Y:  790
K:  1961
a:  2442
b:  2510
to-send:  {:a 2442, :b 2510, :m 124}
check-num1 958
check-num2 958