summaryrefslogtreecommitdiff
path: root/tests/general/lgint.std
blob: ac712fcb6ad6f52d812f1f621fddf9bff16a952e (plain)
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
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413

    a =  1618033988749894848204586834365638117720309
    b = -2718281828459045235360287471352662497757247
    c =  3141592653589793238462643383279502884197169
a + b = -1100247839709150387155700636987024380036938
b + c =   423310825130748003102355911926840386439922
c + a =  4759626642339688086667230217645141001917478

minint = -18446744073709551616
maxint = 18446744073709551615
-minint = 18446744073709551616
abs(min) = 18446744073709551616
minint * -1 = 18446744073709551616
minint / -1 = 18446744073709551616
(2^32)^2 = 18446744073709551616

1! = 1
12! = 479001600
23! = 25852016738884976640000
34! = 295232799039604140847618609643520000000
45! = 119622220865480194561963161495657715064383733760000000000

F(35) = 9227465
F(69) = 117669030460994
F(103) = 1500520536206896083277
F(137) = 19134702400093278081449423917
F(171) = 244006547798191185585064349218729154
F(205) = 3111581989804070186099320645726169127737705
F(239) = 39679027332006820581608740953902289877834488152161
F(273) = 505988662735923140767969869749836918999964413630219877218
F(307) = 6452389184720949856740872794933738025334109298792472139250504213
F(341) = 82281144336295989585340713815384441479925901307982452831610787275979941

M(61) = 2305843009213693951
M(89) = 618970019642690137449562111
M(107) = 162259276829213363391578010288127
M(127) = 170141183460469231731687303715884105727

P(31) = 2305843008139952128
P(61) = 2658455991569831744654692615953842176
P(89) = 191561942608236107294793378084303638130997321548169216
P(107) = 13164036458569648337239753460458722910223472318386943117783728128

11213 ^ 2 = 125731369
11213 ^ 3 = 1409825840597
11213 ^ 4 = 15808377150614161
11213 ^ 5 = 177259332989836587293
11213 ^ 6 = 1987608900815037653316409
11213 ^ 7 = 22287058604839017206636894117
11213 ^ 8 = 249904788136059899938019493733921
11213 ^ 9 = 2802182389369639658005012583238456173
11213 ^ 10 = 31420871132001769485210206095852809067849
11213 ^ 11 = 352322228003135841237662040952797548077790837
11213 ^ 12 = 3950589142599162187797904465203718906596268655281
11213 ^ 13 = 44297956055964405611777902768329300099663960431665853
11213 ^ 14 = 496712981255528880124865623741276442017531988320269209689
11213 ^ 15 = 5569642658818245332840118239010932744342586185035178648242757
11213 ^ 16 = 62452403133328984917136245814029588862313418892799458182746034241

3 ^ 60 = 42391158275216203514294433201
3 ^ 61 = 127173474825648610542883299603
3 ^ 62 = integer(~10^30)
3 ^ 63 = integer(~10^30)
3 ^ 64 = integer(~10^31)
3 ^ 65 = integer(~10^31)
3 ^ 66 = integer(~10^31)
3 ^ 67 = integer(~10^32)
3 ^ 68 = integer(~10^32)
3 ^ 69 = integer(~10^33)
3 ^ 70 = integer(~10^33)
3 ^ 71 = integer(~10^34)
3 ^ 72 = integer(~10^34)
3 ^ 73 = integer(~10^35)
3 ^ 74 = integer(~10^35)
3 ^ 75 = integer(~10^36)

 2 ^ 63 =   9223372036854775808
 3 ^ 40 =  12157665459056928801
 5 ^ 28 =  37252902984619140625
 7 ^ 23 =  27368747340080916343
11 ^ 19 =  61159090448414546291
13 ^ 18 = 112455406951957393129
17 ^ 16 =  48661191875666868481
19 ^ 15 =  15181127029874798299
23 ^ 14 =  11592836324538749809
29 ^ 13 =  10260628712958602189
31 ^ 13 =  24417546297445042591
37 ^ 13 = 243569224216081305397
41 ^ 12 =  22563490300366186081
43 ^ 12 =  39959630797262576401
47 ^ 12 = 116191483108948578241
53 ^ 11 =   9269035929372191597
59 ^ 11 =  30155888444737842659
61 ^ 11 =  43513917611435838661
67 ^ 11 = 122130132904968017083
71 ^ 11 = 231122292121701565271
73 ^ 11 = 313726685568359708377
79 ^ 10 =   9468276082626847201
83 ^ 10 =  15516041187205853449
89 ^ 10 =  31181719929966183601
97 ^ 10 =  73742412689492826049

       v = 3
  -2 ^ v = -8
  -1 ^ v = -1
   0 ^ v = 0
   1 ^ v = 1
   2 ^ v = 8
-1.5 ^ v = -3.375
-1.0 ^ v = -1.0
-0.5 ^ v = -0.125
 0.0 ^ v = 0.0
 0.5 ^ v = 0.125
 1.0 ^ v = 1.0
 1.5 ^ v = 3.375
       v = 6
  -2 ^ v = 64
  -1 ^ v = 1
   0 ^ v = 0
   1 ^ v = 1
   2 ^ v = 64
-1.5 ^ v = 11.390625
-1.0 ^ v = 1.0
-0.5 ^ v = 0.015625
 0.0 ^ v = 0.0
 0.5 ^ v = 0.015625
 1.0 ^ v = 1.0
 1.5 ^ v = 11.390625
       v = -7
  -2 ^ v = 0
  -1 ^ v = -1
   0 ^ v = error 204
   1 ^ v = 1
   2 ^ v = 0
-1.5 ^ v = -0.05852766347
-1.0 ^ v = -1.0
-0.5 ^ v = -128.0
 0.0 ^ v = error 204
 0.5 ^ v = 128.0
 1.0 ^ v = 1.0
 1.5 ^ v = 0.05852766347

2 ^ 84 = 19342813113834066795298816
3 ^ 53 = 19383245667680019896796723
5 ^ 36 = 14551915228366851806640625
7 ^ 30 = 22539340290692258087863249
10 ^ 25 = 10000000000000000000000000
17 ^ 21 = 69091933913008732880827217
51 ^ 15 = 41072642160770556400888251
-3 ^ 54 = 58149737003040059690390169
-11 ^ 26 = 1191817653772720942460132761
-43 ^ 16 = 136614025729312093462315201

9 ^ 27 = 58149737003040059690390169
27 ^ 18 = 58149737003040059690390169
81 ^ 14 = 523347633027360537213511521
243 ^ 11 = 174449211009120179071170507
729 ^ 9 = 58149737003040059690390169
2187 ^ 8 = 523347633027360537213511521
6561 ^ 7 = 523347633027360537213511521
19683 ^ 6 = 58149737003040059690390169
59049 ^ 6 = 42391158275216203514294433201
177147 ^ 5 = 174449211009120179071170507
531441 ^ 5 = 42391158275216203514294433201
1594323 ^ 5 = 10301051460877537453973547267843
4782969 ^ 4 = 523347633027360537213511521
14348907 ^ 4 = 42391158275216203514294433201
43046721 ^ 4 = 3433683820292512484657849089281
129140163 ^ 4 = 278128389443693511257285776231761
387420489 ^ 3 = 58149737003040059690390169
1162261467 ^ 3 = 1570042899082081611640534563
3486784401 ^ 3 = 42391158275216203514294433201
10460353203 ^ 3 = 1144561273430837494885949696427
31381059609 ^ 3 = 30903154382632612361920641803529
94143178827 ^ 3 = 834385168331080533771857328695283
282429536481 ^ 3 = 22528399544939174411840147874772641
847288609443 ^ 3 = 608266787713357709119683992618861307
2541865828329 ^ 3 = 16423203268260658146231467800709255289
7625597484987 ^ 2 = 58149737003040059690390169
22876792454961 ^ 2 = 523347633027360537213511521
68630377364883 ^ 2 = 4710128697246244834921603689
205891132094649 ^ 2 = 42391158275216203514294433201
617673396283947 ^ 2 = 381520424476945831628649898809
1853020188851841 ^ 2 = 3433683820292512484657849089281
5559060566555523 ^ 2 = 30903154382632612361920641803529
16677181699666569 ^ 2 = 278128389443693511257285776231761
50031545098999707 ^ 2 = 2503155504993241601315571986085849
150094635296999121 ^ 2 = 22528399544939174411840147874772641
450283905890997363 ^ 2 = 202755595904452569706561330872953769
1350851717672992089 ^ 2 = 1824800363140073127359051977856583921
4052555153018976267 ^ 2 = 16423203268260658146231467800709255289
12157665459056928801 ^ 2 = 147808829414345923316083210206383297601
36472996377170786403 ^ 2 = 1330279464729113309844748891857449678409
109418989131512359209 ^ 2 = 11972515182562019788602740026717047105681
328256967394537077627 ^ 2 = 107752636643058178097424660240453423951129
984770902183611232881 ^ 2 = 969773729787523602876821942164080815560161
2954312706550833698643 ^ 2 = 8727963568087712425891397479476727340041449
8862938119652501095929 ^ 2 = 78551672112789411833022577315290546060373041
26588814358957503287787 ^ 2 = 706965049015104706497203195837614914543357369
79766443076872509863361 ^ 2 = 6362685441135942358474828762538534230890216321
239299329230617529590083 ^ 2 = 57264168970223481226273458862846808078011946889
717897987691852588770249 ^ 2 = 515377520732011331036461129765621272702107522001

conv ok: 787
conv ok: 619369
conv ok: 487443403
conv ok: 383617958161
conv ok: 301907333072707
conv ok: 237601071128220409
conv ok: 186992042977909461883
conv ok: 147162737823614746501921
conv ok: 115817074667184805497011827
conv ok: 91148037763074441926148307849
conv ok: 71733505719539585795878718277163
conv ok: 56454269001277654021356551284127281
conv ok: 44429509704005513714807605860608170147
conv ok: 34966024137052339293553585812298629905689
conv ok: 27518260995860191024026672034279021735777243
conv ok: 21656871403741970335908990890977590106056690241
conv ok: 17043957794744930654360375831199363413466615219667
conv ok: 13413594784464260424981615779153899006398226177877929
conv ok: 10556499095373372954460531618194118518035404001989930123
conv ok: 8307964788058844515160438383518771273693862949566075006801
conv ok: 6538368288202310633431265007829272992397070141308501030352387
conv ok: 5145695842815218468510405561161637845016494201209790310887328569
conv ok: 4049662628295576934717689176634208984027980936352104974668327583803
conv ok: 3187084488468619047622821382011122470430020996909106615063973808452961
conv ok: -5781
conv ok: 33419961
conv ok: -193200794541
conv ok: 1116893793241521
conv ok: -6456763018729232901
conv ok: 37326547011273695400681
conv ok: -215784768272173233111336861
conv ok: 1247451745381433460616638393441
conv ok: -7211518540050066835824786552482421
conv ok: 41689788680029436377903091059900875801
conv ok: -241008668359250171700657769417286963005581
conv ok: 1393271111784825242601502565001335933135263761
conv ok: -8054500297228074727479286328272723029454959802341
conv ok: 46563066218275499999557754263744611833279122617333321
conv ok: -269181085807850665497443377398707601008186607850803928701
conv ok: 1556135857055184697240720164741928641428326779985497511820481
conv ok: -8996021389636022734748603272373089476097157115096161115834200661
conv ok: 52005999653485847429581675517588830261317665282370907410637514021241

2R1111111111111111111111111111111111111111111111111111111111111111 = 18446744073709551615
3R2222222222222222222222222222222222222222 = 12157665459056928800
4R33333333333333333333333333333333 = 18446744073709551615
5R4444444444444444444444444444 = 37252902984619140624
6R5555555555555555555555555 = 28430288029929701375
7R66666666666666666666666 = 27368747340080916342
8R7777777777777777777777 = 73786976294838206463
9R88888888888888888888 = 12157665459056928800
10R9999999999999999999 = 9999999999999999999
11Raaaaaaaaaaaaaaaaaaa = 61159090448414546290
12Rbbbbbbbbbbbbbbbbbb = 26623333280885243903
13Rcccccccccccccccccc = 112455406951957393128
14Rddddddddddddddddd = 30491346729331195903
15Reeeeeeeeeeeeeeeee = 98526125335693359374
16Rffffffffffffffff = 18446744073709551615
17Rgggggggggggggggg = 48661191875666868480
18Rhhhhhhhhhhhhhhhh = 121439531096594251775
19Riiiiiiiiiiiiiii = 15181127029874798298
20Rjjjjjjjjjjjjjjj = 32767999999999999999
21Rkkkkkkkkkkkkkkk = 68122318582951682300
22Rlllllllllllllll = 136880068015412051967
23Rmmmmmmmmmmmmmm = 11592836324538749808
24Rnnnnnnnnnnnnnn = 21035720123168587775
25Roooooooooooooo = 37252902984619140624
26Rpppppppppppppp = 64509974703297150975
27Rqqqqqqqqqqqqqq = 109418989131512359208
28Rrrrrrrrrrrrrrr = 182059119829942534143
29Rsssssssssssss = 10260628712958602188
30Rttttttttttttt = 15943229999999999999
31Ruuuuuuuuuuuuu = 24417546297445042590
32Rvvvvvvvvvvvvv = 36893488147419103231
33Rwwwwwwwwwwwww = 55040353993448503712
34Rxxxxxxxxxxxxx = 81138303245565435903
35Ryyyyyyyyyyyyy = 118272717781982421874
36rZZZZZZZZZZ = 3656158440062975
36rZZZZZZZZZZZ = 131621703842267135
36rZZZZZZZZZZZZ = 4738381338321616895
36rZZZZZZZZZZZZZ = 170581728179578208255
36rZZZZZZZZZZZZZZ = 6140942214464815497215
36rZZZZZZZZZZZZZZZ = 221073919720733357899775
36rZZZZZZZZZZZZZZZZ = 7958661109946400884391935
36rZZZZZZZZZZZZZZZZZ = 286511799958070431838109695
36rZZZZZZZZZZZZZZZZZZ = 10314424798490535546171949055
36rZZZZZZZZZZZZZZZZZZZ = 371319292745659279662190166015
36rZZZZZZZZZZZZZZZZZZZZ = 13367494538843734067838845976575

110000
1073851824
2147703648
1000000000
2073741824
4300405152606846976
-110000
-1073851824
-2147593648

u:  37  -37  -38  ~= > >=
u:  5.0  -5.0  -6 
u:  9223372036854775808  -9223372036854775808  -9223372036854775809  ~= > >=
u:  61159090448414546291  -61159090448414546291  -61159090448414546292  ~= > >=
u:  37252902984619140625  -37252902984619140625  -37252902984619140626  ~= > >=
u:  73  -73  -74  ~= > >=
u:  9.0  -9.0  -10 
u:  -27368747340080916343  27368747340080916343  27368747340080916342  < <= ~=
u:  -12157665459056928801  12157665459056928801  12157665459056928800  < <= ~=
u:  48661191875666868481  -48661191875666868481  -48661191875666868482  ~= > >=

b:  37  73  < <= ~=
    +-   110  -36
    */%  2701  0  37
    &|!  1  109  108
b:  37  9.0  ~= > >=
    +-   46.0  28.0
    */%  333.0  4.111111111  1.0
    &|!  1  45  44
b:  37  -27368747340080916343  ~= > >=
    +-   -27368747340080916306  27368747340080916380
    */%  -1012643651582993904691  0  37
    &|!  1  -27368747340080916307  -27368747340080916308
b:  37  -12157665459056928801  ~= > >=
    +-   -12157665459056928764  12157665459056928838
    */%  -449833621985106365637  0  37
    &|!  5  -12157665459056928769  -12157665459056928774
b:  37  48661191875666868481  < <= ~=
    +-   48661191875666868518  -48661191875666868444
    */%  1800464099399674133797  0  37
    &|!  1  48661191875666868517  48661191875666868516
b:  5.0  73 
    +-   78.0  -68.0
    */%  365.0  0.06849315068  5.0
    &|!  1  77  76
b:  5.0  9.0  < <= ~=
    +-   14.0  -4.0
    */%  45.0  0.5555555556  5.0
    &|!  1  13  12
b:  5.0  -27368747340080916343 
    +-   -2.736874734e+19  2.736874734e+19
    */%  -1.368437367e+20  -1.826901297e-19  5.0
    &|!  1  -27368747340080916339  -27368747340080916340
b:  5.0  -12157665459056928801 
    +-   -1.215766546e+19  1.215766546e+19
    */%  -6.07883273e+19  -4.11263167e-19  5.0
    &|!  5  -12157665459056928801  -12157665459056928806
b:  5.0  48661191875666868481 
    +-   4.866119188e+19  -4.866119188e+19
    */%  2.433059594e+20  1.027512851e-19  5.0
    &|!  1  48661191875666868485  48661191875666868484
b:  9223372036854775808  73  ~= > >=
    +-   9223372036854775881  9223372036854775735
    */%  673306158690398633984  126347562148695559  1
    &|!  0  9223372036854775881  9223372036854775881
b:  9223372036854775808  9.0  ~= > >=
    +-   9.223372037e+18  9.223372037e+18
    */%  8.301034833e+19  1.024819115e+18  8.0
    &|!  0  9223372036854775817  9223372036854775817
b:  9223372036854775808  -27368747340080916343  ~= > >=
    +-   -18145375303226140535  36592119376935692151
    */%  -252432138900245848896847100400468230144  0  9223372036854775808
    &|!  9223372036854775808  -27368747340080916343  -36592119376935692151
b:  9223372036854775808  -12157665459056928801  ~= > >=
    +-   -2934293422202152993  21381037495911704609
    */%  -112134671628500858351345486069873246208  0  9223372036854775808
    &|!  0  -2934293422202152993  -2934293422202152993
b:  9223372036854775808  48661191875666868481  < <= ~=
    +-   57884563912521644289  -39437819838812092673
    */%  448820276426050593203111380360676507648  0  9223372036854775808
    &|!  9223372036854775808  48661191875666868481  39437819838812092673
b:  61159090448414546291  73  ~= > >=
    +-   61159090448414546364  61159090448414546218
    */%  4464613602734261879243  837795759567322551  68
    &|!  65  61159090448414546299  61159090448414546234
b:  61159090448414546291  9.0  ~= > >=
    +-   6.115909045e+19  6.115909045e+19
    */%  5.50431814e+20  6.795454494e+18  5.0
    &|!  1  61159090448414546299  61159090448414546298
b:  61159090448414546291  -27368747340080916343  ~= > >=
    +-   33790343108333629948  88527837788495462634
    */%  -1673847694031813790959405051173871933813  -2  6421595768252713605
    &|!  36893677298903685121  -3103334190570055173  -39997011489473740294
b:  61159090448414546291  -12157665459056928801  ~= > >=
    +-   49001424989357617490  73316755907471475092
    */%  -743551761452028064444726055040305627091  -5  370763153129902286
    &|!  61122863661437686099  -12121438672080068609  -73244302333517754708
b:  61159090448414546291  48661191875666868481  ~= > >=
    +-   109820282324081414772  12497898572747677810
    */%  2976074235251565096354096402968383353971  1  12497898572747677810
    &|!  36911511549794588929  72908770774286825843  35997259224492236914
b:  37252902984619140625  73  ~= > >=
    +-   37252902984619140698  37252902984619140552
    */%  2719461917877197265625  510313739515330693  36
    &|!  1  37252902984619140697  37252902984619140696
b:  37252902984619140625  9.0  ~= > >=
    +-   3.725290298e+19  3.725290298e+19
    */%  3.352761269e+20  4.139211443e+18  8.0
    &|!  1  37252902984619140633  37252902984619140632
b:  37252902984619140625  -27368747340080916343  ~= > >=
    +-   9884155644538224282  64621650324700056968
    */%  -1019565289470587534569203853607177734375  -1  9884155644538224282
    &|!  37194285120097353729  -27310129475559129447  -64504414595656483176
b:  37252902984619140625  -12157665459056928801  ~= > >=
    +-   25095237525562211824  49410568443676069426
    */%  -452908331865702897347509860992431640625  -3  779906607448354222
    &|!  37200930984991655441  -12105693459429443617  -49306624444421099058
b:  37252902984619140625  48661191875666868481  < <= ~=
    +-   85914094860286009106  -11408288891047727856
    */%  1812770660060154962576925754547119140625  0  37252902984619140625
    &|!  36914950757738881025  48999144102547128081  12084193344808247056