dynamisk-rettsstat/fasit/data/sat_C.dat
Kjell Tore Guttormsen 464ad38b49
feat: model core, launcher, reproduction check and the first two skills
The core in modell/kjerne/ is an unmodified copy of sim.py, diagnose.py and
forlop.py from den-dynamiske-rettsstaten @2badc25, pinned by sha256.
kjor.py is the single entry point; kontroll.py reproduces the note's 22 data
files and printed results. Skills: diagnose and forlop (Norwegian).

Co-Authored-By: Claude Fable 5.2 <noreply@anthropic.com>
2026-11-11 13:53:32 +01:00

242 lines
7.8 KiB
Text

t K Ks3 Ks15
0.00000 1.00000 1.00000 1.00000
0.50000 1.00000 1.00000 1.00000
1.00000 1.00000 1.00000 1.00000
1.50000 1.00000 1.00000 1.00000
2.00000 1.00000 1.00000 1.00000
2.50000 1.00000 1.00000 1.00000
3.00000 1.00000 1.00000 1.00000
3.50000 1.00000 1.00000 1.00000
4.00000 1.00000 1.00000 1.00000
4.50000 1.00000 1.00000 1.00000
5.00000 1.00000 1.00000 1.00000
5.50000 1.00000 1.00000 1.00000
6.00000 1.00000 1.00000 1.00000
6.50000 1.00000 1.00000 1.00000
7.00000 1.00000 1.00000 1.00000
7.50000 1.00000 1.00000 1.00000
8.00000 1.00000 1.00000 1.00000
8.50000 1.00000 1.00000 1.00000
9.00000 1.00000 1.00000 1.00000
9.50000 1.00000 1.00000 1.00000
10.00000 1.00000 1.00000 1.00000
10.50000 1.00000 1.00000 1.00000
11.00000 1.00000 1.00000 1.00000
11.50000 1.00000 1.00000 1.00000
12.00000 1.00000 1.00000 1.00000
12.50000 1.01752 1.01762 1.01768
13.00000 1.03402 1.03443 1.03467
13.50000 1.04956 1.05047 1.05101
14.00000 1.06419 1.06578 1.06673
14.50000 1.07798 1.08040 1.08187
15.00000 1.09096 1.09437 1.09644
15.50000 1.10321 1.10772 1.11048
16.00000 1.11475 1.12050 1.12403
16.50000 1.12564 1.13273 1.13709
17.00000 1.13592 1.14444 1.14971
17.50000 1.14562 1.15567 1.16190
18.00000 1.15479 1.16643 1.17368
18.50000 1.16346 1.17676 1.18508
19.00000 1.17166 1.18668 1.19612
19.50000 1.17943 1.19622 1.20681
20.00000 1.18678 1.20539 1.21718
20.50000 1.19376 1.21421 1.22723
21.00000 1.20038 1.22271 1.23700
21.50000 1.20666 1.23090 1.24648
22.00000 1.21264 1.23880 1.25570
22.50000 1.21832 1.24643 1.26467
23.00000 1.22373 1.25380 1.27340
23.50000 1.22746 1.25954 1.28055
24.00000 1.22802 1.26214 1.28461
24.50000 1.22577 1.26187 1.28581
25.00000 1.22108 1.25901 1.28436
25.50000 1.21428 1.25380 1.28048
26.00000 1.20569 1.24651 1.27435
26.50000 1.19559 1.23735 1.26619
27.00000 1.18427 1.22656 1.25617
27.50000 1.17194 1.21434 1.24448
28.00000 1.15883 1.20090 1.23130
28.50000 1.14514 1.18640 1.21678
29.00000 1.13102 1.17103 1.20109
29.50000 1.11663 1.15493 1.18436
30.00000 1.10209 1.13826 1.16674
30.50000 1.08752 1.12113 1.14835
31.00000 1.07300 1.10367 1.12933
31.50000 1.05861 1.08599 1.10978
32.00000 1.04443 1.06817 1.08981
32.50000 1.03049 1.05032 1.06952
33.00000 1.01685 1.03250 1.04901
33.50000 1.00355 1.01483 1.02846
34.00000 0.99062 0.99747 1.00810
34.50000 0.97819 0.98067 0.98828
35.00000 0.96665 0.96493 0.96962
35.50000 0.95639 0.95075 0.95271
36.00000 0.94765 0.93846 0.93798
36.50000 0.94056 0.92825 0.92568
37.00000 0.93519 0.92019 0.91591
37.50000 0.93154 0.91425 0.90863
38.00000 0.92957 0.91035 0.90374
38.50000 0.92922 0.90835 0.90104
39.00000 0.93045 0.90814 0.90035
39.50000 0.93322 0.90958 0.90147
40.00000 0.93749 0.91260 0.90422
40.50000 0.94323 0.91713 0.90850
41.00000 0.95037 0.92319 0.91424
41.50000 0.95887 0.93077 0.92144
42.00000 0.96868 0.93991 0.93016
42.50000 0.97974 0.95061 0.94048
43.00000 0.99200 0.96288 0.95246
43.50000 1.00540 0.97671 0.96615
44.00000 1.01990 0.99210 0.98162
44.50000 1.03545 1.00906 0.99891
45.00000 1.05200 1.02756 1.01803
45.50000 1.06950 1.04756 1.03899
46.00000 1.08787 1.06900 1.06170
46.50000 1.10696 1.09170 1.08602
47.00000 1.12657 1.11546 1.11171
47.50000 1.14648 1.14000 1.13849
48.00000 1.16644 1.16504 1.16603
48.50000 1.18620 1.19028 1.19400
49.00000 1.20550 1.21543 1.22207
49.50000 1.22410 1.24020 1.24991
50.00000 1.24176 1.26432 1.27724
50.50000 1.25825 1.28754 1.30378
51.00000 1.27333 1.30961 1.32928
51.50000 1.28681 1.33032 1.35351
52.00000 1.29847 1.34943 1.37626
52.50000 1.30813 1.36672 1.39732
53.00000 1.31563 1.38196 1.41648
53.50000 1.32084 1.39493 1.43351
54.00000 1.32362 1.40542 1.44819
54.50000 1.32390 1.41322 1.46027
55.00000 1.32162 1.41813 1.46952
55.50000 1.31673 1.41998 1.47569
56.00000 1.30924 1.41860 1.47857
56.50000 1.29917 1.41387 1.47794
57.00000 1.28656 1.40569 1.47360
57.50000 1.27152 1.39400 1.46540
58.00000 1.25419 1.37881 1.45326
58.50000 1.23474 1.36021 1.43715
59.00000 1.21342 1.33833 1.41711
59.50000 1.19049 1.31339 1.39330
60.00000 1.16626 1.28568 1.36590
60.50000 1.14105 1.25553 1.33520
61.00000 1.11519 1.22333 1.30154
61.50000 1.08903 1.18949 1.26531
62.00000 1.06291 1.15444 1.22694
62.50000 1.03729 1.11874 1.18692
63.00000 1.01278 1.08326 1.14608
63.50000 0.99001 1.04918 1.10575
64.00000 0.96956 1.01779 1.06760
64.50000 0.95192 0.99030 1.03338
65.00000 0.93740 0.96768 1.00465
65.50000 0.92614 0.95051 0.98249
66.00000 0.91813 0.93897 0.96740
66.50000 0.91318 0.93287 0.95933
67.00000 0.91104 0.93171 0.95773
67.50000 0.91137 0.93483 0.96177
68.00000 0.91383 0.94147 0.97043
68.50000 0.91807 0.95086 0.98269
69.00000 0.92381 0.96228 0.99756
69.50000 0.93083 0.97508 1.01415
70.00000 0.93898 0.98874 1.03170
70.50000 0.94822 1.00289 1.04962
71.00000 0.95862 1.01729 1.06746
71.50000 0.97033 1.03190 1.08498
72.00000 0.98351 1.04685 1.10212
72.50000 0.99830 1.06249 1.11909
73.00000 1.01478 1.07922 1.13629
73.50000 1.03301 1.09740 1.15429
74.00000 1.05298 1.11735 1.17357
74.50000 1.07460 1.13921 1.19453
75.00000 1.09770 1.16302 1.21739
75.50000 1.12204 1.18861 1.24215
76.00000 1.14727 1.21566 1.26859
76.50000 1.17304 1.24372 1.29629
77.00000 1.19893 1.27220 1.32466
77.50000 1.22452 1.30051 1.35301
78.00000 1.24941 1.32800 1.38062
78.50000 1.27323 1.35409 1.40679
79.00000 1.29564 1.37828 1.43091
79.50000 1.31636 1.40013 1.45247
80.00000 1.33516 1.41933 1.47106
80.50000 1.35186 1.43566 1.48643
81.00000 1.36630 1.44900 1.49842
81.50000 1.37837 1.45931 1.50700
82.00000 1.38794 1.46661 1.51220
82.50000 1.39489 1.47095 1.51413
83.00000 1.39908 1.47239 1.51293
83.50000 1.40033 1.47095 1.50874
84.00000 1.39851 1.46660 1.50166
84.50000 1.39346 1.45928 1.49172
85.00000 1.38508 1.44884 1.47889
85.50000 1.37330 1.43516 1.46306
86.00000 1.35809 1.41811 1.44411
86.50000 1.33954 1.39760 1.42191
87.00000 1.31780 1.37361 1.39638
87.50000 1.29311 1.34623 1.36751
88.00000 1.26580 1.31564 1.33539
88.50000 1.23627 1.28217 1.30023
89.00000 1.20499 1.24623 1.26237
89.50000 1.17243 1.20835 1.22249
90.00000 1.13911 1.16932 1.18188
90.50000 1.10559 1.13047 1.14237
91.00000 1.07270 1.09346 1.10602
91.50000 1.04146 1.06004 1.07475
92.00000 1.01297 1.03168 1.04995
92.50000 0.98818 1.00940 1.03235
93.00000 0.96783 0.99366 1.02199
93.50000 0.95230 0.98434 1.01834
94.00000 0.94169 0.98095 1.02049
94.50000 0.93578 0.98271 1.02739
95.00000 0.93415 0.98870 1.03795
95.50000 0.93623 0.99800 1.05114
96.00000 0.94139 1.00974 1.06607
96.50000 0.94898 1.02314 1.08195
97.00000 0.95839 1.03750 1.09816
97.50000 0.96908 1.05230 1.11421
98.00000 0.98063 1.06711 1.12978
98.50000 0.99273 1.08169 1.14470
99.00000 1.00520 1.09595 1.15900
99.50000 1.01805 1.11001 1.17290
100.00000 1.03144 1.12419 1.18687
100.50000 1.04569 1.13898 1.20148
101.00000 1.06114 1.15491 1.21728
101.50000 1.07807 1.17237 1.23461
102.00000 1.09668 1.19157 1.25363
102.50000 1.11706 1.21256 1.27422
103.00000 1.13915 1.23511 1.29604
103.50000 1.16276 1.25883 1.31856
104.00000 1.18756 1.28317 1.34112
104.50000 1.21308 1.30750 1.36304
105.00000 1.23881 1.33114 1.38365
105.50000 1.26417 1.35346 1.40236
106.00000 1.28859 1.37390 1.41870
106.50000 1.31154 1.39200 1.43230
107.00000 1.33256 1.40741 1.44292
107.50000 1.35126 1.41988 1.45044
108.00000 1.36737 1.42929 1.45484
108.50000 1.38069 1.43561 1.45618
109.00000 1.39114 1.43890 1.45459
109.50000 1.39869 1.43929 1.45025
110.00000 1.40340 1.43691 1.44335
110.50000 1.40532 1.43194 1.43407
111.00000 1.40452 1.42451 1.42254
111.50000 1.40103 1.41468 1.40882
112.00000 1.39484 1.40245 1.39289
112.50000 1.38590 1.38777 1.37467
113.00000 1.37412 1.37053 1.35407
113.50000 1.35945 1.35064 1.33099
114.00000 1.34183 1.32805 1.30540
114.50000 1.32129 1.30275 1.27733
115.00000 1.29790 1.27487 1.24693
115.50000 1.27187 1.24462 1.21449
116.00000 1.24347 1.21233 1.18062
116.50000 1.21309 1.17848 1.14638
117.00000 1.18119 1.14391 1.11313
117.50000 1.14827 1.10985 1.08235
118.00000 1.11500 1.07771 1.05539
118.50000 1.08236 1.04888 1.03325
119.00000 1.05153 1.02448 1.01649
119.50000 1.02367 1.00523 1.00522
120.00000 0.99975 0.99141 0.99915