Trace number 328470

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
ornithorynque 0.1 alpha? (TO) 1200.06 601.621

General information on the benchmark

Nameindustrial/fuhs/medium/
AProVE07-22.cnf
MD5SUM3b3198fba6db1661781a1aa668754f11
Bench CategoryINDUST (industrial instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark81.0267
Satisfiable
(Un)Satisfiability was proved
Number of variables15589
Number of clauses54263
Sum of the clauses size140423
Maximum clause length96
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 226004
Number of clauses of size 325780
Number of clauses of size 42100
Number of clauses of size 5198
Number of clauses of size over 5180

Solver Data (download as text)

0.00/0.00	c This is Ornithorynque version 0.1 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using unsigned short
0.00/0.00	c parsing...
0.09/0.13	c ...done
0.09/0.13	c nbVar=15589 nbClause=54263
0.09/0.15	c nbVar=15589 nbClause=54263
0.09/0.18	c complete search running
0.09/0.18	c local search running
0.09/0.19	c flip 0 nbSat=44423 maxSat=0
0.20/0.28	c flip 10000 nbSat=50136 maxSat=50164
0.60/0.41	c flip 20000 nbSat=51323 maxSat=51335
0.80/0.55	c flip 30000 nbSat=51722 maxSat=51745
1.20/0.71	c flip 40000 nbSat=51912 maxSat=51944
1.40/0.86	c flip 50000 nbSat=52055 maxSat=52117
1.82/1.04	c flip 60000 nbSat=52179 maxSat=52242
2.20/1.20	c flip 70000 nbSat=52313 maxSat=52362
2.40/1.37	c flip 80000 nbSat=52235 maxSat=52364
2.80/1.54	c flip 90000 nbSat=52349 maxSat=52437
3.20/1.71	c flip 100000 nbSat=52331 maxSat=52437
3.40/1.88	c flip 110000 nbSat=52392 maxSat=52487
3.80/2.06	c flip 120000 nbSat=52511 maxSat=52552
4.21/2.23	c flip 130000 nbSat=52450 maxSat=52557
4.60/2.40	c flip 140000 nbSat=52441 maxSat=52568
4.80/2.57	c flip 150000 nbSat=52508 maxSat=52599
5.20/2.74	c flip 160000 nbSat=52448 maxSat=52621
5.59/2.91	c flip 170000 nbSat=52512 maxSat=52621
5.79/3.08	c flip 180000 nbSat=52573 maxSat=52652
6.20/3.25	c flip 190000 nbSat=52600 maxSat=52662
6.59/3.43	c flip 200000 nbSat=52583 maxSat=52684
6.99/3.60	c flip 210000 nbSat=52524 maxSat=52684
7.19/3.78	c flip 220000 nbSat=52650 maxSat=52691
7.59/3.96	c flip 230000 nbSat=52628 maxSat=52742
7.99/4.13	c flip 240000 nbSat=52641 maxSat=52742
8.39/4.31	c flip 250000 nbSat=52540 maxSat=52742
8.58/4.49	c flip 260000 nbSat=52682 maxSat=52742
8.98/4.67	c flip 270000 nbSat=52685 maxSat=52754
9.38/4.85	c flip 280000 nbSat=52630 maxSat=52754
9.77/5.02	c flip 290000 nbSat=52708 maxSat=52755
10.17/5.20	c flip 300000 nbSat=52718 maxSat=52769
10.37/5.39	c flip 310000 nbSat=52706 maxSat=52769
10.58/5.44	c flip 0 nbSat=45328 maxSat=52769
10.78/5.54	c flip 10000 nbSat=51275 maxSat=52769
10.97/5.68	c flip 20000 nbSat=52202 maxSat=52769
11.37/5.84	c flip 30000 nbSat=52727 maxSat=52769
11.77/6.01	c flip 40000 nbSat=53021 maxSat=53133
11.97/6.19	c flip 50000 nbSat=53215 maxSat=53259
12.37/6.38	c flip 60000 nbSat=53301 maxSat=53409
12.78/6.58	c flip 70000 nbSat=53237 maxSat=53412
13.17/6.77	c flip 80000 nbSat=53424 maxSat=53471
13.57/6.97	c flip 90000 nbSat=53495 maxSat=53523
13.97/7.17	c flip 100000 nbSat=53496 maxSat=53557
14.37/7.38	c flip 110000 nbSat=53514 maxSat=53589
14.76/7.58	c flip 120000 nbSat=53445 maxSat=53592
15.16/7.79	c flip 130000 nbSat=53479 maxSat=53644
15.55/7.99	c flip 140000 nbSat=53502 maxSat=53644
15.95/8.20	c flip 150000 nbSat=53451 maxSat=53669
16.55/8.40	c flip 160000 nbSat=53565 maxSat=53697
16.95/8.61	c flip 170000 nbSat=53568 maxSat=53697
17.36/8.82	c flip 180000 nbSat=53606 maxSat=53697
17.75/9.02	c flip 190000 nbSat=53513 maxSat=53716
18.15/9.23	c flip 200000 nbSat=53713 maxSat=53731
18.55/9.44	c flip 210000 nbSat=53597 maxSat=53732
18.95/9.65	c flip 220000 nbSat=53504 maxSat=53737
19.35/9.86	c flip 230000 nbSat=53642 maxSat=53741
19.74/10.07	c flip 240000 nbSat=53517 maxSat=53741
20.14/10.28	c flip 250000 nbSat=53526 maxSat=53741
20.54/10.49	c flip 260000 nbSat=53673 maxSat=53741
20.94/10.69	c flip 270000 nbSat=53653 maxSat=53741
21.55/10.91	c flip 280000 nbSat=53668 maxSat=53741
21.94/11.12	c flip 290000 nbSat=53621 maxSat=53741
22.33/11.33	c flip 300000 nbSat=53640 maxSat=53741
22.73/11.54	c flip 310000 nbSat=53596 maxSat=53741
22.73/11.59	c flip 0 nbSat=45353 maxSat=53741
22.93/11.69	c flip 10000 nbSat=51188 maxSat=53741
23.33/11.83	c flip 20000 nbSat=52249 maxSat=53741
23.74/12.00	c flip 30000 nbSat=52672 maxSat=53741
23.94/12.18	c flip 40000 nbSat=52944 maxSat=53741
24.33/12.36	c flip 50000 nbSat=53148 maxSat=53741
24.73/12.55	c flip 60000 nbSat=53144 maxSat=53741
25.13/12.74	c flip 70000 nbSat=53296 maxSat=53741
25.53/12.93	c flip 80000 nbSat=53328 maxSat=53741
25.93/13.13	c flip 90000 nbSat=53328 maxSat=53741
26.32/13.33	c flip 100000 nbSat=53379 maxSat=53741
26.72/13.52	c flip 110000 nbSat=53335 maxSat=53741
27.12/13.71	c flip 120000 nbSat=53380 maxSat=53741
27.52/13.91	c flip 130000 nbSat=53438 maxSat=53741
27.92/14.11	c flip 140000 nbSat=53445 maxSat=53741
28.33/14.31	c flip 150000 nbSat=53442 maxSat=53741
28.72/14.52	c flip 160000 nbSat=53379 maxSat=53741
29.12/14.72	c flip 170000 nbSat=53510 maxSat=53741
29.52/14.93	c flip 180000 nbSat=53534 maxSat=53741
29.92/15.13	c flip 190000 nbSat=53499 maxSat=53741
30.32/15.34	c flip 200000 nbSat=53426 maxSat=53741
30.71/15.55	c flip 210000 nbSat=53625 maxSat=53741
31.11/15.76	c flip 220000 nbSat=53566 maxSat=53741
31.51/15.97	c flip 230000 nbSat=53646 maxSat=53741
31.91/16.18	c flip 240000 nbSat=53574 maxSat=53741
32.31/16.38	c flip 250000 nbSat=53592 maxSat=53741
32.72/16.59	c flip 260000 nbSat=53611 maxSat=53741
33.31/16.80	c flip 270000 nbSat=53539 maxSat=53741
33.71/17.01	c flip 280000 nbSat=53574 maxSat=53741
34.11/17.21	c flip 290000 nbSat=53598 maxSat=53741
34.51/17.42	c flip 300000 nbSat=53689 maxSat=53744
34.91/17.64	c flip 310000 nbSat=53638 maxSat=53751
34.91/17.69	c flip 0 nbSat=45471 maxSat=53757
35.11/17.79	c flip 10000 nbSat=51261 maxSat=53757
35.51/17.93	c flip 20000 nbSat=52339 maxSat=53757
35.91/18.10	c flip 30000 nbSat=52849 maxSat=53757
36.10/18.27	c flip 40000 nbSat=53060 maxSat=53757
36.50/18.47	c flip 50000 nbSat=53197 maxSat=53757
36.91/18.66	c flip 60000 nbSat=53343 maxSat=53757
37.30/18.87	c flip 70000 nbSat=53346 maxSat=53757
37.70/19.07	c flip 80000 nbSat=53492 maxSat=53757
38.10/19.28	c flip 90000 nbSat=53476 maxSat=53757
38.50/19.49	c flip 100000 nbSat=53436 maxSat=53757
38.90/19.69	c flip 110000 nbSat=53556 maxSat=53757
39.49/19.90	c flip 120000 nbSat=53615 maxSat=53757
39.89/20.11	c flip 130000 nbSat=53480 maxSat=53757
40.29/20.32	c flip 140000 nbSat=53376 maxSat=53757
40.69/20.52	c flip 150000 nbSat=53595 maxSat=53757
41.09/20.74	c flip 160000 nbSat=53694 maxSat=53757
41.49/20.96	c flip 170000 nbSat=53582 maxSat=53757
41.89/21.17	c flip 180000 nbSat=53635 maxSat=53757
42.29/21.38	c flip 190000 nbSat=53626 maxSat=53757
42.88/21.60	c flip 200000 nbSat=53735 maxSat=53763
43.28/21.82	c flip 210000 nbSat=53719 maxSat=53778
43.69/22.03	c flip 220000 nbSat=53678 maxSat=53778
44.08/22.24	c flip 230000 nbSat=53653 maxSat=53778
44.48/22.44	c flip 240000 nbSat=53577 maxSat=53778
44.88/22.65	c flip 250000 nbSat=53657 maxSat=53778
45.28/22.87	c flip 260000 nbSat=53601 maxSat=53778
45.68/23.08	c flip 270000 nbSat=53599 maxSat=53778
46.07/23.29	c flip 280000 nbSat=53502 maxSat=53778
46.67/23.50	c flip 290000 nbSat=53628 maxSat=53778
47.07/23.71	c flip 300000 nbSat=53658 maxSat=53778
47.47/23.93	c flip 310000 nbSat=53658 maxSat=53797
47.47/23.98	c flip 0 nbSat=45633 maxSat=53797
47.67/24.08	c flip 10000 nbSat=51391 maxSat=53797
48.08/24.22	c flip 20000 nbSat=52369 maxSat=53797
48.27/24.38	c flip 30000 nbSat=52613 maxSat=53797
48.67/24.55	c flip 40000 nbSat=52929 maxSat=53797
49.07/24.73	c flip 50000 nbSat=53136 maxSat=53797
49.47/24.92	c flip 60000 nbSat=53342 maxSat=53797
49.87/25.11	c flip 70000 nbSat=53348 maxSat=53797
50.27/25.31	c flip 80000 nbSat=53392 maxSat=53797
50.66/25.50	c flip 90000 nbSat=53449 maxSat=53797
50.87/25.69	c flip 100000 nbSat=53456 maxSat=53797
51.26/25.88	c flip 110000 nbSat=53478 maxSat=53797
51.67/26.08	c flip 120000 nbSat=53430 maxSat=53797
52.07/26.28	c flip 130000 nbSat=53517 maxSat=53797
52.47/26.49	c flip 140000 nbSat=53616 maxSat=53797
52.86/26.70	c flip 150000 nbSat=53470 maxSat=53797
53.46/26.91	c flip 160000 nbSat=53628 maxSat=53797
53.86/27.11	c flip 170000 nbSat=53608 maxSat=53797
54.26/27.32	c flip 180000 nbSat=53642 maxSat=53797
54.66/27.53	c flip 190000 nbSat=53639 maxSat=53797
55.06/27.73	c flip 200000 nbSat=53629 maxSat=53797
55.46/27.94	c flip 210000 nbSat=53696 maxSat=53797
55.85/28.15	c flip 220000 nbSat=53641 maxSat=53797
56.25/28.36	c flip 230000 nbSat=53687 maxSat=53797
56.66/28.57	c flip 240000 nbSat=53629 maxSat=53797
57.05/28.77	c flip 250000 nbSat=53684 maxSat=53798
57.45/28.98	c flip 260000 nbSat=53687 maxSat=53798
57.85/29.19	c flip 270000 nbSat=53790 maxSat=53818
58.45/29.40	c flip 280000 nbSat=53724 maxSat=53818
58.86/29.61	c flip 290000 nbSat=53638 maxSat=53818
59.25/29.82	c flip 300000 nbSat=53708 maxSat=53818
59.65/30.03	c flip 310000 nbSat=53786 maxSat=53818
59.65/30.08	c flip 0 nbSat=45401 maxSat=53818
59.85/30.18	c flip 10000 nbSat=51154 maxSat=53818
60.25/30.33	c flip 20000 nbSat=52307 maxSat=53818
60.45/30.49	c flip 30000 nbSat=52810 maxSat=53818
60.84/30.66	c flip 40000 nbSat=52995 maxSat=53818
61.25/30.85	c flip 50000 nbSat=53226 maxSat=53818
61.64/31.03	c flip 60000 nbSat=53241 maxSat=53818
62.04/31.23	c flip 70000 nbSat=53285 maxSat=53818
62.44/31.42	c flip 80000 nbSat=53380 maxSat=53818
62.84/31.62	c flip 90000 nbSat=53441 maxSat=53818
63.24/31.83	c flip 100000 nbSat=53429 maxSat=53818
63.63/32.03	c flip 110000 nbSat=53553 maxSat=53818
64.03/32.23	c flip 120000 nbSat=53524 maxSat=53818
64.43/32.43	c flip 130000 nbSat=53471 maxSat=53818
64.83/32.64	c flip 140000 nbSat=53613 maxSat=53818
65.23/32.85	c flip 150000 nbSat=53542 maxSat=53818
65.64/33.06	c flip 160000 nbSat=53502 maxSat=53818
66.03/33.26	c flip 170000 nbSat=53700 maxSat=53818
66.43/33.47	c flip 180000 nbSat=53498 maxSat=53818
66.83/33.68	c flip 190000 nbSat=53579 maxSat=53818
67.23/33.88	c flip 200000 nbSat=53600 maxSat=53818
67.63/34.10	c flip 210000 nbSat=53613 maxSat=53818
68.22/34.30	c flip 220000 nbSat=53565 maxSat=53818
68.63/34.51	c flip 230000 nbSat=53688 maxSat=53818
69.03/34.72	c flip 240000 nbSat=53500 maxSat=53818
69.43/34.94	c flip 250000 nbSat=53584 maxSat=53818
69.83/35.16	c flip 260000 nbSat=53609 maxSat=53818
70.22/35.37	c flip 270000 nbSat=53657 maxSat=53818
70.62/35.59	c flip 280000 nbSat=53640 maxSat=53818
71.22/35.80	c flip 290000 nbSat=53614 maxSat=53840
71.62/36.02	c flip 300000 nbSat=53701 maxSat=53840
72.03/36.24	c flip 310000 nbSat=53746 maxSat=53840
72.03/36.29	c flip 0 nbSat=45558 maxSat=53840
72.23/36.39	c flip 10000 nbSat=51213 maxSat=53840
72.62/36.54	c flip 20000 nbSat=52287 maxSat=53840
73.01/36.71	c flip 30000 nbSat=52853 maxSat=53840
73.21/36.89	c flip 40000 nbSat=53069 maxSat=53840
73.61/37.08	c flip 50000 nbSat=53101 maxSat=53840
74.01/37.28	c flip 60000 nbSat=53277 maxSat=53840
74.42/37.49	c flip 70000 nbSat=53400 maxSat=53840
74.81/37.69	c flip 80000 nbSat=53373 maxSat=53840
75.21/37.89	c flip 90000 nbSat=53337 maxSat=53840
75.61/38.09	c flip 100000 nbSat=53448 maxSat=53840
76.01/38.29	c flip 110000 nbSat=53458 maxSat=53840
76.42/38.50	c flip 120000 nbSat=53600 maxSat=53840
76.81/38.70	c flip 130000 nbSat=53598 maxSat=53840
77.41/38.91	c flip 140000 nbSat=53554 maxSat=53840
77.81/39.11	c flip 150000 nbSat=53604 maxSat=53840
78.21/39.32	c flip 160000 nbSat=53717 maxSat=53840
78.61/39.54	c flip 170000 nbSat=53745 maxSat=53840
79.00/39.75	c flip 180000 nbSat=53715 maxSat=53840
79.40/39.96	c flip 190000 nbSat=53726 maxSat=53840
79.80/40.17	c flip 200000 nbSat=53722 maxSat=53840
80.20/40.38	c flip 210000 nbSat=53736 maxSat=53846
80.60/40.59	c flip 220000 nbSat=53741 maxSat=53846
81.20/40.81	c flip 230000 nbSat=53672 maxSat=53846
81.60/41.03	c flip 240000 nbSat=53730 maxSat=53846
82.00/41.25	c flip 250000 nbSat=53789 maxSat=53846
82.40/41.46	c flip 260000 nbSat=53671 maxSat=53853
82.80/41.68	c flip 270000 nbSat=53703 maxSat=53853
83.39/41.91	c flip 280000 nbSat=53650 maxSat=53853
83.79/42.13	c flip 290000 nbSat=53828 maxSat=53863
84.19/42.35	c flip 300000 nbSat=53798 maxSat=53902
84.59/42.56	c flip 310000 nbSat=53811 maxSat=53902
84.79/42.62	c flip 0 nbSat=45745 maxSat=53902
84.99/42.72	c flip 10000 nbSat=51320 maxSat=53902
85.20/42.87	c flip 20000 nbSat=52344 maxSat=53902
85.59/43.03	c flip 30000 nbSat=52742 maxSat=53902
85.99/43.20	c flip 40000 nbSat=52928 maxSat=53902
86.19/43.39	c flip 50000 nbSat=53172 maxSat=53902
86.59/43.57	c flip 60000 nbSat=53253 maxSat=53902
86.99/43.76	c flip 70000 nbSat=53294 maxSat=53902
87.39/43.96	c flip 80000 nbSat=53424 maxSat=53902
87.78/44.15	c flip 90000 nbSat=53402 maxSat=53902
88.18/44.35	c flip 100000 nbSat=53500 maxSat=53902
88.58/44.54	c flip 110000 nbSat=53491 maxSat=53902
88.98/44.74	c flip 120000 nbSat=53535 maxSat=53902
89.38/44.94	c flip 130000 nbSat=53576 maxSat=53902
89.79/45.14	c flip 140000 nbSat=53677 maxSat=53902
90.18/45.34	c flip 150000 nbSat=53679 maxSat=53902
90.58/45.53	c flip 160000 nbSat=53594 maxSat=53902
90.98/45.73	c flip 170000 nbSat=53619 maxSat=53902
91.38/45.93	c flip 180000 nbSat=53571 maxSat=53902
91.78/46.14	c flip 190000 nbSat=53556 maxSat=53902
92.17/46.35	c flip 200000 nbSat=53650 maxSat=53902
92.57/46.55	c flip 210000 nbSat=53609 maxSat=53902
92.97/46.76	c flip 220000 nbSat=53575 maxSat=53902
93.37/46.97	c flip 230000 nbSat=53667 maxSat=53902
93.77/47.18	c flip 240000 nbSat=53687 maxSat=53902
94.37/47.40	c flip 250000 nbSat=53705 maxSat=53902
94.77/47.61	c flip 260000 nbSat=53703 maxSat=53902
95.17/47.83	c flip 270000 nbSat=53768 maxSat=53902
95.57/48.05	c flip 280000 nbSat=53593 maxSat=53902
95.96/48.28	c flip 290000 nbSat=53739 maxSat=53902
96.56/48.50	c flip 300000 nbSat=53818 maxSat=53902
96.96/48.72	c flip 310000 nbSat=53644 maxSat=53902
96.96/48.77	c flip 0 nbSat=45689 maxSat=53902
97.16/48.87	c flip 10000 nbSat=51331 maxSat=53902
97.56/49.02	c flip 20000 nbSat=52402 maxSat=53902
97.76/49.18	c flip 30000 nbSat=52812 maxSat=53902
98.16/49.36	c flip 40000 nbSat=53082 maxSat=53902
98.56/49.55	c flip 50000 nbSat=53180 maxSat=53902
98.95/49.74	c flip 60000 nbSat=53315 maxSat=53902
99.35/49.93	c flip 70000 nbSat=53367 maxSat=53902
99.75/50.12	c flip 80000 nbSat=53370 maxSat=53902
100.15/50.31	c flip 90000 nbSat=53411 maxSat=53902
100.55/50.52	c flip 100000 nbSat=53484 maxSat=53902
100.94/50.71	c flip 110000 nbSat=53414 maxSat=53902
101.34/50.91	c flip 120000 nbSat=53563 maxSat=53902
101.74/51.11	c flip 130000 nbSat=53470 maxSat=53902
102.14/51.31	c flip 140000 nbSat=53557 maxSat=53902
102.54/51.51	c flip 150000 nbSat=53570 maxSat=53902
102.95/51.71	c flip 160000 nbSat=53630 maxSat=53902
103.34/51.91	c flip 170000 nbSat=53555 maxSat=53902
103.74/52.12	c flip 180000 nbSat=53608 maxSat=53902
104.14/52.33	c flip 190000 nbSat=53702 maxSat=53902
104.53/52.55	c flip 200000 nbSat=53656 maxSat=53902
104.93/52.75	c flip 210000 nbSat=53625 maxSat=53902
105.32/52.96	c flip 220000 nbSat=53712 maxSat=53902
105.72/53.17	c flip 230000 nbSat=53713 maxSat=53902
106.12/53.39	c flip 240000 nbSat=53638 maxSat=53902
106.52/53.59	c flip 250000 nbSat=53654 maxSat=53902
107.13/53.81	c flip 260000 nbSat=53612 maxSat=53902
107.52/54.01	c flip 270000 nbSat=53712 maxSat=53902
107.92/54.21	c flip 280000 nbSat=53744 maxSat=53902
108.32/54.42	c flip 290000 nbSat=53679 maxSat=53902
108.72/54.62	c flip 300000 nbSat=53620 maxSat=53902
109.12/54.83	c flip 310000 nbSat=53715 maxSat=53902
109.12/54.88	c flip 0 nbSat=45707 maxSat=53902
109.32/54.98	c flip 10000 nbSat=51167 maxSat=53902
109.71/55.13	c flip 20000 nbSat=52271 maxSat=53902
110.11/55.30	c flip 30000 nbSat=52767 maxSat=53902
110.31/55.48	c flip 40000 nbSat=53037 maxSat=53902
110.71/55.66	c flip 50000 nbSat=53071 maxSat=53902
111.11/55.85	c flip 60000 nbSat=53165 maxSat=53902
111.52/56.05	c flip 70000 nbSat=53336 maxSat=53902
111.91/56.25	c flip 80000 nbSat=53404 maxSat=53902
112.31/56.44	c flip 90000 nbSat=53431 maxSat=53902
112.71/56.65	c flip 100000 nbSat=53442 maxSat=53902
113.11/56.85	c flip 110000 nbSat=53389 maxSat=53902
113.51/57.05	c flip 120000 nbSat=53474 maxSat=53902
113.91/57.26	c flip 130000 nbSat=53538 maxSat=53902
114.30/57.47	c flip 140000 nbSat=53519 maxSat=53902
114.70/57.67	c flip 150000 nbSat=53561 maxSat=53902
115.10/57.88	c flip 160000 nbSat=53650 maxSat=53902
115.50/58.08	c flip 170000 nbSat=53546 maxSat=53902
115.91/58.29	c flip 180000 nbSat=53518 maxSat=53902
116.30/58.50	c flip 190000 nbSat=53704 maxSat=53902
116.90/58.70	c flip 200000 nbSat=53621 maxSat=53902
117.30/58.91	c flip 210000 nbSat=53676 maxSat=53902
117.70/59.13	c flip 220000 nbSat=53669 maxSat=53902
118.11/59.34	c flip 230000 nbSat=53632 maxSat=53902
118.50/59.55	c flip 240000 nbSat=53683 maxSat=53902
118.90/59.76	c flip 250000 nbSat=53686 maxSat=53902
119.30/59.97	c flip 260000 nbSat=53699 maxSat=53902
119.70/60.18	c flip 270000 nbSat=53697 maxSat=53902
120.10/60.39	c flip 280000 nbSat=53778 maxSat=53902
120.70/60.61	c flip 290000 nbSat=53739 maxSat=53902
121.10/60.83	c flip 300000 nbSat=53652 maxSat=53902
121.49/61.04	c flip 310000 nbSat=53719 maxSat=53902
121.49/61.09	c flip 0 nbSat=45608 maxSat=53902
121.69/61.19	c flip 10000 nbSat=51377 maxSat=53902
122.09/61.34	c flip 20000 nbSat=52449 maxSat=53902
122.50/61.51	c flip 30000 nbSat=52896 maxSat=53902
122.70/61.68	c flip 40000 nbSat=53094 maxSat=53902
123.09/61.87	c flip 50000 nbSat=53263 maxSat=53902
123.49/62.05	c flip 60000 nbSat=53247 maxSat=53902
123.89/62.25	c flip 70000 nbSat=53349 maxSat=53902
124.29/62.45	c flip 80000 nbSat=53535 maxSat=53902
124.69/62.65	c flip 90000 nbSat=53545 maxSat=53902
125.08/62.85	c flip 100000 nbSat=53533 maxSat=53902
125.48/63.05	c flip 110000 nbSat=53531 maxSat=53902
125.88/63.25	c flip 120000 nbSat=53535 maxSat=53902
126.28/63.45	c flip 130000 nbSat=53601 maxSat=53902
126.68/63.65	c flip 140000 nbSat=53640 maxSat=53902
127.09/63.85	c flip 150000 nbSat=53522 maxSat=53902
127.48/64.05	c flip 160000 nbSat=53681 maxSat=53902
127.88/64.25	c flip 170000 nbSat=53559 maxSat=53902
128.28/64.46	c flip 180000 nbSat=53665 maxSat=53902
128.68/64.67	c flip 190000 nbSat=53560 maxSat=53902
129.08/64.88	c flip 200000 nbSat=53549 maxSat=53902
129.47/65.09	c flip 210000 nbSat=53544 maxSat=53902
129.87/65.29	c flip 220000 nbSat=53731 maxSat=53902
130.47/65.50	c flip 230000 nbSat=53564 maxSat=53902
130.87/65.71	c flip 240000 nbSat=53734 maxSat=53902
131.28/65.93	c flip 250000 nbSat=53731 maxSat=53902
131.67/66.14	c flip 260000 nbSat=53683 maxSat=53902
132.07/66.36	c flip 270000 nbSat=53725 maxSat=53902
132.47/66.58	c flip 280000 nbSat=53697 maxSat=53902
132.87/66.80	c flip 290000 nbSat=53718 maxSat=53902
133.47/67.02	c flip 300000 nbSat=53755 maxSat=53902
133.86/67.23	c flip 310000 nbSat=53706 maxSat=53902
133.86/67.28	c flip 0 nbSat=45378 maxSat=53902
134.06/67.38	c flip 10000 nbSat=51338 maxSat=53902
134.46/67.53	c flip 20000 nbSat=52427 maxSat=53902
134.66/67.69	c flip 30000 nbSat=52820 maxSat=53902
135.06/67.87	c flip 40000 nbSat=53090 maxSat=53902
135.46/68.06	c flip 50000 nbSat=53129 maxSat=53902
135.87/68.25	c flip 60000 nbSat=53239 maxSat=53902
136.26/68.44	c flip 70000 nbSat=53313 maxSat=53902
136.66/68.63	c flip 80000 nbSat=53215 maxSat=53902
137.06/68.83	c flip 90000 nbSat=53453 maxSat=53902
137.46/69.03	c flip 100000 nbSat=53397 maxSat=53902
137.86/69.23	c flip 110000 nbSat=53397 maxSat=53902
138.25/69.44	c flip 120000 nbSat=53472 maxSat=53902
138.65/69.64	c flip 130000 nbSat=53489 maxSat=53902
139.05/69.84	c flip 140000 nbSat=53552 maxSat=53902
139.45/70.04	c flip 150000 nbSat=53457 maxSat=53902
139.85/70.24	c flip 160000 nbSat=53426 maxSat=53902
140.26/70.44	c flip 170000 nbSat=53474 maxSat=53902
140.65/70.63	c flip 180000 nbSat=53508 maxSat=53902
141.05/70.83	c flip 190000 nbSat=53414 maxSat=53902
141.44/71.03	c flip 200000 nbSat=53427 maxSat=53902
141.84/71.24	c flip 210000 nbSat=53526 maxSat=53902
142.25/71.45	c flip 220000 nbSat=53511 maxSat=53902
142.64/71.65	c flip 230000 nbSat=53610 maxSat=53902
143.04/71.85	c flip 240000 nbSat=53672 maxSat=53902
143.44/72.05	c flip 250000 nbSat=53555 maxSat=53902
143.84/72.26	c flip 260000 nbSat=53684 maxSat=53902
144.24/72.46	c flip 270000 nbSat=53668 maxSat=53902
144.64/72.67	c flip 280000 nbSat=53666 maxSat=53902
145.03/72.88	c flip 290000 nbSat=53693 maxSat=53902
145.43/73.09	c flip 300000 nbSat=53693 maxSat=53902
146.03/73.30	c flip 310000 nbSat=53694 maxSat=53902
146.03/73.35	c flip 0 nbSat=45603 maxSat=53902
146.23/73.45	c flip 10000 nbSat=51239 maxSat=53902
146.64/73.60	c flip 20000 nbSat=52428 maxSat=53902
146.84/73.78	c flip 30000 nbSat=52799 maxSat=53902
147.23/73.96	c flip 40000 nbSat=53087 maxSat=53902
147.63/74.14	c flip 50000 nbSat=53225 maxSat=53902
148.03/74.33	c flip 60000 nbSat=53289 maxSat=53902
148.43/74.52	c flip 70000 nbSat=53284 maxSat=53902
148.83/74.72	c flip 80000 nbSat=53364 maxSat=53902
149.23/74.91	c flip 90000 nbSat=53411 maxSat=53902
149.63/75.11	c flip 100000 nbSat=53469 maxSat=53902
150.03/75.31	c flip 110000 nbSat=53460 maxSat=53902
150.43/75.51	c flip 120000 nbSat=53457 maxSat=53902
150.83/75.71	c flip 130000 nbSat=53489 maxSat=53902
151.23/75.92	c flip 140000 nbSat=53568 maxSat=53902
151.62/76.12	c flip 150000 nbSat=53539 maxSat=53902
152.02/76.33	c flip 160000 nbSat=53563 maxSat=53902
152.42/76.53	c flip 170000 nbSat=53619 maxSat=53902
152.82/76.74	c flip 180000 nbSat=53618 maxSat=53902
153.22/76.95	c flip 190000 nbSat=53559 maxSat=53902
153.61/77.16	c flip 200000 nbSat=53566 maxSat=53902
154.01/77.36	c flip 210000 nbSat=53641 maxSat=53902
154.41/77.57	c flip 220000 nbSat=53714 maxSat=53902
154.81/77.78	c flip 230000 nbSat=53463 maxSat=53902
155.21/77.99	c flip 240000 nbSat=53680 maxSat=53902
155.81/78.21	c flip 250000 nbSat=53702 maxSat=53902
156.21/78.42	c flip 260000 nbSat=53755 maxSat=53902
156.61/78.64	c flip 270000 nbSat=53646 maxSat=53902
157.01/78.85	c flip 280000 nbSat=53709 maxSat=53902
157.41/79.06	c flip 290000 nbSat=53608 maxSat=53902
157.81/79.28	c flip 300000 nbSat=53562 maxSat=53902
158.20/79.49	c flip 310000 nbSat=53677 maxSat=53902
158.40/79.54	c flip 0 nbSat=45488 maxSat=53902
158.60/79.64	c flip 10000 nbSat=51234 maxSat=53902
158.80/79.79	c flip 20000 nbSat=52299 maxSat=53902
159.20/79.96	c flip 30000 nbSat=52750 maxSat=53902
159.60/80.13	c flip 40000 nbSat=53056 maxSat=53902
160.00/80.32	c flip 50000 nbSat=53209 maxSat=53902
160.40/80.52	c flip 60000 nbSat=53193 maxSat=53902
160.80/80.71	c flip 70000 nbSat=53241 maxSat=53902
161.20/80.90	c flip 80000 nbSat=53318 maxSat=53902
161.60/81.10	c flip 90000 nbSat=53414 maxSat=53902
162.00/81.31	c flip 100000 nbSat=53494 maxSat=53902
162.39/81.52	c flip 110000 nbSat=53538 maxSat=53902
162.79/81.72	c flip 120000 nbSat=53533 maxSat=53902
163.19/81.92	c flip 130000 nbSat=53562 maxSat=53902
163.59/82.12	c flip 140000 nbSat=53586 maxSat=53902
163.99/82.33	c flip 150000 nbSat=53518 maxSat=53902
164.40/82.53	c flip 160000 nbSat=53536 maxSat=53902
164.79/82.74	c flip 170000 nbSat=53507 maxSat=53902
165.19/82.94	c flip 180000 nbSat=53648 maxSat=53902
165.59/83.15	c flip 190000 nbSat=53626 maxSat=53902
165.99/83.35	c flip 200000 nbSat=53669 maxSat=53902
166.39/83.56	c flip 210000 nbSat=53730 maxSat=53902
166.78/83.77	c flip 220000 nbSat=53676 maxSat=53902
167.18/83.98	c flip 230000 nbSat=53677 maxSat=53902
167.58/84.19	c flip 240000 nbSat=53736 maxSat=53902
168.18/84.41	c flip 250000 nbSat=53672 maxSat=53902
168.59/84.63	c flip 260000 nbSat=53608 maxSat=53902
168.98/84.84	c flip 270000 nbSat=53811 maxSat=53902
169.38/85.05	c flip 280000 nbSat=53601 maxSat=53902
169.78/85.26	c flip 290000 nbSat=53792 maxSat=53902
170.18/85.47	c flip 300000 nbSat=53504 maxSat=53902
170.58/85.68	c flip 310000 nbSat=53700 maxSat=53902
170.78/85.74	c flip 0 nbSat=45446 maxSat=53902
170.98/85.84	c flip 10000 nbSat=51267 maxSat=53902
171.17/85.98	c flip 20000 nbSat=52326 maxSat=53902
171.57/86.15	c flip 30000 nbSat=52824 maxSat=53902
171.97/86.32	c flip 40000 nbSat=53027 maxSat=53902
172.37/86.51	c flip 50000 nbSat=53209 maxSat=53902
172.57/86.69	c flip 60000 nbSat=53261 maxSat=53902
172.98/86.89	c flip 70000 nbSat=53389 maxSat=53902
173.37/87.08	c flip 80000 nbSat=53417 maxSat=53902
173.77/87.28	c flip 90000 nbSat=53478 maxSat=53902
174.17/87.47	c flip 100000 nbSat=53522 maxSat=53902
174.57/87.67	c flip 110000 nbSat=53576 maxSat=53902
174.97/87.87	c flip 120000 nbSat=53465 maxSat=53902
175.37/88.07	c flip 130000 nbSat=53549 maxSat=53902
175.76/88.27	c flip 140000 nbSat=53665 maxSat=53902
176.16/88.47	c flip 150000 nbSat=53566 maxSat=53902
176.56/88.67	c flip 160000 nbSat=53626 maxSat=53902
176.96/88.87	c flip 170000 nbSat=53627 maxSat=53902
177.37/89.07	c flip 180000 nbSat=53642 maxSat=53902
177.76/89.27	c flip 190000 nbSat=53755 maxSat=53902
178.16/89.46	c flip 200000 nbSat=53652 maxSat=53902
178.56/89.66	c flip 210000 nbSat=53650 maxSat=53902
178.96/89.86	c flip 220000 nbSat=53746 maxSat=53902
179.36/90.06	c flip 230000 nbSat=53726 maxSat=53902
179.76/90.26	c flip 240000 nbSat=53690 maxSat=53902
180.15/90.46	c flip 250000 nbSat=53706 maxSat=53902
180.55/90.67	c flip 260000 nbSat=53680 maxSat=53902
180.95/90.88	c flip 270000 nbSat=53713 maxSat=53902
181.35/91.09	c flip 280000 nbSat=53742 maxSat=53902
181.76/91.29	c flip 290000 nbSat=53789 maxSat=53902
182.15/91.49	c flip 300000 nbSat=53743 maxSat=53902
182.75/91.70	c flip 310000 nbSat=53815 maxSat=53902
182.75/91.75	c flip 0 nbSat=45550 maxSat=53902
182.95/91.85	c flip 10000 nbSat=51265 maxSat=53902
183.15/91.99	c flip 20000 nbSat=52361 maxSat=53902
183.55/92.16	c flip 30000 nbSat=52724 maxSat=53902
183.95/92.34	c flip 40000 nbSat=53095 maxSat=53902
184.34/92.53	c flip 50000 nbSat=53165 maxSat=53902
184.74/92.72	c flip 60000 nbSat=53323 maxSat=53902
185.14/92.91	c flip 70000 nbSat=53349 maxSat=53902
185.34/93.10	c flip 80000 nbSat=53431 maxSat=53902
185.74/93.29	c flip 90000 nbSat=53408 maxSat=53902
186.15/93.50	c flip 100000 nbSat=53425 maxSat=53902
186.54/93.70	c flip 110000 nbSat=53515 maxSat=53902
186.94/93.89	c flip 120000 nbSat=53402 maxSat=53902
187.34/94.09	c flip 130000 nbSat=53552 maxSat=53902
187.74/94.30	c flip 140000 nbSat=53615 maxSat=53902
188.34/94.51	c flip 150000 nbSat=53497 maxSat=53902
188.73/94.71	c flip 160000 nbSat=53606 maxSat=53902
189.13/94.92	c flip 170000 nbSat=53442 maxSat=53902
189.53/95.13	c flip 180000 nbSat=53597 maxSat=53902
189.93/95.33	c flip 190000 nbSat=53570 maxSat=53902
190.33/95.54	c flip 200000 nbSat=53549 maxSat=53902
190.74/95.75	c flip 210000 nbSat=53534 maxSat=53902
191.13/95.96	c flip 220000 nbSat=53571 maxSat=53902
191.53/96.17	c flip 230000 nbSat=53524 maxSat=53902
191.92/96.38	c flip 240000 nbSat=53589 maxSat=53902
192.32/96.58	c flip 250000 nbSat=53638 maxSat=53902
192.72/96.80	c flip 260000 nbSat=53701 maxSat=53902
193.31/97.00	c flip 270000 nbSat=53662 maxSat=53902
193.71/97.21	c flip 280000 nbSat=53542 maxSat=53902
194.10/97.43	c flip 290000 nbSat=53640 maxSat=53902
194.50/97.64	c flip 300000 nbSat=53684 maxSat=53902
194.91/97.85	c flip 310000 nbSat=53706 maxSat=53902
194.91/97.89	c flip 0 nbSat=45461 maxSat=53902
195.30/98.00	c flip 10000 nbSat=51279 maxSat=53902
195.50/98.15	c flip 20000 nbSat=52380 maxSat=53902
195.90/98.32	c flip 30000 nbSat=52800 maxSat=53902
196.10/98.50	c flip 40000 nbSat=53076 maxSat=53902
196.50/98.68	c flip 50000 nbSat=53237 maxSat=53902
196.90/98.88	c flip 60000 nbSat=53298 maxSat=53902
197.30/99.07	c flip 70000 nbSat=53397 maxSat=53902
197.69/99.27	c flip 80000 nbSat=53376 maxSat=53902
198.09/99.47	c flip 90000 nbSat=53414 maxSat=53902
198.49/99.67	c flip 100000 nbSat=53508 maxSat=53902
198.89/99.87	c flip 110000 nbSat=53473 maxSat=53902
199.30/100.08	c flip 120000 nbSat=53465 maxSat=53902
199.69/100.29	c flip 130000 nbSat=53514 maxSat=53902
200.29/100.50	c flip 140000 nbSat=53609 maxSat=53902
200.69/100.70	c flip 150000 nbSat=53522 maxSat=53902
201.09/100.91	c flip 160000 nbSat=53616 maxSat=53902
201.49/101.11	c flip 170000 nbSat=53698 maxSat=53902
201.89/101.32	c flip 180000 nbSat=53663 maxSat=53902
202.29/101.52	c flip 190000 nbSat=53649 maxSat=53902
202.69/101.72	c flip 200000 nbSat=53659 maxSat=53902
203.09/101.93	c flip 210000 nbSat=53623 maxSat=53902
203.49/102.13	c flip 220000 nbSat=53581 maxSat=53902
203.89/102.34	c flip 230000 nbSat=53677 maxSat=53902
204.28/102.55	c flip 240000 nbSat=53594 maxSat=53902
204.68/102.76	c flip 250000 nbSat=53714 maxSat=53902
205.08/102.96	c flip 260000 nbSat=53666 maxSat=53902
205.48/103.16	c flip 270000 nbSat=53702 maxSat=53902
205.89/103.38	c flip 280000 nbSat=53711 maxSat=53902
206.28/103.58	c flip 290000 nbSat=53702 maxSat=53902
206.68/103.79	c flip 300000 nbSat=53674 maxSat=53902
207.28/104.00	c flip 310000 nbSat=53608 maxSat=53902
207.28/104.05	c flip 0 nbSat=45288 maxSat=53902
207.48/104.15	c flip 10000 nbSat=51259 maxSat=53902
207.68/104.30	c flip 20000 nbSat=52368 maxSat=53902
208.08/104.46	c flip 30000 nbSat=52720 maxSat=53902
208.47/104.64	c flip 40000 nbSat=53001 maxSat=53902
208.87/104.83	c flip 50000 nbSat=53153 maxSat=53902
209.27/105.02	c flip 60000 nbSat=53313 maxSat=53902
209.67/105.22	c flip 70000 nbSat=53312 maxSat=53902
210.07/105.41	c flip 80000 nbSat=53424 maxSat=53902
210.47/105.61	c flip 90000 nbSat=53437 maxSat=53902
210.86/105.81	c flip 100000 nbSat=53333 maxSat=53902
211.26/106.01	c flip 110000 nbSat=53586 maxSat=53902
211.66/106.21	c flip 120000 nbSat=53572 maxSat=53902
212.06/106.41	c flip 130000 nbSat=53466 maxSat=53902
212.46/106.63	c flip 140000 nbSat=53622 maxSat=53902
212.85/106.84	c flip 150000 nbSat=53650 maxSat=53902
213.25/107.04	c flip 160000 nbSat=53689 maxSat=53902
213.65/107.25	c flip 170000 nbSat=53578 maxSat=53902
214.05/107.46	c flip 180000 nbSat=53598 maxSat=53902
214.45/107.67	c flip 190000 nbSat=53653 maxSat=53902
214.86/107.88	c flip 200000 nbSat=53605 maxSat=53902
215.45/108.10	c flip 210000 nbSat=53617 maxSat=53902
215.85/108.31	c flip 220000 nbSat=53645 maxSat=53902
216.25/108.52	c flip 230000 nbSat=53668 maxSat=53902
216.65/108.73	c flip 240000 nbSat=53562 maxSat=53902
217.05/108.95	c flip 250000 nbSat=53714 maxSat=53902
217.44/109.17	c flip 260000 nbSat=53720 maxSat=53902
217.84/109.38	c flip 270000 nbSat=53659 maxSat=53902
218.24/109.59	c flip 280000 nbSat=53673 maxSat=53902
218.84/109.80	c flip 290000 nbSat=53625 maxSat=53902
219.25/110.02	c flip 300000 nbSat=53641 maxSat=53902
219.64/110.23	c flip 310000 nbSat=53660 maxSat=53902
219.64/110.28	c flip 0 nbSat=45718 maxSat=53902
219.84/110.38	c flip 10000 nbSat=51265 maxSat=53902
220.24/110.53	c flip 20000 nbSat=52342 maxSat=53902
220.44/110.69	c flip 30000 nbSat=52726 maxSat=53902
220.84/110.86	c flip 40000 nbSat=52943 maxSat=53902
221.24/111.05	c flip 50000 nbSat=53039 maxSat=53902
221.64/111.23	c flip 60000 nbSat=53184 maxSat=53902
222.04/111.41	c flip 70000 nbSat=53220 maxSat=53902
222.44/111.60	c flip 80000 nbSat=53362 maxSat=53902
222.84/111.80	c flip 90000 nbSat=53326 maxSat=53902
223.24/112.00	c flip 100000 nbSat=53418 maxSat=53902
223.64/112.20	c flip 110000 nbSat=53346 maxSat=53902
224.03/112.40	c flip 120000 nbSat=53525 maxSat=53902
224.43/112.60	c flip 130000 nbSat=53537 maxSat=53902
224.83/112.80	c flip 140000 nbSat=53431 maxSat=53902
225.23/113.01	c flip 150000 nbSat=53478 maxSat=53902
225.64/113.21	c flip 160000 nbSat=53615 maxSat=53902
226.03/113.42	c flip 170000 nbSat=53466 maxSat=53902
226.42/113.62	c flip 180000 nbSat=53612 maxSat=53902
226.82/113.83	c flip 190000 nbSat=53676 maxSat=53902
227.22/114.04	c flip 200000 nbSat=53545 maxSat=53902
227.62/114.24	c flip 210000 nbSat=53505 maxSat=53902
228.03/114.45	c flip 220000 nbSat=53639 maxSat=53902
228.42/114.66	c flip 230000 nbSat=53698 maxSat=53902
228.82/114.87	c flip 240000 nbSat=53640 maxSat=53902
229.22/115.09	c flip 250000 nbSat=53743 maxSat=53902
229.82/115.30	c flip 260000 nbSat=53649 maxSat=53902
230.22/115.51	c flip 270000 nbSat=53675 maxSat=53902
230.61/115.73	c flip 280000 nbSat=53682 maxSat=53902
231.01/115.94	c flip 290000 nbSat=53716 maxSat=53902
231.41/116.16	c flip 300000 nbSat=53756 maxSat=53902
231.81/116.37	c flip 310000 nbSat=53645 maxSat=53902
232.01/116.42	c flip 0 nbSat=45416 maxSat=53902
232.22/116.53	c flip 10000 nbSat=51285 maxSat=53902
232.41/116.67	c flip 20000 nbSat=52168 maxSat=53902
232.81/116.84	c flip 30000 nbSat=52702 maxSat=53902
233.21/117.02	c flip 40000 nbSat=52905 maxSat=53902
233.41/117.19	c flip 50000 nbSat=53062 maxSat=53902
233.81/117.39	c flip 60000 nbSat=53236 maxSat=53902
234.21/117.58	c flip 70000 nbSat=53251 maxSat=53902
234.61/117.77	c flip 80000 nbSat=53402 maxSat=53902
235.00/117.96	c flip 90000 nbSat=53404 maxSat=53902
235.40/118.15	c flip 100000 nbSat=53383 maxSat=53902
235.80/118.35	c flip 110000 nbSat=53364 maxSat=53902
236.20/118.55	c flip 120000 nbSat=53469 maxSat=53902
236.61/118.76	c flip 130000 nbSat=53579 maxSat=53902
237.00/118.96	c flip 140000 nbSat=53477 maxSat=53902
237.40/119.17	c flip 150000 nbSat=53459 maxSat=53902
237.80/119.38	c flip 160000 nbSat=53671 maxSat=53902
238.20/119.60	c flip 170000 nbSat=53642 maxSat=53902
238.80/119.81	c flip 180000 nbSat=53578 maxSat=53902
239.20/120.03	c flip 190000 nbSat=53514 maxSat=53902
239.60/120.24	c flip 200000 nbSat=53676 maxSat=53902
240.00/120.45	c flip 210000 nbSat=53659 maxSat=53902
240.40/120.66	c flip 220000 nbSat=53614 maxSat=53902
240.80/120.88	c flip 230000 nbSat=53664 maxSat=53902
241.39/121.10	c flip 240000 nbSat=53665 maxSat=53902
241.79/121.32	c flip 250000 nbSat=53665 maxSat=53902
242.19/121.53	c flip 260000 nbSat=53721 maxSat=53902
242.59/121.74	c flip 270000 nbSat=53640 maxSat=53902
242.99/121.96	c flip 280000 nbSat=53691 maxSat=53902
243.39/122.17	c flip 290000 nbSat=53751 maxSat=53902
243.78/122.39	c flip 300000 nbSat=53628 maxSat=53902
244.38/122.60	c flip 310000 nbSat=53655 maxSat=53902
244.38/122.65	c flip 0 nbSat=45716 maxSat=53902
244.58/122.75	c flip 10000 nbSat=51358 maxSat=53902
244.78/122.90	c flip 20000 nbSat=52375 maxSat=53902
245.18/123.07	c flip 30000 nbSat=52740 maxSat=53902
245.58/123.25	c flip 40000 nbSat=53022 maxSat=53902
245.98/123.44	c flip 50000 nbSat=53204 maxSat=53902
246.38/123.64	c flip 60000 nbSat=53180 maxSat=53902
246.78/123.84	c flip 70000 nbSat=53204 maxSat=53902
247.18/124.04	c flip 80000 nbSat=53361 maxSat=53902
247.58/124.24	c flip 90000 nbSat=53424 maxSat=53902
247.97/124.45	c flip 100000 nbSat=53513 maxSat=53902
248.37/124.66	c flip 110000 nbSat=53514 maxSat=53902
248.78/124.87	c flip 120000 nbSat=53508 maxSat=53902
249.18/125.07	c flip 130000 nbSat=53449 maxSat=53902
249.58/125.28	c flip 140000 nbSat=53505 maxSat=53902
250.18/125.50	c flip 150000 nbSat=53573 maxSat=53902
250.58/125.70	c flip 160000 nbSat=53617 maxSat=53902
250.98/125.92	c flip 170000 nbSat=53600 maxSat=53902
251.38/126.13	c flip 180000 nbSat=53642 maxSat=53902
251.78/126.34	c flip 190000 nbSat=53635 maxSat=53902
252.18/126.56	c flip 200000 nbSat=53581 maxSat=53902
252.57/126.78	c flip 210000 nbSat=53595 maxSat=53902
252.97/126.99	c flip 220000 nbSat=53632 maxSat=53902
253.37/127.20	c flip 230000 nbSat=53549 maxSat=53902
253.97/127.41	c flip 240000 nbSat=53562 maxSat=53902
254.38/127.62	c flip 250000 nbSat=53683 maxSat=53902
254.77/127.84	c flip 260000 nbSat=53664 maxSat=53902
255.17/128.06	c flip 270000 nbSat=53665 maxSat=53902
255.57/128.28	c flip 280000 nbSat=53683 maxSat=53902
256.17/128.50	c flip 290000 nbSat=53754 maxSat=53902
256.57/128.72	c flip 300000 nbSat=53517 maxSat=53902
256.96/128.94	c flip 310000 nbSat=53636 maxSat=53902
256.96/128.99	c flip 0 nbSat=45579 maxSat=53902
257.16/129.09	c flip 10000 nbSat=51311 maxSat=53902
257.56/129.23	c flip 20000 nbSat=52368 maxSat=53902
257.96/129.40	c flip 30000 nbSat=52831 maxSat=53902
258.16/129.58	c flip 40000 nbSat=53076 maxSat=53902
258.57/129.77	c flip 50000 nbSat=53090 maxSat=53902
258.96/129.95	c flip 60000 nbSat=53229 maxSat=53902
259.36/130.14	c flip 70000 nbSat=53330 maxSat=53902
259.76/130.33	c flip 80000 nbSat=53455 maxSat=53902
260.16/130.53	c flip 90000 nbSat=53528 maxSat=53902
260.56/130.74	c flip 100000 nbSat=53515 maxSat=53902
260.96/130.94	c flip 110000 nbSat=53545 maxSat=53902
261.35/131.15	c flip 120000 nbSat=53580 maxSat=53902
261.75/131.35	c flip 130000 nbSat=53668 maxSat=53902
262.15/131.56	c flip 140000 nbSat=53673 maxSat=53902
262.55/131.76	c flip 150000 nbSat=53609 maxSat=53902
262.95/131.97	c flip 160000 nbSat=53632 maxSat=53902
263.34/132.18	c flip 170000 nbSat=53537 maxSat=53902
263.74/132.39	c flip 180000 nbSat=53588 maxSat=53902
264.34/132.60	c flip 190000 nbSat=53654 maxSat=53902
264.74/132.81	c flip 200000 nbSat=53760 maxSat=53902
265.15/133.02	c flip 210000 nbSat=53688 maxSat=53902
265.54/133.23	c flip 220000 nbSat=53738 maxSat=53902
265.94/133.44	c flip 230000 nbSat=53714 maxSat=53902
266.34/133.64	c flip 240000 nbSat=53648 maxSat=53902
266.74/133.85	c flip 250000 nbSat=53755 maxSat=53902
267.14/134.06	c flip 260000 nbSat=53805 maxSat=53902
267.54/134.27	c flip 270000 nbSat=53559 maxSat=53902
267.93/134.49	c flip 280000 nbSat=53731 maxSat=53902
268.33/134.70	c flip 290000 nbSat=53731 maxSat=53902
268.93/134.91	c flip 300000 nbSat=53668 maxSat=53902
269.33/135.12	c flip 310000 nbSat=53627 maxSat=53902
269.33/135.17	c flip 0 nbSat=45504 maxSat=53902
269.54/135.28	c flip 10000 nbSat=51355 maxSat=53902
269.93/135.43	c flip 20000 nbSat=52324 maxSat=53902
270.33/135.60	c flip 30000 nbSat=52852 maxSat=53902
270.53/135.78	c flip 40000 nbSat=53114 maxSat=53902
270.93/135.96	c flip 50000 nbSat=53162 maxSat=53902
271.33/136.15	c flip 60000 nbSat=53270 maxSat=53902
271.73/136.35	c flip 70000 nbSat=53368 maxSat=53902
272.12/136.54	c flip 80000 nbSat=53340 maxSat=53902
272.52/136.74	c flip 90000 nbSat=53517 maxSat=53902
272.92/136.95	c flip 100000 nbSat=53526 maxSat=53902
273.32/137.15	c flip 110000 nbSat=53384 maxSat=53902
273.72/137.36	c flip 120000 nbSat=53458 maxSat=53902
274.13/137.57	c flip 130000 nbSat=53614 maxSat=53902
274.52/137.77	c flip 140000 nbSat=53559 maxSat=53902
274.92/137.97	c flip 150000 nbSat=53689 maxSat=53902
275.32/138.18	c flip 160000 nbSat=53642 maxSat=53902
275.72/138.39	c flip 170000 nbSat=53641 maxSat=53902
276.12/138.60	c flip 180000 nbSat=53540 maxSat=53902
276.71/138.80	c flip 190000 nbSat=53698 maxSat=53902
277.11/139.02	c flip 200000 nbSat=53761 maxSat=53902
277.51/139.23	c flip 210000 nbSat=53794 maxSat=53902
277.91/139.44	c flip 220000 nbSat=53775 maxSat=53902
278.32/139.67	c flip 230000 nbSat=53797 maxSat=53902
278.71/139.88	c flip 240000 nbSat=53751 maxSat=53902
279.11/140.09	c flip 250000 nbSat=53825 maxSat=53905
279.71/140.30	c flip 260000 nbSat=53826 maxSat=53906
280.11/140.52	c flip 270000 nbSat=53814 maxSat=53907
280.51/140.73	c flip 280000 nbSat=53782 maxSat=53907
280.90/140.95	c flip 290000 nbSat=53787 maxSat=53930
281.30/141.17	c flip 300000 nbSat=53764 maxSat=53930
281.70/141.38	c flip 310000 nbSat=53801 maxSat=53930
281.90/141.44	c flip 0 nbSat=45549 maxSat=53930
282.10/141.54	c flip 10000 nbSat=51327 maxSat=53930
282.30/141.68	c flip 20000 nbSat=52437 maxSat=53930
282.71/141.86	c flip 30000 nbSat=52849 maxSat=53930
283.10/142.04	c flip 40000 nbSat=53008 maxSat=53930
283.50/142.22	c flip 50000 nbSat=53231 maxSat=53930
283.88/142.42	c flip 60000 nbSat=53268 maxSat=53930
284.28/142.61	c flip 70000 nbSat=53211 maxSat=53930
284.48/142.79	c flip 80000 nbSat=53373 maxSat=53930
284.88/142.99	c flip 90000 nbSat=53468 maxSat=53930
285.27/143.18	c flip 100000 nbSat=53425 maxSat=53930
285.67/143.38	c flip 110000 nbSat=53408 maxSat=53930
286.07/143.57	c flip 120000 nbSat=53476 maxSat=53930
286.47/143.78	c flip 130000 nbSat=53576 maxSat=53930
286.87/143.98	c flip 140000 nbSat=53617 maxSat=53930
287.28/144.18	c flip 150000 nbSat=53590 maxSat=53930
287.67/144.39	c flip 160000 nbSat=53646 maxSat=53930
288.07/144.59	c flip 170000 nbSat=53722 maxSat=53930
288.67/144.80	c flip 180000 nbSat=53652 maxSat=53930
289.07/145.01	c flip 190000 nbSat=53740 maxSat=53930
289.47/145.22	c flip 200000 nbSat=53586 maxSat=53930
289.86/145.43	c flip 210000 nbSat=53722 maxSat=53930
290.26/145.64	c flip 220000 nbSat=53736 maxSat=53930
290.66/145.84	c flip 230000 nbSat=53614 maxSat=53930
291.06/146.05	c flip 240000 nbSat=53715 maxSat=53930
291.47/146.25	c flip 250000 nbSat=53571 maxSat=53930
291.86/146.46	c flip 260000 nbSat=53644 maxSat=53930
292.26/146.67	c flip 270000 nbSat=53679 maxSat=53930
292.66/146.88	c flip 280000 nbSat=53779 maxSat=53930
293.26/147.10	c flip 290000 nbSat=53775 maxSat=53930
293.66/147.32	c flip 300000 nbSat=53731 maxSat=53930
294.05/147.55	c flip 310000 nbSat=53778 maxSat=53930
294.05/147.60	c flip 0 nbSat=45472 maxSat=53930
294.25/147.70	c flip 10000 nbSat=51289 maxSat=53930
294.65/147.84	c flip 20000 nbSat=52372 maxSat=53930
295.05/148.01	c flip 30000 nbSat=52806 maxSat=53930
295.25/148.19	c flip 40000 nbSat=52936 maxSat=53930
295.65/148.38	c flip 50000 nbSat=53159 maxSat=53930
296.05/148.57	c flip 60000 nbSat=53112 maxSat=53930
296.45/148.77	c flip 70000 nbSat=53281 maxSat=53930
296.85/148.96	c flip 80000 nbSat=53345 maxSat=53930
297.25/149.15	c flip 90000 nbSat=53315 maxSat=53930
297.65/149.35	c flip 100000 nbSat=53408 maxSat=53930
298.05/149.55	c flip 110000 nbSat=53434 maxSat=53930
298.44/149.75	c flip 120000 nbSat=53459 maxSat=53930
298.84/149.95	c flip 130000 nbSat=53580 maxSat=53930
299.24/150.16	c flip 140000 nbSat=53451 maxSat=53930
299.64/150.37	c flip 150000 nbSat=53527 maxSat=53930
300.04/150.57	c flip 160000 nbSat=53621 maxSat=53930
300.44/150.79	c flip 170000 nbSat=53590 maxSat=53930
301.03/151.00	c flip 180000 nbSat=53625 maxSat=53930
301.43/151.22	c flip 190000 nbSat=53533 maxSat=53930
301.83/151.43	c flip 200000 nbSat=53571 maxSat=53930
302.23/151.65	c flip 210000 nbSat=53692 maxSat=53930
302.64/151.87	c flip 220000 nbSat=53708 maxSat=53930
303.03/152.08	c flip 230000 nbSat=53660 maxSat=53930
303.63/152.30	c flip 240000 nbSat=53717 maxSat=53930
304.03/152.52	c flip 250000 nbSat=53699 maxSat=53930
304.43/152.74	c flip 260000 nbSat=53589 maxSat=53930
304.84/152.97	c flip 270000 nbSat=53609 maxSat=53930
305.23/153.19	c flip 280000 nbSat=53617 maxSat=53930
305.83/153.40	c flip 290000 nbSat=53716 maxSat=53930
306.23/153.63	c flip 300000 nbSat=53610 maxSat=53930
306.63/153.84	c flip 310000 nbSat=53715 maxSat=53930
306.63/153.89	c flip 0 nbSat=45589 maxSat=53930
306.83/154.00	c flip 10000 nbSat=51289 maxSat=53930
307.22/154.14	c flip 20000 nbSat=52228 maxSat=53930
307.62/154.31	c flip 30000 nbSat=52790 maxSat=53930
307.82/154.48	c flip 40000 nbSat=53012 maxSat=53930
308.22/154.67	c flip 50000 nbSat=53203 maxSat=53930
308.62/154.85	c flip 60000 nbSat=53313 maxSat=53930
309.03/155.05	c flip 70000 nbSat=53323 maxSat=53930
309.42/155.25	c flip 80000 nbSat=53404 maxSat=53930
309.82/155.44	c flip 90000 nbSat=53340 maxSat=53930
310.22/155.64	c flip 100000 nbSat=53423 maxSat=53930
310.62/155.85	c flip 110000 nbSat=53445 maxSat=53930
311.02/156.04	c flip 120000 nbSat=53406 maxSat=53930
311.42/156.24	c flip 130000 nbSat=53575 maxSat=53930
311.81/156.44	c flip 140000 nbSat=53608 maxSat=53930
312.21/156.64	c flip 150000 nbSat=53602 maxSat=53930
312.61/156.85	c flip 160000 nbSat=53632 maxSat=53930
313.01/157.06	c flip 170000 nbSat=53621 maxSat=53930
313.42/157.26	c flip 180000 nbSat=53573 maxSat=53930
313.81/157.46	c flip 190000 nbSat=53723 maxSat=53930
314.21/157.67	c flip 200000 nbSat=53651 maxSat=53930
314.61/157.87	c flip 210000 nbSat=53652 maxSat=53930
315.01/158.07	c flip 220000 nbSat=53690 maxSat=53930
315.41/158.28	c flip 230000 nbSat=53684 maxSat=53930
315.81/158.49	c flip 240000 nbSat=53703 maxSat=53930
316.40/158.70	c flip 250000 nbSat=53765 maxSat=53930
316.80/158.92	c flip 260000 nbSat=53615 maxSat=53930
317.20/159.13	c flip 270000 nbSat=53672 maxSat=53930
317.60/159.34	c flip 280000 nbSat=53702 maxSat=53930
318.01/159.55	c flip 290000 nbSat=53760 maxSat=53930
318.40/159.76	c flip 300000 nbSat=53624 maxSat=53930
318.80/159.97	c flip 310000 nbSat=53775 maxSat=53930
319.00/160.02	c flip 0 nbSat=45537 maxSat=53930
319.20/160.13	c flip 10000 nbSat=51304 maxSat=53930
319.40/160.28	c flip 20000 nbSat=52362 maxSat=53930
319.80/160.45	c flip 30000 nbSat=52899 maxSat=53930
320.20/160.63	c flip 40000 nbSat=53059 maxSat=53930
320.59/160.82	c flip 50000 nbSat=53127 maxSat=53930
320.99/161.02	c flip 60000 nbSat=53287 maxSat=53930
321.39/161.21	c flip 70000 nbSat=53409 maxSat=53930
321.79/161.41	c flip 80000 nbSat=53422 maxSat=53930
322.20/161.61	c flip 90000 nbSat=53546 maxSat=53930
322.59/161.81	c flip 100000 nbSat=53557 maxSat=53930
322.99/162.01	c flip 110000 nbSat=53481 maxSat=53930
323.39/162.20	c flip 120000 nbSat=53519 maxSat=53930
323.59/162.39	c flip 130000 nbSat=53627 maxSat=53930
323.99/162.58	c flip 140000 nbSat=53515 maxSat=53930
324.39/162.79	c flip 150000 nbSat=53593 maxSat=53930
324.78/162.99	c flip 160000 nbSat=53546 maxSat=53930
325.18/163.19	c flip 170000 nbSat=53639 maxSat=53930
325.58/163.40	c flip 180000 nbSat=53681 maxSat=53930
326.18/163.60	c flip 190000 nbSat=53587 maxSat=53930
326.59/163.82	c flip 200000 nbSat=53580 maxSat=53930
326.98/164.03	c flip 210000 nbSat=53535 maxSat=53930
327.38/164.24	c flip 220000 nbSat=53714 maxSat=53930
327.78/164.45	c flip 230000 nbSat=53641 maxSat=53930
328.18/164.65	c flip 240000 nbSat=53771 maxSat=53930
328.58/164.86	c flip 250000 nbSat=53716 maxSat=53930
328.98/165.07	c flip 260000 nbSat=53713 maxSat=53930
329.37/165.28	c flip 270000 nbSat=53785 maxSat=53930
329.77/165.49	c flip 280000 nbSat=53684 maxSat=53930
330.17/165.70	c flip 290000 nbSat=53812 maxSat=53930
330.77/165.91	c flip 300000 nbSat=53747 maxSat=53930
331.18/166.13	c flip 310000 nbSat=53821 maxSat=53930
331.18/166.18	c flip 0 nbSat=45300 maxSat=53930
331.37/166.28	c flip 10000 nbSat=51352 maxSat=53930
331.77/166.42	c flip 20000 nbSat=52419 maxSat=53930
331.97/166.59	c flip 30000 nbSat=52884 maxSat=53930
332.37/166.76	c flip 40000 nbSat=53062 maxSat=53930
332.77/166.94	c flip 50000 nbSat=53168 maxSat=53930
333.17/167.13	c flip 60000 nbSat=53383 maxSat=53930
333.56/167.32	c flip 70000 nbSat=53456 maxSat=53930
333.96/167.51	c flip 80000 nbSat=53405 maxSat=53930
334.36/167.71	c flip 90000 nbSat=53490 maxSat=53930
334.76/167.90	c flip 100000 nbSat=53296 maxSat=53930
335.16/168.10	c flip 110000 nbSat=53435 maxSat=53930
335.57/168.31	c flip 120000 nbSat=53480 maxSat=53930
335.96/168.50	c flip 130000 nbSat=53518 maxSat=53930
336.36/168.70	c flip 140000 nbSat=53488 maxSat=53930
336.76/168.90	c flip 150000 nbSat=53432 maxSat=53930
337.16/169.10	c flip 160000 nbSat=53575 maxSat=53930
337.56/169.30	c flip 170000 nbSat=53474 maxSat=53930
337.95/169.51	c flip 180000 nbSat=53612 maxSat=53930
338.35/169.71	c flip 190000 nbSat=53673 maxSat=53930
338.75/169.91	c flip 200000 nbSat=53627 maxSat=53930
339.15/170.11	c flip 210000 nbSat=53591 maxSat=53930
339.55/170.31	c flip 220000 nbSat=53757 maxSat=53930
339.96/170.52	c flip 230000 nbSat=53683 maxSat=53930
340.35/170.71	c flip 240000 nbSat=53631 maxSat=53930
340.75/170.91	c flip 250000 nbSat=53805 maxSat=53930
341.15/171.11	c flip 260000 nbSat=53736 maxSat=53930
341.55/171.32	c flip 270000 nbSat=53610 maxSat=53930
341.95/171.53	c flip 280000 nbSat=53676 maxSat=53930
342.34/171.74	c flip 290000 nbSat=53776 maxSat=53930
342.74/171.95	c flip 300000 nbSat=53652 maxSat=53930
343.14/172.17	c flip 310000 nbSat=53739 maxSat=53930
343.34/172.22	c flip 0 nbSat=45709 maxSat=53930
343.54/172.32	c flip 10000 nbSat=51233 maxSat=53930
343.74/172.46	c flip 20000 nbSat=52353 maxSat=53930
344.15/172.64	c flip 30000 nbSat=52714 maxSat=53930
344.54/172.82	c flip 40000 nbSat=52972 maxSat=53930
344.94/173.00	c flip 50000 nbSat=53101 maxSat=53930
345.14/173.19	c flip 60000 nbSat=53200 maxSat=53930
345.54/173.38	c flip 70000 nbSat=53328 maxSat=53930
345.94/173.57	c flip 80000 nbSat=53247 maxSat=53930
346.34/173.77	c flip 90000 nbSat=53377 maxSat=53930
346.73/173.97	c flip 100000 nbSat=53402 maxSat=53930
347.13/174.17	c flip 110000 nbSat=53386 maxSat=53930
347.53/174.38	c flip 120000 nbSat=53476 maxSat=53930
347.93/174.57	c flip 130000 nbSat=53543 maxSat=53930
348.33/174.77	c flip 140000 nbSat=53448 maxSat=53930
348.73/174.98	c flip 150000 nbSat=53567 maxSat=53930
349.13/175.18	c flip 160000 nbSat=53577 maxSat=53930
349.53/175.39	c flip 170000 nbSat=53635 maxSat=53930
350.13/175.60	c flip 180000 nbSat=53566 maxSat=53930
350.53/175.80	c flip 190000 nbSat=53614 maxSat=53930
350.93/176.02	c flip 200000 nbSat=53527 maxSat=53930
351.32/176.22	c flip 210000 nbSat=53675 maxSat=53930
351.72/176.43	c flip 220000 nbSat=53675 maxSat=53930
352.12/176.63	c flip 230000 nbSat=53638 maxSat=53930
352.52/176.84	c flip 240000 nbSat=53663 maxSat=53930
352.93/177.05	c flip 250000 nbSat=53677 maxSat=53930
353.32/177.26	c flip 260000 nbSat=53695 maxSat=53930
353.72/177.47	c flip 270000 nbSat=53628 maxSat=53930
354.12/177.67	c flip 280000 nbSat=53735 maxSat=53930
354.52/177.88	c flip 290000 nbSat=53688 maxSat=53930
354.92/178.08	c flip 300000 nbSat=53799 maxSat=53930
355.51/178.30	c flip 310000 nbSat=53812 maxSat=53930
355.51/178.35	c flip 0 nbSat=45639 maxSat=53930
355.71/178.45	c flip 10000 nbSat=51329 maxSat=53930
356.11/178.60	c flip 20000 nbSat=52484 maxSat=53930
356.31/178.77	c flip 30000 nbSat=52719 maxSat=53930
356.71/178.94	c flip 40000 nbSat=53031 maxSat=53930
357.11/179.13	c flip 50000 nbSat=53140 maxSat=53930
357.52/179.32	c flip 60000 nbSat=53247 maxSat=53930
357.91/179.51	c flip 70000 nbSat=53258 maxSat=53930
358.31/179.70	c flip 80000 nbSat=53358 maxSat=53930
358.71/179.90	c flip 90000 nbSat=53446 maxSat=53930
358.91/180.09	c flip 100000 nbSat=53402 maxSat=53930
359.31/180.28	c flip 110000 nbSat=53440 maxSat=53930
359.71/180.48	c flip 120000 nbSat=53527 maxSat=53930
360.10/180.68	c flip 130000 nbSat=53530 maxSat=53930
360.50/180.88	c flip 140000 nbSat=53481 maxSat=53930
360.90/181.08	c flip 150000 nbSat=53547 maxSat=53930
361.30/181.29	c flip 160000 nbSat=53525 maxSat=53930
361.71/181.49	c flip 170000 nbSat=53427 maxSat=53930
362.30/181.70	c flip 180000 nbSat=53459 maxSat=53930
362.70/181.91	c flip 190000 nbSat=53517 maxSat=53930
363.10/182.11	c flip 200000 nbSat=53641 maxSat=53930
363.50/182.32	c flip 210000 nbSat=53525 maxSat=53930
363.90/182.53	c flip 220000 nbSat=53653 maxSat=53930
364.29/182.74	c flip 230000 nbSat=53667 maxSat=53930
364.69/182.95	c flip 240000 nbSat=53651 maxSat=53930
365.09/183.16	c flip 250000 nbSat=53675 maxSat=53930
365.49/183.37	c flip 260000 nbSat=53699 maxSat=53930
365.89/183.58	c flip 270000 nbSat=53674 maxSat=53930
366.30/183.79	c flip 280000 nbSat=53765 maxSat=53930
366.89/184.00	c flip 290000 nbSat=53667 maxSat=53930
367.29/184.21	c flip 300000 nbSat=53769 maxSat=53930
367.69/184.43	c flip 310000 nbSat=53807 maxSat=53930
367.69/184.48	c flip 0 nbSat=45651 maxSat=53930
367.89/184.58	c flip 10000 nbSat=51211 maxSat=53930
368.29/184.73	c flip 20000 nbSat=52297 maxSat=53930
368.49/184.89	c flip 30000 nbSat=52809 maxSat=53930
368.88/185.06	c flip 40000 nbSat=53147 maxSat=53930
369.28/185.24	c flip 50000 nbSat=53237 maxSat=53930
369.68/185.43	c flip 60000 nbSat=53252 maxSat=53930
370.08/185.62	c flip 70000 nbSat=53455 maxSat=53930
370.48/185.81	c flip 80000 nbSat=53503 maxSat=53930
370.87/186.01	c flip 90000 nbSat=53449 maxSat=53930
371.27/186.20	c flip 100000 nbSat=53438 maxSat=53930
371.67/186.40	c flip 110000 nbSat=53469 maxSat=53930
371.87/186.59	c flip 120000 nbSat=53516 maxSat=53930
372.27/186.79	c flip 130000 nbSat=53558 maxSat=53930
372.68/186.99	c flip 140000 nbSat=53396 maxSat=53930
373.07/187.19	c flip 150000 nbSat=53637 maxSat=53930
373.47/187.40	c flip 160000 nbSat=53468 maxSat=53930
374.07/187.60	c flip 170000 nbSat=53606 maxSat=53930
374.47/187.80	c flip 180000 nbSat=53671 maxSat=53930
374.87/188.01	c flip 190000 nbSat=53643 maxSat=53930
375.25/188.22	c flip 200000 nbSat=53616 maxSat=53930
375.65/188.42	c flip 210000 nbSat=53652 maxSat=53930
376.05/188.63	c flip 220000 nbSat=53661 maxSat=53930
376.45/188.83	c flip 230000 nbSat=53651 maxSat=53930
376.85/189.03	c flip 240000 nbSat=53593 maxSat=53930
377.25/189.26	c flip 250000 nbSat=53708 maxSat=53930
377.64/189.47	c flip 260000 nbSat=53646 maxSat=53930
378.04/189.67	c flip 270000 nbSat=53754 maxSat=53930
378.44/189.88	c flip 280000 nbSat=53778 maxSat=53930
378.84/190.09	c flip 290000 nbSat=53695 maxSat=53930
379.25/190.29	c flip 300000 nbSat=53701 maxSat=53930
379.84/190.50	c flip 310000 nbSat=53715 maxSat=53930
379.84/190.55	c flip 0 nbSat=45734 maxSat=53930
380.04/190.65	c flip 10000 nbSat=51271 maxSat=53930
380.44/190.80	c flip 20000 nbSat=52392 maxSat=53930
380.64/190.98	c flip 30000 nbSat=52777 maxSat=53930
381.04/191.15	c flip 40000 nbSat=53022 maxSat=53930
381.44/191.34	c flip 50000 nbSat=53025 maxSat=53930
381.83/191.53	c flip 60000 nbSat=53258 maxSat=53930
382.23/191.71	c flip 70000 nbSat=53235 maxSat=53930
382.63/191.91	c flip 80000 nbSat=53349 maxSat=53930
383.03/192.11	c flip 90000 nbSat=53481 maxSat=53930
383.43/192.30	c flip 100000 nbSat=53350 maxSat=53930
383.83/192.50	c flip 110000 nbSat=53457 maxSat=53930
384.23/192.70	c flip 120000 nbSat=53459 maxSat=53930
384.63/192.91	c flip 130000 nbSat=53539 maxSat=53930
385.03/193.11	c flip 140000 nbSat=53545 maxSat=53930
385.43/193.32	c flip 150000 nbSat=53650 maxSat=53930
385.83/193.54	c flip 160000 nbSat=53650 maxSat=53930
386.22/193.75	c flip 170000 nbSat=53638 maxSat=53930
386.62/193.97	c flip 180000 nbSat=53586 maxSat=53930
387.02/194.18	c flip 190000 nbSat=53632 maxSat=53930
387.42/194.39	c flip 200000 nbSat=53536 maxSat=53930
388.03/194.61	c flip 210000 nbSat=53597 maxSat=53930
388.42/194.82	c flip 220000 nbSat=53635 maxSat=53930
388.82/195.03	c flip 230000 nbSat=53704 maxSat=53930
389.22/195.24	c flip 240000 nbSat=53663 maxSat=53930
389.62/195.45	c flip 250000 nbSat=53564 maxSat=53930
390.02/195.66	c flip 260000 nbSat=53678 maxSat=53930
390.42/195.88	c flip 270000 nbSat=53757 maxSat=53930
390.81/196.10	c flip 280000 nbSat=53695 maxSat=53930
391.41/196.31	c flip 290000 nbSat=53684 maxSat=53930
391.81/196.52	c flip 300000 nbSat=53668 maxSat=53930
392.21/196.74	c flip 310000 nbSat=53617 maxSat=53930
392.21/196.79	c flip 0 nbSat=45417 maxSat=53930
392.41/196.89	c flip 10000 nbSat=51220 maxSat=53930
392.81/197.05	c flip 20000 nbSat=52332 maxSat=53930
393.21/197.21	c flip 30000 nbSat=52886 maxSat=53930
393.41/197.39	c flip 40000 nbSat=53039 maxSat=53930
393.81/197.58	c flip 50000 nbSat=53212 maxSat=53930
394.21/197.77	c flip 60000 nbSat=53135 maxSat=53930
394.62/197.98	c flip 70000 nbSat=53253 maxSat=53930
395.01/198.17	c flip 80000 nbSat=53356 maxSat=53930
395.41/198.36	c flip 90000 nbSat=53464 maxSat=53930
395.81/198.56	c flip 100000 nbSat=53545 maxSat=53930
396.21/198.76	c flip 110000 nbSat=53406 maxSat=53930
396.61/198.96	c flip 120000 nbSat=53596 maxSat=53930
397.01/199.17	c flip 130000 nbSat=53594 maxSat=53930
397.40/199.38	c flip 140000 nbSat=53532 maxSat=53930
397.80/199.59	c flip 150000 nbSat=53630 maxSat=53930
398.40/199.81	c flip 160000 nbSat=53552 maxSat=53930
398.80/200.02	c flip 170000 nbSat=53630 maxSat=53930
399.21/200.24	c flip 180000 nbSat=53609 maxSat=53930
399.60/200.45	c flip 190000 nbSat=53626 maxSat=53930
400.00/200.66	c flip 200000 nbSat=53622 maxSat=53930
400.40/200.87	c flip 210000 nbSat=53607 maxSat=53930
400.80/201.08	c flip 220000 nbSat=53706 maxSat=53930
401.40/201.30	c flip 230000 nbSat=53663 maxSat=53930
401.79/201.52	c flip 240000 nbSat=53715 maxSat=53930
402.19/201.74	c flip 250000 nbSat=53694 maxSat=53930
402.59/201.96	c flip 260000 nbSat=53679 maxSat=53930
402.99/202.17	c flip 270000 nbSat=53663 maxSat=53930
403.40/202.39	c flip 280000 nbSat=53653 maxSat=53930
403.99/202.60	c flip 290000 nbSat=53725 maxSat=53930
404.39/202.81	c flip 300000 nbSat=53747 maxSat=53930
404.79/203.03	c flip 310000 nbSat=53781 maxSat=53930
404.79/203.08	c flip 0 nbSat=45639 maxSat=53930
404.99/203.18	c flip 10000 nbSat=51293 maxSat=53930
405.39/203.33	c flip 20000 nbSat=52401 maxSat=53930
405.59/203.50	c flip 30000 nbSat=52834 maxSat=53930
405.98/203.68	c flip 40000 nbSat=53043 maxSat=53930
406.38/203.87	c flip 50000 nbSat=53230 maxSat=53930
406.78/204.07	c flip 60000 nbSat=53299 maxSat=53930
407.18/204.26	c flip 70000 nbSat=53432 maxSat=53930
407.58/204.46	c flip 80000 nbSat=53404 maxSat=53930
407.99/204.67	c flip 90000 nbSat=53440 maxSat=53930
408.38/204.87	c flip 100000 nbSat=53422 maxSat=53930
408.78/205.08	c flip 110000 nbSat=53494 maxSat=53930
409.18/205.28	c flip 120000 nbSat=53536 maxSat=53930
409.58/205.48	c flip 130000 nbSat=53551 maxSat=53930
409.98/205.69	c flip 140000 nbSat=53541 maxSat=53930
410.38/205.90	c flip 150000 nbSat=53587 maxSat=53930
410.97/206.11	c flip 160000 nbSat=53571 maxSat=53930
411.37/206.31	c flip 170000 nbSat=53639 maxSat=53930
411.77/206.52	c flip 180000 nbSat=53590 maxSat=53930
412.18/206.73	c flip 190000 nbSat=53552 maxSat=53930
412.57/206.94	c flip 200000 nbSat=53725 maxSat=53930
412.97/207.14	c flip 210000 nbSat=53668 maxSat=53930
413.37/207.34	c flip 220000 nbSat=53795 maxSat=53930
413.77/207.55	c flip 230000 nbSat=53764 maxSat=53930
414.17/207.76	c flip 240000 nbSat=53735 maxSat=53930
414.57/207.98	c flip 250000 nbSat=53746 maxSat=53930
415.16/208.20	c flip 260000 nbSat=53868 maxSat=53930
415.56/208.43	c flip 270000 nbSat=53746 maxSat=53930
415.96/208.64	c flip 280000 nbSat=53721 maxSat=53930
416.36/208.87	c flip 290000 nbSat=53797 maxSat=53930
416.77/209.09	c flip 300000 nbSat=53859 maxSat=53930
417.36/209.32	c flip 310000 nbSat=53922 maxSat=53948
417.36/209.37	c flip 0 nbSat=45376 maxSat=53950
417.56/209.47	c flip 10000 nbSat=51526 maxSat=53950
417.96/209.62	c flip 20000 nbSat=52430 maxSat=53950
418.16/209.79	c flip 30000 nbSat=52814 maxSat=53950
418.56/209.96	c flip 40000 nbSat=53048 maxSat=53950
418.96/210.15	c flip 50000 nbSat=53195 maxSat=53950
419.35/210.34	c flip 60000 nbSat=53277 maxSat=53950
419.75/210.54	c flip 70000 nbSat=53294 maxSat=53950
420.15/210.73	c flip 80000 nbSat=53346 maxSat=53950
420.55/210.92	c flip 90000 nbSat=53298 maxSat=53950
420.96/211.13	c flip 100000 nbSat=53478 maxSat=53950
421.35/211.33	c flip 110000 nbSat=53503 maxSat=53950
421.75/211.53	c flip 120000 nbSat=53439 maxSat=53950
422.15/211.73	c flip 130000 nbSat=53456 maxSat=53950
422.55/211.93	c flip 140000 nbSat=53426 maxSat=53950
422.95/212.13	c flip 150000 nbSat=53625 maxSat=53950
423.35/212.33	c flip 160000 nbSat=53603 maxSat=53950
423.74/212.53	c flip 170000 nbSat=53610 maxSat=53950
424.14/212.74	c flip 180000 nbSat=53580 maxSat=53950
424.54/212.95	c flip 190000 nbSat=53578 maxSat=53950
424.94/213.15	c flip 200000 nbSat=53651 maxSat=53950
425.35/213.36	c flip 210000 nbSat=53612 maxSat=53950
425.74/213.56	c flip 220000 nbSat=53503 maxSat=53950
426.14/213.77	c flip 230000 nbSat=53681 maxSat=53950
426.54/213.98	c flip 240000 nbSat=53682 maxSat=53950
426.94/214.20	c flip 250000 nbSat=53620 maxSat=53950
427.55/214.41	c flip 260000 nbSat=53768 maxSat=53950
427.94/214.62	c flip 270000 nbSat=53744 maxSat=53950
428.34/214.83	c flip 280000 nbSat=53715 maxSat=53950
428.74/215.04	c flip 290000 nbSat=53707 maxSat=53950
429.13/215.25	c flip 300000 nbSat=53682 maxSat=53950
429.53/215.46	c flip 310000 nbSat=53741 maxSat=53950
429.74/215.51	c flip 0 nbSat=45625 maxSat=53950
429.94/215.62	c flip 10000 nbSat=51210 maxSat=53950
430.13/215.76	c flip 20000 nbSat=52241 maxSat=53950
430.53/215.93	c flip 30000 nbSat=52715 maxSat=53950
430.93/216.11	c flip 40000 nbSat=53038 maxSat=53950
431.33/216.30	c flip 50000 nbSat=53127 maxSat=53950
431.53/216.48	c flip 60000 nbSat=53263 maxSat=53950
431.93/216.67	c flip 70000 nbSat=53322 maxSat=53950
432.32/216.86	c flip 80000 nbSat=53364 maxSat=53950
432.72/217.05	c flip 90000 nbSat=53332 maxSat=53950
433.12/217.25	c flip 100000 nbSat=53492 maxSat=53950
433.52/217.45	c flip 110000 nbSat=53493 maxSat=53950
433.92/217.64	c flip 120000 nbSat=53541 maxSat=53950
434.33/217.85	c flip 130000 nbSat=53470 maxSat=53950
434.72/218.05	c flip 140000 nbSat=53501 maxSat=53950
435.12/218.25	c flip 150000 nbSat=53558 maxSat=53950
435.52/218.45	c flip 160000 nbSat=53663 maxSat=53950
435.92/218.65	c flip 170000 nbSat=53613 maxSat=53950
436.32/218.86	c flip 180000 nbSat=53691 maxSat=53950
436.71/219.06	c flip 190000 nbSat=53702 maxSat=53950
437.11/219.27	c flip 200000 nbSat=53695 maxSat=53950
437.51/219.48	c flip 210000 nbSat=53742 maxSat=53950
437.91/219.69	c flip 220000 nbSat=53761 maxSat=53950
438.31/219.89	c flip 230000 nbSat=53620 maxSat=53950
438.91/220.11	c flip 240000 nbSat=53746 maxSat=53950
439.31/220.33	c flip 250000 nbSat=53698 maxSat=53950
439.71/220.54	c flip 260000 nbSat=53735 maxSat=53950
440.11/220.75	c flip 270000 nbSat=53760 maxSat=53950
440.51/220.96	c flip 280000 nbSat=53764 maxSat=53950
440.92/221.18	c flip 290000 nbSat=53813 maxSat=53950
441.31/221.39	c flip 300000 nbSat=53738 maxSat=53950
441.91/221.60	c flip 310000 nbSat=53794 maxSat=53950
441.91/221.65	c flip 0 nbSat=45735 maxSat=53950
442.11/221.76	c flip 10000 nbSat=51330 maxSat=53950
442.51/221.91	c flip 20000 nbSat=52304 maxSat=53950
442.70/222.07	c flip 30000 nbSat=52758 maxSat=53950
443.11/222.25	c flip 40000 nbSat=53035 maxSat=53950
443.50/222.44	c flip 50000 nbSat=53196 maxSat=53950
443.90/222.62	c flip 60000 nbSat=53221 maxSat=53950
444.30/222.80	c flip 70000 nbSat=53340 maxSat=53950
444.50/222.99	c flip 80000 nbSat=53400 maxSat=53950
444.90/223.18	c flip 90000 nbSat=53447 maxSat=53950
445.31/223.37	c flip 100000 nbSat=53445 maxSat=53950
445.70/223.57	c flip 110000 nbSat=53572 maxSat=53950
446.10/223.77	c flip 120000 nbSat=53602 maxSat=53950
446.50/223.97	c flip 130000 nbSat=53550 maxSat=53950
446.90/224.17	c flip 140000 nbSat=53597 maxSat=53950
447.30/224.37	c flip 150000 nbSat=53592 maxSat=53950
447.69/224.57	c flip 160000 nbSat=53748 maxSat=53950
448.09/224.77	c flip 170000 nbSat=53510 maxSat=53950
448.49/224.97	c flip 180000 nbSat=53722 maxSat=53950
448.89/225.18	c flip 190000 nbSat=53651 maxSat=53950
449.29/225.38	c flip 200000 nbSat=53597 maxSat=53950
449.69/225.59	c flip 210000 nbSat=53697 maxSat=53950
450.28/225.81	c flip 220000 nbSat=53643 maxSat=53950
450.68/226.02	c flip 230000 nbSat=53824 maxSat=53950
451.08/226.23	c flip 240000 nbSat=53824 maxSat=53950
451.48/226.44	c flip 250000 nbSat=53770 maxSat=53950
451.89/226.65	c flip 260000 nbSat=53772 maxSat=53950
452.28/226.86	c flip 270000 nbSat=53743 maxSat=53950
452.68/227.08	c flip 280000 nbSat=53769 maxSat=53950
453.28/227.30	c flip 290000 nbSat=53680 maxSat=53950
453.68/227.51	c flip 300000 nbSat=53737 maxSat=53950
454.08/227.72	c flip 310000 nbSat=53806 maxSat=53950
454.08/227.77	c flip 0 nbSat=45713 maxSat=53950
454.27/227.87	c flip 10000 nbSat=51444 maxSat=53950
454.67/228.02	c flip 20000 nbSat=52497 maxSat=53950
454.87/228.19	c flip 30000 nbSat=52878 maxSat=53950
455.27/228.38	c flip 40000 nbSat=53118 maxSat=53950
455.67/228.58	c flip 50000 nbSat=53281 maxSat=53950
456.08/228.78	c flip 60000 nbSat=53404 maxSat=53950
456.47/228.98	c flip 70000 nbSat=53482 maxSat=53950
456.87/229.18	c flip 80000 nbSat=53423 maxSat=53950
457.27/229.39	c flip 90000 nbSat=53487 maxSat=53950
457.87/229.60	c flip 100000 nbSat=53613 maxSat=53950
458.27/229.81	c flip 110000 nbSat=53556 maxSat=53950
458.66/230.03	c flip 120000 nbSat=53584 maxSat=53950
459.06/230.25	c flip 130000 nbSat=53659 maxSat=53950
459.46/230.46	c flip 140000 nbSat=53656 maxSat=53950
459.86/230.67	c flip 150000 nbSat=53597 maxSat=53950
460.26/230.89	c flip 160000 nbSat=53687 maxSat=53950
460.86/231.11	c flip 170000 nbSat=53731 maxSat=53950
461.26/231.33	c flip 180000 nbSat=53799 maxSat=53950
461.66/231.54	c flip 190000 nbSat=53773 maxSat=53950
462.06/231.74	c flip 200000 nbSat=53695 maxSat=53950
462.46/231.95	c flip 210000 nbSat=53710 maxSat=53950
462.86/232.17	c flip 220000 nbSat=53729 maxSat=53950
463.25/232.40	c flip 230000 nbSat=53788 maxSat=53950
463.84/232.61	c flip 240000 nbSat=53684 maxSat=53950
464.24/232.83	c flip 250000 nbSat=53631 maxSat=53950
464.64/233.05	c flip 260000 nbSat=53792 maxSat=53950
465.05/233.27	c flip 270000 nbSat=53810 maxSat=53950
465.44/233.50	c flip 280000 nbSat=53776 maxSat=53950
466.04/233.72	c flip 290000 nbSat=53800 maxSat=53950
466.44/233.95	c flip 300000 nbSat=53740 maxSat=53950
466.84/234.17	c flip 310000 nbSat=53810 maxSat=53950
467.04/234.23	c flip 0 nbSat=45563 maxSat=53950
467.24/234.34	c flip 10000 nbSat=51268 maxSat=53950
467.42/234.49	c flip 20000 nbSat=52373 maxSat=53950
467.82/234.66	c flip 30000 nbSat=52926 maxSat=53950
468.22/234.84	c flip 40000 nbSat=52973 maxSat=53950
468.62/235.03	c flip 50000 nbSat=53211 maxSat=53950
469.02/235.22	c flip 60000 nbSat=53315 maxSat=53950
469.43/235.43	c flip 70000 nbSat=53403 maxSat=53950
469.82/235.62	c flip 80000 nbSat=53435 maxSat=53950
470.22/235.82	c flip 90000 nbSat=53561 maxSat=53950
470.62/236.02	c flip 100000 nbSat=53535 maxSat=53950
471.02/236.21	c flip 110000 nbSat=53432 maxSat=53950
471.42/236.41	c flip 120000 nbSat=53613 maxSat=53950
471.81/236.62	c flip 130000 nbSat=53559 maxSat=53950
472.21/236.82	c flip 140000 nbSat=53693 maxSat=53950
472.61/237.03	c flip 150000 nbSat=53662 maxSat=53950
473.01/237.24	c flip 160000 nbSat=53671 maxSat=53950
473.41/237.45	c flip 170000 nbSat=53757 maxSat=53950
473.82/237.67	c flip 180000 nbSat=53773 maxSat=53950
474.21/237.88	c flip 190000 nbSat=53699 maxSat=53950
474.61/238.08	c flip 200000 nbSat=53704 maxSat=53950
475.01/238.29	c flip 210000 nbSat=53668 maxSat=53950
475.61/238.51	c flip 220000 nbSat=53705 maxSat=53950
476.01/238.72	c flip 230000 nbSat=53598 maxSat=53950
476.40/238.93	c flip 240000 nbSat=53822 maxSat=53950
476.80/239.14	c flip 250000 nbSat=53760 maxSat=53950
477.20/239.35	c flip 260000 nbSat=53762 maxSat=53950
477.60/239.55	c flip 270000 nbSat=53799 maxSat=53950
478.01/239.77	c flip 280000 nbSat=53749 maxSat=53950
478.40/239.98	c flip 290000 nbSat=53732 maxSat=53950
478.80/240.18	c flip 300000 nbSat=53778 maxSat=53950
479.40/240.40	c flip 310000 nbSat=53890 maxSat=53950
479.40/240.45	c flip 0 nbSat=45714 maxSat=53950
479.60/240.55	c flip 10000 nbSat=51464 maxSat=53950
480.00/240.71	c flip 20000 nbSat=52449 maxSat=53950
480.21/240.89	c flip 30000 nbSat=52935 maxSat=53950
480.60/241.07	c flip 40000 nbSat=53154 maxSat=53950
481.00/241.26	c flip 50000 nbSat=53242 maxSat=53950
481.40/241.46	c flip 60000 nbSat=53297 maxSat=53950
481.80/241.65	c flip 70000 nbSat=53448 maxSat=53950
482.20/241.85	c flip 80000 nbSat=53505 maxSat=53950
482.60/242.05	c flip 90000 nbSat=53575 maxSat=53950
482.99/242.25	c flip 100000 nbSat=53609 maxSat=53950
483.39/242.46	c flip 110000 nbSat=53561 maxSat=53950
483.79/242.67	c flip 120000 nbSat=53558 maxSat=53950
484.19/242.88	c flip 130000 nbSat=53648 maxSat=53950
484.59/243.09	c flip 140000 nbSat=53595 maxSat=53950
485.18/243.30	c flip 150000 nbSat=53718 maxSat=53950
485.58/243.51	c flip 160000 nbSat=53693 maxSat=53950
485.98/243.72	c flip 170000 nbSat=53831 maxSat=53950
486.38/243.93	c flip 180000 nbSat=53748 maxSat=53950
486.79/244.15	c flip 190000 nbSat=53794 maxSat=53950
487.18/244.37	c flip 200000 nbSat=53663 maxSat=53950
487.58/244.58	c flip 210000 nbSat=53660 maxSat=53950
487.98/244.79	c flip 220000 nbSat=53661 maxSat=53950
488.58/245.00	c flip 230000 nbSat=53727 maxSat=53950
488.98/245.22	c flip 240000 nbSat=53832 maxSat=53950
489.37/245.44	c flip 250000 nbSat=53629 maxSat=53950
489.77/245.66	c flip 260000 nbSat=53744 maxSat=53950
490.17/245.87	c flip 270000 nbSat=53707 maxSat=53950
490.57/246.09	c flip 280000 nbSat=53695 maxSat=53950
491.18/246.30	c flip 290000 nbSat=53745 maxSat=53950
491.57/246.52	c flip 300000 nbSat=53766 maxSat=53950
491.97/246.74	c flip 310000 nbSat=53804 maxSat=53950
491.97/246.79	c flip 0 nbSat=45756 maxSat=53950
492.17/246.89	c flip 10000 nbSat=51464 maxSat=53950
492.57/247.04	c flip 20000 nbSat=52462 maxSat=53950
492.97/247.21	c flip 30000 nbSat=52853 maxSat=53950
493.17/247.39	c flip 40000 nbSat=53131 maxSat=53950
493.57/247.59	c flip 50000 nbSat=53221 maxSat=53950
493.96/247.78	c flip 60000 nbSat=53319 maxSat=53950
494.36/247.97	c flip 70000 nbSat=53380 maxSat=53950
494.76/248.17	c flip 80000 nbSat=53420 maxSat=53950
495.16/248.37	c flip 90000 nbSat=53492 maxSat=53950
495.57/248.57	c flip 100000 nbSat=53459 maxSat=53950
495.96/248.76	c flip 110000 nbSat=53550 maxSat=53950
496.36/248.96	c flip 120000 nbSat=53635 maxSat=53950
496.76/249.16	c flip 130000 nbSat=53683 maxSat=53950
497.16/249.37	c flip 140000 nbSat=53595 maxSat=53950
497.56/249.57	c flip 150000 nbSat=53711 maxSat=53950
497.96/249.78	c flip 160000 nbSat=53654 maxSat=53950
498.36/249.99	c flip 170000 nbSat=53723 maxSat=53950
498.76/250.20	c flip 180000 nbSat=53788 maxSat=53950
499.35/250.40	c flip 190000 nbSat=53765 maxSat=53950
499.75/250.61	c flip 200000 nbSat=53770 maxSat=53950
500.16/250.83	c flip 210000 nbSat=53797 maxSat=53950
500.55/251.04	c flip 220000 nbSat=53884 maxSat=53950
500.95/251.25	c flip 230000 nbSat=53778 maxSat=53950
501.35/251.46	c flip 240000 nbSat=53759 maxSat=53950
501.75/251.66	c flip 250000 nbSat=53813 maxSat=53950
502.15/251.88	c flip 260000 nbSat=53847 maxSat=53950
502.54/252.08	c flip 270000 nbSat=53747 maxSat=53950
502.94/252.29	c flip 280000 nbSat=53856 maxSat=53968
503.54/252.50	c flip 290000 nbSat=53900 maxSat=53994
503.94/252.71	c flip 300000 nbSat=53868 maxSat=54010
504.35/252.93	c flip 310000 nbSat=53870 maxSat=54010
504.35/252.98	c flip 0 nbSat=45653 maxSat=54012
504.55/253.09	c flip 10000 nbSat=51451 maxSat=54012
504.94/253.24	c flip 20000 nbSat=52470 maxSat=54012
505.34/253.41	c flip 30000 nbSat=52893 maxSat=54012
505.54/253.59	c flip 40000 nbSat=53132 maxSat=54012
505.94/253.77	c flip 50000 nbSat=53261 maxSat=54012
506.34/253.96	c flip 60000 nbSat=53419 maxSat=54012
506.74/254.16	c flip 70000 nbSat=53482 maxSat=54012
507.13/254.36	c flip 80000 nbSat=53487 maxSat=54012
507.53/254.56	c flip 90000 nbSat=53576 maxSat=54012
507.93/254.76	c flip 100000 nbSat=53690 maxSat=54012
508.33/254.97	c flip 110000 nbSat=53642 maxSat=54012
508.74/255.18	c flip 120000 nbSat=53661 maxSat=54012
509.13/255.39	c flip 130000 nbSat=53770 maxSat=54012
509.73/255.60	c flip 140000 nbSat=53772 maxSat=54012
510.13/255.81	c flip 150000 nbSat=53748 maxSat=54012
510.53/256.02	c flip 160000 nbSat=53847 maxSat=54012
510.93/256.24	c flip 170000 nbSat=53792 maxSat=54012
511.33/256.46	c flip 180000 nbSat=53862 maxSat=54012
511.73/256.68	c flip 190000 nbSat=53808 maxSat=54012
512.33/256.90	c flip 200000 nbSat=53836 maxSat=54012
512.73/257.12	c flip 210000 nbSat=53754 maxSat=54012
513.14/257.35	c flip 220000 nbSat=53883 maxSat=54012
513.53/257.57	c flip 230000 nbSat=53904 maxSat=54012
514.13/257.80	c flip 240000 nbSat=53925 maxSat=54019
514.53/258.02	c flip 250000 nbSat=53843 maxSat=54019
514.93/258.24	c flip 260000 nbSat=53811 maxSat=54019
515.33/258.47	c flip 270000 nbSat=53774 maxSat=54019
515.72/258.69	c flip 280000 nbSat=53807 maxSat=54019
516.32/258.91	c flip 290000 nbSat=53918 maxSat=54019
516.72/259.13	c flip 300000 nbSat=53919 maxSat=54026
517.12/259.36	c flip 310000 nbSat=53721 maxSat=54026
517.32/259.41	c flip 0 nbSat=45513 maxSat=54026
517.52/259.52	c flip 10000 nbSat=51354 maxSat=54026
517.72/259.67	c flip 20000 nbSat=52541 maxSat=54026
518.11/259.84	c flip 30000 nbSat=53037 maxSat=54026
518.51/260.02	c flip 40000 nbSat=53264 maxSat=54026
518.91/260.21	c flip 50000 nbSat=53448 maxSat=54026
519.31/260.41	c flip 60000 nbSat=53557 maxSat=54026
519.72/260.61	c flip 70000 nbSat=53529 maxSat=54026
520.11/260.82	c flip 80000 nbSat=53715 maxSat=54026
520.51/261.03	c flip 90000 nbSat=53719 maxSat=54026
520.91/261.24	c flip 100000 nbSat=53599 maxSat=54026
521.31/261.45	c flip 110000 nbSat=53774 maxSat=54026
521.71/261.66	c flip 120000 nbSat=53781 maxSat=54026
522.11/261.87	c flip 130000 nbSat=53819 maxSat=54026
522.50/262.07	c flip 140000 nbSat=53802 maxSat=54026
522.90/262.28	c flip 150000 nbSat=53850 maxSat=54026
523.30/262.49	c flip 160000 nbSat=53840 maxSat=54026
523.90/262.70	c flip 170000 nbSat=53850 maxSat=54026
524.30/262.91	c flip 180000 nbSat=53704 maxSat=54026
524.70/263.11	c flip 190000 nbSat=53749 maxSat=54026
525.10/263.32	c flip 200000 nbSat=53805 maxSat=54026
525.50/263.54	c flip 210000 nbSat=53874 maxSat=54026
525.90/263.74	c flip 220000 nbSat=53928 maxSat=54026
526.30/263.96	c flip 230000 nbSat=53871 maxSat=54026
526.69/264.17	c flip 240000 nbSat=53924 maxSat=54026
527.09/264.39	c flip 250000 nbSat=53885 maxSat=54026
527.69/264.61	c flip 260000 nbSat=53833 maxSat=54026
528.09/264.82	c flip 270000 nbSat=53879 maxSat=54044
528.50/265.04	c flip 280000 nbSat=53917 maxSat=54044
528.89/265.25	c flip 290000 nbSat=53942 maxSat=54049
529.29/265.46	c flip 300000 nbSat=53894 maxSat=54049
529.69/265.67	c flip 310000 nbSat=53912 maxSat=54049
529.89/265.72	c flip 0 nbSat=45665 maxSat=54049
530.09/265.83	c flip 10000 nbSat=51521 maxSat=54049
530.29/265.97	c flip 20000 nbSat=52621 maxSat=54049
530.69/266.15	c flip 30000 nbSat=53041 maxSat=54049
531.08/266.33	c flip 40000 nbSat=53280 maxSat=54049
531.48/266.52	c flip 50000 nbSat=53415 maxSat=54049
531.88/266.71	c flip 60000 nbSat=53485 maxSat=54049
532.28/266.91	c flip 70000 nbSat=53538 maxSat=54049
532.68/267.11	c flip 80000 nbSat=53640 maxSat=54049
533.09/267.32	c flip 90000 nbSat=53642 maxSat=54049
533.48/267.52	c flip 100000 nbSat=53615 maxSat=54049
533.88/267.73	c flip 110000 nbSat=53789 maxSat=54049
534.28/267.93	c flip 120000 nbSat=53796 maxSat=54049
534.68/268.14	c flip 130000 nbSat=53832 maxSat=54049
535.08/268.36	c flip 140000 nbSat=53851 maxSat=54049
535.47/268.57	c flip 150000 nbSat=53824 maxSat=54049
535.87/268.78	c flip 160000 nbSat=53887 maxSat=54049
536.27/268.98	c flip 170000 nbSat=54031 maxSat=54050
536.67/269.19	c flip 180000 nbSat=54035 maxSat=54053
537.28/269.41	c flip 190000 nbSat=53907 maxSat=54061
537.67/269.62	c flip 200000 nbSat=53844 maxSat=54061
538.07/269.84	c flip 210000 nbSat=53870 maxSat=54061
538.47/270.06	c flip 220000 nbSat=53945 maxSat=54061
538.87/270.27	c flip 230000 nbSat=53871 maxSat=54061
539.47/270.51	c flip 240000 nbSat=54009 maxSat=54068
539.86/270.73	c flip 250000 nbSat=53847 maxSat=54080
540.26/270.95	c flip 260000 nbSat=54061 maxSat=54084
540.66/271.17	c flip 270000 nbSat=53921 maxSat=54102
541.06/271.39	c flip 280000 nbSat=54031 maxSat=54102
541.66/271.61	c flip 290000 nbSat=54007 maxSat=54102
542.05/271.83	c flip 300000 nbSat=53980 maxSat=54102
542.45/272.06	c flip 310000 nbSat=53902 maxSat=54106
542.65/272.11	c flip 0 nbSat=45829 maxSat=54106
542.85/272.22	c flip 10000 nbSat=51499 maxSat=54106
543.05/272.37	c flip 20000 nbSat=52617 maxSat=54106
543.45/272.54	c flip 30000 nbSat=53051 maxSat=54106
543.86/272.74	c flip 40000 nbSat=53269 maxSat=54106
544.25/272.93	c flip 50000 nbSat=53440 maxSat=54106
544.65/273.13	c flip 60000 nbSat=53593 maxSat=54106
545.05/273.33	c flip 70000 nbSat=53654 maxSat=54106
545.45/273.53	c flip 80000 nbSat=53692 maxSat=54106
545.85/273.74	c flip 90000 nbSat=53816 maxSat=54106
546.25/273.95	c flip 100000 nbSat=53687 maxSat=54106
546.65/274.16	c flip 110000 nbSat=53854 maxSat=54106
547.05/274.37	c flip 120000 nbSat=53774 maxSat=54106
547.45/274.59	c flip 130000 nbSat=53842 maxSat=54106
547.85/274.79	c flip 140000 nbSat=53788 maxSat=54106
548.45/275.01	c flip 150000 nbSat=53902 maxSat=54106
548.84/275.22	c flip 160000 nbSat=53854 maxSat=54106
549.24/275.44	c flip 170000 nbSat=53953 maxSat=54106
549.64/275.66	c flip 180000 nbSat=53913 maxSat=54106
550.04/275.87	c flip 190000 nbSat=53984 maxSat=54106
550.45/276.09	c flip 200000 nbSat=53917 maxSat=54106
551.04/276.31	c flip 210000 nbSat=53971 maxSat=54106
551.44/276.53	c flip 220000 nbSat=53946 maxSat=54106
551.84/276.74	c flip 230000 nbSat=54020 maxSat=54106
552.24/276.96	c flip 240000 nbSat=53977 maxSat=54109
552.64/277.18	c flip 250000 nbSat=54005 maxSat=54123
553.22/277.41	c flip 260000 nbSat=54118 maxSat=54133
553.62/277.64	c flip 270000 nbSat=53982 maxSat=54133
554.02/277.85	c flip 280000 nbSat=54075 maxSat=54133
554.42/278.07	c flip 290000 nbSat=54025 maxSat=54133
554.82/278.30	c flip 300000 nbSat=54037 maxSat=54133
555.41/278.51	c flip 310000 nbSat=54062 maxSat=54133
555.41/278.57	c flip 0 nbSat=45883 maxSat=54133
555.61/278.67	c flip 10000 nbSat=51580 maxSat=54133
556.01/278.83	c flip 20000 nbSat=52675 maxSat=54133
556.41/279.01	c flip 30000 nbSat=53132 maxSat=54133
556.81/279.20	c flip 40000 nbSat=53319 maxSat=54133
557.22/279.40	c flip 50000 nbSat=53484 maxSat=54133
557.61/279.61	c flip 60000 nbSat=53436 maxSat=54133
558.01/279.82	c flip 70000 nbSat=53663 maxSat=54133
558.41/280.03	c flip 80000 nbSat=53612 maxSat=54133
558.81/280.24	c flip 90000 nbSat=53752 maxSat=54133
559.20/280.47	c flip 100000 nbSat=53707 maxSat=54133
559.59/280.69	c flip 110000 nbSat=53835 maxSat=54133
560.19/280.90	c flip 120000 nbSat=53744 maxSat=54133
560.59/281.12	c flip 130000 nbSat=53848 maxSat=54133
560.99/281.34	c flip 140000 nbSat=53753 maxSat=54133
561.40/281.57	c flip 150000 nbSat=53808 maxSat=54133
561.79/281.78	c flip 160000 nbSat=53915 maxSat=54133
562.39/282.00	c flip 170000 nbSat=53941 maxSat=54133
562.79/282.22	c flip 180000 nbSat=53996 maxSat=54133
563.19/282.44	c flip 190000 nbSat=53922 maxSat=54133
563.60/282.67	c flip 200000 nbSat=53953 maxSat=54133
563.99/282.88	c flip 210000 nbSat=53911 maxSat=54133
564.59/283.10	c flip 220000 nbSat=53972 maxSat=54133
564.99/283.32	c flip 230000 nbSat=53990 maxSat=54133
565.39/283.55	c flip 240000 nbSat=54084 maxSat=54133
565.79/283.78	c flip 250000 nbSat=54114 maxSat=54133
566.38/284.01	c flip 260000 nbSat=53992 maxSat=54173
566.78/284.23	c flip 270000 nbSat=53978 maxSat=54173
567.18/284.46	c flip 280000 nbSat=54040 maxSat=54173
567.58/284.69	c flip 290000 nbSat=53988 maxSat=54205
568.18/284.93	c flip 300000 nbSat=54100 maxSat=54206
568.57/285.16	c flip 310000 nbSat=54080 maxSat=54206
568.77/285.22	c flip 0 nbSat=45918 maxSat=54206
568.97/285.33	c flip 10000 nbSat=51590 maxSat=54206
569.17/285.49	c flip 20000 nbSat=52736 maxSat=54206
569.57/285.67	c flip 30000 nbSat=53192 maxSat=54206
569.97/285.85	c flip 40000 nbSat=53376 maxSat=54206
570.38/286.05	c flip 50000 nbSat=53520 maxSat=54206
570.77/286.26	c flip 60000 nbSat=53627 maxSat=54206
571.17/286.46	c flip 70000 nbSat=53704 maxSat=54206
571.57/286.67	c flip 80000 nbSat=53705 maxSat=54206
571.97/286.88	c flip 90000 nbSat=53779 maxSat=54206
572.37/287.10	c flip 100000 nbSat=53820 maxSat=54206
572.96/287.32	c flip 110000 nbSat=53851 maxSat=54206
573.36/287.53	c flip 120000 nbSat=53856 maxSat=54206
573.76/287.75	c flip 130000 nbSat=53860 maxSat=54206
574.16/287.96	c flip 140000 nbSat=53938 maxSat=54206
574.57/288.18	c flip 150000 nbSat=53814 maxSat=54206
575.16/288.41	c flip 160000 nbSat=53833 maxSat=54206
575.56/288.63	c flip 170000 nbSat=53914 maxSat=54206
575.96/288.85	c flip 180000 nbSat=53880 maxSat=54206
576.35/289.07	c flip 190000 nbSat=53925 maxSat=54206
576.96/289.30	c flip 200000 nbSat=53754 maxSat=54206
577.35/289.52	c flip 210000 nbSat=54020 maxSat=54206
577.75/289.74	c flip 220000 nbSat=54033 maxSat=54206
578.15/289.97	c flip 230000 nbSat=53934 maxSat=54206
578.55/290.19	c flip 240000 nbSat=54079 maxSat=54206
579.16/290.42	c flip 250000 nbSat=54119 maxSat=54206
579.55/290.65	c flip 260000 nbSat=54139 maxSat=54206
579.95/290.87	c flip 270000 nbSat=54133 maxSat=54210
580.55/291.10	c flip 280000 nbSat=54086 maxSat=54223
580.95/291.33	c flip 290000 nbSat=54091 maxSat=54223
581.35/291.56	c flip 300000 nbSat=54210 maxSat=54226
581.94/291.80	c flip 310000 nbSat=53988 maxSat=54245
581.94/291.86	c flip 0 nbSat=45866 maxSat=54245
582.14/291.96	c flip 10000 nbSat=51623 maxSat=54245
582.54/292.12	c flip 20000 nbSat=52677 maxSat=54245
582.74/292.30	c flip 30000 nbSat=53086 maxSat=54245
583.14/292.49	c flip 40000 nbSat=53342 maxSat=54245
583.55/292.69	c flip 50000 nbSat=53514 maxSat=54245
584.14/292.90	c flip 60000 nbSat=53667 maxSat=54245
584.54/293.11	c flip 70000 nbSat=53646 maxSat=54245
584.94/293.32	c flip 80000 nbSat=53789 maxSat=54245
585.34/293.53	c flip 90000 nbSat=53864 maxSat=54245
585.75/293.75	c flip 100000 nbSat=53717 maxSat=54245
586.14/293.97	c flip 110000 nbSat=53899 maxSat=54245
586.54/294.19	c flip 120000 nbSat=53947 maxSat=54245
587.14/294.41	c flip 130000 nbSat=53945 maxSat=54245
587.54/294.62	c flip 140000 nbSat=53899 maxSat=54245
587.94/294.85	c flip 150000 nbSat=54015 maxSat=54245
588.34/295.07	c flip 160000 nbSat=54024 maxSat=54245
588.94/295.30	c flip 170000 nbSat=54021 maxSat=54245
589.34/295.52	c flip 180000 nbSat=53917 maxSat=54245
589.74/295.75	c flip 190000 nbSat=53893 maxSat=54245
590.14/295.99	c flip 200000 nbSat=53936 maxSat=54245
590.73/296.22	c flip 210000 nbSat=54014 maxSat=54245
591.13/296.44	c flip 220000 nbSat=54078 maxSat=54245
591.53/296.67	c flip 230000 nbSat=54111 maxSat=54245
592.14/296.91	c flip 240000 nbSat=54050 maxSat=54245
592.53/297.14	c flip 250000 nbSat=54095 maxSat=54245
592.93/297.37	c flip 260000 nbSat=54034 maxSat=54245
593.53/297.60	c flip 270000 nbSat=54050 maxSat=54245
593.93/297.83	c flip 280000 nbSat=54067 maxSat=54245
594.33/298.07	c flip 290000 nbSat=54077 maxSat=54245
594.72/298.29	c flip 300000 nbSat=54051 maxSat=54245
595.32/298.53	c flip 310000 nbSat=53989 maxSat=54245
595.32/298.58	c flip 0 nbSat=45879 maxSat=54245
595.52/298.69	c flip 10000 nbSat=51604 maxSat=54245
595.92/298.84	c flip 20000 nbSat=52685 maxSat=54245
596.32/299.02	c flip 30000 nbSat=53157 maxSat=54245
596.72/299.21	c flip 40000 nbSat=53373 maxSat=54245
597.11/299.40	c flip 50000 nbSat=53396 maxSat=54245
597.51/299.61	c flip 60000 nbSat=53695 maxSat=54245
597.92/299.81	c flip 70000 nbSat=53738 maxSat=54245
598.32/300.02	c flip 80000 nbSat=53650 maxSat=54245
598.72/300.24	c flip 90000 nbSat=53781 maxSat=54245
599.11/300.46	c flip 100000 nbSat=53830 maxSat=54245
599.51/300.67	c flip 110000 nbSat=53847 maxSat=54245
599.91/300.89	c flip 120000 nbSat=53845 maxSat=54245
600.51/301.11	c flip 130000 nbSat=53874 maxSat=54245
600.91/301.34	c flip 140000 nbSat=53933 maxSat=54245
601.31/301.55	c flip 150000 nbSat=53949 maxSat=54245
601.71/301.78	c flip 160000 nbSat=54045 maxSat=54245
602.30/302.00	c flip 170000 nbSat=54015 maxSat=54245
602.70/302.23	c flip 180000 nbSat=53941 maxSat=54245
603.11/302.46	c flip 190000 nbSat=54091 maxSat=54245
603.50/302.69	c flip 200000 nbSat=54054 maxSat=54245
604.10/302.92	c flip 210000 nbSat=54115 maxSat=54245
604.50/303.15	c flip 220000 nbSat=54033 maxSat=54245
604.90/303.38	c flip 230000 nbSat=53867 maxSat=54245
605.50/303.60	c flip 240000 nbSat=54000 maxSat=54245
605.89/303.83	c flip 250000 nbSat=54119 maxSat=54245
606.29/304.05	c flip 260000 nbSat=54026 maxSat=54245
606.69/304.29	c flip 270000 nbSat=53995 maxSat=54245
607.29/304.52	c flip 280000 nbSat=54180 maxSat=54245
607.70/304.75	c flip 290000 nbSat=53941 maxSat=54245
608.09/304.98	c flip 300000 nbSat=54032 maxSat=54245
608.69/305.21	c flip 310000 nbSat=54093 maxSat=54245
608.69/305.27	c flip 0 nbSat=45949 maxSat=54245
608.89/305.38	c flip 10000 nbSat=51648 maxSat=54245
609.29/305.54	c flip 20000 nbSat=52677 maxSat=54245
609.69/305.73	c flip 30000 nbSat=53157 maxSat=54245
610.08/305.92	c flip 40000 nbSat=53423 maxSat=54245
610.48/306.11	c flip 50000 nbSat=53383 maxSat=54245
610.88/306.31	c flip 60000 nbSat=53526 maxSat=54245
611.28/306.51	c flip 70000 nbSat=53672 maxSat=54245
611.68/306.72	c flip 80000 nbSat=53755 maxSat=54245
612.09/306.94	c flip 90000 nbSat=53836 maxSat=54245
612.48/307.14	c flip 100000 nbSat=53938 maxSat=54245
612.88/307.36	c flip 110000 nbSat=53933 maxSat=54245
613.28/307.58	c flip 120000 nbSat=53956 maxSat=54245
613.68/307.80	c flip 130000 nbSat=53921 maxSat=54245
614.28/308.02	c flip 140000 nbSat=53906 maxSat=54245
614.67/308.24	c flip 150000 nbSat=54016 maxSat=54245
615.07/308.46	c flip 160000 nbSat=54025 maxSat=54245
615.47/308.69	c flip 170000 nbSat=54052 maxSat=54245
616.07/308.90	c flip 180000 nbSat=54002 maxSat=54245
616.48/309.13	c flip 190000 nbSat=54066 maxSat=54245
616.87/309.35	c flip 200000 nbSat=53907 maxSat=54245
617.27/309.58	c flip 210000 nbSat=54065 maxSat=54245
617.87/309.80	c flip 220000 nbSat=54144 maxSat=54245
618.27/310.03	c flip 230000 nbSat=54175 maxSat=54245
618.67/310.26	c flip 240000 nbSat=54140 maxSat=54270
619.07/310.48	c flip 250000 nbSat=54122 maxSat=54300
619.66/310.71	c flip 260000 nbSat=54132 maxSat=54319
620.06/310.94	c flip 270000 nbSat=54256 maxSat=54319
620.46/311.16	c flip 280000 nbSat=54227 maxSat=54322
620.87/311.39	c flip 290000 nbSat=54206 maxSat=54322
621.46/311.62	c flip 300000 nbSat=54145 maxSat=54322
621.86/311.84	c flip 310000 nbSat=54000 maxSat=54322
621.86/311.90	c flip 0 nbSat=45800 maxSat=54322
622.26/312.01	c flip 10000 nbSat=51575 maxSat=54322
622.46/312.16	c flip 20000 nbSat=52622 maxSat=54322
622.86/312.35	c flip 30000 nbSat=53176 maxSat=54322
623.25/312.54	c flip 40000 nbSat=53397 maxSat=54322
623.65/312.74	c flip 50000 nbSat=53560 maxSat=54322
624.05/312.95	c flip 60000 nbSat=53673 maxSat=54322
624.45/313.17	c flip 70000 nbSat=53726 maxSat=54322
624.85/313.37	c flip 80000 nbSat=53761 maxSat=54322
625.26/313.59	c flip 90000 nbSat=53905 maxSat=54322
625.85/313.81	c flip 100000 nbSat=53933 maxSat=54322
626.25/314.03	c flip 110000 nbSat=54054 maxSat=54322
626.65/314.24	c flip 120000 nbSat=53973 maxSat=54322
627.05/314.47	c flip 130000 nbSat=53951 maxSat=54322
627.45/314.70	c flip 140000 nbSat=54020 maxSat=54322
628.04/314.92	c flip 150000 nbSat=54062 maxSat=54322
628.44/315.14	c flip 160000 nbSat=54022 maxSat=54322
628.84/315.36	c flip 170000 nbSat=54068 maxSat=54322
629.24/315.58	c flip 180000 nbSat=54065 maxSat=54322
629.84/315.81	c flip 190000 nbSat=54106 maxSat=54322
630.24/316.03	c flip 200000 nbSat=54119 maxSat=54322
630.64/316.25	c flip 210000 nbSat=54166 maxSat=54322
631.04/316.48	c flip 220000 nbSat=53979 maxSat=54322
631.64/316.71	c flip 230000 nbSat=54131 maxSat=54322
632.03/316.94	c flip 240000 nbSat=54136 maxSat=54322
632.43/317.16	c flip 250000 nbSat=54172 maxSat=54322
632.83/317.38	c flip 260000 nbSat=54109 maxSat=54322
633.43/317.61	c flip 270000 nbSat=54215 maxSat=54322
633.84/317.84	c flip 280000 nbSat=54198 maxSat=54322
634.23/318.07	c flip 290000 nbSat=54146 maxSat=54322
634.63/318.30	c flip 300000 nbSat=54149 maxSat=54322
635.23/318.52	c flip 310000 nbSat=54137 maxSat=54322
635.23/318.57	c flip 0 nbSat=45857 maxSat=54322
635.43/318.68	c flip 10000 nbSat=51609 maxSat=54322
635.83/318.83	c flip 20000 nbSat=52787 maxSat=54322
636.23/319.02	c flip 30000 nbSat=53202 maxSat=54322
636.62/319.21	c flip 40000 nbSat=53335 maxSat=54322
636.82/319.40	c flip 50000 nbSat=53526 maxSat=54322
637.42/319.60	c flip 60000 nbSat=53607 maxSat=54322
637.82/319.80	c flip 70000 nbSat=53745 maxSat=54322
638.22/320.01	c flip 80000 nbSat=53725 maxSat=54322
638.62/320.22	c flip 90000 nbSat=53822 maxSat=54322
639.02/320.44	c flip 100000 nbSat=53865 maxSat=54322
639.42/320.65	c flip 110000 nbSat=53875 maxSat=54322
639.82/320.87	c flip 120000 nbSat=53872 maxSat=54322
640.22/321.09	c flip 130000 nbSat=53880 maxSat=54322
640.81/321.31	c flip 140000 nbSat=54000 maxSat=54322
641.21/321.54	c flip 150000 nbSat=53915 maxSat=54322
641.61/321.76	c flip 160000 nbSat=53905 maxSat=54322
642.01/321.98	c flip 170000 nbSat=54044 maxSat=54322
642.41/322.19	c flip 180000 nbSat=54065 maxSat=54322
643.00/322.43	c flip 190000 nbSat=54050 maxSat=54322
643.40/322.66	c flip 200000 nbSat=53938 maxSat=54322
643.80/322.87	c flip 210000 nbSat=54006 maxSat=54322
644.20/323.10	c flip 220000 nbSat=54025 maxSat=54322
644.80/323.33	c flip 230000 nbSat=54045 maxSat=54322
645.19/323.56	c flip 240000 nbSat=54011 maxSat=54322
645.59/323.79	c flip 250000 nbSat=54029 maxSat=54322
646.19/324.02	c flip 260000 nbSat=54079 maxSat=54322
646.59/324.25	c flip 270000 nbSat=54126 maxSat=54322
647.00/324.49	c flip 280000 nbSat=54077 maxSat=54322
647.59/324.72	c flip 290000 nbSat=54130 maxSat=54322
647.99/324.95	c flip 300000 nbSat=54168 maxSat=54322
648.39/325.18	c flip 310000 nbSat=54154 maxSat=54322
648.59/325.23	c flip 0 nbSat=46035 maxSat=54322
648.79/325.34	c flip 10000 nbSat=51716 maxSat=54322
648.99/325.49	c flip 20000 nbSat=52741 maxSat=54322
649.39/325.68	c flip 30000 nbSat=53174 maxSat=54322
649.78/325.87	c flip 40000 nbSat=53355 maxSat=54322
650.18/326.07	c flip 50000 nbSat=53501 maxSat=54322
650.58/326.28	c flip 60000 nbSat=53639 maxSat=54322
650.97/326.49	c flip 70000 nbSat=53782 maxSat=54322
651.58/326.71	c flip 80000 nbSat=53764 maxSat=54322
651.97/326.91	c flip 90000 nbSat=53832 maxSat=54322
652.37/327.12	c flip 100000 nbSat=53953 maxSat=54322
652.77/327.33	c flip 110000 nbSat=53857 maxSat=54322
653.17/327.55	c flip 120000 nbSat=53929 maxSat=54322
653.57/327.77	c flip 130000 nbSat=54073 maxSat=54322
653.96/327.99	c flip 140000 nbSat=54018 maxSat=54322
654.57/328.21	c flip 150000 nbSat=53918 maxSat=54322
654.97/328.43	c flip 160000 nbSat=53933 maxSat=54322
655.37/328.65	c flip 170000 nbSat=54090 maxSat=54322
655.78/328.88	c flip 180000 nbSat=54042 maxSat=54322
656.17/329.10	c flip 190000 nbSat=53997 maxSat=54322
656.77/329.32	c flip 200000 nbSat=53993 maxSat=54322
657.17/329.55	c flip 210000 nbSat=53999 maxSat=54322
657.57/329.77	c flip 220000 nbSat=54027 maxSat=54322
657.97/329.99	c flip 230000 nbSat=54022 maxSat=54322
658.56/330.22	c flip 240000 nbSat=53962 maxSat=54322
658.96/330.43	c flip 250000 nbSat=54058 maxSat=54322
659.36/330.65	c flip 260000 nbSat=53924 maxSat=54322
659.76/330.87	c flip 270000 nbSat=54040 maxSat=54322
660.17/331.10	c flip 280000 nbSat=54027 maxSat=54322
660.76/331.32	c flip 290000 nbSat=54100 maxSat=54322
661.16/331.54	c flip 300000 nbSat=54085 maxSat=54322
661.56/331.76	c flip 310000 nbSat=54134 maxSat=54322
661.76/331.81	c flip 0 nbSat=45892 maxSat=54322
661.96/331.92	c flip 10000 nbSat=51607 maxSat=54322
662.16/332.08	c flip 20000 nbSat=52719 maxSat=54322
662.56/332.27	c flip 30000 nbSat=53253 maxSat=54322
662.95/332.47	c flip 40000 nbSat=53445 maxSat=54322
663.35/332.68	c flip 50000 nbSat=53586 maxSat=54322
663.95/332.90	c flip 60000 nbSat=53738 maxSat=54322
664.35/333.12	c flip 70000 nbSat=53753 maxSat=54322
664.76/333.34	c flip 80000 nbSat=53743 maxSat=54322
665.15/333.56	c flip 90000 nbSat=53916 maxSat=54322
665.55/333.78	c flip 100000 nbSat=53825 maxSat=54322
666.15/334.00	c flip 110000 nbSat=53925 maxSat=54322
666.55/334.22	c flip 120000 nbSat=53979 maxSat=54322
666.95/334.45	c flip 130000 nbSat=53886 maxSat=54322
667.34/334.68	c flip 140000 nbSat=53980 maxSat=54322
667.94/334.91	c flip 150000 nbSat=54019 maxSat=54322
668.34/335.14	c flip 160000 nbSat=54034 maxSat=54322
668.74/335.37	c flip 170000 nbSat=54072 maxSat=54322
669.34/335.61	c flip 180000 nbSat=54108 maxSat=54322
669.74/335.84	c flip 190000 nbSat=54010 maxSat=54322
670.14/336.07	c flip 200000 nbSat=54026 maxSat=54322
670.73/336.30	c flip 210000 nbSat=54126 maxSat=54322
671.14/336.54	c flip 220000 nbSat=54142 maxSat=54322
671.53/336.78	c flip 230000 nbSat=54125 maxSat=54322
672.13/337.01	c flip 240000 nbSat=54207 maxSat=54322
672.53/337.25	c flip 250000 nbSat=54134 maxSat=54322
672.93/337.48	c flip 260000 nbSat=54147 maxSat=54322
673.53/337.73	c flip 270000 nbSat=54127 maxSat=54322
673.92/337.96	c flip 280000 nbSat=54281 maxSat=54322
674.32/338.19	c flip 290000 nbSat=54167 maxSat=54322
674.92/338.43	c flip 300000 nbSat=54207 maxSat=54322
675.32/338.67	c flip 310000 nbSat=54176 maxSat=54322
675.53/338.73	c flip 0 nbSat=46198 maxSat=54322
675.73/338.84	c flip 10000 nbSat=51847 maxSat=54322
675.92/338.99	c flip 20000 nbSat=52744 maxSat=54322
676.32/339.17	c flip 30000 nbSat=53302 maxSat=54322
676.72/339.36	c flip 40000 nbSat=53451 maxSat=54322
677.12/339.56	c flip 50000 nbSat=53513 maxSat=54322
677.52/339.76	c flip 60000 nbSat=53780 maxSat=54322
677.92/339.96	c flip 70000 nbSat=53736 maxSat=54322
678.32/340.17	c flip 80000 nbSat=53899 maxSat=54322
678.71/340.38	c flip 90000 nbSat=53896 maxSat=54322
679.11/340.59	c flip 100000 nbSat=54005 maxSat=54322
679.71/340.81	c flip 110000 nbSat=53956 maxSat=54322
680.12/341.04	c flip 120000 nbSat=53942 maxSat=54322
680.51/341.26	c flip 130000 nbSat=53939 maxSat=54322
680.91/341.48	c flip 140000 nbSat=54048 maxSat=54322
681.51/341.70	c flip 150000 nbSat=54078 maxSat=54322
681.91/341.92	c flip 160000 nbSat=54016 maxSat=54322
682.32/342.15	c flip 170000 nbSat=54116 maxSat=54322
682.71/342.37	c flip 180000 nbSat=54088 maxSat=54322
683.11/342.59	c flip 190000 nbSat=54168 maxSat=54322
683.71/342.81	c flip 200000 nbSat=54018 maxSat=54322
684.11/343.03	c flip 210000 nbSat=54113 maxSat=54322
684.51/343.25	c flip 220000 nbSat=54176 maxSat=54322
684.90/343.47	c flip 230000 nbSat=54091 maxSat=54322
685.30/343.70	c flip 240000 nbSat=54080 maxSat=54322
685.90/343.92	c flip 250000 nbSat=54110 maxSat=54322
686.30/344.14	c flip 260000 nbSat=54112 maxSat=54322
686.70/344.37	c flip 270000 nbSat=54117 maxSat=54322
687.09/344.60	c flip 280000 nbSat=54062 maxSat=54322
687.69/344.82	c flip 290000 nbSat=54130 maxSat=54322
688.09/345.05	c flip 300000 nbSat=54145 maxSat=54322
688.49/345.28	c flip 310000 nbSat=54164 maxSat=54322
688.70/345.33	c flip 0 nbSat=45835 maxSat=54322
688.90/345.44	c flip 10000 nbSat=51632 maxSat=54322
689.29/345.60	c flip 20000 nbSat=52825 maxSat=54322
689.49/345.79	c flip 30000 nbSat=53255 maxSat=54322
689.89/345.99	c flip 40000 nbSat=53468 maxSat=54322
690.29/346.19	c flip 50000 nbSat=53505 maxSat=54322
690.89/346.40	c flip 60000 nbSat=53614 maxSat=54322
691.28/346.61	c flip 70000 nbSat=53755 maxSat=54322
691.68/346.82	c flip 80000 nbSat=53866 maxSat=54322
692.08/347.04	c flip 90000 nbSat=53848 maxSat=54322
692.48/347.24	c flip 100000 nbSat=53932 maxSat=54322
692.88/347.45	c flip 110000 nbSat=53852 maxSat=54322
693.28/347.67	c flip 120000 nbSat=53907 maxSat=54322
693.68/347.88	c flip 130000 nbSat=53989 maxSat=54322
694.08/348.09	c flip 140000 nbSat=53971 maxSat=54322
694.68/348.31	c flip 150000 nbSat=53935 maxSat=54322
695.08/348.53	c flip 160000 nbSat=54005 maxSat=54322
695.48/348.75	c flip 170000 nbSat=54060 maxSat=54322
695.87/348.96	c flip 180000 nbSat=53982 maxSat=54322
696.27/349.18	c flip 190000 nbSat=54119 maxSat=54322
696.87/349.40	c flip 200000 nbSat=54004 maxSat=54322
697.27/349.63	c flip 210000 nbSat=54064 maxSat=54322
697.68/349.84	c flip 220000 nbSat=54175 maxSat=54322
698.07/350.06	c flip 230000 nbSat=54138 maxSat=54322
698.47/350.29	c flip 240000 nbSat=54095 maxSat=54322
699.07/350.51	c flip 250000 nbSat=53927 maxSat=54322
699.47/350.73	c flip 260000 nbSat=54165 maxSat=54322
699.87/350.96	c flip 270000 nbSat=54103 maxSat=54322
700.26/351.19	c flip 280000 nbSat=54166 maxSat=54322
700.86/351.41	c flip 290000 nbSat=54187 maxSat=54322
701.26/351.64	c flip 300000 nbSat=54169 maxSat=54322
701.66/351.86	c flip 310000 nbSat=54102 maxSat=54322
701.87/351.92	c flip 0 nbSat=46042 maxSat=54322
702.07/352.03	c flip 10000 nbSat=51777 maxSat=54322
702.26/352.20	c flip 20000 nbSat=52824 maxSat=54322
702.66/352.39	c flip 30000 nbSat=53175 maxSat=54322
703.06/352.58	c flip 40000 nbSat=53423 maxSat=54322
703.46/352.78	c flip 50000 nbSat=53569 maxSat=54322
703.86/352.99	c flip 60000 nbSat=53606 maxSat=54322
704.45/353.21	c flip 70000 nbSat=53631 maxSat=54322
704.85/353.43	c flip 80000 nbSat=53754 maxSat=54322
705.25/353.63	c flip 90000 nbSat=53700 maxSat=54322
705.65/353.84	c flip 100000 nbSat=53801 maxSat=54322
706.05/354.05	c flip 110000 nbSat=53907 maxSat=54322
706.45/354.28	c flip 120000 nbSat=53890 maxSat=54322
706.84/354.49	c flip 130000 nbSat=54022 maxSat=54322
707.44/354.71	c flip 140000 nbSat=53974 maxSat=54322
707.84/354.92	c flip 150000 nbSat=54058 maxSat=54322
708.24/355.14	c flip 160000 nbSat=53940 maxSat=54322
708.65/355.36	c flip 170000 nbSat=54049 maxSat=54322
709.04/355.57	c flip 180000 nbSat=54075 maxSat=54322
709.44/355.78	c flip 190000 nbSat=54113 maxSat=54322
710.04/356.01	c flip 200000 nbSat=54102 maxSat=54322
710.44/356.22	c flip 210000 nbSat=54089 maxSat=54322
710.84/356.44	c flip 220000 nbSat=54138 maxSat=54322
711.23/356.65	c flip 230000 nbSat=54054 maxSat=54322
711.63/356.87	c flip 240000 nbSat=54075 maxSat=54322
712.03/357.08	c flip 250000 nbSat=54078 maxSat=54322
712.63/357.31	c flip 260000 nbSat=54057 maxSat=54322
713.04/357.54	c flip 270000 nbSat=54088 maxSat=54322
713.43/357.77	c flip 280000 nbSat=54126 maxSat=54322
714.03/358.00	c flip 290000 nbSat=54156 maxSat=54322
714.43/358.23	c flip 300000 nbSat=54184 maxSat=54322
714.83/358.45	c flip 310000 nbSat=54054 maxSat=54322
715.04/358.51	c flip 0 nbSat=46098 maxSat=54322
715.24/358.62	c flip 10000 nbSat=51538 maxSat=54322
715.43/358.78	c flip 20000 nbSat=52772 maxSat=54322
715.83/358.97	c flip 30000 nbSat=53262 maxSat=54322
716.23/359.16	c flip 40000 nbSat=53379 maxSat=54322
716.63/359.36	c flip 50000 nbSat=53588 maxSat=54322
717.03/359.55	c flip 60000 nbSat=53683 maxSat=54322
717.43/359.76	c flip 70000 nbSat=53652 maxSat=54322
717.82/359.97	c flip 80000 nbSat=53837 maxSat=54322
718.22/360.18	c flip 90000 nbSat=53767 maxSat=54322
718.62/360.39	c flip 100000 nbSat=53956 maxSat=54322
719.02/360.59	c flip 110000 nbSat=53906 maxSat=54322
719.62/360.81	c flip 120000 nbSat=53940 maxSat=54322
720.02/361.02	c flip 130000 nbSat=53956 maxSat=54322
720.42/361.24	c flip 140000 nbSat=53972 maxSat=54322
720.82/361.45	c flip 150000 nbSat=53860 maxSat=54322
721.22/361.66	c flip 160000 nbSat=54024 maxSat=54322
721.62/361.88	c flip 170000 nbSat=54045 maxSat=54322
722.01/362.09	c flip 180000 nbSat=54030 maxSat=54322
722.61/362.31	c flip 190000 nbSat=54143 maxSat=54322
723.01/362.52	c flip 200000 nbSat=53891 maxSat=54322
723.41/362.74	c flip 210000 nbSat=54098 maxSat=54322
723.81/362.97	c flip 220000 nbSat=54031 maxSat=54322
724.20/363.18	c flip 230000 nbSat=54069 maxSat=54322
724.80/363.40	c flip 240000 nbSat=54178 maxSat=54322
725.20/363.62	c flip 250000 nbSat=54209 maxSat=54322
725.60/363.84	c flip 260000 nbSat=54190 maxSat=54322
726.01/364.07	c flip 270000 nbSat=54202 maxSat=54322
726.40/364.28	c flip 280000 nbSat=54214 maxSat=54322
727.00/364.51	c flip 290000 nbSat=54314 maxSat=54327
727.40/364.73	c flip 300000 nbSat=54238 maxSat=54342
727.80/364.95	c flip 310000 nbSat=54196 maxSat=54342
728.00/365.00	c flip 0 nbSat=46080 maxSat=54342
728.20/365.11	c flip 10000 nbSat=51674 maxSat=54342
728.40/365.27	c flip 20000 nbSat=52728 maxSat=54342
728.80/365.44	c flip 30000 nbSat=53232 maxSat=54342
729.20/365.64	c flip 40000 nbSat=53536 maxSat=54342
729.60/365.84	c flip 50000 nbSat=53714 maxSat=54342
730.00/366.04	c flip 60000 nbSat=53850 maxSat=54342
730.40/366.26	c flip 70000 nbSat=53911 maxSat=54342
730.79/366.48	c flip 80000 nbSat=53940 maxSat=54342
731.39/366.70	c flip 90000 nbSat=53964 maxSat=54342
731.79/366.92	c flip 100000 nbSat=53934 maxSat=54342
732.19/367.14	c flip 110000 nbSat=53891 maxSat=54342
732.60/367.36	c flip 120000 nbSat=54055 maxSat=54342
732.98/367.59	c flip 130000 nbSat=53961 maxSat=54342
733.58/367.81	c flip 140000 nbSat=54026 maxSat=54342
733.98/368.03	c flip 150000 nbSat=54129 maxSat=54342
734.38/368.26	c flip 160000 nbSat=54113 maxSat=54342
734.78/368.49	c flip 170000 nbSat=54103 maxSat=54342
735.37/368.72	c flip 180000 nbSat=53971 maxSat=54342
735.77/368.93	c flip 190000 nbSat=54158 maxSat=54342
736.17/369.16	c flip 200000 nbSat=54219 maxSat=54342
736.57/369.39	c flip 210000 nbSat=54106 maxSat=54342
737.18/369.62	c flip 220000 nbSat=54267 maxSat=54342
737.57/369.85	c flip 230000 nbSat=54260 maxSat=54342
737.97/370.08	c flip 240000 nbSat=54205 maxSat=54342
738.57/370.31	c flip 250000 nbSat=54287 maxSat=54342
738.97/370.56	c flip 260000 nbSat=54184 maxSat=54398
739.37/370.79	c flip 270000 nbSat=54125 maxSat=54398
739.96/371.03	c flip 280000 nbSat=54246 maxSat=54398
740.36/371.27	c flip 290000 nbSat=54201 maxSat=54398
740.96/371.50	c flip 300000 nbSat=54283 maxSat=54398
741.37/371.73	c flip 310000 nbSat=54265 maxSat=54398
741.37/371.79	c flip 0 nbSat=46066 maxSat=54398
741.76/371.90	c flip 10000 nbSat=51838 maxSat=54398
741.96/372.07	c flip 20000 nbSat=52884 maxSat=54398
742.36/372.25	c flip 30000 nbSat=53317 maxSat=54398
742.76/372.45	c flip 40000 nbSat=53579 maxSat=54398
743.15/372.66	c flip 50000 nbSat=53665 maxSat=54398
743.55/372.88	c flip 60000 nbSat=53671 maxSat=54398
743.94/373.09	c flip 70000 nbSat=53828 maxSat=54398
744.54/373.30	c flip 80000 nbSat=53956 maxSat=54398
744.94/373.52	c flip 90000 nbSat=53934 maxSat=54398
745.34/373.73	c flip 100000 nbSat=53967 maxSat=54398
745.75/373.95	c flip 110000 nbSat=54063 maxSat=54398
746.14/374.17	c flip 120000 nbSat=54067 maxSat=54398
746.54/374.39	c flip 130000 nbSat=54002 maxSat=54398
747.14/374.61	c flip 140000 nbSat=53986 maxSat=54398
747.54/374.83	c flip 150000 nbSat=54096 maxSat=54398
747.94/375.06	c flip 160000 nbSat=54100 maxSat=54398
748.33/375.29	c flip 170000 nbSat=54068 maxSat=54398
748.93/375.51	c flip 180000 nbSat=54152 maxSat=54398
749.33/375.73	c flip 190000 nbSat=54185 maxSat=54398
749.73/375.95	c flip 200000 nbSat=54132 maxSat=54398
750.14/376.19	c flip 210000 nbSat=54152 maxSat=54398
750.73/376.42	c flip 220000 nbSat=54133 maxSat=54398
751.13/376.65	c flip 230000 nbSat=54185 maxSat=54398
751.53/376.88	c flip 240000 nbSat=54124 maxSat=54398
752.13/377.11	c flip 250000 nbSat=54130 maxSat=54398
752.53/377.35	c flip 260000 nbSat=54199 maxSat=54398
752.92/377.58	c flip 270000 nbSat=54178 maxSat=54398
753.52/377.81	c flip 280000 nbSat=54122 maxSat=54398
753.92/378.04	c flip 290000 nbSat=54108 maxSat=54398
754.32/378.28	c flip 300000 nbSat=54141 maxSat=54398
754.92/378.52	c flip 310000 nbSat=54151 maxSat=54398
754.92/378.57	c flip 0 nbSat=45996 maxSat=54398
755.12/378.68	c flip 10000 nbSat=51699 maxSat=54398
755.52/378.84	c flip 20000 nbSat=52883 maxSat=54398
755.92/379.02	c flip 30000 nbSat=53178 maxSat=54398
756.32/379.21	c flip 40000 nbSat=53428 maxSat=54398
756.72/379.41	c flip 50000 nbSat=53575 maxSat=54398
757.11/379.61	c flip 60000 nbSat=53681 maxSat=54398
757.51/379.82	c flip 70000 nbSat=53780 maxSat=54398
757.91/380.03	c flip 80000 nbSat=53833 maxSat=54398
758.31/380.24	c flip 90000 nbSat=53881 maxSat=54398
758.71/380.45	c flip 100000 nbSat=53949 maxSat=54398
759.11/380.68	c flip 110000 nbSat=53887 maxSat=54398
759.71/380.90	c flip 120000 nbSat=54095 maxSat=54398
760.11/381.12	c flip 130000 nbSat=54017 maxSat=54398
760.50/381.35	c flip 140000 nbSat=54047 maxSat=54398
760.90/381.58	c flip 150000 nbSat=54066 maxSat=54398
761.50/381.81	c flip 160000 nbSat=54106 maxSat=54398
761.90/382.04	c flip 170000 nbSat=54133 maxSat=54398
762.30/382.27	c flip 180000 nbSat=54195 maxSat=54398
762.90/382.50	c flip 190000 nbSat=54054 maxSat=54398
763.30/382.73	c flip 200000 nbSat=54143 maxSat=54398
763.69/382.96	c flip 210000 nbSat=54209 maxSat=54398
764.09/383.18	c flip 220000 nbSat=54208 maxSat=54398
764.69/383.41	c flip 230000 nbSat=54133 maxSat=54398
765.09/383.64	c flip 240000 nbSat=54162 maxSat=54398
765.50/383.88	c flip 250000 nbSat=54207 maxSat=54398
766.09/384.10	c flip 260000 nbSat=54186 maxSat=54398
766.49/384.34	c flip 270000 nbSat=54166 maxSat=54398
766.89/384.57	c flip 280000 nbSat=54157 maxSat=54398
767.49/384.80	c flip 290000 nbSat=54008 maxSat=54398
767.89/385.04	c flip 300000 nbSat=54195 maxSat=54398
768.28/385.28	c flip 310000 nbSat=54231 maxSat=54398
768.49/385.33	c flip 0 nbSat=45942 maxSat=54398
768.69/385.45	c flip 10000 nbSat=51648 maxSat=54398
769.09/385.60	c flip 20000 nbSat=52730 maxSat=54398
769.29/385.79	c flip 30000 nbSat=53229 maxSat=54398
769.68/385.97	c flip 40000 nbSat=53524 maxSat=54398
770.09/386.17	c flip 50000 nbSat=53604 maxSat=54398
770.48/386.39	c flip 60000 nbSat=53775 maxSat=54398
771.08/386.60	c flip 70000 nbSat=53831 maxSat=54398
771.48/386.82	c flip 80000 nbSat=53787 maxSat=54398
771.88/387.03	c flip 90000 nbSat=53961 maxSat=54398
772.28/387.24	c flip 100000 nbSat=53957 maxSat=54398
772.68/387.46	c flip 110000 nbSat=53882 maxSat=54398
773.07/387.68	c flip 120000 nbSat=53975 maxSat=54398
773.47/387.89	c flip 130000 nbSat=53985 maxSat=54398
774.07/388.12	c flip 140000 nbSat=54053 maxSat=54398
774.48/388.35	c flip 150000 nbSat=53955 maxSat=54398
774.87/388.58	c flip 160000 nbSat=54106 maxSat=54398
775.47/388.80	c flip 170000 nbSat=54122 maxSat=54398
775.87/389.03	c flip 180000 nbSat=53977 maxSat=54398
776.27/389.25	c flip 190000 nbSat=54083 maxSat=54398
776.67/389.48	c flip 200000 nbSat=54140 maxSat=54398
777.07/389.69	c flip 210000 nbSat=54104 maxSat=54398
777.67/389.92	c flip 220000 nbSat=54057 maxSat=54398
778.07/390.14	c flip 230000 nbSat=54101 maxSat=54398
778.47/390.37	c flip 240000 nbSat=54150 maxSat=54398
779.06/390.60	c flip 250000 nbSat=54161 maxSat=54398
779.46/390.84	c flip 260000 nbSat=54203 maxSat=54398
779.86/391.07	c flip 270000 nbSat=54121 maxSat=54398
780.46/391.30	c flip 280000 nbSat=54161 maxSat=54398
780.86/391.55	c flip 290000 nbSat=54200 maxSat=54398
781.26/391.78	c flip 300000 nbSat=54203 maxSat=54398
781.86/392.02	c flip 310000 nbSat=54191 maxSat=54398
781.86/392.07	c flip 0 nbSat=46151 maxSat=54398
782.06/392.19	c flip 10000 nbSat=51775 maxSat=54398
782.46/392.34	c flip 20000 nbSat=52764 maxSat=54398
782.85/392.53	c flip 30000 nbSat=53239 maxSat=54398
783.26/392.73	c flip 40000 nbSat=53452 maxSat=54398
783.65/392.94	c flip 50000 nbSat=53611 maxSat=54398
784.05/393.14	c flip 60000 nbSat=53751 maxSat=54398
784.45/393.35	c flip 70000 nbSat=53677 maxSat=54398
784.85/393.56	c flip 80000 nbSat=53781 maxSat=54398
785.25/393.78	c flip 90000 nbSat=53869 maxSat=54398
785.85/394.00	c flip 100000 nbSat=53944 maxSat=54398
786.25/394.23	c flip 110000 nbSat=53882 maxSat=54398
786.65/394.45	c flip 120000 nbSat=53923 maxSat=54398
787.05/394.68	c flip 130000 nbSat=53989 maxSat=54398
787.65/394.91	c flip 140000 nbSat=54048 maxSat=54398
788.04/395.14	c flip 150000 nbSat=54029 maxSat=54398
788.44/395.38	c flip 160000 nbSat=54004 maxSat=54398
789.04/395.61	c flip 170000 nbSat=53992 maxSat=54398
789.44/395.84	c flip 180000 nbSat=54015 maxSat=54398
789.84/396.07	c flip 190000 nbSat=54057 maxSat=54398
790.44/396.30	c flip 200000 nbSat=54075 maxSat=54398
790.84/396.53	c flip 210000 nbSat=54135 maxSat=54398
791.24/396.75	c flip 220000 nbSat=54089 maxSat=54398
791.64/396.98	c flip 230000 nbSat=54125 maxSat=54398
792.23/397.22	c flip 240000 nbSat=54172 maxSat=54398
792.63/397.45	c flip 250000 nbSat=54186 maxSat=54398
793.03/397.68	c flip 260000 nbSat=54162 maxSat=54398
793.63/397.91	c flip 270000 nbSat=54230 maxSat=54398
794.04/398.14	c flip 280000 nbSat=54249 maxSat=54398
794.43/398.36	c flip 290000 nbSat=54229 maxSat=54398
794.83/398.59	c flip 300000 nbSat=54254 maxSat=54398
795.43/398.82	c flip 310000 nbSat=54124 maxSat=54398
795.43/398.87	c flip 0 nbSat=45828 maxSat=54398
795.63/398.98	c flip 10000 nbSat=51742 maxSat=54398
796.03/399.14	c flip 20000 nbSat=52808 maxSat=54398
796.43/399.32	c flip 30000 nbSat=53232 maxSat=54398
796.82/399.51	c flip 40000 nbSat=53465 maxSat=54398
797.22/399.71	c flip 50000 nbSat=53539 maxSat=54398
797.62/399.92	c flip 60000 nbSat=53646 maxSat=54398
798.02/400.13	c flip 70000 nbSat=53780 maxSat=54398
798.43/400.35	c flip 80000 nbSat=53825 maxSat=54398
798.82/400.56	c flip 90000 nbSat=53878 maxSat=54398
799.22/400.79	c flip 100000 nbSat=53925 maxSat=54398
799.82/401.01	c flip 110000 nbSat=54009 maxSat=54398
800.22/401.24	c flip 120000 nbSat=53994 maxSat=54398
800.62/401.48	c flip 130000 nbSat=53936 maxSat=54398
801.21/401.71	c flip 140000 nbSat=54020 maxSat=54398
801.62/401.94	c flip 150000 nbSat=54111 maxSat=54398
802.02/402.16	c flip 160000 nbSat=53955 maxSat=54398
802.42/402.39	c flip 170000 nbSat=53995 maxSat=54398
803.03/402.62	c flip 180000 nbSat=53951 maxSat=54398
803.42/402.85	c flip 190000 nbSat=54079 maxSat=54398
803.82/403.08	c flip 200000 nbSat=54072 maxSat=54398
804.42/403.31	c flip 210000 nbSat=54071 maxSat=54398
804.82/403.54	c flip 220000 nbSat=54021 maxSat=54398
805.22/403.77	c flip 230000 nbSat=54088 maxSat=54398
805.81/404.00	c flip 240000 nbSat=53961 maxSat=54398
806.21/404.23	c flip 250000 nbSat=54120 maxSat=54398
806.61/404.47	c flip 260000 nbSat=54084 maxSat=54398
807.01/404.69	c flip 270000 nbSat=54101 maxSat=54398
807.61/404.92	c flip 280000 nbSat=54096 maxSat=54398
808.01/405.15	c flip 290000 nbSat=54114 maxSat=54398
808.41/405.39	c flip 300000 nbSat=54136 maxSat=54398
809.01/405.62	c flip 310000 nbSat=54101 maxSat=54398
809.01/405.67	c flip 0 nbSat=45814 maxSat=54398
809.21/405.78	c flip 10000 nbSat=51651 maxSat=54398
809.61/405.95	c flip 20000 nbSat=52736 maxSat=54398
810.00/406.13	c flip 30000 nbSat=53187 maxSat=54398
810.40/406.32	c flip 40000 nbSat=53527 maxSat=54398
810.80/406.52	c flip 50000 nbSat=53633 maxSat=54398
811.20/406.73	c flip 60000 nbSat=53818 maxSat=54398
811.61/406.93	c flip 70000 nbSat=53815 maxSat=54398
812.00/407.14	c flip 80000 nbSat=53854 maxSat=54398
812.40/407.35	c flip 90000 nbSat=53885 maxSat=54398
812.80/407.56	c flip 100000 nbSat=53873 maxSat=54398
813.20/407.78	c flip 110000 nbSat=54001 maxSat=54398
813.60/407.99	c flip 120000 nbSat=53948 maxSat=54398
814.19/408.22	c flip 130000 nbSat=54088 maxSat=54398
814.59/408.43	c flip 140000 nbSat=54009 maxSat=54398
814.99/408.66	c flip 150000 nbSat=54183 maxSat=54398
815.39/408.88	c flip 160000 nbSat=54089 maxSat=54398
816.00/409.11	c flip 170000 nbSat=54117 maxSat=54398
816.39/409.33	c flip 180000 nbSat=54114 maxSat=54398
816.79/409.55	c flip 190000 nbSat=54096 maxSat=54398
817.19/409.77	c flip 200000 nbSat=54134 maxSat=54398
817.59/409.99	c flip 210000 nbSat=54168 maxSat=54398
818.19/410.21	c flip 220000 nbSat=54267 maxSat=54398
818.58/410.44	c flip 230000 nbSat=54128 maxSat=54398
818.98/410.66	c flip 240000 nbSat=54219 maxSat=54398
819.38/410.88	c flip 250000 nbSat=54105 maxSat=54398
819.98/411.10	c flip 260000 nbSat=54166 maxSat=54398
820.39/411.32	c flip 270000 nbSat=54111 maxSat=54398
820.78/411.54	c flip 280000 nbSat=54175 maxSat=54398
821.18/411.76	c flip 290000 nbSat=54106 maxSat=54398
821.58/411.98	c flip 300000 nbSat=54224 maxSat=54398
822.18/412.21	c flip 310000 nbSat=54123 maxSat=54398
822.18/412.26	c flip 0 nbSat=46094 maxSat=54398
822.37/412.38	c flip 10000 nbSat=51604 maxSat=54398
822.77/412.54	c flip 20000 nbSat=52808 maxSat=54398
823.16/412.73	c flip 30000 nbSat=53077 maxSat=54398
823.56/412.91	c flip 40000 nbSat=53446 maxSat=54398
823.96/413.12	c flip 50000 nbSat=53620 maxSat=54398
824.36/413.32	c flip 60000 nbSat=53690 maxSat=54398
824.77/413.54	c flip 70000 nbSat=53775 maxSat=54398
825.16/413.76	c flip 80000 nbSat=53785 maxSat=54398
825.56/413.98	c flip 90000 nbSat=53898 maxSat=54398
825.96/414.19	c flip 100000 nbSat=53928 maxSat=54398
826.56/414.41	c flip 110000 nbSat=53866 maxSat=54398
826.96/414.64	c flip 120000 nbSat=53952 maxSat=54398
827.35/414.86	c flip 130000 nbSat=53952 maxSat=54398
827.75/415.07	c flip 140000 nbSat=53929 maxSat=54398
828.15/415.29	c flip 150000 nbSat=53873 maxSat=54398
828.75/415.51	c flip 160000 nbSat=54086 maxSat=54398
829.16/415.74	c flip 170000 nbSat=54060 maxSat=54398
829.55/415.96	c flip 180000 nbSat=53892 maxSat=54398
829.95/416.18	c flip 190000 nbSat=54011 maxSat=54398
830.55/416.40	c flip 200000 nbSat=54022 maxSat=54398
830.95/416.62	c flip 210000 nbSat=54046 maxSat=54398
831.35/416.84	c flip 220000 nbSat=54088 maxSat=54398
831.74/417.07	c flip 230000 nbSat=53893 maxSat=54398
832.14/417.29	c flip 240000 nbSat=54062 maxSat=54398
832.74/417.51	c flip 250000 nbSat=54068 maxSat=54398
833.14/417.74	c flip 260000 nbSat=54092 maxSat=54398
833.55/417.97	c flip 270000 nbSat=54125 maxSat=54398
834.14/418.20	c flip 280000 nbSat=54049 maxSat=54398
834.53/418.44	c flip 290000 nbSat=54175 maxSat=54398
834.93/418.68	c flip 300000 nbSat=54101 maxSat=54398
835.52/418.91	c flip 310000 nbSat=54082 maxSat=54398
835.52/418.96	c flip 0 nbSat=45815 maxSat=54398
835.73/419.08	c flip 10000 nbSat=51638 maxSat=54398
836.12/419.24	c flip 20000 nbSat=52759 maxSat=54398
836.52/419.42	c flip 30000 nbSat=53165 maxSat=54398
836.92/419.62	c flip 40000 nbSat=53468 maxSat=54398
837.32/419.82	c flip 50000 nbSat=53545 maxSat=54398
837.72/420.02	c flip 60000 nbSat=53542 maxSat=54398
838.12/420.23	c flip 70000 nbSat=53670 maxSat=54398
838.51/420.43	c flip 80000 nbSat=53736 maxSat=54398
838.91/420.64	c flip 90000 nbSat=53762 maxSat=54398
839.31/420.86	c flip 100000 nbSat=53891 maxSat=54398
839.71/421.07	c flip 110000 nbSat=53935 maxSat=54398
840.12/421.29	c flip 120000 nbSat=54020 maxSat=54398
840.71/421.51	c flip 130000 nbSat=54035 maxSat=54398
841.11/421.73	c flip 140000 nbSat=54033 maxSat=54398
841.51/421.96	c flip 150000 nbSat=54024 maxSat=54398
841.91/422.18	c flip 160000 nbSat=54129 maxSat=54398
842.51/422.40	c flip 170000 nbSat=54101 maxSat=54398
842.90/422.63	c flip 180000 nbSat=54112 maxSat=54398
843.30/422.85	c flip 190000 nbSat=54128 maxSat=54398
843.70/423.08	c flip 200000 nbSat=54034 maxSat=54398
844.30/423.30	c flip 210000 nbSat=54115 maxSat=54398
844.71/423.54	c flip 220000 nbSat=54027 maxSat=54398
845.10/423.77	c flip 230000 nbSat=54096 maxSat=54398
845.70/424.00	c flip 240000 nbSat=53988 maxSat=54398
846.10/424.22	c flip 250000 nbSat=53923 maxSat=54398
846.50/424.44	c flip 260000 nbSat=54211 maxSat=54398
846.90/424.67	c flip 270000 nbSat=54180 maxSat=54398
847.29/424.89	c flip 280000 nbSat=54247 maxSat=54398
847.89/425.12	c flip 290000 nbSat=54198 maxSat=54398
848.29/425.35	c flip 300000 nbSat=54252 maxSat=54398
848.69/425.58	c flip 310000 nbSat=54278 maxSat=54398
848.90/425.63	c flip 0 nbSat=45971 maxSat=54398
849.10/425.74	c flip 10000 nbSat=51626 maxSat=54398
849.49/425.90	c flip 20000 nbSat=52726 maxSat=54398
849.69/426.08	c flip 30000 nbSat=53202 maxSat=54398
850.09/426.28	c flip 40000 nbSat=53433 maxSat=54398
850.49/426.48	c flip 50000 nbSat=53547 maxSat=54398
850.89/426.69	c flip 60000 nbSat=53692 maxSat=54398
851.48/426.91	c flip 70000 nbSat=53758 maxSat=54398
851.88/427.12	c flip 80000 nbSat=53756 maxSat=54398
852.28/427.34	c flip 90000 nbSat=53939 maxSat=54398
852.68/427.55	c flip 100000 nbSat=53848 maxSat=54398
853.08/427.76	c flip 110000 nbSat=53985 maxSat=54398
853.49/427.99	c flip 120000 nbSat=54011 maxSat=54398
854.08/428.21	c flip 130000 nbSat=54067 maxSat=54398
854.48/428.44	c flip 140000 nbSat=53987 maxSat=54398
854.88/428.66	c flip 150000 nbSat=54035 maxSat=54398
855.28/428.88	c flip 160000 nbSat=53994 maxSat=54398
855.87/429.11	c flip 170000 nbSat=54140 maxSat=54398
856.27/429.33	c flip 180000 nbSat=54149 maxSat=54398
856.67/429.55	c flip 190000 nbSat=54153 maxSat=54398
857.07/429.77	c flip 200000 nbSat=54138 maxSat=54398
857.47/429.99	c flip 210000 nbSat=54097 maxSat=54398
858.07/430.22	c flip 220000 nbSat=54132 maxSat=54398
858.47/430.45	c flip 230000 nbSat=54251 maxSat=54398
858.87/430.67	c flip 240000 nbSat=54166 maxSat=54398
859.27/430.89	c flip 250000 nbSat=54204 maxSat=54398
859.87/431.12	c flip 260000 nbSat=54118 maxSat=54398
860.26/431.34	c flip 270000 nbSat=54262 maxSat=54398
860.66/431.57	c flip 280000 nbSat=54078 maxSat=54398
861.06/431.79	c flip 290000 nbSat=54210 maxSat=54398
861.66/432.01	c flip 300000 nbSat=54218 maxSat=54398
862.07/432.24	c flip 310000 nbSat=54155 maxSat=54398
862.07/432.29	c flip 0 nbSat=45966 maxSat=54398
862.46/432.40	c flip 10000 nbSat=51778 maxSat=54398
862.66/432.56	c flip 20000 nbSat=52811 maxSat=54398
863.06/432.75	c flip 30000 nbSat=53344 maxSat=54398
863.46/432.95	c flip 40000 nbSat=53527 maxSat=54398
863.86/433.16	c flip 50000 nbSat=53594 maxSat=54398
864.26/433.38	c flip 60000 nbSat=53685 maxSat=54398
864.65/433.59	c flip 70000 nbSat=53833 maxSat=54398
865.25/433.81	c flip 80000 nbSat=53756 maxSat=54398
865.65/434.03	c flip 90000 nbSat=53987 maxSat=54398
866.05/434.25	c flip 100000 nbSat=53893 maxSat=54398
866.46/434.48	c flip 110000 nbSat=53919 maxSat=54398
867.05/434.70	c flip 120000 nbSat=53866 maxSat=54398
867.45/434.93	c flip 130000 nbSat=53937 maxSat=54398
867.85/435.17	c flip 140000 nbSat=54047 maxSat=54398
868.25/435.39	c flip 150000 nbSat=54032 maxSat=54398
868.85/435.62	c flip 160000 nbSat=53979 maxSat=54398
869.24/435.85	c flip 170000 nbSat=53986 maxSat=54398
869.64/436.08	c flip 180000 nbSat=54105 maxSat=54398
870.24/436.31	c flip 190000 nbSat=54111 maxSat=54398
870.64/436.54	c flip 200000 nbSat=54096 maxSat=54398
871.04/436.77	c flip 210000 nbSat=54121 maxSat=54398
871.44/436.99	c flip 220000 nbSat=54011 maxSat=54398
872.04/437.22	c flip 230000 nbSat=54160 maxSat=54398
872.44/437.45	c flip 240000 nbSat=54178 maxSat=54398
872.84/437.67	c flip 250000 nbSat=54151 maxSat=54398
873.44/437.91	c flip 260000 nbSat=54123 maxSat=54398
873.84/438.15	c flip 270000 nbSat=54179 maxSat=54398
874.24/438.39	c flip 280000 nbSat=54185 maxSat=54398
874.84/438.62	c flip 290000 nbSat=54035 maxSat=54398
875.24/438.87	c flip 300000 nbSat=54194 maxSat=54398
875.83/439.10	c flip 310000 nbSat=54189 maxSat=54398
875.83/439.16	c flip 0 nbSat=46078 maxSat=54398
876.03/439.27	c flip 10000 nbSat=51700 maxSat=54398
876.43/439.43	c flip 20000 nbSat=52856 maxSat=54398
876.83/439.61	c flip 30000 nbSat=53201 maxSat=54398
877.23/439.80	c flip 40000 nbSat=53611 maxSat=54398
877.44/440.00	c flip 50000 nbSat=53604 maxSat=54398
878.03/440.20	c flip 60000 nbSat=53651 maxSat=54398
878.43/440.40	c flip 70000 nbSat=53728 maxSat=54398
878.83/440.61	c flip 80000 nbSat=53859 maxSat=54398
879.23/440.82	c flip 90000 nbSat=53822 maxSat=54398
879.63/441.03	c flip 100000 nbSat=53965 maxSat=54398
880.02/441.25	c flip 110000 nbSat=53897 maxSat=54398
880.42/441.47	c flip 120000 nbSat=53923 maxSat=54398
880.82/441.68	c flip 130000 nbSat=54023 maxSat=54398
881.22/441.89	c flip 140000 nbSat=53982 maxSat=54398
881.82/442.12	c flip 150000 nbSat=53994 maxSat=54398
882.22/442.33	c flip 160000 nbSat=53977 maxSat=54398
882.62/442.55	c flip 170000 nbSat=54116 maxSat=54398
883.02/442.77	c flip 180000 nbSat=54125 maxSat=54398
883.42/442.99	c flip 190000 nbSat=54012 maxSat=54398
884.02/443.21	c flip 200000 nbSat=53890 maxSat=54398
884.41/443.43	c flip 210000 nbSat=54033 maxSat=54398
884.81/443.64	c flip 220000 nbSat=54169 maxSat=54398
885.21/443.86	c flip 230000 nbSat=53877 maxSat=54398
885.61/444.08	c flip 240000 nbSat=53989 maxSat=54398
886.01/444.30	c flip 250000 nbSat=54148 maxSat=54398
886.61/444.51	c flip 260000 nbSat=54048 maxSat=54398
887.01/444.73	c flip 270000 nbSat=54073 maxSat=54398
887.41/444.96	c flip 280000 nbSat=54094 maxSat=54398
887.81/445.18	c flip 290000 nbSat=54085 maxSat=54398
888.21/445.40	c flip 300000 nbSat=54219 maxSat=54398
888.80/445.62	c flip 310000 nbSat=54172 maxSat=54398
888.80/445.68	c flip 0 nbSat=45729 maxSat=54398
889.00/445.79	c flip 10000 nbSat=51684 maxSat=54398
889.40/445.95	c flip 20000 nbSat=52719 maxSat=54398
889.80/446.13	c flip 30000 nbSat=53146 maxSat=54398
890.20/446.31	c flip 40000 nbSat=53443 maxSat=54398
890.61/446.51	c flip 50000 nbSat=53514 maxSat=54398
891.00/446.71	c flip 60000 nbSat=53704 maxSat=54398
891.40/446.92	c flip 70000 nbSat=53773 maxSat=54398
891.80/447.14	c flip 80000 nbSat=53798 maxSat=54398
892.20/447.35	c flip 90000 nbSat=53812 maxSat=54398
892.59/447.55	c flip 100000 nbSat=53902 maxSat=54398
893.00/447.77	c flip 110000 nbSat=53925 maxSat=54398
893.39/447.98	c flip 120000 nbSat=53910 maxSat=54398
893.79/448.19	c flip 130000 nbSat=53970 maxSat=54398
894.39/448.41	c flip 140000 nbSat=54031 maxSat=54398
894.79/448.63	c flip 150000 nbSat=54040 maxSat=54398
895.19/448.86	c flip 160000 nbSat=54013 maxSat=54398
895.58/449.08	c flip 170000 nbSat=54096 maxSat=54398
896.18/449.31	c flip 180000 nbSat=54198 maxSat=54398
896.58/449.54	c flip 190000 nbSat=54082 maxSat=54398
896.98/449.76	c flip 200000 nbSat=54087 maxSat=54398
897.39/449.99	c flip 210000 nbSat=54186 maxSat=54398
897.98/450.22	c flip 220000 nbSat=54133 maxSat=54398
898.38/450.45	c flip 230000 nbSat=54221 maxSat=54398
898.78/450.67	c flip 240000 nbSat=54207 maxSat=54398
899.38/450.90	c flip 250000 nbSat=54116 maxSat=54398
899.77/451.13	c flip 260000 nbSat=53978 maxSat=54398
900.17/451.36	c flip 270000 nbSat=54138 maxSat=54398
900.57/451.59	c flip 280000 nbSat=54240 maxSat=54398
901.17/451.83	c flip 290000 nbSat=54242 maxSat=54398
901.58/452.06	c flip 300000 nbSat=54218 maxSat=54398
902.17/452.30	c flip 310000 nbSat=54268 maxSat=54398
902.17/452.35	c flip 0 nbSat=46071 maxSat=54398
902.37/452.46	c flip 10000 nbSat=51638 maxSat=54398
902.77/452.62	c flip 20000 nbSat=52755 maxSat=54398
903.17/452.80	c flip 30000 nbSat=53199 maxSat=54398
903.37/452.98	c flip 40000 nbSat=53369 maxSat=54398
903.77/453.19	c flip 50000 nbSat=53614 maxSat=54398
904.16/453.39	c flip 60000 nbSat=53708 maxSat=54398
904.76/453.60	c flip 70000 nbSat=53746 maxSat=54398
905.16/453.81	c flip 80000 nbSat=53813 maxSat=54398
905.56/454.03	c flip 90000 nbSat=53866 maxSat=54398
905.97/454.25	c flip 100000 nbSat=53891 maxSat=54398
906.36/454.46	c flip 110000 nbSat=53978 maxSat=54398
906.76/454.69	c flip 120000 nbSat=53990 maxSat=54398
907.36/454.91	c flip 130000 nbSat=54003 maxSat=54398
907.76/455.14	c flip 140000 nbSat=54078 maxSat=54398
908.16/455.37	c flip 150000 nbSat=54106 maxSat=54398
908.75/455.60	c flip 160000 nbSat=54088 maxSat=54398
909.15/455.83	c flip 170000 nbSat=54163 maxSat=54398
909.55/456.06	c flip 180000 nbSat=54026 maxSat=54398
909.95/456.29	c flip 190000 nbSat=54137 maxSat=54398
910.55/456.53	c flip 200000 nbSat=54171 maxSat=54398
910.94/456.76	c flip 210000 nbSat=54144 maxSat=54398
911.54/457.00	c flip 220000 nbSat=54183 maxSat=54398
911.94/457.23	c flip 230000 nbSat=54195 maxSat=54398
912.33/457.48	c flip 240000 nbSat=54233 maxSat=54398
912.93/457.71	c flip 250000 nbSat=54244 maxSat=54398
913.33/457.94	c flip 260000 nbSat=54175 maxSat=54398
913.73/458.18	c flip 270000 nbSat=54168 maxSat=54398
914.33/458.41	c flip 280000 nbSat=54202 maxSat=54398
914.73/458.65	c flip 290000 nbSat=54170 maxSat=54398
915.12/458.88	c flip 300000 nbSat=54105 maxSat=54398
915.72/459.10	c flip 310000 nbSat=54183 maxSat=54398
915.72/459.15	c flip 0 nbSat=46011 maxSat=54398
915.92/459.26	c flip 10000 nbSat=51761 maxSat=54398
916.32/459.42	c flip 20000 nbSat=52831 maxSat=54398
916.72/459.60	c flip 30000 nbSat=53305 maxSat=54398
917.13/459.81	c flip 40000 nbSat=53582 maxSat=54398
917.52/460.02	c flip 50000 nbSat=53708 maxSat=54398
917.92/460.23	c flip 60000 nbSat=53724 maxSat=54398
918.32/460.44	c flip 70000 nbSat=53892 maxSat=54398
918.72/460.65	c flip 80000 nbSat=53820 maxSat=54398
919.13/460.87	c flip 90000 nbSat=53895 maxSat=54398
919.52/461.09	c flip 100000 nbSat=54011 maxSat=54398
920.12/461.31	c flip 110000 nbSat=54067 maxSat=54398
920.52/461.53	c flip 120000 nbSat=53976 maxSat=54398
920.92/461.75	c flip 130000 nbSat=54068 maxSat=54398
921.32/461.98	c flip 140000 nbSat=53996 maxSat=54398
921.91/462.20	c flip 150000 nbSat=54053 maxSat=54398
922.31/462.43	c flip 160000 nbSat=54171 maxSat=54398
922.71/462.66	c flip 170000 nbSat=54121 maxSat=54398
923.11/462.88	c flip 180000 nbSat=54184 maxSat=54398
923.72/463.11	c flip 190000 nbSat=54121 maxSat=54398
924.11/463.34	c flip 200000 nbSat=54124 maxSat=54398
924.51/463.57	c flip 210000 nbSat=54118 maxSat=54398
924.91/463.79	c flip 220000 nbSat=54109 maxSat=54398
925.51/464.01	c flip 230000 nbSat=54214 maxSat=54398
925.91/464.25	c flip 240000 nbSat=54099 maxSat=54398
926.29/464.49	c flip 250000 nbSat=54263 maxSat=54398
926.89/464.71	c flip 260000 nbSat=54174 maxSat=54398
927.29/464.93	c flip 270000 nbSat=54260 maxSat=54398
927.69/465.16	c flip 280000 nbSat=54252 maxSat=54398
928.10/465.39	c flip 290000 nbSat=54242 maxSat=54398
928.69/465.62	c flip 300000 nbSat=54165 maxSat=54398
929.09/465.85	c flip 310000 nbSat=54216 maxSat=54404
929.29/465.90	c flip 0 nbSat=46071 maxSat=54404
929.49/466.02	c flip 10000 nbSat=51776 maxSat=54404
929.69/466.18	c flip 20000 nbSat=52749 maxSat=54404
930.09/466.36	c flip 30000 nbSat=53201 maxSat=54404
930.48/466.56	c flip 40000 nbSat=53434 maxSat=54404
930.88/466.76	c flip 50000 nbSat=53528 maxSat=54404
931.28/466.97	c flip 60000 nbSat=53708 maxSat=54404
931.68/467.18	c flip 70000 nbSat=53726 maxSat=54404
932.08/467.39	c flip 80000 nbSat=53837 maxSat=54404
932.68/467.60	c flip 90000 nbSat=53925 maxSat=54404
933.08/467.81	c flip 100000 nbSat=53958 maxSat=54404
933.48/468.03	c flip 110000 nbSat=53944 maxSat=54404
933.88/468.25	c flip 120000 nbSat=53974 maxSat=54404
934.28/468.46	c flip 130000 nbSat=53919 maxSat=54404
934.68/468.69	c flip 140000 nbSat=53960 maxSat=54404
935.27/468.92	c flip 150000 nbSat=54028 maxSat=54404
935.67/469.13	c flip 160000 nbSat=54021 maxSat=54404
936.07/469.35	c flip 170000 nbSat=54050 maxSat=54404
936.47/469.58	c flip 180000 nbSat=54065 maxSat=54404
937.07/469.81	c flip 190000 nbSat=54057 maxSat=54404
937.47/470.03	c flip 200000 nbSat=54055 maxSat=54404
937.87/470.25	c flip 210000 nbSat=53997 maxSat=54404
938.27/470.47	c flip 220000 nbSat=54148 maxSat=54404
938.67/470.69	c flip 230000 nbSat=54083 maxSat=54404
939.27/470.92	c flip 240000 nbSat=54172 maxSat=54404
939.67/471.14	c flip 250000 nbSat=54099 maxSat=54404
940.07/471.37	c flip 260000 nbSat=54063 maxSat=54404
940.47/471.59	c flip 270000 nbSat=54095 maxSat=54404
941.07/471.82	c flip 280000 nbSat=54175 maxSat=54404
941.46/472.05	c flip 290000 nbSat=54229 maxSat=54404
941.86/472.28	c flip 300000 nbSat=54213 maxSat=54404
942.46/472.51	c flip 310000 nbSat=54143 maxSat=54404
942.46/472.56	c flip 0 nbSat=46065 maxSat=54404
942.66/472.67	c flip 10000 nbSat=51759 maxSat=54404
943.06/472.82	c flip 20000 nbSat=52733 maxSat=54404
943.46/473.01	c flip 30000 nbSat=53304 maxSat=54404
943.65/473.19	c flip 40000 nbSat=53557 maxSat=54404
944.05/473.40	c flip 50000 nbSat=53659 maxSat=54404
944.65/473.60	c flip 60000 nbSat=53694 maxSat=54404
945.05/473.81	c flip 70000 nbSat=53742 maxSat=54404
945.46/474.02	c flip 80000 nbSat=53915 maxSat=54404
945.85/474.23	c flip 90000 nbSat=53950 maxSat=54404
946.25/474.44	c flip 100000 nbSat=53913 maxSat=54404
946.65/474.66	c flip 110000 nbSat=54064 maxSat=54404
947.05/474.88	c flip 120000 nbSat=53945 maxSat=54404
947.65/475.11	c flip 130000 nbSat=54055 maxSat=54404
948.04/475.33	c flip 140000 nbSat=54090 maxSat=54404
948.44/475.56	c flip 150000 nbSat=54136 maxSat=54404
948.84/475.78	c flip 160000 nbSat=53995 maxSat=54404
949.44/476.01	c flip 170000 nbSat=54202 maxSat=54404
949.84/476.24	c flip 180000 nbSat=54251 maxSat=54404
950.23/476.47	c flip 190000 nbSat=54215 maxSat=54404
950.83/476.70	c flip 200000 nbSat=54175 maxSat=54404
951.23/476.92	c flip 210000 nbSat=54259 maxSat=54404
951.63/477.15	c flip 220000 nbSat=54197 maxSat=54404
952.04/477.39	c flip 230000 nbSat=54213 maxSat=54404
952.63/477.62	c flip 240000 nbSat=54293 maxSat=54404
953.03/477.85	c flip 250000 nbSat=54231 maxSat=54404
953.43/478.09	c flip 260000 nbSat=54254 maxSat=54404
954.03/478.31	c flip 270000 nbSat=54300 maxSat=54404
954.43/478.54	c flip 280000 nbSat=54283 maxSat=54404
954.82/478.78	c flip 290000 nbSat=54345 maxSat=54404
955.43/479.02	c flip 300000 nbSat=54144 maxSat=54404
955.83/479.25	c flip 310000 nbSat=54250 maxSat=54435
956.03/479.31	c flip 0 nbSat=45967 maxSat=54487
956.24/479.42	c flip 10000 nbSat=51868 maxSat=54487
956.44/479.58	c flip 20000 nbSat=52891 maxSat=54487
956.83/479.77	c flip 30000 nbSat=53435 maxSat=54487
957.23/479.96	c flip 40000 nbSat=53599 maxSat=54487
957.63/480.17	c flip 50000 nbSat=53741 maxSat=54487
958.03/480.38	c flip 60000 nbSat=53782 maxSat=54487
958.43/480.59	c flip 70000 nbSat=53955 maxSat=54487
959.02/480.83	c flip 80000 nbSat=53938 maxSat=54487
959.42/481.06	c flip 90000 nbSat=53987 maxSat=54487
959.82/481.28	c flip 100000 nbSat=53977 maxSat=54487
960.42/481.50	c flip 110000 nbSat=53986 maxSat=54487
960.83/481.73	c flip 120000 nbSat=53944 maxSat=54487
961.22/481.95	c flip 130000 nbSat=54009 maxSat=54487
961.62/482.18	c flip 140000 nbSat=54017 maxSat=54487
962.22/482.40	c flip 150000 nbSat=54008 maxSat=54487
962.62/482.63	c flip 160000 nbSat=54103 maxSat=54487
963.02/482.86	c flip 170000 nbSat=54058 maxSat=54487
963.41/483.08	c flip 180000 nbSat=54084 maxSat=54487
963.81/483.29	c flip 190000 nbSat=53941 maxSat=54487
964.41/483.52	c flip 200000 nbSat=54049 maxSat=54487
964.81/483.75	c flip 210000 nbSat=54082 maxSat=54487
965.22/483.98	c flip 220000 nbSat=54172 maxSat=54487
965.81/484.21	c flip 230000 nbSat=54083 maxSat=54487
966.21/484.43	c flip 240000 nbSat=54177 maxSat=54487
966.61/484.66	c flip 250000 nbSat=54176 maxSat=54487
967.21/484.90	c flip 260000 nbSat=54200 maxSat=54487
967.61/485.13	c flip 270000 nbSat=54225 maxSat=54487
968.00/485.36	c flip 280000 nbSat=54200 maxSat=54487
968.40/485.59	c flip 290000 nbSat=54116 maxSat=54487
969.00/485.81	c flip 300000 nbSat=54002 maxSat=54487
969.40/486.03	c flip 310000 nbSat=54108 maxSat=54487
969.40/486.08	c flip 0 nbSat=46089 maxSat=54487
969.61/486.19	c flip 10000 nbSat=51772 maxSat=54487
970.00/486.36	c flip 20000 nbSat=52813 maxSat=54487
970.40/486.54	c flip 30000 nbSat=53251 maxSat=54487
970.80/486.73	c flip 40000 nbSat=53302 maxSat=54487
971.20/486.93	c flip 50000 nbSat=53490 maxSat=54487
971.60/487.14	c flip 60000 nbSat=53645 maxSat=54487
972.00/487.34	c flip 70000 nbSat=53785 maxSat=54487
972.39/487.55	c flip 80000 nbSat=53984 maxSat=54487
972.79/487.76	c flip 90000 nbSat=53976 maxSat=54487
973.19/487.97	c flip 100000 nbSat=53996 maxSat=54487
973.59/488.19	c flip 110000 nbSat=53912 maxSat=54487
974.20/488.40	c flip 120000 nbSat=54125 maxSat=54487
974.59/488.62	c flip 130000 nbSat=53997 maxSat=54487
974.99/488.84	c flip 140000 nbSat=54093 maxSat=54487
975.39/489.06	c flip 150000 nbSat=53983 maxSat=54487
975.79/489.28	c flip 160000 nbSat=54115 maxSat=54487
976.39/489.51	c flip 170000 nbSat=54181 maxSat=54487
976.79/489.73	c flip 180000 nbSat=54042 maxSat=54487
977.18/489.96	c flip 190000 nbSat=54128 maxSat=54487
977.58/490.18	c flip 200000 nbSat=54084 maxSat=54487
978.18/490.40	c flip 210000 nbSat=54097 maxSat=54487
978.59/490.64	c flip 220000 nbSat=54145 maxSat=54487
978.98/490.86	c flip 230000 nbSat=54109 maxSat=54487
979.38/491.09	c flip 240000 nbSat=54117 maxSat=54487
979.98/491.32	c flip 250000 nbSat=54269 maxSat=54487
980.38/491.55	c flip 260000 nbSat=54234 maxSat=54487
980.78/491.78	c flip 270000 nbSat=54161 maxSat=54487
981.37/492.01	c flip 280000 nbSat=54153 maxSat=54487
981.77/492.25	c flip 290000 nbSat=54259 maxSat=54487
982.17/492.48	c flip 300000 nbSat=54210 maxSat=54487
982.78/492.72	c flip 310000 nbSat=54216 maxSat=54487
982.78/492.77	c flip 0 nbSat=46071 maxSat=54487
982.97/492.89	c flip 10000 nbSat=51735 maxSat=54487
983.37/493.05	c flip 20000 nbSat=52765 maxSat=54487
983.77/493.24	c flip 30000 nbSat=53201 maxSat=54487
984.17/493.43	c flip 40000 nbSat=53553 maxSat=54487
984.57/493.63	c flip 50000 nbSat=53650 maxSat=54487
984.97/493.83	c flip 60000 nbSat=53723 maxSat=54487
985.36/494.04	c flip 70000 nbSat=53869 maxSat=54487
985.76/494.24	c flip 80000 nbSat=53736 maxSat=54487
986.16/494.45	c flip 90000 nbSat=53872 maxSat=54487
986.56/494.67	c flip 100000 nbSat=53926 maxSat=54487
986.96/494.89	c flip 110000 nbSat=53960 maxSat=54487
987.56/495.11	c flip 120000 nbSat=53954 maxSat=54487
987.96/495.32	c flip 130000 nbSat=53994 maxSat=54487
988.36/495.54	c flip 140000 nbSat=53946 maxSat=54487
988.76/495.75	c flip 150000 nbSat=54035 maxSat=54487
989.16/495.98	c flip 160000 nbSat=54089 maxSat=54487
989.75/496.21	c flip 170000 nbSat=54057 maxSat=54487
990.15/496.44	c flip 180000 nbSat=54051 maxSat=54487
990.55/496.66	c flip 190000 nbSat=54104 maxSat=54487
990.95/496.89	c flip 200000 nbSat=54160 maxSat=54487
991.56/497.13	c flip 210000 nbSat=54120 maxSat=54487
991.95/497.35	c flip 220000 nbSat=54102 maxSat=54487
992.35/497.59	c flip 230000 nbSat=54124 maxSat=54487
992.95/497.82	c flip 240000 nbSat=54199 maxSat=54487
993.35/498.05	c flip 250000 nbSat=54205 maxSat=54487
993.75/498.28	c flip 260000 nbSat=54150 maxSat=54487
994.34/498.51	c flip 270000 nbSat=54113 maxSat=54487
994.74/498.74	c flip 280000 nbSat=54271 maxSat=54487
995.14/498.97	c flip 290000 nbSat=54193 maxSat=54487
995.74/499.20	c flip 300000 nbSat=54232 maxSat=54487
996.14/499.45	c flip 310000 nbSat=54241 maxSat=54487
996.33/499.50	c flip 0 nbSat=46149 maxSat=54487
996.53/499.61	c flip 10000 nbSat=51776 maxSat=54487
996.73/499.78	c flip 20000 nbSat=52893 maxSat=54487
997.13/499.96	c flip 30000 nbSat=53300 maxSat=54487
997.53/500.16	c flip 40000 nbSat=53555 maxSat=54487
997.93/500.37	c flip 50000 nbSat=53603 maxSat=54487
998.34/500.58	c flip 60000 nbSat=53748 maxSat=54487
998.73/500.79	c flip 70000 nbSat=53933 maxSat=54487
999.33/501.01	c flip 80000 nbSat=53973 maxSat=54487
999.73/501.23	c flip 90000 nbSat=53865 maxSat=54487
1000.13/501.45	c flip 100000 nbSat=53964 maxSat=54487
1000.53/501.68	c flip 110000 nbSat=54077 maxSat=54487
1001.12/501.91	c flip 120000 nbSat=53960 maxSat=54487
1001.52/502.15	c flip 130000 nbSat=54006 maxSat=54487
1001.92/502.37	c flip 140000 nbSat=54108 maxSat=54487
1002.52/502.62	c flip 150000 nbSat=53980 maxSat=54487
1002.91/502.85	c flip 160000 nbSat=54116 maxSat=54487
1003.31/503.09	c flip 170000 nbSat=54145 maxSat=54487
1003.91/503.33	c flip 180000 nbSat=54081 maxSat=54487
1004.31/503.57	c flip 190000 nbSat=54112 maxSat=54487
1004.91/503.80	c flip 200000 nbSat=54090 maxSat=54487
1005.30/504.03	c flip 210000 nbSat=54140 maxSat=54487
1005.70/504.26	c flip 220000 nbSat=54188 maxSat=54487
1006.10/504.49	c flip 230000 nbSat=54159 maxSat=54487
1006.70/504.73	c flip 240000 nbSat=54154 maxSat=54487
1007.11/504.96	c flip 250000 nbSat=54204 maxSat=54487
1007.50/505.20	c flip 260000 nbSat=54212 maxSat=54487
1008.10/505.43	c flip 270000 nbSat=54130 maxSat=54487
1008.50/505.67	c flip 280000 nbSat=54105 maxSat=54487
1009.10/505.90	c flip 290000 nbSat=54111 maxSat=54487
1009.49/506.14	c flip 300000 nbSat=54233 maxSat=54487
1009.89/506.37	c flip 310000 nbSat=54124 maxSat=54487
1010.09/506.42	c flip 0 nbSat=45870 maxSat=54487
1010.29/506.54	c flip 10000 nbSat=51835 maxSat=54487
1010.49/506.70	c flip 20000 nbSat=52840 maxSat=54487
1010.89/506.88	c flip 30000 nbSat=53204 maxSat=54487
1011.30/507.07	c flip 40000 nbSat=53571 maxSat=54487
1011.69/507.27	c flip 50000 nbSat=53659 maxSat=54487
1012.09/507.47	c flip 60000 nbSat=53778 maxSat=54487
1012.49/507.69	c flip 70000 nbSat=53931 maxSat=54487
1013.09/507.91	c flip 80000 nbSat=53913 maxSat=54487
1013.49/508.12	c flip 90000 nbSat=53933 maxSat=54487
1013.88/508.34	c flip 100000 nbSat=53959 maxSat=54487
1014.28/508.56	c flip 110000 nbSat=54053 maxSat=54487
1014.68/508.79	c flip 120000 nbSat=54027 maxSat=54487
1015.28/509.01	c flip 130000 nbSat=54072 maxSat=54487
1015.69/509.24	c flip 140000 nbSat=54036 maxSat=54487
1016.08/509.47	c flip 150000 nbSat=54193 maxSat=54487
1016.68/509.71	c flip 160000 nbSat=54154 maxSat=54487
1017.08/509.94	c flip 170000 nbSat=54164 maxSat=54487
1017.48/510.18	c flip 180000 nbSat=54239 maxSat=54487
1018.08/510.42	c flip 190000 nbSat=54184 maxSat=54487
1018.46/510.67	c flip 200000 nbSat=54233 maxSat=54487
1019.06/510.91	c flip 210000 nbSat=54215 maxSat=54487
1019.46/511.14	c flip 220000 nbSat=54068 maxSat=54487
1019.86/511.38	c flip 230000 nbSat=54159 maxSat=54487
1020.46/511.63	c flip 240000 nbSat=54167 maxSat=54487
1020.86/511.87	c flip 250000 nbSat=54256 maxSat=54487
1021.46/512.12	c flip 260000 nbSat=54223 maxSat=54487
1021.86/512.36	c flip 270000 nbSat=54198 maxSat=54487
1022.46/512.61	c flip 280000 nbSat=54226 maxSat=54487
1022.85/512.85	c flip 290000 nbSat=54195 maxSat=54487
1023.25/513.09	c flip 300000 nbSat=54297 maxSat=54487
1023.85/513.34	c flip 310000 nbSat=54254 maxSat=54487
1023.85/513.39	c flip 0 nbSat=46090 maxSat=54487
1024.25/513.50	c flip 10000 nbSat=51780 maxSat=54487
1024.46/513.67	c flip 20000 nbSat=52821 maxSat=54487
1024.85/513.86	c flip 30000 nbSat=53327 maxSat=54487
1025.25/514.05	c flip 40000 nbSat=53495 maxSat=54487
1025.65/514.26	c flip 50000 nbSat=53476 maxSat=54487
1026.05/514.47	c flip 60000 nbSat=53773 maxSat=54487
1026.45/514.68	c flip 70000 nbSat=53849 maxSat=54487
1027.04/514.91	c flip 80000 nbSat=53893 maxSat=54487
1027.44/515.12	c flip 90000 nbSat=53962 maxSat=54487
1027.84/515.34	c flip 100000 nbSat=53957 maxSat=54487
1028.24/515.56	c flip 110000 nbSat=53998 maxSat=54487
1028.64/515.78	c flip 120000 nbSat=54056 maxSat=54487
1029.23/516.01	c flip 130000 nbSat=54114 maxSat=54487
1029.63/516.24	c flip 140000 nbSat=54067 maxSat=54487
1030.03/516.46	c flip 150000 nbSat=54095 maxSat=54487
1030.43/516.69	c flip 160000 nbSat=54064 maxSat=54487
1031.04/516.92	c flip 170000 nbSat=54052 maxSat=54487
1031.43/517.15	c flip 180000 nbSat=54122 maxSat=54487
1031.83/517.39	c flip 190000 nbSat=54175 maxSat=54487
1032.43/517.61	c flip 200000 nbSat=54222 maxSat=54487
1032.83/517.84	c flip 210000 nbSat=54066 maxSat=54487
1033.23/518.06	c flip 220000 nbSat=54163 maxSat=54487
1033.63/518.29	c flip 230000 nbSat=54163 maxSat=54487
1034.23/518.52	c flip 240000 nbSat=54116 maxSat=54487
1034.62/518.74	c flip 250000 nbSat=54199 maxSat=54487
1035.02/518.96	c flip 260000 nbSat=54207 maxSat=54487
1035.43/519.20	c flip 270000 nbSat=54191 maxSat=54487
1036.02/519.43	c flip 280000 nbSat=54209 maxSat=54487
1036.42/519.66	c flip 290000 nbSat=54096 maxSat=54487
1036.82/519.89	c flip 300000 nbSat=54207 maxSat=54487
1037.42/520.13	c flip 310000 nbSat=54268 maxSat=54487
1037.42/520.18	c flip 0 nbSat=45908 maxSat=54487
1037.62/520.30	c flip 10000 nbSat=51891 maxSat=54487
1038.01/520.46	c flip 20000 nbSat=52933 maxSat=54487
1038.41/520.64	c flip 30000 nbSat=53352 maxSat=54487
1038.81/520.83	c flip 40000 nbSat=53577 maxSat=54487
1039.21/521.03	c flip 50000 nbSat=53709 maxSat=54487
1039.61/521.24	c flip 60000 nbSat=53743 maxSat=54487
1040.02/521.45	c flip 70000 nbSat=53879 maxSat=54487
1040.41/521.67	c flip 80000 nbSat=53868 maxSat=54487
1040.81/521.88	c flip 90000 nbSat=53886 maxSat=54487
1041.41/522.10	c flip 100000 nbSat=53890 maxSat=54487
1041.81/522.32	c flip 110000 nbSat=53968 maxSat=54487
1042.21/522.54	c flip 120000 nbSat=53920 maxSat=54487
1042.61/522.76	c flip 130000 nbSat=54008 maxSat=54487
1043.00/522.98	c flip 140000 nbSat=53968 maxSat=54487
1043.40/523.20	c flip 150000 nbSat=54095 maxSat=54487
1044.00/523.41	c flip 160000 nbSat=54182 maxSat=54487
1044.41/523.63	c flip 170000 nbSat=54108 maxSat=54487
1044.80/523.85	c flip 180000 nbSat=54108 maxSat=54487
1045.20/524.06	c flip 190000 nbSat=54124 maxSat=54487
1045.60/524.28	c flip 200000 nbSat=54235 maxSat=54487
1046.20/524.51	c flip 210000 nbSat=54142 maxSat=54487
1046.60/524.74	c flip 220000 nbSat=54126 maxSat=54487
1046.99/524.96	c flip 230000 nbSat=54101 maxSat=54487
1047.39/525.19	c flip 240000 nbSat=54182 maxSat=54487
1047.99/525.41	c flip 250000 nbSat=54223 maxSat=54487
1048.39/525.63	c flip 260000 nbSat=54173 maxSat=54487
1048.80/525.87	c flip 270000 nbSat=54250 maxSat=54487
1049.39/526.10	c flip 280000 nbSat=54106 maxSat=54487
1049.79/526.34	c flip 290000 nbSat=54236 maxSat=54487
1050.19/526.56	c flip 300000 nbSat=54182 maxSat=54487
1050.59/526.79	c flip 310000 nbSat=54277 maxSat=54487
1050.79/526.85	c flip 0 nbSat=45971 maxSat=54487
1050.99/526.97	c flip 10000 nbSat=51675 maxSat=54487
1051.38/527.13	c flip 20000 nbSat=52850 maxSat=54487
1051.78/527.31	c flip 30000 nbSat=53338 maxSat=54487
1052.18/527.51	c flip 40000 nbSat=53467 maxSat=54487
1052.58/527.71	c flip 50000 nbSat=53593 maxSat=54487
1052.99/527.93	c flip 60000 nbSat=53798 maxSat=54487
1053.38/528.14	c flip 70000 nbSat=53886 maxSat=54487
1053.78/528.35	c flip 80000 nbSat=53870 maxSat=54487
1054.18/528.56	c flip 90000 nbSat=53973 maxSat=54487
1054.58/528.78	c flip 100000 nbSat=54092 maxSat=54487
1055.18/529.00	c flip 110000 nbSat=53940 maxSat=54487
1055.57/529.22	c flip 120000 nbSat=54064 maxSat=54487
1055.97/529.44	c flip 130000 nbSat=54049 maxSat=54487
1056.37/529.67	c flip 140000 nbSat=54075 maxSat=54487
1056.77/529.89	c flip 150000 nbSat=54081 maxSat=54487
1057.38/530.12	c flip 160000 nbSat=54134 maxSat=54487
1057.77/530.34	c flip 170000 nbSat=54123 maxSat=54487
1058.17/530.57	c flip 180000 nbSat=54084 maxSat=54487
1058.57/530.79	c flip 190000 nbSat=54061 maxSat=54487
1059.17/531.03	c flip 200000 nbSat=54186 maxSat=54487
1059.57/531.26	c flip 210000 nbSat=54067 maxSat=54487
1059.96/531.49	c flip 220000 nbSat=54205 maxSat=54487
1060.56/531.72	c flip 230000 nbSat=54130 maxSat=54487
1060.96/531.96	c flip 240000 nbSat=54138 maxSat=54487
1061.36/532.19	c flip 250000 nbSat=54136 maxSat=54487
1061.97/532.42	c flip 260000 nbSat=54103 maxSat=54487
1062.36/532.65	c flip 270000 nbSat=54189 maxSat=54487
1062.76/532.88	c flip 280000 nbSat=54144 maxSat=54487
1063.36/533.12	c flip 290000 nbSat=54177 maxSat=54487
1063.76/533.35	c flip 300000 nbSat=54086 maxSat=54487
1064.16/533.58	c flip 310000 nbSat=54177 maxSat=54487
1064.35/533.63	c flip 0 nbSat=45986 maxSat=54487
1064.55/533.74	c flip 10000 nbSat=51848 maxSat=54487
1064.95/533.91	c flip 20000 nbSat=52820 maxSat=54487
1065.15/534.10	c flip 30000 nbSat=53240 maxSat=54487
1065.55/534.29	c flip 40000 nbSat=53475 maxSat=54487
1066.15/534.50	c flip 50000 nbSat=53578 maxSat=54487
1066.55/534.71	c flip 60000 nbSat=53612 maxSat=54487
1066.95/534.92	c flip 70000 nbSat=53788 maxSat=54487
1067.35/535.13	c flip 80000 nbSat=53775 maxSat=54487
1067.75/535.34	c flip 90000 nbSat=53852 maxSat=54487
1068.15/535.55	c flip 100000 nbSat=53979 maxSat=54487
1068.55/535.77	c flip 110000 nbSat=53883 maxSat=54487
1068.94/535.99	c flip 120000 nbSat=53975 maxSat=54487
1069.54/536.21	c flip 130000 nbSat=54063 maxSat=54487
1069.94/536.43	c flip 140000 nbSat=54099 maxSat=54487
1070.34/536.65	c flip 150000 nbSat=54076 maxSat=54487
1070.74/536.88	c flip 160000 nbSat=54063 maxSat=54487
1071.34/537.10	c flip 170000 nbSat=54195 maxSat=54487
1071.74/537.33	c flip 180000 nbSat=54165 maxSat=54487
1072.14/537.55	c flip 190000 nbSat=54196 maxSat=54487
1072.53/537.78	c flip 200000 nbSat=54206 maxSat=54487
1073.13/538.01	c flip 210000 nbSat=54142 maxSat=54487
1073.53/538.23	c flip 220000 nbSat=54218 maxSat=54487
1073.93/538.46	c flip 230000 nbSat=54275 maxSat=54487
1074.33/538.68	c flip 240000 nbSat=54208 maxSat=54487
1074.93/538.90	c flip 250000 nbSat=54171 maxSat=54487
1075.32/539.12	c flip 260000 nbSat=54209 maxSat=54487
1075.73/539.34	c flip 270000 nbSat=54243 maxSat=54487
1076.13/539.57	c flip 280000 nbSat=54263 maxSat=54487
1076.52/539.79	c flip 290000 nbSat=54246 maxSat=54487
1077.14/540.03	c flip 300000 nbSat=54227 maxSat=54487
1077.53/540.26	c flip 310000 nbSat=54188 maxSat=54487
1077.73/540.31	c flip 0 nbSat=46038 maxSat=54487
1077.93/540.42	c flip 10000 nbSat=51725 maxSat=54487
1078.13/540.58	c flip 20000 nbSat=52799 maxSat=54487
1078.53/540.76	c flip 30000 nbSat=53250 maxSat=54487
1078.93/540.95	c flip 40000 nbSat=53425 maxSat=54487
1079.33/541.16	c flip 50000 nbSat=53595 maxSat=54487
1079.72/541.37	c flip 60000 nbSat=53705 maxSat=54487
1080.12/541.57	c flip 70000 nbSat=53738 maxSat=54487
1080.52/541.78	c flip 80000 nbSat=53816 maxSat=54487
1080.92/542.00	c flip 90000 nbSat=53901 maxSat=54487
1081.53/542.21	c flip 100000 nbSat=53862 maxSat=54487
1081.92/542.43	c flip 110000 nbSat=54003 maxSat=54487
1082.32/542.64	c flip 120000 nbSat=53996 maxSat=54487
1082.72/542.86	c flip 130000 nbSat=54063 maxSat=54487
1083.12/543.08	c flip 140000 nbSat=54002 maxSat=54487
1083.72/543.31	c flip 150000 nbSat=53978 maxSat=54487
1084.11/543.53	c flip 160000 nbSat=54120 maxSat=54487
1084.51/543.76	c flip 170000 nbSat=54063 maxSat=54487
1084.91/543.98	c flip 180000 nbSat=54082 maxSat=54487
1085.51/544.21	c flip 190000 nbSat=54085 maxSat=54487
1085.92/544.44	c flip 200000 nbSat=54165 maxSat=54487
1086.31/544.68	c flip 210000 nbSat=54214 maxSat=54487
1086.91/544.91	c flip 220000 nbSat=54173 maxSat=54487
1087.31/545.14	c flip 230000 nbSat=54199 maxSat=54487
1087.71/545.36	c flip 240000 nbSat=54193 maxSat=54487
1088.31/545.61	c flip 250000 nbSat=54250 maxSat=54487
1088.70/545.84	c flip 260000 nbSat=54230 maxSat=54487
1089.10/546.07	c flip 270000 nbSat=54259 maxSat=54487
1089.70/546.31	c flip 280000 nbSat=54313 maxSat=54487
1090.10/546.54	c flip 290000 nbSat=54236 maxSat=54487
1090.51/546.78	c flip 300000 nbSat=54318 maxSat=54487
1091.10/547.01	c flip 310000 nbSat=54328 maxSat=54487
1091.10/547.07	c flip 0 nbSat=46076 maxSat=54487
1091.30/547.18	c flip 10000 nbSat=51766 maxSat=54487
1091.69/547.35	c flip 20000 nbSat=52848 maxSat=54487
1092.08/547.53	c flip 30000 nbSat=53329 maxSat=54487
1092.49/547.72	c flip 40000 nbSat=53435 maxSat=54487
1092.88/547.92	c flip 50000 nbSat=53566 maxSat=54487
1093.28/548.11	c flip 60000 nbSat=53701 maxSat=54487
1093.68/548.31	c flip 70000 nbSat=53807 maxSat=54487
1094.08/548.52	c flip 80000 nbSat=53720 maxSat=54487
1094.48/548.73	c flip 90000 nbSat=53807 maxSat=54487
1094.88/548.94	c flip 100000 nbSat=53870 maxSat=54487
1095.28/549.15	c flip 110000 nbSat=53913 maxSat=54487
1095.68/549.36	c flip 120000 nbSat=53986 maxSat=54487
1096.08/549.58	c flip 130000 nbSat=53962 maxSat=54487
1096.48/549.80	c flip 140000 nbSat=54065 maxSat=54487
1097.08/550.02	c flip 150000 nbSat=54001 maxSat=54487
1097.47/550.23	c flip 160000 nbSat=53918 maxSat=54487
1097.87/550.45	c flip 170000 nbSat=54069 maxSat=54487
1098.27/550.66	c flip 180000 nbSat=54089 maxSat=54487
1098.67/550.88	c flip 190000 nbSat=54149 maxSat=54487
1099.27/551.11	c flip 200000 nbSat=54034 maxSat=54487
1099.66/551.33	c flip 210000 nbSat=54084 maxSat=54487
1100.06/551.55	c flip 220000 nbSat=54111 maxSat=54487
1100.46/551.78	c flip 230000 nbSat=54163 maxSat=54487
1101.06/552.01	c flip 240000 nbSat=54224 maxSat=54487
1101.47/552.23	c flip 250000 nbSat=54048 maxSat=54487
1101.86/552.46	c flip 260000 nbSat=54199 maxSat=54487
1102.26/552.68	c flip 270000 nbSat=54251 maxSat=54487
1102.86/552.90	c flip 280000 nbSat=54132 maxSat=54487
1103.26/553.13	c flip 290000 nbSat=54227 maxSat=54487
1103.66/553.36	c flip 300000 nbSat=54257 maxSat=54487
1104.06/553.59	c flip 310000 nbSat=54183 maxSat=54487
1104.26/553.64	c flip 0 nbSat=46210 maxSat=54487
1104.46/553.75	c flip 10000 nbSat=51808 maxSat=54487
1104.86/553.91	c flip 20000 nbSat=52874 maxSat=54487
1105.06/554.09	c flip 30000 nbSat=53449 maxSat=54487
1105.45/554.29	c flip 40000 nbSat=53625 maxSat=54487
1105.86/554.49	c flip 50000 nbSat=53754 maxSat=54487
1106.45/554.71	c flip 60000 nbSat=53857 maxSat=54487
1106.85/554.91	c flip 70000 nbSat=53811 maxSat=54487
1107.25/555.12	c flip 80000 nbSat=53838 maxSat=54487
1107.65/555.33	c flip 90000 nbSat=53973 maxSat=54487
1108.06/555.56	c flip 100000 nbSat=54001 maxSat=54487
1108.45/555.77	c flip 110000 nbSat=54029 maxSat=54487
1108.85/555.99	c flip 120000 nbSat=54161 maxSat=54487
1109.45/556.22	c flip 130000 nbSat=54086 maxSat=54487
1109.84/556.45	c flip 140000 nbSat=53972 maxSat=54487
1110.24/556.67	c flip 150000 nbSat=54132 maxSat=54487
1110.83/556.90	c flip 160000 nbSat=54205 maxSat=54487
1111.23/557.13	c flip 170000 nbSat=54211 maxSat=54487
1111.63/557.36	c flip 180000 nbSat=54242 maxSat=54487
1112.03/557.59	c flip 190000 nbSat=54213 maxSat=54487
1112.63/557.82	c flip 200000 nbSat=54215 maxSat=54487
1113.03/558.04	c flip 210000 nbSat=54212 maxSat=54487
1113.43/558.27	c flip 220000 nbSat=54054 maxSat=54487
1114.03/558.50	c flip 230000 nbSat=54252 maxSat=54487
1114.43/558.73	c flip 240000 nbSat=54167 maxSat=54487
1114.82/558.96	c flip 250000 nbSat=54149 maxSat=54487
1115.22/559.19	c flip 260000 nbSat=54279 maxSat=54487
1115.82/559.42	c flip 270000 nbSat=54243 maxSat=54487
1116.22/559.66	c flip 280000 nbSat=54250 maxSat=54487
1116.63/559.89	c flip 290000 nbSat=54256 maxSat=54487
1117.22/560.12	c flip 300000 nbSat=54310 maxSat=54487
1117.62/560.35	c flip 310000 nbSat=54330 maxSat=54487
1117.82/560.40	c flip 0 nbSat=46037 maxSat=54487
1118.02/560.52	c flip 10000 nbSat=51825 maxSat=54487
1118.22/560.69	c flip 20000 nbSat=52873 maxSat=54487
1118.62/560.87	c flip 30000 nbSat=53414 maxSat=54487
1119.02/561.08	c flip 40000 nbSat=53497 maxSat=54487
1119.41/561.28	c flip 50000 nbSat=53659 maxSat=54487
1119.81/561.48	c flip 60000 nbSat=53812 maxSat=54487
1120.21/561.69	c flip 70000 nbSat=53956 maxSat=54487
1120.61/561.90	c flip 80000 nbSat=54018 maxSat=54487
1121.21/562.11	c flip 90000 nbSat=53939 maxSat=54487
1121.61/562.32	c flip 100000 nbSat=54003 maxSat=54487
1122.01/562.53	c flip 110000 nbSat=54079 maxSat=54487
1122.41/562.75	c flip 120000 nbSat=54069 maxSat=54487
1122.81/562.97	c flip 130000 nbSat=54063 maxSat=54487
1123.21/563.19	c flip 140000 nbSat=54101 maxSat=54487
1123.80/563.42	c flip 150000 nbSat=54151 maxSat=54487
1124.20/563.65	c flip 160000 nbSat=54148 maxSat=54487
1124.60/563.87	c flip 170000 nbSat=54147 maxSat=54487
1125.00/564.09	c flip 180000 nbSat=54201 maxSat=54487
1125.61/564.32	c flip 190000 nbSat=54176 maxSat=54487
1126.00/564.55	c flip 200000 nbSat=54205 maxSat=54487
1126.40/564.77	c flip 210000 nbSat=54092 maxSat=54487
1126.80/565.00	c flip 220000 nbSat=54152 maxSat=54487
1127.40/565.23	c flip 230000 nbSat=54181 maxSat=54487
1127.80/565.47	c flip 240000 nbSat=54308 maxSat=54487
1128.39/565.71	c flip 250000 nbSat=54253 maxSat=54487
1128.79/565.94	c flip 260000 nbSat=54243 maxSat=54487
1129.19/566.17	c flip 270000 nbSat=54150 maxSat=54487
1129.80/566.41	c flip 280000 nbSat=54280 maxSat=54487
1130.19/566.65	c flip 290000 nbSat=54368 maxSat=54487
1130.59/566.88	c flip 300000 nbSat=54288 maxSat=54487
1131.19/567.12	c flip 310000 nbSat=54297 maxSat=54487
1131.19/567.18	c flip 0 nbSat=46086 maxSat=54487
1131.39/567.29	c flip 10000 nbSat=51798 maxSat=54487
1131.78/567.44	c flip 20000 nbSat=52910 maxSat=54487
1132.19/567.62	c flip 30000 nbSat=53351 maxSat=54487
1132.58/567.82	c flip 40000 nbSat=53622 maxSat=54487
1132.98/568.02	c flip 50000 nbSat=53776 maxSat=54487
1133.38/568.23	c flip 60000 nbSat=53864 maxSat=54487
1133.78/568.44	c flip 70000 nbSat=53859 maxSat=54487
1134.18/568.66	c flip 80000 nbSat=53965 maxSat=54487
1134.57/568.88	c flip 90000 nbSat=54093 maxSat=54487
1134.97/569.09	c flip 100000 nbSat=54076 maxSat=54487
1135.57/569.31	c flip 110000 nbSat=54009 maxSat=54487
1135.97/569.53	c flip 120000 nbSat=54079 maxSat=54487
1136.38/569.75	c flip 130000 nbSat=54138 maxSat=54487
1136.77/569.98	c flip 140000 nbSat=54159 maxSat=54487
1137.37/570.20	c flip 150000 nbSat=54246 maxSat=54487
1137.77/570.41	c flip 160000 nbSat=54192 maxSat=54487
1138.17/570.64	c flip 170000 nbSat=54145 maxSat=54487
1138.57/570.86	c flip 180000 nbSat=54310 maxSat=54487
1138.96/571.08	c flip 190000 nbSat=54265 maxSat=54487
1139.56/571.31	c flip 200000 nbSat=54229 maxSat=54487
1139.96/571.53	c flip 210000 nbSat=54276 maxSat=54487
1140.36/571.75	c flip 220000 nbSat=54169 maxSat=54487
1140.77/571.98	c flip 230000 nbSat=54225 maxSat=54487
1141.36/572.22	c flip 240000 nbSat=54211 maxSat=54487
1141.76/572.45	c flip 250000 nbSat=54276 maxSat=54487
1142.16/572.68	c flip 260000 nbSat=54247 maxSat=54487
1142.76/572.91	c flip 270000 nbSat=54262 maxSat=54487
1143.17/573.15	c flip 280000 nbSat=54308 maxSat=54487
1143.56/573.39	c flip 290000 nbSat=54293 maxSat=54487
1144.16/573.63	c flip 300000 nbSat=54370 maxSat=54487
1144.56/573.87	c flip 310000 nbSat=54314 maxSat=54487
1144.76/573.92	c flip 0 nbSat=46180 maxSat=54487
1144.96/574.03	c flip 10000 nbSat=51825 maxSat=54487
1145.36/574.21	c flip 20000 nbSat=52944 maxSat=54487
1145.75/574.41	c flip 30000 nbSat=53414 maxSat=54487
1146.15/574.60	c flip 40000 nbSat=53730 maxSat=54487
1146.55/574.82	c flip 50000 nbSat=53815 maxSat=54487
1146.95/575.03	c flip 60000 nbSat=53862 maxSat=54487
1147.36/575.25	c flip 70000 nbSat=53923 maxSat=54487
1147.75/575.48	c flip 80000 nbSat=53977 maxSat=54487
1148.35/575.71	c flip 90000 nbSat=53952 maxSat=54487
1148.75/575.93	c flip 100000 nbSat=54024 maxSat=54487
1149.14/576.16	c flip 110000 nbSat=54061 maxSat=54487
1149.55/576.39	c flip 120000 nbSat=54092 maxSat=54487
1150.14/576.62	c flip 130000 nbSat=54117 maxSat=54487
1150.54/576.85	c flip 140000 nbSat=54085 maxSat=54487
1150.94/577.08	c flip 150000 nbSat=54088 maxSat=54487
1151.54/577.31	c flip 160000 nbSat=54223 maxSat=54487
1151.94/577.54	c flip 170000 nbSat=54150 maxSat=54487
1152.33/577.78	c flip 180000 nbSat=54198 maxSat=54487
1152.93/578.01	c flip 190000 nbSat=54194 maxSat=54487
1153.33/578.25	c flip 200000 nbSat=54158 maxSat=54487
1153.73/578.48	c flip 210000 nbSat=54233 maxSat=54487
1154.33/578.72	c flip 220000 nbSat=54260 maxSat=54487
1154.73/578.95	c flip 230000 nbSat=54230 maxSat=54487
1155.13/579.18	c flip 240000 nbSat=54192 maxSat=54487
1155.73/579.42	c flip 250000 nbSat=54288 maxSat=54487
1156.13/579.67	c flip 260000 nbSat=54186 maxSat=54487
1156.72/579.90	c flip 270000 nbSat=54262 maxSat=54487
1157.12/580.14	c flip 280000 nbSat=54292 maxSat=54487
1157.52/580.37	c flip 290000 nbSat=54341 maxSat=54487
1158.12/580.61	c flip 300000 nbSat=54267 maxSat=54487
1158.53/580.85	c flip 310000 nbSat=54306 maxSat=54487
1158.72/580.90	c flip 0 nbSat=46126 maxSat=54487
1158.92/581.02	c flip 10000 nbSat=51764 maxSat=54487
1159.12/581.18	c flip 20000 nbSat=52888 maxSat=54487
1159.52/581.36	c flip 30000 nbSat=53278 maxSat=54487
1159.92/581.56	c flip 40000 nbSat=53616 maxSat=54487
1160.32/581.76	c flip 50000 nbSat=53716 maxSat=54487
1160.72/581.97	c flip 60000 nbSat=53750 maxSat=54487
1161.12/582.17	c flip 70000 nbSat=53878 maxSat=54487
1161.51/582.38	c flip 80000 nbSat=53993 maxSat=54487
1162.11/582.60	c flip 90000 nbSat=54033 maxSat=54487
1162.51/582.82	c flip 100000 nbSat=54089 maxSat=54487
1162.92/583.04	c flip 110000 nbSat=54074 maxSat=54487
1163.31/583.26	c flip 120000 nbSat=54069 maxSat=54487
1163.71/583.48	c flip 130000 nbSat=54098 maxSat=54487
1164.31/583.70	c flip 140000 nbSat=54167 maxSat=54487
1164.71/583.92	c flip 150000 nbSat=54098 maxSat=54487
1165.11/584.15	c flip 160000 nbSat=54184 maxSat=54487
1165.50/584.37	c flip 170000 nbSat=54118 maxSat=54487
1166.10/584.60	c flip 180000 nbSat=54215 maxSat=54487
1166.50/584.83	c flip 190000 nbSat=54186 maxSat=54487
1166.90/585.05	c flip 200000 nbSat=54219 maxSat=54487
1167.31/585.28	c flip 210000 nbSat=54164 maxSat=54487
1167.90/585.50	c flip 220000 nbSat=54112 maxSat=54487
1168.30/585.72	c flip 230000 nbSat=54122 maxSat=54487
1168.70/585.95	c flip 240000 nbSat=54241 maxSat=54487
1169.10/586.18	c flip 250000 nbSat=54243 maxSat=54487
1169.69/586.40	c flip 260000 nbSat=54250 maxSat=54487
1170.09/586.63	c flip 270000 nbSat=54201 maxSat=54487
1170.49/586.86	c flip 280000 nbSat=54224 maxSat=54487
1170.89/587.09	c flip 290000 nbSat=54273 maxSat=54487
1171.50/587.32	c flip 300000 nbSat=54300 maxSat=54487
1171.89/587.55	c flip 310000 nbSat=54251 maxSat=54487
1172.09/587.61	c flip 0 nbSat=45940 maxSat=54487
1172.29/587.72	c flip 10000 nbSat=51873 maxSat=54487
1172.49/587.89	c flip 20000 nbSat=53034 maxSat=54487
1172.89/588.08	c flip 30000 nbSat=53374 maxSat=54487
1173.29/588.27	c flip 40000 nbSat=53662 maxSat=54487
1173.69/588.48	c flip 50000 nbSat=53739 maxSat=54487
1174.28/588.70	c flip 60000 nbSat=53760 maxSat=54487
1174.68/588.90	c flip 70000 nbSat=53910 maxSat=54487
1175.08/589.12	c flip 80000 nbSat=53989 maxSat=54487
1175.48/589.34	c flip 90000 nbSat=54039 maxSat=54487
1175.89/589.55	c flip 100000 nbSat=54082 maxSat=54487
1176.28/589.77	c flip 110000 nbSat=54133 maxSat=54487
1176.68/589.99	c flip 120000 nbSat=54224 maxSat=54487
1177.28/590.20	c flip 130000 nbSat=54271 maxSat=54487
1177.68/590.43	c flip 140000 nbSat=54164 maxSat=54487
1178.08/590.66	c flip 150000 nbSat=54225 maxSat=54487
1178.48/590.87	c flip 160000 nbSat=54271 maxSat=54487
1178.88/591.10	c flip 170000 nbSat=54374 maxSat=54487
1179.47/591.33	c flip 180000 nbSat=54372 maxSat=54487
1179.87/591.56	c flip 190000 nbSat=54215 maxSat=54487
1180.28/591.79	c flip 200000 nbSat=54283 maxSat=54487
1180.87/592.01	c flip 210000 nbSat=54285 maxSat=54487
1181.27/592.24	c flip 220000 nbSat=54290 maxSat=54487
1181.67/592.47	c flip 230000 nbSat=54354 maxSat=54487
1182.06/592.70	c flip 240000 nbSat=54230 maxSat=54487
1182.66/592.93	c flip 250000 nbSat=54368 maxSat=54487
1183.05/593.16	c flip 260000 nbSat=54369 maxSat=54487
1183.65/593.41	c flip 270000 nbSat=54305 maxSat=54487
1184.05/593.64	c flip 280000 nbSat=54385 maxSat=54487
1184.45/593.87	c flip 290000 nbSat=54361 maxSat=54487
1185.05/594.11	c flip 300000 nbSat=54388 maxSat=54487
1185.45/594.35	c flip 310000 nbSat=54359 maxSat=54487
1185.65/594.40	c flip 0 nbSat=46036 maxSat=54487
1185.85/594.51	c flip 10000 nbSat=51899 maxSat=54487
1186.05/594.67	c flip 20000 nbSat=52882 maxSat=54487
1186.45/594.86	c flip 30000 nbSat=53379 maxSat=54487
1186.86/595.06	c flip 40000 nbSat=53650 maxSat=54487
1187.25/595.27	c flip 50000 nbSat=53749 maxSat=54487
1187.65/595.48	c flip 60000 nbSat=53926 maxSat=54487
1188.05/595.70	c flip 70000 nbSat=53929 maxSat=54487
1188.65/595.91	c flip 80000 nbSat=53906 maxSat=54487
1189.06/596.12	c flip 90000 nbSat=54053 maxSat=54487
1189.45/596.33	c flip 100000 nbSat=54158 maxSat=54487
1189.85/596.55	c flip 110000 nbSat=54041 maxSat=54487
1190.25/596.77	c flip 120000 nbSat=54073 maxSat=54487
1190.65/596.99	c flip 130000 nbSat=54100 maxSat=54487
1191.25/597.21	c flip 140000 nbSat=54214 maxSat=54487
1191.64/597.43	c flip 150000 nbSat=54211 maxSat=54487
1192.04/597.64	c flip 160000 nbSat=53895 maxSat=54487
1192.44/597.86	c flip 170000 nbSat=54244 maxSat=54487
1192.84/598.08	c flip 180000 nbSat=54250 maxSat=54487
1193.45/598.31	c flip 190000 nbSat=54279 maxSat=54487
1193.84/598.54	c flip 200000 nbSat=54271 maxSat=54487
1194.24/598.77	c flip 210000 nbSat=54345 maxSat=54487
1194.64/598.99	c flip 220000 nbSat=54294 maxSat=54487
1195.24/599.22	c flip 230000 nbSat=54039 maxSat=54487
1195.64/599.46	c flip 240000 nbSat=54274 maxSat=54487
1196.04/599.69	c flip 250000 nbSat=54331 maxSat=54487
1196.64/599.92	c flip 260000 nbSat=54346 maxSat=54487
1197.03/600.14	c flip 270000 nbSat=54210 maxSat=54487
1197.43/600.37	c flip 280000 nbSat=54291 maxSat=54487
1198.04/600.61	c flip 290000 nbSat=54330 maxSat=54487
1198.43/600.83	c flip 300000 nbSat=54356 maxSat=54487
1198.83/601.07	c flip 310000 nbSat=54419 maxSat=54487
1199.03/601.12	c flip 0 nbSat=46187 maxSat=54487
1199.23/601.24	c flip 10000 nbSat=51810 maxSat=54487
1199.63/601.40	c flip 20000 nbSat=53017 maxSat=54487
1199.83/601.59	c flip 30000 nbSat=53512 maxSat=54487

Verifier Data (download as text)

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer:

Watcher Data (download as text)

runsolver version 3.2.1 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node19/watcher-328470-1173111654 -o ROOT/results/node19/solver-328470-1173111654 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/328470-1173111654/ornithorynque /tmp/evaluation/328470-1173111654/instance-328470-1173111654.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.84 1.95 1.90 3/77 26792
/proc/meminfo: memFree=1041584/2055920 swapFree=4169440/4192956
[pid=26792] ppid=26790 vsize=23220 CPUtime=0
/proc/26792/stat : 26792 (ornithorynque) R 26790 26792 25959 0 -1 4194304 284 0 0 0 0 0 0 0 18 0 1 0 331119442 23777280 263 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 255233922160 0 0 4096 0 0 0 0 17 1 0 0
/proc/26792/statm: 5805 266 219 42 0 45 0

[startup+0.080719 s]
/proc/loadavg: 1.84 1.95 1.90 3/77 26792
/proc/meminfo: memFree=1041584/2055920 swapFree=4169440/4192956
[pid=26792] ppid=26790 vsize=26484 CPUtime=0.07
/proc/26792/stat : 26792 (ornithorynque) R 26790 26792 25959 0 -1 4194304 1331 0 0 0 7 0 0 0 18 0 1 0 331119442 27119616 1194 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 255236412129 0 0 4096 1088 0 0 0 17 1 0 0
/proc/26792/statm: 6621 1194 377 42 0 873 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 26484

[startup+0.101721 s]
/proc/loadavg: 1.84 1.95 1.90 3/77 26792
/proc/meminfo: memFree=1041584/2055920 swapFree=4169440/4192956
[pid=26792] ppid=26790 vsize=27276 CPUtime=0.09
/proc/26792/stat : 26792 (ornithorynque) R 26790 26792 25959 0 -1 4194304 1532 0 0 0 9 0 0 0 18 0 1 0 331119442 27930624 1395 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 255236412129 0 0 4096 1088 0 0 0 17 1 0 0
/proc/26792/statm: 6819 1395 377 42 0 1071 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27276

[startup+0.301754 s]
/proc/loadavg: 1.84 1.95 1.90 3/77 26792
/proc/meminfo: memFree=1041584/2055920 swapFree=4169440/4192956
[pid=26792] ppid=26790 vsize=55136 CPUtime=0.4
/proc/26792/stat : 26792 (ornithorynque) S 26790 26792 25959 0 -1 4194304 3495 0 0 0 40 0 0 0 18 0 3 0 331119442 56459264 3207 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 255245447035 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26792/statm: 13784 3207 387 42 0 8036 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 55136

[startup+0.701796 s]
/proc/loadavg: 1.84 1.95 1.90 3/77 26792
/proc/meminfo: memFree=1041584/2055920 swapFree=4169440/4192956
[pid=26792] ppid=26790 vsize=55136 CPUtime=1.2
/proc/26792/stat : 26792 (ornithorynque) S 26790 26792 25959 0 -1 4194304 3508 0 0 0 120 0 0 0 18 0 3 0 331119442 56459264 3220 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 255245447035 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26792/statm: 13784 3220 387 42 0 8036 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 55136

[startup+1.50288 s]
/proc/loadavg: 1.84 1.95 1.90 4/80 26795
/proc/meminfo: memFree=1030040/2055920 swapFree=4169440/4192956
[pid=26792] ppid=26790 vsize=55232 CPUtime=2.8
/proc/26792/stat : 26792 (ornithorynque) S 26790 26792 25959 0 -1 4194304 3520 0 0 0 279 1 0 0 18 0 3 0 331119442 56557568 3232 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 255245447035 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26792/statm: 13808 3232 387 42 0 8060 0
[pid=26792/tid=26794] ppid=26790 vsize=55232 CPUtime=1.31
/proc/26792/task/26794/stat : 26794 (ornithorynque) R 26790 26792 25959 0 -1 4194368 151 0 0 0 131 0 0 0 25 0 3 0 331119460 56557568 3232 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4243017 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26792/tid=26795] ppid=26790 vsize=55232 CPUtime=1.31
/proc/26792/task/26795/stat : 26795 (ornithorynque) R 26790 26792 25959 0 -1 4194368 2 0 0 0 131 0 0 0 25 0 3 0 331119460 56557568 3232 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241193 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.8
Current children cumulated vsize (KiB) 55232

[startup+3.10105 s]
/proc/loadavg: 1.84 1.95 1.90 3/80 26795
/proc/meminfo: memFree=1029848/2055920 swapFree=4169440/4192956
[pid=26792] ppid=26790 vsize=55320 CPUtime=5.99
/proc/26792/stat : 26792 (ornithorynque) S 26790 26792 25959 0 -1 4194304 3544 0 0 0 598 1 0 0 18 0 3 0 331119442 56647680 3256 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 255245447035 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26792/statm: 13830 3256 387 42 0 8082 0
[pid=26792/tid=26794] ppid=26790 vsize=55320 CPUtime=2.91
/proc/26792/task/26794/stat : 26794 (ornithorynque) R 26790 26792 25959 0 -1 4194368 175 0 0 0 291 0 0 0 25 0 3 0 331119460 56647680 3256 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242944 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26792/tid=26795] ppid=26790 vsize=55320 CPUtime=2.9
/proc/26792/task/26795/stat : 26795 (ornithorynque) R 26790 26792 25959 0 -1 4194368 2 0 0 0 290 0 0 0 25 0 3 0 331119460 56647680 3256 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242647 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 55320

[startup+6.3014 s]
/proc/loadavg: 1.85 1.95 1.90 3/80 26795
/proc/meminfo: memFree=1029656/2055920 swapFree=4169440/4192956
[pid=26792] ppid=26790 vsize=55536 CPUtime=12.37
/proc/26792/stat : 26792 (ornithorynque) S 26790 26792 25959 0 -1 4194304 3577 0 0 0 1236 1 0 0 18 0 3 0 331119442 56868864 3289 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 255245447035 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26792/statm: 13884 3289 387 42 0 8136 0
[pid=26792/tid=26794] ppid=26790 vsize=55536 CPUtime=6.11
/proc/26792/task/26794/stat : 26794 (ornithorynque) R 26790 26792 25959 0 -1 4194368 175 0 0 0 611 0 0 0 25 0 3 0 331119460 56868864 3289 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242950 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26792/tid=26795] ppid=26790 vsize=55536 CPUtime=6.08
/proc/26792/task/26795/stat : 26795 (ornithorynque) R 26790 26792 25959 0 -1 4194368 35 0 0 0 608 0 0 0 25 0 3 0 331119460 56868864 3289 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285958 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 55536

[startup+12.7011 s]
/proc/loadavg: 1.86 1.95 1.90 3/80 26795
/proc/meminfo: memFree=1029464/2055920 swapFree=4169440/4192956
[pid=26792] ppid=26790 vsize=55536 CPUtime=25.13
/proc/26792/stat : 26792 (ornithorynque) S 26790 26792 25959 0 -1 4194304 3578 0 0 0 2512 1 0 0 18 0 3 0 331119442 56868864 3290 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 255245447035 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26792/statm: 13884 3290 387 42 0 8136 0
[pid=26792/tid=26794] ppid=26790 vsize=55536 CPUtime=12.5
/proc/26792/task/26794/stat : 26794 (ornithorynque) R 26790 26792 25959 0 -1 4194368 175 0 0 0 1250 0 0 0 25 0 3 0 331119460 56868864 3290 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242869 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26792/tid=26795] ppid=26790 vsize=55536 CPUtime=12.44
/proc/26792/task/26795/stat : 26795 (ornithorynque) R 26790 26792 25959 0 -1 4194368 36 0 0 0 1244 0 0 0 25 0 3 0 331119460 56868864 3290 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242301 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 55536

[startup+25.5015 s]
/proc/loadavg: 1.89 1.96 1.91 3/80 26795
/proc/meminfo: memFree=1029400/2055920 swapFree=4169440/4192956
[pid=26792] ppid=26790 vsize=55608 CPUtime=50.66
/proc/26792/stat : 26792 (ornithorynque) S 26790 26792 25959 0 -1 4194304 3594 0 0 0 5065 1 0 0 18 0 3 0 331119442 56942592 3306 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 255245447035 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26792/statm: 13902 3306 387 42 0 8154 0
[pid=26792/tid=26794] ppid=26790 vsize=55608 CPUtime=25.3
/proc/26792/task/26794/stat : 26794 (ornithorynque) R 26790 26792 25959 0 -1 4194368 191 0 0 0 2530 0 0 0 25 0 3 0 331119460 56942592 3306 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242963 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26792/tid=26795] ppid=26790 vsize=55608 CPUtime=25.18
/proc/26792/task/26795/stat : 26795 (ornithorynque) R 26790 26792 25959 0 -1 4194368 36 0 0 0 2518 0 0 0 25 0 3 0 331119460 56942592 3306 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241190 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 55608

[startup+51.1012 s]
/proc/loadavg: 1.93 1.96 1.91 3/80 26795
/proc/meminfo: memFree=1029400/2055920 swapFree=4169440/4192956
[pid=26792] ppid=26790 vsize=55608 CPUtime=101.74
/proc/26792/stat : 26792 (ornithorynque) S 26790 26792 25959 0 -1 4194304 3594 0 0 0 10173 1 0 0 18 0 3 0 331119442 56942592 3306 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 255245447035 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26792/statm: 13902 3306 387 42 0 8154 0
[pid=26792/tid=26794] ppid=26790 vsize=55608 CPUtime=50.89
/proc/26792/task/26794/stat : 26794 (ornithorynque) R 26790 26792 25959 0 -1 4194368 191 0 0 0 5089 0 0 0 25 0 3 0 331119460 56942592 3306 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242895 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26792/tid=26795] ppid=26790 vsize=55608 CPUtime=50.66
/proc/26792/task/26795/stat : 26795 (ornithorynque) R 26790 26792 25959 0 -1 4194368 36 0 0 0 5066 0 0 0 25 0 3 0 331119460 56942592 3306 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285713 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 55608

[startup+102.307 s]
/proc/loadavg: 1.97 1.96 1.91 3/80 26795
/proc/meminfo: memFree=1029400/2055920 swapFree=4169440/4192956
[pid=26792] ppid=26790 vsize=55608 CPUtime=203.89
/proc/26792/stat : 26792 (ornithorynque) S 26790 26792 25959 0 -1 4194304 3594 0 0 0 20387 2 0 0 18 0 3 0 331119442 56942592 3306 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 255245447035 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26792/statm: 13902 3306 387 42 0 8154 0
[pid=26792/tid=26794] ppid=26790 vsize=55608 CPUtime=102.08
/proc/26792/task/26794/stat : 26794 (ornithorynque) R 26790 26792 25959 0 -1 4194368 191 0 0 0 10208 0 0 0 25 0 3 0 331119460 56942592 3306 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242879 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26792/tid=26795] ppid=26790 vsize=55608 CPUtime=101.62
/proc/26792/task/26795/stat : 26795 (ornithorynque) R 26790 26792 25959 0 -1 4194368 36 0 0 0 10162 0 0 0 25 0 3 0 331119460 56942592 3306 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241411 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.89
Current children cumulated vsize (KiB) 55608

[startup+162.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 26795
/proc/meminfo: memFree=1029336/2055920 swapFree=4169440/4192956
[pid=26792] ppid=26790 vsize=55608 CPUtime=323.59
/proc/26792/stat : 26792 (ornithorynque) S 26790 26792 25959 0 -1 4194304 3594 0 0 0 32356 3 0 0 18 0 3 0 331119442 56942592 3306 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 255245447035 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26792/statm: 13902 3306 387 42 0 8154 0
[pid=26792/tid=26794] ppid=26790 vsize=55608 CPUtime=162.06
/proc/26792/task/26794/stat : 26794 (ornithorynque) R 26790 26792 25959 0 -1 4194368 191 0 0 0 16205 1 0 0 25 0 3 0 331119460 56942592 3306 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242963 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26792/tid=26795] ppid=26790 vsize=55608 CPUtime=161.34
/proc/26792/task/26795/stat : 26795 (ornithorynque) R 26790 26792 25959 0 -1 4194368 36 0 0 0 16133 1 0 0 25 0 3 0 331119460 56942592 3306 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241645 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.59
Current children cumulated vsize (KiB) 55608

[startup+222.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 26795
/proc/meminfo: memFree=1029336/2055920 swapFree=4169440/4192956
[pid=26792] ppid=26790 vsize=55608 CPUtime=443.3
/proc/26792/stat : 26792 (ornithorynque) S 26790 26792 25959 0 -1 4194304 3594 0 0 0 44326 4 0 0 18 0 3 0 331119442 56942592 3306 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 255245447035 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26792/statm: 13902 3306 387 42 0 8154 0
[pid=26792/tid=26794] ppid=26790 vsize=55608 CPUtime=222.04
/proc/26792/task/26794/stat : 26794 (ornithorynque) R 26790 26792 25959 0 -1 4194368 191 0 0 0 22203 1 0 0 25 0 3 0 331119460 56942592 3306 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242869 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26792/tid=26795] ppid=26790 vsize=55608 CPUtime=221.06
/proc/26792/task/26795/stat : 26795 (ornithorynque) R 26790 26792 25959 0 -1 4194368 36 0 0 0 22105 1 0 0 25 0 3 0 331119460 56942592 3306 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241632 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.3
Current children cumulated vsize (KiB) 55608

[startup+282.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 26795
/proc/meminfo: memFree=1029208/2055920 swapFree=4169440/4192956
[pid=26792] ppid=26790 vsize=55740 CPUtime=562.99
/proc/26792/stat : 26792 (ornithorynque) S 26790 26792 25959 0 -1 4194304 3631 0 0 0 56294 5 0 0 18 0 3 0 331119442 57077760 3343 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 255245447035 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26792/statm: 13935 3343 387 42 0 8187 0
[pid=26792/tid=26794] ppid=26790 vsize=55740 CPUtime=282.03
/proc/26792/task/26794/stat : 26794 (ornithorynque) R 26790 26792 25959 0 -1 4194368 210 0 0 0 28201 2 0 0 25 0 3 0 331119460 57077760 3343 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242986 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26792/tid=26795] ppid=26790 vsize=55740 CPUtime=280.77
/proc/26792/task/26795/stat : 26795 (ornithorynque) R 26790 26792 25959 0 -1 4194368 54 0 0 0 28075 2 0 0 25 0 3 0 331119460 57077760 3343 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283786 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 562.99
Current children cumulated vsize (KiB) 55740

[startup+342.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 26795
/proc/meminfo: memFree=1029144/2055920 swapFree=4169440/4192956
[pid=26792] ppid=26790 vsize=55872 CPUtime=682.71
/proc/26792/stat : 26792 (ornithorynque) S 26790 26792 25959 0 -1 4194304 3650 0 0 0 68264 7 0 0 18 0 3 0 331119442 57212928 3362 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 255245447035 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26792/statm: 13968 3362 387 42 0 8220 0
[pid=26792/tid=26794] ppid=26790 vsize=55872 CPUtime=342.01
/proc/26792/task/26794/stat : 26794 (ornithorynque) R 26790 26792 25959 0 -1 4194368 215 0 0 0 34199 2 0 0 25 0 3 0 331119460 57212928 3362 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242869 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26792/tid=26795] ppid=26790 vsize=55872 CPUtime=340.5
/proc/26792/task/26795/stat : 26795 (ornithorynque) R 26790 26792 25959 0 -1 4194368 68 0 0 0 34047 3 0 0 25 0 3 0 331119460 57212928 3362 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.71
Current children cumulated vsize (KiB) 55872

[startup+402.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 26795
/proc/meminfo: memFree=1029144/2055920 swapFree=4169440/4192956
[pid=26792] ppid=26790 vsize=55872 CPUtime=802.42
/proc/26792/stat : 26792 (ornithorynque) S 26790 26792 25959 0 -1 4194304 3653 0 0 0 80234 8 0 0 18 0 3 0 331119442 57212928 3365 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 255245447035 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26792/statm: 13968 3365 387 42 0 8220 0
[pid=26792/tid=26794] ppid=26790 vsize=55872 CPUtime=401.99
/proc/26792/task/26794/stat : 26794 (ornithorynque) R 26790 26792 25959 0 -1 4194368 215 0 0 0 40196 3 0 0 25 0 3 0 331119460 57212928 3365 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242950 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26792/tid=26795] ppid=26790 vsize=55872 CPUtime=400.23
/proc/26792/task/26795/stat : 26795 (ornithorynque) R 26790 26792 25959 0 -1 4194368 71 0 0 0 40020 3 0 0 25 0 3 0 331119460 57212928 3365 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242350 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.42
Current children cumulated vsize (KiB) 55872

[startup+462.303 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 26795
/proc/meminfo: memFree=1029080/2055920 swapFree=4169440/4192956
[pid=26792] ppid=26790 vsize=55872 CPUtime=922.11
/proc/26792/stat : 26792 (ornithorynque) S 26790 26792 25959 0 -1 4194304 3654 0 0 0 92202 9 0 0 18 0 3 0 331119442 57212928 3366 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 255245447035 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26792/statm: 13968 3366 387 42 0 8220 0
[pid=26792/tid=26794] ppid=26790 vsize=55872 CPUtime=461.97
/proc/26792/task/26794/stat : 26794 (ornithorynque) R 26790 26792 25959 0 -1 4194368 216 0 0 0 46194 3 0 0 25 0 3 0 331119460 57212928 3366 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242914 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26792/tid=26795] ppid=26790 vsize=55872 CPUtime=459.95
/proc/26792/task/26795/stat : 26795 (ornithorynque) R 26790 26792 25959 0 -1 4194368 71 0 0 0 45991 4 0 0 25 0 3 0 331119460 57212928 3366 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242209 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.11
Current children cumulated vsize (KiB) 55872

[startup+522.302 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 26795
/proc/meminfo: memFree=1029016/2055920 swapFree=4169440/4192956
[pid=26792] ppid=26790 vsize=55872 CPUtime=1041.81
/proc/26792/stat : 26792 (ornithorynque) S 26790 26792 25959 0 -1 4194304 3658 0 0 0 104171 10 0 0 18 0 3 0 331119442 57212928 3370 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 255245447035 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26792/statm: 13968 3370 387 42 0 8220 0
[pid=26792/tid=26794] ppid=26790 vsize=55872 CPUtime=521.96
/proc/26792/task/26794/stat : 26794 (ornithorynque) R 26790 26792 25959 0 -1 4194368 219 0 0 0 52192 4 0 0 25 0 3 0 331119460 57212928 3370 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242861 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26792/tid=26795] ppid=26790 vsize=55872 CPUtime=519.67
/proc/26792/task/26795/stat : 26795 (ornithorynque) R 26790 26792 25959 0 -1 4194368 72 0 0 0 51962 5 0 0 25 0 3 0 331119460 57212928 3370 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242628 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.81
Current children cumulated vsize (KiB) 55872

[startup+582.303 s]
/proc/loadavg: 1.99 1.97 1.91 4/80 26795
/proc/meminfo: memFree=1028952/2055920 swapFree=4169440/4192956
[pid=26792] ppid=26790 vsize=55872 CPUtime=1161.51
/proc/26792/stat : 26792 (ornithorynque) S 26790 26792 25959 0 -1 4194304 3678 0 0 0 116140 11 0 0 18 0 3 0 331119442 57212928 3390 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 255245447035 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26792/statm: 13968 3390 387 42 0 8220 0
[pid=26792/tid=26794] ppid=26790 vsize=55872 CPUtime=581.94
/proc/26792/task/26794/stat : 26794 (ornithorynque) R 26790 26792 25959 0 -1 4194368 225 0 0 0 58189 5 0 0 25 0 3 0 331119460 57212928 3390 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242826 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26792/tid=26795] ppid=26790 vsize=55872 CPUtime=579.38
/proc/26792/task/26795/stat : 26795 (ornithorynque) R 26790 26792 25959 0 -1 4194368 86 0 0 0 57933 5 0 0 25 0 3 0 331119460 57212928 3390 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242128 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.51
Current children cumulated vsize (KiB) 55872



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.602 s]
/proc/loadavg: 1.99 1.97 1.91 3/80 26795
/proc/meminfo: memFree=1028952/2055920 swapFree=4169440/4192956
[pid=26792] ppid=26790 vsize=56004 CPUtime=1200.04
/proc/26792/stat : 26792 (ornithorynque) S 26790 26792 25959 0 -1 4194304 3685 0 0 0 119992 12 0 0 18 0 3 0 331119442 57348096 3397 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 255245447035 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/26792/statm: 14001 3397 387 42 0 8253 0
[pid=26792/tid=26794] ppid=26790 vsize=56004 CPUtime=601.24
/proc/26792/task/26794/stat : 26794 (ornithorynque) R 26790 26792 25959 0 -1 4194368 228 0 0 0 60119 5 0 0 25 0 3 0 331119460 57348096 3397 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4238096 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=26792/tid=26795] ppid=26790 vsize=56004 CPUtime=598.6
/proc/26792/task/26795/stat : 26795 (ornithorynque) R 26790 26792 25959 0 -1 4194368 90 0 0 0 59855 5 0 0 25 0 3 0 331119460 57348096 3397 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242128 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.04
Current children cumulated vsize (KiB) 56004

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 601.621
CPU time (s): 1200.06
CPU user time (s): 1199.93
CPU system time (s): 0.123981
CPU usage (%): 199.471
Max. virtual memory (cumulated for all children) (KiB): 56004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.93
system time used= 0.123981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3685
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 25407

runsolver used 0.628904 second user time and 1.76973 second system time

The end

Launcher Data (download as text)

Begin job on node19 on Mon Mar  5 16:20:54 UTC 2007

IDJOB= 328470
IDBENCH= 20392
IDSOLVER= 139
FILE ID= node19/328470-1173111654

PBS_JOBID= 4013935

Free space on /tmp= 66522 MiB

SOLVER NAME= ornithorynque 0.1 alpha
BENCH NAME= HOME/pub/bench/SAT07/industrial/fuhs/medium/AProVE07-22.cnf
COMMAND LINE= /tmp/evaluation/328470-1173111654/ornithorynque /tmp/evaluation/328470-1173111654/instance-328470-1173111654.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node19/watcher-328470-1173111654 -o ROOT/results/node19/solver-328470-1173111654 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/328470-1173111654/ornithorynque /tmp/evaluation/328470-1173111654/instance-328470-1173111654.cnf            

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  3b3198fba6db1661781a1aa668754f11

RANDOM SEED= 877341140

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node19.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.214
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.214
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1041992 kB
Buffers:         50428 kB
Cached:         866556 kB
SwapCached:       2580 kB
Active:         249760 kB
Inactive:       690048 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1041992 kB
SwapTotal:     4192956 kB
SwapFree:      4169440 kB
Dirty:            1160 kB
Writeback:           0 kB
Mapped:          30124 kB
Slab:            59576 kB
Committed_AS:  1347024 kB
PageTables:       1756 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66522 MiB

End job on node19 on Mon Mar  5 16:30:58 UTC 2007