dynamisk-rettsstat/fasit/data/p11.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
9.7 KiB
Text

t K U L T
0.00000 1.00000 0.80000 0.80000 1.00000
0.50000 1.00000 0.80000 0.80000 1.00000
1.00000 1.00000 0.80000 0.80000 1.00000
1.50000 1.00000 0.80000 0.80000 1.00000
2.00000 1.00000 0.80000 0.80000 1.00000
2.50000 1.00000 0.80000 0.80000 1.00000
3.00000 1.00000 0.80000 0.80000 1.00000
3.50000 1.00000 0.80000 0.80000 1.00000
4.00000 1.00000 0.80000 0.80000 1.00000
4.50000 1.00000 0.80000 0.80000 1.00000
5.00000 1.00000 0.80000 0.80000 1.00000
5.50000 1.00000 0.80000 0.80000 1.00000
6.00000 1.00000 0.80000 0.80000 1.00000
6.50000 1.00000 0.80000 0.80000 1.00000
7.00000 1.00000 0.80000 0.80000 1.00000
7.50000 1.00000 0.80000 0.80000 1.00000
8.00000 1.00000 0.80000 0.80000 1.00000
8.50000 1.00000 0.80000 0.80000 1.00000
9.00000 1.00000 0.80000 0.80000 1.00000
9.50000 1.00000 0.80000 0.80000 1.00000
10.00000 1.00000 0.80000 0.80000 1.00000
10.50000 1.00000 0.80000 0.80000 1.00000
11.00000 1.00000 0.80000 0.80000 1.00000
11.50000 1.00000 0.80000 0.80000 1.00000
12.00000 1.00000 0.80000 0.80000 1.00000
12.50000 1.01752 0.79971 0.80000 1.00000
13.00000 1.03402 0.79885 0.79998 1.00000
13.50000 1.04956 0.79752 0.79994 1.00000
14.00000 1.06419 0.79582 0.79987 1.00000
14.50000 1.07798 0.79381 0.79975 1.00000
15.00000 1.09096 0.79156 0.79958 1.00000
15.50000 1.10321 0.78913 0.79937 1.00000
16.00000 1.11475 0.78657 0.79911 1.00000
16.50000 1.12564 0.78391 0.79879 1.00000
17.00000 1.13592 0.78118 0.79843 1.00000
17.50000 1.14562 0.77843 0.79802 1.00000
18.00000 1.15479 0.77566 0.79756 1.00000
18.50000 1.16346 0.77291 0.79705 1.00000
19.00000 1.17166 0.77018 0.79650 1.00000
19.50000 1.17943 0.76749 0.79591 1.00000
20.00000 1.18678 0.76485 0.79529 1.00000
20.50000 1.19376 0.76226 0.79463 1.00000
21.00000 1.20038 0.75974 0.79394 1.00000
21.50000 1.20666 0.75729 0.79323 1.00000
22.00000 1.21264 0.75491 0.79249 1.00000
22.50000 1.21832 0.75261 0.79173 1.00000
23.00000 1.22373 0.75038 0.79095 1.00000
23.50000 1.22746 0.74824 0.79015 1.05257
24.00000 1.22802 0.74628 0.78935 1.10206
24.50000 1.22577 0.74457 0.78854 1.14867
25.00000 1.22108 0.74319 0.78773 1.19257
25.50000 1.21428 0.74217 0.78692 1.23393
26.00000 1.20569 0.74154 0.78614 1.27289
26.50000 1.19559 0.74132 0.78539 1.30962
27.00000 1.18427 0.74150 0.78467 1.34425
27.50000 1.17194 0.74208 0.78399 1.37692
28.00000 1.15883 0.74304 0.78337 1.40775
28.50000 1.14514 0.74436 0.78280 1.43687
29.00000 1.13102 0.74602 0.78230 1.46438
29.50000 1.11663 0.74799 0.78187 1.49039
30.00000 1.10209 0.75024 0.78151 1.51499
30.50000 1.08752 0.75274 0.78122 1.53829
31.00000 1.07300 0.75546 0.78102 1.56035
31.50000 1.05861 0.75837 0.78089 1.58128
32.00000 1.04443 0.76144 0.78084 1.60114
32.50000 1.03049 0.76465 0.78087 1.61999
33.00000 1.01685 0.76797 0.78098 1.63791
33.50000 1.00355 0.77138 0.78105 1.65496
34.00000 0.99062 0.77485 0.78080 1.67120
34.50000 0.97819 0.77836 0.77998 1.68239
35.00000 0.96665 0.78188 0.77862 1.68405
35.50000 0.95639 0.78538 0.77694 1.67731
36.00000 0.94765 0.78880 0.77526 1.66324
36.50000 0.94056 0.79210 0.77389 1.64284
37.00000 0.93519 0.79524 0.77306 1.61706
37.50000 0.93154 0.79816 0.77291 1.58678
38.00000 0.92957 0.80084 0.77344 1.55280
38.50000 0.92922 0.80325 0.77449 1.51582
39.00000 0.93045 0.80536 0.77582 1.47650
39.50000 0.93322 0.80715 0.77715 1.43541
40.00000 0.93749 0.80861 0.77846 1.39306
40.50000 0.94323 0.80972 0.77974 1.34989
41.00000 0.95037 0.81047 0.78097 1.30627
41.50000 0.95887 0.81086 0.78216 1.26255
42.00000 0.96868 0.81088 0.78330 1.21900
42.50000 0.97974 0.81053 0.78438 1.17584
43.00000 0.99200 0.80980 0.78540 1.13328
43.50000 1.00540 0.80871 0.78634 1.09148
44.00000 1.01990 0.80726 0.78720 1.05056
44.50000 1.03545 0.80544 0.78799 1.01064
45.00000 1.05200 0.80328 0.78868 0.97185
45.50000 1.06950 0.80076 0.78929 0.93456
46.00000 1.08787 0.79791 0.78980 0.89996
46.50000 1.10696 0.79473 0.79021 0.86917
47.00000 1.12657 0.79124 0.79053 0.84294
47.50000 1.14648 0.78746 0.79073 0.82168
48.00000 1.16644 0.78343 0.79084 0.80558
48.50000 1.18620 0.77916 0.79083 0.79463
49.00000 1.20550 0.77470 0.79072 0.78871
49.50000 1.22410 0.77010 0.79051 0.78766
50.00000 1.24176 0.76540 0.79019 0.79135
50.50000 1.25825 0.76064 0.78977 0.79966
51.00000 1.27333 0.75589 0.78925 0.81248
51.50000 1.28681 0.75118 0.78865 0.82968
52.00000 1.29847 0.74659 0.78796 0.85111
52.50000 1.30813 0.74215 0.78719 0.87662
53.00000 1.31563 0.73793 0.78636 0.90604
53.50000 1.32084 0.73399 0.78546 0.93922
54.00000 1.32362 0.73036 0.78452 0.97599
54.50000 1.32390 0.72710 0.78354 1.01620
55.00000 1.32162 0.72426 0.78253 1.05970
55.50000 1.31673 0.72188 0.78150 1.10635
56.00000 1.30924 0.72000 0.78047 1.15600
56.50000 1.29917 0.71865 0.77946 1.20851
57.00000 1.28656 0.71785 0.77846 1.26361
57.50000 1.27152 0.71764 0.77750 1.32088
58.00000 1.25419 0.71802 0.77659 1.37971
58.50000 1.23474 0.71901 0.77574 1.43944
59.00000 1.21342 0.72060 0.77497 1.49932
59.50000 1.19049 0.72279 0.77427 1.55859
60.00000 1.16626 0.72555 0.77367 1.61650
60.50000 1.14105 0.72887 0.77318 1.67230
61.00000 1.11519 0.73269 0.77279 1.72528
61.50000 1.08903 0.73699 0.77251 1.77474
62.00000 1.06291 0.74171 0.77171 1.82000
62.50000 1.03729 0.74679 0.76888 1.86042
63.00000 1.01278 0.75216 0.76289 1.89540
63.50000 0.99001 0.75774 0.75318 1.92439
64.00000 0.96956 0.76343 0.73977 1.94690
64.50000 0.95192 0.76913 0.72324 1.96251
65.00000 0.93740 0.77473 0.70460 1.97087
65.50000 0.92614 0.78013 0.68514 1.97171
66.00000 0.91813 0.78524 0.66615 1.96486
66.50000 0.91318 0.78997 0.64884 1.95020
67.00000 0.91104 0.79428 0.63421 1.92772
67.50000 0.91137 0.79811 0.62294 1.89750
68.00000 0.91383 0.80144 0.61546 1.85968
68.50000 0.91807 0.80426 0.61189 1.81456
69.00000 0.92381 0.80658 0.61208 1.76256
69.50000 0.93083 0.80839 0.61564 1.70422
70.00000 0.93898 0.80972 0.62187 1.64025
70.50000 0.94822 0.81059 0.62985 1.57147
71.00000 0.95862 0.81101 0.63837 1.49878
71.50000 0.97033 0.81099 0.64654 1.42315
72.00000 0.98351 0.81053 0.65431 1.34558
72.50000 0.99830 0.80963 0.66168 1.26709
73.00000 1.01478 0.80829 0.66866 1.18872
73.50000 1.03301 0.80649 0.67527 1.11188
74.00000 1.05298 0.80423 0.68150 1.03835
74.50000 1.07460 0.80151 0.68737 0.97003
75.00000 1.09770 0.79831 0.69288 0.90869
75.50000 1.12204 0.79465 0.69803 0.85576
76.00000 1.14727 0.79055 0.70284 0.81220
76.50000 1.17304 0.78602 0.70731 0.77843
77.00000 1.19893 0.78112 0.71145 0.75438
77.50000 1.22452 0.77587 0.71526 0.73955
78.00000 1.24941 0.77036 0.71875 0.73312
78.50000 1.27323 0.76462 0.72193 0.73412
79.00000 1.29564 0.75875 0.72482 0.74148
79.50000 1.31636 0.75279 0.72742 0.75421
80.00000 1.33516 0.74684 0.72975 0.77144
80.50000 1.35186 0.74096 0.73182 0.79248
81.00000 1.36630 0.73522 0.73365 0.81693
81.50000 1.37837 0.72969 0.73524 0.84466
82.00000 1.38794 0.72442 0.73663 0.87586
82.50000 1.39489 0.71947 0.73783 0.91098
83.00000 1.39908 0.71491 0.73885 0.95053
83.50000 1.40033 0.71079 0.73971 0.99489
84.00000 1.39851 0.70716 0.74044 1.04433
84.50000 1.39346 0.70407 0.74104 1.09903
85.00000 1.38508 0.70159 0.74155 1.15894
85.50000 1.37330 0.69975 0.74198 1.22380
86.00000 1.35809 0.69860 0.74235 1.29311
86.50000 1.33954 0.69818 0.74269 1.36611
87.00000 1.31780 0.69852 0.74300 1.44182
87.50000 1.29311 0.69964 0.74332 1.51913
88.00000 1.26580 0.70155 0.74366 1.59679
88.50000 1.23627 0.70424 0.74403 1.67357
89.00000 1.20499 0.70768 0.74446 1.74824
89.50000 1.17243 0.71185 0.74497 1.81969
90.00000 1.13911 0.71670 0.74549 1.88692
90.50000 1.10559 0.72216 0.74455 1.94908
91.00000 1.07270 0.72816 0.73955 2.00549
91.50000 1.04146 0.73459 0.72860 2.05558
92.00000 1.01297 0.74132 0.71090 2.09891
92.50000 0.98818 0.74822 0.68676 2.13512
93.00000 0.96783 0.75510 0.65749 2.16383
93.50000 0.95230 0.76182 0.62513 2.18468
94.00000 0.94169 0.76821 0.59197 2.19723
94.50000 0.93578 0.77414 0.56020 2.20100
95.00000 0.93415 0.77952 0.53162 2.19553
95.50000 0.93623 0.78425 0.50756 2.18039
96.00000 0.94139 0.78830 0.48882 2.15525
96.50000 0.94898 0.79164 0.47581 2.11989
97.00000 0.95839 0.79429 0.46857 2.07428
97.50000 0.96908 0.79627 0.46688 2.01863
98.00000 0.98063 0.79762 0.47031 1.95341
98.50000 0.99273 0.79839 0.47817 1.87934
99.00000 1.00520 0.79864 0.48955 1.79741
99.50000 1.01805 0.79840 0.50320 1.70882
100.00000 1.03144 0.79774 0.51753 1.61496
100.50000 1.04569 0.79666 0.53128 1.51729
101.00000 1.06114 0.79519 0.54432 1.41733
101.50000 1.07807 0.79331 0.55668 1.31678
102.00000 1.09668 0.79104 0.56839 1.21810
102.50000 1.11706 0.78834 0.57946 1.12439
103.00000 1.13915 0.78521 0.58993 1.03891
103.50000 1.16276 0.78165 0.59980 0.96455
104.00000 1.18756 0.77764 0.60909 0.90348
104.50000 1.21308 0.77322 0.61783 0.85691
105.00000 1.23881 0.76841 0.62603 0.82507
105.50000 1.26417 0.76326 0.63371 0.80734
106.00000 1.28859 0.75783 0.64088 0.80245
106.50000 1.31154 0.75220 0.64757 0.80869
107.00000 1.33256 0.74646 0.65379 0.82417
107.50000 1.35126 0.74068 0.65956 0.84693
108.00000 1.36737 0.73496 0.66491 0.87516
108.50000 1.38069 0.72940 0.66987 0.90725
109.00000 1.39114 0.72407 0.67444 0.94190
109.50000 1.39869 0.71904 0.67867 0.97818
110.00000 1.40340 0.71439 0.68257 1.01560
110.50000 1.40532 0.71016 0.68617 1.05415
111.00000 1.40452 0.70641 0.68950 1.09433
111.50000 1.40103 0.70318 0.69257 1.13708
112.00000 1.39484 0.70050 0.69543 1.18343
112.50000 1.38590 0.69840 0.69808 1.23422
113.00000 1.37412 0.69690 0.70057 1.29004
113.50000 1.35945 0.69606 0.70290 1.35117
114.00000 1.34183 0.69587 0.70510 1.41745
114.50000 1.32129 0.69639 0.70720 1.48828
115.00000 1.29790 0.69762 0.70921 1.56267
115.50000 1.27187 0.69957 0.71117 1.63925
116.00000 1.24347 0.70226 0.71309 1.71643
116.50000 1.21309 0.70567 0.71498 1.79251
117.00000 1.18119 0.70978 0.71688 1.86577
117.50000 1.14827 0.71455 0.71856 1.93463
118.00000 1.11500 0.71994 0.71800 1.99768
118.50000 1.08236 0.72586 0.71272 2.05378
119.00000 1.05153 0.73221 0.70116 2.10210
119.50000 1.02367 0.73886 0.68291 2.14206
120.00000 0.99975 0.74565 0.65875 2.17066