-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathtest.lp
13806 lines (13806 loc) · 798 KB
/
test.lp
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
\ Model refuel_station
\ LP format - for model browsing. Use MPS format to capture full model detail.
Minimize
4.165 p.0 + 4.165 p.1 + 4.165 p.2 + 4.165 p.3 + 4.165 p.4 + 4.165 p.5
+ 4.244 p.6 + 4.244 p.7 + 4.244 p.8 + 4.244 p.9 + 4.244 p.10
+ 4.244 p.11 + 4.244 p.12 + 4.244 p.13 + 4.244 p.14 + 4.244 p.15
+ 4.244 p.16 + 4.244 p.17 + 4.244 p.18 + 4.244 p.19 + 4.244 p.20
+ 4.244 p.21 + 4.198 p.22 + 4.198 p.23 + 4.198 p.24 + 4.198 p.25
+ 4.222 p.26 + 4.222 p.27 + 4.222 p.28 + 4.222 p.29 + 4.222 p.30
+ 4.222 p.31 + 4.262 p.32 + 4.262 p.33 + 4.262 p.34 + 4.262 p.35
+ 4.262 p.36 + 4.262 p.37 + 4.262 p.38 + 4.193 p.39 + 4.193 p.40
+ 4.193 p.41 + 4.266 p.42 + 4.266 p.43 + 4.266 p.44 + 4.266 p.45
+ 4.266 p.46 + 4.266 p.47 + 4.266 p.48 + 4.266 p.49 + 4.266 p.50
+ 4.207 p.51 + 4.207 p.52 + 4.168 p.53 + 4.168 p.54 + 4.168 p.55
+ 4.168 p.56 + 4.168 p.57 + 4.171 p.58 + 4.171 p.59 + 4.171 p.60
+ 4.171 p.61 + 4.171 p.62 + 4.171 p.63 + 4.171 p.64 + 4.171 p.65
+ 4.179 p.66 + 4.17 p.67 + 4.214 p.68 + 4.214 p.69 + 4.214 p.70
+ 4.214 p.71 + 4.952 p.72 + 4.952 p.73 + 4.952 p.74 + 4.952 p.75
+ 4.952 p.76 + 4.952 p.77 + 4.952 p.78 + 4.952 p.79 + 4.952 p.80
+ 4.177 p.81 + 4.177 p.82 + 4.177 p.83 + 4.177 p.84 + 4.178 p.85
+ 4.178 p.86 + 4.178 p.87 + 4.178 p.88 + 4.178 p.89 + 5.789 p.90
+ 5.789 p.91 + 5.789 p.92 + 5.789 p.93 + 5.789 p.94 + 5.789 p.95
+ 5.789 p.96 + 6.464 p.97 + 6.464 p.98 + 6.464 p.99 + 6.464 p.100
+ 6.464 p.101 + 6.515 p.102 + 6.515 p.103 + 6.515 p.104 + 4.251 p.105
+ 4.251 p.106 + 4.251 p.107 + 4.251 p.108 + 4.181 p.109 + 4.181 p.110
+ 4.172 p.111 + 4.172 p.112 + 4.172 p.113 + 4.227 p.114 + 4.227 p.115
+ 4.227 p.116 + 4.227 p.117 + 4.227 p.118 + 4.227 p.119 + 4.251 p.120
+ 4.17 p.121 + 4.17 p.122 + 4.17 p.123 + 4.17 p.124 + 4.169 p.125
+ 4.169 p.126 + 4.169 p.127 + 4.169 p.128 + 4.176 p.129 + 4.176 p.130
+ 4.176 p.131 + 4.176 p.132 + 4.175 p.133 + 4.175 p.134 + 4.193 p.135
+ 4.193 p.136 + 4.193 p.137 + 4.193 p.138 + 4.193 p.139 + 4.162 p.140
+ 4.162 p.141 + 4.162 p.142 + 4.162 p.143 + 4.195 p.144 + 4.195 p.145
+ 4.195 p.146 + 4.195 p.147 + 4.169 p.148 + 4.169 p.149 + 4.169 p.150
+ 4.222 p.151 + 4.222 p.152 + 4.222 p.153 + 4.222 p.154 + 4.222 p.155
+ 4.222 p.156 + 4.222 p.157 + 4.222 p.158
Subject To
R0: <= 0
R1: p.0 - 0.3493687444813334 d.0 - 0.3466595254966001 d.1
>= -7.497290781015266
R2: p.0 + p.1 - 0.3493687444813334 d.0 - 0.6933190509932001 d.1
- 0.3447820115953668 d.2 >= -7.495413267114033
R3: p.0 + p.1 + p.2 - 0.3493687444813334 d.0 - 0.6933190509932001 d.1
- 0.6895640231907335 d.2 - 0.3435790787641 d.3 >= -7.494210334282766
R4: p.0 + p.1 + p.2 + p.3 - 0.3493687444813334 d.0
- 0.6933190509932001 d.1 - 0.6895640231907335 d.2
- 0.6871581575282001 d.3 - 0.3241325276739001 d.4 >= -7.474763783192566
R5: p.0 + p.1 + p.2 + p.3 + p.4 - 0.3493687444813334 d.0
- 0.6933190509932001 d.1 - 0.6895640231907335 d.2
- 0.6871581575282001 d.3 - 0.6482650553478001 d.4 >= -7.150631255518666
R6: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 - 0.3493687444813334 d.0
- 0.6933190509932001 d.1 - 0.6895640231907335 d.2
- 0.6871581575282001 d.3 - 0.6482650553478001 d.4
- 0.4020885941537334 d.6 >= -6.610079102469699
R7: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 - 0.3493687444813334 d.0
- 0.6933190509932001 d.1 - 0.6895640231907335 d.2
- 0.6871581575282001 d.3 - 0.6482650553478001 d.4
- 0.8041771883074668 d.6 - 0.2000292461236333 d.7 >= -6.4080197544396
R8: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 - 0.3493687444813334 d.0
- 0.6933190509932001 d.1 - 0.6895640231907335 d.2
- 0.6871581575282001 d.3 - 0.6482650553478001 d.4
- 0.8041771883074668 d.6 - 0.4000584922472666 d.7 - 0.1132350470882 d.8
>= -6.321225555404167
R9: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 + p.8
- 0.3493687444813334 d.0 - 0.6933190509932001 d.1
- 0.6895640231907335 d.2 - 0.6871581575282001 d.3
- 0.6482650553478001 d.4 - 0.8041771883074668 d.6
- 0.4000584922472666 d.7 - 0.2264700941764001 d.8 - 0.110039833132 d.9
>= -6.318030341447967
R10: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 + p.8 + p.9
- 0.3493687444813334 d.0 - 0.6933190509932001 d.1
- 0.6895640231907335 d.2 - 0.6871581575282001 d.3
- 0.6482650553478001 d.4 - 0.8041771883074668 d.6
- 0.4000584922472666 d.7 - 0.2264700941764001 d.8
- 0.2200796662640001 d.9 - 0.1090803327461667 d.10
>= -6.317070841062133
R11: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 + p.8 + p.9 + p.10
- 0.3493687444813334 d.0 - 0.6933190509932001 d.1
- 0.6895640231907335 d.2 - 0.6871581575282001 d.3
- 0.6482650553478001 d.4 - 0.8041771883074668 d.6
- 0.4000584922472666 d.7 - 0.2264700941764001 d.8
- 0.2200796662640001 d.9 - 0.2181606654923334 d.10
- 0.0450571025004 d.11 >= -6.253047610816367
R12: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 + p.8 + p.9 + p.10
+ p.11 - 0.3493687444813334 d.0 - 0.6933190509932001 d.1
- 0.6895640231907335 d.2 - 0.6871581575282001 d.3
- 0.6482650553478001 d.4 - 0.8041771883074668 d.6
- 0.4000584922472666 d.7 - 0.2264700941764001 d.8
- 0.2200796662640001 d.9 - 0.2181606654923334 d.10
- 0.0901142050008 d.11 - 0.0164890529662333 d.12 >= -6.214714529605899
R13: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 + p.8 + p.9 + p.10
+ p.11 + p.12 - 0.3493687444813334 d.0 - 0.6933190509932001 d.1
- 0.6895640231907335 d.2 - 0.6871581575282001 d.3
- 0.6482650553478001 d.4 - 0.8041771883074668 d.6
- 0.4000584922472666 d.7 - 0.2264700941764001 d.8
- 0.2200796662640001 d.9 - 0.2181606654923334 d.10
- 0.0901142050008 d.11 - 0.0329781059324667 d.12
- 0.0157065604659333 d.13 >= -6.2139320371056
R14: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 + p.8 + p.9 + p.10
+ p.11 + p.12 + p.13 - 0.3493687444813334 d.0 - 0.6933190509932001 d.1
- 0.6895640231907335 d.2 - 0.6871581575282001 d.3
- 0.6482650553478001 d.4 - 0.8041771883074668 d.6
- 0.4000584922472666 d.7 - 0.2264700941764001 d.8
- 0.2200796662640001 d.9 - 0.2181606654923334 d.10
- 0.0901142050008 d.11 - 0.0329781059324667 d.12
- 0.0314131209318667 d.13 - 6.3098153813333333e-04 d.14
>= -6.198856458177801
R15: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 + p.8 + p.9 + p.10
+ p.11 + p.12 + p.13 + p.14 - 0.3493687444813334 d.0
- 0.6933190509932001 d.1 - 0.6895640231907335 d.2
- 0.6871581575282001 d.3 - 0.6482650553478001 d.4
- 0.8041771883074668 d.6 - 0.4000584922472666 d.7
- 0.2264700941764001 d.8 - 0.2200796662640001 d.9
- 0.2181606654923334 d.10 - 0.0901142050008 d.11
- 0.0329781059324667 d.12 - 0.0314131209318667 d.13
- 0.00126196307626667 d.14 - 0.00170732038433333 d.15
>= -6.1977801193316
R16: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 + p.8 + p.9 + p.10
+ p.11 + p.12 + p.13 + p.14 + p.15 - 0.3493687444813334 d.0
- 0.6933190509932001 d.1 - 0.6895640231907335 d.2
- 0.6871581575282001 d.3 - 0.6482650553478001 d.4
- 0.8041771883074668 d.6 - 0.4000584922472666 d.7
- 0.2264700941764001 d.8 - 0.2200796662640001 d.9
- 0.2181606654923334 d.10 - 0.0901142050008 d.11
- 0.0329781059324667 d.12 - 0.0314131209318667 d.13
- 0.00126196307626667 d.14 - 0.00341464076866667 d.15
- 4.8056833140000006e-04 d.16 >= -6.192964825479468
R17: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 + p.8 + p.9 + p.10
+ p.11 + p.12 + p.13 + p.14 + p.15 + p.16 - 0.3493687444813334 d.0
- 0.6933190509932001 d.1 - 0.6895640231907335 d.2
- 0.6871581575282001 d.3 - 0.6482650553478001 d.4
- 0.8041771883074668 d.6 - 0.4000584922472666 d.7
- 0.2264700941764001 d.8 - 0.2200796662640001 d.9
- 0.2181606654923334 d.10 - 0.0901142050008 d.11
- 0.0329781059324667 d.12 - 0.0314131209318667 d.13
- 0.00126196307626667 d.14 - 0.00341464076866667 d.15
- 9.6113666280000013e-04 d.16 >= -6.192484257148068
R18: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 + p.8 + p.9 + p.10
+ p.11 + p.12 + p.13 + p.14 + p.15 + p.16 + p.17
- 0.3493687444813334 d.0 - 0.6933190509932001 d.1
- 0.6895640231907335 d.2 - 0.6871581575282001 d.3
- 0.6482650553478001 d.4 - 0.8041771883074668 d.6
- 0.4000584922472666 d.7 - 0.2264700941764001 d.8
- 0.2200796662640001 d.9 - 0.2181606654923334 d.10
- 0.0901142050008 d.11 - 0.0329781059324667 d.12
- 0.0314131209318667 d.13 - 0.00126196307626667 d.14
- 0.00341464076866667 d.15 - 9.6113666280000013e-04 d.16
- 0.0033004742036 d.18 >= -6.189183782944468
R19: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 + p.8 + p.9 + p.10
+ p.11 + p.12 + p.13 + p.14 + p.15 + p.16 + p.17 + p.18
- 0.3493687444813334 d.0 - 0.6933190509932001 d.1
- 0.6895640231907335 d.2 - 0.6871581575282001 d.3
- 0.6482650553478001 d.4 - 0.8041771883074668 d.6
- 0.4000584922472666 d.7 - 0.2264700941764001 d.8
- 0.2200796662640001 d.9 - 0.2181606654923334 d.10
- 0.0901142050008 d.11 - 0.0329781059324667 d.12
- 0.0314131209318667 d.13 - 0.00126196307626667 d.14
- 0.00341464076866667 d.15 - 9.6113666280000013e-04 d.16
- 0.0066009484072 d.18 - 0.0749918368367 d.19 >= -6.117492420311368
R20: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 + p.8 + p.9 + p.10
+ p.11 + p.12 + p.13 + p.14 + p.15 + p.16 + p.17 + p.18 + p.19
- 0.3493687444813334 d.0 - 0.6933190509932001 d.1
- 0.6895640231907335 d.2 - 0.6871581575282001 d.3
- 0.6482650553478001 d.4 - 0.8041771883074668 d.6
- 0.4000584922472666 d.7 - 0.2264700941764001 d.8
- 0.2200796662640001 d.9 - 0.2181606654923334 d.10
- 0.0901142050008 d.11 - 0.0329781059324667 d.12
- 0.0314131209318667 d.13 - 0.00126196307626667 d.14
- 0.00341464076866667 d.15 - 9.6113666280000013e-04 d.16
- 0.0066009484072 d.18 - 0.1499836736734 d.19 - 0.0985497512855 d.20
>= -6.093934505862569
R21: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 + p.8 + p.9 + p.10
+ p.11 + p.12 + p.13 + p.14 + p.15 + p.16 + p.17 + p.18 + p.19 + p.20
- 0.3493687444813334 d.0 - 0.6933190509932001 d.1
- 0.6895640231907335 d.2 - 0.6871581575282001 d.3
- 0.6482650553478001 d.4 - 0.8041771883074668 d.6
- 0.4000584922472666 d.7 - 0.2264700941764001 d.8
- 0.2200796662640001 d.9 - 0.2181606654923334 d.10
- 0.0901142050008 d.11 - 0.0329781059324667 d.12
- 0.0314131209318667 d.13 - 0.00126196307626667 d.14
- 0.00341464076866667 d.15 - 9.6113666280000013e-04 d.16
- 0.0066009484072 d.18 - 0.1499836736734 d.19 - 0.197099502571 d.20
- 0.2715901001343667 d.21 >= -5.920894157013702
R22: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 + p.8 + p.9 + p.10
+ p.11 + p.12 + p.13 + p.14 + p.15 + p.16 + p.17 + p.18 + p.19 + p.20
+ p.21 - 0.3493687444813334 d.0 - 0.6933190509932001 d.1
- 0.6895640231907335 d.2 - 0.6871581575282001 d.3
- 0.6482650553478001 d.4 - 0.8041771883074668 d.6
- 0.4000584922472666 d.7 - 0.2264700941764001 d.8
- 0.2200796662640001 d.9 - 0.2181606654923334 d.10
- 0.0901142050008 d.11 - 0.0329781059324667 d.12
- 0.0314131209318667 d.13 - 0.00126196307626667 d.14
- 0.00341464076866667 d.15 - 9.6113666280000013e-04 d.16
- 0.0066009484072 d.18 - 0.1499836736734 d.19 - 0.197099502571 d.20
- 0.5431802002687334 d.21 - 0.1676708542018333 d.22
>= -5.557246389801836
R23: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 + p.8 + p.9 + p.10
+ p.11 + p.12 + p.13 + p.14 + p.15 + p.16 + p.17 + p.18 + p.19 + p.20
+ p.21 + p.22 - 0.3493687444813334 d.0 - 0.6933190509932001 d.1
- 0.6895640231907335 d.2 - 0.6871581575282001 d.3
- 0.6482650553478001 d.4 - 0.8041771883074668 d.6
- 0.4000584922472666 d.7 - 0.2264700941764001 d.8
- 0.2200796662640001 d.9 - 0.2181606654923334 d.10
- 0.0901142050008 d.11 - 0.0329781059324667 d.12
- 0.0314131209318667 d.13 - 0.00126196307626667 d.14
- 0.00341464076866667 d.15 - 9.6113666280000013e-04 d.16
- 0.0066009484072 d.18 - 0.1499836736734 d.19 - 0.197099502571 d.20
- 0.5431802002687334 d.21 - 0.3353417084036667 d.22
- 0.1670335346795 d.23 >= -5.556609070279503
R24: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 + p.8 + p.9 + p.10
+ p.11 + p.12 + p.13 + p.14 + p.15 + p.16 + p.17 + p.18 + p.19 + p.20
+ p.21 + p.22 + p.23 - 0.3493687444813334 d.0 - 0.6933190509932001 d.1
- 0.6895640231907335 d.2 - 0.6871581575282001 d.3
- 0.6482650553478001 d.4 - 0.8041771883074668 d.6
- 0.4000584922472666 d.7 - 0.2264700941764001 d.8
- 0.2200796662640001 d.9 - 0.2181606654923334 d.10
- 0.0901142050008 d.11 - 0.0329781059324667 d.12
- 0.0314131209318667 d.13 - 0.00126196307626667 d.14
- 0.00341464076866667 d.15 - 9.6113666280000013e-04 d.16
- 0.0066009484072 d.18 - 0.1499836736734 d.19 - 0.197099502571 d.20
- 0.5431802002687334 d.21 - 0.3353417084036667 d.22
- 0.3340670693589999 d.23 >= -5.389575535600002
R25: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 + p.8 + p.9 + p.10
+ p.11 + p.12 + p.13 + p.14 + p.15 + p.16 + p.17 + p.18 + p.19 + p.20
+ p.21 + p.22 + p.23 + p.24 - 0.3493687444813334 d.0
- 0.6933190509932001 d.1 - 0.6895640231907335 d.2
- 0.6871581575282001 d.3 - 0.6482650553478001 d.4
- 0.8041771883074668 d.6 - 0.4000584922472666 d.7
- 0.2264700941764001 d.8 - 0.2200796662640001 d.9
- 0.2181606654923334 d.10 - 0.0901142050008 d.11
- 0.0329781059324667 d.12 - 0.0314131209318667 d.13
- 0.00126196307626667 d.14 - 0.00341464076866667 d.15
- 9.6113666280000013e-04 d.16 - 0.0066009484072 d.18
- 0.1499836736734 d.19 - 0.197099502571 d.20 - 0.5431802002687334 d.21
- 0.3353417084036667 d.22 - 0.3340670693589999 d.23
- 0.0158053170302 d.25 >= -5.373770218569803
R26: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 + p.8 + p.9 + p.10
+ p.11 + p.12 + p.13 + p.14 + p.15 + p.16 + p.17 + p.18 + p.19 + p.20
+ p.21 + p.22 + p.23 + p.24 + p.25 - 0.3493687444813334 d.0
- 0.6933190509932001 d.1 - 0.6895640231907335 d.2
- 0.6871581575282001 d.3 - 0.6482650553478001 d.4
- 0.8041771883074668 d.6 - 0.4000584922472666 d.7
- 0.2264700941764001 d.8 - 0.2200796662640001 d.9
- 0.2181606654923334 d.10 - 0.0901142050008 d.11
- 0.0329781059324667 d.12 - 0.0314131209318667 d.13
- 0.00126196307626667 d.14 - 0.00341464076866667 d.15
- 9.6113666280000013e-04 d.16 - 0.0066009484072 d.18
- 0.1499836736734 d.19 - 0.197099502571 d.20 - 0.5431802002687334 d.21
- 0.3353417084036667 d.22 - 0.3340670693589999 d.23
- 0.0316106340604 d.25 - 0.0625120766861333 d.26 >= -4.866257852881237
R27: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 + p.8 + p.9 + p.10
+ p.11 + p.12 + p.13 + p.14 + p.15 + p.16 + p.17 + p.18 + p.19 + p.20
+ p.21 + p.22 + p.23 + p.24 + p.25 + p.26 - 0.3493687444813334 d.0
- 0.6933190509932001 d.1 - 0.6895640231907335 d.2
- 0.6871581575282001 d.3 - 0.6482650553478001 d.4
- 0.8041771883074668 d.6 - 0.4000584922472666 d.7
- 0.2264700941764001 d.8 - 0.2200796662640001 d.9
- 0.2181606654923334 d.10 - 0.0901142050008 d.11
- 0.0329781059324667 d.12 - 0.0314131209318667 d.13
- 0.00126196307626667 d.14 - 0.00341464076866667 d.15
- 9.6113666280000013e-04 d.16 - 0.0066009484072 d.18
- 0.1499836736734 d.19 - 0.197099502571 d.20 - 0.5431802002687334 d.21
- 0.3353417084036667 d.22 - 0.3340670693589999 d.23
- 0.0316106340604 d.25 - 0.1250241533722667 d.26
- 0.0269710639270667 d.27 >= -4.83071684012217
R28: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 + p.8 + p.9 + p.10
+ p.11 + p.12 + p.13 + p.14 + p.15 + p.16 + p.17 + p.18 + p.19 + p.20
+ p.21 + p.22 + p.23 + p.24 + p.25 + p.26 + p.27
- 0.3493687444813334 d.0 - 0.6933190509932001 d.1
- 0.6895640231907335 d.2 - 0.6871581575282001 d.3
- 0.6482650553478001 d.4 - 0.8041771883074668 d.6
- 0.4000584922472666 d.7 - 0.2264700941764001 d.8
- 0.2200796662640001 d.9 - 0.2181606654923334 d.10
- 0.0901142050008 d.11 - 0.0329781059324667 d.12
- 0.0314131209318667 d.13 - 0.00126196307626667 d.14
- 0.00341464076866667 d.15 - 9.6113666280000013e-04 d.16
- 0.0066009484072 d.18 - 0.1499836736734 d.19 - 0.197099502571 d.20
- 0.5431802002687334 d.21 - 0.3353417084036667 d.22
- 0.3340670693589999 d.23 - 0.0316106340604 d.25
- 0.1250241533722667 d.26 - 0.0539421278541333 d.27
- 0.0130275401118 d.28 >= -4.816773316306904
R29: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 + p.8 + p.9 + p.10
+ p.11 + p.12 + p.13 + p.14 + p.15 + p.16 + p.17 + p.18 + p.19 + p.20
+ p.21 + p.22 + p.23 + p.24 + p.25 + p.26 + p.27 + p.28
- 0.3493687444813334 d.0 - 0.6933190509932001 d.1
- 0.6895640231907335 d.2 - 0.6871581575282001 d.3
- 0.6482650553478001 d.4 - 0.8041771883074668 d.6
- 0.4000584922472666 d.7 - 0.2264700941764001 d.8
- 0.2200796662640001 d.9 - 0.2181606654923334 d.10
- 0.0901142050008 d.11 - 0.0329781059324667 d.12
- 0.0314131209318667 d.13 - 0.00126196307626667 d.14
- 0.00341464076866667 d.15 - 9.6113666280000013e-04 d.16
- 0.0066009484072 d.18 - 0.1499836736734 d.19 - 0.197099502571 d.20
- 0.5431802002687334 d.21 - 0.3353417084036667 d.22
- 0.3340670693589999 d.23 - 0.0316106340604 d.25
- 0.1250241533722667 d.26 - 0.0539421278541333 d.27
- 0.0260550802236 d.28 - 0.0028355022843 d.29 >= -4.806581278479404
R30: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 + p.8 + p.9 + p.10
+ p.11 + p.12 + p.13 + p.14 + p.15 + p.16 + p.17 + p.18 + p.19 + p.20
+ p.21 + p.22 + p.23 + p.24 + p.25 + p.26 + p.27 + p.28 + p.29
- 0.3493687444813334 d.0 - 0.6933190509932001 d.1
- 0.6895640231907335 d.2 - 0.6871581575282001 d.3
- 0.6482650553478001 d.4 - 0.8041771883074668 d.6
- 0.4000584922472666 d.7 - 0.2264700941764001 d.8
- 0.2200796662640001 d.9 - 0.2181606654923334 d.10
- 0.0901142050008 d.11 - 0.0329781059324667 d.12
- 0.0314131209318667 d.13 - 0.00126196307626667 d.14
- 0.00341464076866667 d.15 - 9.6113666280000013e-04 d.16
- 0.0066009484072 d.18 - 0.1499836736734 d.19 - 0.197099502571 d.20
- 0.5431802002687334 d.21 - 0.3353417084036667 d.22
- 0.3340670693589999 d.23 - 0.0316106340604 d.25
- 0.1250241533722667 d.26 - 0.0539421278541333 d.27
- 0.0260550802236 d.28 - 0.0056710045686 d.29 >= -4.803745776195104
R31: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 + p.8 + p.9 + p.10
+ p.11 + p.12 + p.13 + p.14 + p.15 + p.16 + p.17 + p.18 + p.19 + p.20
+ p.21 + p.22 + p.23 + p.24 + p.25 + p.26 + p.27 + p.28 + p.29 + p.30
- 0.3493687444813334 d.0 - 0.6933190509932001 d.1
- 0.6895640231907335 d.2 - 0.6871581575282001 d.3
- 0.6482650553478001 d.4 - 0.8041771883074668 d.6
- 0.4000584922472666 d.7 - 0.2264700941764001 d.8
- 0.2200796662640001 d.9 - 0.2181606654923334 d.10
- 0.0901142050008 d.11 - 0.0329781059324667 d.12
- 0.0314131209318667 d.13 - 0.00126196307626667 d.14
- 0.00341464076866667 d.15 - 9.6113666280000013e-04 d.16
- 0.0066009484072 d.18 - 0.1499836736734 d.19 - 0.197099502571 d.20
- 0.5431802002687334 d.21 - 0.3353417084036667 d.22
- 0.3340670693589999 d.23 - 0.0316106340604 d.25
- 0.1250241533722667 d.26 - 0.0539421278541333 d.27
- 0.0260550802236 d.28 - 0.0056710045686 d.29 - 0.00972721089476667 d.31
>= -4.794018565300338
R32: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 + p.8 + p.9 + p.10
+ p.11 + p.12 + p.13 + p.14 + p.15 + p.16 + p.17 + p.18 + p.19 + p.20
+ p.21 + p.22 + p.23 + p.24 + p.25 + p.26 + p.27 + p.28 + p.29 + p.30
+ p.31 - 0.3493687444813334 d.0 - 0.6933190509932001 d.1
- 0.6895640231907335 d.2 - 0.6871581575282001 d.3
- 0.6482650553478001 d.4 - 0.8041771883074668 d.6
- 0.4000584922472666 d.7 - 0.2264700941764001 d.8
- 0.2200796662640001 d.9 - 0.2181606654923334 d.10
- 0.0901142050008 d.11 - 0.0329781059324667 d.12
- 0.0314131209318667 d.13 - 0.00126196307626667 d.14
- 0.00341464076866667 d.15 - 9.6113666280000013e-04 d.16
- 0.0066009484072 d.18 - 0.1499836736734 d.19 - 0.197099502571 d.20
- 0.5431802002687334 d.21 - 0.3353417084036667 d.22
- 0.3340670693589999 d.23 - 0.0316106340604 d.25
- 0.1250241533722667 d.26 - 0.0539421278541333 d.27
- 0.0260550802236 d.28 - 0.0056710045686 d.29 - 0.0194544217895333 d.31
- 0.00959531454383333 d.32 >= -3.444195473034304
R33: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 + p.8 + p.9 + p.10
+ p.11 + p.12 + p.13 + p.14 + p.15 + p.16 + p.17 + p.18 + p.19 + p.20
+ p.21 + p.22 + p.23 + p.24 + p.25 + p.26 + p.27 + p.28 + p.29 + p.30
+ p.31 + p.32 - 0.3493687444813334 d.0 - 0.6933190509932001 d.1
- 0.6895640231907335 d.2 - 0.6871581575282001 d.3
- 0.6482650553478001 d.4 - 0.8041771883074668 d.6
- 0.4000584922472666 d.7 - 0.2264700941764001 d.8
- 0.2200796662640001 d.9 - 0.2181606654923334 d.10
- 0.0901142050008 d.11 - 0.0329781059324667 d.12
- 0.0314131209318667 d.13 - 0.00126196307626667 d.14
- 0.00341464076866667 d.15 - 9.6113666280000013e-04 d.16
- 0.0066009484072 d.18 - 0.1499836736734 d.19 - 0.197099502571 d.20
- 0.5431802002687334 d.21 - 0.3353417084036667 d.22
- 0.3340670693589999 d.23 - 0.0316106340604 d.25
- 0.1250241533722667 d.26 - 0.0539421278541333 d.27
- 0.0260550802236 d.28 - 0.0056710045686 d.29 - 0.0194544217895333 d.31
- 0.0191906290876667 d.32 - 0.00807597959936667 d.33
>= -3.442676138089837
R34: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 + p.8 + p.9 + p.10
+ p.11 + p.12 + p.13 + p.14 + p.15 + p.16 + p.17 + p.18 + p.19 + p.20
+ p.21 + p.22 + p.23 + p.24 + p.25 + p.26 + p.27 + p.28 + p.29 + p.30
+ p.31 + p.32 + p.33 - 0.3493687444813334 d.0 - 0.6933190509932001 d.1
- 0.6895640231907335 d.2 - 0.6871581575282001 d.3
- 0.6482650553478001 d.4 - 0.8041771883074668 d.6
- 0.4000584922472666 d.7 - 0.2264700941764001 d.8
- 0.2200796662640001 d.9 - 0.2181606654923334 d.10
- 0.0901142050008 d.11 - 0.0329781059324667 d.12
- 0.0314131209318667 d.13 - 0.00126196307626667 d.14
- 0.00341464076866667 d.15 - 9.6113666280000013e-04 d.16
- 0.0066009484072 d.18 - 0.1499836736734 d.19 - 0.197099502571 d.20
- 0.5431802002687334 d.21 - 0.3353417084036667 d.22
- 0.3340670693589999 d.23 - 0.0316106340604 d.25
- 0.1250241533722667 d.26 - 0.0539421278541333 d.27
- 0.0260550802236 d.28 - 0.0056710045686 d.29 - 0.0194544217895333 d.31
- 0.0191906290876667 d.32 - 0.0161519591987333 d.33
- 0.00149313380063333 d.34 >= -3.436093292291103
R35: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 + p.8 + p.9 + p.10
+ p.11 + p.12 + p.13 + p.14 + p.15 + p.16 + p.17 + p.18 + p.19 + p.20
+ p.21 + p.22 + p.23 + p.24 + p.25 + p.26 + p.27 + p.28 + p.29 + p.30
+ p.31 + p.32 + p.33 + p.34 - 0.3493687444813334 d.0
- 0.6933190509932001 d.1 - 0.6895640231907335 d.2
- 0.6871581575282001 d.3 - 0.6482650553478001 d.4
- 0.8041771883074668 d.6 - 0.4000584922472666 d.7
- 0.2264700941764001 d.8 - 0.2200796662640001 d.9
- 0.2181606654923334 d.10 - 0.0901142050008 d.11
- 0.0329781059324667 d.12 - 0.0314131209318667 d.13
- 0.00126196307626667 d.14 - 0.00341464076866667 d.15
- 9.6113666280000013e-04 d.16 - 0.0066009484072 d.18
- 0.1499836736734 d.19 - 0.197099502571 d.20 - 0.5431802002687334 d.21
- 0.3353417084036667 d.22 - 0.3340670693589999 d.23
- 0.0316106340604 d.25 - 0.1250241533722667 d.26
- 0.0539421278541333 d.27 - 0.0260550802236 d.28 - 0.0056710045686 d.29
- 0.0194544217895333 d.31 - 0.0191906290876667 d.32
- 0.0161519591987333 d.33 - 0.00298626760126667 d.34
- 0.00115707565146667 d.35 >= -3.435757234141937
R36: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 + p.8 + p.9 + p.10
+ p.11 + p.12 + p.13 + p.14 + p.15 + p.16 + p.17 + p.18 + p.19 + p.20
+ p.21 + p.22 + p.23 + p.24 + p.25 + p.26 + p.27 + p.28 + p.29 + p.30
+ p.31 + p.32 + p.33 + p.34 + p.35 - 0.3493687444813334 d.0
- 0.6933190509932001 d.1 - 0.6895640231907335 d.2
- 0.6871581575282001 d.3 - 0.6482650553478001 d.4
- 0.8041771883074668 d.6 - 0.4000584922472666 d.7
- 0.2264700941764001 d.8 - 0.2200796662640001 d.9
- 0.2181606654923334 d.10 - 0.0901142050008 d.11
- 0.0329781059324667 d.12 - 0.0314131209318667 d.13
- 0.00126196307626667 d.14 - 0.00341464076866667 d.15
- 9.6113666280000013e-04 d.16 - 0.0066009484072 d.18
- 0.1499836736734 d.19 - 0.197099502571 d.20 - 0.5431802002687334 d.21
- 0.3353417084036667 d.22 - 0.3340670693589999 d.23
- 0.0316106340604 d.25 - 0.1250241533722667 d.26
- 0.0539421278541333 d.27 - 0.0260550802236 d.28 - 0.0056710045686 d.29
- 0.0194544217895333 d.31 - 0.0191906290876667 d.32
- 0.0161519591987333 d.33 - 0.00298626760126667 d.34
- 0.00231415130293333 d.35 - 0.00146863107086667 d.36
>= -3.435445678722537
R37: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 + p.8 + p.9 + p.10
+ p.11 + p.12 + p.13 + p.14 + p.15 + p.16 + p.17 + p.18 + p.19 + p.20
+ p.21 + p.22 + p.23 + p.24 + p.25 + p.26 + p.27 + p.28 + p.29 + p.30
+ p.31 + p.32 + p.33 + p.34 + p.35 + p.36 - 0.3493687444813334 d.0
- 0.6933190509932001 d.1 - 0.6895640231907335 d.2
- 0.6871581575282001 d.3 - 0.6482650553478001 d.4
- 0.8041771883074668 d.6 - 0.4000584922472666 d.7
- 0.2264700941764001 d.8 - 0.2200796662640001 d.9
- 0.2181606654923334 d.10 - 0.0901142050008 d.11
- 0.0329781059324667 d.12 - 0.0314131209318667 d.13
- 0.00126196307626667 d.14 - 0.00341464076866667 d.15
- 9.6113666280000013e-04 d.16 - 0.0066009484072 d.18
- 0.1499836736734 d.19 - 0.197099502571 d.20 - 0.5431802002687334 d.21
- 0.3353417084036667 d.22 - 0.3340670693589999 d.23
- 0.0316106340604 d.25 - 0.1250241533722667 d.26
- 0.0539421278541333 d.27 - 0.0260550802236 d.28 - 0.0056710045686 d.29
- 0.0194544217895333 d.31 - 0.0191906290876667 d.32
- 0.0161519591987333 d.33 - 0.00298626760126667 d.34
- 0.00231415130293333 d.35 - 0.00293726214173333 d.36
- 0.00850652756526666 d.37 >= -3.428407782228138
R38: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 + p.8 + p.9 + p.10
+ p.11 + p.12 + p.13 + p.14 + p.15 + p.16 + p.17 + p.18 + p.19 + p.20
+ p.21 + p.22 + p.23 + p.24 + p.25 + p.26 + p.27 + p.28 + p.29 + p.30
+ p.31 + p.32 + p.33 + p.34 + p.35 + p.36 + p.37
- 0.3493687444813334 d.0 - 0.6933190509932001 d.1
- 0.6895640231907335 d.2 - 0.6871581575282001 d.3
- 0.6482650553478001 d.4 - 0.8041771883074668 d.6
- 0.4000584922472666 d.7 - 0.2264700941764001 d.8
- 0.2200796662640001 d.9 - 0.2181606654923334 d.10
- 0.0901142050008 d.11 - 0.0329781059324667 d.12
- 0.0314131209318667 d.13 - 0.00126196307626667 d.14
- 0.00341464076866667 d.15 - 9.6113666280000013e-04 d.16
- 0.0066009484072 d.18 - 0.1499836736734 d.19 - 0.197099502571 d.20
- 0.5431802002687334 d.21 - 0.3353417084036667 d.22
- 0.3340670693589999 d.23 - 0.0316106340604 d.25
- 0.1250241533722667 d.26 - 0.0539421278541333 d.27
- 0.0260550802236 d.28 - 0.0056710045686 d.29 - 0.0194544217895333 d.31
- 0.0191906290876667 d.32 - 0.0161519591987333 d.33
- 0.00298626760126667 d.34 - 0.00231415130293333 d.35
- 0.00293726214173333 d.36 - 0.0170130551305333 d.37
- 0.00892429600093333 d.38 >= -3.427990013792472
R39: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 + p.8 + p.9 + p.10
+ p.11 + p.12 + p.13 + p.14 + p.15 + p.16 + p.17 + p.18 + p.19 + p.20
+ p.21 + p.22 + p.23 + p.24 + p.25 + p.26 + p.27 + p.28 + p.29 + p.30
+ p.31 + p.32 + p.33 + p.34 + p.35 + p.36 + p.37 + p.38
- 0.3493687444813334 d.0 - 0.6933190509932001 d.1
- 0.6895640231907335 d.2 - 0.6871581575282001 d.3
- 0.6482650553478001 d.4 - 0.8041771883074668 d.6
- 0.4000584922472666 d.7 - 0.2264700941764001 d.8
- 0.2200796662640001 d.9 - 0.2181606654923334 d.10
- 0.0901142050008 d.11 - 0.0329781059324667 d.12
- 0.0314131209318667 d.13 - 0.00126196307626667 d.14
- 0.00341464076866667 d.15 - 9.6113666280000013e-04 d.16
- 0.0066009484072 d.18 - 0.1499836736734 d.19 - 0.197099502571 d.20
- 0.5431802002687334 d.21 - 0.3353417084036667 d.22
- 0.3340670693589999 d.23 - 0.0316106340604 d.25
- 0.1250241533722667 d.26 - 0.0539421278541333 d.27
- 0.0260550802236 d.28 - 0.0056710045686 d.29 - 0.0194544217895333 d.31
- 0.0191906290876667 d.32 - 0.0161519591987333 d.33
- 0.00298626760126667 d.34 - 0.00231415130293333 d.35
- 0.00293726214173333 d.36 - 0.0170130551305333 d.37
- 0.0178485920018667 d.38 - 0.0268945938693333 d.39
>= -3.406972119005106
R40: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 + p.8 + p.9 + p.10
+ p.11 + p.12 + p.13 + p.14 + p.15 + p.16 + p.17 + p.18 + p.19 + p.20
+ p.21 + p.22 + p.23 + p.24 + p.25 + p.26 + p.27 + p.28 + p.29 + p.30
+ p.31 + p.32 + p.33 + p.34 + p.35 + p.36 + p.37 + p.38 + p.39
- 0.3493687444813334 d.0 - 0.6933190509932001 d.1
- 0.6895640231907335 d.2 - 0.6871581575282001 d.3
- 0.6482650553478001 d.4 - 0.8041771883074668 d.6
- 0.4000584922472666 d.7 - 0.2264700941764001 d.8
- 0.2200796662640001 d.9 - 0.2181606654923334 d.10
- 0.0901142050008 d.11 - 0.0329781059324667 d.12
- 0.0314131209318667 d.13 - 0.00126196307626667 d.14
- 0.00341464076866667 d.15 - 9.6113666280000013e-04 d.16
- 0.0066009484072 d.18 - 0.1499836736734 d.19 - 0.197099502571 d.20
- 0.5431802002687334 d.21 - 0.3353417084036667 d.22
- 0.3340670693589999 d.23 - 0.0316106340604 d.25
- 0.1250241533722667 d.26 - 0.0539421278541333 d.27
- 0.0260550802236 d.28 - 0.0056710045686 d.29 - 0.0194544217895333 d.31
- 0.0191906290876667 d.32 - 0.0161519591987333 d.33
- 0.00298626760126667 d.34 - 0.00231415130293333 d.35
- 0.00293726214173333 d.36 - 0.0170130551305333 d.37
- 0.0178485920018667 d.38 - 0.0537891877386667 d.39
- 0.0254467165898667 d.40 >= -3.405524241725638
R41: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 + p.8 + p.9 + p.10
+ p.11 + p.12 + p.13 + p.14 + p.15 + p.16 + p.17 + p.18 + p.19 + p.20
+ p.21 + p.22 + p.23 + p.24 + p.25 + p.26 + p.27 + p.28 + p.29 + p.30
+ p.31 + p.32 + p.33 + p.34 + p.35 + p.36 + p.37 + p.38 + p.39 + p.40
- 0.3493687444813334 d.0 - 0.6933190509932001 d.1
- 0.6895640231907335 d.2 - 0.6871581575282001 d.3
- 0.6482650553478001 d.4 - 0.8041771883074668 d.6
- 0.4000584922472666 d.7 - 0.2264700941764001 d.8
- 0.2200796662640001 d.9 - 0.2181606654923334 d.10
- 0.0901142050008 d.11 - 0.0329781059324667 d.12
- 0.0314131209318667 d.13 - 0.00126196307626667 d.14
- 0.00341464076866667 d.15 - 9.6113666280000013e-04 d.16
- 0.0066009484072 d.18 - 0.1499836736734 d.19 - 0.197099502571 d.20
- 0.5431802002687334 d.21 - 0.3353417084036667 d.22
- 0.3340670693589999 d.23 - 0.0316106340604 d.25
- 0.1250241533722667 d.26 - 0.0539421278541333 d.27
- 0.0260550802236 d.28 - 0.0056710045686 d.29 - 0.0194544217895333 d.31
- 0.0191906290876667 d.32 - 0.0161519591987333 d.33
- 0.00298626760126667 d.34 - 0.00231415130293333 d.35
- 0.00293726214173333 d.36 - 0.0170130551305333 d.37
- 0.0178485920018667 d.38 - 0.0537891877386667 d.39
- 0.0508934331797333 d.40 - 0.0130157547751667 d.41
>= -3.393093279910939
R42: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 + p.8 + p.9 + p.10
+ p.11 + p.12 + p.13 + p.14 + p.15 + p.16 + p.17 + p.18 + p.19 + p.20
+ p.21 + p.22 + p.23 + p.24 + p.25 + p.26 + p.27 + p.28 + p.29 + p.30
+ p.31 + p.32 + p.33 + p.34 + p.35 + p.36 + p.37 + p.38 + p.39 + p.40
+ p.41 - 0.3493687444813334 d.0 - 0.6933190509932001 d.1
- 0.6895640231907335 d.2 - 0.6871581575282001 d.3
- 0.6482650553478001 d.4 - 0.8041771883074668 d.6
- 0.4000584922472666 d.7 - 0.2264700941764001 d.8
- 0.2200796662640001 d.9 - 0.2181606654923334 d.10
- 0.0901142050008 d.11 - 0.0329781059324667 d.12
- 0.0314131209318667 d.13 - 0.00126196307626667 d.14
- 0.00341464076866667 d.15 - 9.6113666280000013e-04 d.16
- 0.0066009484072 d.18 - 0.1499836736734 d.19 - 0.197099502571 d.20
- 0.5431802002687334 d.21 - 0.3353417084036667 d.22
- 0.3340670693589999 d.23 - 0.0316106340604 d.25
- 0.1250241533722667 d.26 - 0.0539421278541333 d.27
- 0.0260550802236 d.28 - 0.0056710045686 d.29 - 0.0194544217895333 d.31
- 0.0191906290876667 d.32 - 0.0161519591987333 d.33
- 0.00298626760126667 d.34 - 0.00231415130293333 d.35
- 0.00293726214173333 d.36 - 0.0170130551305333 d.37
- 0.0178485920018667 d.38 - 0.0537891877386667 d.39
- 0.0508934331797333 d.40 - 0.0260315095503333 d.41
- 0.0408624547154333 d.42 >= -3.359140450003139
R43: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 + p.8 + p.9 + p.10
+ p.11 + p.12 + p.13 + p.14 + p.15 + p.16 + p.17 + p.18 + p.19 + p.20
+ p.21 + p.22 + p.23 + p.24 + p.25 + p.26 + p.27 + p.28 + p.29 + p.30
+ p.31 + p.32 + p.33 + p.34 + p.35 + p.36 + p.37 + p.38 + p.39 + p.40
+ p.41 + p.42 - 0.3493687444813334 d.0 - 0.6933190509932001 d.1
- 0.6895640231907335 d.2 - 0.6871581575282001 d.3
- 0.6482650553478001 d.4 - 0.8041771883074668 d.6
- 0.4000584922472666 d.7 - 0.2264700941764001 d.8
- 0.2200796662640001 d.9 - 0.2181606654923334 d.10
- 0.0901142050008 d.11 - 0.0329781059324667 d.12
- 0.0314131209318667 d.13 - 0.00126196307626667 d.14
- 0.00341464076866667 d.15 - 9.6113666280000013e-04 d.16
- 0.0066009484072 d.18 - 0.1499836736734 d.19 - 0.197099502571 d.20
- 0.5431802002687334 d.21 - 0.3353417084036667 d.22
- 0.3340670693589999 d.23 - 0.0316106340604 d.25
- 0.1250241533722667 d.26 - 0.0539421278541333 d.27
- 0.0260550802236 d.28 - 0.0056710045686 d.29 - 0.0194544217895333 d.31
- 0.0191906290876667 d.32 - 0.0161519591987333 d.33
- 0.00298626760126667 d.34 - 0.00231415130293333 d.35
- 0.00293726214173333 d.36 - 0.0170130551305333 d.37
- 0.0178485920018667 d.38 - 0.0537891877386667 d.39
- 0.0508934331797333 d.40 - 0.0260315095503333 d.41
- 0.0817249094308667 d.42 - 0.0404952037420667 d.43
>= -3.358247457026673
R44: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 + p.8 + p.9 + p.10
+ p.11 + p.12 + p.13 + p.14 + p.15 + p.16 + p.17 + p.18 + p.19 + p.20
+ p.21 + p.22 + p.23 + p.24 + p.25 + p.26 + p.27 + p.28 + p.29 + p.30
+ p.31 + p.32 + p.33 + p.34 + p.35 + p.36 + p.37 + p.38 + p.39 + p.40
+ p.41 + p.42 + p.43 - 0.3493687444813334 d.0 - 0.6933190509932001 d.1
- 0.6895640231907335 d.2 - 0.6871581575282001 d.3
- 0.6482650553478001 d.4 - 0.8041771883074668 d.6
- 0.4000584922472666 d.7 - 0.2264700941764001 d.8
- 0.2200796662640001 d.9 - 0.2181606654923334 d.10
- 0.0901142050008 d.11 - 0.0329781059324667 d.12
- 0.0314131209318667 d.13 - 0.00126196307626667 d.14
- 0.00341464076866667 d.15 - 9.6113666280000013e-04 d.16
- 0.0066009484072 d.18 - 0.1499836736734 d.19 - 0.197099502571 d.20
- 0.5431802002687334 d.21 - 0.3353417084036667 d.22
- 0.3340670693589999 d.23 - 0.0316106340604 d.25
- 0.1250241533722667 d.26 - 0.0539421278541333 d.27
- 0.0260550802236 d.28 - 0.0056710045686 d.29 - 0.0194544217895333 d.31
- 0.0191906290876667 d.32 - 0.0161519591987333 d.33
- 0.00298626760126667 d.34 - 0.00231415130293333 d.35
- 0.00293726214173333 d.36 - 0.0170130551305333 d.37
- 0.0178485920018667 d.38 - 0.0537891877386667 d.39
- 0.0508934331797333 d.40 - 0.0260315095503333 d.41
- 0.0817249094308667 d.42 - 0.0809904074841333 d.43
- 0.042099127992 d.44 >= -3.356204347753939
R45: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 + p.8 + p.9 + p.10
+ p.11 + p.12 + p.13 + p.14 + p.15 + p.16 + p.17 + p.18 + p.19 + p.20
+ p.21 + p.22 + p.23 + p.24 + p.25 + p.26 + p.27 + p.28 + p.29 + p.30
+ p.31 + p.32 + p.33 + p.34 + p.35 + p.36 + p.37 + p.38 + p.39 + p.40
+ p.41 + p.42 + p.43 + p.44 - 0.3493687444813334 d.0
- 0.6933190509932001 d.1 - 0.6895640231907335 d.2
- 0.6871581575282001 d.3 - 0.6482650553478001 d.4
- 0.8041771883074668 d.6 - 0.4000584922472666 d.7
- 0.2264700941764001 d.8 - 0.2200796662640001 d.9
- 0.2181606654923334 d.10 - 0.0901142050008 d.11
- 0.0329781059324667 d.12 - 0.0314131209318667 d.13
- 0.00126196307626667 d.14 - 0.00341464076866667 d.15
- 9.6113666280000013e-04 d.16 - 0.0066009484072 d.18
- 0.1499836736734 d.19 - 0.197099502571 d.20 - 0.5431802002687334 d.21
- 0.3353417084036667 d.22 - 0.3340670693589999 d.23
- 0.0316106340604 d.25 - 0.1250241533722667 d.26
- 0.0539421278541333 d.27 - 0.0260550802236 d.28 - 0.0056710045686 d.29
- 0.0194544217895333 d.31 - 0.0191906290876667 d.32
- 0.0161519591987333 d.33 - 0.00298626760126667 d.34
- 0.00231415130293333 d.35 - 0.00293726214173333 d.36
- 0.0170130551305333 d.37 - 0.0178485920018667 d.38
- 0.0537891877386667 d.39 - 0.0508934331797333 d.40
- 0.0260315095503333 d.41 - 0.0817249094308667 d.42
- 0.0809904074841333 d.43 - 0.084198255984 d.44
- 0.0594454036774667 d.45 >= -3.338858072068472
R46: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 + p.8 + p.9 + p.10
+ p.11 + p.12 + p.13 + p.14 + p.15 + p.16 + p.17 + p.18 + p.19 + p.20
+ p.21 + p.22 + p.23 + p.24 + p.25 + p.26 + p.27 + p.28 + p.29 + p.30
+ p.31 + p.32 + p.33 + p.34 + p.35 + p.36 + p.37 + p.38 + p.39 + p.40
+ p.41 + p.42 + p.43 + p.44 + p.45 - 0.3493687444813334 d.0
- 0.6933190509932001 d.1 - 0.6895640231907335 d.2
- 0.6871581575282001 d.3 - 0.6482650553478001 d.4
- 0.8041771883074668 d.6 - 0.4000584922472666 d.7
- 0.2264700941764001 d.8 - 0.2200796662640001 d.9
- 0.2181606654923334 d.10 - 0.0901142050008 d.11
- 0.0329781059324667 d.12 - 0.0314131209318667 d.13
- 0.00126196307626667 d.14 - 0.00341464076866667 d.15
- 9.6113666280000013e-04 d.16 - 0.0066009484072 d.18
- 0.1499836736734 d.19 - 0.197099502571 d.20 - 0.5431802002687334 d.21
- 0.3353417084036667 d.22 - 0.3340670693589999 d.23
- 0.0316106340604 d.25 - 0.1250241533722667 d.26
- 0.0539421278541333 d.27 - 0.0260550802236 d.28 - 0.0056710045686 d.29
- 0.0194544217895333 d.31 - 0.0191906290876667 d.32
- 0.0161519591987333 d.33 - 0.00298626760126667 d.34
- 0.00231415130293333 d.35 - 0.00293726214173333 d.36
- 0.0170130551305333 d.37 - 0.0178485920018667 d.38
- 0.0537891877386667 d.39 - 0.0508934331797333 d.40
- 0.0260315095503333 d.41 - 0.0817249094308667 d.42
- 0.0809904074841333 d.43 - 0.084198255984 d.44
- 0.1188908073549333 d.45 - 0.0640326957973333 d.46
>= -3.334270779948605
R47: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 + p.8 + p.9 + p.10
+ p.11 + p.12 + p.13 + p.14 + p.15 + p.16 + p.17 + p.18 + p.19 + p.20
+ p.21 + p.22 + p.23 + p.24 + p.25 + p.26 + p.27 + p.28 + p.29 + p.30
+ p.31 + p.32 + p.33 + p.34 + p.35 + p.36 + p.37 + p.38 + p.39 + p.40
+ p.41 + p.42 + p.43 + p.44 + p.45 + p.46 - 0.3493687444813334 d.0
- 0.6933190509932001 d.1 - 0.6895640231907335 d.2
- 0.6871581575282001 d.3 - 0.6482650553478001 d.4
- 0.8041771883074668 d.6 - 0.4000584922472666 d.7
- 0.2264700941764001 d.8 - 0.2200796662640001 d.9
- 0.2181606654923334 d.10 - 0.0901142050008 d.11
- 0.0329781059324667 d.12 - 0.0314131209318667 d.13
- 0.00126196307626667 d.14 - 0.00341464076866667 d.15
- 9.6113666280000013e-04 d.16 - 0.0066009484072 d.18
- 0.1499836736734 d.19 - 0.197099502571 d.20 - 0.5431802002687334 d.21
- 0.3353417084036667 d.22 - 0.3340670693589999 d.23
- 0.0316106340604 d.25 - 0.1250241533722667 d.26
- 0.0539421278541333 d.27 - 0.0260550802236 d.28 - 0.0056710045686 d.29
- 0.0194544217895333 d.31 - 0.0191906290876667 d.32
- 0.0161519591987333 d.33 - 0.00298626760126667 d.34
- 0.00231415130293333 d.35 - 0.00293726214173333 d.36
- 0.0170130551305333 d.37 - 0.0178485920018667 d.38
- 0.0537891877386667 d.39 - 0.0508934331797333 d.40
- 0.0260315095503333 d.41 - 0.0817249094308667 d.42
- 0.0809904074841333 d.43 - 0.084198255984 d.44
- 0.1188908073549333 d.45 - 0.1280653915946667 d.46
- 0.0660650553517667 d.47 >= -3.332238420394171
R48: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 + p.8 + p.9 + p.10
+ p.11 + p.12 + p.13 + p.14 + p.15 + p.16 + p.17 + p.18 + p.19 + p.20
+ p.21 + p.22 + p.23 + p.24 + p.25 + p.26 + p.27 + p.28 + p.29 + p.30
+ p.31 + p.32 + p.33 + p.34 + p.35 + p.36 + p.37 + p.38 + p.39 + p.40
+ p.41 + p.42 + p.43 + p.44 + p.45 + p.46 + p.47
- 0.3493687444813334 d.0 - 0.6933190509932001 d.1
- 0.6895640231907335 d.2 - 0.6871581575282001 d.3
- 0.6482650553478001 d.4 - 0.8041771883074668 d.6
- 0.4000584922472666 d.7 - 0.2264700941764001 d.8
- 0.2200796662640001 d.9 - 0.2181606654923334 d.10
- 0.0901142050008 d.11 - 0.0329781059324667 d.12
- 0.0314131209318667 d.13 - 0.00126196307626667 d.14
- 0.00341464076866667 d.15 - 9.6113666280000013e-04 d.16
- 0.0066009484072 d.18 - 0.1499836736734 d.19 - 0.197099502571 d.20
- 0.5431802002687334 d.21 - 0.3353417084036667 d.22
- 0.3340670693589999 d.23 - 0.0316106340604 d.25
- 0.1250241533722667 d.26 - 0.0539421278541333 d.27
- 0.0260550802236 d.28 - 0.0056710045686 d.29 - 0.0194544217895333 d.31
- 0.0191906290876667 d.32 - 0.0161519591987333 d.33
- 0.00298626760126667 d.34 - 0.00231415130293333 d.35
- 0.00293726214173333 d.36 - 0.0170130551305333 d.37
- 0.0178485920018667 d.38 - 0.0537891877386667 d.39
- 0.0508934331797333 d.40 - 0.0260315095503333 d.41
- 0.0817249094308667 d.42 - 0.0809904074841333 d.43
- 0.084198255984 d.44 - 0.1188908073549333 d.45
- 0.1280653915946667 d.46 - 0.1321301107035333 d.47
- 0.0682612911512667 d.48 >= -3.329904426643971
R49: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 + p.8 + p.9 + p.10
+ p.11 + p.12 + p.13 + p.14 + p.15 + p.16 + p.17 + p.18 + p.19 + p.20
+ p.21 + p.22 + p.23 + p.24 + p.25 + p.26 + p.27 + p.28 + p.29 + p.30
+ p.31 + p.32 + p.33 + p.34 + p.35 + p.36 + p.37 + p.38 + p.39 + p.40
+ p.41 + p.42 + p.43 + p.44 + p.45 + p.46 + p.47 + p.48
- 0.3493687444813334 d.0 - 0.6933190509932001 d.1
- 0.6895640231907335 d.2 - 0.6871581575282001 d.3
- 0.6482650553478001 d.4 - 0.8041771883074668 d.6
- 0.4000584922472666 d.7 - 0.2264700941764001 d.8
- 0.2200796662640001 d.9 - 0.2181606654923334 d.10
- 0.0901142050008 d.11 - 0.0329781059324667 d.12
- 0.0314131209318667 d.13 - 0.00126196307626667 d.14
- 0.00341464076866667 d.15 - 9.6113666280000013e-04 d.16
- 0.0066009484072 d.18 - 0.1499836736734 d.19 - 0.197099502571 d.20
- 0.5431802002687334 d.21 - 0.3353417084036667 d.22
- 0.3340670693589999 d.23 - 0.0316106340604 d.25
- 0.1250241533722667 d.26 - 0.0539421278541333 d.27
- 0.0260550802236 d.28 - 0.0056710045686 d.29 - 0.0194544217895333 d.31
- 0.0191906290876667 d.32 - 0.0161519591987333 d.33
- 0.00298626760126667 d.34 - 0.00231415130293333 d.35
- 0.00293726214173333 d.36 - 0.0170130551305333 d.37
- 0.0178485920018667 d.38 - 0.0537891877386667 d.39
- 0.0508934331797333 d.40 - 0.0260315095503333 d.41
- 0.0817249094308667 d.42 - 0.0809904074841333 d.43
- 0.084198255984 d.44 - 0.1188908073549333 d.45
- 0.1280653915946667 d.46 - 0.1321301107035333 d.47
- 0.1365225823025333 d.48 - 0.0685132363794 d.49 >= -3.329652481415838
R50: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 + p.8 + p.9 + p.10
+ p.11 + p.12 + p.13 + p.14 + p.15 + p.16 + p.17 + p.18 + p.19 + p.20
+ p.21 + p.22 + p.23 + p.24 + p.25 + p.26 + p.27 + p.28 + p.29 + p.30
+ p.31 + p.32 + p.33 + p.34 + p.35 + p.36 + p.37 + p.38 + p.39 + p.40
+ p.41 + p.42 + p.43 + p.44 + p.45 + p.46 + p.47 + p.48 + p.49
- 0.3493687444813334 d.0 - 0.6933190509932001 d.1
- 0.6895640231907335 d.2 - 0.6871581575282001 d.3
- 0.6482650553478001 d.4 - 0.8041771883074668 d.6
- 0.4000584922472666 d.7 - 0.2264700941764001 d.8
- 0.2200796662640001 d.9 - 0.2181606654923334 d.10
- 0.0901142050008 d.11 - 0.0329781059324667 d.12
- 0.0314131209318667 d.13 - 0.00126196307626667 d.14
- 0.00341464076866667 d.15 - 9.6113666280000013e-04 d.16
- 0.0066009484072 d.18 - 0.1499836736734 d.19 - 0.197099502571 d.20
- 0.5431802002687334 d.21 - 0.3353417084036667 d.22
- 0.3340670693589999 d.23 - 0.0316106340604 d.25
- 0.1250241533722667 d.26 - 0.0539421278541333 d.27
- 0.0260550802236 d.28 - 0.0056710045686 d.29 - 0.0194544217895333 d.31
- 0.0191906290876667 d.32 - 0.0161519591987333 d.33
- 0.00298626760126667 d.34 - 0.00231415130293333 d.35
- 0.00293726214173333 d.36 - 0.0170130551305333 d.37
- 0.0178485920018667 d.38 - 0.0537891877386667 d.39
- 0.0508934331797333 d.40 - 0.0260315095503333 d.41
- 0.0817249094308667 d.42 - 0.0809904074841333 d.43
- 0.084198255984 d.44 - 0.1188908073549333 d.45
- 0.1280653915946667 d.46 - 0.1321301107035333 d.47
- 0.1365225823025333 d.48 - 0.1370264727587999 d.49
- 0.0958744798697333 d.50 >= -3.302291237925505
R51: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 + p.8 + p.9 + p.10
+ p.11 + p.12 + p.13 + p.14 + p.15 + p.16 + p.17 + p.18 + p.19 + p.20
+ p.21 + p.22 + p.23 + p.24 + p.25 + p.26 + p.27 + p.28 + p.29 + p.30
+ p.31 + p.32 + p.33 + p.34 + p.35 + p.36 + p.37 + p.38 + p.39 + p.40
+ p.41 + p.42 + p.43 + p.44 + p.45 + p.46 + p.47 + p.48 + p.49 + p.50
- 0.3493687444813334 d.0 - 0.6933190509932001 d.1
- 0.6895640231907335 d.2 - 0.6871581575282001 d.3
- 0.6482650553478001 d.4 - 0.8041771883074668 d.6
- 0.4000584922472666 d.7 - 0.2264700941764001 d.8
- 0.2200796662640001 d.9 - 0.2181606654923334 d.10
- 0.0901142050008 d.11 - 0.0329781059324667 d.12
- 0.0314131209318667 d.13 - 0.00126196307626667 d.14
- 0.00341464076866667 d.15 - 9.6113666280000013e-04 d.16
- 0.0066009484072 d.18 - 0.1499836736734 d.19 - 0.197099502571 d.20
- 0.5431802002687334 d.21 - 0.3353417084036667 d.22
- 0.3340670693589999 d.23 - 0.0316106340604 d.25
- 0.1250241533722667 d.26 - 0.0539421278541333 d.27
- 0.0260550802236 d.28 - 0.0056710045686 d.29 - 0.0194544217895333 d.31
- 0.0191906290876667 d.32 - 0.0161519591987333 d.33
- 0.00298626760126667 d.34 - 0.00231415130293333 d.35
- 0.00293726214173333 d.36 - 0.0170130551305333 d.37
- 0.0178485920018667 d.38 - 0.0537891877386667 d.39
- 0.0508934331797333 d.40 - 0.0260315095503333 d.41
- 0.0817249094308667 d.42 - 0.0809904074841333 d.43
- 0.084198255984 d.44 - 0.1188908073549333 d.45
- 0.1280653915946667 d.46 - 0.1321301107035333 d.47
- 0.1365225823025333 d.48 - 0.1370264727587999 d.49
- 0.1917489597394666 d.50 >= -3.16567627846764
R52: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 + p.8 + p.9 + p.10
+ p.11 + p.12 + p.13 + p.14 + p.15 + p.16 + p.17 + p.18 + p.19 + p.20
+ p.21 + p.22 + p.23 + p.24 + p.25 + p.26 + p.27 + p.28 + p.29 + p.30
+ p.31 + p.32 + p.33 + p.34 + p.35 + p.36 + p.37 + p.38 + p.39 + p.40
+ p.41 + p.42 + p.43 + p.44 + p.45 + p.46 + p.47 + p.48 + p.49 + p.50
+ p.51 - 0.3493687444813334 d.0 - 0.6933190509932001 d.1
- 0.6895640231907335 d.2 - 0.6871581575282001 d.3
- 0.6482650553478001 d.4 - 0.8041771883074668 d.6
- 0.4000584922472666 d.7 - 0.2264700941764001 d.8
- 0.2200796662640001 d.9 - 0.2181606654923334 d.10
- 0.0901142050008 d.11 - 0.0329781059324667 d.12
- 0.0314131209318667 d.13 - 0.00126196307626667 d.14
- 0.00341464076866667 d.15 - 9.6113666280000013e-04 d.16
- 0.0066009484072 d.18 - 0.1499836736734 d.19 - 0.197099502571 d.20
- 0.5431802002687334 d.21 - 0.3353417084036667 d.22
- 0.3340670693589999 d.23 - 0.0316106340604 d.25
- 0.1250241533722667 d.26 - 0.0539421278541333 d.27
- 0.0260550802236 d.28 - 0.0056710045686 d.29 - 0.0194544217895333 d.31
- 0.0191906290876667 d.32 - 0.0161519591987333 d.33
- 0.00298626760126667 d.34 - 0.00231415130293333 d.35
- 0.00293726214173333 d.36 - 0.0170130551305333 d.37
- 0.0178485920018667 d.38 - 0.0537891877386667 d.39
- 0.0508934331797333 d.40 - 0.0260315095503333 d.41
- 0.0817249094308667 d.42 - 0.0809904074841333 d.43
- 0.084198255984 d.44 - 0.1188908073549333 d.45
- 0.1280653915946667 d.46 - 0.1321301107035333 d.47
- 0.1365225823025333 d.48 - 0.1370264727587999 d.49
- 0.1917489597394666 d.50 - 0.1034294605979666 d.52
>= -3.062246817869672
R53: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 + p.8 + p.9 + p.10
+ p.11 + p.12 + p.13 + p.14 + p.15 + p.16 + p.17 + p.18 + p.19 + p.20
+ p.21 + p.22 + p.23 + p.24 + p.25 + p.26 + p.27 + p.28 + p.29 + p.30
+ p.31 + p.32 + p.33 + p.34 + p.35 + p.36 + p.37 + p.38 + p.39 + p.40
+ p.41 + p.42 + p.43 + p.44 + p.45 + p.46 + p.47 + p.48 + p.49 + p.50
+ p.51 + p.52 - 0.3493687444813334 d.0 - 0.6933190509932001 d.1
- 0.6895640231907335 d.2 - 0.6871581575282001 d.3
- 0.6482650553478001 d.4 - 0.8041771883074668 d.6
- 0.4000584922472666 d.7 - 0.2264700941764001 d.8
- 0.2200796662640001 d.9 - 0.2181606654923334 d.10
- 0.0901142050008 d.11 - 0.0329781059324667 d.12
- 0.0314131209318667 d.13 - 0.00126196307626667 d.14
- 0.00341464076866667 d.15 - 9.6113666280000013e-04 d.16
- 0.0066009484072 d.18 - 0.1499836736734 d.19 - 0.197099502571 d.20
- 0.5431802002687334 d.21 - 0.3353417084036667 d.22
- 0.3340670693589999 d.23 - 0.0316106340604 d.25
- 0.1250241533722667 d.26 - 0.0539421278541333 d.27
- 0.0260550802236 d.28 - 0.0056710045686 d.29 - 0.0194544217895333 d.31
- 0.0191906290876667 d.32 - 0.0161519591987333 d.33
- 0.00298626760126667 d.34 - 0.00231415130293333 d.35
- 0.00293726214173333 d.36 - 0.0170130551305333 d.37
- 0.0178485920018667 d.38 - 0.0537891877386667 d.39
- 0.0508934331797333 d.40 - 0.0260315095503333 d.41
- 0.0817249094308667 d.42 - 0.0809904074841333 d.43
- 0.084198255984 d.44 - 0.1188908073549333 d.45
- 0.1280653915946667 d.46 - 0.1321301107035333 d.47
- 0.1365225823025333 d.48 - 0.1370264727587999 d.49
- 0.1917489597394666 d.50 - 0.2068589211959333 d.52
- 0.0701081300374667 d.53 >= -2.660046956882205
R54: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 + p.8 + p.9 + p.10
+ p.11 + p.12 + p.13 + p.14 + p.15 + p.16 + p.17 + p.18 + p.19 + p.20
+ p.21 + p.22 + p.23 + p.24 + p.25 + p.26 + p.27 + p.28 + p.29 + p.30
+ p.31 + p.32 + p.33 + p.34 + p.35 + p.36 + p.37 + p.38 + p.39 + p.40
+ p.41 + p.42 + p.43 + p.44 + p.45 + p.46 + p.47 + p.48 + p.49 + p.50
+ p.51 + p.52 + p.53 - 0.3493687444813334 d.0 - 0.6933190509932001 d.1
- 0.6895640231907335 d.2 - 0.6871581575282001 d.3
- 0.6482650553478001 d.4 - 0.8041771883074668 d.6
- 0.4000584922472666 d.7 - 0.2264700941764001 d.8
- 0.2200796662640001 d.9 - 0.2181606654923334 d.10
- 0.0901142050008 d.11 - 0.0329781059324667 d.12
- 0.0314131209318667 d.13 - 0.00126196307626667 d.14
- 0.00341464076866667 d.15 - 9.6113666280000013e-04 d.16
- 0.0066009484072 d.18 - 0.1499836736734 d.19 - 0.197099502571 d.20
- 0.5431802002687334 d.21 - 0.3353417084036667 d.22
- 0.3340670693589999 d.23 - 0.0316106340604 d.25
- 0.1250241533722667 d.26 - 0.0539421278541333 d.27
- 0.0260550802236 d.28 - 0.0056710045686 d.29 - 0.0194544217895333 d.31
- 0.0191906290876667 d.32 - 0.0161519591987333 d.33
- 0.00298626760126667 d.34 - 0.00231415130293333 d.35
- 0.00293726214173333 d.36 - 0.0170130551305333 d.37
- 0.0178485920018667 d.38 - 0.0537891877386667 d.39
- 0.0508934331797333 d.40 - 0.0260315095503333 d.41
- 0.0817249094308667 d.42 - 0.0809904074841333 d.43
- 0.084198255984 d.44 - 0.1188908073549333 d.45
- 0.1280653915946667 d.46 - 0.1321301107035333 d.47
- 0.1365225823025333 d.48 - 0.1370264727587999 d.49
- 0.1917489597394666 d.50 - 0.2068589211959333 d.52
- 0.1402162600749333 d.53 - 0.00118008709083333 d.54
>= -2.591118913935572
R55: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 + p.8 + p.9 + p.10
+ p.11 + p.12 + p.13 + p.14 + p.15 + p.16 + p.17 + p.18 + p.19 + p.20
+ p.21 + p.22 + p.23 + p.24 + p.25 + p.26 + p.27 + p.28 + p.29 + p.30
+ p.31 + p.32 + p.33 + p.34 + p.35 + p.36 + p.37 + p.38 + p.39 + p.40
+ p.41 + p.42 + p.43 + p.44 + p.45 + p.46 + p.47 + p.48 + p.49 + p.50
+ p.51 + p.52 + p.53 + p.54 - 0.3493687444813334 d.0
- 0.6933190509932001 d.1 - 0.6895640231907335 d.2
- 0.6871581575282001 d.3 - 0.6482650553478001 d.4
- 0.8041771883074668 d.6 - 0.4000584922472666 d.7
- 0.2264700941764001 d.8 - 0.2200796662640001 d.9
- 0.2181606654923334 d.10 - 0.0901142050008 d.11
- 0.0329781059324667 d.12 - 0.0314131209318667 d.13
- 0.00126196307626667 d.14 - 0.00341464076866667 d.15
- 9.6113666280000013e-04 d.16 - 0.0066009484072 d.18
- 0.1499836736734 d.19 - 0.197099502571 d.20 - 0.5431802002687334 d.21
- 0.3353417084036667 d.22 - 0.3340670693589999 d.23
- 0.0316106340604 d.25 - 0.1250241533722667 d.26
- 0.0539421278541333 d.27 - 0.0260550802236 d.28 - 0.0056710045686 d.29
- 0.0194544217895333 d.31 - 0.0191906290876667 d.32
- 0.0161519591987333 d.33 - 0.00298626760126667 d.34
- 0.00231415130293333 d.35 - 0.00293726214173333 d.36
- 0.0170130551305333 d.37 - 0.0178485920018667 d.38
- 0.0537891877386667 d.39 - 0.0508934331797333 d.40
- 0.0260315095503333 d.41 - 0.0817249094308667 d.42
- 0.0809904074841333 d.43 - 0.084198255984 d.44
- 0.1188908073549333 d.45 - 0.1280653915946667 d.46
- 0.1321301107035333 d.47 - 0.1365225823025333 d.48
- 0.1370264727587999 d.49 - 0.1917489597394666 d.50
- 0.2068589211959333 d.52 - 0.1402162600749333 d.53
- 0.00236017418166667 d.54 >= -2.589938826844739
R56: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 + p.8 + p.9 + p.10
+ p.11 + p.12 + p.13 + p.14 + p.15 + p.16 + p.17 + p.18 + p.19 + p.20
+ p.21 + p.22 + p.23 + p.24 + p.25 + p.26 + p.27 + p.28 + p.29 + p.30
+ p.31 + p.32 + p.33 + p.34 + p.35 + p.36 + p.37 + p.38 + p.39 + p.40
+ p.41 + p.42 + p.43 + p.44 + p.45 + p.46 + p.47 + p.48 + p.49 + p.50
+ p.51 + p.52 + p.53 + p.54 + p.55 - 0.3493687444813334 d.0
- 0.6933190509932001 d.1 - 0.6895640231907335 d.2
- 0.6871581575282001 d.3 - 0.6482650553478001 d.4
- 0.8041771883074668 d.6 - 0.4000584922472666 d.7
- 0.2264700941764001 d.8 - 0.2200796662640001 d.9
- 0.2181606654923334 d.10 - 0.0901142050008 d.11
- 0.0329781059324667 d.12 - 0.0314131209318667 d.13
- 0.00126196307626667 d.14 - 0.00341464076866667 d.15
- 9.6113666280000013e-04 d.16 - 0.0066009484072 d.18
- 0.1499836736734 d.19 - 0.197099502571 d.20 - 0.5431802002687334 d.21
- 0.3353417084036667 d.22 - 0.3340670693589999 d.23
- 0.0316106340604 d.25 - 0.1250241533722667 d.26
- 0.0539421278541333 d.27 - 0.0260550802236 d.28 - 0.0056710045686 d.29
- 0.0194544217895333 d.31 - 0.0191906290876667 d.32
- 0.0161519591987333 d.33 - 0.00298626760126667 d.34
- 0.00231415130293333 d.35 - 0.00293726214173333 d.36
- 0.0170130551305333 d.37 - 0.0178485920018667 d.38
- 0.0537891877386667 d.39 - 0.0508934331797333 d.40
- 0.0260315095503333 d.41 - 0.0817249094308667 d.42
- 0.0809904074841333 d.43 - 0.084198255984 d.44
- 0.1188908073549333 d.45 - 0.1280653915946667 d.46
- 0.1321301107035333 d.47 - 0.1365225823025333 d.48
- 0.1370264727587999 d.49 - 0.1917489597394666 d.50
- 0.2068589211959333 d.52 - 0.1402162600749333 d.53
- 0.00236017418166667 d.54 - 9.7952924439999984e-04 d.56
>= -2.588959297600338
R57: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 + p.8 + p.9 + p.10
+ p.11 + p.12 + p.13 + p.14 + p.15 + p.16 + p.17 + p.18 + p.19 + p.20
+ p.21 + p.22 + p.23 + p.24 + p.25 + p.26 + p.27 + p.28 + p.29 + p.30
+ p.31 + p.32 + p.33 + p.34 + p.35 + p.36 + p.37 + p.38 + p.39 + p.40
+ p.41 + p.42 + p.43 + p.44 + p.45 + p.46 + p.47 + p.48 + p.49 + p.50
+ p.51 + p.52 + p.53 + p.54 + p.55 + p.56 - 0.3493687444813334 d.0
- 0.6933190509932001 d.1 - 0.6895640231907335 d.2
- 0.6871581575282001 d.3 - 0.6482650553478001 d.4
- 0.8041771883074668 d.6 - 0.4000584922472666 d.7
- 0.2264700941764001 d.8 - 0.2200796662640001 d.9
- 0.2181606654923334 d.10 - 0.0901142050008 d.11
- 0.0329781059324667 d.12 - 0.0314131209318667 d.13
- 0.00126196307626667 d.14 - 0.00341464076866667 d.15
- 9.6113666280000013e-04 d.16 - 0.0066009484072 d.18
- 0.1499836736734 d.19 - 0.197099502571 d.20 - 0.5431802002687334 d.21
- 0.3353417084036667 d.22 - 0.3340670693589999 d.23
- 0.0316106340604 d.25 - 0.1250241533722667 d.26
- 0.0539421278541333 d.27 - 0.0260550802236 d.28 - 0.0056710045686 d.29
- 0.0194544217895333 d.31 - 0.0191906290876667 d.32
- 0.0161519591987333 d.33 - 0.00298626760126667 d.34
- 0.00231415130293333 d.35 - 0.00293726214173333 d.36
- 0.0170130551305333 d.37 - 0.0178485920018667 d.38
- 0.0537891877386667 d.39 - 0.0508934331797333 d.40
- 0.0260315095503333 d.41 - 0.0817249094308667 d.42
- 0.0809904074841333 d.43 - 0.084198255984 d.44
- 0.1188908073549333 d.45 - 0.1280653915946667 d.46
- 0.1321301107035333 d.47 - 0.1365225823025333 d.48
- 0.1370264727587999 d.49 - 0.1917489597394666 d.50
- 0.2068589211959333 d.52 - 0.1402162600749333 d.53
- 0.00236017418166667 d.54 - 0.0019590584888 d.56 - 0.0028765127703 d.57
>= -2.587062314074439
R58: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 + p.8 + p.9 + p.10
+ p.11 + p.12 + p.13 + p.14 + p.15 + p.16 + p.17 + p.18 + p.19 + p.20
+ p.21 + p.22 + p.23 + p.24 + p.25 + p.26 + p.27 + p.28 + p.29 + p.30
+ p.31 + p.32 + p.33 + p.34 + p.35 + p.36 + p.37 + p.38 + p.39 + p.40
+ p.41 + p.42 + p.43 + p.44 + p.45 + p.46 + p.47 + p.48 + p.49 + p.50
+ p.51 + p.52 + p.53 + p.54 + p.55 + p.56 + p.57
- 0.3493687444813334 d.0 - 0.6933190509932001 d.1
- 0.6895640231907335 d.2 - 0.6871581575282001 d.3
- 0.6482650553478001 d.4 - 0.8041771883074668 d.6
- 0.4000584922472666 d.7 - 0.2264700941764001 d.8
- 0.2200796662640001 d.9 - 0.2181606654923334 d.10
- 0.0901142050008 d.11 - 0.0329781059324667 d.12
- 0.0314131209318667 d.13 - 0.00126196307626667 d.14
- 0.00341464076866667 d.15 - 9.6113666280000013e-04 d.16
- 0.0066009484072 d.18 - 0.1499836736734 d.19 - 0.197099502571 d.20
- 0.5431802002687334 d.21 - 0.3353417084036667 d.22
- 0.3340670693589999 d.23 - 0.0316106340604 d.25
- 0.1250241533722667 d.26 - 0.0539421278541333 d.27
- 0.0260550802236 d.28 - 0.0056710045686 d.29 - 0.0194544217895333 d.31
- 0.0191906290876667 d.32 - 0.0161519591987333 d.33
- 0.00298626760126667 d.34 - 0.00231415130293333 d.35
- 0.00293726214173333 d.36 - 0.0170130551305333 d.37
- 0.0178485920018667 d.38 - 0.0537891877386667 d.39
- 0.0508934331797333 d.40 - 0.0260315095503333 d.41
- 0.0817249094308667 d.42 - 0.0809904074841333 d.43
- 0.084198255984 d.44 - 0.1188908073549333 d.45
- 0.1280653915946667 d.46 - 0.1321301107035333 d.47
- 0.1365225823025333 d.48 - 0.1370264727587999 d.49
- 0.1917489597394666 d.50 - 0.2068589211959333 d.52
- 0.1402162600749333 d.53 - 0.00236017418166667 d.54
- 0.0019590584888 d.56 - 0.0057530255406 d.57 - 0.0804143137176667 d.58
>= -2.25487433275654
R59: p.0 + p.1 + p.2 + p.3 + p.4 + p.5 + p.6 + p.7 + p.8 + p.9 + p.10