File size: 6,162 Bytes
cd7441c
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
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
{
  "knowledge": {
    "kind": "isotonic",
    "X": [
      0.0,
      0.11975948144672459,
      0.12284442434562601,
      0.323477144199471,
      0.3243110281005666,
      0.4125394703667497,
      0.4128752135453005,
      0.5510655339561646,
      0.5531188741646906,
      0.5579375263086805,
      0.5595767868199282,
      0.6759483938035258,
      0.6759714191968325,
      0.6977546454249867,
      0.6986233440355287,
      0.7036541354718715,
      0.7051640820081085,
      0.8113243640958292,
      0.8116096392328215,
      0.8689837564700577,
      0.8690785001761102,
      0.9067163984316484,
      0.9070386382723808,
      0.9123632348066721,
      0.9134079993104652,
      0.9383650518999757,
      0.9391691690220364,
      0.9553263335991372,
      0.9556206367363536,
      0.9634321611149872,
      0.9634492833811792,
      0.9811993375687346,
      0.981486261192149,
      0.9828446974181144,
      0.9832652340718,
      0.9868067903984176,
      0.9868426693751814,
      0.9875318188171032,
      0.9875653022629942,
      0.9900595144817402,
      0.9900910466383256,
      0.9913256515707182,
      0.9914281012484496,
      0.996464372480764,
      0.996556261407024,
      0.9975437372034908,
      0.997562980777008,
      0.9994578981908085,
      0.9994677212410864,
      0.9996931382164655,
      0.9997040909290392,
      1.000000000006
    ],
    "y": [
      0.0,
      0.0,
      0.013157894736842105,
      0.013157894736842105,
      0.056179775280898875,
      0.056179775280898875,
      0.0718954248366013,
      0.0718954248366013,
      0.1,
      0.1,
      0.11278195488721804,
      0.11278195488721804,
      0.12121212121212122,
      0.12121212121212122,
      0.2222222222222222,
      0.2222222222222222,
      0.23529411764705882,
      0.23529411764705882,
      0.29411764705882354,
      0.29411764705882354,
      0.3125,
      0.3125,
      0.3333333333333333,
      0.3333333333333333,
      0.43103448275862066,
      0.43103448275862066,
      0.5454545454545454,
      0.5454545454545454,
      0.6666666666666666,
      0.6666666666666666,
      0.759493670886076,
      0.759493670886076,
      0.7777777777777778,
      0.7777777777777778,
      0.7916666666666666,
      0.7916666666666666,
      0.8333333333333334,
      0.8333333333333334,
      0.8421052631578947,
      0.8421052631578947,
      0.8666666666666667,
      0.8666666666666667,
      0.9166666666666666,
      0.9166666666666666,
      0.9545454545454546,
      0.9545454545454546,
      0.9752475247524752,
      0.9752475247524752,
      0.9900990099009901,
      0.9900990099009901,
      1.0,
      1.0
    ]
  },
  "reasoning": {
    "kind": "isotonic",
    "X": [
      0.0,
      0.06,
      0.060000000000010004,
      0.08000000000004,
      0.08000000000005,
      0.19000000000002998,
      0.2,
      0.37,
      0.37000000000001004,
      0.39000000000001994,
      0.4,
      0.49000000000005994,
      0.5,
      0.7400000000000599,
      0.75,
      0.7900000000000099,
      0.79000000000005,
      0.85000000000004,
      0.85000000000005,
      0.8500000000000599,
      0.86,
      0.8800000000000501,
      0.88000000000006,
      0.9,
      0.9000000000000099,
      0.91000000000005,
      0.92,
      0.93000000000002,
      0.93000000000003,
      0.9300000000000399,
      0.93000000000005,
      0.94000000000005,
      0.94000000000006,
      0.9500000000000399,
      0.95000000000005,
      0.96000000000001,
      0.9600000000000201,
      0.97000000000005,
      0.9700000000000599,
      0.9800000000000201,
      0.98000000000003,
      1.00000000000006
    ],
    "y": [
      0.0,
      0.0,
      0.10810810810810811,
      0.10810810810810811,
      0.13380281690140844,
      0.13380281690140844,
      0.15168539325842698,
      0.15168539325842698,
      0.16666666666666666,
      0.16666666666666666,
      0.1927710843373494,
      0.1927710843373494,
      0.3191489361702128,
      0.3191489361702128,
      0.3888888888888889,
      0.3888888888888889,
      0.4716981132075472,
      0.4716981132075472,
      0.6,
      0.6,
      0.6481481481481481,
      0.6481481481481481,
      0.6666666666666666,
      0.6666666666666666,
      0.7272727272727273,
      0.7272727272727273,
      0.7468354430379747,
      0.7468354430379747,
      0.8,
      0.8,
      0.8072289156626506,
      0.8072289156626506,
      0.8888888888888888,
      0.8888888888888888,
      0.9148936170212766,
      0.9148936170212766,
      0.929368029739777,
      0.929368029739777,
      0.9375,
      0.9375,
      0.9376770538243626,
      0.9376770538243626
    ]
  },
  "coding": {
    "kind": "isotonic",
    "X": [
      0.0,
      3e-12,
      4e-12,
      5e-12,
      6e-12,
      0.0306122449039591,
      0.037037037042037,
      0.0689655172423793,
      0.0769230769270769,
      0.1578947368431052,
      0.1666666666666666,
      0.3333333333333333,
      0.3333333333353333,
      0.3636363636393636,
      0.36363636364236357,
      0.375000000002,
      0.3846153846203846,
      0.5714285714295714,
      0.5714285714305714,
      0.7692307692347693,
      0.7777777777787778,
      0.8395061728455061,
      0.840000000003,
      0.8823529411824705,
      0.900000000004,
      0.9411764705892351,
      0.942528735633184,
      1.000000000001,
      1.000000000002,
      1.000000000005,
      1.000000000006
    ],
    "y": [
      0.008108108108108109,
      0.008108108108108109,
      0.017045454545454544,
      0.017045454545454544,
      0.017142857142857144,
      0.017142857142857144,
      0.14285714285714285,
      0.14285714285714285,
      0.38095238095238093,
      0.38095238095238093,
      0.3888888888888889,
      0.3888888888888889,
      0.4,
      0.4,
      0.5,
      0.5,
      0.6,
      0.6,
      0.6744186046511628,
      0.6744186046511628,
      0.7777777777777778,
      0.7777777777777778,
      0.8571428571428571,
      0.8571428571428571,
      0.8695652173913043,
      0.8695652173913043,
      0.9505494505494505,
      0.9505494505494505,
      0.9530791788856305,
      0.9530791788856305,
      0.967391304347826
    ]
  }
}