1# Automatically generated by generate_bignum_tests.py. Do not edit!
2
3MPI add #1 0 (null) + 0 (null)
4mpi_add_mpi:"":"":"0"
5
6MPI add #2 0 (null) + 0 (1 limb)
7mpi_add_mpi:"":"0":"0"
8
9MPI add #3 0 (null) + negative 0 (null)
10mpi_add_mpi:"":"-":"0"
11
12MPI add #4 0 (null) + negative with leading zero limb
13mpi_add_mpi:"":"-0":"0"
14
15MPI add #5 0 (null) + positive
16mpi_add_mpi:"":"7b":"7b"
17
18MPI add #6 0 (null) + negative
19mpi_add_mpi:"":"-7b":"-7b"
20
21MPI add #7 0 (null) + positive with leading zero limb
22mpi_add_mpi:"":"0000000000000000123":"123"
23
24MPI add #8 0 (null) + negative with leading zero limb
25mpi_add_mpi:"":"-0000000000000000123":"-123"
26
27MPI add #9 0 (null) + large positive
28mpi_add_mpi:"":"1230000000000000000":"1230000000000000000"
29
30MPI add #10 0 (null) + large negative
31mpi_add_mpi:"":"-1230000000000000000":"-1230000000000000000"
32
33MPI add #11 0 (1 limb) + 0 (null)
34mpi_add_mpi:"0":"":"0"
35
36MPI add #12 0 (1 limb) + 0 (1 limb)
37mpi_add_mpi:"0":"0":"0"
38
39MPI add #13 0 (1 limb) + negative 0 (null)
40mpi_add_mpi:"0":"-":"0"
41
42MPI add #14 0 (1 limb) + negative with leading zero limb
43mpi_add_mpi:"0":"-0":"0"
44
45MPI add #15 0 (1 limb) + positive
46mpi_add_mpi:"0":"7b":"7b"
47
48MPI add #16 0 (1 limb) + negative
49mpi_add_mpi:"0":"-7b":"-7b"
50
51MPI add #17 0 (1 limb) + positive with leading zero limb
52mpi_add_mpi:"0":"0000000000000000123":"123"
53
54MPI add #18 0 (1 limb) + negative with leading zero limb
55mpi_add_mpi:"0":"-0000000000000000123":"-123"
56
57MPI add #19 0 (1 limb) + large positive
58mpi_add_mpi:"0":"1230000000000000000":"1230000000000000000"
59
60MPI add #20 0 (1 limb) + large negative
61mpi_add_mpi:"0":"-1230000000000000000":"-1230000000000000000"
62
63MPI add #21 negative 0 (null) + 0 (null)
64mpi_add_mpi:"-":"":"0"
65
66MPI add #22 negative 0 (null) + 0 (1 limb)
67mpi_add_mpi:"-":"0":"0"
68
69MPI add #23 negative 0 (null) + negative 0 (null)
70mpi_add_mpi:"-":"-":"0"
71
72MPI add #24 negative 0 (null) + negative with leading zero limb
73mpi_add_mpi:"-":"-0":"0"
74
75MPI add #25 negative 0 (null) + positive
76mpi_add_mpi:"-":"7b":"7b"
77
78MPI add #26 negative 0 (null) + negative
79mpi_add_mpi:"-":"-7b":"-7b"
80
81MPI add #27 negative 0 (null) + positive with leading zero limb
82mpi_add_mpi:"-":"0000000000000000123":"123"
83
84MPI add #28 negative 0 (null) + negative with leading zero limb
85mpi_add_mpi:"-":"-0000000000000000123":"-123"
86
87MPI add #29 negative 0 (null) + large positive
88mpi_add_mpi:"-":"1230000000000000000":"1230000000000000000"
89
90MPI add #30 negative 0 (null) + large negative
91mpi_add_mpi:"-":"-1230000000000000000":"-1230000000000000000"
92
93MPI add #31 negative with leading zero limb + 0 (null)
94mpi_add_mpi:"-0":"":"0"
95
96MPI add #32 negative with leading zero limb + 0 (1 limb)
97mpi_add_mpi:"-0":"0":"0"
98
99MPI add #33 negative with leading zero limb + negative 0 (null)
100mpi_add_mpi:"-0":"-":"0"
101
102MPI add #34 negative with leading zero limb + negative with leading zero limb
103mpi_add_mpi:"-0":"-0":"0"
104
105MPI add #35 negative with leading zero limb + positive
106mpi_add_mpi:"-0":"7b":"7b"
107
108MPI add #36 negative with leading zero limb + negative
109mpi_add_mpi:"-0":"-7b":"-7b"
110
111MPI add #37 negative with leading zero limb + positive with leading zero limb
112mpi_add_mpi:"-0":"0000000000000000123":"123"
113
114MPI add #38 negative with leading zero limb + negative with leading zero limb
115mpi_add_mpi:"-0":"-0000000000000000123":"-123"
116
117MPI add #39 negative with leading zero limb + large positive
118mpi_add_mpi:"-0":"1230000000000000000":"1230000000000000000"
119
120MPI add #40 negative with leading zero limb + large negative
121mpi_add_mpi:"-0":"-1230000000000000000":"-1230000000000000000"
122
123MPI add #41 positive + 0 (null)
124mpi_add_mpi:"7b":"":"7b"
125
126MPI add #42 positive + 0 (1 limb)
127mpi_add_mpi:"7b":"0":"7b"
128
129MPI add #43 positive + negative 0 (null)
130mpi_add_mpi:"7b":"-":"7b"
131
132MPI add #44 positive + negative with leading zero limb
133mpi_add_mpi:"7b":"-0":"7b"
134
135MPI add #45 positive + positive
136mpi_add_mpi:"7b":"7b":"f6"
137
138MPI add #46 positive + negative , result=0
139mpi_add_mpi:"7b":"-7b":"0"
140
141MPI add #47 positive + positive with leading zero limb
142mpi_add_mpi:"7b":"0000000000000000123":"19e"
143
144MPI add #48 positive + negative with leading zero limb , result<0
145mpi_add_mpi:"7b":"-0000000000000000123":"-a8"
146
147MPI add #49 positive + large positive
148mpi_add_mpi:"7b":"1230000000000000000":"123000000000000007b"
149
150MPI add #50 positive + large negative , result<0
151mpi_add_mpi:"7b":"-1230000000000000000":"-122ffffffffffffff85"
152
153MPI add #51 negative + 0 (null)
154mpi_add_mpi:"-7b":"":"-7b"
155
156MPI add #52 negative + 0 (1 limb)
157mpi_add_mpi:"-7b":"0":"-7b"
158
159MPI add #53 negative + negative 0 (null)
160mpi_add_mpi:"-7b":"-":"-7b"
161
162MPI add #54 negative + negative with leading zero limb
163mpi_add_mpi:"-7b":"-0":"-7b"
164
165MPI add #55 negative + positive , result=0
166mpi_add_mpi:"-7b":"7b":"0"
167
168MPI add #56 negative + negative
169mpi_add_mpi:"-7b":"-7b":"-f6"
170
171MPI add #57 negative + positive with leading zero limb , result>0
172mpi_add_mpi:"-7b":"0000000000000000123":"a8"
173
174MPI add #58 negative + negative with leading zero limb
175mpi_add_mpi:"-7b":"-0000000000000000123":"-19e"
176
177MPI add #59 negative + large positive , result>0
178mpi_add_mpi:"-7b":"1230000000000000000":"122ffffffffffffff85"
179
180MPI add #60 negative + large negative
181mpi_add_mpi:"-7b":"-1230000000000000000":"-123000000000000007b"
182
183MPI add #61 positive with leading zero limb + 0 (null)
184mpi_add_mpi:"0000000000000000123":"":"123"
185
186MPI add #62 positive with leading zero limb + 0 (1 limb)
187mpi_add_mpi:"0000000000000000123":"0":"123"
188
189MPI add #63 positive with leading zero limb + negative 0 (null)
190mpi_add_mpi:"0000000000000000123":"-":"123"
191
192MPI add #64 positive with leading zero limb + negative with leading zero limb
193mpi_add_mpi:"0000000000000000123":"-0":"123"
194
195MPI add #65 positive with leading zero limb + positive
196mpi_add_mpi:"0000000000000000123":"7b":"19e"
197
198MPI add #66 positive with leading zero limb + negative , result>0
199mpi_add_mpi:"0000000000000000123":"-7b":"a8"
200
201MPI add #67 positive with leading zero limb + positive with leading zero limb
202mpi_add_mpi:"0000000000000000123":"0000000000000000123":"246"
203
204MPI add #68 positive with leading zero limb + negative with leading zero limb , result=0
205mpi_add_mpi:"0000000000000000123":"-0000000000000000123":"0"
206
207MPI add #69 positive with leading zero limb + large positive
208mpi_add_mpi:"0000000000000000123":"1230000000000000000":"1230000000000000123"
209
210MPI add #70 positive with leading zero limb + large negative , result<0
211mpi_add_mpi:"0000000000000000123":"-1230000000000000000":"-122fffffffffffffedd"
212
213MPI add #71 negative with leading zero limb + 0 (null)
214mpi_add_mpi:"-0000000000000000123":"":"-123"
215
216MPI add #72 negative with leading zero limb + 0 (1 limb)
217mpi_add_mpi:"-0000000000000000123":"0":"-123"
218
219MPI add #73 negative with leading zero limb + negative 0 (null)
220mpi_add_mpi:"-0000000000000000123":"-":"-123"
221
222MPI add #74 negative with leading zero limb + negative with leading zero limb
223mpi_add_mpi:"-0000000000000000123":"-0":"-123"
224
225MPI add #75 negative with leading zero limb + positive , result<0
226mpi_add_mpi:"-0000000000000000123":"7b":"-a8"
227
228MPI add #76 negative with leading zero limb + negative
229mpi_add_mpi:"-0000000000000000123":"-7b":"-19e"
230
231MPI add #77 negative with leading zero limb + positive with leading zero limb , result=0
232mpi_add_mpi:"-0000000000000000123":"0000000000000000123":"0"
233
234MPI add #78 negative with leading zero limb + negative with leading zero limb
235mpi_add_mpi:"-0000000000000000123":"-0000000000000000123":"-246"
236
237MPI add #79 negative with leading zero limb + large positive , result>0
238mpi_add_mpi:"-0000000000000000123":"1230000000000000000":"122fffffffffffffedd"
239
240MPI add #80 negative with leading zero limb + large negative
241mpi_add_mpi:"-0000000000000000123":"-1230000000000000000":"-1230000000000000123"
242
243MPI add #81 large positive + 0 (null)
244mpi_add_mpi:"1230000000000000000":"":"1230000000000000000"
245
246MPI add #82 large positive + 0 (1 limb)
247mpi_add_mpi:"1230000000000000000":"0":"1230000000000000000"
248
249MPI add #83 large positive + negative 0 (null)
250mpi_add_mpi:"1230000000000000000":"-":"1230000000000000000"
251
252MPI add #84 large positive + negative with leading zero limb
253mpi_add_mpi:"1230000000000000000":"-0":"1230000000000000000"
254
255MPI add #85 large positive + positive
256mpi_add_mpi:"1230000000000000000":"7b":"123000000000000007b"
257
258MPI add #86 large positive + negative , result>0
259mpi_add_mpi:"1230000000000000000":"-7b":"122ffffffffffffff85"
260
261MPI add #87 large positive + positive with leading zero limb
262mpi_add_mpi:"1230000000000000000":"0000000000000000123":"1230000000000000123"
263
264MPI add #88 large positive + negative with leading zero limb , result>0
265mpi_add_mpi:"1230000000000000000":"-0000000000000000123":"122fffffffffffffedd"
266
267MPI add #89 large positive + large positive
268mpi_add_mpi:"1230000000000000000":"1230000000000000000":"2460000000000000000"
269
270MPI add #90 large positive + large negative , result=0
271mpi_add_mpi:"1230000000000000000":"-1230000000000000000":"0"
272
273MPI add #91 large negative + 0 (null)
274mpi_add_mpi:"-1230000000000000000":"":"-1230000000000000000"
275
276MPI add #92 large negative + 0 (1 limb)
277mpi_add_mpi:"-1230000000000000000":"0":"-1230000000000000000"
278
279MPI add #93 large negative + negative 0 (null)
280mpi_add_mpi:"-1230000000000000000":"-":"-1230000000000000000"
281
282MPI add #94 large negative + negative with leading zero limb
283mpi_add_mpi:"-1230000000000000000":"-0":"-1230000000000000000"
284
285MPI add #95 large negative + positive , result<0
286mpi_add_mpi:"-1230000000000000000":"7b":"-122ffffffffffffff85"
287
288MPI add #96 large negative + negative
289mpi_add_mpi:"-1230000000000000000":"-7b":"-123000000000000007b"
290
291MPI add #97 large negative + positive with leading zero limb , result<0
292mpi_add_mpi:"-1230000000000000000":"0000000000000000123":"-122fffffffffffffedd"
293
294MPI add #98 large negative + negative with leading zero limb
295mpi_add_mpi:"-1230000000000000000":"-0000000000000000123":"-1230000000000000123"
296
297MPI add #99 large negative + large positive , result=0
298mpi_add_mpi:"-1230000000000000000":"1230000000000000000":"0"
299
300MPI add #100 large negative + large negative
301mpi_add_mpi:"-1230000000000000000":"-1230000000000000000":"-2460000000000000000"
302
303MPI add #101 large positive + large positive
304mpi_add_mpi:"1c67967269c6":"1c67967269c6":"38cf2ce4d38c"
305
306MPI add #102 large positive + positive
307mpi_add_mpi:"1c67967269c6":"9cde3":"1c67967c37a9"
308
309MPI add #103 large positive + large negative , result=0
310mpi_add_mpi:"1c67967269c6":"-1c67967269c6":"0"
311
312MPI add #104 large positive + negative , result>0
313mpi_add_mpi:"1c67967269c6":"-9cde3":"1c6796689be3"
314
315MPI add #105 positive + large positive
316mpi_add_mpi:"9cde3":"1c67967269c6":"1c67967c37a9"
317
318MPI add #106 positive + positive
319mpi_add_mpi:"9cde3":"9cde3":"139bc6"
320
321MPI add #107 positive + large negative , result<0
322mpi_add_mpi:"9cde3":"-1c67967269c6":"-1c6796689be3"
323
324MPI add #108 positive + negative , result=0
325mpi_add_mpi:"9cde3":"-9cde3":"0"
326
327MPI add #109 large negative + large positive , result=0
328mpi_add_mpi:"-1c67967269c6":"1c67967269c6":"0"
329
330MPI add #110 large negative + positive , result<0
331mpi_add_mpi:"-1c67967269c6":"9cde3":"-1c6796689be3"
332
333MPI add #111 large negative + large negative
334mpi_add_mpi:"-1c67967269c6":"-1c67967269c6":"-38cf2ce4d38c"
335
336MPI add #112 large negative + negative
337mpi_add_mpi:"-1c67967269c6":"-9cde3":"-1c67967c37a9"
338
339MPI add #113 negative + large positive , result>0
340mpi_add_mpi:"-9cde3":"1c67967269c6":"1c6796689be3"
341
342MPI add #114 negative + positive , result=0
343mpi_add_mpi:"-9cde3":"9cde3":"0"
344
345MPI add #115 negative + large negative
346mpi_add_mpi:"-9cde3":"-1c67967269c6":"-1c67967c37a9"
347
348MPI add #116 negative + negative
349mpi_add_mpi:"-9cde3":"-9cde3":"-139bc6"
350
351MPI compare #1 0 (null) == 0 (null)
352mpi_cmp_mpi:"":"":0
353
354MPI compare #2 0 (null) == 0 (1 limb)
355mpi_cmp_mpi:"":"0":0
356
357MPI compare #3 0 (null) == negative 0 (null)
358mpi_cmp_mpi:"":"-":0
359
360MPI compare #4 0 (null) == negative with leading zero limb
361mpi_cmp_mpi:"":"-0":0
362
363MPI compare #5 0 (null) < positive
364mpi_cmp_mpi:"":"7b":-1
365
366MPI compare #6 0 (null) > negative
367mpi_cmp_mpi:"":"-7b":1
368
369MPI compare #7 0 (null) < positive with leading zero limb
370mpi_cmp_mpi:"":"0000000000000000123":-1
371
372MPI compare #8 0 (null) > negative with leading zero limb
373mpi_cmp_mpi:"":"-0000000000000000123":1
374
375MPI compare #9 0 (null) < large positive
376mpi_cmp_mpi:"":"1230000000000000000":-1
377
378MPI compare #10 0 (null) > large negative
379mpi_cmp_mpi:"":"-1230000000000000000":1
380
381MPI compare #11 0 (1 limb) == 0 (null)
382mpi_cmp_mpi:"0":"":0
383
384MPI compare #12 0 (1 limb) == 0 (1 limb)
385mpi_cmp_mpi:"0":"0":0
386
387MPI compare #13 0 (1 limb) == negative 0 (null)
388mpi_cmp_mpi:"0":"-":0
389
390MPI compare #14 0 (1 limb) == negative with leading zero limb
391mpi_cmp_mpi:"0":"-0":0
392
393MPI compare #15 0 (1 limb) < positive
394mpi_cmp_mpi:"0":"7b":-1
395
396MPI compare #16 0 (1 limb) > negative
397mpi_cmp_mpi:"0":"-7b":1
398
399MPI compare #17 0 (1 limb) < positive with leading zero limb
400mpi_cmp_mpi:"0":"0000000000000000123":-1
401
402MPI compare #18 0 (1 limb) > negative with leading zero limb
403mpi_cmp_mpi:"0":"-0000000000000000123":1
404
405MPI compare #19 0 (1 limb) < large positive
406mpi_cmp_mpi:"0":"1230000000000000000":-1
407
408MPI compare #20 0 (1 limb) > large negative
409mpi_cmp_mpi:"0":"-1230000000000000000":1
410
411MPI compare #21 negative 0 (null) == 0 (null)
412mpi_cmp_mpi:"-":"":0
413
414MPI compare #22 negative 0 (null) == 0 (1 limb)
415mpi_cmp_mpi:"-":"0":0
416
417MPI compare #23 negative 0 (null) == negative 0 (null)
418mpi_cmp_mpi:"-":"-":0
419
420MPI compare #24 negative 0 (null) == negative with leading zero limb
421mpi_cmp_mpi:"-":"-0":0
422
423MPI compare #25 negative 0 (null) < positive
424mpi_cmp_mpi:"-":"7b":-1
425
426MPI compare #26 negative 0 (null) > negative
427mpi_cmp_mpi:"-":"-7b":1
428
429MPI compare #27 negative 0 (null) < positive with leading zero limb
430mpi_cmp_mpi:"-":"0000000000000000123":-1
431
432MPI compare #28 negative 0 (null) > negative with leading zero limb
433mpi_cmp_mpi:"-":"-0000000000000000123":1
434
435MPI compare #29 negative 0 (null) < large positive
436mpi_cmp_mpi:"-":"1230000000000000000":-1
437
438MPI compare #30 negative 0 (null) > large negative
439mpi_cmp_mpi:"-":"-1230000000000000000":1
440
441MPI compare #31 negative with leading zero limb == 0 (null)
442mpi_cmp_mpi:"-0":"":0
443
444MPI compare #32 negative with leading zero limb == 0 (1 limb)
445mpi_cmp_mpi:"-0":"0":0
446
447MPI compare #33 negative with leading zero limb == negative 0 (null)
448mpi_cmp_mpi:"-0":"-":0
449
450MPI compare #34 negative with leading zero limb == negative with leading zero limb
451mpi_cmp_mpi:"-0":"-0":0
452
453MPI compare #35 negative with leading zero limb < positive
454mpi_cmp_mpi:"-0":"7b":-1
455
456MPI compare #36 negative with leading zero limb > negative
457mpi_cmp_mpi:"-0":"-7b":1
458
459MPI compare #37 negative with leading zero limb < positive with leading zero limb
460mpi_cmp_mpi:"-0":"0000000000000000123":-1
461
462MPI compare #38 negative with leading zero limb > negative with leading zero limb
463mpi_cmp_mpi:"-0":"-0000000000000000123":1
464
465MPI compare #39 negative with leading zero limb < large positive
466mpi_cmp_mpi:"-0":"1230000000000000000":-1
467
468MPI compare #40 negative with leading zero limb > large negative
469mpi_cmp_mpi:"-0":"-1230000000000000000":1
470
471MPI compare #41 positive > 0 (null)
472mpi_cmp_mpi:"7b":"":1
473
474MPI compare #42 positive > 0 (1 limb)
475mpi_cmp_mpi:"7b":"0":1
476
477MPI compare #43 positive > negative 0 (null)
478mpi_cmp_mpi:"7b":"-":1
479
480MPI compare #44 positive > negative with leading zero limb
481mpi_cmp_mpi:"7b":"-0":1
482
483MPI compare #45 positive == positive
484mpi_cmp_mpi:"7b":"7b":0
485
486MPI compare #46 positive > negative
487mpi_cmp_mpi:"7b":"-7b":1
488
489MPI compare #47 positive < positive with leading zero limb
490mpi_cmp_mpi:"7b":"0000000000000000123":-1
491
492MPI compare #48 positive > negative with leading zero limb
493mpi_cmp_mpi:"7b":"-0000000000000000123":1
494
495MPI compare #49 positive < large positive
496mpi_cmp_mpi:"7b":"1230000000000000000":-1
497
498MPI compare #50 positive > large negative
499mpi_cmp_mpi:"7b":"-1230000000000000000":1
500
501MPI compare #51 negative < 0 (null)
502mpi_cmp_mpi:"-7b":"":-1
503
504MPI compare #52 negative < 0 (1 limb)
505mpi_cmp_mpi:"-7b":"0":-1
506
507MPI compare #53 negative < negative 0 (null)
508mpi_cmp_mpi:"-7b":"-":-1
509
510MPI compare #54 negative < negative with leading zero limb
511mpi_cmp_mpi:"-7b":"-0":-1
512
513MPI compare #55 negative < positive
514mpi_cmp_mpi:"-7b":"7b":-1
515
516MPI compare #56 negative == negative
517mpi_cmp_mpi:"-7b":"-7b":0
518
519MPI compare #57 negative < positive with leading zero limb
520mpi_cmp_mpi:"-7b":"0000000000000000123":-1
521
522MPI compare #58 negative > negative with leading zero limb
523mpi_cmp_mpi:"-7b":"-0000000000000000123":1
524
525MPI compare #59 negative < large positive
526mpi_cmp_mpi:"-7b":"1230000000000000000":-1
527
528MPI compare #60 negative > large negative
529mpi_cmp_mpi:"-7b":"-1230000000000000000":1
530
531MPI compare #61 positive with leading zero limb > 0 (null)
532mpi_cmp_mpi:"0000000000000000123":"":1
533
534MPI compare #62 positive with leading zero limb > 0 (1 limb)
535mpi_cmp_mpi:"0000000000000000123":"0":1
536
537MPI compare #63 positive with leading zero limb > negative 0 (null)
538mpi_cmp_mpi:"0000000000000000123":"-":1
539
540MPI compare #64 positive with leading zero limb > negative with leading zero limb
541mpi_cmp_mpi:"0000000000000000123":"-0":1
542
543MPI compare #65 positive with leading zero limb > positive
544mpi_cmp_mpi:"0000000000000000123":"7b":1
545
546MPI compare #66 positive with leading zero limb > negative
547mpi_cmp_mpi:"0000000000000000123":"-7b":1
548
549MPI compare #67 positive with leading zero limb == positive with leading zero limb
550mpi_cmp_mpi:"0000000000000000123":"0000000000000000123":0
551
552MPI compare #68 positive with leading zero limb > negative with leading zero limb
553mpi_cmp_mpi:"0000000000000000123":"-0000000000000000123":1
554
555MPI compare #69 positive with leading zero limb < large positive
556mpi_cmp_mpi:"0000000000000000123":"1230000000000000000":-1
557
558MPI compare #70 positive with leading zero limb > large negative
559mpi_cmp_mpi:"0000000000000000123":"-1230000000000000000":1
560
561MPI compare #71 negative with leading zero limb < 0 (null)
562mpi_cmp_mpi:"-0000000000000000123":"":-1
563
564MPI compare #72 negative with leading zero limb < 0 (1 limb)
565mpi_cmp_mpi:"-0000000000000000123":"0":-1
566
567MPI compare #73 negative with leading zero limb < negative 0 (null)
568mpi_cmp_mpi:"-0000000000000000123":"-":-1
569
570MPI compare #74 negative with leading zero limb < negative with leading zero limb
571mpi_cmp_mpi:"-0000000000000000123":"-0":-1
572
573MPI compare #75 negative with leading zero limb < positive
574mpi_cmp_mpi:"-0000000000000000123":"7b":-1
575
576MPI compare #76 negative with leading zero limb < negative
577mpi_cmp_mpi:"-0000000000000000123":"-7b":-1
578
579MPI compare #77 negative with leading zero limb < positive with leading zero limb
580mpi_cmp_mpi:"-0000000000000000123":"0000000000000000123":-1
581
582MPI compare #78 negative with leading zero limb == negative with leading zero limb
583mpi_cmp_mpi:"-0000000000000000123":"-0000000000000000123":0
584
585MPI compare #79 negative with leading zero limb < large positive
586mpi_cmp_mpi:"-0000000000000000123":"1230000000000000000":-1
587
588MPI compare #80 negative with leading zero limb > large negative
589mpi_cmp_mpi:"-0000000000000000123":"-1230000000000000000":1
590
591MPI compare #81 large positive > 0 (null)
592mpi_cmp_mpi:"1230000000000000000":"":1
593
594MPI compare #82 large positive > 0 (1 limb)
595mpi_cmp_mpi:"1230000000000000000":"0":1
596
597MPI compare #83 large positive > negative 0 (null)
598mpi_cmp_mpi:"1230000000000000000":"-":1
599
600MPI compare #84 large positive > negative with leading zero limb
601mpi_cmp_mpi:"1230000000000000000":"-0":1
602
603MPI compare #85 large positive > positive
604mpi_cmp_mpi:"1230000000000000000":"7b":1
605
606MPI compare #86 large positive > negative
607mpi_cmp_mpi:"1230000000000000000":"-7b":1
608
609MPI compare #87 large positive > positive with leading zero limb
610mpi_cmp_mpi:"1230000000000000000":"0000000000000000123":1
611
612MPI compare #88 large positive > negative with leading zero limb
613mpi_cmp_mpi:"1230000000000000000":"-0000000000000000123":1
614
615MPI compare #89 large positive == large positive
616mpi_cmp_mpi:"1230000000000000000":"1230000000000000000":0
617
618MPI compare #90 large positive > large negative
619mpi_cmp_mpi:"1230000000000000000":"-1230000000000000000":1
620
621MPI compare #91 large negative < 0 (null)
622mpi_cmp_mpi:"-1230000000000000000":"":-1
623
624MPI compare #92 large negative < 0 (1 limb)
625mpi_cmp_mpi:"-1230000000000000000":"0":-1
626
627MPI compare #93 large negative < negative 0 (null)
628mpi_cmp_mpi:"-1230000000000000000":"-":-1
629
630MPI compare #94 large negative < negative with leading zero limb
631mpi_cmp_mpi:"-1230000000000000000":"-0":-1
632
633MPI compare #95 large negative < positive
634mpi_cmp_mpi:"-1230000000000000000":"7b":-1
635
636MPI compare #96 large negative < negative
637mpi_cmp_mpi:"-1230000000000000000":"-7b":-1
638
639MPI compare #97 large negative < positive with leading zero limb
640mpi_cmp_mpi:"-1230000000000000000":"0000000000000000123":-1
641
642MPI compare #98 large negative < negative with leading zero limb
643mpi_cmp_mpi:"-1230000000000000000":"-0000000000000000123":-1
644
645MPI compare #99 large negative < large positive
646mpi_cmp_mpi:"-1230000000000000000":"1230000000000000000":-1
647
648MPI compare #100 large negative == large negative
649mpi_cmp_mpi:"-1230000000000000000":"-1230000000000000000":0
650
651MPI compare #101 negative > negative
652mpi_cmp_mpi:"-2":"-3":1
653
654MPI compare #102 negative == negative
655mpi_cmp_mpi:"-2":"-2":0
656
657MPI compare #103 positive < positive
658mpi_cmp_mpi:"2b4":"2b5":-1
659
660MPI compare #104 positive < positive
661mpi_cmp_mpi:"2b5":"2b6":-1
662
663MPI compare (abs) #1 0 (null) == 0 (null)
664mpi_cmp_abs:"":"":0
665
666MPI compare (abs) #2 0 (null) == 0 (1 limb)
667mpi_cmp_abs:"":"0":0
668
669MPI compare (abs) #3 0 (null) == 0 (null)
670mpi_cmp_abs:"":"":0
671
672MPI compare (abs) #4 0 (null) == 0 (1 limb)
673mpi_cmp_abs:"":"0":0
674
675MPI compare (abs) #5 0 (null) < positive
676mpi_cmp_abs:"":"7b":-1
677
678MPI compare (abs) #6 0 (null) < positive
679mpi_cmp_abs:"":"7b":-1
680
681MPI compare (abs) #7 0 (null) < positive with leading zero limb
682mpi_cmp_abs:"":"0000000000000000123":-1
683
684MPI compare (abs) #8 0 (null) < positive with leading zero limb
685mpi_cmp_abs:"":"0000000000000000123":-1
686
687MPI compare (abs) #9 0 (null) < large positive
688mpi_cmp_abs:"":"1230000000000000000":-1
689
690MPI compare (abs) #10 0 (null) < large positive
691mpi_cmp_abs:"":"1230000000000000000":-1
692
693MPI compare (abs) #11 0 (1 limb) == 0 (null)
694mpi_cmp_abs:"0":"":0
695
696MPI compare (abs) #12 0 (1 limb) == 0 (1 limb)
697mpi_cmp_abs:"0":"0":0
698
699MPI compare (abs) #13 0 (1 limb) == 0 (null)
700mpi_cmp_abs:"0":"":0
701
702MPI compare (abs) #14 0 (1 limb) == 0 (1 limb)
703mpi_cmp_abs:"0":"0":0
704
705MPI compare (abs) #15 0 (1 limb) < positive
706mpi_cmp_abs:"0":"7b":-1
707
708MPI compare (abs) #16 0 (1 limb) < positive
709mpi_cmp_abs:"0":"7b":-1
710
711MPI compare (abs) #17 0 (1 limb) < positive with leading zero limb
712mpi_cmp_abs:"0":"0000000000000000123":-1
713
714MPI compare (abs) #18 0 (1 limb) < positive with leading zero limb
715mpi_cmp_abs:"0":"0000000000000000123":-1
716
717MPI compare (abs) #19 0 (1 limb) < large positive
718mpi_cmp_abs:"0":"1230000000000000000":-1
719
720MPI compare (abs) #20 0 (1 limb) < large positive
721mpi_cmp_abs:"0":"1230000000000000000":-1
722
723MPI compare (abs) #21 0 (null) == 0 (null)
724mpi_cmp_abs:"":"":0
725
726MPI compare (abs) #22 0 (null) == 0 (1 limb)
727mpi_cmp_abs:"":"0":0
728
729MPI compare (abs) #23 0 (null) == 0 (null)
730mpi_cmp_abs:"":"":0
731
732MPI compare (abs) #24 0 (null) == 0 (1 limb)
733mpi_cmp_abs:"":"0":0
734
735MPI compare (abs) #25 0 (null) < positive
736mpi_cmp_abs:"":"7b":-1
737
738MPI compare (abs) #26 0 (null) < positive
739mpi_cmp_abs:"":"7b":-1
740
741MPI compare (abs) #27 0 (null) < positive with leading zero limb
742mpi_cmp_abs:"":"0000000000000000123":-1
743
744MPI compare (abs) #28 0 (null) < positive with leading zero limb
745mpi_cmp_abs:"":"0000000000000000123":-1
746
747MPI compare (abs) #29 0 (null) < large positive
748mpi_cmp_abs:"":"1230000000000000000":-1
749
750MPI compare (abs) #30 0 (null) < large positive
751mpi_cmp_abs:"":"1230000000000000000":-1
752
753MPI compare (abs) #31 0 (1 limb) == 0 (null)
754mpi_cmp_abs:"0":"":0
755
756MPI compare (abs) #32 0 (1 limb) == 0 (1 limb)
757mpi_cmp_abs:"0":"0":0
758
759MPI compare (abs) #33 0 (1 limb) == 0 (null)
760mpi_cmp_abs:"0":"":0
761
762MPI compare (abs) #34 0 (1 limb) == 0 (1 limb)
763mpi_cmp_abs:"0":"0":0
764
765MPI compare (abs) #35 0 (1 limb) < positive
766mpi_cmp_abs:"0":"7b":-1
767
768MPI compare (abs) #36 0 (1 limb) < positive
769mpi_cmp_abs:"0":"7b":-1
770
771MPI compare (abs) #37 0 (1 limb) < positive with leading zero limb
772mpi_cmp_abs:"0":"0000000000000000123":-1
773
774MPI compare (abs) #38 0 (1 limb) < positive with leading zero limb
775mpi_cmp_abs:"0":"0000000000000000123":-1
776
777MPI compare (abs) #39 0 (1 limb) < large positive
778mpi_cmp_abs:"0":"1230000000000000000":-1
779
780MPI compare (abs) #40 0 (1 limb) < large positive
781mpi_cmp_abs:"0":"1230000000000000000":-1
782
783MPI compare (abs) #41 positive > 0 (null)
784mpi_cmp_abs:"7b":"":1
785
786MPI compare (abs) #42 positive > 0 (1 limb)
787mpi_cmp_abs:"7b":"0":1
788
789MPI compare (abs) #43 positive > 0 (null)
790mpi_cmp_abs:"7b":"":1
791
792MPI compare (abs) #44 positive > 0 (1 limb)
793mpi_cmp_abs:"7b":"0":1
794
795MPI compare (abs) #45 positive == positive
796mpi_cmp_abs:"7b":"7b":0
797
798MPI compare (abs) #46 positive == positive
799mpi_cmp_abs:"7b":"7b":0
800
801MPI compare (abs) #47 positive < positive with leading zero limb
802mpi_cmp_abs:"7b":"0000000000000000123":-1
803
804MPI compare (abs) #48 positive < positive with leading zero limb
805mpi_cmp_abs:"7b":"0000000000000000123":-1
806
807MPI compare (abs) #49 positive < large positive
808mpi_cmp_abs:"7b":"1230000000000000000":-1
809
810MPI compare (abs) #50 positive < large positive
811mpi_cmp_abs:"7b":"1230000000000000000":-1
812
813MPI compare (abs) #51 positive > 0 (null)
814mpi_cmp_abs:"7b":"":1
815
816MPI compare (abs) #52 positive > 0 (1 limb)
817mpi_cmp_abs:"7b":"0":1
818
819MPI compare (abs) #53 positive > 0 (null)
820mpi_cmp_abs:"7b":"":1
821
822MPI compare (abs) #54 positive > 0 (1 limb)
823mpi_cmp_abs:"7b":"0":1
824
825MPI compare (abs) #55 positive == positive
826mpi_cmp_abs:"7b":"7b":0
827
828MPI compare (abs) #56 positive == positive
829mpi_cmp_abs:"7b":"7b":0
830
831MPI compare (abs) #57 positive < positive with leading zero limb
832mpi_cmp_abs:"7b":"0000000000000000123":-1
833
834MPI compare (abs) #58 positive < positive with leading zero limb
835mpi_cmp_abs:"7b":"0000000000000000123":-1
836
837MPI compare (abs) #59 positive < large positive
838mpi_cmp_abs:"7b":"1230000000000000000":-1
839
840MPI compare (abs) #60 positive < large positive
841mpi_cmp_abs:"7b":"1230000000000000000":-1
842
843MPI compare (abs) #61 positive with leading zero limb > 0 (null)
844mpi_cmp_abs:"0000000000000000123":"":1
845
846MPI compare (abs) #62 positive with leading zero limb > 0 (1 limb)
847mpi_cmp_abs:"0000000000000000123":"0":1
848
849MPI compare (abs) #63 positive with leading zero limb > 0 (null)
850mpi_cmp_abs:"0000000000000000123":"":1
851
852MPI compare (abs) #64 positive with leading zero limb > 0 (1 limb)
853mpi_cmp_abs:"0000000000000000123":"0":1
854
855MPI compare (abs) #65 positive with leading zero limb > positive
856mpi_cmp_abs:"0000000000000000123":"7b":1
857
858MPI compare (abs) #66 positive with leading zero limb > positive
859mpi_cmp_abs:"0000000000000000123":"7b":1
860
861MPI compare (abs) #67 positive with leading zero limb == positive with leading zero limb
862mpi_cmp_abs:"0000000000000000123":"0000000000000000123":0
863
864MPI compare (abs) #68 positive with leading zero limb == positive with leading zero limb
865mpi_cmp_abs:"0000000000000000123":"0000000000000000123":0
866
867MPI compare (abs) #69 positive with leading zero limb < large positive
868mpi_cmp_abs:"0000000000000000123":"1230000000000000000":-1
869
870MPI compare (abs) #70 positive with leading zero limb < large positive
871mpi_cmp_abs:"0000000000000000123":"1230000000000000000":-1
872
873MPI compare (abs) #71 positive with leading zero limb > 0 (null)
874mpi_cmp_abs:"0000000000000000123":"":1
875
876MPI compare (abs) #72 positive with leading zero limb > 0 (1 limb)
877mpi_cmp_abs:"0000000000000000123":"0":1
878
879MPI compare (abs) #73 positive with leading zero limb > 0 (null)
880mpi_cmp_abs:"0000000000000000123":"":1
881
882MPI compare (abs) #74 positive with leading zero limb > 0 (1 limb)
883mpi_cmp_abs:"0000000000000000123":"0":1
884
885MPI compare (abs) #75 positive with leading zero limb > positive
886mpi_cmp_abs:"0000000000000000123":"7b":1
887
888MPI compare (abs) #76 positive with leading zero limb > positive
889mpi_cmp_abs:"0000000000000000123":"7b":1
890
891MPI compare (abs) #77 positive with leading zero limb == positive with leading zero limb
892mpi_cmp_abs:"0000000000000000123":"0000000000000000123":0
893
894MPI compare (abs) #78 positive with leading zero limb == positive with leading zero limb
895mpi_cmp_abs:"0000000000000000123":"0000000000000000123":0
896
897MPI compare (abs) #79 positive with leading zero limb < large positive
898mpi_cmp_abs:"0000000000000000123":"1230000000000000000":-1
899
900MPI compare (abs) #80 positive with leading zero limb < large positive
901mpi_cmp_abs:"0000000000000000123":"1230000000000000000":-1
902
903MPI compare (abs) #81 large positive > 0 (null)
904mpi_cmp_abs:"1230000000000000000":"":1
905
906MPI compare (abs) #82 large positive > 0 (1 limb)
907mpi_cmp_abs:"1230000000000000000":"0":1
908
909MPI compare (abs) #83 large positive > 0 (null)
910mpi_cmp_abs:"1230000000000000000":"":1
911
912MPI compare (abs) #84 large positive > 0 (1 limb)
913mpi_cmp_abs:"1230000000000000000":"0":1
914
915MPI compare (abs) #85 large positive > positive
916mpi_cmp_abs:"1230000000000000000":"7b":1
917
918MPI compare (abs) #86 large positive > positive
919mpi_cmp_abs:"1230000000000000000":"7b":1
920
921MPI compare (abs) #87 large positive > positive with leading zero limb
922mpi_cmp_abs:"1230000000000000000":"0000000000000000123":1
923
924MPI compare (abs) #88 large positive > positive with leading zero limb
925mpi_cmp_abs:"1230000000000000000":"0000000000000000123":1
926
927MPI compare (abs) #89 large positive == large positive
928mpi_cmp_abs:"1230000000000000000":"1230000000000000000":0
929
930MPI compare (abs) #90 large positive == large positive
931mpi_cmp_abs:"1230000000000000000":"1230000000000000000":0
932
933MPI compare (abs) #91 large positive > 0 (null)
934mpi_cmp_abs:"1230000000000000000":"":1
935
936MPI compare (abs) #92 large positive > 0 (1 limb)
937mpi_cmp_abs:"1230000000000000000":"0":1
938
939MPI compare (abs) #93 large positive > 0 (null)
940mpi_cmp_abs:"1230000000000000000":"":1
941
942MPI compare (abs) #94 large positive > 0 (1 limb)
943mpi_cmp_abs:"1230000000000000000":"0":1
944
945MPI compare (abs) #95 large positive > positive
946mpi_cmp_abs:"1230000000000000000":"7b":1
947
948MPI compare (abs) #96 large positive > positive
949mpi_cmp_abs:"1230000000000000000":"7b":1
950
951MPI compare (abs) #97 large positive > positive with leading zero limb
952mpi_cmp_abs:"1230000000000000000":"0000000000000000123":1
953
954MPI compare (abs) #98 large positive > positive with leading zero limb
955mpi_cmp_abs:"1230000000000000000":"0000000000000000123":1
956
957MPI compare (abs) #99 large positive == large positive
958mpi_cmp_abs:"1230000000000000000":"1230000000000000000":0
959
960MPI compare (abs) #100 large positive == large positive
961mpi_cmp_abs:"1230000000000000000":"1230000000000000000":0
962
963MPI compare (abs) #101 positive < positive
964mpi_cmp_abs:"2":"3":-1
965
966MPI compare (abs) #102 positive == positive
967mpi_cmp_abs:"2":"2":0
968
969MPI compare (abs) #103 positive < positive
970mpi_cmp_abs:"2b4":"2b5":-1
971
972MPI compare (abs) #104 positive < positive
973mpi_cmp_abs:"2b5":"2b6":-1
974
975# End of automatically generated file.
976