Trace number 337087

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.18 601.62

General information on the benchmark

Namecrafted/Hard/contest02/
pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf
MD5SUMad877d677446ba8c798f8e71c4c035c2
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark696.65
Satisfiable
(Un)Satisfiability was proved
Number of variables9638
Number of clauses31795
Sum of the clauses size82345
Maximum clause length3
Minimum clause length1
Number of clauses of size 183
Number of clauses of size 212874
Number of clauses of size 318838
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data (download as text)

0.00/0.01	c This is Ornithorynque version 0.1 alpha
0.00/0.01	c (c) roussel@cril.univ-artois.fr
0.00/0.01	c using unsigned short
0.00/0.01	c parsing...
0.02/0.07	c ...done
0.02/0.07	c nbVar=9638 nbClause=31795
0.02/0.09	c nbVar=9638 nbClause=31795
0.09/0.12	c complete search running
0.09/0.12	c local search running
0.09/0.13	c flip 0 nbSat=26095 maxSat=0
0.26/0.23	c flip 10000 nbSat=29732 maxSat=29748
0.46/0.34	c flip 20000 nbSat=30114 maxSat=30176
0.66/0.45	c flip 30000 nbSat=30245 maxSat=30348
0.86/0.56	c flip 40000 nbSat=30318 maxSat=30451
1.06/0.67	c flip 50000 nbSat=30547 maxSat=30550
1.26/0.78	c flip 60000 nbSat=30534 maxSat=30642
1.46/0.89	c flip 70000 nbSat=30605 maxSat=30696
1.87/1.00	c flip 80000 nbSat=30711 maxSat=30730
2.06/1.11	c flip 90000 nbSat=30613 maxSat=30735
2.26/1.22	c flip 100000 nbSat=30693 maxSat=30759
2.45/1.33	c flip 110000 nbSat=30796 maxSat=30844
2.65/1.44	c flip 120000 nbSat=30675 maxSat=30844
2.85/1.55	c flip 130000 nbSat=30689 maxSat=30844
3.05/1.66	c flip 140000 nbSat=30647 maxSat=30844
3.25/1.76	c flip 150000 nbSat=30708 maxSat=30864
3.45/1.87	c flip 160000 nbSat=30777 maxSat=30864
3.65/1.98	c flip 170000 nbSat=30713 maxSat=30875
3.85/2.09	c flip 180000 nbSat=30792 maxSat=30875
4.06/2.20	c flip 190000 nbSat=30812 maxSat=30881
4.26/2.24	c flip 0 nbSat=26377 maxSat=30881
4.45/2.34	c flip 10000 nbSat=29893 maxSat=30881
4.65/2.45	c flip 20000 nbSat=30312 maxSat=30881
4.85/2.56	c flip 30000 nbSat=30494 maxSat=30881
5.05/2.67	c flip 40000 nbSat=30612 maxSat=30881
5.25/2.78	c flip 50000 nbSat=30654 maxSat=30881
5.45/2.89	c flip 60000 nbSat=30621 maxSat=30881
5.65/3.00	c flip 70000 nbSat=30861 maxSat=30890
6.05/3.11	c flip 80000 nbSat=30811 maxSat=30918
6.25/3.22	c flip 90000 nbSat=30846 maxSat=30944
6.45/3.33	c flip 100000 nbSat=30792 maxSat=30944
6.64/3.44	c flip 110000 nbSat=30916 maxSat=30959
6.85/3.55	c flip 120000 nbSat=30919 maxSat=30987
7.05/3.66	c flip 130000 nbSat=30926 maxSat=30987
7.25/3.76	c flip 140000 nbSat=30914 maxSat=30993
7.45/3.87	c flip 150000 nbSat=30853 maxSat=30993
7.65/3.97	c flip 160000 nbSat=30833 maxSat=31019
7.85/4.08	c flip 170000 nbSat=31027 maxSat=31067
8.05/4.18	c flip 180000 nbSat=30952 maxSat=31077
8.25/4.28	c flip 190000 nbSat=30901 maxSat=31077
8.45/4.33	c flip 0 nbSat=26344 maxSat=31077
8.65/4.42	c flip 10000 nbSat=29911 maxSat=31077
8.84/4.54	c flip 20000 nbSat=30268 maxSat=31077
9.04/4.65	c flip 30000 nbSat=30439 maxSat=31077
9.24/4.76	c flip 40000 nbSat=30636 maxSat=31077
9.44/4.87	c flip 50000 nbSat=30701 maxSat=31077
9.64/4.99	c flip 60000 nbSat=30716 maxSat=31077
9.84/5.10	c flip 70000 nbSat=30779 maxSat=31077
10.24/5.21	c flip 80000 nbSat=30942 maxSat=31077
10.44/5.32	c flip 90000 nbSat=30952 maxSat=31077
10.65/5.43	c flip 100000 nbSat=30921 maxSat=31077
10.85/5.54	c flip 110000 nbSat=30949 maxSat=31077
11.04/5.64	c flip 120000 nbSat=30987 maxSat=31077
11.24/5.75	c flip 130000 nbSat=30903 maxSat=31077
11.44/5.87	c flip 140000 nbSat=30943 maxSat=31077
11.64/5.97	c flip 150000 nbSat=30846 maxSat=31077
11.84/6.08	c flip 160000 nbSat=30957 maxSat=31077
12.04/6.19	c flip 170000 nbSat=31019 maxSat=31077
12.24/6.29	c flip 180000 nbSat=30991 maxSat=31082
12.64/6.40	c flip 190000 nbSat=30934 maxSat=31082
12.64/6.44	c flip 0 nbSat=26304 maxSat=31082
12.85/6.54	c flip 10000 nbSat=29875 maxSat=31082
13.05/6.66	c flip 20000 nbSat=30144 maxSat=31082
13.24/6.77	c flip 30000 nbSat=30472 maxSat=31082
13.44/6.88	c flip 40000 nbSat=30702 maxSat=31082
13.64/7.00	c flip 50000 nbSat=30578 maxSat=31082
14.04/7.11	c flip 60000 nbSat=30756 maxSat=31082
14.24/7.23	c flip 70000 nbSat=30746 maxSat=31082
14.44/7.35	c flip 80000 nbSat=30784 maxSat=31082
14.64/7.46	c flip 90000 nbSat=30864 maxSat=31082
14.84/7.56	c flip 100000 nbSat=30953 maxSat=31082
15.04/7.67	c flip 110000 nbSat=30969 maxSat=31082
15.24/7.78	c flip 120000 nbSat=30910 maxSat=31082
15.43/7.89	c flip 130000 nbSat=30960 maxSat=31082
15.63/7.99	c flip 140000 nbSat=30927 maxSat=31082
16.03/8.10	c flip 150000 nbSat=30981 maxSat=31087
16.23/8.20	c flip 160000 nbSat=30987 maxSat=31107
16.43/8.31	c flip 170000 nbSat=31025 maxSat=31107
16.63/8.42	c flip 180000 nbSat=31010 maxSat=31107
16.83/8.53	c flip 190000 nbSat=30990 maxSat=31107
16.83/8.56	c flip 0 nbSat=26631 maxSat=31107
17.03/8.67	c flip 10000 nbSat=30045 maxSat=31107
17.24/8.79	c flip 20000 nbSat=30450 maxSat=31107
17.63/8.91	c flip 30000 nbSat=30539 maxSat=31107
17.83/9.02	c flip 40000 nbSat=30683 maxSat=31107
18.03/9.13	c flip 50000 nbSat=30811 maxSat=31107
18.23/9.25	c flip 60000 nbSat=30836 maxSat=31107
18.43/9.36	c flip 70000 nbSat=30831 maxSat=31107
18.63/9.47	c flip 80000 nbSat=30923 maxSat=31107
18.83/9.59	c flip 90000 nbSat=30923 maxSat=31107
19.23/9.70	c flip 100000 nbSat=31050 maxSat=31107
19.43/9.82	c flip 110000 nbSat=31020 maxSat=31107
19.63/9.93	c flip 120000 nbSat=30956 maxSat=31107
19.82/10.05	c flip 130000 nbSat=30912 maxSat=31107
20.02/10.16	c flip 140000 nbSat=30994 maxSat=31118
20.22/10.27	c flip 150000 nbSat=30954 maxSat=31118
20.42/10.38	c flip 160000 nbSat=31008 maxSat=31118
20.62/10.50	c flip 170000 nbSat=31048 maxSat=31118
21.02/10.61	c flip 180000 nbSat=31089 maxSat=31123
21.22/10.72	c flip 190000 nbSat=31019 maxSat=31133
21.22/10.76	c flip 0 nbSat=26386 maxSat=31140
21.42/10.86	c flip 10000 nbSat=30040 maxSat=31140
21.62/10.98	c flip 20000 nbSat=30343 maxSat=31140
22.01/11.10	c flip 30000 nbSat=30592 maxSat=31140
22.21/11.22	c flip 40000 nbSat=30700 maxSat=31140
22.41/11.34	c flip 50000 nbSat=30749 maxSat=31140
22.61/11.45	c flip 60000 nbSat=30875 maxSat=31140
22.81/11.56	c flip 70000 nbSat=30914 maxSat=31140
23.01/11.68	c flip 80000 nbSat=31010 maxSat=31140
23.21/11.79	c flip 90000 nbSat=30985 maxSat=31140
23.61/11.91	c flip 100000 nbSat=30983 maxSat=31140
23.82/12.02	c flip 110000 nbSat=30977 maxSat=31140
24.02/12.13	c flip 120000 nbSat=30993 maxSat=31140
24.21/12.25	c flip 130000 nbSat=31042 maxSat=31155
24.41/12.36	c flip 140000 nbSat=31123 maxSat=31188
24.61/12.47	c flip 150000 nbSat=31135 maxSat=31190
24.81/12.59	c flip 160000 nbSat=31150 maxSat=31232
25.21/12.70	c flip 170000 nbSat=31213 maxSat=31233
25.41/12.82	c flip 180000 nbSat=31113 maxSat=31233
25.61/12.93	c flip 190000 nbSat=31139 maxSat=31233
25.61/12.97	c flip 0 nbSat=26333 maxSat=31233
25.81/13.08	c flip 10000 nbSat=30013 maxSat=31233
26.01/13.20	c flip 20000 nbSat=30377 maxSat=31233
26.40/13.32	c flip 30000 nbSat=30662 maxSat=31233
26.60/13.43	c flip 40000 nbSat=30709 maxSat=31233
26.80/13.54	c flip 50000 nbSat=30781 maxSat=31233
27.00/13.66	c flip 60000 nbSat=30813 maxSat=31233
27.20/13.77	c flip 70000 nbSat=30897 maxSat=31233
27.40/13.88	c flip 80000 nbSat=30862 maxSat=31233
27.60/13.99	c flip 90000 nbSat=30992 maxSat=31233
28.00/14.11	c flip 100000 nbSat=31011 maxSat=31233
28.21/14.22	c flip 110000 nbSat=31017 maxSat=31233
28.41/14.34	c flip 120000 nbSat=30959 maxSat=31233
28.60/14.45	c flip 130000 nbSat=30896 maxSat=31233
28.80/14.57	c flip 140000 nbSat=30998 maxSat=31233
29.00/14.68	c flip 150000 nbSat=31092 maxSat=31233
29.20/14.79	c flip 160000 nbSat=31051 maxSat=31233
29.60/14.91	c flip 170000 nbSat=31121 maxSat=31233
29.80/15.02	c flip 180000 nbSat=31152 maxSat=31233
30.00/15.13	c flip 190000 nbSat=31027 maxSat=31233
30.00/15.17	c flip 0 nbSat=26466 maxSat=31233
30.20/15.28	c flip 10000 nbSat=30016 maxSat=31233
30.40/15.40	c flip 20000 nbSat=30540 maxSat=31233
30.80/15.52	c flip 30000 nbSat=30710 maxSat=31233
31.00/15.64	c flip 40000 nbSat=30968 maxSat=31233
31.20/15.75	c flip 50000 nbSat=30946 maxSat=31233
31.40/15.87	c flip 60000 nbSat=31001 maxSat=31233
31.60/15.98	c flip 70000 nbSat=31017 maxSat=31233
31.80/16.10	c flip 80000 nbSat=31095 maxSat=31233
32.20/16.21	c flip 90000 nbSat=31027 maxSat=31233
32.40/16.33	c flip 100000 nbSat=31068 maxSat=31233
32.60/16.45	c flip 110000 nbSat=31092 maxSat=31233
32.80/16.56	c flip 120000 nbSat=31051 maxSat=31233
32.99/16.68	c flip 130000 nbSat=31121 maxSat=31233
33.19/16.79	c flip 140000 nbSat=31150 maxSat=31233
33.59/16.90	c flip 150000 nbSat=31223 maxSat=31288
33.79/17.02	c flip 160000 nbSat=31137 maxSat=31288
33.99/17.14	c flip 170000 nbSat=31187 maxSat=31288
34.19/17.26	c flip 180000 nbSat=31055 maxSat=31288
34.39/17.38	c flip 190000 nbSat=31118 maxSat=31288
34.59/17.42	c flip 0 nbSat=26461 maxSat=31288
34.80/17.53	c flip 10000 nbSat=30181 maxSat=31288
34.99/17.65	c flip 20000 nbSat=30549 maxSat=31288
35.19/17.77	c flip 30000 nbSat=30627 maxSat=31288
35.39/17.89	c flip 40000 nbSat=30799 maxSat=31288
35.79/18.02	c flip 50000 nbSat=30882 maxSat=31288
35.99/18.14	c flip 60000 nbSat=30956 maxSat=31288
36.19/18.27	c flip 70000 nbSat=30994 maxSat=31288
36.39/18.39	c flip 80000 nbSat=30998 maxSat=31288
36.78/18.51	c flip 90000 nbSat=31021 maxSat=31288
36.99/18.64	c flip 100000 nbSat=31060 maxSat=31288
37.19/18.77	c flip 110000 nbSat=30999 maxSat=31288
37.38/18.89	c flip 120000 nbSat=31100 maxSat=31288
37.78/19.02	c flip 130000 nbSat=31159 maxSat=31288
37.98/19.14	c flip 140000 nbSat=31116 maxSat=31288
38.18/19.26	c flip 150000 nbSat=31079 maxSat=31288
38.38/19.38	c flip 160000 nbSat=31081 maxSat=31288
38.78/19.50	c flip 170000 nbSat=31146 maxSat=31288
38.98/19.62	c flip 180000 nbSat=31078 maxSat=31288
39.18/19.75	c flip 190000 nbSat=31091 maxSat=31288
39.18/19.79	c flip 0 nbSat=26699 maxSat=31288
39.57/19.91	c flip 10000 nbSat=30266 maxSat=31288
39.77/20.05	c flip 20000 nbSat=30522 maxSat=31288
39.97/20.19	c flip 30000 nbSat=30757 maxSat=31288
40.37/20.33	c flip 40000 nbSat=30847 maxSat=31288
40.57/20.46	c flip 50000 nbSat=30994 maxSat=31288
40.77/20.59	c flip 60000 nbSat=30983 maxSat=31288
41.17/20.72	c flip 70000 nbSat=30945 maxSat=31288
41.38/20.86	c flip 80000 nbSat=30945 maxSat=31288
41.77/21.00	c flip 90000 nbSat=30993 maxSat=31288
41.97/21.13	c flip 100000 nbSat=31035 maxSat=31288
42.17/21.27	c flip 110000 nbSat=31061 maxSat=31288
42.57/21.40	c flip 120000 nbSat=31100 maxSat=31288
42.77/21.53	c flip 130000 nbSat=31115 maxSat=31288
42.96/21.65	c flip 140000 nbSat=31170 maxSat=31288
43.16/21.78	c flip 150000 nbSat=31167 maxSat=31288
43.57/21.91	c flip 160000 nbSat=31208 maxSat=31300
43.77/22.03	c flip 170000 nbSat=31202 maxSat=31325
43.96/22.16	c flip 180000 nbSat=31250 maxSat=31361
44.16/22.29	c flip 190000 nbSat=31320 maxSat=31361
44.36/22.34	c flip 0 nbSat=26684 maxSat=31361
44.56/22.46	c flip 10000 nbSat=30157 maxSat=31361
44.96/22.60	c flip 20000 nbSat=30597 maxSat=31361
45.16/22.73	c flip 30000 nbSat=30782 maxSat=31361
45.36/22.87	c flip 40000 nbSat=30941 maxSat=31361
45.77/23.01	c flip 50000 nbSat=30942 maxSat=31361
45.96/23.15	c flip 60000 nbSat=30919 maxSat=31361
46.16/23.28	c flip 70000 nbSat=31082 maxSat=31361
46.56/23.42	c flip 80000 nbSat=31083 maxSat=31361
46.75/23.56	c flip 90000 nbSat=31075 maxSat=31361
46.95/23.70	c flip 100000 nbSat=31179 maxSat=31361
47.35/23.83	c flip 110000 nbSat=31102 maxSat=31361
47.55/23.96	c flip 120000 nbSat=31177 maxSat=31361
47.75/24.09	c flip 130000 nbSat=31172 maxSat=31361
48.16/24.23	c flip 140000 nbSat=31159 maxSat=31361
48.35/24.36	c flip 150000 nbSat=31214 maxSat=31361
48.55/24.50	c flip 160000 nbSat=31267 maxSat=31361
48.95/24.63	c flip 170000 nbSat=31157 maxSat=31361
49.15/24.76	c flip 180000 nbSat=31179 maxSat=31361
49.35/24.89	c flip 190000 nbSat=31350 maxSat=31361
49.55/24.93	c flip 0 nbSat=26519 maxSat=31392
49.75/25.05	c flip 10000 nbSat=30268 maxSat=31392
49.95/25.18	c flip 20000 nbSat=30775 maxSat=31392
50.36/25.32	c flip 30000 nbSat=30914 maxSat=31392
50.55/25.45	c flip 40000 nbSat=30995 maxSat=31392
50.75/25.59	c flip 50000 nbSat=31026 maxSat=31392
51.15/25.73	c flip 60000 nbSat=31082 maxSat=31392
51.35/25.86	c flip 70000 nbSat=31201 maxSat=31392
51.55/26.00	c flip 80000 nbSat=31202 maxSat=31392
51.95/26.13	c flip 90000 nbSat=31257 maxSat=31392
52.15/26.27	c flip 100000 nbSat=31264 maxSat=31392
52.55/26.42	c flip 110000 nbSat=31263 maxSat=31392
52.74/26.55	c flip 120000 nbSat=31238 maxSat=31392
52.94/26.68	c flip 130000 nbSat=31264 maxSat=31392
53.34/26.81	c flip 140000 nbSat=31227 maxSat=31392
53.54/26.95	c flip 150000 nbSat=31278 maxSat=31392
53.74/27.08	c flip 160000 nbSat=31301 maxSat=31392
54.14/27.21	c flip 170000 nbSat=31256 maxSat=31392
54.34/27.35	c flip 180000 nbSat=31247 maxSat=31392
54.54/27.49	c flip 190000 nbSat=31267 maxSat=31392
54.74/27.54	c flip 0 nbSat=26644 maxSat=31392
54.94/27.66	c flip 10000 nbSat=30347 maxSat=31392
55.34/27.80	c flip 20000 nbSat=30662 maxSat=31392
55.54/27.94	c flip 30000 nbSat=30875 maxSat=31392
55.74/28.08	c flip 40000 nbSat=30972 maxSat=31392
56.14/28.23	c flip 50000 nbSat=30993 maxSat=31392
56.34/28.36	c flip 60000 nbSat=31169 maxSat=31392
56.74/28.50	c flip 70000 nbSat=31120 maxSat=31392
56.94/28.64	c flip 80000 nbSat=31233 maxSat=31392
57.13/28.78	c flip 90000 nbSat=31218 maxSat=31392
57.53/28.92	c flip 100000 nbSat=31133 maxSat=31392
57.73/29.06	c flip 110000 nbSat=31196 maxSat=31392
58.13/29.20	c flip 120000 nbSat=31349 maxSat=31392
58.33/29.34	c flip 130000 nbSat=31305 maxSat=31392
58.53/29.47	c flip 140000 nbSat=31313 maxSat=31392
58.93/29.62	c flip 150000 nbSat=31338 maxSat=31403
59.13/29.75	c flip 160000 nbSat=31297 maxSat=31403
59.33/29.89	c flip 170000 nbSat=31275 maxSat=31403
59.72/30.03	c flip 180000 nbSat=31329 maxSat=31411
59.92/30.16	c flip 190000 nbSat=31287 maxSat=31411
60.12/30.21	c flip 0 nbSat=26545 maxSat=31413
60.32/30.33	c flip 10000 nbSat=30326 maxSat=31413
60.52/30.46	c flip 20000 nbSat=30758 maxSat=31413
60.92/30.60	c flip 30000 nbSat=30838 maxSat=31413
61.13/30.74	c flip 40000 nbSat=30930 maxSat=31413
61.33/30.88	c flip 50000 nbSat=31069 maxSat=31413
61.72/31.02	c flip 60000 nbSat=31165 maxSat=31413
61.92/31.17	c flip 70000 nbSat=31091 maxSat=31413
62.32/31.31	c flip 80000 nbSat=31306 maxSat=31413
62.52/31.45	c flip 90000 nbSat=31245 maxSat=31413
62.72/31.58	c flip 100000 nbSat=31340 maxSat=31413
63.12/31.71	c flip 110000 nbSat=31191 maxSat=31439
63.32/31.84	c flip 120000 nbSat=31271 maxSat=31439
63.52/31.97	c flip 130000 nbSat=31322 maxSat=31439
63.91/32.11	c flip 140000 nbSat=31389 maxSat=31450
64.11/32.24	c flip 150000 nbSat=31371 maxSat=31470
64.31/32.38	c flip 160000 nbSat=31375 maxSat=31470
64.70/32.51	c flip 170000 nbSat=31426 maxSat=31477
64.90/32.65	c flip 180000 nbSat=31346 maxSat=31477
65.10/32.78	c flip 190000 nbSat=31354 maxSat=31477
65.30/32.82	c flip 0 nbSat=26636 maxSat=31477
65.51/32.95	c flip 10000 nbSat=30214 maxSat=31477
65.71/33.09	c flip 20000 nbSat=30579 maxSat=31477
66.10/33.24	c flip 30000 nbSat=30940 maxSat=31477
66.30/33.38	c flip 40000 nbSat=30959 maxSat=31477
66.70/33.53	c flip 50000 nbSat=31139 maxSat=31477
66.90/33.67	c flip 60000 nbSat=31158 maxSat=31477
67.30/33.80	c flip 70000 nbSat=31219 maxSat=31477
67.50/33.94	c flip 80000 nbSat=31280 maxSat=31477
67.70/34.10	c flip 90000 nbSat=31213 maxSat=31477
68.09/34.24	c flip 100000 nbSat=31163 maxSat=31477
68.29/34.39	c flip 110000 nbSat=31222 maxSat=31477
68.69/34.54	c flip 120000 nbSat=31243 maxSat=31477
68.89/34.69	c flip 130000 nbSat=31204 maxSat=31477
69.29/34.83	c flip 140000 nbSat=31262 maxSat=31477
69.49/34.97	c flip 150000 nbSat=31276 maxSat=31477
69.90/35.11	c flip 160000 nbSat=31331 maxSat=31477
70.10/35.25	c flip 170000 nbSat=31377 maxSat=31483
70.29/35.39	c flip 180000 nbSat=31387 maxSat=31486
70.69/35.53	c flip 190000 nbSat=31404 maxSat=31495
70.69/35.58	c flip 0 nbSat=26569 maxSat=31495
71.09/35.71	c flip 10000 nbSat=30221 maxSat=31495
71.29/35.85	c flip 20000 nbSat=30541 maxSat=31495
71.49/36.00	c flip 30000 nbSat=30861 maxSat=31495
71.89/36.14	c flip 40000 nbSat=30861 maxSat=31495
72.09/36.29	c flip 50000 nbSat=30962 maxSat=31495
72.48/36.43	c flip 60000 nbSat=30990 maxSat=31495
72.68/36.58	c flip 70000 nbSat=31093 maxSat=31495
73.08/36.73	c flip 80000 nbSat=31085 maxSat=31495
73.28/36.87	c flip 90000 nbSat=31185 maxSat=31495
73.68/37.02	c flip 100000 nbSat=31222 maxSat=31495
73.88/37.16	c flip 110000 nbSat=31355 maxSat=31495
74.29/37.31	c flip 120000 nbSat=31254 maxSat=31495
74.48/37.46	c flip 130000 nbSat=31346 maxSat=31495
74.88/37.61	c flip 140000 nbSat=31327 maxSat=31495
75.08/37.76	c flip 150000 nbSat=31341 maxSat=31495
75.47/37.90	c flip 160000 nbSat=31229 maxSat=31495
75.67/38.04	c flip 170000 nbSat=31253 maxSat=31495
75.87/38.19	c flip 180000 nbSat=31364 maxSat=31495
76.27/38.34	c flip 190000 nbSat=31314 maxSat=31495
76.27/38.39	c flip 0 nbSat=26724 maxSat=31495
76.68/38.52	c flip 10000 nbSat=30298 maxSat=31495
76.87/38.66	c flip 20000 nbSat=30757 maxSat=31495
77.27/38.81	c flip 30000 nbSat=30904 maxSat=31495
77.47/38.96	c flip 40000 nbSat=31056 maxSat=31495
77.87/39.11	c flip 50000 nbSat=31124 maxSat=31495
78.07/39.25	c flip 60000 nbSat=31190 maxSat=31495
78.27/39.40	c flip 70000 nbSat=31169 maxSat=31495
78.67/39.55	c flip 80000 nbSat=31262 maxSat=31495
78.87/39.70	c flip 90000 nbSat=31247 maxSat=31495
79.26/39.84	c flip 100000 nbSat=31339 maxSat=31495
79.46/39.99	c flip 110000 nbSat=31339 maxSat=31495
79.86/40.14	c flip 120000 nbSat=31384 maxSat=31495
80.06/40.29	c flip 130000 nbSat=31419 maxSat=31495
80.46/40.43	c flip 140000 nbSat=31421 maxSat=31495
80.66/40.58	c flip 150000 nbSat=31380 maxSat=31495
81.07/40.73	c flip 160000 nbSat=31332 maxSat=31495
81.26/40.87	c flip 170000 nbSat=31398 maxSat=31495
81.66/41.02	c flip 180000 nbSat=31440 maxSat=31504
81.86/41.17	c flip 190000 nbSat=31496 maxSat=31537
82.06/41.21	c flip 0 nbSat=26660 maxSat=31537
82.26/41.35	c flip 10000 nbSat=30321 maxSat=31537
82.45/41.49	c flip 20000 nbSat=30553 maxSat=31537
82.85/41.64	c flip 30000 nbSat=30831 maxSat=31537
83.25/41.81	c flip 40000 nbSat=30963 maxSat=31537
83.45/41.96	c flip 50000 nbSat=31001 maxSat=31537
83.85/42.12	c flip 60000 nbSat=31035 maxSat=31537
84.05/42.28	c flip 70000 nbSat=31027 maxSat=31537
84.45/42.43	c flip 80000 nbSat=31123 maxSat=31537
84.65/42.58	c flip 90000 nbSat=31163 maxSat=31537
85.05/42.73	c flip 100000 nbSat=31301 maxSat=31537
85.26/42.88	c flip 110000 nbSat=31299 maxSat=31537
85.65/43.03	c flip 120000 nbSat=31315 maxSat=31537
85.85/43.18	c flip 130000 nbSat=31300 maxSat=31537
86.25/43.33	c flip 140000 nbSat=31331 maxSat=31537
86.45/43.47	c flip 150000 nbSat=31382 maxSat=31537
86.85/43.60	c flip 160000 nbSat=31324 maxSat=31537
87.05/43.75	c flip 170000 nbSat=31396 maxSat=31537
87.45/43.90	c flip 180000 nbSat=31375 maxSat=31537
87.65/44.05	c flip 190000 nbSat=31400 maxSat=31537
87.84/44.11	c flip 0 nbSat=26903 maxSat=31537
88.04/44.23	c flip 10000 nbSat=30279 maxSat=31537
88.24/44.39	c flip 20000 nbSat=30756 maxSat=31537
88.64/44.54	c flip 30000 nbSat=31005 maxSat=31537
88.84/44.69	c flip 40000 nbSat=31200 maxSat=31537
89.24/44.85	c flip 50000 nbSat=31182 maxSat=31537
89.65/45.02	c flip 60000 nbSat=31135 maxSat=31537
89.85/45.18	c flip 70000 nbSat=31294 maxSat=31537
90.24/45.33	c flip 80000 nbSat=31337 maxSat=31537
90.44/45.48	c flip 90000 nbSat=31358 maxSat=31537
90.84/45.62	c flip 100000 nbSat=31356 maxSat=31537
91.04/45.78	c flip 110000 nbSat=31378 maxSat=31537
91.44/45.93	c flip 120000 nbSat=31455 maxSat=31537
91.64/46.09	c flip 130000 nbSat=31443 maxSat=31537
92.04/46.24	c flip 140000 nbSat=31417 maxSat=31537
92.43/46.40	c flip 150000 nbSat=31389 maxSat=31537
92.63/46.56	c flip 160000 nbSat=31379 maxSat=31537
93.03/46.72	c flip 170000 nbSat=31442 maxSat=31537
93.23/46.87	c flip 180000 nbSat=31513 maxSat=31577
93.63/47.03	c flip 190000 nbSat=31516 maxSat=31599
93.63/47.08	c flip 0 nbSat=27256 maxSat=31599
94.03/47.24	c flip 10000 nbSat=30699 maxSat=31599
94.43/47.40	c flip 20000 nbSat=31296 maxSat=31599
94.63/47.57	c flip 30000 nbSat=31516 maxSat=31599
95.02/47.74	c flip 40000 nbSat=31610 maxSat=31662
95.42/47.91	c flip 50000 nbSat=31606 maxSat=31765
95.62/48.07	c flip 60000 nbSat=31737 maxSat=31811
96.02/48.24	c flip 70000 nbSat=31649 maxSat=31865
96.43/48.42	c flip 80000 nbSat=31725 maxSat=31890
96.82/48.60	c flip 90000 nbSat=31822 maxSat=31899
97.02/48.78	c flip 100000 nbSat=31777 maxSat=31915
97.42/48.96	c flip 110000 nbSat=31765 maxSat=31931
97.82/49.13	c flip 120000 nbSat=31784 maxSat=31931
98.22/49.31	c flip 130000 nbSat=31902 maxSat=31931
98.42/49.48	c flip 140000 nbSat=31909 maxSat=31980
98.81/49.64	c flip 150000 nbSat=31824 maxSat=32003
99.21/49.80	c flip 160000 nbSat=31810 maxSat=32003
99.41/49.97	c flip 170000 nbSat=31951 maxSat=32003
99.81/50.13	c flip 180000 nbSat=31789 maxSat=32003
100.01/50.29	c flip 190000 nbSat=31936 maxSat=32003
100.21/50.34	c flip 0 nbSat=28159 maxSat=32003
100.41/50.49	c flip 10000 nbSat=31728 maxSat=32003
100.82/50.68	c flip 20000 nbSat=32169 maxSat=32179
101.21/50.87	c flip 30000 nbSat=32393 maxSat=32421
101.61/51.06	c flip 40000 nbSat=32447 maxSat=32565
102.01/51.25	c flip 50000 nbSat=32510 maxSat=32609
102.41/51.44	c flip 60000 nbSat=32625 maxSat=32726
102.82/51.63	c flip 70000 nbSat=32663 maxSat=32759
103.21/51.81	c flip 80000 nbSat=32749 maxSat=32808
103.61/52.01	c flip 90000 nbSat=32750 maxSat=32821
103.81/52.20	c flip 100000 nbSat=32692 maxSat=32821
104.21/52.39	c flip 110000 nbSat=32774 maxSat=32821
104.61/52.58	c flip 120000 nbSat=32825 maxSat=32858
105.01/52.79	c flip 130000 nbSat=32894 maxSat=32916
105.40/52.98	c flip 140000 nbSat=32824 maxSat=32917
105.80/53.19	c flip 150000 nbSat=32850 maxSat=32920
106.40/53.40	c flip 160000 nbSat=32798 maxSat=32920
106.80/53.61	c flip 170000 nbSat=32854 maxSat=32954
107.20/53.81	c flip 180000 nbSat=32851 maxSat=32954
107.59/54.00	c flip 190000 nbSat=32892 maxSat=32967
107.59/54.07	c flip 0 nbSat=28194 maxSat=32967
107.99/54.23	c flip 10000 nbSat=31639 maxSat=32967
108.39/54.43	c flip 20000 nbSat=32169 maxSat=32967
108.79/54.62	c flip 30000 nbSat=32332 maxSat=32967
109.19/54.83	c flip 40000 nbSat=32449 maxSat=32967
109.60/55.03	c flip 50000 nbSat=32657 maxSat=32967
109.99/55.23	c flip 60000 nbSat=32638 maxSat=32967
110.39/55.43	c flip 70000 nbSat=32676 maxSat=32967
110.79/55.62	c flip 80000 nbSat=32730 maxSat=32967
111.19/55.82	c flip 90000 nbSat=32698 maxSat=32967
111.39/55.99	c nbDecision=10000 #clauses=34342
111.59/56.02	c flip 100000 nbSat=32756 maxSat=32967
111.98/56.22	c flip 110000 nbSat=32768 maxSat=32967
112.38/56.42	c flip 120000 nbSat=32856 maxSat=32967
112.78/56.62	c flip 130000 nbSat=32882 maxSat=32967
113.18/56.82	c flip 140000 nbSat=32871 maxSat=32967
113.58/57.02	c flip 150000 nbSat=32911 maxSat=32967
113.99/57.23	c flip 160000 nbSat=32900 maxSat=32996
114.38/57.44	c flip 170000 nbSat=32934 maxSat=33015
114.78/57.64	c flip 180000 nbSat=32855 maxSat=33015
115.18/57.83	c flip 190000 nbSat=32892 maxSat=33015
115.18/57.90	c flip 0 nbSat=29115 maxSat=33015
115.58/58.07	c flip 10000 nbSat=32804 maxSat=33015
115.98/58.29	c flip 20000 nbSat=33238 maxSat=33346
116.57/58.50	c flip 30000 nbSat=33492 maxSat=33499
116.97/58.71	c flip 40000 nbSat=33608 maxSat=33670
117.37/58.93	c flip 50000 nbSat=33688 maxSat=33747
117.78/59.14	c flip 60000 nbSat=33830 maxSat=33871
118.18/59.36	c flip 70000 nbSat=33791 maxSat=33938
118.57/59.59	c flip 80000 nbSat=33802 maxSat=33959
119.17/59.83	c flip 90000 nbSat=33882 maxSat=33984
119.57/60.07	c flip 100000 nbSat=33948 maxSat=34015
119.97/60.29	c flip 110000 nbSat=33902 maxSat=34040
120.57/60.52	c flip 120000 nbSat=33927 maxSat=34040
120.96/60.75	c flip 130000 nbSat=33955 maxSat=34043
121.36/60.97	c flip 140000 nbSat=33939 maxSat=34063
121.76/61.19	c flip 150000 nbSat=33994 maxSat=34072
122.36/61.41	c flip 160000 nbSat=33960 maxSat=34085
122.77/61.65	c flip 170000 nbSat=33929 maxSat=34085
123.16/61.89	c flip 180000 nbSat=33955 maxSat=34111
123.76/62.12	c flip 190000 nbSat=34084 maxSat=34118
123.76/62.19	c flip 0 nbSat=29468 maxSat=34118
124.16/62.37	c flip 10000 nbSat=32814 maxSat=34118
124.56/62.58	c flip 20000 nbSat=33345 maxSat=34118
124.96/62.80	c flip 30000 nbSat=33600 maxSat=34118
125.55/63.02	c flip 40000 nbSat=33636 maxSat=34118
125.95/63.24	c flip 50000 nbSat=33711 maxSat=34118
126.35/63.46	c flip 60000 nbSat=33808 maxSat=34118
126.75/63.69	c flip 70000 nbSat=33845 maxSat=34118
127.35/63.92	c flip 80000 nbSat=33936 maxSat=34118
127.75/64.15	c flip 90000 nbSat=33877 maxSat=34118
128.15/64.38	c flip 100000 nbSat=33995 maxSat=34118
128.75/64.62	c flip 110000 nbSat=33959 maxSat=34118
129.15/64.86	c flip 120000 nbSat=33971 maxSat=34118
129.54/65.09	c flip 130000 nbSat=33930 maxSat=34118
130.14/65.32	c flip 140000 nbSat=33984 maxSat=34118
130.54/65.55	c flip 150000 nbSat=34053 maxSat=34131
130.94/65.78	c flip 160000 nbSat=34043 maxSat=34138
131.54/66.01	c flip 170000 nbSat=34035 maxSat=34140
131.94/66.24	c flip 180000 nbSat=34131 maxSat=34172
132.34/66.47	c flip 190000 nbSat=34073 maxSat=34217
132.54/66.55	c flip 0 nbSat=29299 maxSat=34217
132.94/66.72	c flip 10000 nbSat=32834 maxSat=34217
133.34/66.93	c flip 20000 nbSat=33318 maxSat=34217
133.74/67.17	c flip 30000 nbSat=33599 maxSat=34217
134.33/67.40	c flip 40000 nbSat=33641 maxSat=34217
134.73/67.62	c flip 50000 nbSat=33775 maxSat=34217
135.13/67.85	c flip 60000 nbSat=33820 maxSat=34217
135.53/68.08	c flip 70000 nbSat=33942 maxSat=34217
136.13/68.31	c flip 80000 nbSat=34059 maxSat=34217
136.53/68.53	c flip 90000 nbSat=34017 maxSat=34217
136.93/68.75	c flip 100000 nbSat=34038 maxSat=34217
137.33/68.98	c flip 110000 nbSat=34032 maxSat=34217
137.93/69.22	c flip 120000 nbSat=34057 maxSat=34217
138.32/69.44	c flip 130000 nbSat=34009 maxSat=34217
138.72/69.66	c flip 140000 nbSat=34109 maxSat=34217
139.12/69.88	c flip 150000 nbSat=34125 maxSat=34217
139.72/70.11	c flip 160000 nbSat=34104 maxSat=34217
140.13/70.33	c flip 170000 nbSat=34032 maxSat=34217
140.52/70.55	c flip 180000 nbSat=34038 maxSat=34217
140.92/70.77	c flip 190000 nbSat=34083 maxSat=34217
141.12/70.84	c flip 0 nbSat=29196 maxSat=34217
141.52/71.02	c flip 10000 nbSat=32836 maxSat=34217
141.92/71.22	c flip 20000 nbSat=33282 maxSat=34217
142.32/71.45	c flip 30000 nbSat=33580 maxSat=34217
142.71/71.67	c flip 40000 nbSat=33770 maxSat=34217
143.11/71.89	c flip 50000 nbSat=33903 maxSat=34217
143.71/72.11	c flip 60000 nbSat=33966 maxSat=34217
144.11/72.33	c flip 70000 nbSat=33981 maxSat=34217
144.51/72.56	c flip 80000 nbSat=34001 maxSat=34217
144.90/72.78	c flip 90000 nbSat=34022 maxSat=34217
145.50/73.02	c flip 100000 nbSat=34021 maxSat=34217
145.90/73.24	c flip 110000 nbSat=34052 maxSat=34217
146.30/73.46	c flip 120000 nbSat=34121 maxSat=34217
146.71/73.68	c flip 130000 nbSat=34119 maxSat=34217
147.10/73.89	c flip 140000 nbSat=34045 maxSat=34217
147.70/74.11	c flip 150000 nbSat=34183 maxSat=34242
148.10/74.34	c flip 160000 nbSat=34125 maxSat=34262
148.50/74.56	c flip 170000 nbSat=34185 maxSat=34276
148.90/74.78	c flip 180000 nbSat=34154 maxSat=34276
149.49/75.01	c flip 190000 nbSat=34215 maxSat=34276
149.49/75.08	c flip 0 nbSat=29168 maxSat=34276
149.89/75.26	c flip 10000 nbSat=32778 maxSat=34276
150.29/75.48	c flip 20000 nbSat=33301 maxSat=34276
150.89/75.71	c flip 30000 nbSat=33557 maxSat=34276
151.30/75.94	c flip 40000 nbSat=33592 maxSat=34276
151.69/76.17	c flip 50000 nbSat=33694 maxSat=34276
152.09/76.39	c flip 60000 nbSat=33870 maxSat=34276
152.69/76.62	c flip 70000 nbSat=33835 maxSat=34276
153.09/76.86	c flip 80000 nbSat=33962 maxSat=34276
153.49/77.09	c flip 90000 nbSat=33938 maxSat=34276
154.09/77.32	c flip 100000 nbSat=34070 maxSat=34276
154.48/77.56	c flip 110000 nbSat=34085 maxSat=34276
154.88/77.79	c flip 120000 nbSat=34130 maxSat=34276
155.48/78.03	c flip 130000 nbSat=34057 maxSat=34276
155.87/78.25	c flip 140000 nbSat=34053 maxSat=34276
156.27/78.48	c flip 150000 nbSat=34141 maxSat=34276
156.87/78.70	c flip 160000 nbSat=34209 maxSat=34276
157.27/78.92	c flip 170000 nbSat=34121 maxSat=34276
157.67/79.14	c flip 180000 nbSat=34129 maxSat=34276
158.06/79.36	c flip 190000 nbSat=34148 maxSat=34276
158.26/79.43	c flip 0 nbSat=29286 maxSat=34276
158.66/79.61	c flip 10000 nbSat=32856 maxSat=34276
159.06/79.83	c flip 20000 nbSat=33351 maxSat=34276
159.46/80.05	c flip 30000 nbSat=33506 maxSat=34276
159.87/80.29	c flip 40000 nbSat=33744 maxSat=34276
160.46/80.51	c flip 50000 nbSat=33859 maxSat=34276
160.86/80.73	c flip 60000 nbSat=33943 maxSat=34276
161.26/80.96	c flip 70000 nbSat=33967 maxSat=34276
161.66/81.19	c flip 80000 nbSat=34019 maxSat=34276
162.26/81.41	c flip 90000 nbSat=34049 maxSat=34276
162.65/81.63	c flip 100000 nbSat=34016 maxSat=34276
163.05/81.86	c flip 110000 nbSat=34015 maxSat=34276
163.45/82.07	c flip 120000 nbSat=34130 maxSat=34276
163.85/82.29	c flip 130000 nbSat=34091 maxSat=34276
164.46/82.52	c flip 140000 nbSat=34122 maxSat=34276
164.85/82.76	c flip 150000 nbSat=34132 maxSat=34276
165.25/82.99	c flip 160000 nbSat=34105 maxSat=34276
165.85/83.22	c flip 170000 nbSat=34132 maxSat=34276
166.25/83.45	c flip 180000 nbSat=34127 maxSat=34276
166.65/83.68	c flip 190000 nbSat=33986 maxSat=34276
166.84/83.75	c flip 0 nbSat=29150 maxSat=34276
167.24/83.93	c flip 10000 nbSat=32887 maxSat=34276
167.64/84.15	c flip 20000 nbSat=33261 maxSat=34276
168.04/84.37	c flip 30000 nbSat=33539 maxSat=34276
168.44/84.59	c flip 40000 nbSat=33705 maxSat=34276
169.04/84.82	c flip 50000 nbSat=33730 maxSat=34276
169.44/85.04	c flip 60000 nbSat=33843 maxSat=34276
169.84/85.26	c flip 70000 nbSat=33874 maxSat=34276
170.44/85.50	c flip 80000 nbSat=34024 maxSat=34276
170.84/85.74	c flip 90000 nbSat=33973 maxSat=34276
171.23/85.97	c flip 100000 nbSat=33885 maxSat=34276
171.63/86.19	c flip 110000 nbSat=33979 maxSat=34276
172.23/86.42	c flip 120000 nbSat=34075 maxSat=34276
172.63/86.65	c flip 130000 nbSat=34025 maxSat=34276
173.04/86.89	c flip 140000 nbSat=34091 maxSat=34276
173.63/87.12	c flip 150000 nbSat=34047 maxSat=34276
174.03/87.34	c flip 160000 nbSat=34135 maxSat=34276
174.42/87.57	c flip 170000 nbSat=34059 maxSat=34276
175.02/87.80	c flip 180000 nbSat=34147 maxSat=34276
175.42/88.02	c flip 190000 nbSat=34140 maxSat=34276
175.42/88.10	c flip 0 nbSat=29281 maxSat=34276
175.81/88.28	c flip 10000 nbSat=32948 maxSat=34276
176.41/88.50	c flip 20000 nbSat=33372 maxSat=34276
176.81/88.73	c flip 30000 nbSat=33544 maxSat=34276
177.21/88.95	c flip 40000 nbSat=33749 maxSat=34276
177.62/89.17	c flip 50000 nbSat=33848 maxSat=34276
178.21/89.40	c flip 60000 nbSat=33817 maxSat=34276
178.61/89.65	c flip 70000 nbSat=33918 maxSat=34276
179.01/89.88	c flip 80000 nbSat=33974 maxSat=34276
179.61/90.14	c flip 90000 nbSat=33918 maxSat=34276
180.00/90.39	c flip 100000 nbSat=33971 maxSat=34276
180.60/90.62	c flip 110000 nbSat=33978 maxSat=34276
181.00/90.86	c flip 120000 nbSat=34089 maxSat=34276
181.40/91.09	c flip 130000 nbSat=34088 maxSat=34276
182.01/91.35	c flip 140000 nbSat=34057 maxSat=34276
182.40/91.59	c flip 150000 nbSat=34111 maxSat=34276
183.00/91.82	c flip 160000 nbSat=34107 maxSat=34276
183.40/92.07	c flip 170000 nbSat=34125 maxSat=34276
184.00/92.31	c flip 180000 nbSat=34112 maxSat=34276
184.39/92.55	c flip 190000 nbSat=34087 maxSat=34276
184.59/92.63	c flip 0 nbSat=29153 maxSat=34276
184.79/92.79	c flip 10000 nbSat=32927 maxSat=34276
185.19/93.00	c flip 20000 nbSat=33364 maxSat=34276
185.79/93.22	c flip 30000 nbSat=33573 maxSat=34276
186.20/93.46	c flip 40000 nbSat=33718 maxSat=34276
186.59/93.69	c flip 50000 nbSat=33697 maxSat=34276
187.19/93.92	c flip 60000 nbSat=33830 maxSat=34276
187.59/94.14	c flip 70000 nbSat=33837 maxSat=34276
187.99/94.37	c flip 80000 nbSat=33910 maxSat=34276
188.59/94.61	c flip 90000 nbSat=33929 maxSat=34276
188.99/94.84	c flip 100000 nbSat=33989 maxSat=34276
189.39/95.08	c flip 110000 nbSat=33945 maxSat=34276
189.99/95.30	c flip 120000 nbSat=34090 maxSat=34276
190.38/95.53	c flip 130000 nbSat=33976 maxSat=34276
190.79/95.76	c flip 140000 nbSat=34065 maxSat=34276
191.38/96.00	c flip 150000 nbSat=34076 maxSat=34276
191.78/96.24	c flip 160000 nbSat=34074 maxSat=34276
192.18/96.47	c flip 170000 nbSat=34139 maxSat=34276
192.78/96.72	c flip 180000 nbSat=34024 maxSat=34276
193.17/96.93	c flip 190000 nbSat=34084 maxSat=34276
193.37/97.00	c flip 0 nbSat=29179 maxSat=34276
193.57/97.17	c flip 10000 nbSat=32832 maxSat=34276
193.97/97.39	c flip 20000 nbSat=33358 maxSat=34276
194.57/97.62	c flip 30000 nbSat=33562 maxSat=34276
194.98/97.86	c flip 40000 nbSat=33658 maxSat=34276
195.57/98.10	c flip 50000 nbSat=33763 maxSat=34276
195.97/98.33	c flip 60000 nbSat=33779 maxSat=34276
196.37/98.57	c flip 70000 nbSat=33853 maxSat=34276
196.97/98.81	c flip 80000 nbSat=33969 maxSat=34276
197.37/99.04	c flip 90000 nbSat=33963 maxSat=34276
197.76/99.26	c flip 100000 nbSat=33996 maxSat=34276
198.16/99.48	c flip 110000 nbSat=34012 maxSat=34276
198.57/99.69	c flip 120000 nbSat=34058 maxSat=34276
199.17/99.91	c flip 130000 nbSat=34114 maxSat=34276
199.58/100.12	c flip 140000 nbSat=34138 maxSat=34276
199.97/100.33	c flip 150000 nbSat=34081 maxSat=34276
200.37/100.54	c flip 160000 nbSat=34198 maxSat=34276
200.77/100.73	c flip 170000 nbSat=34096 maxSat=34276
201.17/100.94	c flip 180000 nbSat=34104 maxSat=34276
201.57/101.15	c flip 190000 nbSat=34078 maxSat=34276
201.77/101.22	c flip 0 nbSat=29318 maxSat=34276
202.16/101.40	c flip 10000 nbSat=32823 maxSat=34276
202.56/101.62	c flip 20000 nbSat=33352 maxSat=34276
202.97/101.84	c flip 30000 nbSat=33592 maxSat=34276
203.37/102.08	c flip 40000 nbSat=33632 maxSat=34276
203.97/102.32	c flip 50000 nbSat=33720 maxSat=34276
204.36/102.55	c flip 60000 nbSat=33787 maxSat=34276
204.76/102.80	c flip 70000 nbSat=33848 maxSat=34276
205.36/103.04	c flip 80000 nbSat=33898 maxSat=34276
205.76/103.28	c flip 90000 nbSat=33952 maxSat=34276
206.36/103.51	c flip 100000 nbSat=33952 maxSat=34276
206.76/103.76	c flip 110000 nbSat=33924 maxSat=34276
207.16/103.99	c flip 120000 nbSat=34075 maxSat=34276
207.75/104.23	c flip 130000 nbSat=34028 maxSat=34276
208.16/104.49	c flip 140000 nbSat=33999 maxSat=34276
208.75/104.74	c flip 150000 nbSat=34154 maxSat=34276
209.15/104.98	c flip 160000 nbSat=33993 maxSat=34276
209.75/105.21	c flip 170000 nbSat=34093 maxSat=34276
210.15/105.46	c flip 180000 nbSat=34000 maxSat=34276
210.74/105.71	c flip 190000 nbSat=34073 maxSat=34276
210.74/105.78	c flip 0 nbSat=29262 maxSat=34276
211.14/105.96	c flip 10000 nbSat=32879 maxSat=34276
211.54/106.17	c flip 20000 nbSat=33380 maxSat=34276
211.94/106.39	c flip 30000 nbSat=33616 maxSat=34276
212.55/106.63	c flip 40000 nbSat=33711 maxSat=34276
212.94/106.87	c flip 50000 nbSat=33766 maxSat=34276
213.34/107.09	c flip 60000 nbSat=33783 maxSat=34276
213.94/107.33	c flip 70000 nbSat=33969 maxSat=34276
214.34/107.56	c flip 80000 nbSat=33937 maxSat=34276
214.74/107.80	c flip 90000 nbSat=34037 maxSat=34276
215.33/108.04	c flip 100000 nbSat=33970 maxSat=34276
215.73/108.28	c flip 110000 nbSat=34053 maxSat=34276
216.33/108.51	c flip 120000 nbSat=34021 maxSat=34276
216.73/108.74	c flip 130000 nbSat=34086 maxSat=34276
217.13/108.97	c flip 140000 nbSat=34161 maxSat=34276
217.73/109.20	c flip 150000 nbSat=34092 maxSat=34276
218.13/109.44	c flip 160000 nbSat=34144 maxSat=34276
218.53/109.67	c flip 170000 nbSat=34100 maxSat=34276
219.13/109.91	c flip 180000 nbSat=34188 maxSat=34276
219.52/110.13	c flip 190000 nbSat=34107 maxSat=34276
219.72/110.21	c flip 0 nbSat=29215 maxSat=34276
219.92/110.38	c flip 10000 nbSat=32790 maxSat=34276
220.32/110.58	c flip 20000 nbSat=33324 maxSat=34276
220.72/110.79	c flip 30000 nbSat=33651 maxSat=34276
221.33/111.02	c flip 40000 nbSat=33720 maxSat=34276
221.72/111.25	c flip 50000 nbSat=33896 maxSat=34276
222.32/111.50	c flip 60000 nbSat=33928 maxSat=34276
222.72/111.74	c flip 70000 nbSat=34047 maxSat=34276
223.12/111.97	c flip 80000 nbSat=34081 maxSat=34276
223.72/112.21	c flip 90000 nbSat=34074 maxSat=34276
224.11/112.45	c flip 100000 nbSat=34099 maxSat=34276
224.51/112.67	c flip 110000 nbSat=34128 maxSat=34276
225.11/112.90	c flip 120000 nbSat=34200 maxSat=34276
225.51/113.12	c flip 130000 nbSat=34086 maxSat=34276
225.92/113.34	c flip 140000 nbSat=34052 maxSat=34276
226.31/113.57	c flip 150000 nbSat=34134 maxSat=34276
226.71/113.80	c flip 160000 nbSat=34162 maxSat=34276
227.31/114.02	c flip 170000 nbSat=34199 maxSat=34276
227.71/114.25	c flip 180000 nbSat=34158 maxSat=34276
228.11/114.49	c flip 190000 nbSat=34145 maxSat=34294
228.30/114.56	c flip 0 nbSat=29136 maxSat=34305
228.70/114.74	c flip 10000 nbSat=32828 maxSat=34305
229.10/114.97	c flip 20000 nbSat=33282 maxSat=34305
229.50/115.20	c flip 30000 nbSat=33554 maxSat=34305
230.11/115.43	c flip 40000 nbSat=33654 maxSat=34305
230.50/115.66	c flip 50000 nbSat=33748 maxSat=34305
230.90/115.89	c flip 60000 nbSat=33860 maxSat=34305
231.50/116.12	c flip 70000 nbSat=33887 maxSat=34305
231.90/116.34	c flip 80000 nbSat=33886 maxSat=34305
232.30/116.58	c flip 90000 nbSat=33969 maxSat=34305
232.89/116.81	c flip 100000 nbSat=33949 maxSat=34305
233.29/117.06	c flip 110000 nbSat=33905 maxSat=34305
233.69/117.29	c flip 120000 nbSat=33951 maxSat=34305
234.29/117.52	c flip 130000 nbSat=33921 maxSat=34305
234.70/117.76	c flip 140000 nbSat=34062 maxSat=34305
235.09/118.00	c flip 150000 nbSat=34031 maxSat=34305
235.69/118.23	c flip 160000 nbSat=34056 maxSat=34305
236.09/118.47	c flip 170000 nbSat=34058 maxSat=34305
236.69/118.71	c flip 180000 nbSat=34050 maxSat=34305
237.08/118.95	c flip 190000 nbSat=34132 maxSat=34305
237.28/119.02	c flip 0 nbSat=29185 maxSat=34305
237.48/119.20	c flip 10000 nbSat=32869 maxSat=34305
238.08/119.41	c flip 20000 nbSat=33387 maxSat=34305
238.48/119.64	c flip 30000 nbSat=33601 maxSat=34305
238.89/119.86	c flip 40000 nbSat=33732 maxSat=34305
239.28/120.09	c flip 50000 nbSat=33809 maxSat=34305
239.88/120.31	c flip 60000 nbSat=33880 maxSat=34305
240.28/120.54	c flip 70000 nbSat=33922 maxSat=34305
240.68/120.76	c flip 80000 nbSat=33965 maxSat=34305
241.08/120.99	c flip 90000 nbSat=33942 maxSat=34305
241.67/121.22	c flip 100000 nbSat=33997 maxSat=34305
242.07/121.44	c flip 110000 nbSat=34012 maxSat=34305
242.47/121.66	c flip 120000 nbSat=34085 maxSat=34305
242.87/121.88	c flip 130000 nbSat=34092 maxSat=34305
243.47/122.11	c flip 140000 nbSat=34103 maxSat=34305
243.87/122.33	c flip 150000 nbSat=34123 maxSat=34305
244.26/122.56	c flip 160000 nbSat=34135 maxSat=34305
244.66/122.79	c flip 170000 nbSat=34108 maxSat=34305
245.26/123.01	c flip 180000 nbSat=34115 maxSat=34305
245.66/123.25	c flip 190000 nbSat=34177 maxSat=34305
245.85/123.32	c flip 0 nbSat=29234 maxSat=34305
246.05/123.50	c flip 10000 nbSat=32789 maxSat=34305
246.65/123.72	c flip 20000 nbSat=33297 maxSat=34305
247.05/123.96	c flip 30000 nbSat=33580 maxSat=34305
247.45/124.19	c flip 40000 nbSat=33728 maxSat=34305
248.05/124.42	c flip 50000 nbSat=33758 maxSat=34305
248.45/124.65	c flip 60000 nbSat=33824 maxSat=34305
248.85/124.88	c flip 70000 nbSat=33905 maxSat=34305
249.45/125.10	c flip 80000 nbSat=33928 maxSat=34305
249.85/125.33	c flip 90000 nbSat=33967 maxSat=34305
250.24/125.57	c flip 100000 nbSat=34032 maxSat=34305
250.64/125.79	c flip 110000 nbSat=34092 maxSat=34305
251.24/126.01	c flip 120000 nbSat=34116 maxSat=34305
251.64/126.24	c flip 130000 nbSat=34138 maxSat=34305
252.05/126.47	c flip 140000 nbSat=34250 maxSat=34305
252.64/126.71	c flip 150000 nbSat=34195 maxSat=34305
253.04/126.93	c flip 160000 nbSat=34209 maxSat=34324
253.44/127.16	c flip 170000 nbSat=34238 maxSat=34324
254.04/127.40	c flip 180000 nbSat=34271 maxSat=34345
254.44/127.64	c flip 190000 nbSat=34265 maxSat=34348
254.63/127.71	c flip 0 nbSat=29286 maxSat=34348
254.83/127.89	c flip 10000 nbSat=32819 maxSat=34348
255.43/128.11	c flip 20000 nbSat=33326 maxSat=34348
255.83/128.32	c flip 30000 nbSat=33570 maxSat=34348
256.23/128.55	c flip 40000 nbSat=33675 maxSat=34348
256.64/128.78	c flip 50000 nbSat=33877 maxSat=34348
257.23/129.01	c flip 60000 nbSat=33898 maxSat=34348
257.63/129.22	c flip 70000 nbSat=33888 maxSat=34348
258.03/129.44	c flip 80000 nbSat=34015 maxSat=34348
258.43/129.66	c flip 90000 nbSat=34033 maxSat=34348
258.83/129.88	c flip 100000 nbSat=33965 maxSat=34348
259.42/130.10	c flip 110000 nbSat=34081 maxSat=34348
259.82/130.32	c flip 120000 nbSat=34103 maxSat=34348
260.22/130.54	c flip 130000 nbSat=34057 maxSat=34348
260.62/130.77	c flip 140000 nbSat=34118 maxSat=34348
261.22/131.00	c flip 150000 nbSat=34116 maxSat=34348
261.62/131.23	c flip 160000 nbSat=34071 maxSat=34348
262.02/131.46	c flip 170000 nbSat=34183 maxSat=34348
262.42/131.67	c flip 180000 nbSat=34088 maxSat=34348
262.82/131.89	c flip 190000 nbSat=34058 maxSat=34348
263.02/131.96	c flip 0 nbSat=29281 maxSat=34348
263.41/132.15	c flip 10000 nbSat=32868 maxSat=34348
263.81/132.36	c flip 20000 nbSat=33277 maxSat=34348
264.21/132.58	c flip 30000 nbSat=33522 maxSat=34348
264.81/132.83	c flip 40000 nbSat=33692 maxSat=34348
265.22/133.06	c flip 50000 nbSat=33817 maxSat=34348
265.81/133.30	c flip 60000 nbSat=33822 maxSat=34348
266.20/133.55	c flip 70000 nbSat=33998 maxSat=34348
266.60/133.78	c flip 80000 nbSat=33987 maxSat=34348
267.20/134.00	c flip 90000 nbSat=34051 maxSat=34348
267.60/134.22	c flip 100000 nbSat=34081 maxSat=34348
268.00/134.45	c flip 110000 nbSat=34130 maxSat=34348
268.40/134.67	c flip 120000 nbSat=34132 maxSat=34348
269.00/134.91	c flip 130000 nbSat=34106 maxSat=34348
269.40/135.14	c flip 140000 nbSat=34082 maxSat=34348
269.80/135.38	c flip 150000 nbSat=34203 maxSat=34348
270.39/135.61	c flip 160000 nbSat=34196 maxSat=34348
270.79/135.85	c flip 170000 nbSat=34201 maxSat=34348
271.19/136.09	c flip 180000 nbSat=34186 maxSat=34348
271.79/136.33	c flip 190000 nbSat=34142 maxSat=34348
271.79/136.40	c flip 0 nbSat=29163 maxSat=34348
272.19/136.58	c flip 10000 nbSat=32848 maxSat=34348
272.59/136.79	c flip 20000 nbSat=33339 maxSat=34348
273.19/137.00	c flip 30000 nbSat=33564 maxSat=34348
273.59/137.22	c flip 40000 nbSat=33628 maxSat=34348
273.99/137.45	c flip 50000 nbSat=33795 maxSat=34348
274.38/137.67	c flip 60000 nbSat=33845 maxSat=34348
274.98/137.90	c flip 70000 nbSat=33913 maxSat=34348
275.38/138.12	c flip 80000 nbSat=33917 maxSat=34348
275.78/138.35	c flip 90000 nbSat=33913 maxSat=34348
276.18/138.58	c flip 100000 nbSat=34035 maxSat=34348
276.77/138.82	c flip 110000 nbSat=33976 maxSat=34348
277.17/139.03	c flip 120000 nbSat=34060 maxSat=34348
277.57/139.25	c flip 130000 nbSat=34076 maxSat=34348
277.97/139.48	c flip 140000 nbSat=34115 maxSat=34348
278.58/139.71	c flip 150000 nbSat=34153 maxSat=34348
278.97/139.93	c flip 160000 nbSat=34112 maxSat=34348
279.37/140.15	c flip 170000 nbSat=34166 maxSat=34348
279.77/140.40	c flip 180000 nbSat=34167 maxSat=34348
280.37/140.62	c flip 190000 nbSat=34138 maxSat=34348
280.37/140.69	c flip 0 nbSat=29242 maxSat=34348
280.77/140.87	c flip 10000 nbSat=32877 maxSat=34348
281.17/141.08	c flip 20000 nbSat=33484 maxSat=34348
281.77/141.31	c flip 30000 nbSat=33692 maxSat=34348
282.17/141.53	c flip 40000 nbSat=33768 maxSat=34348
282.57/141.76	c flip 50000 nbSat=33870 maxSat=34348
282.97/141.98	c flip 60000 nbSat=33925 maxSat=34348
283.56/142.22	c flip 70000 nbSat=33988 maxSat=34348
283.96/142.44	c flip 80000 nbSat=34021 maxSat=34348
284.36/142.67	c flip 90000 nbSat=33968 maxSat=34348
284.76/142.88	c flip 100000 nbSat=33978 maxSat=34348
285.36/143.11	c flip 110000 nbSat=34062 maxSat=34348
285.76/143.34	c flip 120000 nbSat=33972 maxSat=34348
286.16/143.57	c flip 130000 nbSat=34094 maxSat=34348
286.76/143.80	c flip 140000 nbSat=34100 maxSat=34348
287.16/144.02	c flip 150000 nbSat=34099 maxSat=34348
287.55/144.25	c flip 160000 nbSat=34133 maxSat=34348
287.95/144.48	c flip 170000 nbSat=34174 maxSat=34348
288.55/144.72	c flip 180000 nbSat=34178 maxSat=34348
288.95/144.95	c flip 190000 nbSat=34216 maxSat=34348
289.15/145.02	c flip 0 nbSat=29164 maxSat=34348
289.36/145.20	c flip 10000 nbSat=32921 maxSat=34348
289.95/145.42	c flip 20000 nbSat=33253 maxSat=34348
290.35/145.64	c flip 30000 nbSat=33519 maxSat=34348
290.75/145.86	c flip 40000 nbSat=33666 maxSat=34348
291.15/146.08	c flip 50000 nbSat=33657 maxSat=34348
291.55/146.30	c flip 60000 nbSat=33848 maxSat=34348
292.14/146.52	c flip 70000 nbSat=33800 maxSat=34348
292.54/146.75	c flip 80000 nbSat=33844 maxSat=34348
292.94/146.98	c flip 90000 nbSat=33903 maxSat=34348
293.54/147.20	c flip 100000 nbSat=33928 maxSat=34348
293.94/147.43	c flip 110000 nbSat=33949 maxSat=34348
294.34/147.65	c flip 120000 nbSat=33945 maxSat=34348
294.74/147.86	c flip 130000 nbSat=34011 maxSat=34348
295.14/148.08	c flip 140000 nbSat=34058 maxSat=34348
295.74/148.30	c flip 150000 nbSat=34116 maxSat=34348
296.14/148.53	c flip 160000 nbSat=34092 maxSat=34348
296.53/148.75	c flip 170000 nbSat=34054 maxSat=34348
296.93/148.97	c flip 180000 nbSat=34039 maxSat=34348
297.53/149.20	c flip 190000 nbSat=34055 maxSat=34348
297.53/149.27	c flip 0 nbSat=29279 maxSat=34348
297.93/149.45	c flip 10000 nbSat=32845 maxSat=34348
298.33/149.67	c flip 20000 nbSat=33352 maxSat=34348
298.73/149.89	c flip 30000 nbSat=33598 maxSat=34348
299.33/150.10	c flip 40000 nbSat=33758 maxSat=34348
299.73/150.32	c flip 50000 nbSat=33719 maxSat=34348
300.13/150.53	c flip 60000 nbSat=33859 maxSat=34348
300.53/150.75	c flip 70000 nbSat=33876 maxSat=34348
300.92/150.98	c flip 80000 nbSat=33974 maxSat=34348
301.52/151.21	c flip 90000 nbSat=33984 maxSat=34348
301.92/151.43	c flip 100000 nbSat=33964 maxSat=34348
302.32/151.65	c flip 110000 nbSat=33972 maxSat=34348
302.73/151.88	c flip 120000 nbSat=34125 maxSat=34348
303.32/152.10	c flip 130000 nbSat=34100 maxSat=34348
303.72/152.32	c flip 140000 nbSat=34062 maxSat=34348
304.12/152.54	c flip 150000 nbSat=34101 maxSat=34348
304.52/152.76	c flip 160000 nbSat=34097 maxSat=34348
304.92/153.00	c flip 170000 nbSat=34106 maxSat=34348
305.51/153.22	c flip 180000 nbSat=34200 maxSat=34348
305.91/153.44	c flip 190000 nbSat=34202 maxSat=34348
306.11/153.52	c flip 0 nbSat=29121 maxSat=34348
306.31/153.69	c flip 10000 nbSat=32913 maxSat=34348
306.71/153.89	c flip 20000 nbSat=33401 maxSat=34348
307.31/154.12	c flip 30000 nbSat=33610 maxSat=34348
307.71/154.35	c flip 40000 nbSat=33654 maxSat=34348
308.11/154.57	c flip 50000 nbSat=33801 maxSat=34348
308.51/154.79	c flip 60000 nbSat=33962 maxSat=34348
309.11/155.02	c flip 70000 nbSat=33998 maxSat=34348
309.50/155.25	c flip 80000 nbSat=33877 maxSat=34348
309.90/155.48	c flip 90000 nbSat=34017 maxSat=34348
310.50/155.72	c flip 100000 nbSat=34028 maxSat=34348
310.90/155.96	c flip 110000 nbSat=34104 maxSat=34348
311.31/156.19	c flip 120000 nbSat=34095 maxSat=34348
311.91/156.42	c flip 130000 nbSat=34061 maxSat=34348
312.31/156.65	c flip 140000 nbSat=34122 maxSat=34348
312.71/156.87	c flip 150000 nbSat=34189 maxSat=34348
313.30/157.10	c flip 160000 nbSat=34134 maxSat=34348
313.71/157.35	c flip 170000 nbSat=34104 maxSat=34348
314.10/157.58	c flip 180000 nbSat=34064 maxSat=34348
314.70/157.80	c flip 190000 nbSat=34189 maxSat=34348
314.70/157.88	c flip 0 nbSat=29352 maxSat=34348
315.10/158.05	c flip 10000 nbSat=32699 maxSat=34348
315.50/158.27	c flip 20000 nbSat=33277 maxSat=34348
315.90/158.49	c flip 30000 nbSat=33508 maxSat=34348
316.49/158.72	c flip 40000 nbSat=33645 maxSat=34348
316.89/158.95	c flip 50000 nbSat=33779 maxSat=34348
317.29/159.19	c flip 60000 nbSat=33868 maxSat=34348
317.90/159.43	c flip 70000 nbSat=33977 maxSat=34348
318.29/159.67	c flip 80000 nbSat=34094 maxSat=34348
318.89/159.90	c flip 90000 nbSat=34029 maxSat=34348
319.29/160.13	c flip 100000 nbSat=34088 maxSat=34348
319.69/160.37	c flip 110000 nbSat=33947 maxSat=34348
320.10/160.60	c flip 120000 nbSat=34075 maxSat=34348
320.69/160.83	c flip 130000 nbSat=34069 maxSat=34348
321.09/161.07	c flip 140000 nbSat=34165 maxSat=34348
321.69/161.31	c flip 150000 nbSat=34213 maxSat=34348
322.09/161.54	c flip 160000 nbSat=34140 maxSat=34348
322.49/161.79	c flip 170000 nbSat=34041 maxSat=34348
323.08/162.02	c flip 180000 nbSat=34107 maxSat=34348
323.48/162.27	c flip 190000 nbSat=34097 maxSat=34348
323.68/162.34	c flip 0 nbSat=29258 maxSat=34348
324.08/162.51	c flip 10000 nbSat=32792 maxSat=34348
324.49/162.73	c flip 20000 nbSat=33374 maxSat=34348
324.88/162.96	c flip 30000 nbSat=33496 maxSat=34348
325.28/163.19	c flip 40000 nbSat=33645 maxSat=34348
325.88/163.40	c flip 50000 nbSat=33848 maxSat=34348
326.28/163.62	c flip 60000 nbSat=33794 maxSat=34348
326.68/163.86	c flip 70000 nbSat=33960 maxSat=34348
327.07/164.08	c flip 80000 nbSat=33975 maxSat=34348
327.47/164.29	c flip 90000 nbSat=33966 maxSat=34348
328.07/164.51	c flip 100000 nbSat=33991 maxSat=34348
328.47/164.73	c flip 110000 nbSat=34074 maxSat=34348
328.88/164.96	c flip 120000 nbSat=34085 maxSat=34348
329.27/165.18	c flip 130000 nbSat=34044 maxSat=34348
329.67/165.39	c flip 140000 nbSat=34112 maxSat=34348
330.27/165.60	c flip 150000 nbSat=34120 maxSat=34348
330.67/165.82	c flip 160000 nbSat=34152 maxSat=34348
331.07/166.05	c flip 170000 nbSat=34175 maxSat=34348
331.46/166.27	c flip 180000 nbSat=34223 maxSat=34348
331.86/166.49	c flip 190000 nbSat=34188 maxSat=34348
332.06/166.56	c flip 0 nbSat=29272 maxSat=34348
332.46/166.73	c flip 10000 nbSat=32860 maxSat=34348
332.86/166.94	c flip 20000 nbSat=33320 maxSat=34348
333.27/167.18	c flip 30000 nbSat=33616 maxSat=34348
333.85/167.41	c flip 40000 nbSat=33755 maxSat=34348
334.25/167.65	c flip 50000 nbSat=33866 maxSat=34348
334.65/167.86	c flip 60000 nbSat=33838 maxSat=34348
335.05/168.08	c flip 70000 nbSat=34007 maxSat=34348
335.45/168.30	c flip 80000 nbSat=34052 maxSat=34348
336.04/168.52	c flip 90000 nbSat=34023 maxSat=34348
336.44/168.73	c flip 100000 nbSat=33966 maxSat=34348
336.84/168.96	c flip 110000 nbSat=33964 maxSat=34348
337.24/169.20	c flip 120000 nbSat=34018 maxSat=34348
337.85/169.43	c flip 130000 nbSat=34055 maxSat=34348
338.24/169.66	c flip 140000 nbSat=34058 maxSat=34348
338.64/169.89	c flip 150000 nbSat=34067 maxSat=34348
339.24/170.14	c flip 160000 nbSat=34036 maxSat=34348
339.64/170.38	c flip 170000 nbSat=34181 maxSat=34348
340.24/170.62	c flip 180000 nbSat=34113 maxSat=34348
340.64/170.84	c flip 190000 nbSat=34189 maxSat=34348
340.84/170.91	c flip 0 nbSat=29251 maxSat=34348
341.04/171.09	c flip 10000 nbSat=32867 maxSat=34348
341.44/171.30	c flip 20000 nbSat=33395 maxSat=34348
342.04/171.52	c flip 30000 nbSat=33573 maxSat=34348
342.43/171.76	c flip 40000 nbSat=33753 maxSat=34348
342.83/171.99	c flip 50000 nbSat=33753 maxSat=34348
343.43/172.22	c flip 60000 nbSat=33741 maxSat=34348
343.83/172.45	c flip 70000 nbSat=33812 maxSat=34348
344.23/172.68	c flip 80000 nbSat=33846 maxSat=34348
344.82/172.92	c flip 90000 nbSat=33895 maxSat=34348
345.22/173.15	c flip 100000 nbSat=33909 maxSat=34348
345.62/173.39	c flip 110000 nbSat=33869 maxSat=34348
346.22/173.61	c flip 120000 nbSat=34031 maxSat=34348
346.63/173.83	c flip 130000 nbSat=34037 maxSat=34348
347.02/174.05	c flip 140000 nbSat=34002 maxSat=34348
347.42/174.27	c flip 150000 nbSat=34058 maxSat=34348
348.02/174.50	c flip 160000 nbSat=33998 maxSat=34348
348.42/174.73	c flip 170000 nbSat=34071 maxSat=34348
348.82/174.96	c flip 180000 nbSat=34129 maxSat=34348
349.21/175.19	c flip 190000 nbSat=34112 maxSat=34348
349.41/175.27	c flip 0 nbSat=29143 maxSat=34348
349.81/175.44	c flip 10000 nbSat=32827 maxSat=34348
350.21/175.66	c flip 20000 nbSat=33317 maxSat=34348
350.61/175.87	c flip 30000 nbSat=33595 maxSat=34348
351.21/176.11	c flip 40000 nbSat=33728 maxSat=34348
351.61/176.33	c flip 50000 nbSat=33780 maxSat=34348
352.01/176.56	c flip 60000 nbSat=33825 maxSat=34348
352.41/176.79	c flip 70000 nbSat=33867 maxSat=34348
353.02/177.02	c flip 80000 nbSat=33952 maxSat=34348
353.41/177.27	c flip 90000 nbSat=33992 maxSat=34348
354.01/177.51	c flip 100000 nbSat=34027 maxSat=34348
354.41/177.75	c flip 110000 nbSat=33998 maxSat=34348
354.81/177.97	c flip 120000 nbSat=34130 maxSat=34348
355.21/178.20	c flip 130000 nbSat=34092 maxSat=34348
355.80/178.41	c flip 140000 nbSat=34107 maxSat=34348
356.20/178.64	c flip 150000 nbSat=34136 maxSat=34348
356.60/178.87	c flip 160000 nbSat=34153 maxSat=34348
357.00/179.10	c flip 170000 nbSat=34072 maxSat=34348
357.60/179.32	c flip 180000 nbSat=34064 maxSat=34348
357.99/179.55	c flip 190000 nbSat=34207 maxSat=34348
358.19/179.62	c flip 0 nbSat=29317 maxSat=34348
358.59/179.80	c flip 10000 nbSat=32927 maxSat=34348
358.99/180.02	c flip 20000 nbSat=33354 maxSat=34348
359.39/180.26	c flip 30000 nbSat=33571 maxSat=34348
359.79/180.49	c flip 40000 nbSat=33729 maxSat=34348
360.38/180.72	c flip 50000 nbSat=33684 maxSat=34348
360.78/180.94	c flip 60000 nbSat=33873 maxSat=34348
361.18/181.16	c flip 70000 nbSat=33812 maxSat=34348
361.58/181.38	c flip 80000 nbSat=33972 maxSat=34348
362.18/181.62	c flip 90000 nbSat=33973 maxSat=34348
362.58/181.85	c flip 100000 nbSat=33970 maxSat=34348
362.98/182.08	c flip 110000 nbSat=34032 maxSat=34348
363.58/182.32	c flip 120000 nbSat=33983 maxSat=34348
363.98/182.56	c flip 130000 nbSat=34060 maxSat=34348
364.37/182.78	c flip 140000 nbSat=34118 maxSat=34348
364.77/182.99	c flip 150000 nbSat=33924 maxSat=34348
365.37/183.22	c flip 160000 nbSat=34085 maxSat=34348
365.77/183.43	c flip 170000 nbSat=34152 maxSat=34348
366.18/183.65	c flip 180000 nbSat=34085 maxSat=34348
366.57/183.86	c flip 190000 nbSat=34146 maxSat=34348
366.77/183.93	c flip 0 nbSat=29229 maxSat=34348
367.17/184.11	c flip 10000 nbSat=32835 maxSat=34348
367.57/184.33	c flip 20000 nbSat=33327 maxSat=34348
367.97/184.55	c flip 30000 nbSat=33552 maxSat=34348
368.37/184.78	c flip 40000 nbSat=33629 maxSat=34348
368.76/184.99	c flip 50000 nbSat=33816 maxSat=34348
369.36/185.22	c flip 60000 nbSat=33914 maxSat=34348
369.76/185.43	c flip 70000 nbSat=33868 maxSat=34348
370.16/185.66	c flip 80000 nbSat=33997 maxSat=34348
370.57/185.89	c flip 90000 nbSat=34030 maxSat=34348
371.16/186.13	c flip 100000 nbSat=34082 maxSat=34348
371.56/186.36	c flip 110000 nbSat=34133 maxSat=34348
371.96/186.59	c flip 120000 nbSat=34173 maxSat=34348
372.56/186.81	c flip 130000 nbSat=34141 maxSat=34348
372.96/187.03	c flip 140000 nbSat=34227 maxSat=34348
373.35/187.26	c flip 150000 nbSat=34152 maxSat=34348
373.76/187.48	c flip 160000 nbSat=34235 maxSat=34348
374.36/187.70	c flip 170000 nbSat=34253 maxSat=34348
374.76/187.93	c flip 180000 nbSat=34219 maxSat=34348
375.16/188.16	c flip 190000 nbSat=34279 maxSat=34348
375.35/188.23	c flip 0 nbSat=29403 maxSat=34348
375.55/188.40	c flip 10000 nbSat=32826 maxSat=34348
376.15/188.61	c flip 20000 nbSat=33388 maxSat=34348
376.55/188.83	c flip 30000 nbSat=33557 maxSat=34348
376.95/189.04	c flip 40000 nbSat=33706 maxSat=34348
377.35/189.25	c flip 50000 nbSat=33872 maxSat=34348
377.74/189.47	c flip 60000 nbSat=33975 maxSat=34348
378.14/189.69	c flip 70000 nbSat=34016 maxSat=34348
378.74/189.92	c flip 80000 nbSat=33959 maxSat=34348
379.14/190.13	c flip 90000 nbSat=34067 maxSat=34348
379.54/190.36	c flip 100000 nbSat=34068 maxSat=34348
379.94/190.58	c flip 110000 nbSat=34071 maxSat=34348
380.54/190.81	c flip 120000 nbSat=34112 maxSat=34348
380.94/191.02	c flip 130000 nbSat=34121 maxSat=34348
381.34/191.25	c flip 140000 nbSat=34148 maxSat=34348
381.74/191.47	c flip 150000 nbSat=34164 maxSat=34348
382.13/191.68	c flip 160000 nbSat=34108 maxSat=34348
382.73/191.90	c flip 170000 nbSat=34135 maxSat=34348
383.13/192.12	c flip 180000 nbSat=34150 maxSat=34348
383.53/192.34	c flip 190000 nbSat=34112 maxSat=34348
383.73/192.42	c flip 0 nbSat=29291 maxSat=34348
383.93/192.59	c flip 10000 nbSat=32903 maxSat=34348
384.53/192.81	c flip 20000 nbSat=33214 maxSat=34348
384.93/193.04	c flip 30000 nbSat=33556 maxSat=34348
385.33/193.26	c flip 40000 nbSat=33678 maxSat=34348
385.73/193.49	c flip 50000 nbSat=33731 maxSat=34348
386.32/193.72	c flip 60000 nbSat=33839 maxSat=34348
386.72/193.94	c flip 70000 nbSat=33867 maxSat=34348
387.12/194.16	c flip 80000 nbSat=33896 maxSat=34348
387.52/194.38	c flip 90000 nbSat=33935 maxSat=34348
388.13/194.62	c flip 100000 nbSat=33979 maxSat=34348
388.52/194.84	c flip 110000 nbSat=33978 maxSat=34348
388.92/195.07	c flip 120000 nbSat=34017 maxSat=34348
389.32/195.29	c flip 130000 nbSat=34105 maxSat=34348
389.92/195.51	c flip 140000 nbSat=34091 maxSat=34348
390.32/195.74	c flip 150000 nbSat=34061 maxSat=34348
390.71/195.97	c flip 160000 nbSat=34069 maxSat=34348
391.31/196.20	c flip 170000 nbSat=34081 maxSat=34348
391.71/196.43	c flip 180000 nbSat=34070 maxSat=34348
392.11/196.66	c flip 190000 nbSat=34081 maxSat=34348
392.31/196.74	c flip 0 nbSat=29210 maxSat=34348
392.72/196.93	c flip 10000 nbSat=32822 maxSat=34348
393.11/197.14	c flip 20000 nbSat=33430 maxSat=34348
393.51/197.37	c flip 30000 nbSat=33532 maxSat=34348
394.11/197.60	c flip 40000 nbSat=33746 maxSat=34348
394.51/197.83	c flip 50000 nbSat=33727 maxSat=34348
394.91/198.05	c flip 60000 nbSat=33931 maxSat=34348
395.30/198.27	c flip 70000 nbSat=33918 maxSat=34348
395.90/198.50	c flip 80000 nbSat=33899 maxSat=34348
396.30/198.75	c flip 90000 nbSat=33914 maxSat=34348
396.70/198.99	c flip 100000 nbSat=34012 maxSat=34348
397.30/199.25	c flip 110000 nbSat=34088 maxSat=34348
397.70/199.47	c flip 120000 nbSat=34071 maxSat=34348
398.30/199.71	c flip 130000 nbSat=33996 maxSat=34348
398.70/199.94	c flip 140000 nbSat=34092 maxSat=34348
399.10/200.18	c flip 150000 nbSat=34110 maxSat=34348
399.69/200.42	c flip 160000 nbSat=34069 maxSat=34348
400.09/200.65	c flip 170000 nbSat=34080 maxSat=34348
400.49/200.87	c flip 180000 nbSat=34120 maxSat=34348
401.09/201.11	c flip 190000 nbSat=34134 maxSat=34348
401.09/201.19	c flip 0 nbSat=29322 maxSat=34348
401.50/201.37	c flip 10000 nbSat=32834 maxSat=34348
401.89/201.59	c flip 20000 nbSat=33416 maxSat=34348
402.49/201.82	c flip 30000 nbSat=33603 maxSat=34348
402.89/202.05	c flip 40000 nbSat=33809 maxSat=34348
403.29/202.28	c flip 50000 nbSat=33888 maxSat=34348
403.88/202.51	c flip 60000 nbSat=33954 maxSat=34348
404.28/202.74	c flip 70000 nbSat=33928 maxSat=34348
404.68/202.97	c flip 80000 nbSat=34021 maxSat=34348
405.08/203.19	c flip 90000 nbSat=34103 maxSat=34348
405.69/203.42	c flip 100000 nbSat=34039 maxSat=34348
406.08/203.65	c flip 110000 nbSat=34110 maxSat=34348
406.48/203.86	c flip 120000 nbSat=34135 maxSat=34348
406.88/204.07	c flip 130000 nbSat=34122 maxSat=34348
407.28/204.29	c flip 140000 nbSat=34078 maxSat=34348
407.88/204.51	c flip 150000 nbSat=34200 maxSat=34348
408.27/204.74	c flip 160000 nbSat=34198 maxSat=34348
408.67/204.96	c flip 170000 nbSat=34207 maxSat=34348
409.07/205.19	c flip 180000 nbSat=34265 maxSat=34348
409.67/205.41	c flip 190000 nbSat=34168 maxSat=34348
409.67/205.49	c flip 0 nbSat=29089 maxSat=34348
410.08/205.66	c flip 10000 nbSat=32855 maxSat=34348
410.47/205.86	c flip 20000 nbSat=33308 maxSat=34348
410.87/206.09	c flip 30000 nbSat=33491 maxSat=34348
411.47/206.31	c flip 40000 nbSat=33618 maxSat=34348
411.87/206.54	c flip 50000 nbSat=33754 maxSat=34348
412.27/206.77	c flip 60000 nbSat=33867 maxSat=34348
412.66/206.99	c flip 70000 nbSat=33903 maxSat=34348
413.26/207.23	c flip 80000 nbSat=33848 maxSat=34348
413.66/207.46	c flip 90000 nbSat=33948 maxSat=34348
414.06/207.68	c flip 100000 nbSat=33900 maxSat=34348
414.67/207.91	c flip 110000 nbSat=33952 maxSat=34348
415.06/208.13	c flip 120000 nbSat=34009 maxSat=34348
415.46/208.35	c flip 130000 nbSat=34072 maxSat=34348
415.86/208.57	c flip 140000 nbSat=34044 maxSat=34348
416.26/208.79	c flip 150000 nbSat=34111 maxSat=34348
416.86/209.03	c flip 160000 nbSat=34141 maxSat=34348
417.25/209.26	c flip 170000 nbSat=34121 maxSat=34348
417.65/209.47	c flip 180000 nbSat=34174 maxSat=34348
418.05/209.69	c flip 190000 nbSat=34110 maxSat=34348
418.25/209.77	c flip 0 nbSat=29152 maxSat=34348
418.65/209.94	c flip 10000 nbSat=32798 maxSat=34348
419.06/210.16	c flip 20000 nbSat=33293 maxSat=34348
419.45/210.38	c flip 30000 nbSat=33516 maxSat=34348
420.05/210.61	c flip 40000 nbSat=33641 maxSat=34348
420.45/210.83	c flip 50000 nbSat=33658 maxSat=34348
420.85/211.05	c flip 60000 nbSat=33775 maxSat=34348
421.25/211.28	c flip 70000 nbSat=33900 maxSat=34348
421.84/211.50	c flip 80000 nbSat=33939 maxSat=34348
422.24/211.72	c flip 90000 nbSat=33902 maxSat=34348
422.64/211.94	c flip 100000 nbSat=33889 maxSat=34348
423.04/212.16	c flip 110000 nbSat=34019 maxSat=34348
423.64/212.40	c flip 120000 nbSat=34004 maxSat=34348
424.04/212.63	c flip 130000 nbSat=33986 maxSat=34348
424.44/212.86	c flip 140000 nbSat=34041 maxSat=34348
424.83/213.09	c flip 150000 nbSat=33980 maxSat=34348
425.43/213.31	c flip 160000 nbSat=34065 maxSat=34348
425.83/213.54	c flip 170000 nbSat=34105 maxSat=34348
426.23/213.78	c flip 180000 nbSat=34011 maxSat=34348
426.83/214.00	c flip 190000 nbSat=34112 maxSat=34348
426.83/214.07	c flip 0 nbSat=29345 maxSat=34348
427.23/214.25	c flip 10000 nbSat=32839 maxSat=34348
427.63/214.46	c flip 20000 nbSat=33380 maxSat=34348
428.02/214.68	c flip 30000 nbSat=33622 maxSat=34348
428.62/214.90	c flip 40000 nbSat=33731 maxSat=34348
429.02/215.12	c flip 50000 nbSat=33839 maxSat=34348
429.42/215.34	c flip 60000 nbSat=33909 maxSat=34348
429.82/215.57	c flip 70000 nbSat=33894 maxSat=34348
430.41/215.81	c flip 80000 nbSat=33899 maxSat=34348
430.81/216.04	c flip 90000 nbSat=33934 maxSat=34348
431.22/216.27	c flip 100000 nbSat=33969 maxSat=34348
431.62/216.49	c flip 110000 nbSat=33952 maxSat=34348
432.23/216.73	c flip 120000 nbSat=33938 maxSat=34348
432.62/216.96	c flip 130000 nbSat=33973 maxSat=34348
433.02/217.19	c flip 140000 nbSat=34026 maxSat=34348
433.62/217.44	c flip 150000 nbSat=34021 maxSat=34348
434.02/217.68	c flip 160000 nbSat=34080 maxSat=34348
434.61/217.94	c flip 170000 nbSat=34026 maxSat=34348
435.01/218.19	c flip 180000 nbSat=34026 maxSat=34348
435.61/218.43	c flip 190000 nbSat=34142 maxSat=34348
435.81/218.51	c flip 0 nbSat=29223 maxSat=34348
436.01/218.69	c flip 10000 nbSat=32790 maxSat=34348
436.62/218.91	c flip 20000 nbSat=33271 maxSat=34348
437.01/219.14	c flip 30000 nbSat=33495 maxSat=34348
437.41/219.38	c flip 40000 nbSat=33683 maxSat=34348
438.01/219.61	c flip 50000 nbSat=33777 maxSat=34348
438.41/219.86	c flip 60000 nbSat=33834 maxSat=34348
438.81/220.10	c flip 70000 nbSat=33843 maxSat=34348
439.40/220.33	c flip 80000 nbSat=33928 maxSat=34348
439.80/220.57	c flip 90000 nbSat=33950 maxSat=34348
440.40/220.82	c flip 100000 nbSat=33975 maxSat=34348
440.80/221.05	c flip 110000 nbSat=33869 maxSat=34348
441.20/221.27	c flip 120000 nbSat=33985 maxSat=34348
441.80/221.51	c flip 130000 nbSat=34058 maxSat=34348
442.20/221.73	c flip 140000 nbSat=34113 maxSat=34348
442.60/221.96	c flip 150000 nbSat=34015 maxSat=34348
443.20/222.20	c flip 160000 nbSat=34012 maxSat=34348
443.59/222.43	c flip 170000 nbSat=34093 maxSat=34348
443.99/222.66	c flip 180000 nbSat=34109 maxSat=34348
444.39/222.89	c flip 190000 nbSat=33999 maxSat=34348
444.59/222.96	c flip 0 nbSat=29194 maxSat=34348
444.99/223.14	c flip 10000 nbSat=32798 maxSat=34348
445.40/223.36	c flip 20000 nbSat=33347 maxSat=34348
445.79/223.57	c flip 30000 nbSat=33500 maxSat=34348
446.19/223.79	c flip 40000 nbSat=33777 maxSat=34348
446.79/224.02	c flip 50000 nbSat=33865 maxSat=34348
447.19/224.25	c flip 60000 nbSat=33910 maxSat=34348
447.59/224.48	c flip 70000 nbSat=33957 maxSat=34348
447.98/224.69	c flip 80000 nbSat=34061 maxSat=34348
448.58/224.91	c flip 90000 nbSat=34041 maxSat=34348
448.98/225.12	c flip 100000 nbSat=34110 maxSat=34348
449.38/225.33	c flip 110000 nbSat=34153 maxSat=34348
449.79/225.54	c flip 120000 nbSat=34178 maxSat=34348
450.18/225.77	c flip 130000 nbSat=34182 maxSat=34348
450.77/226.00	c flip 140000 nbSat=34213 maxSat=34348
451.17/226.21	c flip 150000 nbSat=34214 maxSat=34348
451.57/226.43	c flip 160000 nbSat=34246 maxSat=34348
451.97/226.66	c flip 170000 nbSat=34196 maxSat=34348
452.37/226.89	c flip 180000 nbSat=34195 maxSat=34348
452.97/227.11	c flip 190000 nbSat=34200 maxSat=34348
452.97/227.18	c flip 0 nbSat=29277 maxSat=34348
453.37/227.35	c flip 10000 nbSat=32836 maxSat=34348
453.77/227.54	c flip 20000 nbSat=33342 maxSat=34348
454.17/227.76	c flip 30000 nbSat=33545 maxSat=34348
454.56/227.98	c flip 40000 nbSat=33613 maxSat=34348
455.16/228.20	c flip 50000 nbSat=33819 maxSat=34348
455.56/228.42	c flip 60000 nbSat=33814 maxSat=34348
455.96/228.63	c flip 70000 nbSat=33860 maxSat=34348
456.36/228.85	c flip 80000 nbSat=33996 maxSat=34348
456.76/229.07	c flip 90000 nbSat=33907 maxSat=34348
457.16/229.29	c flip 100000 nbSat=33880 maxSat=34348
457.76/229.51	c flip 110000 nbSat=34011 maxSat=34348
458.16/229.73	c flip 120000 nbSat=33979 maxSat=34348
458.56/229.96	c flip 130000 nbSat=34030 maxSat=34348
458.95/230.19	c flip 140000 nbSat=34018 maxSat=34348
459.55/230.41	c flip 150000 nbSat=34066 maxSat=34348
459.95/230.65	c flip 160000 nbSat=34056 maxSat=34348
460.35/230.87	c flip 170000 nbSat=34081 maxSat=34348
460.76/231.09	c flip 180000 nbSat=34152 maxSat=34348
461.35/231.31	c flip 190000 nbSat=34137 maxSat=34348
461.35/231.38	c flip 0 nbSat=29159 maxSat=34348
461.75/231.55	c flip 10000 nbSat=32884 maxSat=34348
462.15/231.76	c flip 20000 nbSat=33385 maxSat=34348
462.55/231.99	c flip 30000 nbSat=33521 maxSat=34348
463.14/232.23	c flip 40000 nbSat=33761 maxSat=34348
463.54/232.46	c flip 50000 nbSat=33906 maxSat=34348
463.94/232.68	c flip 60000 nbSat=33961 maxSat=34348
464.34/232.90	c flip 70000 nbSat=33963 maxSat=34348
464.94/233.13	c flip 80000 nbSat=33993 maxSat=34348
465.34/233.34	c flip 90000 nbSat=34031 maxSat=34348
465.73/233.55	c flip 100000 nbSat=34080 maxSat=34348
466.13/233.75	c flip 110000 nbSat=34010 maxSat=34348
466.53/233.97	c flip 120000 nbSat=34023 maxSat=34348
466.93/234.19	c flip 130000 nbSat=34042 maxSat=34348
467.53/234.42	c flip 140000 nbSat=33972 maxSat=34348
467.93/234.65	c flip 150000 nbSat=34084 maxSat=34348
468.33/234.88	c flip 160000 nbSat=34102 maxSat=34348
468.93/235.11	c flip 170000 nbSat=34133 maxSat=34348
469.33/235.35	c flip 180000 nbSat=34182 maxSat=34348
469.72/235.56	c flip 190000 nbSat=34175 maxSat=34348
469.92/235.63	c flip 0 nbSat=29169 maxSat=34348
470.32/235.80	c flip 10000 nbSat=32796 maxSat=34348
470.72/236.00	c flip 20000 nbSat=33424 maxSat=34348
471.12/236.21	c flip 30000 nbSat=33713 maxSat=34348
471.53/236.44	c flip 40000 nbSat=33792 maxSat=34348
471.92/236.67	c flip 50000 nbSat=33807 maxSat=34348
472.32/236.89	c flip 60000 nbSat=33904 maxSat=34348
472.92/237.12	c flip 70000 nbSat=33904 maxSat=34348
473.32/237.35	c flip 80000 nbSat=33963 maxSat=34348
473.72/237.57	c flip 90000 nbSat=33979 maxSat=34348
474.31/237.80	c flip 100000 nbSat=33985 maxSat=34348
474.71/238.03	c flip 110000 nbSat=34069 maxSat=34348
475.11/238.26	c flip 120000 nbSat=34037 maxSat=34348
475.51/238.49	c flip 130000 nbSat=34078 maxSat=34348
476.12/238.72	c flip 140000 nbSat=34209 maxSat=34348
476.51/238.95	c flip 150000 nbSat=34141 maxSat=34348
476.91/239.17	c flip 160000 nbSat=34150 maxSat=34348
477.51/239.40	c flip 170000 nbSat=34157 maxSat=34348
477.91/239.61	c flip 180000 nbSat=34229 maxSat=34348
478.32/239.85	c flip 190000 nbSat=34169 maxSat=34348
478.51/239.92	c flip 0 nbSat=29180 maxSat=34348
478.71/240.09	c flip 10000 nbSat=32793 maxSat=34348
479.31/240.31	c flip 20000 nbSat=33363 maxSat=34348
479.71/240.53	c flip 30000 nbSat=33619 maxSat=34348
480.11/240.75	c flip 40000 nbSat=33723 maxSat=34348
480.51/240.97	c flip 50000 nbSat=33844 maxSat=34348
480.90/241.18	c flip 60000 nbSat=33928 maxSat=34348
481.50/241.41	c flip 70000 nbSat=33943 maxSat=34348
481.90/241.64	c flip 80000 nbSat=33979 maxSat=34348
482.30/241.86	c flip 90000 nbSat=33975 maxSat=34348
482.70/242.08	c flip 100000 nbSat=34019 maxSat=34348
483.29/242.31	c flip 110000 nbSat=34043 maxSat=34348
483.69/242.53	c flip 120000 nbSat=33961 maxSat=34348
484.09/242.76	c flip 130000 nbSat=34069 maxSat=34348
484.49/242.98	c flip 140000 nbSat=34033 maxSat=34348
485.09/243.21	c flip 150000 nbSat=34067 maxSat=34348
485.49/243.44	c flip 160000 nbSat=34026 maxSat=34348
485.89/243.66	c flip 170000 nbSat=34058 maxSat=34348
486.29/243.88	c flip 180000 nbSat=34065 maxSat=34348
486.69/244.10	c flip 190000 nbSat=34078 maxSat=34348
486.89/244.17	c flip 0 nbSat=29341 maxSat=34348
487.28/244.36	c flip 10000 nbSat=32846 maxSat=34348
487.68/244.57	c flip 20000 nbSat=33381 maxSat=34348
488.28/244.80	c flip 30000 nbSat=33540 maxSat=34348
488.68/245.02	c flip 40000 nbSat=33684 maxSat=34348
489.09/245.24	c flip 50000 nbSat=33850 maxSat=34348
489.48/245.46	c flip 60000 nbSat=33927 maxSat=34348
489.88/245.67	c flip 70000 nbSat=33818 maxSat=34348
490.28/245.89	c flip 80000 nbSat=33936 maxSat=34348
490.88/246.10	c flip 90000 nbSat=33964 maxSat=34348
491.28/246.32	c flip 100000 nbSat=34077 maxSat=34348
491.68/246.53	c flip 110000 nbSat=34000 maxSat=34348
492.08/246.75	c flip 120000 nbSat=34081 maxSat=34348
492.48/246.98	c flip 130000 nbSat=34040 maxSat=34348
493.08/247.20	c flip 140000 nbSat=34095 maxSat=34348
493.48/247.43	c flip 150000 nbSat=34119 maxSat=34348
493.87/247.64	c flip 160000 nbSat=34133 maxSat=34348
494.27/247.87	c flip 170000 nbSat=34107 maxSat=34348
494.87/248.10	c flip 180000 nbSat=34131 maxSat=34348
495.27/248.32	c flip 190000 nbSat=34097 maxSat=34348
495.27/248.39	c flip 0 nbSat=29174 maxSat=34348
495.67/248.58	c flip 10000 nbSat=32823 maxSat=34348
496.07/248.80	c flip 20000 nbSat=33308 maxSat=34348
496.67/249.00	c flip 30000 nbSat=33621 maxSat=34348
497.07/249.21	c flip 40000 nbSat=33596 maxSat=34348
497.47/249.42	c flip 50000 nbSat=33804 maxSat=34348
497.87/249.64	c flip 60000 nbSat=33881 maxSat=34348
498.26/249.84	c flip 70000 nbSat=33932 maxSat=34348
498.66/250.06	c flip 80000 nbSat=33942 maxSat=34348
499.06/250.28	c flip 90000 nbSat=34057 maxSat=34348
499.66/250.50	c flip 100000 nbSat=34003 maxSat=34348
500.06/250.72	c flip 110000 nbSat=34046 maxSat=34348
500.45/250.94	c flip 120000 nbSat=34022 maxSat=34348
500.85/251.16	c flip 130000 nbSat=34152 maxSat=34348
501.25/251.37	c flip 140000 nbSat=34135 maxSat=34348
501.65/251.58	c flip 150000 nbSat=34134 maxSat=34348
502.26/251.81	c flip 160000 nbSat=34171 maxSat=34348
502.65/252.03	c flip 170000 nbSat=34244 maxSat=34348
503.05/252.25	c flip 180000 nbSat=34186 maxSat=34348
503.45/252.47	c flip 190000 nbSat=34211 maxSat=34348
503.65/252.54	c flip 0 nbSat=29259 maxSat=34348
504.05/252.72	c flip 10000 nbSat=32937 maxSat=34348
504.45/252.93	c flip 20000 nbSat=33414 maxSat=34348
504.84/253.15	c flip 30000 nbSat=33612 maxSat=34348
505.24/253.38	c flip 40000 nbSat=33739 maxSat=34348
505.84/253.61	c flip 50000 nbSat=33862 maxSat=34348
506.24/253.83	c flip 60000 nbSat=33888 maxSat=34348
506.65/254.06	c flip 70000 nbSat=33939 maxSat=34348
507.04/254.30	c flip 80000 nbSat=33967 maxSat=34348
507.64/254.53	c flip 90000 nbSat=33942 maxSat=34348
508.04/254.78	c flip 100000 nbSat=33938 maxSat=34348
508.64/255.02	c flip 110000 nbSat=33999 maxSat=34348
509.04/255.26	c flip 120000 nbSat=34000 maxSat=34348
509.43/255.49	c flip 130000 nbSat=34032 maxSat=34348
510.03/255.72	c flip 140000 nbSat=34016 maxSat=34348
510.43/255.94	c flip 150000 nbSat=34103 maxSat=34348
510.83/256.16	c flip 160000 nbSat=34186 maxSat=34348
511.24/256.38	c flip 170000 nbSat=34107 maxSat=34348
511.83/256.60	c flip 180000 nbSat=34087 maxSat=34348
512.23/256.82	c flip 190000 nbSat=34235 maxSat=34348
512.23/256.89	c flip 0 nbSat=29115 maxSat=34348
512.63/257.07	c flip 10000 nbSat=32903 maxSat=34348
513.03/257.27	c flip 20000 nbSat=33441 maxSat=34348
513.62/257.51	c flip 30000 nbSat=33694 maxSat=34348
514.02/257.73	c flip 40000 nbSat=33872 maxSat=34348
514.42/257.96	c flip 50000 nbSat=33897 maxSat=34348
514.81/258.17	c flip 60000 nbSat=34053 maxSat=34348
515.21/258.39	c flip 70000 nbSat=34110 maxSat=34348
515.81/258.62	c flip 80000 nbSat=34092 maxSat=34348
516.21/258.85	c flip 90000 nbSat=34095 maxSat=34348
516.61/259.08	c flip 100000 nbSat=33987 maxSat=34348
517.21/259.30	c flip 110000 nbSat=34132 maxSat=34348
517.61/259.53	c flip 120000 nbSat=34103 maxSat=34348
518.00/259.77	c flip 130000 nbSat=34092 maxSat=34348
518.60/260.00	c flip 140000 nbSat=34192 maxSat=34348
519.00/260.22	c flip 150000 nbSat=34221 maxSat=34348
519.40/260.46	c flip 160000 nbSat=34115 maxSat=34348
519.81/260.70	c flip 170000 nbSat=34105 maxSat=34348
520.40/260.94	c flip 180000 nbSat=34212 maxSat=34348
520.80/261.17	c flip 190000 nbSat=34170 maxSat=34348
521.00/261.24	c flip 0 nbSat=29110 maxSat=34348
521.40/261.43	c flip 10000 nbSat=32885 maxSat=34348
521.79/261.65	c flip 20000 nbSat=33255 maxSat=34348
522.20/261.88	c flip 30000 nbSat=33519 maxSat=34348
522.79/262.10	c flip 40000 nbSat=33670 maxSat=34348
523.19/262.30	c flip 50000 nbSat=33843 maxSat=34348
523.59/262.53	c flip 60000 nbSat=33815 maxSat=34348
523.99/262.75	c flip 70000 nbSat=33822 maxSat=34348
524.40/262.98	c flip 80000 nbSat=33891 maxSat=34348
524.98/263.21	c flip 90000 nbSat=33985 maxSat=34348
525.38/263.43	c flip 100000 nbSat=34061 maxSat=34348
525.78/263.65	c flip 110000 nbSat=33978 maxSat=34348
526.18/263.88	c flip 120000 nbSat=33994 maxSat=34348
526.78/264.11	c flip 130000 nbSat=34069 maxSat=34348
527.18/264.34	c flip 140000 nbSat=34082 maxSat=34348
527.58/264.57	c flip 150000 nbSat=34031 maxSat=34348
528.18/264.80	c flip 160000 nbSat=34074 maxSat=34348
528.58/265.02	c flip 170000 nbSat=34081 maxSat=34348
528.98/265.26	c flip 180000 nbSat=34072 maxSat=34348
529.58/265.50	c flip 190000 nbSat=34032 maxSat=34348
529.58/265.57	c flip 0 nbSat=29282 maxSat=34348
529.98/265.74	c flip 10000 nbSat=32886 maxSat=34348
530.38/265.94	c flip 20000 nbSat=33305 maxSat=34348
530.78/266.15	c flip 30000 nbSat=33459 maxSat=34348
531.17/266.37	c flip 40000 nbSat=33701 maxSat=34348
531.57/266.60	c flip 50000 nbSat=33784 maxSat=34348
532.17/266.83	c flip 60000 nbSat=33970 maxSat=34348
532.57/267.07	c flip 70000 nbSat=33972 maxSat=34348
532.97/267.30	c flip 80000 nbSat=34005 maxSat=34348
533.56/267.52	c flip 90000 nbSat=34100 maxSat=34348
533.96/267.73	c flip 100000 nbSat=34081 maxSat=34348
534.36/267.95	c flip 110000 nbSat=34110 maxSat=34348
534.76/268.16	c flip 120000 nbSat=34075 maxSat=34348
535.17/268.39	c flip 130000 nbSat=34132 maxSat=34348
535.76/268.61	c flip 140000 nbSat=34101 maxSat=34348
536.16/268.83	c flip 150000 nbSat=34071 maxSat=34348
536.56/269.05	c flip 160000 nbSat=34127 maxSat=34348
536.96/269.27	c flip 170000 nbSat=34093 maxSat=34348
537.36/269.50	c flip 180000 nbSat=34204 maxSat=34348
537.95/269.72	c flip 190000 nbSat=34200 maxSat=34348
538.15/269.80	c flip 0 nbSat=29243 maxSat=34348
538.35/269.98	c flip 10000 nbSat=32846 maxSat=34348
538.75/270.19	c flip 20000 nbSat=33395 maxSat=34348
539.35/270.40	c flip 30000 nbSat=33477 maxSat=34348
539.76/270.62	c flip 40000 nbSat=33695 maxSat=34348
540.15/270.84	c flip 50000 nbSat=33822 maxSat=34348
540.55/271.06	c flip 60000 nbSat=33949 maxSat=34348
540.95/271.28	c flip 70000 nbSat=33910 maxSat=34348
541.54/271.52	c flip 80000 nbSat=33987 maxSat=34348
541.94/271.75	c flip 90000 nbSat=34014 maxSat=34348
542.34/271.97	c flip 100000 nbSat=34080 maxSat=34348
542.94/272.20	c flip 110000 nbSat=34014 maxSat=34348
543.34/272.44	c flip 120000 nbSat=34096 maxSat=34348
543.74/272.68	c flip 130000 nbSat=34116 maxSat=34348
544.33/272.91	c flip 140000 nbSat=34120 maxSat=34348
544.73/273.14	c flip 150000 nbSat=34034 maxSat=34348
545.13/273.37	c flip 160000 nbSat=34068 maxSat=34348
545.73/273.60	c flip 170000 nbSat=34118 maxSat=34348
546.13/273.84	c flip 180000 nbSat=34125 maxSat=34348
546.53/274.06	c flip 190000 nbSat=34219 maxSat=34348
546.73/274.13	c flip 0 nbSat=29348 maxSat=34348
547.13/274.31	c flip 10000 nbSat=32924 maxSat=34348
547.53/274.53	c flip 20000 nbSat=33394 maxSat=34348
547.93/274.77	c flip 30000 nbSat=33441 maxSat=34348
548.53/275.01	c flip 40000 nbSat=33684 maxSat=34348
548.92/275.24	c flip 50000 nbSat=33817 maxSat=34348
549.32/275.47	c flip 60000 nbSat=33929 maxSat=34348
549.72/275.69	c flip 70000 nbSat=33890 maxSat=34348
550.32/275.91	c flip 80000 nbSat=33913 maxSat=34348
550.72/276.14	c flip 90000 nbSat=33972 maxSat=34348
551.11/276.38	c flip 100000 nbSat=33945 maxSat=34348
551.71/276.62	c flip 110000 nbSat=34090 maxSat=34348
552.11/276.85	c flip 120000 nbSat=34113 maxSat=34348
552.51/277.08	c flip 130000 nbSat=34106 maxSat=34348
553.11/277.32	c flip 140000 nbSat=34094 maxSat=34348
553.51/277.56	c flip 150000 nbSat=34094 maxSat=34348
554.11/277.80	c flip 160000 nbSat=34020 maxSat=34348
554.51/278.04	c flip 170000 nbSat=34079 maxSat=34348
554.91/278.28	c flip 180000 nbSat=34052 maxSat=34348
555.50/278.50	c flip 190000 nbSat=34082 maxSat=34348
555.50/278.57	c flip 0 nbSat=29371 maxSat=34348
555.90/278.75	c flip 10000 nbSat=32887 maxSat=34348
556.30/278.97	c flip 20000 nbSat=33400 maxSat=34348
556.70/279.19	c flip 30000 nbSat=33483 maxSat=34348
557.31/279.42	c flip 40000 nbSat=33705 maxSat=34348
557.70/279.63	c flip 50000 nbSat=33760 maxSat=34348
558.10/279.86	c flip 60000 nbSat=33948 maxSat=34348
558.50/280.08	c flip 70000 nbSat=34085 maxSat=34348
559.10/280.30	c flip 80000 nbSat=34009 maxSat=34348
559.51/280.53	c flip 90000 nbSat=34054 maxSat=34348
559.90/280.75	c flip 100000 nbSat=34041 maxSat=34348
560.30/280.98	c flip 110000 nbSat=34091 maxSat=34348
560.90/281.20	c flip 120000 nbSat=34154 maxSat=34348
561.30/281.43	c flip 130000 nbSat=34190 maxSat=34348
561.70/281.66	c flip 140000 nbSat=34136 maxSat=34348
562.09/281.88	c flip 150000 nbSat=34167 maxSat=34348
562.49/282.09	c flip 160000 nbSat=34210 maxSat=34348
563.09/282.30	c flip 170000 nbSat=34205 maxSat=34348
563.49/282.53	c flip 180000 nbSat=34186 maxSat=34348
563.90/282.75	c flip 190000 nbSat=34188 maxSat=34348
564.09/282.82	c flip 0 nbSat=29173 maxSat=34348
564.49/283.00	c flip 10000 nbSat=32863 maxSat=34348
564.89/283.23	c flip 20000 nbSat=33203 maxSat=34348
565.29/283.45	c flip 30000 nbSat=33573 maxSat=34348
565.69/283.67	c flip 40000 nbSat=33724 maxSat=34348
566.28/283.91	c flip 50000 nbSat=33740 maxSat=34348
566.68/284.15	c flip 60000 nbSat=33817 maxSat=34348
567.08/284.37	c flip 70000 nbSat=33888 maxSat=34348
567.68/284.60	c flip 80000 nbSat=33976 maxSat=34348
568.08/284.82	c flip 90000 nbSat=33930 maxSat=34348
568.47/285.03	c flip 100000 nbSat=34031 maxSat=34348
568.87/285.26	c flip 110000 nbSat=34019 maxSat=34348
569.27/285.49	c flip 120000 nbSat=34020 maxSat=34348
569.87/285.71	c flip 130000 nbSat=34068 maxSat=34348
570.28/285.95	c flip 140000 nbSat=34102 maxSat=34348
570.67/286.18	c flip 150000 nbSat=34116 maxSat=34348
571.27/286.40	c flip 160000 nbSat=34114 maxSat=34348
571.67/286.63	c flip 170000 nbSat=34178 maxSat=34348
572.07/286.86	c flip 180000 nbSat=34080 maxSat=34348
572.47/287.09	c flip 190000 nbSat=34141 maxSat=34348
572.67/287.16	c flip 0 nbSat=29201 maxSat=34348
573.06/287.34	c flip 10000 nbSat=32803 maxSat=34348
573.46/287.55	c flip 20000 nbSat=33333 maxSat=34348
573.86/287.76	c flip 30000 nbSat=33479 maxSat=34348
574.26/287.99	c flip 40000 nbSat=33645 maxSat=34348
574.87/288.22	c flip 50000 nbSat=33696 maxSat=34348
575.26/288.45	c flip 60000 nbSat=33777 maxSat=34348
575.66/288.68	c flip 70000 nbSat=33882 maxSat=34348
576.06/288.89	c flip 80000 nbSat=33927 maxSat=34348
576.66/289.12	c flip 90000 nbSat=33939 maxSat=34348
577.06/289.35	c flip 100000 nbSat=33930 maxSat=34348
577.45/289.57	c flip 110000 nbSat=34002 maxSat=34348
578.05/289.80	c flip 120000 nbSat=33943 maxSat=34348
578.45/290.02	c flip 130000 nbSat=34037 maxSat=34348
578.86/290.25	c flip 140000 nbSat=34016 maxSat=34348
579.26/290.47	c flip 150000 nbSat=33979 maxSat=34348
579.85/290.70	c flip 160000 nbSat=34112 maxSat=34348
580.25/290.93	c flip 170000 nbSat=34106 maxSat=34348
580.65/291.14	c flip 180000 nbSat=34071 maxSat=34348
581.05/291.36	c flip 190000 nbSat=34022 maxSat=34348
581.26/291.43	c flip 0 nbSat=29254 maxSat=34348
581.65/291.60	c flip 10000 nbSat=32906 maxSat=34348
582.05/291.82	c flip 20000 nbSat=33356 maxSat=34348
582.45/292.05	c flip 30000 nbSat=33635 maxSat=34348
582.85/292.26	c flip 40000 nbSat=33723 maxSat=34348
583.24/292.48	c flip 50000 nbSat=33779 maxSat=34348
583.84/292.72	c flip 60000 nbSat=33919 maxSat=34348
584.24/292.94	c flip 70000 nbSat=33910 maxSat=34348
584.64/293.18	c flip 80000 nbSat=34020 maxSat=34348
585.24/293.41	c flip 90000 nbSat=34045 maxSat=34348
585.64/293.64	c flip 100000 nbSat=34125 maxSat=34348
586.04/293.86	c flip 110000 nbSat=34049 maxSat=34348
586.44/294.08	c flip 120000 nbSat=34078 maxSat=34348
587.03/294.32	c flip 130000 nbSat=34146 maxSat=34348
587.43/294.55	c flip 140000 nbSat=34140 maxSat=34348
587.84/294.79	c flip 150000 nbSat=34115 maxSat=34348
588.43/295.02	c flip 160000 nbSat=34161 maxSat=34348
588.83/295.25	c flip 170000 nbSat=34143 maxSat=34348
589.23/295.49	c flip 180000 nbSat=34142 maxSat=34348
589.83/295.73	c flip 190000 nbSat=34136 maxSat=34348
590.03/295.81	c flip 0 nbSat=29291 maxSat=34348
590.23/295.98	c flip 10000 nbSat=32872 maxSat=34348
590.82/296.20	c flip 20000 nbSat=33357 maxSat=34348
591.22/296.41	c flip 30000 nbSat=33705 maxSat=34348
591.62/296.64	c flip 40000 nbSat=33720 maxSat=34348
592.02/296.87	c flip 50000 nbSat=33907 maxSat=34348
592.62/297.11	c flip 60000 nbSat=33950 maxSat=34348
593.02/297.35	c flip 70000 nbSat=34022 maxSat=34348
593.42/297.57	c flip 80000 nbSat=33906 maxSat=34348
594.02/297.80	c flip 90000 nbSat=34038 maxSat=34348
594.42/298.02	c flip 100000 nbSat=34114 maxSat=34348
594.81/298.24	c flip 110000 nbSat=33990 maxSat=34348
595.21/298.47	c flip 120000 nbSat=34025 maxSat=34348
595.62/298.69	c flip 130000 nbSat=34088 maxSat=34348
596.22/298.92	c flip 140000 nbSat=34102 maxSat=34348
596.63/299.16	c flip 150000 nbSat=34125 maxSat=34348
597.02/299.39	c flip 160000 nbSat=34129 maxSat=34348
597.62/299.62	c flip 170000 nbSat=34101 maxSat=34348
598.02/299.84	c flip 180000 nbSat=34118 maxSat=34348
598.42/300.07	c flip 190000 nbSat=34232 maxSat=34348
598.62/300.14	c flip 0 nbSat=29214 maxSat=34348
599.02/300.32	c flip 10000 nbSat=32865 maxSat=34348
599.41/300.52	c flip 20000 nbSat=33394 maxSat=34348
599.81/300.74	c flip 30000 nbSat=33678 maxSat=34348
600.21/300.95	c flip 40000 nbSat=33762 maxSat=34348
600.61/301.18	c flip 50000 nbSat=33902 maxSat=34348
601.22/301.41	c flip 60000 nbSat=34017 maxSat=34348
601.61/301.63	c flip 70000 nbSat=33997 maxSat=34348
602.01/301.86	c flip 80000 nbSat=34027 maxSat=34348
602.41/302.09	c flip 90000 nbSat=34066 maxSat=34348
603.01/302.32	c flip 100000 nbSat=34032 maxSat=34348
603.40/302.56	c flip 110000 nbSat=34164 maxSat=34348
603.79/302.77	c flip 120000 nbSat=34060 maxSat=34348
604.39/303.00	c flip 130000 nbSat=34054 maxSat=34348
604.79/303.22	c flip 140000 nbSat=34081 maxSat=34348
605.19/303.46	c flip 150000 nbSat=34133 maxSat=34348
605.79/303.70	c flip 160000 nbSat=34106 maxSat=34348
606.19/303.93	c flip 170000 nbSat=34125 maxSat=34348
606.59/304.15	c flip 180000 nbSat=34147 maxSat=34348
606.99/304.38	c flip 190000 nbSat=34209 maxSat=34348
607.19/304.45	c flip 0 nbSat=29141 maxSat=34348
607.59/304.63	c flip 10000 nbSat=32876 maxSat=34348
607.98/304.84	c flip 20000 nbSat=33316 maxSat=34348
608.38/305.06	c flip 30000 nbSat=33617 maxSat=34348
608.78/305.28	c flip 40000 nbSat=33592 maxSat=34348
609.18/305.49	c flip 50000 nbSat=33656 maxSat=34348
609.78/305.72	c flip 60000 nbSat=33690 maxSat=34348
610.18/305.94	c flip 70000 nbSat=33913 maxSat=34348
610.58/306.17	c flip 80000 nbSat=33977 maxSat=34348
610.98/306.39	c flip 90000 nbSat=33950 maxSat=34348
611.58/306.61	c flip 100000 nbSat=34043 maxSat=34348
611.98/306.84	c flip 110000 nbSat=34061 maxSat=34348
612.37/307.08	c flip 120000 nbSat=33976 maxSat=34348
612.97/307.31	c flip 130000 nbSat=34072 maxSat=34348
613.37/307.55	c flip 140000 nbSat=34049 maxSat=34348
613.77/307.78	c flip 150000 nbSat=34158 maxSat=34348
614.38/308.02	c flip 160000 nbSat=34144 maxSat=34348
614.77/308.24	c flip 170000 nbSat=34195 maxSat=34348
615.17/308.47	c flip 180000 nbSat=34231 maxSat=34348
615.57/308.69	c flip 190000 nbSat=34217 maxSat=34348
615.77/308.76	c flip 0 nbSat=29054 maxSat=34348
616.17/308.93	c flip 10000 nbSat=32843 maxSat=34348
616.57/309.16	c flip 20000 nbSat=33277 maxSat=34348
616.96/309.38	c flip 30000 nbSat=33598 maxSat=34348
617.56/309.61	c flip 40000 nbSat=33825 maxSat=34348
617.96/309.84	c flip 50000 nbSat=33854 maxSat=34348
618.36/310.07	c flip 60000 nbSat=34018 maxSat=34348
618.95/310.30	c flip 70000 nbSat=33973 maxSat=34348
619.35/310.52	c flip 80000 nbSat=34010 maxSat=34348
619.75/310.74	c flip 90000 nbSat=34005 maxSat=34348
620.15/310.96	c flip 100000 nbSat=34017 maxSat=34348
620.55/311.18	c flip 110000 nbSat=34041 maxSat=34348
621.15/311.41	c flip 120000 nbSat=34134 maxSat=34348
621.55/311.64	c flip 130000 nbSat=34065 maxSat=34348
621.95/311.87	c flip 140000 nbSat=34185 maxSat=34348
622.35/312.08	c flip 150000 nbSat=34119 maxSat=34348
622.75/312.29	c flip 160000 nbSat=34173 maxSat=34348
623.34/312.52	c flip 170000 nbSat=34073 maxSat=34348
623.74/312.73	c flip 180000 nbSat=34228 maxSat=34348
624.14/312.97	c flip 190000 nbSat=34140 maxSat=34348
624.34/313.04	c flip 0 nbSat=29223 maxSat=34348
624.74/313.21	c flip 10000 nbSat=32909 maxSat=34348
625.15/313.42	c flip 20000 nbSat=33413 maxSat=34348
625.54/313.64	c flip 30000 nbSat=33578 maxSat=34348
625.94/313.85	c flip 40000 nbSat=33742 maxSat=34348
626.34/314.07	c flip 50000 nbSat=33825 maxSat=34348
626.74/314.29	c flip 60000 nbSat=33947 maxSat=34348
627.34/314.51	c flip 70000 nbSat=33981 maxSat=34348
627.74/314.73	c flip 80000 nbSat=34003 maxSat=34348
628.14/314.96	c flip 90000 nbSat=34015 maxSat=34348
628.54/315.17	c flip 100000 nbSat=34072 maxSat=34348
628.94/315.39	c flip 110000 nbSat=34107 maxSat=34348
629.54/315.62	c flip 120000 nbSat=34185 maxSat=34348
629.93/315.85	c flip 130000 nbSat=34140 maxSat=34348
630.33/316.07	c flip 140000 nbSat=34139 maxSat=34348
630.73/316.29	c flip 150000 nbSat=34143 maxSat=34348
631.33/316.51	c flip 160000 nbSat=34184 maxSat=34348
631.73/316.75	c flip 170000 nbSat=34169 maxSat=34348
632.12/316.97	c flip 180000 nbSat=34194 maxSat=34348
632.52/317.19	c flip 190000 nbSat=34192 maxSat=34348
632.72/317.27	c flip 0 nbSat=29185 maxSat=34348
633.12/317.44	c flip 10000 nbSat=32839 maxSat=34348
633.51/317.68	c flip 20000 nbSat=33310 maxSat=34348
633.92/317.90	c flip 30000 nbSat=33557 maxSat=34348
634.51/318.12	c flip 40000 nbSat=33619 maxSat=34348
634.91/318.34	c flip 50000 nbSat=33759 maxSat=34348
635.31/318.58	c flip 60000 nbSat=33841 maxSat=34348
635.91/318.82	c flip 70000 nbSat=33903 maxSat=34348
636.31/319.05	c flip 80000 nbSat=33910 maxSat=34348
636.70/319.26	c flip 90000 nbSat=33967 maxSat=34348
637.10/319.48	c flip 100000 nbSat=33958 maxSat=34348
637.70/319.70	c flip 110000 nbSat=33858 maxSat=34348
638.10/319.93	c flip 120000 nbSat=34002 maxSat=34348
638.51/320.17	c flip 130000 nbSat=34022 maxSat=34348
638.90/320.39	c flip 140000 nbSat=34033 maxSat=34348
639.50/320.61	c flip 150000 nbSat=34092 maxSat=34348
639.90/320.82	c flip 160000 nbSat=34083 maxSat=34348
640.30/321.04	c flip 170000 nbSat=34143 maxSat=34348
640.70/321.26	c flip 180000 nbSat=34049 maxSat=34348
641.10/321.48	c flip 190000 nbSat=34122 maxSat=34348
641.30/321.54	c flip 0 nbSat=29236 maxSat=34348
641.70/321.71	c flip 10000 nbSat=32874 maxSat=34348
642.10/321.93	c flip 20000 nbSat=33429 maxSat=34348
642.50/322.15	c flip 30000 nbSat=33590 maxSat=34348
642.90/322.39	c flip 40000 nbSat=33707 maxSat=34348
643.49/322.62	c flip 50000 nbSat=33859 maxSat=34348
643.89/322.85	c flip 60000 nbSat=33927 maxSat=34348
644.29/323.07	c flip 70000 nbSat=33937 maxSat=34348
644.90/323.30	c flip 80000 nbSat=33965 maxSat=34348
645.29/323.53	c flip 90000 nbSat=34041 maxSat=34348
645.69/323.75	c flip 100000 nbSat=34031 maxSat=34348
646.09/323.98	c flip 110000 nbSat=34042 maxSat=34348
646.69/324.21	c flip 120000 nbSat=33972 maxSat=34348
647.09/324.43	c flip 130000 nbSat=34102 maxSat=34348
647.48/324.64	c flip 140000 nbSat=34045 maxSat=34348
647.88/324.86	c flip 150000 nbSat=34059 maxSat=34348
648.28/325.08	c flip 160000 nbSat=34082 maxSat=34348
648.68/325.29	c flip 170000 nbSat=34128 maxSat=34348
649.29/325.51	c flip 180000 nbSat=34188 maxSat=34348
649.68/325.73	c flip 190000 nbSat=34172 maxSat=34348
649.88/325.80	c flip 0 nbSat=29248 maxSat=34348
650.08/325.97	c flip 10000 nbSat=32785 maxSat=34348
650.48/326.18	c flip 20000 nbSat=33303 maxSat=34348
650.88/326.39	c flip 30000 nbSat=33563 maxSat=34348
651.48/326.62	c flip 40000 nbSat=33786 maxSat=34348
651.87/326.84	c flip 50000 nbSat=33808 maxSat=34348
652.27/327.06	c flip 60000 nbSat=33902 maxSat=34348
652.67/327.29	c flip 70000 nbSat=33970 maxSat=34348
653.27/327.52	c flip 80000 nbSat=33994 maxSat=34348
653.67/327.75	c flip 90000 nbSat=34013 maxSat=34348
654.07/327.99	c flip 100000 nbSat=34006 maxSat=34348
654.67/328.21	c flip 110000 nbSat=33967 maxSat=34348
655.07/328.43	c flip 120000 nbSat=34104 maxSat=34348
655.47/328.66	c flip 130000 nbSat=34100 maxSat=34348
655.87/328.88	c flip 140000 nbSat=34163 maxSat=34348
656.26/329.09	c flip 150000 nbSat=34164 maxSat=34348
656.86/329.30	c flip 160000 nbSat=34184 maxSat=34348
657.26/329.52	c flip 170000 nbSat=34194 maxSat=34348
657.66/329.75	c flip 180000 nbSat=34153 maxSat=34348
658.06/329.98	c flip 190000 nbSat=34187 maxSat=34348
658.26/330.05	c flip 0 nbSat=29420 maxSat=34348
658.66/330.22	c flip 10000 nbSat=32901 maxSat=34348
659.06/330.44	c flip 20000 nbSat=33325 maxSat=34348
659.46/330.66	c flip 30000 nbSat=33557 maxSat=34348
659.86/330.89	c flip 40000 nbSat=33652 maxSat=34348
660.46/331.12	c flip 50000 nbSat=33770 maxSat=34348
660.85/331.35	c flip 60000 nbSat=33902 maxSat=34348
661.25/331.57	c flip 70000 nbSat=34094 maxSat=34348
661.65/331.80	c flip 80000 nbSat=34085 maxSat=34348
662.25/332.03	c flip 90000 nbSat=34074 maxSat=34348
662.66/332.26	c flip 100000 nbSat=34117 maxSat=34348
663.05/332.49	c flip 110000 nbSat=34206 maxSat=34348
663.65/332.72	c flip 120000 nbSat=34143 maxSat=34348
664.05/332.94	c flip 130000 nbSat=34234 maxSat=34348
664.45/333.16	c flip 140000 nbSat=34116 maxSat=34348
664.85/333.39	c flip 150000 nbSat=34189 maxSat=34348
665.45/333.63	c flip 160000 nbSat=34229 maxSat=34348
665.85/333.85	c flip 170000 nbSat=34270 maxSat=34348
666.25/334.08	c flip 180000 nbSat=34254 maxSat=34360
666.85/334.32	c flip 190000 nbSat=34309 maxSat=34360
666.85/334.40	c flip 0 nbSat=29231 maxSat=34360
667.24/334.57	c flip 10000 nbSat=32811 maxSat=34360
667.64/334.79	c flip 20000 nbSat=33460 maxSat=34360
668.24/335.01	c flip 30000 nbSat=33604 maxSat=34360
668.64/335.24	c flip 40000 nbSat=33715 maxSat=34360
669.04/335.46	c flip 50000 nbSat=33880 maxSat=34360
669.43/335.69	c flip 60000 nbSat=33932 maxSat=34360
670.03/335.90	c flip 70000 nbSat=34072 maxSat=34360
670.43/336.12	c flip 80000 nbSat=34043 maxSat=34360
670.83/336.35	c flip 90000 nbSat=34002 maxSat=34360
671.24/336.58	c flip 100000 nbSat=34060 maxSat=34360
671.83/336.82	c flip 110000 nbSat=34089 maxSat=34360
672.23/337.07	c flip 120000 nbSat=34060 maxSat=34360
672.83/337.31	c flip 130000 nbSat=34064 maxSat=34360
673.23/337.56	c flip 140000 nbSat=34053 maxSat=34360
673.82/337.81	c flip 150000 nbSat=34025 maxSat=34360
674.22/338.04	c flip 160000 nbSat=34029 maxSat=34360
674.62/338.29	c flip 170000 nbSat=34040 maxSat=34360
675.22/338.52	c flip 180000 nbSat=34070 maxSat=34360
675.63/338.76	c flip 190000 nbSat=34151 maxSat=34360
675.82/338.83	c flip 0 nbSat=29167 maxSat=34360
676.22/339.01	c flip 10000 nbSat=32767 maxSat=34360
676.62/339.23	c flip 20000 nbSat=33330 maxSat=34360
677.02/339.45	c flip 30000 nbSat=33565 maxSat=34360
677.42/339.66	c flip 40000 nbSat=33779 maxSat=34360
677.82/339.88	c flip 50000 nbSat=33926 maxSat=34360
678.41/340.11	c flip 60000 nbSat=34002 maxSat=34360
678.81/340.34	c flip 70000 nbSat=33921 maxSat=34360
679.21/340.57	c flip 80000 nbSat=34072 maxSat=34360
679.81/340.80	c flip 90000 nbSat=34137 maxSat=34360
680.22/341.04	c flip 100000 nbSat=34023 maxSat=34360
680.61/341.27	c flip 110000 nbSat=34122 maxSat=34360
681.21/341.50	c flip 120000 nbSat=34123 maxSat=34360
681.61/341.73	c flip 130000 nbSat=34194 maxSat=34360
682.01/341.95	c flip 140000 nbSat=34248 maxSat=34360
682.41/342.17	c flip 150000 nbSat=34222 maxSat=34360
682.80/342.40	c flip 160000 nbSat=34191 maxSat=34360
683.40/342.64	c flip 170000 nbSat=34210 maxSat=34360
683.80/342.86	c flip 180000 nbSat=34218 maxSat=34360
684.20/343.09	c flip 190000 nbSat=34221 maxSat=34360
684.41/343.16	c flip 0 nbSat=29221 maxSat=34360
684.80/343.34	c flip 10000 nbSat=32812 maxSat=34360
685.20/343.55	c flip 20000 nbSat=33436 maxSat=34360
685.60/343.77	c flip 30000 nbSat=33697 maxSat=34360
686.00/343.99	c flip 40000 nbSat=33819 maxSat=34360
686.60/344.22	c flip 50000 nbSat=33895 maxSat=34360
686.99/344.45	c flip 60000 nbSat=33934 maxSat=34360
687.39/344.67	c flip 70000 nbSat=33964 maxSat=34360
687.79/344.88	c flip 80000 nbSat=34032 maxSat=34360
688.39/345.10	c flip 90000 nbSat=34127 maxSat=34360
688.80/345.34	c flip 100000 nbSat=34121 maxSat=34360
689.19/345.57	c flip 110000 nbSat=34095 maxSat=34360
689.79/345.81	c flip 120000 nbSat=34091 maxSat=34360
690.19/346.05	c flip 130000 nbSat=34106 maxSat=34360
690.79/346.30	c flip 140000 nbSat=34085 maxSat=34360
691.19/346.53	c flip 150000 nbSat=33993 maxSat=34360
691.58/346.77	c flip 160000 nbSat=34004 maxSat=34360
692.18/347.00	c flip 170000 nbSat=34069 maxSat=34360
692.58/347.23	c flip 180000 nbSat=34132 maxSat=34360
692.98/347.48	c flip 190000 nbSat=34032 maxSat=34360
693.18/347.56	c flip 0 nbSat=29151 maxSat=34360
693.57/347.73	c flip 10000 nbSat=32878 maxSat=34360
693.97/347.96	c flip 20000 nbSat=33362 maxSat=34360
694.37/348.17	c flip 30000 nbSat=33613 maxSat=34360
694.77/348.39	c flip 40000 nbSat=33735 maxSat=34360
695.37/348.62	c flip 50000 nbSat=33852 maxSat=34360
695.76/348.83	c flip 60000 nbSat=33810 maxSat=34360
696.16/349.04	c flip 70000 nbSat=33825 maxSat=34360
696.56/349.26	c flip 80000 nbSat=33883 maxSat=34360
696.96/349.48	c flip 90000 nbSat=33881 maxSat=34360
697.57/349.71	c flip 100000 nbSat=33910 maxSat=34360
697.96/349.94	c flip 110000 nbSat=34025 maxSat=34360
698.36/350.17	c flip 120000 nbSat=34109 maxSat=34360
698.76/350.39	c flip 130000 nbSat=34072 maxSat=34360
699.36/350.62	c flip 140000 nbSat=34153 maxSat=34360
699.76/350.85	c flip 150000 nbSat=34215 maxSat=34360
700.15/351.07	c flip 160000 nbSat=34092 maxSat=34360
700.55/351.29	c flip 170000 nbSat=34148 maxSat=34360
701.15/351.53	c flip 180000 nbSat=34137 maxSat=34360
701.55/351.75	c flip 190000 nbSat=34128 maxSat=34360
701.75/351.82	c flip 0 nbSat=29226 maxSat=34360
701.96/352.00	c flip 10000 nbSat=32790 maxSat=34360
702.55/352.22	c flip 20000 nbSat=33266 maxSat=34360
702.95/352.44	c flip 30000 nbSat=33545 maxSat=34360
703.35/352.68	c flip 40000 nbSat=33652 maxSat=34360
703.95/352.90	c flip 50000 nbSat=33800 maxSat=34360
704.35/353.13	c flip 60000 nbSat=33789 maxSat=34360
704.74/353.35	c flip 70000 nbSat=33851 maxSat=34360
705.14/353.58	c flip 80000 nbSat=33925 maxSat=34360
705.74/353.82	c flip 90000 nbSat=33910 maxSat=34360
706.14/354.04	c flip 100000 nbSat=33974 maxSat=34360
706.55/354.28	c flip 110000 nbSat=33981 maxSat=34360
707.14/354.52	c flip 120000 nbSat=34008 maxSat=34360
707.54/354.76	c flip 130000 nbSat=34018 maxSat=34360
708.14/355.00	c flip 140000 nbSat=34029 maxSat=34360
708.54/355.25	c flip 150000 nbSat=34077 maxSat=34360
708.93/355.49	c flip 160000 nbSat=34022 maxSat=34360
709.53/355.73	c flip 170000 nbSat=34178 maxSat=34360
709.93/355.96	c flip 180000 nbSat=34119 maxSat=34360
710.33/356.19	c flip 190000 nbSat=34130 maxSat=34360
710.53/356.26	c flip 0 nbSat=29250 maxSat=34360
710.94/356.43	c flip 10000 nbSat=32911 maxSat=34360
711.33/356.65	c flip 20000 nbSat=33253 maxSat=34360
711.73/356.87	c flip 30000 nbSat=33481 maxSat=34360
712.13/357.09	c flip 40000 nbSat=33655 maxSat=34360
712.73/357.32	c flip 50000 nbSat=33573 maxSat=34360
713.13/357.55	c flip 60000 nbSat=33872 maxSat=34360
713.52/357.78	c flip 70000 nbSat=33879 maxSat=34360
714.12/358.01	c flip 80000 nbSat=34033 maxSat=34360
714.53/358.24	c flip 90000 nbSat=34046 maxSat=34360
714.92/358.47	c flip 100000 nbSat=34015 maxSat=34360
715.52/358.70	c flip 110000 nbSat=34031 maxSat=34360
715.92/358.94	c flip 120000 nbSat=34114 maxSat=34360
716.32/359.16	c flip 130000 nbSat=34114 maxSat=34360
716.72/359.39	c flip 140000 nbSat=34089 maxSat=34360
717.32/359.63	c flip 150000 nbSat=34143 maxSat=34360
717.71/359.87	c flip 160000 nbSat=34072 maxSat=34360
718.11/360.09	c flip 170000 nbSat=34163 maxSat=34360
718.71/360.30	c flip 180000 nbSat=34258 maxSat=34360
719.11/360.51	c flip 190000 nbSat=34147 maxSat=34360
719.11/360.58	c flip 0 nbSat=29176 maxSat=34360
719.52/360.76	c flip 10000 nbSat=32938 maxSat=34360
719.91/360.97	c flip 20000 nbSat=33336 maxSat=34360
720.31/361.19	c flip 30000 nbSat=33601 maxSat=34360
720.91/361.41	c flip 40000 nbSat=33722 maxSat=34360
721.31/361.62	c flip 50000 nbSat=33808 maxSat=34360
721.71/361.83	c flip 60000 nbSat=33941 maxSat=34360
722.10/362.05	c flip 70000 nbSat=33950 maxSat=34360
722.50/362.27	c flip 80000 nbSat=33915 maxSat=34360
722.90/362.49	c flip 90000 nbSat=33970 maxSat=34360
723.50/362.71	c flip 100000 nbSat=33987 maxSat=34360
723.91/362.95	c flip 110000 nbSat=33974 maxSat=34360
724.30/363.18	c flip 120000 nbSat=34059 maxSat=34360
724.90/363.40	c flip 130000 nbSat=34074 maxSat=34360
725.29/363.64	c flip 140000 nbSat=34049 maxSat=34360
725.69/363.87	c flip 150000 nbSat=33972 maxSat=34360
726.29/364.10	c flip 160000 nbSat=34074 maxSat=34360
726.69/364.33	c flip 170000 nbSat=34083 maxSat=34360
727.09/364.56	c flip 180000 nbSat=34064 maxSat=34360
727.49/364.79	c flip 190000 nbSat=34018 maxSat=34360
727.69/364.86	c flip 0 nbSat=29260 maxSat=34360
728.09/365.03	c flip 10000 nbSat=32861 maxSat=34360
728.49/365.24	c flip 20000 nbSat=33337 maxSat=34360
728.88/365.45	c flip 30000 nbSat=33514 maxSat=34360
729.28/365.67	c flip 40000 nbSat=33574 maxSat=34360
729.68/365.89	c flip 50000 nbSat=33598 maxSat=34360
730.28/366.11	c flip 60000 nbSat=33818 maxSat=34360
730.69/366.34	c flip 70000 nbSat=33926 maxSat=34360
731.08/366.54	c flip 80000 nbSat=33912 maxSat=34360
731.48/366.75	c flip 90000 nbSat=33951 maxSat=34360
731.88/366.96	c flip 100000 nbSat=33993 maxSat=34360
732.28/367.17	c flip 110000 nbSat=34079 maxSat=34360
732.68/367.39	c flip 120000 nbSat=34063 maxSat=34360
733.27/367.61	c flip 130000 nbSat=34063 maxSat=34360
733.67/367.82	c flip 140000 nbSat=34120 maxSat=34360
734.07/368.05	c flip 150000 nbSat=34127 maxSat=34360
734.47/368.28	c flip 160000 nbSat=33998 maxSat=34360
735.08/368.51	c flip 170000 nbSat=34064 maxSat=34360
735.47/368.74	c flip 180000 nbSat=34029 maxSat=34360
735.87/368.95	c flip 190000 nbSat=34153 maxSat=34360
736.07/369.02	c flip 0 nbSat=29300 maxSat=34360
736.27/369.19	c flip 10000 nbSat=32856 maxSat=34360
736.87/369.40	c flip 20000 nbSat=33372 maxSat=34360
737.27/369.63	c flip 30000 nbSat=33568 maxSat=34360
737.66/369.85	c flip 40000 nbSat=33664 maxSat=34360
738.06/370.07	c flip 50000 nbSat=33807 maxSat=34360
738.66/370.30	c flip 60000 nbSat=33899 maxSat=34360
739.06/370.53	c flip 70000 nbSat=33942 maxSat=34360
739.46/370.76	c flip 80000 nbSat=33909 maxSat=34360
740.05/371.00	c flip 90000 nbSat=34038 maxSat=34360
740.45/371.23	c flip 100000 nbSat=34043 maxSat=34360
740.85/371.47	c flip 110000 nbSat=34000 maxSat=34360
741.46/371.70	c flip 120000 nbSat=34060 maxSat=34360
741.85/371.92	c flip 130000 nbSat=34189 maxSat=34360
742.25/372.16	c flip 140000 nbSat=34144 maxSat=34360
742.65/372.38	c flip 150000 nbSat=34105 maxSat=34360
743.25/372.61	c flip 160000 nbSat=34195 maxSat=34360
743.65/372.84	c flip 170000 nbSat=34128 maxSat=34360
744.05/373.07	c flip 180000 nbSat=34188 maxSat=34360
744.45/373.29	c flip 190000 nbSat=34118 maxSat=34360
744.65/373.36	c flip 0 nbSat=29291 maxSat=34360
745.05/373.54	c flip 10000 nbSat=32966 maxSat=34360
745.45/373.75	c flip 20000 nbSat=33341 maxSat=34360
745.85/373.97	c flip 30000 nbSat=33621 maxSat=34360
746.24/374.20	c flip 40000 nbSat=33627 maxSat=34360
746.84/374.44	c flip 50000 nbSat=33803 maxSat=34360
747.24/374.67	c flip 60000 nbSat=33845 maxSat=34360
747.84/374.90	c flip 70000 nbSat=33800 maxSat=34360
748.25/375.13	c flip 80000 nbSat=33940 maxSat=34360
748.64/375.36	c flip 90000 nbSat=33933 maxSat=34360
749.04/375.59	c flip 100000 nbSat=33996 maxSat=34360
749.64/375.82	c flip 110000 nbSat=33975 maxSat=34360
750.04/376.05	c flip 120000 nbSat=34044 maxSat=34360
750.44/376.28	c flip 130000 nbSat=34142 maxSat=34360
750.83/376.50	c flip 140000 nbSat=34053 maxSat=34360
751.43/376.72	c flip 150000 nbSat=34062 maxSat=34360
751.83/376.95	c flip 160000 nbSat=34087 maxSat=34360
752.23/377.19	c flip 170000 nbSat=34071 maxSat=34360
752.83/377.44	c flip 180000 nbSat=34111 maxSat=34360
753.23/377.66	c flip 190000 nbSat=34143 maxSat=34360
753.43/377.73	c flip 0 nbSat=29224 maxSat=34360
753.83/377.91	c flip 10000 nbSat=32849 maxSat=34360
754.23/378.14	c flip 20000 nbSat=33361 maxSat=34360
754.64/378.37	c flip 30000 nbSat=33504 maxSat=34360
755.03/378.60	c flip 40000 nbSat=33819 maxSat=34360
755.63/378.83	c flip 50000 nbSat=33946 maxSat=34360
756.03/379.06	c flip 60000 nbSat=33831 maxSat=34360
756.43/379.28	c flip 70000 nbSat=33910 maxSat=34360
757.03/379.52	c flip 80000 nbSat=33936 maxSat=34360
757.42/379.73	c flip 90000 nbSat=33955 maxSat=34360
757.82/379.97	c flip 100000 nbSat=33906 maxSat=34360
758.22/380.19	c flip 110000 nbSat=34067 maxSat=34360
758.82/380.42	c flip 120000 nbSat=34058 maxSat=34360
759.23/380.66	c flip 130000 nbSat=34079 maxSat=34360
759.62/380.89	c flip 140000 nbSat=34004 maxSat=34360
760.22/381.11	c flip 150000 nbSat=34013 maxSat=34360
760.62/381.35	c flip 160000 nbSat=33977 maxSat=34360
761.02/381.58	c flip 170000 nbSat=34037 maxSat=34360
761.62/381.82	c flip 180000 nbSat=34082 maxSat=34360
762.02/382.07	c flip 190000 nbSat=34178 maxSat=34360
762.22/382.14	c flip 0 nbSat=29189 maxSat=34360
762.62/382.32	c flip 10000 nbSat=32831 maxSat=34360
763.02/382.53	c flip 20000 nbSat=33255 maxSat=34360
763.42/382.76	c flip 30000 nbSat=33633 maxSat=34360
763.81/382.99	c flip 40000 nbSat=33827 maxSat=34360
764.41/383.20	c flip 50000 nbSat=33904 maxSat=34360
764.81/383.42	c flip 60000 nbSat=33950 maxSat=34360
765.21/383.64	c flip 70000 nbSat=33988 maxSat=34360
765.62/383.87	c flip 80000 nbSat=34019 maxSat=34360
766.21/384.11	c flip 90000 nbSat=34054 maxSat=34360
766.61/384.35	c flip 100000 nbSat=33994 maxSat=34360
767.01/384.58	c flip 110000 nbSat=34106 maxSat=34360
767.61/384.81	c flip 120000 nbSat=34130 maxSat=34360
768.01/385.05	c flip 130000 nbSat=34050 maxSat=34360
768.40/385.28	c flip 140000 nbSat=34133 maxSat=34360
769.00/385.51	c flip 150000 nbSat=34062 maxSat=34360
769.40/385.74	c flip 160000 nbSat=34150 maxSat=34360
769.80/385.97	c flip 170000 nbSat=34099 maxSat=34360
770.40/386.21	c flip 180000 nbSat=34084 maxSat=34360
770.80/386.43	c flip 190000 nbSat=34075 maxSat=34360
771.00/386.50	c flip 0 nbSat=29320 maxSat=34360
771.20/386.68	c flip 10000 nbSat=32892 maxSat=34360
771.60/386.89	c flip 20000 nbSat=33470 maxSat=34360
772.20/387.11	c flip 30000 nbSat=33720 maxSat=34360
772.59/387.32	c flip 40000 nbSat=33736 maxSat=34360
772.99/387.52	c flip 50000 nbSat=33929 maxSat=34360
773.39/387.73	c flip 60000 nbSat=33891 maxSat=34360
773.79/387.95	c flip 70000 nbSat=34067 maxSat=34360
774.19/388.16	c flip 80000 nbSat=33971 maxSat=34360
774.59/388.38	c flip 90000 nbSat=34054 maxSat=34360
774.99/388.58	c flip 100000 nbSat=34106 maxSat=34360
775.39/388.78	c flip 110000 nbSat=34115 maxSat=34360
775.79/388.99	c flip 120000 nbSat=34081 maxSat=34360
776.38/389.21	c flip 130000 nbSat=34138 maxSat=34360
776.79/389.42	c flip 140000 nbSat=34081 maxSat=34360
777.18/389.64	c flip 150000 nbSat=34075 maxSat=34360
777.58/389.86	c flip 160000 nbSat=34148 maxSat=34360
777.98/390.08	c flip 170000 nbSat=34162 maxSat=34360
778.38/390.30	c flip 180000 nbSat=34177 maxSat=34360
778.98/390.51	c flip 190000 nbSat=34188 maxSat=34360
778.98/390.57	c flip 0 nbSat=29133 maxSat=34360
779.37/390.75	c flip 10000 nbSat=32843 maxSat=34360
779.77/390.97	c flip 20000 nbSat=33317 maxSat=34360
780.17/391.19	c flip 30000 nbSat=33622 maxSat=34360
780.77/391.43	c flip 40000 nbSat=33690 maxSat=34360
781.18/391.67	c flip 50000 nbSat=33743 maxSat=34360
781.77/391.91	c flip 60000 nbSat=33822 maxSat=34360
782.17/392.15	c flip 70000 nbSat=33902 maxSat=34360
782.57/392.39	c flip 80000 nbSat=33960 maxSat=34360
783.16/392.63	c flip 90000 nbSat=33884 maxSat=34360
783.55/392.87	c flip 100000 nbSat=33927 maxSat=34360
784.15/393.10	c flip 110000 nbSat=34020 maxSat=34360
784.55/393.33	c flip 120000 nbSat=33976 maxSat=34360
784.95/393.55	c flip 130000 nbSat=34030 maxSat=34360
785.36/393.79	c flip 140000 nbSat=34036 maxSat=34360
785.95/394.02	c flip 150000 nbSat=34131 maxSat=34360
786.35/394.23	c flip 160000 nbSat=34162 maxSat=34360
786.75/394.46	c flip 170000 nbSat=34081 maxSat=34360
787.35/394.71	c flip 180000 nbSat=34057 maxSat=34360
787.75/394.94	c flip 190000 nbSat=34050 maxSat=34360
787.94/395.01	c flip 0 nbSat=29288 maxSat=34360
788.14/395.18	c flip 10000 nbSat=32867 maxSat=34360
788.54/395.40	c flip 20000 nbSat=33310 maxSat=34360
789.14/395.62	c flip 30000 nbSat=33634 maxSat=34360
789.54/395.84	c flip 40000 nbSat=33749 maxSat=34360
789.95/396.07	c flip 50000 nbSat=33830 maxSat=34360
790.54/396.30	c flip 60000 nbSat=33819 maxSat=34360
790.94/396.54	c flip 70000 nbSat=33921 maxSat=34360
791.34/396.78	c flip 80000 nbSat=33891 maxSat=34360
791.94/397.01	c flip 90000 nbSat=33902 maxSat=34360
792.33/397.24	c flip 100000 nbSat=33901 maxSat=34360
792.73/397.46	c flip 110000 nbSat=33856 maxSat=34360
793.13/397.68	c flip 120000 nbSat=33992 maxSat=34360
793.53/397.89	c flip 130000 nbSat=34041 maxSat=34360
794.14/398.14	c flip 140000 nbSat=34046 maxSat=34360
794.53/398.37	c flip 150000 nbSat=33996 maxSat=34360
795.13/398.60	c flip 160000 nbSat=34043 maxSat=34360
795.53/398.83	c flip 170000 nbSat=33998 maxSat=34360
795.93/399.06	c flip 180000 nbSat=34031 maxSat=34360
796.33/399.30	c flip 190000 nbSat=34062 maxSat=34360
796.53/399.37	c flip 0 nbSat=29354 maxSat=34360
796.92/399.56	c flip 10000 nbSat=32811 maxSat=34360
797.32/399.78	c flip 20000 nbSat=33473 maxSat=34360
797.92/400.00	c flip 30000 nbSat=33524 maxSat=34360
798.32/400.22	c flip 40000 nbSat=33774 maxSat=34360
798.73/400.45	c flip 50000 nbSat=33901 maxSat=34360
799.12/400.68	c flip 60000 nbSat=33957 maxSat=34360
799.72/400.91	c flip 70000 nbSat=33991 maxSat=34360
800.12/401.12	c flip 80000 nbSat=34063 maxSat=34360
800.52/401.35	c flip 90000 nbSat=33996 maxSat=34360
800.92/401.57	c flip 100000 nbSat=34133 maxSat=34360
801.32/401.79	c flip 110000 nbSat=34076 maxSat=34360
801.91/402.02	c flip 120000 nbSat=34081 maxSat=34360
802.31/402.26	c flip 130000 nbSat=34164 maxSat=34360
802.71/402.48	c flip 140000 nbSat=34107 maxSat=34360
803.31/402.71	c flip 150000 nbSat=34114 maxSat=34360
803.71/402.95	c flip 160000 nbSat=34128 maxSat=34360
804.11/403.17	c flip 170000 nbSat=34152 maxSat=34360
804.71/403.41	c flip 180000 nbSat=34164 maxSat=34360
805.11/403.65	c flip 190000 nbSat=34121 maxSat=34360
805.31/403.72	c flip 0 nbSat=29137 maxSat=34360
805.70/403.90	c flip 10000 nbSat=32842 maxSat=34360
806.10/404.11	c flip 20000 nbSat=33341 maxSat=34360
806.50/404.32	c flip 30000 nbSat=33573 maxSat=34360
806.90/404.54	c flip 40000 nbSat=33728 maxSat=34360
807.31/404.76	c flip 50000 nbSat=33814 maxSat=34360
807.70/404.99	c flip 60000 nbSat=33926 maxSat=34360
808.30/405.21	c flip 70000 nbSat=34054 maxSat=34360
808.70/405.42	c flip 80000 nbSat=34042 maxSat=34360
809.10/405.64	c flip 90000 nbSat=34073 maxSat=34360
809.50/405.86	c flip 100000 nbSat=34036 maxSat=34360
809.89/406.09	c flip 110000 nbSat=34131 maxSat=34360
810.49/406.30	c flip 120000 nbSat=34092 maxSat=34360
810.89/406.52	c flip 130000 nbSat=34084 maxSat=34360
811.29/406.75	c flip 140000 nbSat=34011 maxSat=34360
811.70/406.98	c flip 150000 nbSat=34077 maxSat=34360
812.29/407.22	c flip 160000 nbSat=34096 maxSat=34360
812.69/407.46	c flip 170000 nbSat=34123 maxSat=34360
813.29/407.71	c flip 180000 nbSat=34105 maxSat=34360
813.69/407.96	c flip 190000 nbSat=34112 maxSat=34360
813.89/408.04	c flip 0 nbSat=29219 maxSat=34360
814.28/408.21	c flip 10000 nbSat=32845 maxSat=34360
814.68/408.41	c flip 20000 nbSat=33396 maxSat=34360
815.08/408.64	c flip 30000 nbSat=33632 maxSat=34360
815.48/408.86	c flip 40000 nbSat=33759 maxSat=34360
815.88/409.08	c flip 50000 nbSat=33766 maxSat=34360
816.48/409.31	c flip 60000 nbSat=33840 maxSat=34360
816.87/409.54	c flip 70000 nbSat=33931 maxSat=34360
817.27/409.76	c flip 80000 nbSat=33956 maxSat=34360
817.67/409.99	c flip 90000 nbSat=33978 maxSat=34360
818.28/410.24	c flip 100000 nbSat=34018 maxSat=34360
818.67/410.48	c flip 110000 nbSat=34017 maxSat=34360
819.27/410.71	c flip 120000 nbSat=34092 maxSat=34360
819.67/410.94	c flip 130000 nbSat=34115 maxSat=34360
820.07/411.16	c flip 140000 nbSat=34171 maxSat=34360
820.67/411.41	c flip 150000 nbSat=34167 maxSat=34360
821.06/411.65	c flip 160000 nbSat=34123 maxSat=34360
821.46/411.88	c flip 170000 nbSat=34235 maxSat=34360
822.06/412.11	c flip 180000 nbSat=34142 maxSat=34360
822.46/412.34	c flip 190000 nbSat=34102 maxSat=34360
822.66/412.42	c flip 0 nbSat=29133 maxSat=34360
822.86/412.59	c flip 10000 nbSat=32850 maxSat=34360
823.45/412.80	c flip 20000 nbSat=33392 maxSat=34360
823.85/413.01	c flip 30000 nbSat=33705 maxSat=34360
824.25/413.22	c flip 40000 nbSat=33843 maxSat=34360
824.65/413.44	c flip 50000 nbSat=33965 maxSat=34360
825.06/413.65	c flip 60000 nbSat=33955 maxSat=34360
825.45/413.87	c flip 70000 nbSat=33984 maxSat=34360
825.85/414.09	c flip 80000 nbSat=34050 maxSat=34360
826.45/414.31	c flip 90000 nbSat=34078 maxSat=34360
826.85/414.54	c flip 100000 nbSat=34147 maxSat=34360
827.25/414.78	c flip 110000 nbSat=34120 maxSat=34360
827.84/415.01	c flip 120000 nbSat=34102 maxSat=34360
828.24/415.24	c flip 130000 nbSat=34129 maxSat=34360
828.64/415.47	c flip 140000 nbSat=34182 maxSat=34360
829.25/415.72	c flip 150000 nbSat=34185 maxSat=34360
829.64/415.96	c flip 160000 nbSat=34018 maxSat=34360
830.04/416.19	c flip 170000 nbSat=34223 maxSat=34360
830.64/416.41	c flip 180000 nbSat=34164 maxSat=34360
831.04/416.63	c flip 190000 nbSat=34188 maxSat=34360
831.24/416.70	c flip 0 nbSat=29223 maxSat=34360
831.44/416.88	c flip 10000 nbSat=32909 maxSat=34360
832.03/417.10	c flip 20000 nbSat=33347 maxSat=34360
832.43/417.32	c flip 30000 nbSat=33571 maxSat=34360
832.83/417.54	c flip 40000 nbSat=33675 maxSat=34360
833.23/417.76	c flip 50000 nbSat=33816 maxSat=34360
833.64/418.00	c flip 60000 nbSat=33810 maxSat=34360
834.23/418.22	c flip 70000 nbSat=33871 maxSat=34360
834.63/418.44	c flip 80000 nbSat=33915 maxSat=34360
835.03/418.66	c flip 90000 nbSat=33914 maxSat=34360
835.43/418.89	c flip 100000 nbSat=33997 maxSat=34360
836.04/419.12	c flip 110000 nbSat=34039 maxSat=34360
836.43/419.34	c flip 120000 nbSat=34134 maxSat=34360
836.83/419.55	c flip 130000 nbSat=34184 maxSat=34360
837.23/419.77	c flip 140000 nbSat=34120 maxSat=34360
837.83/420.01	c flip 150000 nbSat=34132 maxSat=34360
838.23/420.24	c flip 160000 nbSat=34126 maxSat=34360
838.62/420.46	c flip 170000 nbSat=34193 maxSat=34360
839.22/420.70	c flip 180000 nbSat=34193 maxSat=34360
839.62/420.93	c flip 190000 nbSat=34157 maxSat=34360
839.82/421.01	c flip 0 nbSat=29211 maxSat=34360
840.02/421.19	c flip 10000 nbSat=32840 maxSat=34360
840.62/421.42	c flip 20000 nbSat=33446 maxSat=34360
841.01/421.63	c flip 30000 nbSat=33651 maxSat=34360
841.41/421.84	c flip 40000 nbSat=33825 maxSat=34360
841.81/422.06	c flip 50000 nbSat=33831 maxSat=34360
842.21/422.28	c flip 60000 nbSat=33922 maxSat=34360
842.81/422.51	c flip 70000 nbSat=33999 maxSat=34360
843.21/422.73	c flip 80000 nbSat=33995 maxSat=34360
843.61/422.94	c flip 90000 nbSat=34017 maxSat=34360
844.01/423.15	c flip 100000 nbSat=34122 maxSat=34360
844.41/423.37	c flip 110000 nbSat=34095 maxSat=34360
844.81/423.59	c flip 120000 nbSat=34079 maxSat=34360
845.40/423.80	c flip 130000 nbSat=34060 maxSat=34360
845.80/424.02	c flip 140000 nbSat=34186 maxSat=34360
846.20/424.24	c flip 150000 nbSat=34100 maxSat=34360
846.60/424.46	c flip 160000 nbSat=34177 maxSat=34360
847.01/424.68	c flip 170000 nbSat=34269 maxSat=34360
847.60/424.90	c flip 180000 nbSat=34258 maxSat=34360
848.00/425.11	c flip 190000 nbSat=34186 maxSat=34360
848.00/425.18	c flip 0 nbSat=29215 maxSat=34360
848.40/425.35	c flip 10000 nbSat=32924 maxSat=34360
848.80/425.57	c flip 20000 nbSat=33448 maxSat=34360
849.39/425.80	c flip 30000 nbSat=33603 maxSat=34360
849.79/426.04	c flip 40000 nbSat=33838 maxSat=34360
850.19/426.27	c flip 50000 nbSat=33960 maxSat=34360
850.79/426.51	c flip 60000 nbSat=33942 maxSat=34360
851.20/426.74	c flip 70000 nbSat=33860 maxSat=34360
851.59/426.98	c flip 80000 nbSat=34093 maxSat=34360
852.19/427.20	c flip 90000 nbSat=34115 maxSat=34360
852.59/427.42	c flip 100000 nbSat=34077 maxSat=34360
852.99/427.66	c flip 110000 nbSat=34006 maxSat=34360
853.59/427.92	c flip 120000 nbSat=34038 maxSat=34360
853.99/428.16	c flip 130000 nbSat=34149 maxSat=34360
854.39/428.38	c flip 140000 nbSat=34140 maxSat=34360
854.99/428.60	c flip 150000 nbSat=34113 maxSat=34360
855.38/428.83	c flip 160000 nbSat=34001 maxSat=34360
855.79/429.07	c flip 170000 nbSat=34147 maxSat=34360
856.38/429.31	c flip 180000 nbSat=34153 maxSat=34360
856.78/429.55	c flip 190000 nbSat=34120 maxSat=34360
856.98/429.62	c flip 0 nbSat=29216 maxSat=34360
857.18/429.79	c flip 10000 nbSat=32889 maxSat=34360
857.78/430.01	c flip 20000 nbSat=33312 maxSat=34360
858.17/430.23	c flip 30000 nbSat=33529 maxSat=34360
858.57/430.45	c flip 40000 nbSat=33658 maxSat=34360
858.97/430.66	c flip 50000 nbSat=33823 maxSat=34360
859.37/430.89	c flip 60000 nbSat=33859 maxSat=34360
859.98/431.14	c flip 70000 nbSat=33855 maxSat=34360
860.37/431.37	c flip 80000 nbSat=33951 maxSat=34360
860.97/431.60	c flip 90000 nbSat=33928 maxSat=34360
861.37/431.84	c flip 100000 nbSat=33915 maxSat=34360
861.77/432.07	c flip 110000 nbSat=33942 maxSat=34360
862.37/432.31	c flip 120000 nbSat=33884 maxSat=34360
862.76/432.54	c flip 130000 nbSat=33987 maxSat=34360
863.16/432.76	c flip 140000 nbSat=33961 maxSat=34360
863.56/432.99	c flip 150000 nbSat=34019 maxSat=34360
864.16/433.22	c flip 160000 nbSat=34022 maxSat=34360
864.56/433.47	c flip 170000 nbSat=34036 maxSat=34360
865.16/433.70	c flip 180000 nbSat=34065 maxSat=34360
865.56/433.90	c flip 190000 nbSat=34112 maxSat=34360
865.56/433.97	c flip 0 nbSat=29131 maxSat=34360
865.96/434.14	c flip 10000 nbSat=32874 maxSat=34360
866.36/434.35	c flip 20000 nbSat=33428 maxSat=34360
866.76/434.59	c flip 30000 nbSat=33582 maxSat=34360
867.35/434.82	c flip 40000 nbSat=33695 maxSat=34360
867.75/435.03	c flip 50000 nbSat=33819 maxSat=34360
868.15/435.25	c flip 60000 nbSat=33892 maxSat=34360
868.55/435.47	c flip 70000 nbSat=33848 maxSat=34360
868.96/435.70	c flip 80000 nbSat=33902 maxSat=34360
869.55/435.91	c flip 90000 nbSat=33909 maxSat=34360
869.95/436.13	c flip 100000 nbSat=33837 maxSat=34360
870.35/436.35	c flip 110000 nbSat=33973 maxSat=34360
870.75/436.58	c flip 120000 nbSat=33931 maxSat=34360
871.15/436.80	c flip 130000 nbSat=34013 maxSat=34360
871.74/437.02	c flip 140000 nbSat=34041 maxSat=34360
872.14/437.23	c flip 150000 nbSat=34069 maxSat=34360
872.54/437.44	c flip 160000 nbSat=34077 maxSat=34360
872.93/437.67	c flip 170000 nbSat=34040 maxSat=34360
873.33/437.89	c flip 180000 nbSat=34126 maxSat=34360
873.93/438.10	c flip 190000 nbSat=34148 maxSat=34360
873.93/438.17	c flip 0 nbSat=29367 maxSat=34360
874.32/438.35	c flip 10000 nbSat=32918 maxSat=34360
874.72/438.56	c flip 20000 nbSat=33348 maxSat=34360
875.12/438.77	c flip 30000 nbSat=33688 maxSat=34360
875.72/439.00	c flip 40000 nbSat=33783 maxSat=34360
876.12/439.22	c flip 50000 nbSat=33855 maxSat=34360
876.52/439.44	c flip 60000 nbSat=33925 maxSat=34360
876.92/439.68	c flip 70000 nbSat=34003 maxSat=34360
877.52/439.92	c flip 80000 nbSat=34065 maxSat=34360
877.92/440.14	c flip 90000 nbSat=33990 maxSat=34360
878.31/440.37	c flip 100000 nbSat=33977 maxSat=34360
878.91/440.60	c flip 110000 nbSat=34070 maxSat=34360
879.31/440.81	c flip 120000 nbSat=34066 maxSat=34360
879.72/441.04	c flip 130000 nbSat=34097 maxSat=34360
880.11/441.27	c flip 140000 nbSat=34066 maxSat=34360
880.51/441.49	c flip 150000 nbSat=34175 maxSat=34360
881.11/441.72	c flip 160000 nbSat=34250 maxSat=34360
881.51/441.94	c flip 170000 nbSat=34213 maxSat=34360
881.91/442.19	c flip 180000 nbSat=34177 maxSat=34360
882.51/442.43	c flip 190000 nbSat=34241 maxSat=34360
882.71/442.51	c flip 0 nbSat=29236 maxSat=34360
882.91/442.68	c flip 10000 nbSat=32874 maxSat=34360
883.31/442.89	c flip 20000 nbSat=33303 maxSat=34360
883.90/443.11	c flip 30000 nbSat=33591 maxSat=34360
884.31/443.33	c flip 40000 nbSat=33672 maxSat=34360
884.70/443.56	c flip 50000 nbSat=33758 maxSat=34360
885.10/443.78	c flip 60000 nbSat=33858 maxSat=34360
885.70/444.01	c flip 70000 nbSat=33940 maxSat=34360
886.11/444.24	c flip 80000 nbSat=34030 maxSat=34360
886.51/444.47	c flip 90000 nbSat=34031 maxSat=34360
886.91/444.68	c flip 100000 nbSat=34004 maxSat=34360
887.51/444.90	c flip 110000 nbSat=34056 maxSat=34360
887.91/445.13	c flip 120000 nbSat=34140 maxSat=34360
888.31/445.36	c flip 130000 nbSat=34109 maxSat=34360
888.71/445.59	c flip 140000 nbSat=34098 maxSat=34360
889.30/445.82	c flip 150000 nbSat=34122 maxSat=34360
889.70/446.04	c flip 160000 nbSat=34080 maxSat=34360
890.10/446.26	c flip 170000 nbSat=34186 maxSat=34360
890.50/446.48	c flip 180000 nbSat=34086 maxSat=34360
891.09/446.71	c flip 190000 nbSat=34035 maxSat=34360
891.09/446.79	c flip 0 nbSat=29143 maxSat=34360
891.49/446.96	c flip 10000 nbSat=32771 maxSat=34360
891.89/447.16	c flip 20000 nbSat=33309 maxSat=34360
892.29/447.37	c flip 30000 nbSat=33527 maxSat=34360
892.69/447.59	c flip 40000 nbSat=33689 maxSat=34360
893.29/447.81	c flip 50000 nbSat=33897 maxSat=34360
893.69/448.02	c flip 60000 nbSat=33908 maxSat=34360
894.09/448.25	c flip 70000 nbSat=33948 maxSat=34360
894.49/448.47	c flip 80000 nbSat=34075 maxSat=34360
895.09/448.71	c flip 90000 nbSat=34061 maxSat=34360
895.49/448.94	c flip 100000 nbSat=34097 maxSat=34360
895.89/449.15	c flip 110000 nbSat=34087 maxSat=34360
896.29/449.37	c flip 120000 nbSat=34184 maxSat=34360
896.89/449.60	c flip 130000 nbSat=34239 maxSat=34360
897.29/449.84	c flip 140000 nbSat=34161 maxSat=34360
897.68/450.07	c flip 150000 nbSat=34123 maxSat=34360
898.28/450.31	c flip 160000 nbSat=34169 maxSat=34360
898.68/450.54	c flip 170000 nbSat=34150 maxSat=34360
899.08/450.77	c flip 180000 nbSat=34109 maxSat=34360
899.49/451.00	c flip 190000 nbSat=34074 maxSat=34360
899.69/451.07	c flip 0 nbSat=29200 maxSat=34360
900.08/451.25	c flip 10000 nbSat=32908 maxSat=34360
900.48/451.45	c flip 20000 nbSat=33427 maxSat=34360
900.88/451.66	c flip 30000 nbSat=33594 maxSat=34360
901.28/451.87	c flip 40000 nbSat=33699 maxSat=34360
901.68/452.09	c flip 50000 nbSat=33740 maxSat=34360
902.27/452.31	c flip 60000 nbSat=33797 maxSat=34360
902.67/452.54	c flip 70000 nbSat=33855 maxSat=34360
903.07/452.77	c flip 80000 nbSat=33896 maxSat=34360
903.47/452.99	c flip 90000 nbSat=33909 maxSat=34360
904.08/453.22	c flip 100000 nbSat=33954 maxSat=34360
904.47/453.43	c flip 110000 nbSat=33979 maxSat=34360
904.87/453.65	c flip 120000 nbSat=33975 maxSat=34360
905.27/453.86	c flip 130000 nbSat=34023 maxSat=34360
905.67/454.08	c flip 140000 nbSat=33977 maxSat=34360
906.27/454.31	c flip 150000 nbSat=34061 maxSat=34360
906.66/454.54	c flip 160000 nbSat=34055 maxSat=34360
907.06/454.78	c flip 170000 nbSat=34029 maxSat=34360
907.66/455.00	c flip 180000 nbSat=34016 maxSat=34360
908.06/455.21	c flip 190000 nbSat=34182 maxSat=34360
908.06/455.28	c flip 0 nbSat=29181 maxSat=34360
908.45/455.46	c flip 10000 nbSat=32843 maxSat=34360
908.85/455.67	c flip 20000 nbSat=33423 maxSat=34360
909.25/455.89	c flip 30000 nbSat=33620 maxSat=34360
909.85/456.11	c flip 40000 nbSat=33864 maxSat=34360
910.24/456.33	c flip 50000 nbSat=33929 maxSat=34360
910.65/456.56	c flip 60000 nbSat=33946 maxSat=34360
911.04/456.79	c flip 70000 nbSat=34059 maxSat=34360
911.64/457.02	c flip 80000 nbSat=33969 maxSat=34360
912.04/457.25	c flip 90000 nbSat=34008 maxSat=34360
912.44/457.47	c flip 100000 nbSat=34002 maxSat=34360
912.84/457.70	c flip 110000 nbSat=34069 maxSat=34360
913.43/457.91	c flip 120000 nbSat=34090 maxSat=34360
913.83/458.13	c flip 130000 nbSat=34115 maxSat=34360
914.23/458.36	c flip 140000 nbSat=34169 maxSat=34360
914.63/458.57	c flip 150000 nbSat=34083 maxSat=34360
915.04/458.79	c flip 160000 nbSat=34152 maxSat=34360
915.63/459.01	c flip 170000 nbSat=34118 maxSat=34360
916.03/459.24	c flip 180000 nbSat=34197 maxSat=34360
916.43/459.45	c flip 190000 nbSat=34176 maxSat=34360
916.63/459.52	c flip 0 nbSat=29129 maxSat=34360
916.83/459.69	c flip 10000 nbSat=32871 maxSat=34360
917.42/459.91	c flip 20000 nbSat=33322 maxSat=34360
917.82/460.15	c flip 30000 nbSat=33444 maxSat=34360
918.22/460.39	c flip 40000 nbSat=33554 maxSat=34360
918.82/460.60	c flip 50000 nbSat=33684 maxSat=34360
919.23/460.83	c flip 60000 nbSat=33859 maxSat=34360
919.62/461.05	c flip 70000 nbSat=33855 maxSat=34360
920.02/461.29	c flip 80000 nbSat=33950 maxSat=34360
920.62/461.52	c flip 90000 nbSat=34007 maxSat=34360
921.02/461.75	c flip 100000 nbSat=33955 maxSat=34360
921.42/461.99	c flip 110000 nbSat=34019 maxSat=34360
922.02/462.23	c flip 120000 nbSat=34004 maxSat=34360
922.42/462.45	c flip 130000 nbSat=33999 maxSat=34360
922.82/462.68	c flip 140000 nbSat=34048 maxSat=34360
923.22/462.90	c flip 150000 nbSat=34045 maxSat=34360
923.82/463.12	c flip 160000 nbSat=34072 maxSat=34360
924.21/463.35	c flip 170000 nbSat=34078 maxSat=34360
924.61/463.57	c flip 180000 nbSat=34115 maxSat=34360
925.01/463.79	c flip 190000 nbSat=34123 maxSat=34360
925.21/463.86	c flip 0 nbSat=29170 maxSat=34360
925.61/464.04	c flip 10000 nbSat=32914 maxSat=34360
926.01/464.27	c flip 20000 nbSat=33285 maxSat=34360
926.60/464.50	c flip 30000 nbSat=33526 maxSat=34360
927.00/464.72	c flip 40000 nbSat=33713 maxSat=34360
927.40/464.94	c flip 50000 nbSat=33840 maxSat=34360
927.80/465.16	c flip 60000 nbSat=33824 maxSat=34360
928.21/465.38	c flip 70000 nbSat=33959 maxSat=34360
928.80/465.60	c flip 80000 nbSat=33912 maxSat=34360
929.20/465.83	c flip 90000 nbSat=33976 maxSat=34360
929.60/466.06	c flip 100000 nbSat=34006 maxSat=34360
930.00/466.28	c flip 110000 nbSat=34011 maxSat=34360
930.59/466.51	c flip 120000 nbSat=34044 maxSat=34360
930.99/466.73	c flip 130000 nbSat=34114 maxSat=34360
931.39/466.96	c flip 140000 nbSat=34043 maxSat=34360
931.79/467.19	c flip 150000 nbSat=34146 maxSat=34360
932.40/467.42	c flip 160000 nbSat=34155 maxSat=34360
932.79/467.64	c flip 170000 nbSat=34225 maxSat=34360
933.19/467.85	c flip 180000 nbSat=34166 maxSat=34360
933.59/468.07	c flip 190000 nbSat=34078 maxSat=34360
933.79/468.14	c flip 0 nbSat=29224 maxSat=34360
934.19/468.31	c flip 10000 nbSat=32735 maxSat=34360
934.59/468.53	c flip 20000 nbSat=33307 maxSat=34360
934.98/468.75	c flip 30000 nbSat=33549 maxSat=34360
935.38/468.97	c flip 40000 nbSat=33694 maxSat=34360
935.78/469.18	c flip 50000 nbSat=33816 maxSat=34360
936.38/469.40	c flip 60000 nbSat=33844 maxSat=34360
936.79/469.62	c flip 70000 nbSat=33923 maxSat=34360
937.18/469.85	c flip 80000 nbSat=33998 maxSat=34360
937.58/470.07	c flip 90000 nbSat=34125 maxSat=34360
937.98/470.29	c flip 100000 nbSat=34122 maxSat=34360
938.58/470.50	c flip 110000 nbSat=34111 maxSat=34360
938.99/470.73	c flip 120000 nbSat=34110 maxSat=34360
939.38/470.95	c flip 130000 nbSat=34015 maxSat=34360
939.78/471.18	c flip 140000 nbSat=34130 maxSat=34360
940.37/471.41	c flip 150000 nbSat=34160 maxSat=34360
940.77/471.64	c flip 160000 nbSat=34247 maxSat=34360
941.18/471.86	c flip 170000 nbSat=34174 maxSat=34360
941.57/472.08	c flip 180000 nbSat=34188 maxSat=34360
942.17/472.31	c flip 190000 nbSat=34202 maxSat=34360
942.17/472.38	c flip 0 nbSat=29240 maxSat=34360
942.57/472.56	c flip 10000 nbSat=32855 maxSat=34360
942.97/472.76	c flip 20000 nbSat=33389 maxSat=34360
943.37/472.98	c flip 30000 nbSat=33599 maxSat=34360
943.96/473.21	c flip 40000 nbSat=33709 maxSat=34360
944.36/473.44	c flip 50000 nbSat=33811 maxSat=34360
944.76/473.67	c flip 60000 nbSat=33857 maxSat=34360
945.36/473.90	c flip 70000 nbSat=33871 maxSat=34360
945.77/474.13	c flip 80000 nbSat=33936 maxSat=34360
946.16/474.35	c flip 90000 nbSat=33971 maxSat=34360
946.56/474.56	c flip 100000 nbSat=34011 maxSat=34360
946.96/474.79	c flip 110000 nbSat=34082 maxSat=34360
947.56/475.02	c flip 120000 nbSat=34130 maxSat=34360
947.96/475.25	c flip 130000 nbSat=34070 maxSat=34360
948.35/475.47	c flip 140000 nbSat=34077 maxSat=34360
948.95/475.70	c flip 150000 nbSat=34030 maxSat=34360
949.35/475.94	c flip 160000 nbSat=34123 maxSat=34360
949.75/476.16	c flip 170000 nbSat=34174 maxSat=34360
950.16/476.39	c flip 180000 nbSat=34132 maxSat=34360
950.75/476.62	c flip 190000 nbSat=34141 maxSat=34360
950.75/476.68	c flip 0 nbSat=29305 maxSat=34360
951.15/476.87	c flip 10000 nbSat=32773 maxSat=34360
951.55/477.08	c flip 20000 nbSat=33286 maxSat=34360
952.15/477.30	c flip 30000 nbSat=33510 maxSat=34360
952.54/477.54	c flip 40000 nbSat=33572 maxSat=34360
952.94/477.77	c flip 50000 nbSat=33761 maxSat=34360
953.34/478.00	c flip 60000 nbSat=33830 maxSat=34360
953.94/478.23	c flip 70000 nbSat=33950 maxSat=34360
954.35/478.48	c flip 80000 nbSat=33904 maxSat=34360
954.94/478.71	c flip 90000 nbSat=33968 maxSat=34360
955.34/478.94	c flip 100000 nbSat=33997 maxSat=34360
955.74/479.16	c flip 110000 nbSat=34101 maxSat=34360
956.14/479.38	c flip 120000 nbSat=34018 maxSat=34360
956.74/479.61	c flip 130000 nbSat=34008 maxSat=34360
957.14/479.84	c flip 140000 nbSat=34101 maxSat=34360
957.53/480.07	c flip 150000 nbSat=34048 maxSat=34360
958.13/480.30	c flip 160000 nbSat=34137 maxSat=34360
958.53/480.53	c flip 170000 nbSat=34077 maxSat=34360
958.94/480.76	c flip 180000 nbSat=34146 maxSat=34360
959.33/480.98	c flip 190000 nbSat=34124 maxSat=34360
959.53/481.05	c flip 0 nbSat=29118 maxSat=34360
959.93/481.23	c flip 10000 nbSat=32905 maxSat=34360
960.33/481.44	c flip 20000 nbSat=33322 maxSat=34360
960.73/481.67	c flip 30000 nbSat=33731 maxSat=34360
961.13/481.89	c flip 40000 nbSat=33911 maxSat=34360
961.72/482.11	c flip 50000 nbSat=33850 maxSat=34360
962.12/482.33	c flip 60000 nbSat=33967 maxSat=34360
962.51/482.56	c flip 70000 nbSat=34041 maxSat=34360
962.91/482.79	c flip 80000 nbSat=34046 maxSat=34360
963.51/483.02	c flip 90000 nbSat=34097 maxSat=34360
963.91/483.24	c flip 100000 nbSat=34135 maxSat=34360
964.31/483.44	c flip 110000 nbSat=34181 maxSat=34360
964.71/483.65	c flip 120000 nbSat=34139 maxSat=34360
965.11/483.87	c flip 130000 nbSat=34161 maxSat=34360
965.51/484.08	c flip 140000 nbSat=34187 maxSat=34360
966.10/484.30	c flip 150000 nbSat=34177 maxSat=34360
966.50/484.52	c flip 160000 nbSat=34176 maxSat=34360
966.90/484.74	c flip 170000 nbSat=34230 maxSat=34360
967.30/484.95	c flip 180000 nbSat=34152 maxSat=34360
967.71/485.17	c flip 190000 nbSat=34212 maxSat=34360
967.90/485.24	c flip 0 nbSat=29366 maxSat=34360
968.30/485.42	c flip 10000 nbSat=32822 maxSat=34360
968.70/485.63	c flip 20000 nbSat=33433 maxSat=34360
969.10/485.85	c flip 30000 nbSat=33698 maxSat=34360
969.50/486.07	c flip 40000 nbSat=33796 maxSat=34360
969.90/486.29	c flip 50000 nbSat=33845 maxSat=34360
970.49/486.52	c flip 60000 nbSat=33937 maxSat=34360
970.89/486.74	c flip 70000 nbSat=33953 maxSat=34360
971.29/486.95	c flip 80000 nbSat=33960 maxSat=34360
971.69/487.17	c flip 90000 nbSat=34055 maxSat=34360
972.10/487.39	c flip 100000 nbSat=34067 maxSat=34360
972.69/487.62	c flip 110000 nbSat=34011 maxSat=34360
973.09/487.84	c flip 120000 nbSat=34027 maxSat=34360
973.49/488.07	c flip 130000 nbSat=34004 maxSat=34360
973.89/488.29	c flip 140000 nbSat=34043 maxSat=34360
974.48/488.52	c flip 150000 nbSat=34093 maxSat=34360
974.88/488.73	c flip 160000 nbSat=34084 maxSat=34360
975.28/488.95	c flip 170000 nbSat=34123 maxSat=34360
975.68/489.17	c flip 180000 nbSat=34150 maxSat=34360
976.29/489.41	c flip 190000 nbSat=34147 maxSat=34360
976.29/489.48	c flip 0 nbSat=29338 maxSat=34360
976.68/489.65	c flip 10000 nbSat=32844 maxSat=34360
977.08/489.86	c flip 20000 nbSat=33380 maxSat=34360
977.48/490.07	c flip 30000 nbSat=33579 maxSat=34360
977.88/490.29	c flip 40000 nbSat=33740 maxSat=34360
978.48/490.51	c flip 50000 nbSat=33737 maxSat=34360
978.87/490.74	c flip 60000 nbSat=33894 maxSat=34360
979.27/490.98	c flip 70000 nbSat=33933 maxSat=34360
979.87/491.20	c flip 80000 nbSat=33938 maxSat=34360
980.27/491.43	c flip 90000 nbSat=33920 maxSat=34360
980.68/491.66	c flip 100000 nbSat=34026 maxSat=34360
981.07/491.89	c flip 110000 nbSat=34020 maxSat=34360
981.67/492.12	c flip 120000 nbSat=34102 maxSat=34360
982.07/492.35	c flip 130000 nbSat=34044 maxSat=34360
982.47/492.59	c flip 140000 nbSat=34031 maxSat=34360
983.07/492.83	c flip 150000 nbSat=34150 maxSat=34360
983.46/493.06	c flip 160000 nbSat=34082 maxSat=34360
984.06/493.30	c flip 170000 nbSat=34041 maxSat=34360
984.46/493.51	c flip 180000 nbSat=34096 maxSat=34360
984.86/493.73	c flip 190000 nbSat=34161 maxSat=34360
985.07/493.80	c flip 0 nbSat=29174 maxSat=34360
985.27/493.97	c flip 10000 nbSat=32776 maxSat=34360
985.66/494.18	c flip 20000 nbSat=33336 maxSat=34360
986.26/494.42	c flip 30000 nbSat=33574 maxSat=34360
986.66/494.64	c flip 40000 nbSat=33629 maxSat=34360
987.06/494.88	c flip 50000 nbSat=33791 maxSat=34360
987.66/495.11	c flip 60000 nbSat=33857 maxSat=34360
988.06/495.35	c flip 70000 nbSat=33719 maxSat=34360
988.66/495.60	c flip 80000 nbSat=33994 maxSat=34360
989.06/495.84	c flip 90000 nbSat=33969 maxSat=34360
989.46/496.09	c flip 100000 nbSat=34019 maxSat=34360
990.05/496.32	c flip 110000 nbSat=34073 maxSat=34360
990.45/496.54	c flip 120000 nbSat=34041 maxSat=34360
990.85/496.76	c flip 130000 nbSat=34125 maxSat=34360
991.25/496.98	c flip 140000 nbSat=34095 maxSat=34360
991.86/497.21	c flip 150000 nbSat=34176 maxSat=34360
992.25/497.44	c flip 160000 nbSat=34115 maxSat=34360
992.65/497.67	c flip 170000 nbSat=34122 maxSat=34360
993.25/497.91	c flip 180000 nbSat=34116 maxSat=34360
993.64/498.14	c flip 190000 nbSat=34207 maxSat=34360
993.85/498.22	c flip 0 nbSat=29176 maxSat=34360
994.05/498.39	c flip 10000 nbSat=32910 maxSat=34360
994.64/498.62	c flip 20000 nbSat=33357 maxSat=34360
995.04/498.85	c flip 30000 nbSat=33513 maxSat=34360
995.44/499.08	c flip 40000 nbSat=33651 maxSat=34360
996.05/499.31	c flip 50000 nbSat=33837 maxSat=34360
996.44/499.54	c flip 60000 nbSat=33795 maxSat=34360
996.84/499.75	c flip 70000 nbSat=33893 maxSat=34360
997.24/499.98	c flip 80000 nbSat=33929 maxSat=34360
997.84/500.21	c flip 90000 nbSat=33973 maxSat=34360
998.24/500.44	c flip 100000 nbSat=34071 maxSat=34360
998.63/500.65	c flip 110000 nbSat=34047 maxSat=34360
999.03/500.88	c flip 120000 nbSat=34101 maxSat=34360
999.63/501.10	c flip 130000 nbSat=34057 maxSat=34360
1000.03/501.32	c flip 140000 nbSat=34067 maxSat=34360
1000.43/501.55	c flip 150000 nbSat=34127 maxSat=34360
1000.82/501.78	c flip 160000 nbSat=34145 maxSat=34360
1001.42/502.01	c flip 170000 nbSat=34113 maxSat=34360
1001.82/502.25	c flip 180000 nbSat=34169 maxSat=34360
1002.22/502.49	c flip 190000 nbSat=34119 maxSat=34360
1002.42/502.56	c flip 0 nbSat=29143 maxSat=34360
1002.82/502.74	c flip 10000 nbSat=32772 maxSat=34360
1003.21/502.94	c flip 20000 nbSat=33271 maxSat=34360
1003.61/503.15	c flip 30000 nbSat=33546 maxSat=34360
1004.01/503.37	c flip 40000 nbSat=33529 maxSat=34360
1004.61/503.61	c flip 50000 nbSat=33776 maxSat=34360
1005.02/503.85	c flip 60000 nbSat=33780 maxSat=34360
1005.41/504.10	c flip 70000 nbSat=33738 maxSat=34360
1006.01/504.33	c flip 80000 nbSat=33841 maxSat=34360
1006.41/504.56	c flip 90000 nbSat=33836 maxSat=34360
1006.81/504.78	c flip 100000 nbSat=33897 maxSat=34360
1007.41/505.01	c flip 110000 nbSat=33939 maxSat=34360
1007.81/505.25	c flip 120000 nbSat=33927 maxSat=34360
1008.21/505.47	c flip 130000 nbSat=33978 maxSat=34360
1008.81/505.72	c flip 140000 nbSat=33922 maxSat=34360
1009.21/505.95	c flip 150000 nbSat=34053 maxSat=34360
1009.60/506.17	c flip 160000 nbSat=34024 maxSat=34360
1010.00/506.39	c flip 170000 nbSat=34097 maxSat=34360
1010.60/506.61	c flip 180000 nbSat=34142 maxSat=34360
1011.00/506.85	c flip 190000 nbSat=34141 maxSat=34360
1011.20/506.92	c flip 0 nbSat=29283 maxSat=34360
1011.40/507.10	c flip 10000 nbSat=32864 maxSat=34360
1011.99/507.32	c flip 20000 nbSat=33261 maxSat=34360
1012.39/507.54	c flip 30000 nbSat=33554 maxSat=34360
1012.79/507.78	c flip 40000 nbSat=33751 maxSat=34360
1013.39/508.00	c flip 50000 nbSat=33840 maxSat=34360
1013.80/508.25	c flip 60000 nbSat=33867 maxSat=34360
1014.39/508.50	c flip 70000 nbSat=33994 maxSat=34360
1014.79/508.73	c flip 80000 nbSat=34073 maxSat=34360
1015.19/508.96	c flip 90000 nbSat=34127 maxSat=34360
1015.59/509.19	c flip 100000 nbSat=34197 maxSat=34360
1016.18/509.42	c flip 110000 nbSat=34162 maxSat=34360
1016.58/509.65	c flip 120000 nbSat=34209 maxSat=34360
1016.98/509.87	c flip 130000 nbSat=34180 maxSat=34360
1017.58/510.10	c flip 140000 nbSat=34242 maxSat=34360
1017.99/510.33	c flip 150000 nbSat=34222 maxSat=34360
1018.38/510.55	c flip 160000 nbSat=34210 maxSat=34360
1018.78/510.78	c flip 170000 nbSat=34211 maxSat=34360
1019.18/510.99	c flip 180000 nbSat=34274 maxSat=34360
1019.78/511.23	c flip 190000 nbSat=34175 maxSat=34360
1019.78/511.30	c flip 0 nbSat=29436 maxSat=34360
1020.18/511.48	c flip 10000 nbSat=32778 maxSat=34360
1020.77/511.70	c flip 20000 nbSat=33376 maxSat=34360
1021.17/511.93	c flip 30000 nbSat=33574 maxSat=34360
1021.57/512.16	c flip 40000 nbSat=33741 maxSat=34360
1021.97/512.39	c flip 50000 nbSat=33761 maxSat=34360
1022.58/512.62	c flip 60000 nbSat=33917 maxSat=34360
1022.97/512.84	c flip 70000 nbSat=33952 maxSat=34360
1023.37/513.08	c flip 80000 nbSat=34003 maxSat=34360
1023.97/513.32	c flip 90000 nbSat=34002 maxSat=34360
1024.37/513.55	c flip 100000 nbSat=34044 maxSat=34360
1024.77/513.79	c flip 110000 nbSat=33996 maxSat=34360
1025.37/514.02	c flip 120000 nbSat=33998 maxSat=34360
1025.76/514.25	c flip 130000 nbSat=34114 maxSat=34360
1026.16/514.48	c flip 140000 nbSat=34090 maxSat=34360
1026.77/514.72	c flip 150000 nbSat=34104 maxSat=34360
1027.16/514.94	c flip 160000 nbSat=34059 maxSat=34360
1027.56/515.16	c flip 170000 nbSat=34041 maxSat=34360
1027.96/515.39	c flip 180000 nbSat=34004 maxSat=34360
1028.56/515.63	c flip 190000 nbSat=33980 maxSat=34360
1028.76/515.71	c flip 0 nbSat=29264 maxSat=34360
1028.96/515.89	c flip 10000 nbSat=32848 maxSat=34360
1029.56/516.12	c flip 20000 nbSat=33367 maxSat=34360
1029.96/516.35	c flip 30000 nbSat=33507 maxSat=34360
1030.36/516.57	c flip 40000 nbSat=33712 maxSat=34360
1030.96/516.80	c flip 50000 nbSat=33834 maxSat=34360
1031.37/517.03	c flip 60000 nbSat=33947 maxSat=34360
1031.76/517.25	c flip 70000 nbSat=33917 maxSat=34360
1032.16/517.48	c flip 80000 nbSat=34068 maxSat=34360
1032.76/517.71	c flip 90000 nbSat=33994 maxSat=34360
1033.15/517.94	c flip 100000 nbSat=34069 maxSat=34360
1033.56/518.19	c flip 110000 nbSat=34038 maxSat=34360
1034.15/518.42	c flip 120000 nbSat=34042 maxSat=34360
1034.55/518.65	c flip 130000 nbSat=34143 maxSat=34360
1034.95/518.89	c flip 140000 nbSat=34161 maxSat=34360
1035.56/519.11	c flip 150000 nbSat=34143 maxSat=34360
1035.95/519.33	c flip 160000 nbSat=34168 maxSat=34360
1036.35/519.55	c flip 170000 nbSat=34217 maxSat=34360
1036.75/519.76	c flip 180000 nbSat=34176 maxSat=34360
1037.15/519.99	c flip 190000 nbSat=34165 maxSat=34360
1037.35/520.06	c flip 0 nbSat=29168 maxSat=34360
1037.75/520.24	c flip 10000 nbSat=32851 maxSat=34360
1038.14/520.45	c flip 20000 nbSat=33290 maxSat=34360
1038.54/520.66	c flip 30000 nbSat=33451 maxSat=34360
1038.94/520.88	c flip 40000 nbSat=33680 maxSat=34360
1039.54/521.11	c flip 50000 nbSat=33778 maxSat=34360
1039.95/521.33	c flip 60000 nbSat=33811 maxSat=34360
1040.34/521.55	c flip 70000 nbSat=33930 maxSat=34360
1040.74/521.77	c flip 80000 nbSat=33969 maxSat=34360
1041.14/521.99	c flip 90000 nbSat=33935 maxSat=34360
1041.74/522.21	c flip 100000 nbSat=33934 maxSat=34360
1042.14/522.44	c flip 110000 nbSat=33935 maxSat=34360
1042.53/522.67	c flip 120000 nbSat=33937 maxSat=34360
1042.93/522.89	c flip 130000 nbSat=34020 maxSat=34360
1043.53/523.13	c flip 140000 nbSat=34039 maxSat=34360
1043.93/523.36	c flip 150000 nbSat=33933 maxSat=34360
1044.54/523.61	c flip 160000 nbSat=34046 maxSat=34360
1044.93/523.85	c flip 170000 nbSat=34026 maxSat=34360
1045.53/524.10	c flip 180000 nbSat=34018 maxSat=34360
1045.93/524.35	c flip 190000 nbSat=34078 maxSat=34360
1046.13/524.42	c flip 0 nbSat=29237 maxSat=34360
1046.33/524.59	c flip 10000 nbSat=32856 maxSat=34360
1046.92/524.80	c flip 20000 nbSat=33202 maxSat=34360
1047.32/525.01	c flip 30000 nbSat=33646 maxSat=34360
1047.72/525.21	c flip 40000 nbSat=33752 maxSat=34360
1048.12/525.42	c flip 50000 nbSat=33845 maxSat=34360
1048.52/525.64	c flip 60000 nbSat=33950 maxSat=34360
1048.93/525.86	c flip 70000 nbSat=34040 maxSat=34360
1049.32/526.07	c flip 80000 nbSat=33948 maxSat=34360
1049.72/526.29	c flip 90000 nbSat=34047 maxSat=34360
1050.32/526.51	c flip 100000 nbSat=34120 maxSat=34360
1050.72/526.71	c flip 110000 nbSat=34032 maxSat=34360
1051.12/526.92	c flip 120000 nbSat=34084 maxSat=34360
1051.51/527.13	c flip 130000 nbSat=34083 maxSat=34360
1051.91/527.35	c flip 140000 nbSat=34060 maxSat=34360
1052.30/527.57	c flip 150000 nbSat=34158 maxSat=34360
1052.70/527.78	c flip 160000 nbSat=34197 maxSat=34360
1053.31/528.01	c flip 170000 nbSat=34226 maxSat=34360
1053.70/528.23	c flip 180000 nbSat=34091 maxSat=34360
1054.10/528.45	c flip 190000 nbSat=34169 maxSat=34360
1054.30/528.52	c flip 0 nbSat=29259 maxSat=34360
1054.50/528.69	c flip 10000 nbSat=32825 maxSat=34360
1055.10/528.91	c flip 20000 nbSat=33268 maxSat=34360
1055.50/529.14	c flip 30000 nbSat=33510 maxSat=34360
1055.89/529.38	c flip 40000 nbSat=33702 maxSat=34360
1056.49/529.61	c flip 50000 nbSat=33867 maxSat=34360
1056.90/529.86	c flip 60000 nbSat=33813 maxSat=34360
1057.50/530.11	c flip 70000 nbSat=33941 maxSat=34360
1057.89/530.35	c flip 80000 nbSat=33949 maxSat=34360
1058.29/530.59	c flip 90000 nbSat=34057 maxSat=34360
1058.89/530.83	c flip 100000 nbSat=34105 maxSat=34360
1059.29/531.06	c flip 110000 nbSat=34069 maxSat=34360
1059.70/531.29	c flip 120000 nbSat=34142 maxSat=34360
1060.29/531.51	c flip 130000 nbSat=34153 maxSat=34360
1060.69/531.74	c flip 140000 nbSat=34108 maxSat=34360
1061.08/531.97	c flip 150000 nbSat=34114 maxSat=34360
1061.48/532.19	c flip 160000 nbSat=34111 maxSat=34360
1062.09/532.42	c flip 170000 nbSat=34255 maxSat=34360
1062.48/532.64	c flip 180000 nbSat=34243 maxSat=34360
1062.88/532.87	c flip 190000 nbSat=34188 maxSat=34360
1063.08/532.94	c flip 0 nbSat=29229 maxSat=34360
1063.48/533.11	c flip 10000 nbSat=32960 maxSat=34360
1063.88/533.33	c flip 20000 nbSat=33385 maxSat=34360
1064.28/533.55	c flip 30000 nbSat=33579 maxSat=34360
1064.68/533.77	c flip 40000 nbSat=33609 maxSat=34360
1065.07/533.99	c flip 50000 nbSat=33764 maxSat=34360
1065.67/534.22	c flip 60000 nbSat=33822 maxSat=34360
1066.07/534.46	c flip 70000 nbSat=33817 maxSat=34360
1066.67/534.71	c flip 80000 nbSat=34000 maxSat=34360
1067.07/534.94	c flip 90000 nbSat=34010 maxSat=34360
1067.47/535.17	c flip 100000 nbSat=34073 maxSat=34360
1067.87/535.39	c flip 110000 nbSat=34091 maxSat=34360
1068.47/535.63	c flip 120000 nbSat=34131 maxSat=34360
1068.86/535.85	c flip 130000 nbSat=34105 maxSat=34360
1069.26/536.08	c flip 140000 nbSat=34097 maxSat=34360
1069.86/536.30	c flip 150000 nbSat=34020 maxSat=34360
1070.26/536.53	c flip 160000 nbSat=34125 maxSat=34360
1070.67/536.77	c flip 170000 nbSat=34103 maxSat=34360
1071.06/536.99	c flip 180000 nbSat=34145 maxSat=34360
1071.66/537.23	c flip 190000 nbSat=34161 maxSat=34360
1071.86/537.31	c flip 0 nbSat=29226 maxSat=34360
1072.06/537.49	c flip 10000 nbSat=32879 maxSat=34360
1072.66/537.71	c flip 20000 nbSat=33386 maxSat=34360
1073.06/537.95	c flip 30000 nbSat=33608 maxSat=34360
1073.45/538.18	c flip 40000 nbSat=33751 maxSat=34360
1074.06/538.41	c flip 50000 nbSat=33709 maxSat=34360
1074.45/538.66	c flip 60000 nbSat=33764 maxSat=34360
1075.06/538.92	c flip 70000 nbSat=33762 maxSat=34360
1075.45/539.15	c flip 80000 nbSat=33827 maxSat=34360
1075.85/539.38	c flip 90000 nbSat=33878 maxSat=34360
1076.45/539.64	c flip 100000 nbSat=34043 maxSat=34360
1076.85/539.87	c flip 110000 nbSat=34027 maxSat=34360
1077.45/540.12	c flip 120000 nbSat=34032 maxSat=34360
1077.84/540.35	c flip 130000 nbSat=33996 maxSat=34360
1078.24/540.58	c flip 140000 nbSat=34154 maxSat=34360
1078.84/540.83	c flip 150000 nbSat=34171 maxSat=34360
1079.24/541.05	c flip 160000 nbSat=34098 maxSat=34360
1079.65/541.29	c flip 170000 nbSat=34194 maxSat=34360
1080.24/541.52	c flip 180000 nbSat=34130 maxSat=34360
1080.64/541.76	c flip 190000 nbSat=34176 maxSat=34360
1080.84/541.83	c flip 0 nbSat=29187 maxSat=34360
1081.24/542.01	c flip 10000 nbSat=32861 maxSat=34360
1081.64/542.24	c flip 20000 nbSat=33321 maxSat=34360
1082.03/542.47	c flip 30000 nbSat=33499 maxSat=34360
1082.63/542.71	c flip 40000 nbSat=33574 maxSat=34360
1083.03/542.93	c flip 50000 nbSat=33783 maxSat=34360
1083.43/543.14	c flip 60000 nbSat=33832 maxSat=34360
1083.84/543.36	c flip 70000 nbSat=33846 maxSat=34360
1084.23/543.58	c flip 80000 nbSat=33886 maxSat=34360
1084.83/543.80	c flip 90000 nbSat=33952 maxSat=34360
1085.23/544.02	c flip 100000 nbSat=33997 maxSat=34360
1085.63/544.25	c flip 110000 nbSat=34025 maxSat=34360
1086.03/544.49	c flip 120000 nbSat=34041 maxSat=34360
1086.62/544.73	c flip 130000 nbSat=34100 maxSat=34360
1087.02/544.94	c flip 140000 nbSat=34105 maxSat=34360
1087.42/545.16	c flip 150000 nbSat=34063 maxSat=34360
1087.82/545.39	c flip 160000 nbSat=34163 maxSat=34360
1088.43/545.62	c flip 170000 nbSat=34037 maxSat=34360
1088.82/545.86	c flip 180000 nbSat=34140 maxSat=34360
1089.22/546.09	c flip 190000 nbSat=34176 maxSat=34360
1089.42/546.16	c flip 0 nbSat=29157 maxSat=34360
1089.82/546.33	c flip 10000 nbSat=32783 maxSat=34360
1090.21/546.54	c flip 20000 nbSat=33423 maxSat=34360
1090.62/546.76	c flip 30000 nbSat=33465 maxSat=34360
1091.01/546.97	c flip 40000 nbSat=33640 maxSat=34360
1091.61/547.20	c flip 50000 nbSat=33774 maxSat=34360
1092.01/547.43	c flip 60000 nbSat=33885 maxSat=34360
1092.40/547.66	c flip 70000 nbSat=33803 maxSat=34360
1092.81/547.89	c flip 80000 nbSat=33969 maxSat=34360
1093.40/548.13	c flip 90000 nbSat=33849 maxSat=34360
1093.80/548.35	c flip 100000 nbSat=33887 maxSat=34360
1094.20/548.59	c flip 110000 nbSat=33891 maxSat=34360
1094.80/548.81	c flip 120000 nbSat=33917 maxSat=34360
1095.19/549.04	c flip 130000 nbSat=33965 maxSat=34360
1095.59/549.28	c flip 140000 nbSat=34017 maxSat=34360
1095.99/549.50	c flip 150000 nbSat=34013 maxSat=34360
1096.59/549.73	c flip 160000 nbSat=33988 maxSat=34360
1097.00/549.95	c flip 170000 nbSat=34093 maxSat=34360
1097.39/550.18	c flip 180000 nbSat=34084 maxSat=34360
1097.99/550.40	c flip 190000 nbSat=34046 maxSat=34360
1097.99/550.47	c flip 0 nbSat=29310 maxSat=34360
1098.39/550.65	c flip 10000 nbSat=32952 maxSat=34360
1098.79/550.86	c flip 20000 nbSat=33441 maxSat=34360
1099.19/551.07	c flip 30000 nbSat=33613 maxSat=34360
1099.58/551.28	c flip 40000 nbSat=33884 maxSat=34360
1099.98/551.49	c flip 50000 nbSat=33799 maxSat=34360
1100.58/551.72	c flip 60000 nbSat=33853 maxSat=34360
1100.98/551.95	c flip 70000 nbSat=34008 maxSat=34360
1101.38/552.18	c flip 80000 nbSat=33923 maxSat=34360
1101.98/552.41	c flip 90000 nbSat=34046 maxSat=34360
1102.38/552.65	c flip 100000 nbSat=34044 maxSat=34360
1102.78/552.88	c flip 110000 nbSat=34145 maxSat=34360
1103.38/553.11	c flip 120000 nbSat=34100 maxSat=34360
1103.78/553.36	c flip 130000 nbSat=34186 maxSat=34360
1104.17/553.59	c flip 140000 nbSat=34192 maxSat=34360
1104.77/553.80	c flip 150000 nbSat=34139 maxSat=34360
1105.17/554.02	c flip 160000 nbSat=34237 maxSat=34360
1105.57/554.24	c flip 170000 nbSat=34249 maxSat=34360
1105.98/554.46	c flip 180000 nbSat=34214 maxSat=34360
1106.37/554.68	c flip 190000 nbSat=34184 maxSat=34360
1106.57/554.76	c flip 0 nbSat=29150 maxSat=34360
1106.97/554.93	c flip 10000 nbSat=32822 maxSat=34360
1107.37/555.14	c flip 20000 nbSat=33456 maxSat=34360
1107.77/555.37	c flip 30000 nbSat=33647 maxSat=34360
1108.36/555.60	c flip 40000 nbSat=33785 maxSat=34360
1108.76/555.82	c flip 50000 nbSat=33813 maxSat=34360
1109.16/556.05	c flip 60000 nbSat=33785 maxSat=34360
1109.56/556.29	c flip 70000 nbSat=33908 maxSat=34360
1110.17/556.53	c flip 80000 nbSat=34008 maxSat=34360
1110.56/556.77	c flip 90000 nbSat=34016 maxSat=34360
1111.16/557.00	c flip 100000 nbSat=33986 maxSat=34360
1111.56/557.24	c flip 110000 nbSat=33976 maxSat=34360
1111.96/557.48	c flip 120000 nbSat=34081 maxSat=34360
1112.56/557.72	c flip 130000 nbSat=34043 maxSat=34360
1112.95/557.95	c flip 140000 nbSat=34081 maxSat=34360
1113.35/558.20	c flip 150000 nbSat=34164 maxSat=34360
1113.95/558.44	c flip 160000 nbSat=34137 maxSat=34360
1114.35/558.67	c flip 170000 nbSat=34165 maxSat=34360
1114.95/558.91	c flip 180000 nbSat=34232 maxSat=34360
1115.35/559.15	c flip 190000 nbSat=34122 maxSat=34360
1115.55/559.22	c flip 0 nbSat=29272 maxSat=34360
1115.75/559.39	c flip 10000 nbSat=32781 maxSat=34360
1116.34/559.60	c flip 20000 nbSat=33330 maxSat=34360
1116.75/559.82	c flip 30000 nbSat=33540 maxSat=34360
1117.14/560.04	c flip 40000 nbSat=33690 maxSat=34360
1117.54/560.26	c flip 50000 nbSat=33849 maxSat=34360
1117.94/560.47	c flip 60000 nbSat=33990 maxSat=34360
1118.54/560.70	c flip 70000 nbSat=33898 maxSat=34360
1118.94/560.94	c flip 80000 nbSat=33923 maxSat=34360
1119.33/561.16	c flip 90000 nbSat=33987 maxSat=34360
1119.93/561.40	c flip 100000 nbSat=34037 maxSat=34360
1120.33/561.64	c flip 110000 nbSat=33956 maxSat=34360
1120.73/561.88	c flip 120000 nbSat=34095 maxSat=34360
1121.34/562.13	c flip 130000 nbSat=34145 maxSat=34360
1121.73/562.37	c flip 140000 nbSat=34082 maxSat=34360
1122.13/562.59	c flip 150000 nbSat=34178 maxSat=34360
1122.73/562.81	c flip 160000 nbSat=34181 maxSat=34360
1123.13/563.03	c flip 170000 nbSat=34164 maxSat=34360
1123.54/563.26	c flip 180000 nbSat=34178 maxSat=34360
1124.13/563.50	c flip 190000 nbSat=34147 maxSat=34360
1124.13/563.57	c flip 0 nbSat=29208 maxSat=34360
1124.53/563.74	c flip 10000 nbSat=32911 maxSat=34360
1124.93/563.95	c flip 20000 nbSat=33494 maxSat=34360
1125.33/564.18	c flip 30000 nbSat=33554 maxSat=34360
1125.92/564.41	c flip 40000 nbSat=33653 maxSat=34360
1126.32/564.63	c flip 50000 nbSat=33717 maxSat=34360
1126.72/564.85	c flip 60000 nbSat=33689 maxSat=34360
1127.12/565.07	c flip 70000 nbSat=33886 maxSat=34360
1127.52/565.29	c flip 80000 nbSat=33868 maxSat=34360
1128.12/565.51	c flip 90000 nbSat=33904 maxSat=34360
1128.52/565.73	c flip 100000 nbSat=33951 maxSat=34360
1128.92/565.96	c flip 110000 nbSat=33908 maxSat=34360
1129.32/566.17	c flip 120000 nbSat=33950 maxSat=34360
1129.92/566.40	c flip 130000 nbSat=33987 maxSat=34360
1130.31/566.63	c flip 140000 nbSat=34039 maxSat=34360
1130.71/566.85	c flip 150000 nbSat=34020 maxSat=34360
1131.11/567.07	c flip 160000 nbSat=34060 maxSat=34360
1131.51/567.29	c flip 170000 nbSat=33959 maxSat=34360
1132.12/567.52	c flip 180000 nbSat=34018 maxSat=34360
1132.51/567.75	c flip 190000 nbSat=34114 maxSat=34360
1132.71/567.82	c flip 0 nbSat=29216 maxSat=34360
1133.11/568.00	c flip 10000 nbSat=32902 maxSat=34360
1133.51/568.22	c flip 20000 nbSat=33415 maxSat=34360
1133.91/568.44	c flip 30000 nbSat=33674 maxSat=34360
1134.31/568.67	c flip 40000 nbSat=33696 maxSat=34360
1134.90/568.91	c flip 50000 nbSat=33958 maxSat=34360
1135.30/569.14	c flip 60000 nbSat=34000 maxSat=34360
1135.70/569.36	c flip 70000 nbSat=33972 maxSat=34360
1136.10/569.59	c flip 80000 nbSat=33949 maxSat=34360
1136.51/569.80	c flip 90000 nbSat=34063 maxSat=34360
1137.10/570.03	c flip 100000 nbSat=34124 maxSat=34360
1137.50/570.26	c flip 110000 nbSat=34077 maxSat=34360
1137.90/570.48	c flip 120000 nbSat=34188 maxSat=34360
1138.29/570.69	c flip 130000 nbSat=34153 maxSat=34360
1138.90/570.91	c flip 140000 nbSat=33996 maxSat=34360
1139.29/571.13	c flip 150000 nbSat=34149 maxSat=34360
1139.69/571.36	c flip 160000 nbSat=34141 maxSat=34360
1140.09/571.59	c flip 170000 nbSat=34171 maxSat=34360
1140.69/571.81	c flip 180000 nbSat=34211 maxSat=34360
1141.10/572.02	c flip 190000 nbSat=34144 maxSat=34360
1141.10/572.09	c flip 0 nbSat=29328 maxSat=34360
1141.49/572.26	c flip 10000 nbSat=32853 maxSat=34360
1141.88/572.49	c flip 20000 nbSat=33367 maxSat=34360
1142.48/572.72	c flip 30000 nbSat=33564 maxSat=34360
1142.88/572.95	c flip 40000 nbSat=33775 maxSat=34360
1143.28/573.18	c flip 50000 nbSat=33795 maxSat=34360
1143.87/573.42	c flip 60000 nbSat=33903 maxSat=34360
1144.27/573.64	c flip 70000 nbSat=33955 maxSat=34360
1144.67/573.87	c flip 80000 nbSat=33908 maxSat=34360
1145.28/574.11	c flip 90000 nbSat=34037 maxSat=34360
1145.67/574.34	c flip 100000 nbSat=34023 maxSat=34360
1146.08/574.57	c flip 110000 nbSat=34106 maxSat=34360
1146.68/574.80	c flip 120000 nbSat=34011 maxSat=34360
1147.08/575.04	c flip 130000 nbSat=34065 maxSat=34360
1147.48/575.28	c flip 140000 nbSat=34135 maxSat=34360
1147.87/575.49	c flip 150000 nbSat=34133 maxSat=34360
1148.47/575.70	c flip 160000 nbSat=34186 maxSat=34360
1148.87/575.93	c flip 170000 nbSat=34169 maxSat=34360
1149.27/576.14	c flip 180000 nbSat=34148 maxSat=34360
1149.68/576.36	c flip 190000 nbSat=34179 maxSat=34360
1149.87/576.42	c flip 0 nbSat=29146 maxSat=34360
1150.07/576.59	c flip 10000 nbSat=32914 maxSat=34360
1150.67/576.81	c flip 20000 nbSat=33353 maxSat=34360
1151.07/577.03	c flip 30000 nbSat=33618 maxSat=34360
1151.47/577.25	c flip 40000 nbSat=33676 maxSat=34360
1151.87/577.49	c flip 50000 nbSat=33756 maxSat=34360
1152.46/577.73	c flip 60000 nbSat=33852 maxSat=34360
1152.86/577.95	c flip 70000 nbSat=33799 maxSat=34360
1153.26/578.18	c flip 80000 nbSat=33891 maxSat=34360
1153.86/578.42	c flip 90000 nbSat=34069 maxSat=34360
1154.27/578.67	c flip 100000 nbSat=33994 maxSat=34360
1154.66/578.89	c flip 110000 nbSat=34031 maxSat=34360
1155.26/579.12	c flip 120000 nbSat=34059 maxSat=34360
1155.66/579.35	c flip 130000 nbSat=34042 maxSat=34360
1156.06/579.57	c flip 140000 nbSat=34059 maxSat=34360
1156.65/579.82	c flip 150000 nbSat=34157 maxSat=34360
1157.05/580.06	c flip 160000 nbSat=34143 maxSat=34360
1157.65/580.31	c flip 170000 nbSat=34169 maxSat=34360
1158.05/580.54	c flip 180000 nbSat=34190 maxSat=34360
1158.46/580.76	c flip 190000 nbSat=34148 maxSat=34360
1158.65/580.83	c flip 0 nbSat=29261 maxSat=34360
1159.05/581.01	c flip 10000 nbSat=32900 maxSat=34360
1159.45/581.22	c flip 20000 nbSat=33423 maxSat=34360
1159.85/581.45	c flip 30000 nbSat=33690 maxSat=34360
1160.25/581.68	c flip 40000 nbSat=33826 maxSat=34360
1160.85/581.93	c flip 50000 nbSat=33941 maxSat=34360
1161.24/582.16	c flip 60000 nbSat=33925 maxSat=34360
1161.64/582.38	c flip 70000 nbSat=33942 maxSat=34360
1162.24/582.62	c flip 80000 nbSat=34000 maxSat=34360
1162.64/582.85	c flip 90000 nbSat=33993 maxSat=34360
1163.04/583.08	c flip 100000 nbSat=34063 maxSat=34360
1163.63/583.34	c flip 110000 nbSat=34076 maxSat=34360
1164.03/583.58	c flip 120000 nbSat=34143 maxSat=34360
1164.63/583.82	c flip 130000 nbSat=34084 maxSat=34360
1165.04/584.07	c flip 140000 nbSat=34077 maxSat=34360
1165.63/584.30	c flip 150000 nbSat=34124 maxSat=34360
1166.03/584.53	c flip 160000 nbSat=34120 maxSat=34360
1166.43/584.75	c flip 170000 nbSat=34122 maxSat=34360
1166.83/584.97	c flip 180000 nbSat=34228 maxSat=34360
1167.43/585.20	c flip 190000 nbSat=34196 maxSat=34360
1167.43/585.27	c flip 0 nbSat=29262 maxSat=34360
1167.82/585.45	c flip 10000 nbSat=32982 maxSat=34360
1168.22/585.66	c flip 20000 nbSat=33392 maxSat=34360
1168.62/585.87	c flip 30000 nbSat=33581 maxSat=34360
1169.02/586.08	c flip 40000 nbSat=33771 maxSat=34360
1169.63/586.31	c flip 50000 nbSat=33892 maxSat=34360
1170.02/586.53	c flip 60000 nbSat=33982 maxSat=34360
1170.42/586.75	c flip 70000 nbSat=34092 maxSat=34360
1170.82/586.98	c flip 80000 nbSat=34012 maxSat=34360
1171.42/587.20	c flip 90000 nbSat=34077 maxSat=34360
1171.82/587.42	c flip 100000 nbSat=34097 maxSat=34360
1172.22/587.64	c flip 110000 nbSat=34135 maxSat=34360
1172.62/587.87	c flip 120000 nbSat=34140 maxSat=34360
1173.02/588.10	c flip 130000 nbSat=34106 maxSat=34360
1173.62/588.32	c flip 140000 nbSat=34140 maxSat=34360
1174.02/588.55	c flip 150000 nbSat=34156 maxSat=34360
1174.41/588.78	c flip 160000 nbSat=34090 maxSat=34360
1175.01/589.01	c flip 170000 nbSat=34136 maxSat=34360
1175.41/589.23	c flip 180000 nbSat=34120 maxSat=34360
1175.81/589.46	c flip 190000 nbSat=34174 maxSat=34360
1176.01/589.54	c flip 0 nbSat=29105 maxSat=34360
1176.41/589.71	c flip 10000 nbSat=32897 maxSat=34360
1176.81/589.93	c flip 20000 nbSat=33521 maxSat=34360
1177.21/590.14	c flip 30000 nbSat=33617 maxSat=34360
1177.61/590.35	c flip 40000 nbSat=33792 maxSat=34360
1178.01/590.57	c flip 50000 nbSat=33841 maxSat=34360
1178.41/590.78	c flip 60000 nbSat=33963 maxSat=34360
1179.00/591.00	c flip 70000 nbSat=34004 maxSat=34360
1179.40/591.23	c flip 80000 nbSat=34040 maxSat=34360
1179.80/591.45	c flip 90000 nbSat=34029 maxSat=34360
1180.20/591.68	c flip 100000 nbSat=34145 maxSat=34360
1180.79/591.90	c flip 110000 nbSat=34144 maxSat=34360
1181.19/592.12	c flip 120000 nbSat=34126 maxSat=34360
1181.59/592.34	c flip 130000 nbSat=34180 maxSat=34360
1181.99/592.56	c flip 140000 nbSat=34154 maxSat=34360
1182.39/592.79	c flip 150000 nbSat=34137 maxSat=34360
1182.99/593.01	c flip 160000 nbSat=34127 maxSat=34360
1183.39/593.24	c flip 170000 nbSat=34161 maxSat=34360
1183.79/593.45	c flip 180000 nbSat=34215 maxSat=34360
1184.18/593.69	c flip 190000 nbSat=34192 maxSat=34360
1184.38/593.75	c flip 0 nbSat=29260 maxSat=34360
1184.78/593.94	c flip 10000 nbSat=32832 maxSat=34360
1185.17/594.16	c flip 20000 nbSat=33211 maxSat=34360
1185.57/594.37	c flip 30000 nbSat=33553 maxSat=34360
1186.17/594.60	c flip 40000 nbSat=33683 maxSat=34360
1186.57/594.84	c flip 50000 nbSat=33730 maxSat=34360
1186.98/595.07	c flip 60000 nbSat=33903 maxSat=34360
1187.57/595.31	c flip 70000 nbSat=33864 maxSat=34360
1187.97/595.53	c flip 80000 nbSat=34050 maxSat=34360
1188.37/595.76	c flip 90000 nbSat=34065 maxSat=34360
1188.77/595.99	c flip 100000 nbSat=34042 maxSat=34360
1189.37/596.23	c flip 110000 nbSat=34066 maxSat=34360
1189.76/596.45	c flip 120000 nbSat=34057 maxSat=34360
1190.16/596.70	c flip 130000 nbSat=34121 maxSat=34360
1190.76/596.94	c flip 140000 nbSat=34082 maxSat=34360
1191.16/597.17	c flip 150000 nbSat=34126 maxSat=34360
1191.76/597.41	c flip 160000 nbSat=34090 maxSat=34360
1192.16/597.63	c flip 170000 nbSat=34137 maxSat=34360
1192.56/597.86	c flip 180000 nbSat=34098 maxSat=34360
1192.96/598.08	c flip 190000 nbSat=34164 maxSat=34360
1193.16/598.15	c flip 0 nbSat=29272 maxSat=34360
1193.56/598.34	c flip 10000 nbSat=32883 maxSat=34360
1193.96/598.57	c flip 20000 nbSat=33322 maxSat=34360
1194.56/598.81	c flip 30000 nbSat=33558 maxSat=34360
1194.96/599.03	c flip 40000 nbSat=33728 maxSat=34360
1195.36/599.26	c flip 50000 nbSat=33757 maxSat=34360
1195.96/599.51	c flip 60000 nbSat=33773 maxSat=34360
1196.35/599.75	c flip 70000 nbSat=33878 maxSat=34360
1196.75/599.99	c flip 80000 nbSat=34012 maxSat=34360
1197.35/600.22	c flip 90000 nbSat=34025 maxSat=34360
1197.75/600.43	c flip 100000 nbSat=34084 maxSat=34360
1198.15/600.67	c flip 110000 nbSat=34043 maxSat=34360
1198.54/600.88	c flip 120000 nbSat=34049 maxSat=34360
1199.14/601.10	c flip 130000 nbSat=34085 maxSat=34360
1199.54/601.33	c flip 140000 nbSat=34088 maxSat=34360
1199.94/601.55	c flip 150000 nbSat=34117 maxSat=34360

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/node14/watcher-337087-1173659903 -o ROOT/results/node14/solver-337087-1173659903 -C 1200 -W 2400 -M 1800 --output-limit 1,15 /tmp/evaluation/337087-1173659903/ornithorynque /tmp/evaluation/337087-1173659903/instance-337087-1173659903.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: 0.93 0.98 0.99 3/77 15397
/proc/meminfo: memFree=1475704/2055920 swapFree=4146600/4192956
[pid=15397] ppid=15395 vsize=23220 CPUtime=0
/proc/15397/stat : 15397 (ornithorynque) R 15395 15397 15047 0 -1 4194304 288 0 0 0 0 0 0 0 18 0 1 0 385944737 23777280 267 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 212231818513 0 0 4096 0 0 0 0 17 1 0 0
/proc/15397/statm: 5805 267 220 42 0 45 0

[startup+0.029195 s]
/proc/loadavg: 0.93 0.98 0.99 3/77 15397
/proc/meminfo: memFree=1475704/2055920 swapFree=4146600/4192956
[pid=15397] ppid=15395 vsize=24280 CPUtime=0.02
/proc/15397/stat : 15397 (ornithorynque) R 15395 15397 15047 0 -1 4194304 710 0 0 0 2 0 0 0 18 0 1 0 385944737 24862720 671 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 212234310369 0 0 4096 1088 0 0 0 17 1 0 0
/proc/15397/statm: 6070 672 377 42 0 322 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 24280

[startup+0.101201 s]
/proc/loadavg: 0.93 0.98 0.99 3/77 15397
/proc/meminfo: memFree=1475704/2055920 swapFree=4146600/4192956
[pid=15397] ppid=15395 vsize=29276 CPUtime=0.09
/proc/15397/stat : 15397 (ornithorynque) R 15395 15397 15047 0 -1 4194304 2049 0 0 0 9 0 0 0 18 0 1 0 385944737 29978624 1944 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4265726 0 0 4096 1088 0 0 0 17 1 0 0
/proc/15397/statm: 7352 1948 381 42 0 1604 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29276

[startup+0.302229 s]
/proc/loadavg: 0.93 0.98 0.99 3/77 15397
/proc/meminfo: memFree=1475704/2055920 swapFree=4146600/4192956
[pid=15397] ppid=15395 vsize=50676 CPUtime=0.46
/proc/15397/stat : 15397 (ornithorynque) S 15395 15397 15047 0 -1 4194304 2249 0 0 0 46 0 0 0 18 0 3 0 385944737 51892224 2144 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 212243345275 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15397/statm: 12669 2144 387 42 0 6921 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 50676

[startup+0.702264 s]
/proc/loadavg: 0.93 0.98 0.99 3/77 15397
/proc/meminfo: memFree=1475704/2055920 swapFree=4146600/4192956
[pid=15397] ppid=15395 vsize=50676 CPUtime=1.26
/proc/15397/stat : 15397 (ornithorynque) S 15395 15397 15047 0 -1 4194304 2249 0 0 0 126 0 0 0 18 0 3 0 385944737 51892224 2144 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 212243345275 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15397/statm: 12669 2144 387 42 0 6921 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 50676

[startup+1.50134 s]
/proc/loadavg: 0.93 0.98 0.99 3/80 15400
/proc/meminfo: memFree=1468448/2055920 swapFree=4146600/4192956
[pid=15397] ppid=15395 vsize=50676 CPUtime=2.85
/proc/15397/stat : 15397 (ornithorynque) S 15395 15397 15047 0 -1 4194304 2249 0 0 0 285 0 0 0 18 0 3 0 385944737 51892224 2144 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 212243345275 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15397/statm: 12669 2144 387 42 0 6921 0
[pid=15397/tid=15399] ppid=15395 vsize=50676 CPUtime=1.37
/proc/15397/task/15399/stat : 15399 (ornithorynque) R 15395 15397 15047 0 -1 4194368 47 0 0 0 137 0 0 0 25 0 3 0 385944750 51892224 2144 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242898 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15397/tid=15400] ppid=15395 vsize=50676 CPUtime=1.36
/proc/15397/task/15400/stat : 15400 (ornithorynque) R 15395 15397 15047 0 -1 4194368 2 0 0 0 136 0 0 0 25 0 3 0 385944750 51892224 2144 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283762 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 50676

[startup+3.10149 s]
/proc/loadavg: 0.93 0.98 0.99 3/80 15400
/proc/meminfo: memFree=1468320/2055920 swapFree=4146600/4192956
[pid=15397] ppid=15395 vsize=50676 CPUtime=6.05
/proc/15397/stat : 15397 (ornithorynque) S 15395 15397 15047 0 -1 4194304 2256 0 0 0 605 0 0 0 18 0 3 0 385944737 51892224 2151 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 212243345275 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15397/statm: 12669 2151 387 42 0 6921 0
[pid=15397/tid=15399] ppid=15395 vsize=50676 CPUtime=2.97
/proc/15397/task/15399/stat : 15399 (ornithorynque) R 15395 15397 15047 0 -1 4194368 47 0 0 0 297 0 0 0 25 0 3 0 385944750 51892224 2151 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242944 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15397/tid=15400] ppid=15395 vsize=50676 CPUtime=2.96
/proc/15397/task/15400/stat : 15400 (ornithorynque) R 15395 15397 15047 0 -1 4194368 9 0 0 0 296 0 0 0 25 0 3 0 385944750 51892224 2151 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285948 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 50676

[startup+6.30179 s]
/proc/loadavg: 1.02 1.00 1.00 3/80 15400
/proc/meminfo: memFree=1468192/2055920 swapFree=4146600/4192956
[pid=15397] ppid=15395 vsize=51700 CPUtime=12.44
/proc/15397/stat : 15397 (ornithorynque) S 15395 15397 15047 0 -1 4194304 2262 0 0 0 1243 1 0 0 18 0 3 0 385944737 52940800 2157 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 212243345275 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15397/statm: 12925 2157 387 42 0 7177 0
[pid=15397/tid=15399] ppid=15395 vsize=51700 CPUtime=6.17
/proc/15397/task/15399/stat : 15399 (ornithorynque) R 15395 15397 15047 0 -1 4194368 52 0 0 0 617 0 0 0 25 0 3 0 385944750 52940800 2157 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242814 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15397/tid=15400] ppid=15395 vsize=51700 CPUtime=6.14
/proc/15397/task/15400/stat : 15400 (ornithorynque) R 15395 15397 15047 0 -1 4194368 10 0 0 0 614 0 0 0 25 0 3 0 385944750 52940800 2157 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285203 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 51700

[startup+12.7014 s]
/proc/loadavg: 1.10 1.02 1.01 3/80 15400
/proc/meminfo: memFree=1467936/2055920 swapFree=4146600/4192956
[pid=15397] ppid=15395 vsize=51700 CPUtime=25.21
/proc/15397/stat : 15397 (ornithorynque) S 15395 15397 15047 0 -1 4194304 2300 0 0 0 2520 1 0 0 18 0 3 0 385944737 52940800 2195 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 212243345275 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15397/statm: 12925 2195 387 42 0 7177 0
[pid=15397/tid=15399] ppid=15395 vsize=51700 CPUtime=12.57
/proc/15397/task/15399/stat : 15399 (ornithorynque) R 15395 15397 15047 0 -1 4194368 68 0 0 0 1257 0 0 0 25 0 3 0 385944750 52940800 2195 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242944 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15397/tid=15400] ppid=15395 vsize=51700 CPUtime=12.51
/proc/15397/task/15400/stat : 15400 (ornithorynque) R 15395 15397 15047 0 -1 4194368 32 0 0 0 1251 0 0 0 25 0 3 0 385944750 52940800 2195 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285958 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 51700

[startup+25.5026 s]
/proc/loadavg: 1.30 1.06 1.02 3/80 15400
/proc/meminfo: memFree=1467424/2055920 swapFree=4146600/4192956
[pid=15397] ppid=15395 vsize=51700 CPUtime=50.75
/proc/15397/stat : 15397 (ornithorynque) S 15395 15397 15047 0 -1 4194304 2450 0 0 0 5074 1 0 0 18 0 3 0 385944737 52940800 2345 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 212243345275 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15397/statm: 12925 2345 387 42 0 7177 0
[pid=15397/tid=15399] ppid=15395 vsize=51700 CPUtime=25.36
/proc/15397/task/15399/stat : 15399 (ornithorynque) R 15395 15397 15047 0 -1 4194368 131 0 0 0 2536 0 0 0 25 0 3 0 385944750 52940800 2345 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242826 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15397/tid=15400] ppid=15395 vsize=51700 CPUtime=25.26
/proc/15397/task/15400/stat : 15400 (ornithorynque) R 15395 15397 15047 0 -1 4194368 119 0 0 0 2526 0 0 0 25 0 3 0 385944750 52940800 2345 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283678 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 51700

[startup+51.103 s]
/proc/loadavg: 1.54 1.14 1.04 3/80 15400
/proc/meminfo: memFree=1466272/2055920 swapFree=4146600/4192956
[pid=15397] ppid=15395 vsize=53716 CPUtime=101.81
/proc/15397/stat : 15397 (ornithorynque) S 15395 15397 15047 0 -1 4194304 2859 0 0 0 10179 2 0 0 18 0 3 0 385944737 55005184 2624 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 212243345275 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15397/statm: 13429 2624 387 42 0 7681 0
[pid=15397/tid=15399] ppid=15395 vsize=53716 CPUtime=50.95
/proc/15397/task/15399/stat : 15399 (ornithorynque) R 15395 15397 15047 0 -1 4194368 319 0 0 0 5095 0 0 0 25 0 3 0 385944750 55005184 2624 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242861 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15397/tid=15400] ppid=15395 vsize=53716 CPUtime=50.72
/proc/15397/task/15400/stat : 15400 (ornithorynque) R 15395 15397 15047 0 -1 4194368 340 0 0 0 5072 0 0 0 25 0 3 0 385944750 55005184 2624 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283786 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 53716

[startup+102.307 s]
/proc/loadavg: 1.80 1.27 1.09 3/80 15400
/proc/meminfo: memFree=1465568/2055920 swapFree=4146600/4192956
[pid=15397] ppid=15395 vsize=53972 CPUtime=203.97
/proc/15397/stat : 15397 (ornithorynque) S 15395 15397 15047 0 -1 4194304 2992 0 0 0 20394 3 0 0 18 0 3 0 385944737 55267328 2757 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 212243345275 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15397/statm: 13493 2757 387 42 0 7745 0
[pid=15397/tid=15399] ppid=15395 vsize=53972 CPUtime=102.15
/proc/15397/task/15399/stat : 15399 (ornithorynque) R 15395 15397 15047 0 -1 4194368 383 0 0 0 10214 1 0 0 25 0 3 0 385944750 55267328 2757 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242869 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15397/tid=15400] ppid=15395 vsize=53972 CPUtime=101.69
/proc/15397/task/15400/stat : 15400 (ornithorynque) R 15395 15397 15047 0 -1 4194368 409 0 0 0 10168 1 0 0 25 0 3 0 385944750 55267328 2757 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 203.97
Current children cumulated vsize (KiB) 53972

[startup+162.303 s]
/proc/loadavg: 1.92 1.40 1.15 3/80 15400
/proc/meminfo: memFree=1465568/2055920 swapFree=4146600/4192956
[pid=15397] ppid=15395 vsize=53972 CPUtime=323.68
/proc/15397/stat : 15397 (ornithorynque) S 15395 15397 15047 0 -1 4194304 2992 0 0 0 32364 4 0 0 18 0 3 0 385944737 55267328 2757 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 212243345275 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15397/statm: 13493 2757 387 42 0 7745 0
[pid=15397/tid=15399] ppid=15395 vsize=53972 CPUtime=162.12
/proc/15397/task/15399/stat : 15399 (ornithorynque) R 15395 15397 15047 0 -1 4194368 383 0 0 0 16211 1 0 0 25 0 3 0 385944750 55267328 2757 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242861 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15397/tid=15400] ppid=15395 vsize=53972 CPUtime=161.42
/proc/15397/task/15400/stat : 15400 (ornithorynque) R 15395 15397 15047 0 -1 4194368 409 0 0 0 16141 1 0 0 25 0 3 0 385944750 55267328 2757 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241024 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 323.68
Current children cumulated vsize (KiB) 53972

[startup+222.302 s]
/proc/loadavg: 1.97 1.51 1.20 3/80 15400
/proc/meminfo: memFree=1465504/2055920 swapFree=4146600/4192956
[pid=15397] ppid=15395 vsize=53972 CPUtime=443.39
/proc/15397/stat : 15397 (ornithorynque) S 15395 15397 15047 0 -1 4194304 2992 0 0 0 44334 5 0 0 18 0 3 0 385944737 55267328 2757 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 212243345275 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15397/statm: 13493 2757 387 42 0 7745 0
[pid=15397/tid=15399] ppid=15395 vsize=53972 CPUtime=222.1
/proc/15397/task/15399/stat : 15399 (ornithorynque) R 15395 15397 15047 0 -1 4194368 383 0 0 0 22209 1 0 0 25 0 3 0 385944750 55267328 2757 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242898 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15397/tid=15400] ppid=15395 vsize=53972 CPUtime=221.15
/proc/15397/task/15400/stat : 15400 (ornithorynque) R 15395 15397 15047 0 -1 4194368 409 0 0 0 22113 2 0 0 25 0 3 0 385944750 55267328 2757 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4285958 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 443.39
Current children cumulated vsize (KiB) 53972

[startup+282.303 s]
/proc/loadavg: 1.99 1.59 1.24 3/80 15400
/proc/meminfo: memFree=1465632/2055920 swapFree=4146600/4192956
[pid=15397] ppid=15395 vsize=53972 CPUtime=563.09
/proc/15397/stat : 15397 (ornithorynque) S 15395 15397 15047 0 -1 4194304 2992 0 0 0 56304 5 0 0 18 0 3 0 385944737 55267328 2757 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 212243345275 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15397/statm: 13493 2757 387 42 0 7745 0
[pid=15397/tid=15399] ppid=15395 vsize=53972 CPUtime=282.09
/proc/15397/task/15399/stat : 15399 (ornithorynque) R 15395 15397 15047 0 -1 4194368 383 0 0 0 28207 2 0 0 25 0 3 0 385944750 55267328 2757 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242898 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15397/tid=15400] ppid=15395 vsize=53972 CPUtime=280.87
/proc/15397/task/15400/stat : 15400 (ornithorynque) R 15395 15397 15047 0 -1 4194368 409 0 0 0 28085 2 0 0 25 0 3 0 385944750 55267328 2757 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242596 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 563.09
Current children cumulated vsize (KiB) 53972

[startup+342.303 s]
/proc/loadavg: 1.99 1.66 1.29 3/80 15402
/proc/meminfo: memFree=1465568/2055920 swapFree=4146600/4192956
[pid=15397] ppid=15395 vsize=53972 CPUtime=682.8
/proc/15397/stat : 15397 (ornithorynque) S 15395 15397 15047 0 -1 4194304 2992 0 0 0 68274 6 0 0 18 0 3 0 385944737 55267328 2757 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 212243345275 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15397/statm: 13493 2757 387 42 0 7745 0
[pid=15397/tid=15399] ppid=15395 vsize=53972 CPUtime=342.07
/proc/15397/task/15399/stat : 15399 (ornithorynque) R 15395 15397 15047 0 -1 4194368 383 0 0 0 34205 2 0 0 25 0 3 0 385944750 55267328 2757 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242861 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15397/tid=15400] ppid=15395 vsize=53972 CPUtime=340.6
/proc/15397/task/15400/stat : 15400 (ornithorynque) R 15395 15397 15047 0 -1 4194368 409 0 0 0 34057 3 0 0 25 0 3 0 385944750 55267328 2757 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4240892 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 682.8
Current children cumulated vsize (KiB) 53972

[startup+402.302 s]
/proc/loadavg: 1.99 1.72 1.33 3/80 15402
/proc/meminfo: memFree=1465568/2055920 swapFree=4146600/4192956
[pid=15397] ppid=15395 vsize=53972 CPUtime=802.51
/proc/15397/stat : 15397 (ornithorynque) S 15395 15397 15047 0 -1 4194304 2992 0 0 0 80244 7 0 0 18 0 3 0 385944737 55267328 2757 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 212243345275 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15397/statm: 13493 2757 387 42 0 7745 0
[pid=15397/tid=15399] ppid=15395 vsize=53972 CPUtime=402.05
/proc/15397/task/15399/stat : 15399 (ornithorynque) R 15395 15397 15047 0 -1 4194368 383 0 0 0 40203 2 0 0 25 0 3 0 385944750 55267328 2757 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242861 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15397/tid=15400] ppid=15395 vsize=53972 CPUtime=400.32
/proc/15397/task/15400/stat : 15400 (ornithorynque) R 15395 15397 15047 0 -1 4194368 409 0 0 0 40029 3 0 0 25 0 3 0 385944750 55267328 2757 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241190 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 802.51
Current children cumulated vsize (KiB) 53972

[startup+462.303 s]
/proc/loadavg: 1.99 1.77 1.37 3/80 15402
/proc/meminfo: memFree=1465504/2055920 swapFree=4146600/4192956
[pid=15397] ppid=15395 vsize=53972 CPUtime=922.22
/proc/15397/stat : 15397 (ornithorynque) S 15395 15397 15047 0 -1 4194304 2992 0 0 0 92214 8 0 0 18 0 3 0 385944737 55267328 2757 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 212243345275 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15397/statm: 13493 2757 387 42 0 7745 0
[pid=15397/tid=15399] ppid=15395 vsize=53972 CPUtime=462.04
/proc/15397/task/15399/stat : 15399 (ornithorynque) R 15395 15397 15047 0 -1 4194368 383 0 0 0 46201 3 0 0 25 0 3 0 385944750 55267328 2757 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242898 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15397/tid=15400] ppid=15395 vsize=53972 CPUtime=460.04
/proc/15397/task/15400/stat : 15400 (ornithorynque) R 15395 15397 15047 0 -1 4194368 409 0 0 0 46000 4 0 0 25 0 3 0 385944750 55267328 2757 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4283718 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 922.22
Current children cumulated vsize (KiB) 53972

[startup+522.302 s]
/proc/loadavg: 1.99 1.81 1.41 3/80 15402
/proc/meminfo: memFree=1465504/2055920 swapFree=4146600/4192956
[pid=15397] ppid=15395 vsize=53972 CPUtime=1041.94
/proc/15397/stat : 15397 (ornithorynque) S 15395 15397 15047 0 -1 4194304 2992 0 0 0 104185 9 0 0 18 0 3 0 385944737 55267328 2757 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 212243345275 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15397/statm: 13493 2757 387 42 0 7745 0
[pid=15397/tid=15399] ppid=15395 vsize=53972 CPUtime=522.02
/proc/15397/task/15399/stat : 15399 (ornithorynque) R 15395 15397 15047 0 -1 4194368 383 0 0 0 52199 3 0 0 25 0 3 0 385944750 55267328 2757 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242898 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15397/tid=15400] ppid=15395 vsize=53972 CPUtime=519.77
/proc/15397/task/15400/stat : 15400 (ornithorynque) R 15395 15397 15047 0 -1 4194368 409 0 0 0 51973 4 0 0 25 0 3 0 385944750 55267328 2757 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4241583 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1041.94
Current children cumulated vsize (KiB) 53972

[startup+582.302 s]
/proc/loadavg: 1.99 1.84 1.44 3/80 15402
/proc/meminfo: memFree=1465440/2055920 swapFree=4146600/4192956
[pid=15397] ppid=15395 vsize=53972 CPUtime=1161.64
/proc/15397/stat : 15397 (ornithorynque) S 15395 15397 15047 0 -1 4194304 2993 0 0 0 116154 10 0 0 18 0 3 0 385944737 55267328 2758 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 212243345275 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15397/statm: 13493 2758 387 42 0 7745 0
[pid=15397/tid=15399] ppid=15395 vsize=53972 CPUtime=582.01
/proc/15397/task/15399/stat : 15399 (ornithorynque) R 15395 15397 15047 0 -1 4194368 383 0 0 0 58197 4 0 0 25 0 3 0 385944750 55267328 2758 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242861 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15397/tid=15400] ppid=15395 vsize=53972 CPUtime=579.5
/proc/15397/task/15400/stat : 15400 (ornithorynque) R 15395 15397 15047 0 -1 4194368 410 0 0 0 57945 5 0 0 25 0 3 0 385944750 55267328 2758 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242166 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1161.64
Current children cumulated vsize (KiB) 53972



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+601.602 s]
/proc/loadavg: 1.99 1.85 1.45 3/80 15402
/proc/meminfo: memFree=1465376/2055920 swapFree=4146600/4192956
[pid=15397] ppid=15395 vsize=53972 CPUtime=1200.15
/proc/15397/stat : 15397 (ornithorynque) S 15395 15397 15047 0 -1 4194304 2993 0 0 0 120005 10 0 0 18 0 3 0 385944737 55267328 2758 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 212243345275 0 0 4096 1088 18446744073709551615 0 0 17 1 0 0
/proc/15397/statm: 13493 2758 387 42 0 7745 0
[pid=15397/tid=15399] ppid=15395 vsize=53972 CPUtime=601.31
/proc/15397/task/15399/stat : 15399 (ornithorynque) R 15395 15397 15047 0 -1 4194368 383 0 0 0 60127 4 0 0 25 0 3 0 385944750 55267328 2758 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242898 0 0 4096 1088 0 0 0 -1 1 0 0
[pid=15397/tid=15400] ppid=15395 vsize=53972 CPUtime=598.71
/proc/15397/task/15400/stat : 15400 (ornithorynque) R 15395 15397 15047 0 -1 4194368 410 0 0 0 59866 5 0 0 25 0 3 0 385944750 55267328 2758 18446744073709551615 4194304 4368192 548682069328 18446744073709551615 4242387 0 0 4096 1088 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1200.15
Current children cumulated vsize (KiB) 53972

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.62
CPU time (s): 1200.18
CPU user time (s): 1200.07
CPU system time (s): 0.105983
CPU usage (%): 199.49
Max. virtual memory (cumulated for all children) (KiB): 53972

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1200.07
system time used= 0.105983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2993
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= 15
involuntary context switches= 25652

runsolver used 0.582911 second user time and 1.78773 second system time

The end

Launcher Data (download as text)

Begin job on node14 on Mon Mar 12 00:38:23 UTC 2007

IDJOB= 337087
IDBENCH= 24690
IDSOLVER= 139
FILE ID= node14/337087-1173659903

PBS_JOBID= 4101441

Free space on /tmp= 66539 MiB

SOLVER NAME= ornithorynque 0.1 alpha
BENCH NAME= HOME/pub/bench/SAT07/crafted/Hard/contest02/pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf
COMMAND LINE= /tmp/evaluation/337087-1173659903/ornithorynque /tmp/evaluation/337087-1173659903/instance-337087-1173659903.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node14/watcher-337087-1173659903 -o ROOT/results/node14/solver-337087-1173659903 -C 1200 -W 2400 -M 1800 --output-limit 1,15  /tmp/evaluation/337087-1173659903/ornithorynque /tmp/evaluation/337087-1173659903/instance-337087-1173659903.cnf            

META MD5SUM SOLVER= b0bc7f551c6adfb05c7d941bc5c3b662
MD5SUM BENCH=  ad877d677446ba8c798f8e71c4c035c2

RANDOM SEED= 630932800

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node14.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.216
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	: 5914.62
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.216
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:       1476112 kB
Buffers:         56204 kB
Cached:         430508 kB
SwapCached:      14992 kB
Active:         156860 kB
Inactive:       352740 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1476112 kB
SwapTotal:     4192956 kB
SwapFree:      4146600 kB
Dirty:             780 kB
Writeback:           0 kB
Mapped:          29564 kB
Slab:            55800 kB
Committed_AS:  1315520 kB
PageTables:       1736 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= 66539 MiB

End job on node14 on Mon Mar 12 00:48:27 UTC 2007