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
|
==========================================
erewrite in PRNG-TEST1 : start .
rewrites: 104
result Configuration: <> deletedPrng(myObj, prng(0)) < myObj : Rlist | count :
0, numbers : (2357136044 2546248239 3071714933 3626093760 2588848963
3684848379 2340255427 3638918503 1819583497 2678185683 2774094101
1650906866 1879422756 1277901399 3830135878 243580376 4138900056 1171049868
1646868794 2051556033 3400433126 3488238119 2271586391 2061486254
2439732824 1686997841 3975407269 3590930969 305097549 1449105480 374217481
2783877012 86837363 1581585360 3576074995 4110950085 3342157822 602801999
3736673711 3736996288 4203133778 2034131043 3432359896 3439885489
1982038771 2235433757 3352347283 2915765395 507984782 3095093671 2748439840
2499755969 615697673 2308000441 4057322111 3258229280 2241321503 454869706
1780959476 2034098327 1136257699 800291326 3325308363 3165039474 1959150775
930076700 2441405218 580757632 80701568 1392175012 2652724277 642848645
2628931110 954863080 2649711348 1659957521 4053367119 3876630916 2928395881
1932520490 1544074682 2633087519 1877037944 3875557633 2996303169 426405863
258666409 4165298233 2863741219 2805215078 2880367735 734051083 903586222
1538251858 553734235 3224172416 1354754446 2610612835 1562125877 1396067212
2448976505) >
==========================================
erewrite in PRNG-TEST2 : start .
rewrites: 102
result Configuration: <> deletedPrng(myObj, prng(0)) < myObj : Rlist | count :
0, numbers : (14514284786278117030 4620546740167642908 13109570281517897720
17462938647148434322 355488278567739596 7469126240319926998
4635995468481642529 418970542659199878 9604170989252516556
6358044926049913402 5058016125798318033 10349215569089701407
2583272014892537200 10032373690199166667 9627645531742285868
15810285301089087632 9219209713614924562 7736011505917826031
13729552270962724157 4596340717661012313 4413874586873285858
5904155143473820934 16795776195466785825 3040631852046752166
4529279813148173111 3658352497551999605 13205889818278417278
17853215078830450730 14193508720503142180 1488787817663097441
8484116316263611556 4745643133208116498 14333959900198994173
10770733876927207790 17529942701849009476 8081518017574486547
5945178879512507902 9821139136195250096 4728986788662773602
840062144447779464 9315169977352719788 12843335216705846126
1682692516156909696 16733405176195045732 570275675392078508
2804578118555336986 18105853946332827420 11444576169427052165
5511269538150904327 6665263661402689669 8872308438533970361
5494304472256329401 5260777597240341458 17048363385688465216
11601203342555724204 13927871433293278342 13168989862813642697
13332527631701716084 1288265801825883165 8980511589347843149
1639193574298669424 14012553476551396225 7818048564976445173
11012385938523194722 1594098091654903511 5035242355473277827
11507220397369885600 4097669440061230013 4158775797243890311
8008476757622511610 18212599999684195413 3892070972454396029
15739033291548026583 5240984520368774617 15428220128146522508
6764778500174078837 17250425930626079997 15862445320841941901
9055707723866709616 407278260229756649 6679883267401891436
13585010976506536654 9580697194899010248 7802093638911637786
535562807229422763 16772549087470588412 2069348082463192648
18080878539236249869 12688200000096479737 8989665349769173357
13575112928849473200 10859033464356012248 9748216112997718693
8405158063935141693 15279502632583570477 16055899490125284200
9066388900883848980 17884680971936629565 16395391805201036549
2550532686790805254) >
Bye.
|
