Project

General

Profile

Revision 6c3ea955

View differences:

regression_tests/CMakeLists.txt
5 5
set(CMAKE_MODULE_PATH ${PROJECT_SOURCE_DIR}/modules)
6 6
include(./modules/Lustre_compile.cmake)
7 7

  
8
file(COPY ${PROJECT_SOURCE_DIR}/modules/read_value.c  DESTINATION  ${CMAKE_BINARY_DIR}/modules)
9
add_custom_command(OUTPUT ${CMAKE_BINARY_DIR}/modules/read_value 
10
					COMMAND ${CMAKE_C_COMPILER} -o  read_value read_value.c
11
					WORKING_DIRECTORY ${CMAKE_BINARY_DIR}/modules 
12
					COMMENT "compiling read_value")
13
add_custom_target (read_value ALL
14
	DEPENDS ${CMAKE_BINARY_DIR}/modules/read_value)
15
	
8 16
add_subdirectory(lustre_files)
9 17

  
10

  
18
    
regression_tests/CTestConfig.cmake
6 6
##   ENABLE_TESTING()
7 7
##   INCLUDE(CTest)
8 8

  
9
set(CTEST_PROJECT_NAME "Lustrec-tests")
9
set(CTEST_PROJECT_NAME "lustrec")
10 10
set(CTEST_NIGHTLY_START_TIME "00:00:00 EST")
11 11

  
12 12
set(CTEST_DROP_METHOD "http")
13 13
set(CTEST_DROP_SITE "my.cdash.org")
14
set(CTEST_DROP_LOCATION "/submit.php?project=Lustrec-tests")
14
set(CTEST_DROP_LOCATION "/submit.php?project=lustrec")
15 15
set(CTEST_DROP_SITE_CDASH TRUE)
16

  
17

  
18

  
regression_tests/lustre_files/success/CMakeLists.txt
1 1
cmake_minimum_required(VERSION 2.8.4)
2 2

  
3 3
add_subdirectory(Stateflow)
4
add_subdirectory(Simulink)
regression_tests/lustre_files/success/Simulink/CMakeLists.txt
1
cmake_minimum_required(VERSION 2.8.4)
2

  
3

  
4

  
5

  
6
#find_package(Lustre)
7

  
8
if(LUSTRE_COMPILER)
9
  message(STATUS "Found lustrec: ${LUSTRE_COMPILER} ")
10
else(LUSTRE_COMPILER)
11
  message(FATAL_ERROR "lustrec not found")
12
endif(LUSTRE_COMPILER)
13

  
14
#proceed all subdirectories
15
SUBDIRLIST(SUBDIRS ${CMAKE_CURRENT_SOURCE_DIR}  "src_")
16

  
17
#take all lustre files
18
set(GLOBAL_LUSTRE_FILES "")
19
FOREACH(subdir ${SUBDIRS})
20
  #message("${subdir}")
21
  LUSTREFILES(LFILE ${subdir} )
22
  list(APPEND GLOBAL_LUSTRE_FILES ${LFILE})
23
  get_filename_component(L ${LFILE} NAME_WE)
24
  set(LUSTRE_OUTPUT_DIR "${CMAKE_CURRENT_BINARY_DIR}/${L}")
25
  file(COPY ${LFILE} "${subdir}/input_values" "${subdir}/outputs_values" DESTINATION  ${LUSTRE_OUTPUT_DIR})
26
ENDFOREACH()
27

  
28
#first combination :no option
29
set(LUSTRE_OPTIONS_OPT "")
30
set(GENERATION_RESULTS "")
31
set(REPORT_PATH  "${CMAKE_CURRENT_BINARY_DIR}/report")
32
file(WRITE ${REPORT_PATH}  "")
33
FOREACH(lus_file ${GLOBAL_LUSTRE_FILES})
34
	get_filename_component(L ${lus_file} NAME_WE)
35
	set(LUSTRE_NODE_OPT  "${L}")
36
	set(LUSTRE_OPTIONS_OPT  "" )
37
	
38
	# First command generate C files from Lustre file
39
	Lustre_Compile(LUS_FILE ${lus_file}
40
					NODE ${LUSTRE_NODE_OPT}
41
					OPTS ${LUSTRE_OPTIONS_OPT})
42

  
43
	if(NOT ${LUSTRE_OUTPUT_DIR_${L}_${LUSTRE_NODE_OPT}_${LUSTRE_OPTIONS_OPT}_RESULT} STREQUAL "0" )
44
		message("****************${LUSTRE_GENERATED_FILES_${L}_${LUSTRE_NODE_OPT}_${LUSTRE_OPTIONS_OPT}}: Failed********")
45
	else(NOT ${LUSTRE_OUTPUT_DIR_${L}_${LUSTRE_NODE_OPT}_${LUSTRE_OPTIONS_OPT}_RESULT} STREQUAL "0")
46
		#second command : generate C binary from C files generated before		
47
		#third step : compare binary outputs with the reference.
48
		add_custom_command(
49
			OUTPUT ${LUSTRE_OUTPUT_DIR_${L}_${LUSTRE_NODE_OPT}_${LUSTRE_OPTIONS_OPT}}/report
50
			DEPENDS ${LUSTRE_GENERATED_FILES_${L}_${LUSTRE_NODE_OPT}_${LUSTRE_OPTIONS_OPT}}
51
			COMMAND make 
52
			ARGS  -f ${L}.makefile
53
			COMMAND ./${L}_${LUSTRE_NODE_OPT} 
54
			ARGS < ../input_values > ${L}_${LUSTRE_NODE_OPT}_outputs
55
			COMMAND diff
56
			ARGS -s ${L}_${LUSTRE_NODE_OPT}_outputs ../outputs_values > report
57
			WORKING_DIRECTORY ${LUSTRE_OUTPUT_DIR_${L}_${LUSTRE_NODE_OPT}_${LUSTRE_OPTIONS_OPT}}
58
			COMMENT " make -f ${L}.makefile \n ./${L}_${LUSTRE_NODE_OPT}  < ../input_values > ${L}_${LUSTRE_NODE_OPT}_outputs \n diff -s ${L}_${LUSTRE_NODE_OPT}_outputs ../outputs_values > report"
59
		)
60
		add_test(NAME Stateflow_${L}_${LUSTRE_NODE_OPT}_${LUSTRE_OPTIONS_OPT}
61
				WORKING_DIRECTORY ${LUSTRE_OUTPUT_DIR_${L}_${LUSTRE_NODE_OPT}_${LUSTRE_OPTIONS_OPT}}
62
				COMMAND diff -s  ${L}_${LUSTRE_NODE_OPT}_outputs ../outputs_values)
63
		set_tests_properties(Stateflow_${L}_${LUSTRE_NODE_OPT}_${LUSTRE_OPTIONS_OPT}
64
				PROPERTIES PASS_REGULAR_EXPRESSION "are identical")
65
				
66
				
67
		set(GENERATION_RESULTS ${GENERATION_RESULTS} ${LUSTRE_OUTPUT_DIR_${L}_${LUSTRE_NODE_OPT}_${LUSTRE_OPTIONS_OPT}}/report)
68
		
69
		if(EXISTS ${LUSTRE_OUTPUT_DIR_${L}_${LUSTRE_NODE_OPT}_${LUSTRE_OPTIONS_OPT}}/report )
70
			file(READ ${LUSTRE_OUTPUT_DIR_${L}_${LUSTRE_NODE_OPT}_${LUSTRE_OPTIONS_OPT}}/report REPORT)
71
			file(APPEND ${REPORT_PATH}.in  "${REPORT}")
72
			# Copy the temporary file to the final location
73
			configure_file(${REPORT_PATH}.in ${REPORT_PATH} COPYONLY)
74
		endif()
75
	endif(NOT ${LUSTRE_OUTPUT_DIR_${L}_${LUSTRE_NODE_OPT}_${LUSTRE_OPTIONS_OPT}_RESULT} STREQUAL "0")
76

  
77
ENDFOREACH()
78

  
79

  
80
add_custom_target (Simulink_GENERATE_FILES ALL
81
	DEPENDS ${GENERATION_RESULTS})
regression_tests/lustre_files/success/Simulink/src_abs_test/abs_test.lus
1
-- This file has been generated by cocoSim
2

  
3

  
4
-- System nodes
5
node abs_test (In1_1_1 : real; In2_1_1 : int; In2_1_2 : int; In2_1_3 : int; In3_1_1 : real; In3_1_2 : real; In3_1_3 : real; In3_1_4 : real; In3_1_5 : real; In3_1_6 : real; In3_1_7 : real; In3_1_8 : real)
6
returns (Out1_1_1 : real;
7
	Out2_2_1 : int; Out2_2_2 : int; Out2_2_3 : int;
8
	Out3_3_1 : real; Out3_3_2 : real; Out3_3_3 : real; Out3_3_4 : real; Out3_3_5 : real; Out3_3_6 : real; Out3_3_7 : real; Out3_3_8 : real); 
9
var
10
	Abs_1_1 : real;
11
	Abs1_1_1 : int; Abs1_1_2 : int; Abs1_1_3 : int;
12
	Abs2_1_1 : real; Abs2_1_2 : real; Abs2_1_3 : real; Abs2_1_4 : real; Abs2_1_5 : real; Abs2_1_6 : real; Abs2_1_7 : real; Abs2_1_8 : real;
13
	i_virtual_local : real;
14
let 
15
	Abs_1_1 = if In1_1_1 >= 0.0 then In1_1_1 else -In1_1_1;
16
	Abs1_1_1 = if In2_1_1 >= 0 then In2_1_1 else -In2_1_1;
17
	Abs1_1_2 = if In2_1_2 >= 0 then In2_1_2 else -In2_1_2;
18
	Abs1_1_3 = if In2_1_3 >= 0 then In2_1_3 else -In2_1_3;
19
	Abs2_1_1 = if In3_1_1 >= 0.0 then In3_1_1 else -In3_1_1;
20
	Abs2_1_2 = if In3_1_2 >= 0.0 then In3_1_2 else -In3_1_2;
21
	Abs2_1_3 = if In3_1_3 >= 0.0 then In3_1_3 else -In3_1_3;
22
	Abs2_1_4 = if In3_1_4 >= 0.0 then In3_1_4 else -In3_1_4;
23
	Abs2_1_5 = if In3_1_5 >= 0.0 then In3_1_5 else -In3_1_5;
24
	Abs2_1_6 = if In3_1_6 >= 0.0 then In3_1_6 else -In3_1_6;
25
	Abs2_1_7 = if In3_1_7 >= 0.0 then In3_1_7 else -In3_1_7;
26
	Abs2_1_8 = if In3_1_8 >= 0.0 then In3_1_8 else -In3_1_8;
27
	Out1_1_1 = Abs_1_1;
28
	Out2_2_1 = Abs1_1_1;
29
	Out2_2_2 = Abs1_1_2;
30
	Out2_2_3 = Abs1_1_3;
31
	Out3_3_1 = Abs2_1_1;
32
	Out3_3_2 = Abs2_1_2;
33
	Out3_3_3 = Abs2_1_3;
34
	Out3_3_4 = Abs2_1_4;
35
	Out3_3_5 = Abs2_1_5;
36
	Out3_3_6 = Abs2_1_6;
37
	Out3_3_7 = Abs2_1_7;
38
	Out3_3_8 = Abs2_1_8;
39
	i_virtual_local= 0.0 -> 1.0;
40
tel
41

  
regression_tests/lustre_files/success/Simulink/src_abs_test/abs_test.smt2
1
; abs_test
2
(declare-var abs_test.In1_1_1 Real)
3
(declare-var abs_test.In2_1_1 Int)
4
(declare-var abs_test.In2_1_2 Int)
5
(declare-var abs_test.In2_1_3 Int)
6
(declare-var abs_test.In3_1_1 Real)
7
(declare-var abs_test.In3_1_2 Real)
8
(declare-var abs_test.In3_1_3 Real)
9
(declare-var abs_test.In3_1_4 Real)
10
(declare-var abs_test.In3_1_5 Real)
11
(declare-var abs_test.In3_1_6 Real)
12
(declare-var abs_test.In3_1_7 Real)
13
(declare-var abs_test.In3_1_8 Real)
14
(declare-var abs_test.Out1_1_1 Real)
15
(declare-var abs_test.Out2_2_1 Int)
16
(declare-var abs_test.Out2_2_2 Int)
17
(declare-var abs_test.Out2_2_3 Int)
18
(declare-var abs_test.Out3_3_1 Real)
19
(declare-var abs_test.Out3_3_2 Real)
20
(declare-var abs_test.Out3_3_3 Real)
21
(declare-var abs_test.Out3_3_4 Real)
22
(declare-var abs_test.Out3_3_5 Real)
23
(declare-var abs_test.Out3_3_6 Real)
24
(declare-var abs_test.Out3_3_7 Real)
25
(declare-var abs_test.Out3_3_8 Real)
26
(declare-var abs_test.ni_0._arrow._first_c Bool)
27
(declare-var abs_test.ni_0._arrow._first_m Bool)
28
(declare-var abs_test.ni_0._arrow._first_x Bool)
29
(declare-var abs_test.Abs1_1_1 Int)
30
(declare-var abs_test.Abs1_1_2 Int)
31
(declare-var abs_test.Abs1_1_3 Int)
32
(declare-var abs_test.Abs2_1_1 Real)
33
(declare-var abs_test.Abs2_1_2 Real)
34
(declare-var abs_test.Abs2_1_3 Real)
35
(declare-var abs_test.Abs2_1_4 Real)
36
(declare-var abs_test.Abs2_1_5 Real)
37
(declare-var abs_test.Abs2_1_6 Real)
38
(declare-var abs_test.Abs2_1_7 Real)
39
(declare-var abs_test.Abs2_1_8 Real)
40
(declare-var abs_test.Abs_1_1 Real)
41
(declare-var abs_test.__abs_test_1 Bool)
42
(declare-var abs_test.__abs_test_10 Bool)
43
(declare-var abs_test.__abs_test_11 Bool)
44
(declare-var abs_test.__abs_test_12 Bool)
45
(declare-var abs_test.__abs_test_13 Bool)
46
(declare-var abs_test.__abs_test_2 Bool)
47
(declare-var abs_test.__abs_test_3 Bool)
48
(declare-var abs_test.__abs_test_4 Bool)
49
(declare-var abs_test.__abs_test_5 Bool)
50
(declare-var abs_test.__abs_test_6 Bool)
51
(declare-var abs_test.__abs_test_7 Bool)
52
(declare-var abs_test.__abs_test_8 Bool)
53
(declare-var abs_test.__abs_test_9 Bool)
54
(declare-var abs_test.i_virtual_local Real)
55
(declare-rel abs_test_reset (Bool Bool))
56
(declare-rel abs_test_step (Real Int Int Int Real Real Real Real Real Real Real Real Real Int Int Int Real Real Real Real Real Real Real Real Bool Bool))
57

  
58
(rule (=> 
59
  (and 
60
       
61
       (= abs_test.ni_0._arrow._first_m true)
62
  )
63
  (abs_test_reset abs_test.ni_0._arrow._first_c
64
                  abs_test.ni_0._arrow._first_m)
65
))
66

  
67
(rule (=> 
68
  (and (= abs_test.ni_0._arrow._first_m abs_test.ni_0._arrow._first_c)
69
       (and (= abs_test.__abs_test_1 (ite abs_test.ni_0._arrow._first_m true false))
70
            (= abs_test.ni_0._arrow._first_x false))
71
       (and (or (not (= abs_test.__abs_test_1 true))
72
               (= abs_test.i_virtual_local 0.0))
73
            (or (not (= abs_test.__abs_test_1 false))
74
               (= abs_test.i_virtual_local 1.0))
75
       )
76
       (= abs_test.__abs_test_9 (>= abs_test.In3_1_1 0.0))
77
       (= abs_test.__abs_test_8 (>= abs_test.In3_1_2 0.0))
78
       (= abs_test.__abs_test_7 (>= abs_test.In3_1_3 0.0))
79
       (= abs_test.__abs_test_6 (>= abs_test.In3_1_4 0.0))
80
       (= abs_test.__abs_test_5 (>= abs_test.In3_1_5 0.0))
81
       (= abs_test.__abs_test_4 (>= abs_test.In3_1_6 0.0))
82
       (= abs_test.__abs_test_3 (>= abs_test.In3_1_7 0.0))
83
       (= abs_test.__abs_test_2 (>= abs_test.In3_1_8 0.0))
84
       (= abs_test.__abs_test_13 (>= abs_test.In1_1_1 0.0))
85
       (= abs_test.__abs_test_12 (>= abs_test.In2_1_1 0))
86
       (= abs_test.__abs_test_11 (>= abs_test.In2_1_2 0))
87
       (= abs_test.__abs_test_10 (>= abs_test.In2_1_3 0))
88
       (and (or (not (= abs_test.__abs_test_2 true))
89
               (= abs_test.Abs2_1_8 abs_test.In3_1_8))
90
            (or (not (= abs_test.__abs_test_2 false))
91
               (= abs_test.Abs2_1_8 (- abs_test.In3_1_8)))
92
       )
93
       (= abs_test.Out3_3_8 abs_test.Abs2_1_8)
94
       (and (or (not (= abs_test.__abs_test_3 true))
95
               (= abs_test.Abs2_1_7 abs_test.In3_1_7))
96
            (or (not (= abs_test.__abs_test_3 false))
97
               (= abs_test.Abs2_1_7 (- abs_test.In3_1_7)))
98
       )
99
       (= abs_test.Out3_3_7 abs_test.Abs2_1_7)
100
       (and (or (not (= abs_test.__abs_test_4 true))
101
               (= abs_test.Abs2_1_6 abs_test.In3_1_6))
102
            (or (not (= abs_test.__abs_test_4 false))
103
               (= abs_test.Abs2_1_6 (- abs_test.In3_1_6)))
104
       )
105
       (= abs_test.Out3_3_6 abs_test.Abs2_1_6)
106
       (and (or (not (= abs_test.__abs_test_5 true))
107
               (= abs_test.Abs2_1_5 abs_test.In3_1_5))
108
            (or (not (= abs_test.__abs_test_5 false))
109
               (= abs_test.Abs2_1_5 (- abs_test.In3_1_5)))
110
       )
111
       (= abs_test.Out3_3_5 abs_test.Abs2_1_5)
112
       (and (or (not (= abs_test.__abs_test_6 true))
113
               (= abs_test.Abs2_1_4 abs_test.In3_1_4))
114
            (or (not (= abs_test.__abs_test_6 false))
115
               (= abs_test.Abs2_1_4 (- abs_test.In3_1_4)))
116
       )
117
       (= abs_test.Out3_3_4 abs_test.Abs2_1_4)
118
       (and (or (not (= abs_test.__abs_test_7 true))
119
               (= abs_test.Abs2_1_3 abs_test.In3_1_3))
120
            (or (not (= abs_test.__abs_test_7 false))
121
               (= abs_test.Abs2_1_3 (- abs_test.In3_1_3)))
122
       )
123
       (= abs_test.Out3_3_3 abs_test.Abs2_1_3)
124
       (and (or (not (= abs_test.__abs_test_8 true))
125
               (= abs_test.Abs2_1_2 abs_test.In3_1_2))
126
            (or (not (= abs_test.__abs_test_8 false))
127
               (= abs_test.Abs2_1_2 (- abs_test.In3_1_2)))
128
       )
129
       (= abs_test.Out3_3_2 abs_test.Abs2_1_2)
130
       (and (or (not (= abs_test.__abs_test_9 true))
131
               (= abs_test.Abs2_1_1 abs_test.In3_1_1))
132
            (or (not (= abs_test.__abs_test_9 false))
133
               (= abs_test.Abs2_1_1 (- abs_test.In3_1_1)))
134
       )
135
       (= abs_test.Out3_3_1 abs_test.Abs2_1_1)
136
       (and (or (not (= abs_test.__abs_test_10 true))
137
               (= abs_test.Abs1_1_3 abs_test.In2_1_3))
138
            (or (not (= abs_test.__abs_test_10 false))
139
               (= abs_test.Abs1_1_3 (- abs_test.In2_1_3)))
140
       )
141
       (= abs_test.Out2_2_3 abs_test.Abs1_1_3)
142
       (and (or (not (= abs_test.__abs_test_11 true))
143
               (= abs_test.Abs1_1_2 abs_test.In2_1_2))
144
            (or (not (= abs_test.__abs_test_11 false))
145
               (= abs_test.Abs1_1_2 (- abs_test.In2_1_2)))
146
       )
147
       (= abs_test.Out2_2_2 abs_test.Abs1_1_2)
148
       (and (or (not (= abs_test.__abs_test_12 true))
149
               (= abs_test.Abs1_1_1 abs_test.In2_1_1))
150
            (or (not (= abs_test.__abs_test_12 false))
151
               (= abs_test.Abs1_1_1 (- abs_test.In2_1_1)))
152
       )
153
       (= abs_test.Out2_2_1 abs_test.Abs1_1_1)
154
       (and (or (not (= abs_test.__abs_test_13 true))
155
               (= abs_test.Abs_1_1 abs_test.In1_1_1))
156
            (or (not (= abs_test.__abs_test_13 false))
157
               (= abs_test.Abs_1_1 (- abs_test.In1_1_1)))
158
       )
159
       (= abs_test.Out1_1_1 abs_test.Abs_1_1)
160
       )
161
  (abs_test_step abs_test.In1_1_1
162
                 abs_test.In2_1_1
163
                 abs_test.In2_1_2
164
                 abs_test.In2_1_3
165
                 abs_test.In3_1_1
166
                 abs_test.In3_1_2
167
                 abs_test.In3_1_3
168
                 abs_test.In3_1_4
169
                 abs_test.In3_1_5
170
                 abs_test.In3_1_6
171
                 abs_test.In3_1_7
172
                 abs_test.In3_1_8
173
                 abs_test.Out1_1_1
174
                 abs_test.Out2_2_1
175
                 abs_test.Out2_2_2
176
                 abs_test.Out2_2_3
177
                 abs_test.Out3_3_1
178
                 abs_test.Out3_3_2
179
                 abs_test.Out3_3_3
180
                 abs_test.Out3_3_4
181
                 abs_test.Out3_3_5
182
                 abs_test.Out3_3_6
183
                 abs_test.Out3_3_7
184
                 abs_test.Out3_3_8
185
                 abs_test.ni_0._arrow._first_c
186
                 abs_test.ni_0._arrow._first_x)
187
))
188

  
regression_tests/lustre_files/success/Simulink/src_abs_test/input_values
1
57.8096692083079091
2
63.0000000000000000
3
71.0000000000000000
4
42.0000000000000000
5
72.0986454123508622
6
90.8100712825756062
7
25.8266089551751001
8
32.2720951252998489
9
54.5349064831733088
10
51.9910227893596968
11
86.8941535847374098
12
63.0627589684614875
13
82.3825655225606965
14
97.0000000000000000
15
28.0000000000000000
16
94.0000000000000000
17
86.7255007363613544
18
40.3437538466402756
19
2.4830342928501836
20
8.4323077865117497
21
24.5143853538049008
22
23.4288768805429370
23
52.9965443614338483
24
41.9679897291923112
25
39.3375746964958921
26
42.0000000000000000
27
55.0000000000000000
28
71.0000000000000000
29
79.0464058641211267
30
68.5609780061354286
31
20.2556015313865032
32
40.3686543380811145
33
33.9985886691570229
34
62.0010403487672477
35
14.9942658244067708
36
88.3012034064164482
37
5.3430865656478366
38
45.0000000000000000
39
59.0000000000000000
40
26.0000000000000000
41
4.5337212464764303
42
7.5352048184104454
43
82.0832646069607392
44
32.7203828748882728
45
0.7334429233961659
46
57.8487845576115092
47
93.5484378913590149
48
85.1497620114859899
49
70.6479645138491179
50
23.0000000000000000
51
77.0000000000000000
52
86.0000000000000000
53
11.3992458437589654
54
26.4190621977760109
55
21.1849665584927109
56
69.3076085550108019
57
78.3519796750820490
58
49.7573673433898804
59
35.6749817476911275
60
23.1641340840162968
61
31.4608846022754420
62
38.0000000000000000
63
79.0000000000000000
64
21.0000000000000000
65
36.4012813490436002
66
32.8435264179431385
67
62.4388577984605817
68
9.2398255974332599
69
63.7596481882076063
70
60.2121693694783389
71
74.2282555699630961
72
93.8789346867776686
73
27.2489781462470049
74
45.0000000000000000
75
21.0000000000000000
76
25.0000000000000000
77
53.0378359618796864
78
4.4894227488479821
79
34.7145985206342189
80
70.4873484061274240
81
92.4610150462566196
82
38.5411529434414177
83
93.3148552307641097
84
64.4004575194833961
85
52.1289861536691674
86
69.0000000000000000
87
55.0000000000000000
88
4.0000000000000000
89
47.5043622685541322
90
54.8080991118185992
91
83.0202249856022689
92
88.5721080508852623
93
64.5034409922184153
94
96.5369673314056911
95
81.0670369843116418
96
69.4873698570080904
97
19.5293434315208856
98
13.0000000000000000
99
28.0000000000000000
100
63.0000000000000000
101
68.6045827095227878
102
69.8123659042272635
103
37.3985758469323457
104
24.5782728302337397
105
51.1042097512064970
106
97.3198876843394913
107
18.9817448141317087
108
23.8557179477513195
109
77.6385119757197515
110
24.0000000000000000
111
28.0000000000000000
112
93.0000000000000000
113
78.5074992427610425
114
44.6513151991308490
115
69.3831734273785514
116
94.2653419290084855
117
19.2780031871656590
118
26.7287992397149381
119
55.6735649086070126
120
35.4735529016519422
121
8.1339709218474994
122
47.0000000000000000
123
17.0000000000000000
124
20.0000000000000000
125
87.1241639449050496
126
83.6536266207354231
127
55.4803111769937445
128
53.9290829590287828
129
7.0443530516505977
130
96.7832791078050150
131
50.1072869020898395
132
15.3167384880536162
133
67.1063346162466701
134
38.0000000000000000
135
49.0000000000000000
136
13.0000000000000000
137
80.2303667574979755
138
28.1667841672770720
139
23.3648272075904551
140
99.0519089055353703
141
17.5023401974017006
142
61.5744171241196483
143
45.4808261993296696
144
29.3993344673900374
145
50.6094952847359423
146
18.0000000000000000
147
54.0000000000000000
148
35.0000000000000000
149
70.2164679099033151
150
28.7420396569094336
151
60.1498940554881187
152
67.8198281780157544
153
97.3236301125344596
154
24.3840028116194212
155
73.6334154315671441
156
74.9716922679373994
157
88.1615921516638252
158
50.0000000000000000
159
26.0000000000000000
160
29.0000000000000000
161
99.4350201320123688
162
17.8016743044307368
163
3.4461818284585055
164
29.9719398434802891
165
0.0527366663893747
166
44.3487813756836786
167
93.3591026625884410
168
57.8885027763674103
169
30.9275077935158400
170
24.0000000000000000
171
85.0000000000000000
172
28.0000000000000000
173
61.2218787097403094
174
7.4632093822627033
175
0.4958090557298234
176
29.8538894520079872
177
79.2540485215380102
178
81.9681057521549121
179
91.7600521657779780
180
16.6847779282501065
181
70.7649874292455365
182
13.0000000000000000
183
57.0000000000000000
184
23.0000000000000000
185
81.8549827055936277
186
76.6028483760659640
187
73.8605138641000281
188
60.4499117030286044
189
74.9120724841712331
190
61.2739825339431192
191
1.3187201666809756
192
0.8002309208966163
193
81.7096663953822429
194
22.0000000000000000
195
94.0000000000000000
196
75.0000000000000000
197
4.5805259512451286
198
35.7014651273446333
199
34.3740244612861900
200
72.3407813990683479
201
16.5015036253310932
202
53.5941999366555990
203
49.0578356788692318
204
52.9382871276831395
205
84.9879394954689502
206
62.0000000000000000
207
1.0000000000000000
208
82.0000000000000000
209
9.2352789995060913
210
60.9383207887033507
211
88.7924758688281628
212
67.7043037019984411
213
93.7076901674806777
214
20.6995520209187447
215
27.4082234956011597
216
37.1280567768180987
217
88.9562051714313782
218
82.0000000000000000
219
59.0000000000000000
220
56.0000000000000000
221
76.1398850593896555
222
72.5586670583615359
223
99.5624571648238685
224
65.9670593327162891
225
14.6213545754692813
226
19.6225835842013581
227
61.7671897691601330
228
23.1790564539054103
229
80.0650493714264258
230
68.0000000000000000
231
14.0000000000000000
232
67.0000000000000000
233
9.5186732221724686
234
58.5897140449005533
235
46.2762024436015125
236
89.1284503600507065
237
94.0858716240077513
238
43.5794721739954696
239
48.1654028574615580
240
7.5794451658739099
241
85.6129553187688543
242
19.0000000000000000
243
7.0000000000000000
244
36.0000000000000000
245
87.5423077248790804
246
93.6455025320821193
247
57.3696128165531505
248
92.7923375340919705
249
96.0363033139645097
250
4.9285059790768804
251
28.7144139209903102
252
62.5584053022353004
253
34.0881621198858369
254
68.0000000000000000
255
52.0000000000000000
256
33.0000000000000000
257
6.0165899366025339
258
99.6387382241842801
259
35.1896008655701138
260
34.6614004866680361
261
68.5940052320183895
262
21.6421399442237501
263
79.0761513522211459
264
12.5278099666242042
265
25.1534767317486683
266
20.0000000000000000
267
49.0000000000000000
268
97.0000000000000000
269
11.1574581912570636
270
91.8362563304275170
271
12.5437361770018736
272
50.0124375022202230
273
93.7212487384396127
274
8.4026453550376417
275
55.8760394748682785
276
86.1641320862173785
277
60.4594300874464778
278
42.0000000000000000
279
17.0000000000000000
280
10.0000000000000000
281
58.2508461489948601
282
77.8710370102011069
283
35.3576397026031302
284
47.2113338449418407
285
62.4620365830244495
286
85.6449772187749971
287
11.6864805063288664
288
47.2851706549913260
289
81.3139695512215468
290
56.0000000000000000
291
62.0000000000000000
292
16.0000000000000000
293
69.5698264569341234
294
62.4128080521176827
295
85.8844825788046222
296
53.9353131926866709
297
72.9785882349303137
298
10.2355337310505732
299
51.5230093808114873
300
26.0876493497548942
301
41.7089510385463171
302
31.0000000000000000
303
18.0000000000000000
304
51.0000000000000000
305
16.7672621548073622
306
73.5434264501329977
307
18.1520225553415528
308
65.5463246602672740
309
6.7051903594948836
310
81.1133726623405664
311
95.4085057495617406
312
52.5413454423874882
313
33.8572686791931332
314
57.0000000000000000
315
83.0000000000000000
316
21.0000000000000000
317
31.8074221986883181
318
11.8257723434830098
319
44.2948205161922886
320
41.8029231256037406
321
7.2320538136876227
322
89.9900066622016084
323
4.0628590527951758
324
29.7496591107340400
325
76.2121711035207170
326
93.0000000000000000
327
38.0000000000000000
328
75.0000000000000000
329
39.4222329077497449
330
23.2214347134036103
331
95.1524811746024284
332
82.3524184610960646
333
85.9891285340217166
334
13.1535387855122305
335
18.6746817254390223
336
94.8919735655617558
337
64.5161427947759876
338
65.0000000000000000
339
43.0000000000000000
340
7.0000000000000000
341
69.0045176538837808
342
72.9650221418500990
343
3.2045695118058548
344
70.1725797801178999
345
49.2298456715695067
346
1.5024892177054050
347
60.7943099966811147
348
11.2173192639620325
349
35.9291085848296703
350
52.0000000000000000
351
13.0000000000000000
352
41.0000000000000000
353
64.1130052227535430
354
70.1538526266455307
355
4.6914440839591727
356
81.3629552581696061
357
25.6978849715626794
358
2.0178424754079050
359
14.2067231674250607
360
59.6535527156643610
361
25.4351761958988796
362
59.0000000000000000
363
85.0000000000000000
364
57.0000000000000000
365
35.0141885061477041
366
80.5458172355999409
367
40.0027604166431772
368
18.7361062371834137
369
24.1025211431412529
370
58.2100176751005591
371
8.0773271473458035
372
75.3925973626941470
373
86.7632723974565039
374
72.0000000000000000
375
20.0000000000000000
376
4.0000000000000000
377
30.3747342667599938
378
41.0752613470806125
379
65.8162927145430103
380
48.7665509640722874
381
5.2524301883132178
382
28.4330327753081633
383
26.5266483135879767
384
45.7336666870770046
385
4.8305539142824987
386
97.0000000000000000
387
64.0000000000000000
388
82.0000000000000000
389
45.9251841037042965
390
67.8852999376415625
391
46.6080582213655106
392
61.0783559972902594
393
11.7613583487122817
394
77.7081249302335095
395
19.5920867883943046
396
70.7468192983917561
397
21.6805165474116777
398
83.0000000000000000
399
17.0000000000000000
400
39.0000000000000000
401
90.7984854115105406
402
52.4478861115622053
403
73.0364388573118219
404
64.3216028846829317
405
31.7976219391357660
406
39.9652455429217781
407
85.6722254137669239
408
53.8829060554766173
409
4.2820507363153348
410
53.0000000000000000
411
80.0000000000000000
412
21.0000000000000000
413
49.2502129678166440
414
51.9512399115151098
415
47.5748541101211586
416
88.9603388105042541
417
52.6279344589047824
418
1.8048513826010582
419
82.1327465786577164
420
85.4394430134512675
421
72.9574317992086776
422
26.0000000000000000
423
1.0000000000000000
424
44.0000000000000000
425
28.2426275595187946
426
85.2272419932619698
427
88.9319992573858400
428
65.0914159657371840
429
76.3583955125981504
430
4.6500276535934137
431
31.2295261164556628
432
80.6689216635612496
433
66.4384837182284542
434
82.0000000000000000
435
87.0000000000000000
436
63.0000000000000000
437
27.1056265195192445
438
57.2223785386705259
439
93.0556180069977472
440
73.0072078584355353
441
41.5988250253657910
442
37.2843695104052770
443
41.4998521331984591
444
39.0866411398191218
445
74.4488512416942996
446
89.0000000000000000
447
93.0000000000000000
448
64.0000000000000000
449
74.5513672733370498
450
47.3213867851562924
451
16.1637792934928513
452
20.5531394578584496
453
90.6347457975377466
454
73.5625708376676499
455
81.5002031097373276
456
82.2675666215325663
457
28.4406518158902486
458
45.0000000000000000
459
43.0000000000000000
460
3.0000000000000000
461
50.1174063495417457
462
80.5685765035651542
463
23.9570769913924337
464
69.1236560414948826
465
17.4592886788459190
466
23.7076533280058612
467
59.1379796415666092
468
54.5582105573197964
469
52.5949266099759214
470
96.0000000000000000
471
42.0000000000000000
472
34.0000000000000000
473
5.8233553658894603
474
64.5277811437123745
475
23.2460580719561207
476
45.1821143119268669
477
16.5960285467310911
478
83.3706840103732816
479
72.0744163481255242
480
10.1659750053592965
481
99.5765289311218709
482
5.0000000000000000
483
39.0000000000000000
484
44.0000000000000000
485
90.3743416357577161
486
71.5654561933104389
487
47.5551880484033092
488
4.3830778910624808
489
49.2479894150431221
490
41.9394691229720848
491
27.2924763501907179
492
99.2849520019740766
493
78.6112790506795847
494
51.0000000000000000
495
85.0000000000000000
496
95.0000000000000000
497
64.4839210961307856
498
45.3968539754084475
499
30.0555037623981711
500
69.9099318873813758
501
94.3388789897210813
502
1.8391775427361479
503
12.3152239940710562
504
23.3899211920763896
505
4.7811885961188461
506
55.0000000000000000
507
29.0000000000000000
508
64.0000000000000000
509
57.6161666466928466
510
99.6710236310413933
511
10.8823016590349102
512
48.5246671380340402
513
95.5039553950906281
514
3.1559541179702610
515
20.4348971030773647
516
25.1672105135253616
517
3.4003168601917988
518
51.0000000000000000
519
17.0000000000000000
520
27.0000000000000000
521
91.7028348420706152
522
44.6548270612341724
523
5.9237211978406146
524
54.0268509547779416
525
15.1023541366674614
526
74.0575855343493572
527
62.0265720597557504
528
72.3426202913223193
529
13.4239712639077631
530
76.0000000000000000
531
54.0000000000000000
532
61.0000000000000000
533
44.6506976399084223
534
49.4756817245936773
535
96.4860233325756980
536
99.1252905778029003
537
12.6614001881725002
538
22.7210732968418441
539
1.5277035903400571
540
81.3629790198480833
541
6.1405958530282074
542
77.0000000000000000
543
2.0000000000000000
544
49.0000000000000000
545
78.3158320184453203
546
3.9055094495831999
547
0.8844755469840315
548
56.0280242304984952
549
59.9507335789957736
550
58.4881461860287573
551
15.7672198873235132
552
94.8372395411226989
553
65.1228592316655153
554
24.0000000000000000
555
47.0000000000000000
556
72.0000000000000000
557
18.0304896518756266
558
62.0233081990040134
559
87.0427668730723383
560
7.4011398016939793
561
35.0104573397391761
562
43.8881388821403675
563
66.1165366000137027
564
12.4793760177369535
565
39.8726809660525774
566
20.0000000000000000
567
78.0000000000000000
568
59.0000000000000000
569
13.5546690941911194
570
90.6664919911667369
571
62.7839381744733416
572
71.3392019113860130
573
4.4358465415577193
574
0.3676081198155767
575
65.1081972139349148
576
86.2656526374938437
577
72.3932668182592209
578
100.0000000000000000
579
94.0000000000000000
580
79.0000000000000000
581
62.2231798937463196
582
7.2601942042457619
583
44.7723729648996169
584
46.4302770683050952
585
93.2903590095497890
586
98.5399365336564017
587
43.7869612335479061
588
94.2712443236465987
589
10.4238845549830987
590
90.0000000000000000
591
14.0000000000000000
592
48.0000000000000000
593
59.6184025260229262
594
76.5841279886190165
595
82.0955128431096739
596
23.0187912347277859
597
61.8375462849823592
598
65.3714931675845889
599
98.1975531772308443
600
82.3576364341390672
601
99.5215513377349197
602
4.0000000000000000
603
15.0000000000000000
604
4.0000000000000000
605
79.2844975256148246
606
99.9300857465808718
607
75.6655824249716176
608
14.7922325786537971
609
45.5266918858875513
610
95.8681498489570885
611
28.0692384335295415
612
25.6047273483567608
613
19.3268801566987776
614
50.0000000000000000
615
41.0000000000000000
616
67.0000000000000000
617
8.9748618170049319
618
13.1562651132280060
619
36.8870110918776675
620
63.6689985529737541
621
92.1567942006042813
622
68.2242431197363004
623
83.3630562726453093
624
39.2373442397732504
625
71.4026174085067140
626
31.0000000000000000
627
29.0000000000000000
628
12.0000000000000000
629
42.5308589173181844
630
33.8749846915147330
631
21.8530715989681106
632
39.2035869764217750
633
83.5749458702928649
634
91.6954363828044023
635
26.1704653502708453
636
3.7274972930133377
637
36.1474231623295950
638
94.0000000000000000
639
39.0000000000000000
640
68.0000000000000000
641
44.6433585693537438
642
38.3542687446046031
643
27.3480375360999233
644
87.1358039591722360
645
37.1560937301796486
646
29.8928266950570496
647
29.1843329554699480
648
22.5039543980716346
649
30.7015840783163476
650
66.0000000000000000
651
63.0000000000000000
652
65.0000000000000000
653
12.3195950600459412
654
54.7803984317579449
655
66.0168094496062139
656
53.5351833085081381
657
82.7736174165578831
658
1.5870478354201856
659
6.0863962529106086
660
90.1616222972814967
661
34.7127206539884625
662
50.0000000000000000
663
51.0000000000000000
664
41.0000000000000000
665
24.3159582115664676
666
19.4977623966227434
667
3.2853654755180983
668
68.9713187495041495
669
41.2632413050610154
670
65.2918134499448115
671
25.5798353053587455
672
99.0693788899994559
673
3.3978185790502158
674
33.0000000000000000
675
85.0000000000000000
676
33.0000000000000000
677
40.9317172087062957
678
96.8697046464441058
679
60.4033411402796290
680
15.6679522538498599
681
91.1340041292032623
682
24.6362583174715830
683
1.6355096359912946
684
44.5593327463620312
685
90.5144350894919256
686
12.0000000000000000
687
78.0000000000000000
688
81.0000000000000000
689
6.5954858114945498
690
56.2547490922691651
691
27.5716428918345251
692
92.0052193566365304
693
37.8314598807568316
694
28.6228622264209100
695
27.1280308037900824
696
49.1350610651989470
697
71.8433833192057705
698
62.0000000000000000
699
7.0000000000000000
700
77.0000000000000000
701
78.9573905313197457
702
28.6590086261981334
703
23.6093770161474801
704
79.9052184609079745
705
12.0063716416951678
706
99.7274265215902034
707
68.1075722522587483
708
62.9749970883341419
709
32.7554333825813018
710
34.0000000000000000
711
35.0000000000000000
712
61.0000000000000000
713
46.2349732618294240
714
36.1151747449130838
715
4.3774866218135200
716
50.8384477638958359
717
85.9454923420813088
718
71.7908645830756171
719
42.4661285229369270
720
77.9680643532852855
721
59.2166570386939739
722
74.0000000000000000
723
88.0000000000000000
724
78.0000000000000000
725
30.2669300000035442
726
72.9204394213277141
727
94.5888317485370180
728
29.1912489487649260
729
71.7175848380285856
730
83.9676646597807803
731
12.3735272086566326
732
66.1599257610324401
733
35.7262242453953860
734
65.0000000000000000
735
83.0000000000000000
736
24.0000000000000000
737
86.0126653269665269
738
81.7021013813402419
739
90.1997570268468536
740
93.3191032055856908
741
31.2505174874296081
742
73.9878176577365139
743
44.2234407027135248
744
80.0371967523108907
745
26.3953874864864311
746
84.0000000000000000
747
11.0000000000000000
748
1.0000000000000000
749
82.1394949765751363
750
70.5866674658131927
751
18.4886044472210571
752
74.2604973170139715
753
40.5354584985134991
754
98.9905540274941842
755
70.8274263346794868
756
72.0129706663595215
757
8.2023314010459139
758
100.0000000000000000
759
78.0000000000000000
760
51.0000000000000000
761
7.2295998684155593
762
80.5763057286341251
763
71.4561256195082422
764
49.1602452708350697
765
96.2352879406714692
766
84.3642488852462549
767
13.7399424538868224
768
3.9846146829966567
769
1.4875579169920439
770
43.0000000000000000
771
29.0000000000000000
772
70.0000000000000000
773
92.3582973660173678
774
79.1366726932321427
775
15.9072165653486373
776
5.5524109123790133
777
60.3492968361093673
778
97.6355013276520083
779
45.0877091011079898
780
59.5107269106184305
781
17.0480055605407692
782
46.0000000000000000
783
99.0000000000000000
784
67.0000000000000000
785
84.4632898915896391
786
42.7532792550874419
787
22.6179058536398649
788
39.0513630057642303
789
34.7847897673098103
790
45.2671660270399840
791
79.8880056324155987
792
60.9826058940223916
793
36.3204792875805680
794
52.0000000000000000
795
40.0000000000000000
796
79.0000000000000000
797
50.1206972243904545
798
91.7015329881608352
799
6.9985251987516932
800
64.9425991361774635
801
4.2804346965214286
802
24.1151035722842018
803
76.9903510232598478
804
67.2979071393900057
805
50.6889336333136953
806
86.0000000000000000
807
82.0000000000000000
808
61.0000000000000000
809
77.8212519754039391
810
49.7558757614619225
811
72.7632385745345118
812
65.0255051569616853
813
26.4817614233584067
814
9.2251433640622160
815
82.7501872935518179
816
24.9556201388497669
817
62.4175390081777834
818
34.0000000000000000
819
88.0000000000000000
820
97.0000000000000000
821
43.5722449098812632
822
52.5353842648768605
823
91.5796326483148846
824
29.6561876349616611
825
21.0497639132635648
826
23.4519961491263764
827
86.4934399319052432
828
92.6692737222465723
829
69.3301588275330971
830
30.0000000000000000
831
50.0000000000000000
832
89.0000000000000000
833
39.0363466304549220
834
12.2213710087929037
835
22.7345445171655776
836
11.5858436846211443
837
53.0749684603784360
838
16.0015304709465802
839
80.6891771153357098
840
64.0300493830074231
841
75.5863654138191237
842
82.0000000000000000
843
41.0000000000000000
844
58.0000000000000000
845
12.2099715701331490
846
56.5294324929960013
847
28.1479989435211344
848
71.5813599378092675
849
30.3222128591984053
850
5.9196107083314020
851
19.3603007036972627
852
54.8734335065624279
853
62.4504516415050475
854
39.0000000000000000
855
84.0000000000000000
856
14.0000000000000000
857
36.2337109032559326
858
61.9667462419474333
859
90.3360867958214584
860
39.5460661261413975
861
73.9022599088494019
862
17.3887117280369523
863
14.1326060350547618
864
73.0363077101550857
865
74.5823829526711535
866
44.0000000000000000
867
64.0000000000000000
868
69.0000000000000000
869
79.2273156426045091
870
20.7082953689603819
871
54.1248551106776858
872
48.4216274098689254
873
95.8693761936120694
874
37.4449965585713187
875
88.1943511876962702
876
64.6685139062990118
877
72.9766631255858869
878
36.0000000000000000
879
89.0000000000000000
880
86.0000000000000000
881
87.1705256130644699
882
24.3971955468302539
883
1.7521172812279606
884
41.4424405023291271
885
58.7811242076172320
886
1.6953214678558481
887
4.6403244281732148
888
52.8084472428685601
889
33.5477770475790535
890
14.0000000000000000
891
47.0000000000000000
892
56.0000000000000000
893
30.8215268387974319
894
45.2199453729595717
895
98.7155784060455375
896
18.7236221848687165
897
52.8308664391018326
898
88.3726363834435915
899
64.4435971699914063
900
6.1326906929713871
901
90.5096756436994809
902
36.0000000000000000
903
6.0000000000000000
904
51.0000000000000000
905
15.7684609237853763
906
53.1828824468624433
907
91.2189854032619394
908
99.6210569286426164
909
93.9886177525564648
910
78.7035892478206449
911
77.4587918133867959
912
21.3987158011758503
913
40.7491421633377797
914
53.0000000000000000
915
5.0000000000000000
916
62.0000000000000000
917
28.9378549970199970
918
91.8164865420529139
919
11.5098775802092153
920
60.3809449003214098
921
41.6105534559296970
922
17.0831257712461664
923
56.0494389158334911
924
30.1032453535589397
925
73.6730158226631318
926
75.0000000000000000
927
83.0000000000000000
928
70.0000000000000000
929
98.9363054212648052
930
35.6816737967899371
931
62.5451209459965796
932
48.6789613651887905
933
21.7792783032721644
934
3.8902298346327191
935
54.7742472024526847
936
90.0678551065796995
937
34.7729246369962155
938
36.0000000000000000
939
23.0000000000000000
940
64.0000000000000000
941
53.1816397647674322
942
70.6914021090233007
943
60.2561858500311516
944
21.4358341232242857
945
37.2710053850219936
946
10.4909297520895279
947
9.9275359282290374
948
86.1723466199369739
949
40.6160774607977046
950
16.0000000000000000
951
76.0000000000000000
952
79.0000000000000000
953
91.3766090438322891
954
64.9676911445060057
955
72.9522741747735779
956
52.6465661028179852
957
31.4665836810721480
958
57.2244228079679687
959
65.5351315775987189
960
10.4861530425422238
961
29.3767473727027735
962
4.0000000000000000
963
21.0000000000000000
964
13.0000000000000000
965
15.6632498634670441
966
60.9688619737025377
967
6.3896290465126686
968
98.9928543673874088
969
70.1200429600795303
970
93.1628365724799465
971
25.4132522145597441
972
41.9179278907849451
973
2.1775083333440692
974
14.0000000000000000
975
93.0000000000000000
976
20.0000000000000000
977
8.4329637303869891
978
34.9894186556509510
979
4.9755239797944046
980
39.0803426923905590
981
89.3685266412090158
982
0.8851043900388378
983
16.4829239521198971
984
89.3629006502224712
985
52.8267337617685655
986
96.0000000000000000
987
14.0000000000000000
988
11.0000000000000000
989
77.2716390031647649
990
97.2026899243425646
991
56.6270560253362660
992
87.2691201016929909
993
4.2355298806737496
994
59.5272796289903141
995
17.2437922684436700
996
48.9225960619679938
997
18.4483867467162383
998
75.0000000000000000
999
22.0000000000000000
1000
40.0000000000000000
1001
98.5095936510956278
1002
20.6475679348303913
1003
31.2365781521172572
1004
68.2782478441383063
1005
40.2366323409429825
1006
30.6534336797538813
1007
42.2618049561607450
1008
74.7452854108514089
1009
38.4035710576733678
1010
18.0000000000000000
1011
44.0000000000000000
1012
55.0000000000000000
1013
49.1756786464140205
1014
69.2040680020556493
1015
14.8431084510284741
1016
17.9118122815119278
1017
0.7691407008723727
1018
60.6936192638828587
1019
59.3187729573364209
1020
93.2014521614175493
1021
23.3512106720758936
1022
31.0000000000000000
1023
19.0000000000000000
1024
7.0000000000000000
1025
97.3389535972044939
1026
32.0873015855959522
1027
43.9349419532288223
1028
84.5621045948133201
1029
54.4004221742924869
1030
6.1510271177328324
1031
2.2597397288012022
1032
45.1577888020485503
1033
11.6267427277090380
1034
97.0000000000000000
1035
20.0000000000000000
1036
51.0000000000000000
1037
74.4726419363605459
1038
47.7280740258897964
1039
80.1285909166230113
1040
28.6332941076897001
1041
46.4006225316825365
1042
88.8633172558609061
1043
96.6877392273191845
1044
9.8388930008385334
1045
48.7835945548171779
1046
8.0000000000000000
1047
50.0000000000000000
1048
73.0000000000000000
1049
6.3049035288208159
1050
8.7286313522588976
1051
38.9262635699710984
1052
26.8901547015127704
1053
81.8237691592781289
1054
16.2387663782315954
1055
2.4055279980970234
1056
67.4635099166054175
1057
70.9142930950878991
1058
16.0000000000000000
1059
93.0000000000000000
1060
49.0000000000000000
1061
43.7674503641597639
1062
26.7320931229838230
1063
55.9390013367046635
1064
99.2069099091300330
1065
7.3724022207211526
1066
25.9910251869267626
1067
59.6512952303504846
1068
72.2787856990235014
1069
56.1626484631483933
1070
17.0000000000000000
1071
97.0000000000000000
1072
71.0000000000000000
1073
33.3831976318500594
1074
97.1246959665649854
1075
10.6735095789669998
1076
63.0610297477515971
1077
5.4228351347584747
1078
26.7052176912594987
1079
44.9457359747734060
1080
78.2897970062548296
1081
39.2200206554891082
1082
44.0000000000000000
1083
94.0000000000000000
1084
86.0000000000000000
1085
24.7223858611732119
1086
94.8148030996900104
1087
88.0968748860875763
1088
19.0427139709320343
1089
32.7636827450899375
1090
46.7362624589774285
1091
41.1923705833403346
1092
32.7262261351321513
1093
34.2953321110214162
1094
67.0000000000000000
1095
64.0000000000000000
1096
76.0000000000000000
1097
45.2788018181613978
1098
7.1793665041433918
1099
69.4706131102081059
1100
82.7718128562902962
1101
8.3299782460530825
1102
58.1211897862942166
1103
10.8436865068314177
1104
40.6193735233042901
1105
44.9609426865084174
1106
41.0000000000000000
1107
98.0000000000000000
1108
94.0000000000000000
1109
57.1334820657353077
1110
37.8062623104472948
1111
4.7381860189053437
1112
25.1134865331268280
... This diff was truncated because it exceeds the maximum size that can be displayed.

Also available in: Unified diff