systemc: Import tests from the Accellera systemc distribution.

Change-Id: Iad76b398949a55d768a34d027a2d8e3739953da6
Reviewed-on: https://gem5-review.googlesource.com/10845
Reviewed-by: Giacomo Travaglini <giacomo.travaglini@arm.com>
Maintainer: Gabe Black <gabeblack@google.com>

1 files changed, 1109 insertions, 0 deletions

diff --git a/src/systemc/tests/systemc/misc/synth/synth-1.0/gcd/golden/gcd.log b/src/systemc/tests/systemc/misc/synth/synth-1.0/gcd/golden/gcd.log
new file mode 100644
index 000000000..77a93afc2
--- /dev/null
+++ b/src/systemc/tests/systemc/misc/synth/synth-1.0/gcd/golden/gcd.log
@@ -0,0 +1,1109 @@
+SystemC Simulation
+reset = 1 ready = 1 a = 0 b = 0 c = 0
+reset = 0 ready = 1 a = 36246 b = 49597 c = 1
+reset = 0 ready = 1 a = 60879 b = 10941 c = 1
+reset = 0 ready = 1 a = 10971 b = 6308 c = 21
+reset = 0 ready = 1 a = 30561 b = 62466 c = 1
+reset = 0 ready = 1 a = 50031 b = 35259 c = 3
+reset = 0 ready = 1 a = 23787 b = 50963 c = 3
+reset = 0 ready = 1 a = 43320 b = 43320 c = 1
+reset = 0 ready = 1 a = 840 b = 49597 c = 43320
+reset = 0 ready = 1 a = 62466 b = 62232 c = 1
+reset = 0 ready = 1 a = 46271 b = 31160 c = 6
+reset = 0 ready = 1 a = 43433 b = 45751 c = 1
+reset = 0 ready = 1 a = 35494 b = 60879 c = 1
+reset = 0 ready = 1 a = 29020 b = 29020 c = 1
+reset = 0 ready = 1 a = 10941 b = 24107 c = 29020
+reset = 0 ready = 1 a = 60450 b = 49597 c = 1
+reset = 0 ready = 1 a = 1353 b = 58311 c = 1
+reset = 0 ready = 1 a = 55880 b = 20635 c = 33
+reset = 0 ready = 1 a = 15190 b = 12559 c = 5
+reset = 0 ready = 1 a = 20803 b = 1353 c = 1
+reset = 0 ready = 1 a = 50963 b = 23787 c = 1
+reset = 0 ready = 1 a = 58311 b = 16767 c = 1
+reset = 0 ready = 1 a = 2378 b = 49597 c = 9
+reset = 0 ready = 1 a = 41218 b = 16767 c = 1
+reset = 0 ready = 1 a = 40894 b = 23787 c = 1
+reset = 0 ready = 1 a = 17233 b = 1353 c = 1
+reset = 0 ready = 1 a = 28171 b = 12559 c = 1
+reset = 0 ready = 1 a = 49566 b = 20635 c = 1
+reset = 0 ready = 1 a = 24107 b = 58311 c = 1
+reset = 0 ready = 1 a = 49648 b = 49597 c = 1
+reset = 0 ready = 1 a = 12559 b = 24107 c = 1
+reset = 0 ready = 1 a = 35674 b = 29020 c = 1
+reset = 0 ready = 1 a = 37558 b = 60879 c = 2
+reset = 0 ready = 1 a = 18689 b = 45751 c = 1
+reset = 0 ready = 1 a = 6308 b = 31160 c = 1
+reset = 0 ready = 1 a = 49801 b = 62232 c = 76
+reset = 0 ready = 1 a = 22683 b = 49597 c = 1
+reset = 0 ready = 1 a = 35259 b = 43320 c = 1
+reset = 0 ready = 1 a = 19555 b = 50963 c = 3
+reset = 0 ready = 1 a = 49656 b = 35259 c = 1
+reset = 0 ready = 1 a = 27709 b = 62466 c = 3
+reset = 0 ready = 1 a = 31160 b = 6308 c = 1
+reset = 0 ready = 1 a = 62232 b = 10941 c = 76
+reset = 0 ready = 1 a = 1315 b = 49597 c = 3
+reset = 0 ready = 1 a = 45751 b = 49801 c = 1
+reset = 0 ready = 1 a = 5298 b = 49566 c = 1
+reset = 0 ready = 1 a = 9215 b = 41218 c = 6
+reset = 0 ready = 1 a = 49597 b = 41218 c = 1
+reset = 0 ready = 1 a = 20635 b = 49566 c = 1
+reset = 0 ready = 1 a = 16767 b = 49801 c = 1
+reset = 0 ready = 1 a = 36246 b = 49597 c = 1
+reset = 0 ready = 1 a = 60879 b = 10941 c = 1
+reset = 0 ready = 1 a = 10971 b = 6308 c = 21
+reset = 0 ready = 1 a = 30561 b = 62466 c = 1
+reset = 0 ready = 1 a = 50031 b = 35259 c = 3
+reset = 0 ready = 1 a = 23787 b = 50963 c = 3
+reset = 0 ready = 1 a = 43320 b = 43320 c = 1
+reset = 0 ready = 1 a = 840 b = 49597 c = 43320
+reset = 0 ready = 1 a = 62466 b = 62232 c = 1
+reset = 0 ready = 1 a = 46271 b = 31160 c = 6
+reset = 0 ready = 1 a = 43433 b = 45751 c = 1
+reset = 0 ready = 1 a = 35494 b = 60879 c = 1
+reset = 0 ready = 1 a = 29020 b = 29020 c = 1
+reset = 0 ready = 1 a = 10941 b = 24107 c = 29020
+reset = 0 ready = 1 a = 60450 b = 49597 c = 1
+reset = 0 ready = 1 a = 1353 b = 58311 c = 1
+reset = 0 ready = 1 a = 55880 b = 20635 c = 33
+reset = 0 ready = 1 a = 15190 b = 12559 c = 5
+reset = 0 ready = 1 a = 20803 b = 1353 c = 1
+reset = 0 ready = 1 a = 50963 b = 23787 c = 1
+reset = 0 ready = 1 a = 58311 b = 16767 c = 1
+reset = 0 ready = 1 a = 2378 b = 49597 c = 9
+reset = 0 ready = 1 a = 41218 b = 16767 c = 1
+reset = 0 ready = 1 a = 40894 b = 23787 c = 1
+reset = 0 ready = 1 a = 17233 b = 1353 c = 1
+reset = 0 ready = 1 a = 28171 b = 12559 c = 1
+reset = 0 ready = 1 a = 49566 b = 20635 c = 1
+reset = 0 ready = 1 a = 24107 b = 58311 c = 1
+reset = 0 ready = 1 a = 49648 b = 49597 c = 1
+reset = 0 ready = 1 a = 12559 b = 24107 c = 1
+reset = 0 ready = 1 a = 35674 b = 29020 c = 1
+reset = 0 ready = 1 a = 37558 b = 60879 c = 2
+reset = 0 ready = 1 a = 18689 b = 45751 c = 1
+reset = 0 ready = 1 a = 6308 b = 31160 c = 1
+reset = 0 ready = 1 a = 49801 b = 62232 c = 76
+reset = 0 ready = 1 a = 22683 b = 49597 c = 1
+reset = 0 ready = 1 a = 35259 b = 43320 c = 1
+reset = 0 ready = 1 a = 19555 b = 50963 c = 3
+reset = 0 ready = 1 a = 49656 b = 35259 c = 1
+reset = 0 ready = 1 a = 27709 b = 62466 c = 3
+reset = 0 ready = 1 a = 31160 b = 6308 c = 1
+reset = 0 ready = 1 a = 62232 b = 10941 c = 76
+reset = 0 ready = 1 a = 1315 b = 49597 c = 3
+reset = 0 ready = 1 a = 45751 b = 49801 c = 1
+reset = 0 ready = 1 a = 5298 b = 49566 c = 1
+reset = 0 ready = 1 a = 9215 b = 41218 c = 6
+reset = 0 ready = 1 a = 49597 b = 41218 c = 1
+reset = 0 ready = 1 a = 20635 b = 49566 c = 1
+reset = 0 ready = 1 a = 16767 b = 49801 c = 1
+reset = 0 ready = 1 a = 36246 b = 49597 c = 1
+reset = 0 ready = 1 a = 60879 b = 10941 c = 1
+reset = 0 ready = 1 a = 10971 b = 6308 c = 21
+reset = 0 ready = 1 a = 30561 b = 62466 c = 1
+reset = 0 ready = 1 a = 50031 b = 35259 c = 3
+reset = 0 ready = 1 a = 23787 b = 50963 c = 3
+reset = 0 ready = 1 a = 43320 b = 43320 c = 1
+reset = 0 ready = 1 a = 840 b = 49597 c = 43320
+reset = 0 ready = 1 a = 62466 b = 62232 c = 1
+reset = 0 ready = 1 a = 46271 b = 31160 c = 6
+reset = 0 ready = 1 a = 43433 b = 45751 c = 1
+reset = 0 ready = 1 a = 35494 b = 60879 c = 1
+reset = 0 ready = 1 a = 29020 b = 29020 c = 1
+reset = 0 ready = 1 a = 10941 b = 24107 c = 29020
+reset = 0 ready = 1 a = 60450 b = 49597 c = 1
+reset = 0 ready = 1 a = 1353 b = 58311 c = 1
+reset = 0 ready = 1 a = 55880 b = 20635 c = 33
+reset = 0 ready = 1 a = 15190 b = 12559 c = 5
+reset = 0 ready = 1 a = 20803 b = 1353 c = 1
+reset = 0 ready = 1 a = 50963 b = 23787 c = 1
+reset = 0 ready = 1 a = 58311 b = 16767 c = 1
+reset = 0 ready = 1 a = 2378 b = 49597 c = 9
+reset = 0 ready = 1 a = 41218 b = 16767 c = 1
+reset = 0 ready = 1 a = 40894 b = 23787 c = 1
+reset = 0 ready = 1 a = 17233 b = 1353 c = 1
+reset = 0 ready = 1 a = 28171 b = 12559 c = 1
+reset = 0 ready = 1 a = 49566 b = 20635 c = 1
+reset = 0 ready = 1 a = 24107 b = 58311 c = 1
+reset = 0 ready = 1 a = 49648 b = 49597 c = 1
+reset = 0 ready = 1 a = 12559 b = 24107 c = 1
+reset = 0 ready = 1 a = 35674 b = 29020 c = 1
+reset = 0 ready = 1 a = 37558 b = 60879 c = 2
+reset = 0 ready = 1 a = 18689 b = 45751 c = 1
+reset = 0 ready = 1 a = 6308 b = 31160 c = 1
+reset = 0 ready = 1 a = 49801 b = 62232 c = 76
+reset = 0 ready = 1 a = 22683 b = 49597 c = 1
+reset = 0 ready = 1 a = 35259 b = 43320 c = 1
+reset = 0 ready = 1 a = 19555 b = 50963 c = 3
+reset = 0 ready = 1 a = 49656 b = 35259 c = 1
+reset = 0 ready = 1 a = 27709 b = 62466 c = 3
+reset = 0 ready = 1 a = 31160 b = 6308 c = 1
+reset = 0 ready = 1 a = 62232 b = 10941 c = 76
+reset = 0 ready = 1 a = 1315 b = 49597 c = 3
+reset = 0 ready = 1 a = 45751 b = 49801 c = 1
+reset = 0 ready = 1 a = 5298 b = 49566 c = 1
+reset = 0 ready = 1 a = 9215 b = 41218 c = 6
+reset = 0 ready = 1 a = 49597 b = 41218 c = 1
+reset = 0 ready = 1 a = 20635 b = 49566 c = 1
+reset = 0 ready = 1 a = 16767 b = 49801 c = 1
+reset = 0 ready = 1 a = 36246 b = 49597 c = 1
+reset = 0 ready = 1 a = 60879 b = 10941 c = 1
+reset = 0 ready = 1 a = 10971 b = 6308 c = 21
+reset = 0 ready = 1 a = 30561 b = 62466 c = 1
+reset = 0 ready = 1 a = 50031 b = 35259 c = 3
+reset = 0 ready = 1 a = 23787 b = 50963 c = 3
+reset = 0 ready = 1 a = 43320 b = 43320 c = 1
+reset = 0 ready = 1 a = 840 b = 49597 c = 43320
+reset = 0 ready = 1 a = 62466 b = 62232 c = 1
+reset = 0 ready = 1 a = 46271 b = 31160 c = 6
+reset = 0 ready = 1 a = 43433 b = 45751 c = 1
+reset = 0 ready = 1 a = 35494 b = 60879 c = 1
+reset = 0 ready = 1 a = 29020 b = 29020 c = 1
+reset = 0 ready = 1 a = 10941 b = 24107 c = 29020
+reset = 0 ready = 1 a = 60450 b = 49597 c = 1
+reset = 0 ready = 1 a = 1353 b = 58311 c = 1
+reset = 0 ready = 1 a = 55880 b = 20635 c = 33
+reset = 0 ready = 1 a = 15190 b = 12559 c = 5
+reset = 0 ready = 1 a = 20803 b = 1353 c = 1
+reset = 0 ready = 1 a = 50963 b = 23787 c = 1
+reset = 0 ready = 1 a = 58311 b = 16767 c = 1
+reset = 0 ready = 1 a = 2378 b = 49597 c = 9
+reset = 0 ready = 1 a = 41218 b = 16767 c = 1
+reset = 0 ready = 1 a = 40894 b = 23787 c = 1
+reset = 0 ready = 1 a = 17233 b = 1353 c = 1
+reset = 0 ready = 1 a = 28171 b = 12559 c = 1
+reset = 0 ready = 1 a = 49566 b = 20635 c = 1
+reset = 0 ready = 1 a = 24107 b = 58311 c = 1
+reset = 0 ready = 1 a = 49648 b = 49597 c = 1
+reset = 0 ready = 1 a = 12559 b = 24107 c = 1
+reset = 0 ready = 1 a = 35674 b = 29020 c = 1
+reset = 0 ready = 1 a = 37558 b = 60879 c = 2
+reset = 0 ready = 1 a = 18689 b = 45751 c = 1
+reset = 0 ready = 1 a = 6308 b = 31160 c = 1
+reset = 0 ready = 1 a = 49801 b = 62232 c = 76
+reset = 0 ready = 1 a = 22683 b = 49597 c = 1
+reset = 0 ready = 1 a = 35259 b = 43320 c = 1
+reset = 0 ready = 1 a = 19555 b = 50963 c = 3
+reset = 0 ready = 1 a = 49656 b = 35259 c = 1
+reset = 0 ready = 1 a = 27709 b = 62466 c = 3
+reset = 0 ready = 1 a = 31160 b = 6308 c = 1
+reset = 0 ready = 1 a = 62232 b = 10941 c = 76
+reset = 0 ready = 1 a = 1315 b = 49597 c = 3
+reset = 0 ready = 1 a = 45751 b = 49801 c = 1
+reset = 0 ready = 1 a = 5298 b = 49566 c = 1
+reset = 0 ready = 1 a = 9215 b = 41218 c = 6
+reset = 0 ready = 1 a = 49597 b = 41218 c = 1
+reset = 0 ready = 1 a = 20635 b = 49566 c = 1
+reset = 0 ready = 1 a = 16767 b = 49801 c = 1
+reset = 0 ready = 1 a = 36246 b = 49597 c = 1
+reset = 0 ready = 1 a = 60879 b = 10941 c = 1
+reset = 0 ready = 1 a = 10971 b = 6308 c = 21
+reset = 0 ready = 1 a = 30561 b = 62466 c = 1
+reset = 0 ready = 1 a = 50031 b = 35259 c = 3
+reset = 0 ready = 1 a = 23787 b = 50963 c = 3
+reset = 0 ready = 1 a = 43320 b = 43320 c = 1
+reset = 0 ready = 1 a = 840 b = 49597 c = 43320
+reset = 0 ready = 1 a = 62466 b = 62232 c = 1
+reset = 0 ready = 1 a = 46271 b = 31160 c = 6
+reset = 0 ready = 1 a = 43433 b = 45751 c = 1
+reset = 0 ready = 1 a = 35494 b = 60879 c = 1
+reset = 0 ready = 1 a = 29020 b = 29020 c = 1
+reset = 0 ready = 1 a = 10941 b = 24107 c = 29020
+reset = 0 ready = 1 a = 60450 b = 49597 c = 1
+reset = 0 ready = 1 a = 1353 b = 58311 c = 1
+reset = 0 ready = 1 a = 55880 b = 20635 c = 33
+reset = 0 ready = 1 a = 15190 b = 12559 c = 5
+reset = 0 ready = 1 a = 20803 b = 1353 c = 1
+reset = 0 ready = 1 a = 50963 b = 23787 c = 1
+reset = 0 ready = 1 a = 58311 b = 16767 c = 1
+reset = 0 ready = 1 a = 2378 b = 49597 c = 9
+reset = 0 ready = 1 a = 41218 b = 16767 c = 1
+reset = 0 ready = 1 a = 40894 b = 23787 c = 1
+reset = 0 ready = 1 a = 17233 b = 1353 c = 1
+reset = 0 ready = 1 a = 28171 b = 12559 c = 1
+reset = 0 ready = 1 a = 49566 b = 20635 c = 1
+reset = 0 ready = 1 a = 24107 b = 58311 c = 1
+reset = 0 ready = 1 a = 49648 b = 49597 c = 1
+reset = 0 ready = 1 a = 12559 b = 24107 c = 1
+reset = 0 ready = 1 a = 35674 b = 29020 c = 1
+reset = 0 ready = 1 a = 37558 b = 60879 c = 2
+reset = 0 ready = 1 a = 18689 b = 45751 c = 1
+reset = 0 ready = 1 a = 6308 b = 31160 c = 1
+reset = 0 ready = 1 a = 49801 b = 62232 c = 76
+reset = 0 ready = 1 a = 22683 b = 49597 c = 1
+reset = 0 ready = 1 a = 35259 b = 43320 c = 1
+reset = 0 ready = 1 a = 19555 b = 50963 c = 3
+reset = 0 ready = 1 a = 49656 b = 35259 c = 1
+reset = 0 ready = 1 a = 27709 b = 62466 c = 3
+reset = 0 ready = 1 a = 31160 b = 6308 c = 1
+reset = 0 ready = 1 a = 62232 b = 10941 c = 76
+reset = 0 ready = 1 a = 1315 b = 49597 c = 3
+reset = 0 ready = 1 a = 45751 b = 49801 c = 1
+reset = 0 ready = 1 a = 5298 b = 49566 c = 1
+reset = 0 ready = 1 a = 9215 b = 41218 c = 6
+reset = 0 ready = 1 a = 49597 b = 41218 c = 1
+reset = 0 ready = 1 a = 20635 b = 49566 c = 1
+reset = 0 ready = 1 a = 16767 b = 49801 c = 1
+reset = 0 ready = 1 a = 36246 b = 49597 c = 1
+reset = 0 ready = 1 a = 60879 b = 10941 c = 1
+reset = 0 ready = 1 a = 10971 b = 6308 c = 21
+reset = 0 ready = 1 a = 30561 b = 62466 c = 1
+reset = 0 ready = 1 a = 50031 b = 35259 c = 3
+reset = 0 ready = 1 a = 23787 b = 50963 c = 3
+reset = 0 ready = 1 a = 43320 b = 43320 c = 1
+reset = 0 ready = 1 a = 840 b = 49597 c = 43320
+reset = 0 ready = 1 a = 62466 b = 62232 c = 1
+reset = 0 ready = 1 a = 46271 b = 31160 c = 6
+reset = 0 ready = 1 a = 43433 b = 45751 c = 1
+reset = 0 ready = 1 a = 35494 b = 60879 c = 1
+reset = 0 ready = 1 a = 29020 b = 29020 c = 1
+reset = 0 ready = 1 a = 10941 b = 24107 c = 29020
+reset = 0 ready = 1 a = 60450 b = 49597 c = 1
+reset = 0 ready = 1 a = 1353 b = 58311 c = 1
+reset = 0 ready = 1 a = 55880 b = 20635 c = 33
+reset = 0 ready = 1 a = 15190 b = 12559 c = 5
+reset = 0 ready = 1 a = 20803 b = 1353 c = 1
+reset = 0 ready = 1 a = 50963 b = 23787 c = 1
+reset = 0 ready = 1 a = 58311 b = 16767 c = 1
+reset = 0 ready = 1 a = 2378 b = 49597 c = 9
+reset = 0 ready = 1 a = 41218 b = 16767 c = 1
+reset = 0 ready = 1 a = 40894 b = 23787 c = 1
+reset = 0 ready = 1 a = 17233 b = 1353 c = 1
+reset = 0 ready = 1 a = 28171 b = 12559 c = 1
+reset = 0 ready = 1 a = 49566 b = 20635 c = 1
+reset = 0 ready = 1 a = 24107 b = 58311 c = 1
+reset = 0 ready = 1 a = 49648 b = 49597 c = 1
+reset = 0 ready = 1 a = 12559 b = 24107 c = 1
+reset = 0 ready = 1 a = 35674 b = 29020 c = 1
+reset = 0 ready = 1 a = 37558 b = 60879 c = 2
+reset = 0 ready = 1 a = 18689 b = 45751 c = 1
+reset = 0 ready = 1 a = 6308 b = 31160 c = 1
+reset = 0 ready = 1 a = 49801 b = 62232 c = 76
+reset = 0 ready = 1 a = 22683 b = 49597 c = 1
+reset = 0 ready = 1 a = 35259 b = 43320 c = 1
+reset = 0 ready = 1 a = 19555 b = 50963 c = 3
+reset = 0 ready = 1 a = 49656 b = 35259 c = 1
+reset = 0 ready = 1 a = 27709 b = 62466 c = 3
+reset = 0 ready = 1 a = 31160 b = 6308 c = 1
+reset = 0 ready = 1 a = 62232 b = 10941 c = 76
+reset = 0 ready = 1 a = 1315 b = 49597 c = 3
+reset = 0 ready = 1 a = 45751 b = 49801 c = 1
+reset = 0 ready = 1 a = 5298 b = 49566 c = 1
+reset = 0 ready = 1 a = 9215 b = 41218 c = 6
+reset = 0 ready = 1 a = 49597 b = 41218 c = 1
+reset = 0 ready = 1 a = 20635 b = 49566 c = 1
+reset = 0 ready = 1 a = 16767 b = 49801 c = 1
+reset = 0 ready = 1 a = 36246 b = 49597 c = 1
+reset = 0 ready = 1 a = 60879 b = 10941 c = 1
+reset = 0 ready = 1 a = 10971 b = 6308 c = 21
+reset = 0 ready = 1 a = 30561 b = 62466 c = 1
+reset = 0 ready = 1 a = 50031 b = 35259 c = 3
+reset = 0 ready = 1 a = 23787 b = 50963 c = 3
+reset = 0 ready = 1 a = 43320 b = 43320 c = 1
+reset = 0 ready = 1 a = 840 b = 49597 c = 43320
+reset = 0 ready = 1 a = 62466 b = 62232 c = 1
+reset = 0 ready = 1 a = 46271 b = 31160 c = 6
+reset = 0 ready = 1 a = 43433 b = 45751 c = 1
+reset = 0 ready = 1 a = 35494 b = 60879 c = 1
+reset = 0 ready = 1 a = 29020 b = 29020 c = 1
+reset = 0 ready = 1 a = 10941 b = 24107 c = 29020
+reset = 0 ready = 1 a = 60450 b = 49597 c = 1
+reset = 0 ready = 1 a = 1353 b = 58311 c = 1
+reset = 0 ready = 1 a = 55880 b = 20635 c = 33
+reset = 0 ready = 1 a = 15190 b = 12559 c = 5
+reset = 0 ready = 1 a = 20803 b = 1353 c = 1
+reset = 0 ready = 1 a = 50963 b = 23787 c = 1
+reset = 0 ready = 1 a = 58311 b = 16767 c = 1
+reset = 0 ready = 1 a = 2378 b = 49597 c = 9
+reset = 0 ready = 1 a = 41218 b = 16767 c = 1
+reset = 0 ready = 1 a = 40894 b = 23787 c = 1
+reset = 0 ready = 1 a = 17233 b = 1353 c = 1
+reset = 0 ready = 1 a = 28171 b = 12559 c = 1
+reset = 0 ready = 1 a = 49566 b = 20635 c = 1
+reset = 0 ready = 1 a = 24107 b = 58311 c = 1
+reset = 0 ready = 1 a = 49648 b = 49597 c = 1
+reset = 0 ready = 1 a = 12559 b = 24107 c = 1
+reset = 0 ready = 1 a = 35674 b = 29020 c = 1
+reset = 0 ready = 1 a = 37558 b = 60879 c = 2
+reset = 0 ready = 1 a = 18689 b = 45751 c = 1
+reset = 0 ready = 1 a = 6308 b = 31160 c = 1
+reset = 0 ready = 1 a = 49801 b = 62232 c = 76
+reset = 0 ready = 1 a = 22683 b = 49597 c = 1
+reset = 0 ready = 1 a = 35259 b = 43320 c = 1
+reset = 0 ready = 1 a = 19555 b = 50963 c = 3
+reset = 0 ready = 1 a = 49656 b = 35259 c = 1
+reset = 0 ready = 1 a = 27709 b = 62466 c = 3
+reset = 0 ready = 1 a = 31160 b = 6308 c = 1
+reset = 0 ready = 1 a = 62232 b = 10941 c = 76
+reset = 0 ready = 1 a = 1315 b = 49597 c = 3
+reset = 0 ready = 1 a = 45751 b = 49801 c = 1
+reset = 0 ready = 1 a = 5298 b = 49566 c = 1
+reset = 0 ready = 1 a = 9215 b = 41218 c = 6
+reset = 0 ready = 1 a = 49597 b = 41218 c = 1
+reset = 0 ready = 1 a = 20635 b = 49566 c = 1
+reset = 0 ready = 1 a = 16767 b = 49801 c = 1
+reset = 0 ready = 1 a = 36246 b = 49597 c = 1
+reset = 0 ready = 1 a = 60879 b = 10941 c = 1
+reset = 0 ready = 1 a = 10971 b = 6308 c = 21
+reset = 0 ready = 1 a = 30561 b = 62466 c = 1
+reset = 0 ready = 1 a = 50031 b = 35259 c = 3
+reset = 0 ready = 1 a = 23787 b = 50963 c = 3
+reset = 0 ready = 1 a = 43320 b = 43320 c = 1
+reset = 0 ready = 1 a = 840 b = 49597 c = 43320
+reset = 0 ready = 1 a = 62466 b = 62232 c = 1
+reset = 0 ready = 1 a = 46271 b = 31160 c = 6
+reset = 0 ready = 1 a = 43433 b = 45751 c = 1
+reset = 0 ready = 1 a = 35494 b = 60879 c = 1
+reset = 0 ready = 1 a = 29020 b = 29020 c = 1
+reset = 0 ready = 1 a = 10941 b = 24107 c = 29020
+reset = 0 ready = 1 a = 60450 b = 49597 c = 1
+reset = 0 ready = 1 a = 1353 b = 58311 c = 1
+reset = 0 ready = 1 a = 55880 b = 20635 c = 33
+reset = 0 ready = 1 a = 15190 b = 12559 c = 5
+reset = 0 ready = 1 a = 20803 b = 1353 c = 1
+reset = 0 ready = 1 a = 50963 b = 23787 c = 1
+reset = 0 ready = 1 a = 58311 b = 16767 c = 1
+reset = 0 ready = 1 a = 2378 b = 49597 c = 9
+reset = 0 ready = 1 a = 41218 b = 16767 c = 1
+reset = 0 ready = 1 a = 40894 b = 23787 c = 1
+reset = 0 ready = 1 a = 17233 b = 1353 c = 1
+reset = 0 ready = 1 a = 28171 b = 12559 c = 1
+reset = 0 ready = 1 a = 49566 b = 20635 c = 1
+reset = 0 ready = 1 a = 24107 b = 58311 c = 1
+reset = 0 ready = 1 a = 49648 b = 49597 c = 1
+reset = 0 ready = 1 a = 12559 b = 24107 c = 1
+reset = 0 ready = 1 a = 35674 b = 29020 c = 1
+reset = 0 ready = 1 a = 37558 b = 60879 c = 2
+reset = 0 ready = 1 a = 18689 b = 45751 c = 1
+reset = 0 ready = 1 a = 6308 b = 31160 c = 1
+reset = 0 ready = 1 a = 49801 b = 62232 c = 76
+reset = 0 ready = 1 a = 22683 b = 49597 c = 1
+reset = 0 ready = 1 a = 35259 b = 43320 c = 1
+reset = 0 ready = 1 a = 19555 b = 50963 c = 3
+reset = 0 ready = 1 a = 49656 b = 35259 c = 1
+reset = 0 ready = 1 a = 27709 b = 62466 c = 3
+reset = 0 ready = 1 a = 31160 b = 6308 c = 1
+reset = 0 ready = 1 a = 62232 b = 10941 c = 76
+reset = 0 ready = 1 a = 1315 b = 49597 c = 3
+reset = 0 ready = 1 a = 45751 b = 49801 c = 1
+reset = 0 ready = 1 a = 5298 b = 49566 c = 1
+reset = 0 ready = 1 a = 9215 b = 41218 c = 6
+reset = 0 ready = 1 a = 49597 b = 41218 c = 1
+reset = 0 ready = 1 a = 20635 b = 49566 c = 1
+reset = 0 ready = 1 a = 16767 b = 49801 c = 1
+reset = 0 ready = 1 a = 36246 b = 49597 c = 1
+reset = 0 ready = 1 a = 60879 b = 10941 c = 1
+reset = 0 ready = 1 a = 10971 b = 6308 c = 21
+reset = 0 ready = 1 a = 30561 b = 62466 c = 1
+reset = 0 ready = 1 a = 50031 b = 35259 c = 3
+reset = 0 ready = 1 a = 23787 b = 50963 c = 3
+reset = 0 ready = 1 a = 43320 b = 43320 c = 1
+reset = 0 ready = 1 a = 840 b = 49597 c = 43320
+reset = 0 ready = 1 a = 62466 b = 62232 c = 1
+reset = 0 ready = 1 a = 46271 b = 31160 c = 6
+reset = 0 ready = 1 a = 43433 b = 45751 c = 1
+reset = 0 ready = 1 a = 35494 b = 60879 c = 1
+reset = 0 ready = 1 a = 29020 b = 29020 c = 1
+reset = 0 ready = 1 a = 10941 b = 24107 c = 29020
+reset = 0 ready = 1 a = 60450 b = 49597 c = 1
+reset = 0 ready = 1 a = 1353 b = 58311 c = 1
+reset = 0 ready = 1 a = 55880 b = 20635 c = 33
+reset = 0 ready = 1 a = 15190 b = 12559 c = 5
+reset = 0 ready = 1 a = 20803 b = 1353 c = 1
+reset = 0 ready = 1 a = 50963 b = 23787 c = 1
+reset = 0 ready = 1 a = 58311 b = 16767 c = 1
+reset = 0 ready = 1 a = 2378 b = 49597 c = 9
+reset = 0 ready = 1 a = 41218 b = 16767 c = 1
+reset = 0 ready = 1 a = 40894 b = 23787 c = 1
+reset = 0 ready = 1 a = 17233 b = 1353 c = 1
+reset = 0 ready = 1 a = 28171 b = 12559 c = 1
+reset = 0 ready = 1 a = 49566 b = 20635 c = 1
+reset = 0 ready = 1 a = 24107 b = 58311 c = 1
+reset = 0 ready = 1 a = 49648 b = 49597 c = 1
+reset = 0 ready = 1 a = 12559 b = 24107 c = 1
+reset = 0 ready = 1 a = 35674 b = 29020 c = 1
+reset = 0 ready = 1 a = 37558 b = 60879 c = 2
+reset = 0 ready = 1 a = 18689 b = 45751 c = 1
+reset = 0 ready = 1 a = 6308 b = 31160 c = 1
+reset = 0 ready = 1 a = 49801 b = 62232 c = 76
+reset = 0 ready = 1 a = 22683 b = 49597 c = 1
+reset = 0 ready = 1 a = 35259 b = 43320 c = 1
+reset = 0 ready = 1 a = 19555 b = 50963 c = 3
+reset = 0 ready = 1 a = 49656 b = 35259 c = 1
+reset = 0 ready = 1 a = 27709 b = 62466 c = 3
+reset = 0 ready = 1 a = 31160 b = 6308 c = 1
+reset = 0 ready = 1 a = 62232 b = 10941 c = 76
+reset = 0 ready = 1 a = 1315 b = 49597 c = 3
+reset = 0 ready = 1 a = 45751 b = 49801 c = 1
+reset = 0 ready = 1 a = 5298 b = 49566 c = 1
+reset = 0 ready = 1 a = 9215 b = 41218 c = 6
+reset = 0 ready = 1 a = 49597 b = 41218 c = 1
+reset = 0 ready = 1 a = 20635 b = 49566 c = 1
+reset = 0 ready = 1 a = 16767 b = 49801 c = 1
+reset = 0 ready = 1 a = 36246 b = 49597 c = 1
+reset = 0 ready = 1 a = 60879 b = 10941 c = 1
+reset = 0 ready = 1 a = 10971 b = 6308 c = 21
+reset = 0 ready = 1 a = 30561 b = 62466 c = 1
+reset = 0 ready = 1 a = 50031 b = 35259 c = 3
+reset = 0 ready = 1 a = 23787 b = 50963 c = 3
+reset = 0 ready = 1 a = 43320 b = 43320 c = 1
+reset = 0 ready = 1 a = 840 b = 49597 c = 43320
+reset = 0 ready = 1 a = 62466 b = 62232 c = 1
+reset = 0 ready = 1 a = 46271 b = 31160 c = 6
+reset = 0 ready = 1 a = 43433 b = 45751 c = 1
+reset = 0 ready = 1 a = 35494 b = 60879 c = 1
+reset = 0 ready = 1 a = 29020 b = 29020 c = 1
+reset = 0 ready = 1 a = 10941 b = 24107 c = 29020
+reset = 0 ready = 1 a = 60450 b = 49597 c = 1
+reset = 0 ready = 1 a = 1353 b = 58311 c = 1
+reset = 0 ready = 1 a = 55880 b = 20635 c = 33
+reset = 0 ready = 1 a = 15190 b = 12559 c = 5
+reset = 0 ready = 1 a = 20803 b = 1353 c = 1
+reset = 0 ready = 1 a = 50963 b = 23787 c = 1
+reset = 0 ready = 1 a = 58311 b = 16767 c = 1
+reset = 0 ready = 1 a = 2378 b = 49597 c = 9
+reset = 0 ready = 1 a = 41218 b = 16767 c = 1
+reset = 0 ready = 1 a = 40894 b = 23787 c = 1
+reset = 0 ready = 1 a = 17233 b = 1353 c = 1
+reset = 0 ready = 1 a = 28171 b = 12559 c = 1
+reset = 0 ready = 1 a = 49566 b = 20635 c = 1
+reset = 0 ready = 1 a = 24107 b = 58311 c = 1
+reset = 0 ready = 1 a = 49648 b = 49597 c = 1
+reset = 0 ready = 1 a = 12559 b = 24107 c = 1
+reset = 0 ready = 1 a = 35674 b = 29020 c = 1
+reset = 0 ready = 1 a = 37558 b = 60879 c = 2
+reset = 0 ready = 1 a = 18689 b = 45751 c = 1
+reset = 0 ready = 1 a = 6308 b = 31160 c = 1
+reset = 0 ready = 1 a = 49801 b = 62232 c = 76
+reset = 0 ready = 1 a = 22683 b = 49597 c = 1
+reset = 0 ready = 1 a = 35259 b = 43320 c = 1
+reset = 0 ready = 1 a = 19555 b = 50963 c = 3
+reset = 0 ready = 1 a = 49656 b = 35259 c = 1
+reset = 0 ready = 1 a = 27709 b = 62466 c = 3
+reset = 0 ready = 1 a = 31160 b = 6308 c = 1
+reset = 0 ready = 1 a = 62232 b = 10941 c = 76
+reset = 0 ready = 1 a = 1315 b = 49597 c = 3
+reset = 0 ready = 1 a = 45751 b = 49801 c = 1
+reset = 0 ready = 1 a = 5298 b = 49566 c = 1
+reset = 0 ready = 1 a = 9215 b = 41218 c = 6
+reset = 0 ready = 1 a = 49597 b = 41218 c = 1
+reset = 0 ready = 1 a = 20635 b = 49566 c = 1
+reset = 0 ready = 1 a = 16767 b = 49801 c = 1
+reset = 0 ready = 1 a = 36246 b = 49597 c = 1
+reset = 0 ready = 1 a = 60879 b = 10941 c = 1
+reset = 0 ready = 1 a = 10971 b = 6308 c = 21
+reset = 0 ready = 1 a = 30561 b = 62466 c = 1
+reset = 0 ready = 1 a = 50031 b = 35259 c = 3
+reset = 0 ready = 1 a = 23787 b = 50963 c = 3
+reset = 0 ready = 1 a = 43320 b = 43320 c = 1
+reset = 0 ready = 1 a = 840 b = 49597 c = 43320
+reset = 0 ready = 1 a = 62466 b = 62232 c = 1
+reset = 0 ready = 1 a = 46271 b = 31160 c = 6
+reset = 0 ready = 1 a = 43433 b = 45751 c = 1
+reset = 0 ready = 1 a = 35494 b = 60879 c = 1
+reset = 0 ready = 1 a = 29020 b = 29020 c = 1
+reset = 0 ready = 1 a = 10941 b = 24107 c = 29020
+reset = 0 ready = 1 a = 60450 b = 49597 c = 1
+reset = 0 ready = 1 a = 1353 b = 58311 c = 1
+reset = 0 ready = 1 a = 55880 b = 20635 c = 33
+reset = 0 ready = 1 a = 15190 b = 12559 c = 5
+reset = 0 ready = 1 a = 20803 b = 1353 c = 1
+reset = 0 ready = 1 a = 50963 b = 23787 c = 1
+reset = 0 ready = 1 a = 58311 b = 16767 c = 1
+reset = 0 ready = 1 a = 2378 b = 49597 c = 9
+reset = 0 ready = 1 a = 41218 b = 16767 c = 1
+reset = 0 ready = 1 a = 40894 b = 23787 c = 1
+reset = 0 ready = 1 a = 17233 b = 1353 c = 1
+reset = 0 ready = 1 a = 28171 b = 12559 c = 1
+reset = 0 ready = 1 a = 49566 b = 20635 c = 1
+reset = 0 ready = 1 a = 24107 b = 58311 c = 1
+reset = 0 ready = 1 a = 49648 b = 49597 c = 1
+reset = 0 ready = 1 a = 12559 b = 24107 c = 1
+reset = 0 ready = 1 a = 35674 b = 29020 c = 1
+reset = 0 ready = 1 a = 37558 b = 60879 c = 2
+reset = 0 ready = 1 a = 18689 b = 45751 c = 1
+reset = 0 ready = 1 a = 6308 b = 31160 c = 1
+reset = 0 ready = 1 a = 49801 b = 62232 c = 76
+reset = 0 ready = 1 a = 22683 b = 49597 c = 1
+reset = 0 ready = 1 a = 35259 b = 43320 c = 1
+reset = 0 ready = 1 a = 19555 b = 50963 c = 3
+reset = 0 ready = 1 a = 49656 b = 35259 c = 1
+reset = 0 ready = 1 a = 27709 b = 62466 c = 3
+reset = 0 ready = 1 a = 31160 b = 6308 c = 1
+reset = 0 ready = 1 a = 62232 b = 10941 c = 76
+reset = 0 ready = 1 a = 1315 b = 49597 c = 3
+reset = 0 ready = 1 a = 45751 b = 49801 c = 1
+reset = 0 ready = 1 a = 5298 b = 49566 c = 1
+reset = 0 ready = 1 a = 9215 b = 41218 c = 6
+reset = 0 ready = 1 a = 49597 b = 41218 c = 1
+reset = 0 ready = 1 a = 20635 b = 49566 c = 1
+reset = 0 ready = 1 a = 16767 b = 49801 c = 1
+reset = 0 ready = 1 a = 36246 b = 49597 c = 1
+reset = 0 ready = 1 a = 60879 b = 10941 c = 1
+reset = 0 ready = 1 a = 10971 b = 6308 c = 21
+reset = 0 ready = 1 a = 30561 b = 62466 c = 1
+reset = 0 ready = 1 a = 50031 b = 35259 c = 3
+reset = 0 ready = 1 a = 23787 b = 50963 c = 3
+reset = 0 ready = 1 a = 43320 b = 43320 c = 1
+reset = 0 ready = 1 a = 840 b = 49597 c = 43320
+reset = 0 ready = 1 a = 62466 b = 62232 c = 1
+reset = 0 ready = 1 a = 46271 b = 31160 c = 6
+reset = 0 ready = 1 a = 43433 b = 45751 c = 1
+reset = 0 ready = 1 a = 35494 b = 60879 c = 1
+reset = 0 ready = 1 a = 29020 b = 29020 c = 1
+reset = 0 ready = 1 a = 10941 b = 24107 c = 29020
+reset = 0 ready = 1 a = 60450 b = 49597 c = 1
+reset = 0 ready = 1 a = 1353 b = 58311 c = 1
+reset = 0 ready = 1 a = 55880 b = 20635 c = 33
+reset = 0 ready = 1 a = 15190 b = 12559 c = 5
+reset = 0 ready = 1 a = 20803 b = 1353 c = 1
+reset = 0 ready = 1 a = 50963 b = 23787 c = 1
+reset = 0 ready = 1 a = 58311 b = 16767 c = 1
+reset = 0 ready = 1 a = 2378 b = 49597 c = 9
+reset = 0 ready = 1 a = 41218 b = 16767 c = 1
+reset = 0 ready = 1 a = 40894 b = 23787 c = 1
+reset = 0 ready = 1 a = 17233 b = 1353 c = 1
+reset = 0 ready = 1 a = 28171 b = 12559 c = 1
+reset = 0 ready = 1 a = 49566 b = 20635 c = 1
+reset = 0 ready = 1 a = 24107 b = 58311 c = 1
+reset = 0 ready = 1 a = 49648 b = 49597 c = 1
+reset = 0 ready = 1 a = 12559 b = 24107 c = 1
+reset = 0 ready = 1 a = 35674 b = 29020 c = 1
+reset = 0 ready = 1 a = 37558 b = 60879 c = 2
+reset = 0 ready = 1 a = 18689 b = 45751 c = 1
+reset = 0 ready = 1 a = 6308 b = 31160 c = 1
+reset = 0 ready = 1 a = 49801 b = 62232 c = 76
+reset = 0 ready = 1 a = 22683 b = 49597 c = 1
+reset = 0 ready = 1 a = 35259 b = 43320 c = 1
+reset = 0 ready = 1 a = 19555 b = 50963 c = 3
+reset = 0 ready = 1 a = 49656 b = 35259 c = 1
+reset = 0 ready = 1 a = 27709 b = 62466 c = 3
+reset = 0 ready = 1 a = 31160 b = 6308 c = 1
+reset = 0 ready = 1 a = 62232 b = 10941 c = 76
+reset = 0 ready = 1 a = 1315 b = 49597 c = 3
+reset = 0 ready = 1 a = 45751 b = 49801 c = 1
+reset = 0 ready = 1 a = 5298 b = 49566 c = 1
+reset = 0 ready = 1 a = 9215 b = 41218 c = 6
+reset = 0 ready = 1 a = 49597 b = 41218 c = 1
+reset = 0 ready = 1 a = 20635 b = 49566 c = 1
+reset = 0 ready = 1 a = 16767 b = 49801 c = 1
+reset = 0 ready = 1 a = 36246 b = 49597 c = 1
+reset = 0 ready = 1 a = 60879 b = 10941 c = 1
+reset = 0 ready = 1 a = 10971 b = 6308 c = 21
+reset = 0 ready = 1 a = 30561 b = 62466 c = 1
+reset = 0 ready = 1 a = 50031 b = 35259 c = 3
+reset = 0 ready = 1 a = 23787 b = 50963 c = 3
+reset = 0 ready = 1 a = 43320 b = 43320 c = 1
+reset = 0 ready = 1 a = 840 b = 49597 c = 43320
+reset = 0 ready = 1 a = 62466 b = 62232 c = 1
+reset = 0 ready = 1 a = 46271 b = 31160 c = 6
+reset = 0 ready = 1 a = 43433 b = 45751 c = 1
+reset = 0 ready = 1 a = 35494 b = 60879 c = 1
+reset = 0 ready = 1 a = 29020 b = 29020 c = 1
+reset = 0 ready = 1 a = 10941 b = 24107 c = 29020
+reset = 0 ready = 1 a = 60450 b = 49597 c = 1
+reset = 0 ready = 1 a = 1353 b = 58311 c = 1
+reset = 0 ready = 1 a = 55880 b = 20635 c = 33
+reset = 0 ready = 1 a = 15190 b = 12559 c = 5
+reset = 0 ready = 1 a = 20803 b = 1353 c = 1
+reset = 0 ready = 1 a = 50963 b = 23787 c = 1
+reset = 0 ready = 1 a = 58311 b = 16767 c = 1
+reset = 0 ready = 1 a = 2378 b = 49597 c = 9
+reset = 0 ready = 1 a = 41218 b = 16767 c = 1
+reset = 0 ready = 1 a = 40894 b = 23787 c = 1
+reset = 0 ready = 1 a = 17233 b = 1353 c = 1
+reset = 0 ready = 1 a = 28171 b = 12559 c = 1
+reset = 0 ready = 1 a = 49566 b = 20635 c = 1
+reset = 0 ready = 1 a = 24107 b = 58311 c = 1
+reset = 0 ready = 1 a = 49648 b = 49597 c = 1
+reset = 0 ready = 1 a = 12559 b = 24107 c = 1
+reset = 0 ready = 1 a = 35674 b = 29020 c = 1
+reset = 0 ready = 1 a = 37558 b = 60879 c = 2
+reset = 0 ready = 1 a = 18689 b = 45751 c = 1
+reset = 0 ready = 1 a = 6308 b = 31160 c = 1
+reset = 0 ready = 1 a = 49801 b = 62232 c = 76
+reset = 0 ready = 1 a = 22683 b = 49597 c = 1
+reset = 0 ready = 1 a = 35259 b = 43320 c = 1
+reset = 0 ready = 1 a = 19555 b = 50963 c = 3
+reset = 0 ready = 1 a = 49656 b = 35259 c = 1
+reset = 0 ready = 1 a = 27709 b = 62466 c = 3
+reset = 0 ready = 1 a = 31160 b = 6308 c = 1
+reset = 0 ready = 1 a = 62232 b = 10941 c = 76
+reset = 0 ready = 1 a = 1315 b = 49597 c = 3
+reset = 0 ready = 1 a = 45751 b = 49801 c = 1
+reset = 0 ready = 1 a = 5298 b = 49566 c = 1
+reset = 0 ready = 1 a = 9215 b = 41218 c = 6
+reset = 0 ready = 1 a = 49597 b = 41218 c = 1
+reset = 0 ready = 1 a = 20635 b = 49566 c = 1
+reset = 0 ready = 1 a = 16767 b = 49801 c = 1
+reset = 0 ready = 1 a = 36246 b = 49597 c = 1
+reset = 0 ready = 1 a = 60879 b = 10941 c = 1
+reset = 0 ready = 1 a = 10971 b = 6308 c = 21
+reset = 0 ready = 1 a = 30561 b = 62466 c = 1
+reset = 0 ready = 1 a = 50031 b = 35259 c = 3
+reset = 0 ready = 1 a = 23787 b = 50963 c = 3
+reset = 0 ready = 1 a = 43320 b = 43320 c = 1
+reset = 0 ready = 1 a = 840 b = 49597 c = 43320
+reset = 0 ready = 1 a = 62466 b = 62232 c = 1
+reset = 0 ready = 1 a = 46271 b = 31160 c = 6
+reset = 0 ready = 1 a = 43433 b = 45751 c = 1
+reset = 0 ready = 1 a = 35494 b = 60879 c = 1
+reset = 0 ready = 1 a = 29020 b = 29020 c = 1
+reset = 0 ready = 1 a = 10941 b = 24107 c = 29020
+reset = 0 ready = 1 a = 60450 b = 49597 c = 1
+reset = 0 ready = 1 a = 1353 b = 58311 c = 1
+reset = 0 ready = 1 a = 55880 b = 20635 c = 33
+reset = 0 ready = 1 a = 15190 b = 12559 c = 5
+reset = 0 ready = 1 a = 20803 b = 1353 c = 1
+reset = 0 ready = 1 a = 50963 b = 23787 c = 1
+reset = 0 ready = 1 a = 58311 b = 16767 c = 1
+reset = 0 ready = 1 a = 2378 b = 49597 c = 9
+reset = 0 ready = 1 a = 41218 b = 16767 c = 1
+reset = 0 ready = 1 a = 40894 b = 23787 c = 1
+reset = 0 ready = 1 a = 17233 b = 1353 c = 1
+reset = 0 ready = 1 a = 28171 b = 12559 c = 1
+reset = 0 ready = 1 a = 49566 b = 20635 c = 1
+reset = 0 ready = 1 a = 24107 b = 58311 c = 1
+reset = 0 ready = 1 a = 49648 b = 49597 c = 1
+reset = 0 ready = 1 a = 12559 b = 24107 c = 1
+reset = 0 ready = 1 a = 35674 b = 29020 c = 1
+reset = 0 ready = 1 a = 37558 b = 60879 c = 2
+reset = 0 ready = 1 a = 18689 b = 45751 c = 1
+reset = 0 ready = 1 a = 6308 b = 31160 c = 1
+reset = 0 ready = 1 a = 49801 b = 62232 c = 76
+reset = 0 ready = 1 a = 22683 b = 49597 c = 1
+reset = 0 ready = 1 a = 35259 b = 43320 c = 1
+reset = 0 ready = 1 a = 19555 b = 50963 c = 3
+reset = 0 ready = 1 a = 49656 b = 35259 c = 1
+reset = 0 ready = 1 a = 27709 b = 62466 c = 3
+reset = 0 ready = 1 a = 31160 b = 6308 c = 1
+reset = 0 ready = 1 a = 62232 b = 10941 c = 76
+reset = 0 ready = 1 a = 1315 b = 49597 c = 3
+reset = 0 ready = 1 a = 45751 b = 49801 c = 1
+reset = 0 ready = 1 a = 5298 b = 49566 c = 1
+reset = 0 ready = 1 a = 9215 b = 41218 c = 6
+reset = 0 ready = 1 a = 49597 b = 41218 c = 1
+reset = 0 ready = 1 a = 20635 b = 49566 c = 1
+reset = 0 ready = 1 a = 16767 b = 49801 c = 1
+reset = 0 ready = 1 a = 36246 b = 49597 c = 1
+reset = 0 ready = 1 a = 60879 b = 10941 c = 1
+reset = 0 ready = 1 a = 10971 b = 6308 c = 21
+reset = 0 ready = 1 a = 30561 b = 62466 c = 1
+reset = 0 ready = 1 a = 50031 b = 35259 c = 3
+reset = 0 ready = 1 a = 23787 b = 50963 c = 3
+reset = 0 ready = 1 a = 43320 b = 43320 c = 1
+reset = 0 ready = 1 a = 840 b = 49597 c = 43320
+reset = 0 ready = 1 a = 62466 b = 62232 c = 1
+reset = 0 ready = 1 a = 46271 b = 31160 c = 6
+reset = 0 ready = 1 a = 43433 b = 45751 c = 1
+reset = 0 ready = 1 a = 35494 b = 60879 c = 1
+reset = 0 ready = 1 a = 29020 b = 29020 c = 1
+reset = 0 ready = 1 a = 10941 b = 24107 c = 29020
+reset = 0 ready = 1 a = 60450 b = 49597 c = 1
+reset = 0 ready = 1 a = 1353 b = 58311 c = 1
+reset = 0 ready = 1 a = 55880 b = 20635 c = 33
+reset = 0 ready = 1 a = 15190 b = 12559 c = 5
+reset = 0 ready = 1 a = 20803 b = 1353 c = 1
+reset = 0 ready = 1 a = 50963 b = 23787 c = 1
+reset = 0 ready = 1 a = 58311 b = 16767 c = 1
+reset = 0 ready = 1 a = 2378 b = 49597 c = 9
+reset = 0 ready = 1 a = 41218 b = 16767 c = 1
+reset = 0 ready = 1 a = 40894 b = 23787 c = 1
+reset = 0 ready = 1 a = 17233 b = 1353 c = 1
+reset = 0 ready = 1 a = 28171 b = 12559 c = 1
+reset = 0 ready = 1 a = 49566 b = 20635 c = 1
+reset = 0 ready = 1 a = 24107 b = 58311 c = 1
+reset = 0 ready = 1 a = 49648 b = 49597 c = 1
+reset = 0 ready = 1 a = 12559 b = 24107 c = 1
+reset = 0 ready = 1 a = 35674 b = 29020 c = 1
+reset = 0 ready = 1 a = 37558 b = 60879 c = 2
+reset = 0 ready = 1 a = 18689 b = 45751 c = 1
+reset = 0 ready = 1 a = 6308 b = 31160 c = 1
+reset = 0 ready = 1 a = 49801 b = 62232 c = 76
+reset = 0 ready = 1 a = 22683 b = 49597 c = 1
+reset = 0 ready = 1 a = 35259 b = 43320 c = 1
+reset = 0 ready = 1 a = 19555 b = 50963 c = 3
+reset = 0 ready = 1 a = 49656 b = 35259 c = 1
+reset = 0 ready = 1 a = 27709 b = 62466 c = 3
+reset = 0 ready = 1 a = 31160 b = 6308 c = 1
+reset = 0 ready = 1 a = 62232 b = 10941 c = 76
+reset = 0 ready = 1 a = 1315 b = 49597 c = 3
+reset = 0 ready = 1 a = 45751 b = 49801 c = 1
+reset = 0 ready = 1 a = 5298 b = 49566 c = 1
+reset = 0 ready = 1 a = 9215 b = 41218 c = 6
+reset = 0 ready = 1 a = 49597 b = 41218 c = 1
+reset = 0 ready = 1 a = 20635 b = 49566 c = 1
+reset = 0 ready = 1 a = 16767 b = 49801 c = 1
+reset = 0 ready = 1 a = 36246 b = 49597 c = 1
+reset = 0 ready = 1 a = 60879 b = 10941 c = 1
+reset = 0 ready = 1 a = 10971 b = 6308 c = 21
+reset = 0 ready = 1 a = 30561 b = 62466 c = 1
+reset = 0 ready = 1 a = 50031 b = 35259 c = 3
+reset = 0 ready = 1 a = 23787 b = 50963 c = 3
+reset = 0 ready = 1 a = 43320 b = 43320 c = 1
+reset = 0 ready = 1 a = 840 b = 49597 c = 43320
+reset = 0 ready = 1 a = 62466 b = 62232 c = 1
+reset = 0 ready = 1 a = 46271 b = 31160 c = 6
+reset = 0 ready = 1 a = 43433 b = 45751 c = 1
+reset = 0 ready = 1 a = 35494 b = 60879 c = 1
+reset = 0 ready = 1 a = 29020 b = 29020 c = 1
+reset = 0 ready = 1 a = 10941 b = 24107 c = 29020
+reset = 0 ready = 1 a = 60450 b = 49597 c = 1
+reset = 0 ready = 1 a = 1353 b = 58311 c = 1
+reset = 0 ready = 1 a = 55880 b = 20635 c = 33
+reset = 0 ready = 1 a = 15190 b = 12559 c = 5
+reset = 0 ready = 1 a = 20803 b = 1353 c = 1
+reset = 0 ready = 1 a = 50963 b = 23787 c = 1
+reset = 0 ready = 1 a = 58311 b = 16767 c = 1
+reset = 0 ready = 1 a = 2378 b = 49597 c = 9
+reset = 0 ready = 1 a = 41218 b = 16767 c = 1
+reset = 0 ready = 1 a = 40894 b = 23787 c = 1
+reset = 0 ready = 1 a = 17233 b = 1353 c = 1
+reset = 0 ready = 1 a = 28171 b = 12559 c = 1
+reset = 0 ready = 1 a = 49566 b = 20635 c = 1
+reset = 0 ready = 1 a = 24107 b = 58311 c = 1
+reset = 0 ready = 1 a = 49648 b = 49597 c = 1
+reset = 0 ready = 1 a = 12559 b = 24107 c = 1
+reset = 0 ready = 1 a = 35674 b = 29020 c = 1
+reset = 0 ready = 1 a = 37558 b = 60879 c = 2
+reset = 0 ready = 1 a = 18689 b = 45751 c = 1
+reset = 0 ready = 1 a = 6308 b = 31160 c = 1
+reset = 0 ready = 1 a = 49801 b = 62232 c = 76
+reset = 0 ready = 1 a = 22683 b = 49597 c = 1
+reset = 0 ready = 1 a = 35259 b = 43320 c = 1
+reset = 0 ready = 1 a = 19555 b = 50963 c = 3
+reset = 0 ready = 1 a = 49656 b = 35259 c = 1
+reset = 0 ready = 1 a = 27709 b = 62466 c = 3
+reset = 0 ready = 1 a = 31160 b = 6308 c = 1
+reset = 0 ready = 1 a = 62232 b = 10941 c = 76
+reset = 0 ready = 1 a = 1315 b = 49597 c = 3
+reset = 0 ready = 1 a = 45751 b = 49801 c = 1
+reset = 0 ready = 1 a = 5298 b = 49566 c = 1
+reset = 0 ready = 1 a = 9215 b = 41218 c = 6
+reset = 0 ready = 1 a = 49597 b = 41218 c = 1
+reset = 0 ready = 1 a = 20635 b = 49566 c = 1
+reset = 0 ready = 1 a = 16767 b = 49801 c = 1
+reset = 0 ready = 1 a = 36246 b = 49597 c = 1
+reset = 0 ready = 1 a = 60879 b = 10941 c = 1
+reset = 0 ready = 1 a = 10971 b = 6308 c = 21
+reset = 0 ready = 1 a = 30561 b = 62466 c = 1
+reset = 0 ready = 1 a = 50031 b = 35259 c = 3
+reset = 0 ready = 1 a = 23787 b = 50963 c = 3
+reset = 0 ready = 1 a = 43320 b = 43320 c = 1
+reset = 0 ready = 1 a = 840 b = 49597 c = 43320
+reset = 0 ready = 1 a = 62466 b = 62232 c = 1
+reset = 0 ready = 1 a = 46271 b = 31160 c = 6
+reset = 0 ready = 1 a = 43433 b = 45751 c = 1
+reset = 0 ready = 1 a = 35494 b = 60879 c = 1
+reset = 0 ready = 1 a = 29020 b = 29020 c = 1
+reset = 0 ready = 1 a = 10941 b = 24107 c = 29020
+reset = 0 ready = 1 a = 60450 b = 49597 c = 1
+reset = 0 ready = 1 a = 1353 b = 58311 c = 1
+reset = 0 ready = 1 a = 55880 b = 20635 c = 33
+reset = 0 ready = 1 a = 15190 b = 12559 c = 5
+reset = 0 ready = 1 a = 20803 b = 1353 c = 1
+reset = 0 ready = 1 a = 50963 b = 23787 c = 1
+reset = 0 ready = 1 a = 58311 b = 16767 c = 1
+reset = 0 ready = 1 a = 2378 b = 49597 c = 9
+reset = 0 ready = 1 a = 41218 b = 16767 c = 1
+reset = 0 ready = 1 a = 40894 b = 23787 c = 1
+reset = 0 ready = 1 a = 17233 b = 1353 c = 1
+reset = 0 ready = 1 a = 28171 b = 12559 c = 1
+reset = 0 ready = 1 a = 49566 b = 20635 c = 1
+reset = 0 ready = 1 a = 24107 b = 58311 c = 1
+reset = 0 ready = 1 a = 49648 b = 49597 c = 1
+reset = 0 ready = 1 a = 12559 b = 24107 c = 1
+reset = 0 ready = 1 a = 35674 b = 29020 c = 1
+reset = 0 ready = 1 a = 37558 b = 60879 c = 2
+reset = 0 ready = 1 a = 18689 b = 45751 c = 1
+reset = 0 ready = 1 a = 6308 b = 31160 c = 1
+reset = 0 ready = 1 a = 49801 b = 62232 c = 76
+reset = 0 ready = 1 a = 22683 b = 49597 c = 1
+reset = 0 ready = 1 a = 35259 b = 43320 c = 1
+reset = 0 ready = 1 a = 19555 b = 50963 c = 3
+reset = 0 ready = 1 a = 49656 b = 35259 c = 1
+reset = 0 ready = 1 a = 27709 b = 62466 c = 3
+reset = 0 ready = 1 a = 31160 b = 6308 c = 1
+reset = 0 ready = 1 a = 62232 b = 10941 c = 76
+reset = 0 ready = 1 a = 1315 b = 49597 c = 3
+reset = 0 ready = 1 a = 45751 b = 49801 c = 1
+reset = 0 ready = 1 a = 5298 b = 49566 c = 1
+reset = 0 ready = 1 a = 9215 b = 41218 c = 6
+reset = 0 ready = 1 a = 49597 b = 41218 c = 1
+reset = 0 ready = 1 a = 20635 b = 49566 c = 1
+reset = 0 ready = 1 a = 16767 b = 49801 c = 1
+reset = 0 ready = 1 a = 36246 b = 49597 c = 1
+reset = 0 ready = 1 a = 60879 b = 10941 c = 1
+reset = 0 ready = 1 a = 10971 b = 6308 c = 21
+reset = 0 ready = 1 a = 30561 b = 62466 c = 1
+reset = 0 ready = 1 a = 50031 b = 35259 c = 3
+reset = 0 ready = 1 a = 23787 b = 50963 c = 3
+reset = 0 ready = 1 a = 43320 b = 43320 c = 1
+reset = 0 ready = 1 a = 840 b = 49597 c = 43320
+reset = 0 ready = 1 a = 62466 b = 62232 c = 1
+reset = 0 ready = 1 a = 46271 b = 31160 c = 6
+reset = 0 ready = 1 a = 43433 b = 45751 c = 1
+reset = 0 ready = 1 a = 35494 b = 60879 c = 1
+reset = 0 ready = 1 a = 29020 b = 29020 c = 1
+reset = 0 ready = 1 a = 10941 b = 24107 c = 29020
+reset = 0 ready = 1 a = 60450 b = 49597 c = 1
+reset = 0 ready = 1 a = 1353 b = 58311 c = 1
+reset = 0 ready = 1 a = 55880 b = 20635 c = 33
+reset = 0 ready = 1 a = 15190 b = 12559 c = 5
+reset = 0 ready = 1 a = 20803 b = 1353 c = 1
+reset = 0 ready = 1 a = 50963 b = 23787 c = 1
+reset = 0 ready = 1 a = 58311 b = 16767 c = 1
+reset = 0 ready = 1 a = 2378 b = 49597 c = 9
+reset = 0 ready = 1 a = 41218 b = 16767 c = 1
+reset = 0 ready = 1 a = 40894 b = 23787 c = 1
+reset = 0 ready = 1 a = 17233 b = 1353 c = 1
+reset = 0 ready = 1 a = 28171 b = 12559 c = 1
+reset = 0 ready = 1 a = 49566 b = 20635 c = 1
+reset = 0 ready = 1 a = 24107 b = 58311 c = 1
+reset = 0 ready = 1 a = 49648 b = 49597 c = 1
+reset = 0 ready = 1 a = 12559 b = 24107 c = 1
+reset = 0 ready = 1 a = 35674 b = 29020 c = 1
+reset = 0 ready = 1 a = 37558 b = 60879 c = 2
+reset = 0 ready = 1 a = 18689 b = 45751 c = 1
+reset = 0 ready = 1 a = 6308 b = 31160 c = 1
+reset = 0 ready = 1 a = 49801 b = 62232 c = 76
+reset = 0 ready = 1 a = 22683 b = 49597 c = 1
+reset = 0 ready = 1 a = 35259 b = 43320 c = 1
+reset = 0 ready = 1 a = 19555 b = 50963 c = 3
+reset = 0 ready = 1 a = 49656 b = 35259 c = 1
+reset = 0 ready = 1 a = 27709 b = 62466 c = 3
+reset = 0 ready = 1 a = 31160 b = 6308 c = 1
+reset = 0 ready = 1 a = 62232 b = 10941 c = 76
+reset = 0 ready = 1 a = 1315 b = 49597 c = 3
+reset = 0 ready = 1 a = 45751 b = 49801 c = 1
+reset = 0 ready = 1 a = 5298 b = 49566 c = 1
+reset = 0 ready = 1 a = 9215 b = 41218 c = 6
+reset = 0 ready = 1 a = 49597 b = 41218 c = 1
+reset = 0 ready = 1 a = 20635 b = 49566 c = 1
+reset = 0 ready = 1 a = 16767 b = 49801 c = 1
+reset = 0 ready = 1 a = 36246 b = 49597 c = 1
+reset = 0 ready = 1 a = 60879 b = 10941 c = 1
+reset = 0 ready = 1 a = 10971 b = 6308 c = 21
+reset = 0 ready = 1 a = 30561 b = 62466 c = 1
+reset = 0 ready = 1 a = 50031 b = 35259 c = 3
+reset = 0 ready = 1 a = 23787 b = 50963 c = 3
+reset = 0 ready = 1 a = 43320 b = 43320 c = 1
+reset = 0 ready = 1 a = 840 b = 49597 c = 43320
+reset = 0 ready = 1 a = 62466 b = 62232 c = 1
+reset = 0 ready = 1 a = 46271 b = 31160 c = 6
+reset = 0 ready = 1 a = 43433 b = 45751 c = 1
+reset = 0 ready = 1 a = 35494 b = 60879 c = 1
+reset = 0 ready = 1 a = 29020 b = 29020 c = 1
+reset = 0 ready = 1 a = 10941 b = 24107 c = 29020
+reset = 0 ready = 1 a = 60450 b = 49597 c = 1
+reset = 0 ready = 1 a = 1353 b = 58311 c = 1
+reset = 0 ready = 1 a = 55880 b = 20635 c = 33
+reset = 0 ready = 1 a = 15190 b = 12559 c = 5
+reset = 0 ready = 1 a = 20803 b = 1353 c = 1
+reset = 0 ready = 1 a = 50963 b = 23787 c = 1
+reset = 0 ready = 1 a = 58311 b = 16767 c = 1
+reset = 0 ready = 1 a = 2378 b = 49597 c = 9
+reset = 0 ready = 1 a = 41218 b = 16767 c = 1
+reset = 0 ready = 1 a = 40894 b = 23787 c = 1
+reset = 0 ready = 1 a = 17233 b = 1353 c = 1
+reset = 0 ready = 1 a = 28171 b = 12559 c = 1
+reset = 0 ready = 1 a = 49566 b = 20635 c = 1
+reset = 0 ready = 1 a = 24107 b = 58311 c = 1
+reset = 0 ready = 1 a = 49648 b = 49597 c = 1
+reset = 0 ready = 1 a = 12559 b = 24107 c = 1
+reset = 0 ready = 1 a = 35674 b = 29020 c = 1
+reset = 0 ready = 1 a = 37558 b = 60879 c = 2
+reset = 0 ready = 1 a = 18689 b = 45751 c = 1
+reset = 0 ready = 1 a = 6308 b = 31160 c = 1
+reset = 0 ready = 1 a = 49801 b = 62232 c = 76
+reset = 0 ready = 1 a = 22683 b = 49597 c = 1
+reset = 0 ready = 1 a = 35259 b = 43320 c = 1
+reset = 0 ready = 1 a = 19555 b = 50963 c = 3
+reset = 0 ready = 1 a = 49656 b = 35259 c = 1
+reset = 0 ready = 1 a = 27709 b = 62466 c = 3
+reset = 0 ready = 1 a = 31160 b = 6308 c = 1
+reset = 0 ready = 1 a = 62232 b = 10941 c = 76
+reset = 0 ready = 1 a = 1315 b = 49597 c = 3
+reset = 0 ready = 1 a = 45751 b = 49801 c = 1
+reset = 0 ready = 1 a = 5298 b = 49566 c = 1
+reset = 0 ready = 1 a = 9215 b = 41218 c = 6
+reset = 0 ready = 1 a = 49597 b = 41218 c = 1
+reset = 0 ready = 1 a = 20635 b = 49566 c = 1
+reset = 0 ready = 1 a = 16767 b = 49801 c = 1
+reset = 0 ready = 1 a = 36246 b = 49597 c = 1
+reset = 0 ready = 1 a = 60879 b = 10941 c = 1
+reset = 0 ready = 1 a = 10971 b = 6308 c = 21
+reset = 0 ready = 1 a = 30561 b = 62466 c = 1
+reset = 0 ready = 1 a = 50031 b = 35259 c = 3
+reset = 0 ready = 1 a = 23787 b = 50963 c = 3
+reset = 0 ready = 1 a = 43320 b = 43320 c = 1
+reset = 0 ready = 1 a = 840 b = 49597 c = 43320
+reset = 0 ready = 1 a = 62466 b = 62232 c = 1
+reset = 0 ready = 1 a = 46271 b = 31160 c = 6
+reset = 0 ready = 1 a = 43433 b = 45751 c = 1
+reset = 0 ready = 1 a = 35494 b = 60879 c = 1
+reset = 0 ready = 1 a = 29020 b = 29020 c = 1
+reset = 0 ready = 1 a = 10941 b = 24107 c = 29020
+reset = 0 ready = 1 a = 60450 b = 49597 c = 1
+reset = 0 ready = 1 a = 1353 b = 58311 c = 1
+reset = 0 ready = 1 a = 55880 b = 20635 c = 33
+reset = 0 ready = 1 a = 15190 b = 12559 c = 5
+reset = 0 ready = 1 a = 20803 b = 1353 c = 1
+reset = 0 ready = 1 a = 50963 b = 23787 c = 1
+reset = 0 ready = 1 a = 58311 b = 16767 c = 1
+reset = 0 ready = 1 a = 2378 b = 49597 c = 9
+reset = 0 ready = 1 a = 41218 b = 16767 c = 1
+reset = 0 ready = 1 a = 40894 b = 23787 c = 1
+reset = 0 ready = 1 a = 17233 b = 1353 c = 1
+reset = 0 ready = 1 a = 28171 b = 12559 c = 1
+reset = 0 ready = 1 a = 49566 b = 20635 c = 1
+reset = 0 ready = 1 a = 24107 b = 58311 c = 1
+reset = 0 ready = 1 a = 49648 b = 49597 c = 1
+reset = 0 ready = 1 a = 12559 b = 24107 c = 1
+reset = 0 ready = 1 a = 35674 b = 29020 c = 1
+reset = 0 ready = 1 a = 37558 b = 60879 c = 2
+reset = 0 ready = 1 a = 18689 b = 45751 c = 1
+reset = 0 ready = 1 a = 6308 b = 31160 c = 1
+reset = 0 ready = 1 a = 49801 b = 62232 c = 76
+reset = 0 ready = 1 a = 22683 b = 49597 c = 1
+reset = 0 ready = 1 a = 35259 b = 43320 c = 1
+reset = 0 ready = 1 a = 19555 b = 50963 c = 3
+reset = 0 ready = 1 a = 49656 b = 35259 c = 1
+reset = 0 ready = 1 a = 27709 b = 62466 c = 3
+reset = 0 ready = 1 a = 31160 b = 6308 c = 1
+reset = 0 ready = 1 a = 62232 b = 10941 c = 76
+reset = 0 ready = 1 a = 1315 b = 49597 c = 3
+reset = 0 ready = 1 a = 45751 b = 49801 c = 1
+reset = 0 ready = 1 a = 5298 b = 49566 c = 1
+reset = 0 ready = 1 a = 9215 b = 41218 c = 6
+reset = 0 ready = 1 a = 49597 b = 41218 c = 1
+reset = 0 ready = 1 a = 20635 b = 49566 c = 1
+reset = 0 ready = 1 a = 16767 b = 49801 c = 1
+reset = 0 ready = 1 a = 36246 b = 49597 c = 1
+reset = 0 ready = 1 a = 60879 b = 10941 c = 1
+reset = 0 ready = 1 a = 10971 b = 6308 c = 21
+reset = 0 ready = 1 a = 30561 b = 62466 c = 1
+reset = 0 ready = 1 a = 50031 b = 35259 c = 3
+reset = 0 ready = 1 a = 23787 b = 50963 c = 3
+reset = 0 ready = 1 a = 43320 b = 43320 c = 1
+reset = 0 ready = 1 a = 840 b = 49597 c = 43320
+reset = 0 ready = 1 a = 62466 b = 62232 c = 1
+reset = 0 ready = 1 a = 46271 b = 31160 c = 6
+reset = 0 ready = 1 a = 43433 b = 45751 c = 1
+reset = 0 ready = 1 a = 35494 b = 60879 c = 1
+reset = 0 ready = 1 a = 29020 b = 29020 c = 1
+reset = 0 ready = 1 a = 10941 b = 24107 c = 29020
+reset = 0 ready = 1 a = 60450 b = 49597 c = 1
+reset = 0 ready = 1 a = 1353 b = 58311 c = 1
+reset = 0 ready = 1 a = 55880 b = 20635 c = 33
+reset = 0 ready = 1 a = 15190 b = 12559 c = 5
+reset = 0 ready = 1 a = 20803 b = 1353 c = 1
+reset = 0 ready = 1 a = 50963 b = 23787 c = 1
+reset = 0 ready = 1 a = 58311 b = 16767 c = 1
+reset = 0 ready = 1 a = 2378 b = 49597 c = 9
+reset = 0 ready = 1 a = 41218 b = 16767 c = 1
+reset = 0 ready = 1 a = 40894 b = 23787 c = 1
+reset = 0 ready = 1 a = 17233 b = 1353 c = 1
+reset = 0 ready = 1 a = 28171 b = 12559 c = 1
+reset = 0 ready = 1 a = 49566 b = 20635 c = 1
+reset = 0 ready = 1 a = 24107 b = 58311 c = 1
+reset = 0 ready = 1 a = 49648 b = 49597 c = 1
+reset = 0 ready = 1 a = 12559 b = 24107 c = 1
+reset = 0 ready = 1 a = 35674 b = 29020 c = 1
+reset = 0 ready = 1 a = 37558 b = 60879 c = 2
+reset = 0 ready = 1 a = 18689 b = 45751 c = 1
+reset = 0 ready = 1 a = 6308 b = 31160 c = 1
+reset = 0 ready = 1 a = 49801 b = 62232 c = 76
+reset = 0 ready = 1 a = 22683 b = 49597 c = 1
+reset = 0 ready = 1 a = 35259 b = 43320 c = 1
+reset = 0 ready = 1 a = 19555 b = 50963 c = 3
+reset = 0 ready = 1 a = 49656 b = 35259 c = 1
+reset = 0 ready = 1 a = 27709 b = 62466 c = 3
+reset = 0 ready = 1 a = 31160 b = 6308 c = 1
+reset = 0 ready = 1 a = 62232 b = 10941 c = 76
+reset = 0 ready = 1 a = 1315 b = 49597 c = 3
+reset = 0 ready = 1 a = 45751 b = 49801 c = 1
+reset = 0 ready = 1 a = 5298 b = 49566 c = 1
+reset = 0 ready = 1 a = 9215 b = 41218 c = 6
+reset = 0 ready = 1 a = 49597 b = 41218 c = 1
+reset = 0 ready = 1 a = 20635 b = 49566 c = 1
+reset = 0 ready = 1 a = 16767 b = 49801 c = 1
+reset = 0 ready = 1 a = 36246 b = 49597 c = 1
+reset = 0 ready = 1 a = 60879 b = 10941 c = 1
+reset = 0 ready = 1 a = 10971 b = 6308 c = 21
+reset = 0 ready = 1 a = 30561 b = 62466 c = 1
+reset = 0 ready = 1 a = 50031 b = 35259 c = 3
+reset = 0 ready = 1 a = 23787 b = 50963 c = 3
+reset = 0 ready = 1 a = 43320 b = 43320 c = 1
+reset = 0 ready = 1 a = 840 b = 49597 c = 43320
+reset = 0 ready = 1 a = 62466 b = 62232 c = 1
+reset = 0 ready = 1 a = 46271 b = 31160 c = 6
+reset = 0 ready = 1 a = 43433 b = 45751 c = 1
+reset = 0 ready = 1 a = 35494 b = 60879 c = 1
+reset = 0 ready = 1 a = 29020 b = 29020 c = 1
+reset = 0 ready = 1 a = 10941 b = 24107 c = 29020
+reset = 0 ready = 1 a = 60450 b = 49597 c = 1
+reset = 0 ready = 1 a = 1353 b = 58311 c = 1
+reset = 0 ready = 1 a = 55880 b = 20635 c = 33
+reset = 0 ready = 1 a = 15190 b = 12559 c = 5
+reset = 0 ready = 1 a = 20803 b = 1353 c = 1
+reset = 0 ready = 1 a = 50963 b = 23787 c = 1
+reset = 0 ready = 1 a = 58311 b = 16767 c = 1
+reset = 0 ready = 1 a = 2378 b = 49597 c = 9
+reset = 0 ready = 1 a = 41218 b = 16767 c = 1
+reset = 0 ready = 1 a = 40894 b = 23787 c = 1
+reset = 0 ready = 1 a = 17233 b = 1353 c = 1
+reset = 0 ready = 1 a = 28171 b = 12559 c = 1
+reset = 0 ready = 1 a = 49566 b = 20635 c = 1
+reset = 0 ready = 1 a = 24107 b = 58311 c = 1
+reset = 0 ready = 1 a = 49648 b = 49597 c = 1
+reset = 0 ready = 1 a = 12559 b = 24107 c = 1
+reset = 0 ready = 1 a = 35674 b = 29020 c = 1
+reset = 0 ready = 1 a = 37558 b = 60879 c = 2
+reset = 0 ready = 1 a = 18689 b = 45751 c = 1
+reset = 0 ready = 1 a = 6308 b = 31160 c = 1
+reset = 0 ready = 1 a = 49801 b = 62232 c = 76
+reset = 0 ready = 1 a = 22683 b = 49597 c = 1
+reset = 0 ready = 1 a = 35259 b = 43320 c = 1
+reset = 0 ready = 1 a = 19555 b = 50963 c = 3
+reset = 0 ready = 1 a = 49656 b = 35259 c = 1
+reset = 0 ready = 1 a = 27709 b = 62466 c = 3
+reset = 0 ready = 1 a = 31160 b = 6308 c = 1
+reset = 0 ready = 1 a = 62232 b = 10941 c = 76
+reset = 0 ready = 1 a = 1315 b = 49597 c = 3
+reset = 0 ready = 1 a = 45751 b = 49801 c = 1
+reset = 0 ready = 1 a = 5298 b = 49566 c = 1
+reset = 0 ready = 1 a = 9215 b = 41218 c = 6
+reset = 0 ready = 1 a = 49597 b = 41218 c = 1
+reset = 0 ready = 1 a = 20635 b = 49566 c = 1
+reset = 0 ready = 1 a = 16767 b = 49801 c = 1
+reset = 0 ready = 1 a = 36246 b = 49597 c = 1
+reset = 0 ready = 1 a = 60879 b = 10941 c = 1
+reset = 0 ready = 1 a = 10971 b = 6308 c = 21
+reset = 0 ready = 1 a = 30561 b = 62466 c = 1
+reset = 0 ready = 1 a = 50031 b = 35259 c = 3
+reset = 0 ready = 1 a = 23787 b = 50963 c = 3
+reset = 0 ready = 1 a = 43320 b = 43320 c = 1
+reset = 0 ready = 1 a = 840 b = 49597 c = 43320
+reset = 0 ready = 1 a = 62466 b = 62232 c = 1
+reset = 0 ready = 1 a = 46271 b = 31160 c = 6
+reset = 0 ready = 1 a = 43433 b = 45751 c = 1
+reset = 0 ready = 1 a = 35494 b = 60879 c = 1
+reset = 0 ready = 1 a = 29020 b = 29020 c = 1
+reset = 0 ready = 1 a = 10941 b = 24107 c = 29020
+reset = 0 ready = 1 a = 60450 b = 49597 c = 1
+reset = 0 ready = 1 a = 1353 b = 58311 c = 1
+reset = 0 ready = 1 a = 55880 b = 20635 c = 33
+reset = 0 ready = 1 a = 15190 b = 12559 c = 5
+reset = 0 ready = 1 a = 20803 b = 1353 c = 1
+reset = 0 ready = 1 a = 50963 b = 23787 c = 1
+reset = 0 ready = 1 a = 58311 b = 16767 c = 1
+reset = 0 ready = 1 a = 2378 b = 49597 c = 9
+reset = 0 ready = 1 a = 41218 b = 16767 c = 1
+reset = 0 ready = 1 a = 40894 b = 23787 c = 1
+reset = 0 ready = 1 a = 17233 b = 1353 c = 1
+reset = 0 ready = 1 a = 28171 b = 12559 c = 1
+reset = 0 ready = 1 a = 49566 b = 20635 c = 1
+reset = 0 ready = 1 a = 24107 b = 58311 c = 1
+reset = 0 ready = 1 a = 49648 b = 49597 c = 1