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

t K U L T Q tauD
0.00000 1.00000 0.80000 0.80000 1.00000 0.29126 3.00000
0.50000 1.00072 0.79999 0.80000 1.00000 0.29128 3.00015
1.00000 1.00141 0.79995 0.80000 1.00000 0.29133 3.00064
1.50000 1.00208 0.79990 0.80000 1.00000 0.29141 3.00143
2.00000 1.00272 0.79983 0.79999 1.00000 0.29153 3.00252
2.50000 1.00335 0.79974 0.79999 1.00000 0.29167 3.00389
3.00000 1.00395 0.79964 0.79998 1.00000 0.29184 3.00551
3.50000 1.00451 0.79953 0.79996 1.00215 0.29209 3.00784
4.00000 1.00500 0.79942 0.79995 1.00423 0.29246 3.01137
4.50000 1.00542 0.79931 0.79992 1.00623 0.29295 3.01602
5.00000 1.00579 0.79919 0.79990 1.00817 0.29354 3.02169
5.50000 1.00609 0.79907 0.79987 1.01004 0.29424 3.02830
6.00000 1.00634 0.79896 0.79983 1.01185 0.29503 3.03579
6.50000 1.00655 0.79886 0.79978 1.01353 0.29590 3.04407
7.00000 1.00671 0.79876 0.79973 1.01500 0.29684 3.05301
7.50000 1.00684 0.79866 0.79968 1.01627 0.29784 3.06249
8.00000 1.00693 0.79858 0.79962 1.01736 0.29888 3.07239
8.50000 1.00701 0.79850 0.79955 1.01827 0.29996 3.08260
9.00000 1.00707 0.79843 0.79948 1.01903 0.30105 3.09303
9.50000 1.00711 0.79836 0.79940 1.01964 0.30217 3.10358
10.00000 1.00714 0.79830 0.79932 1.02013 0.30328 3.11419
10.50000 1.00717 0.79825 0.79924 1.02051 0.30440 3.12479
11.00000 1.00720 0.79820 0.79915 1.02080 0.30551 3.13534
11.50000 1.00722 0.79816 0.79905 1.02103 0.30661 3.14578
12.00000 1.00725 0.79812 0.79896 1.02120 0.30769 3.15611
12.50000 1.02504 0.79779 0.79886 1.02133 0.30917 3.17017
13.00000 1.04222 0.79688 0.79874 1.02143 0.31152 3.19241
13.50000 1.05882 0.79548 0.79858 1.02152 0.31467 3.22238
14.00000 1.07486 0.79367 0.79836 1.02160 0.31859 3.25965
14.50000 1.09038 0.79151 0.79809 1.02167 0.32324 3.30381
15.00000 1.10539 0.78906 0.79774 1.02175 0.32858 3.35447
15.50000 1.11926 0.78638 0.79732 1.07512 0.33588 3.42386
16.00000 1.13127 0.78356 0.79679 1.12666 0.34664 3.52607
16.50000 1.14152 0.78068 0.79616 1.17645 0.36066 3.65927
17.00000 1.15013 0.77780 0.79540 1.22459 0.37775 3.82164
17.50000 1.15722 0.77498 0.79452 1.27113 0.39772 4.01136
18.00000 1.16291 0.77226 0.79350 1.31617 0.42039 4.22667
18.50000 1.16731 0.76969 0.79235 1.35779 0.44553 4.46556
19.00000 1.17064 0.76728 0.79108 1.39380 0.47279 4.72456
19.50000 1.17311 0.76506 0.78970 1.42455 0.50178 4.99994
20.00000 1.17490 0.76302 0.78820 1.45039 0.53213 5.28827
20.50000 1.17620 0.76116 0.78661 1.47167 0.56352 5.58648
21.00000 1.17715 0.75949 0.78493 1.48873 0.59566 5.89178
21.50000 1.17789 0.75798 0.78318 1.50194 0.62828 6.20169
22.00000 1.17852 0.75663 0.78137 1.51193 0.66117 6.51413
22.50000 1.17915 0.75542 0.77952 1.51933 0.69415 6.82743
23.00000 1.17982 0.75432 0.77762 1.52471 0.72709 7.14035
23.50000 1.18058 0.75333 0.77569 1.52860 0.75989 7.45200
24.00000 1.18147 0.75243 0.77375 1.53145 0.79250 7.76179
24.50000 1.17383 0.75175 0.77182 1.53366 0.80705 7.84603
25.00000 1.16650 0.75141 0.76995 1.53557 0.82062 7.92001
25.50000 1.15948 0.75136 0.76815 1.53744 0.83325 7.98416
26.00000 1.15274 0.75157 0.76642 1.53945 0.84496 8.03898
26.50000 1.14623 0.75198 0.76477 1.54175 0.85580 8.08502
27.00000 1.13994 0.75258 0.76320 1.54440 0.86580 8.12281
27.50000 1.13420 0.75332 0.76172 1.52148 0.87451 8.14837
28.00000 1.12940 0.75416 0.76032 1.49951 0.88140 8.15731
28.50000 1.12542 0.75505 0.75902 1.47845 0.88661 8.15107
29.00000 1.12220 0.75597 0.75780 1.45821 0.89025 8.13094
29.50000 1.11964 0.75689 0.75667 1.43870 0.89241 8.09806
30.00000 1.11767 0.75778 0.75563 1.41982 0.89318 8.05345
30.50000 1.11623 0.75862 0.75467 1.40260 0.89265 7.99811
31.00000 1.11520 0.75941 0.75380 1.38819 0.89096 7.93353
31.50000 1.11447 0.76013 0.75300 1.37627 0.88827 7.86113
32.00000 1.11395 0.76079 0.75229 1.36659 0.88471 7.78217
32.50000 1.11354 0.76139 0.75164 1.35891 0.88038 7.69771
33.00000 1.11319 0.76194 0.75107 1.35301 0.87537 7.60865
33.50000 1.11282 0.76243 0.75056 1.34869 0.86978 7.51578
34.00000 1.11239 0.76288 0.75012 1.34561 0.86367 7.41972
34.50000 1.11187 0.76329 0.74973 1.34342 0.85708 7.32096
35.00000 1.11122 0.76367 0.74941 1.34185 0.85006 7.21984
35.50000 1.11045 0.76403 0.74914 1.34063 0.84263 7.11657
36.00000 1.10953 0.76438 0.74892 1.33956 0.83480 7.01130
36.50000 1.10847 0.76472 0.74876 1.33846 0.82657 6.90409
37.00000 1.10728 0.76507 0.74865 1.33718 0.81794 6.79495
37.50000 1.10596 0.76541 0.74858 1.33561 0.80890 6.68384
38.00000 1.10452 0.76577 0.74857 1.33367 0.79944 6.57072
38.50000 1.10299 0.76613 0.74860 1.33134 0.78955 6.45551
39.00000 1.10137 0.76651 0.74868 1.32858 0.77921 6.33815
39.50000 1.09967 0.76690 0.74881 1.32541 0.76841 6.21857
40.00000 1.09791 0.76731 0.74898 1.32183 0.75714 6.09674
40.50000 1.09610 0.76773 0.74920 1.31787 0.74539 5.97260
41.00000 1.09424 0.76817 0.74946 1.31357 0.73315 5.84615
41.50000 1.09234 0.76862 0.74977 1.30898 0.72042 5.71738
42.00000 1.09042 0.76908 0.75013 1.30411 0.70720 5.58631
42.50000 1.08846 0.76956 0.75053 1.29902 0.69348 5.45298
43.00000 1.08648 0.77006 0.75098 1.29374 0.67926 5.31743
43.50000 1.08449 0.77056 0.75147 1.28829 0.66455 5.17973
44.00000 1.08247 0.77108 0.75202 1.28272 0.64936 5.03995
44.50000 1.08043 0.77161 0.75260 1.27703 0.63369 4.89818
45.00000 1.07837 0.77214 0.75324 1.27125 0.61754 4.75450
45.50000 1.07629 0.77269 0.75393 1.26539 0.60093 4.60902
46.00000 1.07419 0.77325 0.75466 1.25945 0.58388 4.46185
46.50000 1.07208 0.77381 0.75544 1.25346 0.56638 4.31310
47.00000 1.06994 0.77439 0.75627 1.24740 0.54846 4.16289
47.50000 1.06778 0.77497 0.75715 1.24128 0.53013 4.01136
48.00000 1.06561 0.77556 0.75809 1.23511 0.51140 3.85862
48.50000 1.06349 0.77616 0.75907 1.22888 0.49245 3.72423
49.00000 1.06154 0.77676 0.76009 1.22258 0.47346 3.58964
49.50000 1.05975 0.77735 0.76116 1.21623 0.45447 3.45499
50.00000 1.05811 0.77794 0.76226 1.20982 0.43549 3.32043
50.50000 1.05662 0.77851 0.76341 1.20334 0.41654 3.18611
51.00000 1.05527 0.77906 0.76460 1.19682 0.39765 3.05220
51.50000 1.05409 0.77960 0.76582 1.19048 0.37885 2.91889
52.00000 1.05320 0.78011 0.76699 1.18463 0.36018 2.78650
52.50000 1.05259 0.78058 0.76813 1.17925 0.34168 2.65540
53.00000 1.05227 0.78102 0.76922 1.17433 0.32342 2.52594
53.50000 1.05221 0.78141 0.77026 1.16985 0.30545 2.39852
54.00000 1.05241 0.78175 0.77126 1.16580 0.28782 2.27351
54.50000 1.05286 0.78205 0.77223 1.16227 0.27058 2.15132
55.00000 1.05356 0.78228 0.77315 1.15959 0.25381 2.03244
55.50000 1.05448 0.78246 0.77403 1.15778 0.23759 1.91741
56.00000 1.05562 0.78259 0.77487 1.15680 0.22199 1.80680
56.50000 1.05695 0.78265 0.77568 1.15662 0.20709 1.70115
57.00000 1.05847 0.78266 0.77644 1.15723 0.19296 1.60099
57.50000 1.06017 0.78261 0.77717 1.15859 0.17968 1.50683
58.00000 1.06203 0.78250 0.77786 1.16068 0.16731 1.41916
58.50000 1.06405 0.78234 0.77851 1.16345 0.15592 1.33838
59.00000 1.06620 0.78212 0.77913 1.16685 0.14554 1.26484
59.50000 1.06847 0.78185 0.77971 1.17085 0.13623 1.19879
60.00000 1.07084 0.78153 0.78025 1.17541 0.12798 1.14035
60.50000 1.07327 0.78116 0.78076 1.18050 0.12081 1.08952
61.00000 1.07572 0.78075 0.78124 1.18609 0.11469 1.04615
61.50000 1.07816 0.78030 0.78168 1.19214 0.10959 1.00996
62.00000 1.08054 0.77982 0.78209 1.19860 0.10544 0.98055
62.50000 1.08281 0.77931 0.78247 1.20541 0.10218 0.95741
63.00000 1.08492 0.77878 0.78281 1.21251 0.09972 0.93997
63.50000 1.08684 0.77825 0.78313 1.21980 0.09797 0.92758
64.00000 1.08852 0.77771 0.78341 1.22716 0.09685 0.91961
64.50000 1.08995 0.77718 0.78367 1.23448 0.09626 0.91542
65.00000 1.09109 0.77667 0.78391 1.24162 0.09611 0.91437
65.50000 1.09195 0.77618 0.78412 1.24843 0.09632 0.91588
66.00000 1.09253 0.77573 0.78431 1.25477 0.09682 0.91940
66.50000 1.09284 0.77531 0.78448 1.26053 0.09752 0.92441
67.00000 1.09291 0.77493 0.78463 1.26557 0.09837 0.93044
67.50000 1.09276 0.77460 0.78476 1.26984 0.09931 0.93708
68.00000 1.09242 0.77432 0.78489 1.27327 0.10028 0.94394
68.50000 1.09194 0.77409 0.78499 1.27585 0.10123 0.95072
69.00000 1.09134 0.77390 0.78509 1.27759 0.10214 0.95713
69.50000 1.09067 0.77376 0.78518 1.27852 0.10296 0.96297
70.00000 1.08997 0.77365 0.78526 1.27872 0.10368 0.96807
70.50000 1.08925 0.77359 0.78534 1.27827 0.10428 0.97230
71.00000 1.08855 0.77356 0.78541 1.27726 0.10475 0.97562
71.50000 1.08790 0.77355 0.78548 1.27581 0.10508 0.97799
72.00000 1.08731 0.77357 0.78554 1.27403 0.10529 0.97943
72.50000 1.08679 0.77361 0.78560 1.27202 0.10537 0.98001
73.00000 1.08635 0.77366 0.78566 1.26990 0.10533 0.97978
73.50000 1.08601 0.77372 0.78572 1.26775 0.10521 0.97887
74.00000 1.08575 0.77378 0.78577 1.26566 0.10500 0.97739
74.50000 1.08558 0.77384 0.78583 1.26369 0.10472 0.97545
75.00000 1.08550 0.77390 0.78588 1.26192 0.10440 0.97319
75.50000 1.08549 0.77395 0.78594 1.26036 0.10406 0.97073
76.00000 1.08554 0.77400 0.78599 1.25906 0.10370 0.96819
76.50000 1.08564 0.77404 0.78604 1.25802 0.10334 0.96567
77.00000 1.08579 0.77407 0.78609 1.25726 0.10300 0.96327
77.50000 1.08597 0.77409 0.78613 1.25675 0.10269 0.96105
78.00000 1.08617 0.77410 0.78618 1.25650 0.10241 0.95908
78.50000 1.08638 0.77410 0.78622 1.25646 0.10218 0.95740
79.00000 1.08659 0.77410 0.78626 1.25661 0.10198 0.95603
79.50000 1.08679 0.77408 0.78630 1.25693 0.10184 0.95498
80.00000 1.08698 0.77407 0.78634 1.25738 0.10173 0.95426
80.50000 1.08714 0.77404 0.78637 1.25792 0.10168 0.95384
81.00000 1.08728 0.77402 0.78640 1.25852 0.10166 0.95370
81.50000 1.08740 0.77399 0.78643 1.25914 0.10167 0.95381
82.00000 1.08748 0.77397 0.78646 1.25977 0.10172 0.95414
82.50000 1.08754 0.77394 0.78648 1.26038 0.10179 0.95463
83.00000 1.08757 0.77392 0.78651 1.26093 0.10188 0.95526
83.50000 1.08758 0.77389 0.78653 1.26143 0.10198 0.95598
84.00000 1.08756 0.77387 0.78655 1.26185 0.10208 0.95674
84.50000 1.08752 0.77386 0.78657 1.26220 0.10220 0.95753
85.00000 1.08747 0.77385 0.78658 1.26245 0.10230 0.95829
85.50000 1.08741 0.77384 0.78660 1.26262 0.10240 0.95901
86.00000 1.08733 0.77383 0.78662 1.26271 0.10250 0.95967
86.50000 1.08726 0.77383 0.78663 1.26273 0.10258 0.96024
87.00000 1.08718 0.77383 0.78665 1.26268 0.10264 0.96071
87.50000 1.08710 0.77383 0.78666 1.26257 0.10270 0.96109
88.00000 1.08703 0.77384 0.78667 1.26241 0.10274 0.96136
88.50000 1.08696 0.77385 0.78668 1.26222 0.10276 0.96153
89.00000 1.08691 0.77385 0.78670 1.26200 0.10277 0.96161
89.50000 1.08686 0.77386 0.78671 1.26177 0.10277 0.96160
90.00000 1.08682 0.77387 0.78672 1.26154 0.10276 0.96151
90.50000 1.08679 0.77388 0.78673 1.26131 0.10274 0.96137
91.00000 1.08677 0.77389 0.78674 1.26109 0.10271 0.96117
91.50000 1.08675 0.77390 0.78675 1.26089 0.10268 0.96094
92.00000 1.08675 0.77391 0.78676 1.26072 0.10264 0.96068
92.50000 1.08675 0.77392 0.78677 1.26057 0.10260 0.96041
93.00000 1.08676 0.77393 0.78678 1.26045 0.10256 0.96015
93.50000 1.08678 0.77393 0.78679 1.26036 0.10253 0.95989
94.00000 1.08679 0.77393 0.78680 1.26030 0.10250 0.95966
94.50000 1.08681 0.77394 0.78680 1.26026 0.10247 0.95944
95.00000 1.08683 0.77394 0.78681 1.26025 0.10244 0.95926
95.50000 1.08685 0.77394 0.78682 1.26026 0.10242 0.95911
96.00000 1.08687 0.77394 0.78683 1.26028 0.10240 0.95900
96.50000 1.08689 0.77394 0.78683 1.26033 0.10239 0.95891
97.00000 1.08691 0.77394 0.78684 1.26038 0.10238 0.95886
97.50000 1.08692 0.77394 0.78685 1.26044 0.10238 0.95885
98.00000 1.08694 0.77394 0.78685 1.26050 0.10238 0.95885
98.50000 1.08694 0.77393 0.78686 1.26056 0.10239 0.95888
99.00000 1.08695 0.77393 0.78686 1.26062 0.10239 0.95893
99.50000 1.08695 0.77393 0.78687 1.26068 0.10240 0.95900
100.00000 1.08695 0.77393 0.78687 1.26073 0.10241 0.95907
100.50000 1.08695 0.77393 0.78688 1.26077 0.10242 0.95915
101.00000 1.08695 0.77392 0.78688 1.26081 0.10244 0.95923
101.50000 1.08694 0.77392 0.78689 1.26083 0.10245 0.95931
102.00000 1.08693 0.77392 0.78689 1.26085 0.10246 0.95939
102.50000 1.08692 0.77392 0.78689 1.26086 0.10247 0.95946
103.00000 1.08691 0.77392 0.78690 1.26086 0.10248 0.95952
103.50000 1.08691 0.77392 0.78690 1.26085 0.10248 0.95957
104.00000 1.08690 0.77392 0.78690 1.26084 0.10249 0.95961
104.50000 1.08689 0.77393 0.78691 1.26082 0.10249 0.95964
105.00000 1.08688 0.77393 0.78691 1.26079 0.10250 0.95965
105.50000 1.08687 0.77393 0.78691 1.26077 0.10250 0.95966
106.00000 1.08687 0.77393 0.78691 1.26074 0.10250 0.95966
106.50000 1.08686 0.77393 0.78692 1.26072 0.10249 0.95965
107.00000 1.08686 0.77393 0.78692 1.26069 0.10249 0.95964
107.50000 1.08686 0.77393 0.78692 1.26067 0.10249 0.95962
108.00000 1.08686 0.77393 0.78692 1.26064 0.10249 0.95959
108.50000 1.08685 0.77394 0.78693 1.26062 0.10248 0.95956
109.00000 1.08685 0.77394 0.78693 1.26061 0.10248 0.95954
109.50000 1.08685 0.77394 0.78693 1.26059 0.10247 0.95951
110.00000 1.08686 0.77394 0.78693 1.26058 0.10247 0.95948
110.50000 1.08686 0.77394 0.78693 1.26057 0.10247 0.95945
111.00000 1.08686 0.77394 0.78694 1.26057 0.10246 0.95943
111.50000 1.08686 0.77394 0.78694 1.26056 0.10246 0.95941
112.00000 1.08686 0.77394 0.78694 1.26056 0.10246 0.95939
112.50000 1.08687 0.77394 0.78694 1.26056 0.10246 0.95938
113.00000 1.08687 0.77394 0.78694 1.26057 0.10245 0.95937
113.50000 1.08687 0.77394 0.78694 1.26057 0.10245 0.95936
114.00000 1.08687 0.77394 0.78694 1.26058 0.10245 0.95936
114.50000 1.08687 0.77394 0.78695 1.26058 0.10245 0.95936
115.00000 1.08687 0.77394 0.78695 1.26059 0.10245 0.95936
115.50000 1.08687 0.77394 0.78695 1.26060 0.10245 0.95937
116.00000 1.08687 0.77394 0.78695 1.26060 0.10246 0.95937
116.50000 1.08687 0.77394 0.78695 1.26060 0.10246 0.95938
117.00000 1.08687 0.77394 0.78695 1.26061 0.10246 0.95939
117.50000 1.08687 0.77394 0.78695 1.26061 0.10246 0.95940
118.00000 1.08687 0.77394 0.78695 1.26061 0.10246 0.95941
118.50000 1.08687 0.77394 0.78695 1.26062 0.10246 0.95941
119.00000 1.08687 0.77394 0.78695 1.26062 0.10246 0.95942
119.50000 1.08687 0.77394 0.78695 1.26062 0.10246 0.95943
120.00000 1.08687 0.77394 0.78696 1.26061 0.10246 0.95943