1# Copyright 2013 the V8 project authors. All rights reserved.
2# Copyright (C) 2005, 2006, 2007, 2008, 2009 Apple Inc. All rights reserved.
3#
4# Redistribution and use in source and binary forms, with or without
5# modification, are permitted provided that the following conditions
6# are met:
7# 1.  Redistributions of source code must retain the above copyright
8#     notice, this list of conditions and the following disclaimer.
9# 2.  Redistributions in binary form must reproduce the above copyright
10#     notice, this list of conditions and the following disclaimer in the
11#     documentation and/or other materials provided with the distribution.
12#
13# THIS SOFTWARE IS PROVIDED BY APPLE INC. AND ITS CONTRIBUTORS ``AS IS'' AND ANY
14# EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
15# WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
16# DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR ITS CONTRIBUTORS BE LIABLE FOR ANY
17# DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
18# (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
19# LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON
20# ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
21# (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
22# SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
23
24This tests that integer addition optimizations in the DFG are not performed too overzealously.
25
26On success, you will see a series of "PASS" messages, followed by "TEST COMPLETE".
27
28
29PASS result.a is 1
30PASS result.b is 1
31PASS result.a is 20000001
32PASS result.b is 20000001
33PASS result.a is 40000001
34PASS result.b is 40000001
35PASS result.a is 60000001
36PASS result.b is 60000001
37PASS result.a is 80000001
38PASS result.b is 80000001
39PASS result.a is 100000001
40PASS result.b is 100000001
41PASS result.a is 120000001
42PASS result.b is 120000001
43PASS result.a is 140000001
44PASS result.b is 140000001
45PASS result.a is 160000001
46PASS result.b is 160000001
47PASS result.a is 180000001
48PASS result.b is 180000001
49PASS result.a is 200000001
50PASS result.b is 200000001
51PASS result.a is 220000001
52PASS result.b is 220000001
53PASS result.a is 240000001
54PASS result.b is 240000001
55PASS result.a is 260000001
56PASS result.b is 260000001
57PASS result.a is 280000001
58PASS result.b is 280000001
59PASS result.a is 300000001
60PASS result.b is 300000001
61PASS result.a is 320000001
62PASS result.b is 320000001
63PASS result.a is 340000001
64PASS result.b is 340000001
65PASS result.a is 360000001
66PASS result.b is 360000001
67PASS result.a is 380000001
68PASS result.b is 380000001
69PASS result.a is 400000001
70PASS result.b is 400000001
71PASS result.a is 420000001
72PASS result.b is 420000001
73PASS result.a is 440000001
74PASS result.b is 440000001
75PASS result.a is 460000001
76PASS result.b is 460000001
77PASS result.a is 480000001
78PASS result.b is 480000001
79PASS result.a is 500000001
80PASS result.b is 500000001
81PASS result.a is 520000001
82PASS result.b is 520000001
83PASS result.a is 540000001
84PASS result.b is 540000001
85PASS result.a is 560000001
86PASS result.b is 560000001
87PASS result.a is 580000001
88PASS result.b is 580000001
89PASS result.a is 600000001
90PASS result.b is 600000001
91PASS result.a is 620000001
92PASS result.b is 620000001
93PASS result.a is 640000001
94PASS result.b is 640000001
95PASS result.a is 660000001
96PASS result.b is 660000001
97PASS result.a is 680000001
98PASS result.b is 680000001
99PASS result.a is 700000001
100PASS result.b is 700000001
101PASS result.a is 720000001
102PASS result.b is 720000001
103PASS result.a is 740000001
104PASS result.b is 740000001
105PASS result.a is 760000001
106PASS result.b is 760000001
107PASS result.a is 780000001
108PASS result.b is 780000001
109PASS result.a is 800000001
110PASS result.b is 800000001
111PASS result.a is 820000001
112PASS result.b is 820000001
113PASS result.a is 840000001
114PASS result.b is 840000001
115PASS result.a is 860000001
116PASS result.b is 860000001
117PASS result.a is 880000001
118PASS result.b is 880000001
119PASS result.a is 900000001
120PASS result.b is 900000001
121PASS result.a is 920000001
122PASS result.b is 920000001
123PASS result.a is 940000001
124PASS result.b is 940000001
125PASS result.a is 960000001
126PASS result.b is 960000001
127PASS result.a is 980000001
128PASS result.b is 980000001
129PASS result.a is 1000000001
130PASS result.b is 1000000001
131PASS result.a is 1020000001
132PASS result.b is 1020000001
133PASS result.a is 1040000001
134PASS result.b is 1040000001
135PASS result.a is 1060000001
136PASS result.b is 1060000001
137PASS result.a is 1080000001
138PASS result.b is 1080000001
139PASS result.a is 1100000001
140PASS result.b is 1100000001
141PASS result.a is 1120000001
142PASS result.b is 1120000001
143PASS result.a is 1140000001
144PASS result.b is 1140000001
145PASS result.a is 1160000001
146PASS result.b is 1160000001
147PASS result.a is 1180000001
148PASS result.b is 1180000001
149PASS result.a is 1200000001
150PASS result.b is 1200000001
151PASS result.a is 1220000001
152PASS result.b is 1220000001
153PASS result.a is 1240000001
154PASS result.b is 1240000001
155PASS result.a is 1260000001
156PASS result.b is 1260000001
157PASS result.a is 1280000001
158PASS result.b is 1280000001
159PASS result.a is 1300000001
160PASS result.b is 1300000001
161PASS result.a is 1320000001
162PASS result.b is 1320000001
163PASS result.a is 1340000001
164PASS result.b is 1340000001
165PASS result.a is 1360000001
166PASS result.b is 1360000001
167PASS result.a is 1380000001
168PASS result.b is 1380000001
169PASS result.a is 1400000001
170PASS result.b is 1400000001
171PASS result.a is 1420000001
172PASS result.b is 1420000001
173PASS result.a is 1440000001
174PASS result.b is 1440000001
175PASS result.a is 1460000001
176PASS result.b is 1460000001
177PASS result.a is 1480000001
178PASS result.b is 1480000001
179PASS result.a is 1500000001
180PASS result.b is 1500000001
181PASS result.a is 1520000001
182PASS result.b is 1520000001
183PASS result.a is 1540000001
184PASS result.b is 1540000001
185PASS result.a is 1560000001
186PASS result.b is 1560000001
187PASS result.a is 1580000001
188PASS result.b is 1580000001
189PASS result.a is 1600000001
190PASS result.b is 1600000001
191PASS result.a is 1620000001
192PASS result.b is 1620000001
193PASS result.a is 1640000001
194PASS result.b is 1640000001
195PASS result.a is 1660000001
196PASS result.b is 1660000001
197PASS result.a is 1680000001
198PASS result.b is 1680000001
199PASS result.a is 1700000001
200PASS result.b is 1700000001
201PASS result.a is 1720000001
202PASS result.b is 1720000001
203PASS result.a is 1740000001
204PASS result.b is 1740000001
205PASS result.a is 1760000001
206PASS result.b is 1760000001
207PASS result.a is 1780000001
208PASS result.b is 1780000001
209PASS result.a is 1800000001
210PASS result.b is 1800000001
211PASS result.a is 1820000001
212PASS result.b is 1820000001
213PASS result.a is 1840000001
214PASS result.b is 1840000001
215PASS result.a is 1860000001
216PASS result.b is 1860000001
217PASS result.a is 1880000001
218PASS result.b is 1880000001
219PASS result.a is 1900000001
220PASS result.b is 1900000001
221PASS result.a is 1920000001
222PASS result.b is 1920000001
223PASS result.a is 1940000001
224PASS result.b is 1940000001
225PASS result.a is 1960000001
226PASS result.b is 1960000001
227PASS result.a is 1980000001
228PASS result.b is 1980000001
229PASS result.a is 2000000001
230PASS result.b is 2000000001
231PASS result.a is 2020000001
232PASS result.b is 2020000001
233PASS result.a is 2040000001
234PASS result.b is 2040000001
235PASS result.a is 2060000001
236PASS result.b is 2060000001
237PASS result.a is 2080000001
238PASS result.b is 2080000001
239PASS result.a is 2100000001
240PASS result.b is 2100000001
241PASS result.a is 2120000001
242PASS result.b is 2120000001
243PASS result.a is 2140000001
244PASS result.b is 2140000001
245PASS result.a is -2134967295
246PASS result.b is 2160000001
247PASS result.a is -2114967295
248PASS result.b is 2180000001
249PASS result.a is -2094967295
250PASS result.b is 2200000001
251PASS result.a is -2074967295
252PASS result.b is 2220000001
253PASS result.a is -2054967295
254PASS result.b is 2240000001
255PASS result.a is -2034967295
256PASS result.b is 2260000001
257PASS result.a is -2014967295
258PASS result.b is 2280000001
259PASS result.a is -1994967295
260PASS result.b is 2300000001
261PASS result.a is -1974967295
262PASS result.b is 2320000001
263PASS result.a is -1954967295
264PASS result.b is 2340000001
265PASS result.a is -1934967295
266PASS result.b is 2360000001
267PASS result.a is -1914967295
268PASS result.b is 2380000001
269PASS result.a is -1894967295
270PASS result.b is 2400000001
271PASS result.a is -1874967295
272PASS result.b is 2420000001
273PASS result.a is -1854967295
274PASS result.b is 2440000001
275PASS result.a is -1834967295
276PASS result.b is 2460000001
277PASS result.a is -1814967295
278PASS result.b is 2480000001
279PASS result.a is -1794967295
280PASS result.b is 2500000001
281PASS result.a is -1774967295
282PASS result.b is 2520000001
283PASS result.a is -1754967295
284PASS result.b is 2540000001
285PASS result.a is -1734967295
286PASS result.b is 2560000001
287PASS result.a is -1714967295
288PASS result.b is 2580000001
289PASS result.a is -1694967295
290PASS result.b is 2600000001
291PASS result.a is -1674967295
292PASS result.b is 2620000001
293PASS result.a is -1654967295
294PASS result.b is 2640000001
295PASS result.a is -1634967295
296PASS result.b is 2660000001
297PASS result.a is -1614967295
298PASS result.b is 2680000001
299PASS result.a is -1594967295
300PASS result.b is 2700000001
301PASS result.a is -1574967295
302PASS result.b is 2720000001
303PASS result.a is -1554967295
304PASS result.b is 2740000001
305PASS result.a is -1534967295
306PASS result.b is 2760000001
307PASS result.a is -1514967295
308PASS result.b is 2780000001
309PASS result.a is -1494967295
310PASS result.b is 2800000001
311PASS result.a is -1474967295
312PASS result.b is 2820000001
313PASS result.a is -1454967295
314PASS result.b is 2840000001
315PASS result.a is -1434967295
316PASS result.b is 2860000001
317PASS result.a is -1414967295
318PASS result.b is 2880000001
319PASS result.a is -1394967295
320PASS result.b is 2900000001
321PASS result.a is -1374967295
322PASS result.b is 2920000001
323PASS result.a is -1354967295
324PASS result.b is 2940000001
325PASS result.a is -1334967295
326PASS result.b is 2960000001
327PASS result.a is -1314967295
328PASS result.b is 2980000001
329PASS result.a is -1294967295
330PASS result.b is 3000000001
331PASS result.a is -1274967295
332PASS result.b is 3020000001
333PASS result.a is -1254967295
334PASS result.b is 3040000001
335PASS result.a is -1234967295
336PASS result.b is 3060000001
337PASS result.a is -1214967295
338PASS result.b is 3080000001
339PASS result.a is -1194967295
340PASS result.b is 3100000001
341PASS result.a is -1174967295
342PASS result.b is 3120000001
343PASS result.a is -1154967295
344PASS result.b is 3140000001
345PASS result.a is -1134967295
346PASS result.b is 3160000001
347PASS result.a is -1114967295
348PASS result.b is 3180000001
349PASS result.a is -1094967295
350PASS result.b is 3200000001
351PASS result.a is -1074967295
352PASS result.b is 3220000001
353PASS result.a is -1054967295
354PASS result.b is 3240000001
355PASS result.a is -1034967295
356PASS result.b is 3260000001
357PASS result.a is -1014967295
358PASS result.b is 3280000001
359PASS result.a is -994967295
360PASS result.b is 3300000001
361PASS result.a is -974967295
362PASS result.b is 3320000001
363PASS result.a is -954967295
364PASS result.b is 3340000001
365PASS result.a is -934967295
366PASS result.b is 3360000001
367PASS result.a is -914967295
368PASS result.b is 3380000001
369PASS result.a is -894967295
370PASS result.b is 3400000001
371PASS result.a is -874967295
372PASS result.b is 3420000001
373PASS result.a is -854967295
374PASS result.b is 3440000001
375PASS result.a is -834967295
376PASS result.b is 3460000001
377PASS result.a is -814967295
378PASS result.b is 3480000001
379PASS result.a is -794967295
380PASS result.b is 3500000001
381PASS result.a is -774967295
382PASS result.b is 3520000001
383PASS result.a is -754967295
384PASS result.b is 3540000001
385PASS result.a is -734967295
386PASS result.b is 3560000001
387PASS result.a is -714967295
388PASS result.b is 3580000001
389PASS result.a is -694967295
390PASS result.b is 3600000001
391PASS result.a is -674967295
392PASS result.b is 3620000001
393PASS result.a is -654967295
394PASS result.b is 3640000001
395PASS result.a is -634967295
396PASS result.b is 3660000001
397PASS result.a is -614967295
398PASS result.b is 3680000001
399PASS result.a is -594967295
400PASS result.b is 3700000001
401PASS result.a is -574967295
402PASS result.b is 3720000001
403PASS result.a is -554967295
404PASS result.b is 3740000001
405PASS result.a is -534967295
406PASS result.b is 3760000001
407PASS result.a is -514967295
408PASS result.b is 3780000001
409PASS result.a is -494967295
410PASS result.b is 3800000001
411PASS result.a is -474967295
412PASS result.b is 3820000001
413PASS result.a is -454967295
414PASS result.b is 3840000001
415PASS result.a is -434967295
416PASS result.b is 3860000001
417PASS result.a is -414967295
418PASS result.b is 3880000001
419PASS result.a is -394967295
420PASS result.b is 3900000001
421PASS result.a is -374967295
422PASS result.b is 3920000001
423PASS result.a is -354967295
424PASS result.b is 3940000001
425PASS result.a is -334967295
426PASS result.b is 3960000001
427PASS result.a is -314967295
428PASS result.b is 3980000001
429PASS result.a is -294967295
430PASS result.b is 4000000001
431PASS result.a is -274967295
432PASS result.b is 4020000001
433PASS result.a is -254967295
434PASS result.b is 4040000001
435PASS result.a is -234967295
436PASS result.b is 4060000001
437PASS result.a is -214967295
438PASS result.b is 4080000001
439PASS result.a is -194967295
440PASS result.b is 4100000001
441PASS result.a is -174967295
442PASS result.b is 4120000001
443PASS result.a is -154967295
444PASS result.b is 4140000001
445PASS result.a is -134967295
446PASS result.b is 4160000001
447PASS result.a is -114967295
448PASS result.b is 4180000001
449PASS result.a is -94967295
450PASS result.b is 4200000001
451PASS result.a is -74967295
452PASS result.b is 4220000001
453PASS result.a is -54967295
454PASS result.b is 4240000001
455PASS result.a is -34967295
456PASS result.b is 4260000001
457PASS result.a is -14967295
458PASS result.b is 4280000001
459PASS result.a is 5032705
460PASS result.b is 4300000001
461PASS result.a is 25032705
462PASS result.b is 4320000001
463PASS result.a is 45032705
464PASS result.b is 4340000001
465PASS result.a is 65032705
466PASS result.b is 4360000001
467PASS result.a is 85032705
468PASS result.b is 4380000001
469PASS result.a is 105032705
470PASS result.b is 4400000001
471PASS result.a is 125032705
472PASS result.b is 4420000001
473PASS result.a is 145032705
474PASS result.b is 4440000001
475PASS result.a is 165032705
476PASS result.b is 4460000001
477PASS result.a is 185032705
478PASS result.b is 4480000001
479PASS result.a is 205032705
480PASS result.b is 4500000001
481PASS result.a is 225032705
482PASS result.b is 4520000001
483PASS result.a is 245032705
484PASS result.b is 4540000001
485PASS result.a is 265032705
486PASS result.b is 4560000001
487PASS result.a is 285032705
488PASS result.b is 4580000001
489PASS result.a is 305032705
490PASS result.b is 4600000001
491PASS result.a is 325032705
492PASS result.b is 4620000001
493PASS result.a is 345032705
494PASS result.b is 4640000001
495PASS result.a is 365032705
496PASS result.b is 4660000001
497PASS result.a is 385032705
498PASS result.b is 4680000001
499PASS result.a is 405032705
500PASS result.b is 4700000001
501PASS result.a is 425032705
502PASS result.b is 4720000001
503PASS result.a is 445032705
504PASS result.b is 4740000001
505PASS result.a is 465032705
506PASS result.b is 4760000001
507PASS result.a is 485032705
508PASS result.b is 4780000001
509PASS result.a is 505032705
510PASS result.b is 4800000001
511PASS result.a is 525032705
512PASS result.b is 4820000001
513PASS result.a is 545032705
514PASS result.b is 4840000001
515PASS result.a is 565032705
516PASS result.b is 4860000001
517PASS result.a is 585032705
518PASS result.b is 4880000001
519PASS result.a is 605032705
520PASS result.b is 4900000001
521PASS result.a is 625032705
522PASS result.b is 4920000001
523PASS result.a is 645032705
524PASS result.b is 4940000001
525PASS result.a is 665032705
526PASS result.b is 4960000001
527PASS result.a is 685032705
528PASS result.b is 4980000001
529PASS result.a is 705032705
530PASS result.b is 5000000001
531PASS result.a is 725032705
532PASS result.b is 5020000001
533PASS result.a is 745032705
534PASS result.b is 5040000001
535PASS result.a is 765032705
536PASS result.b is 5060000001
537PASS result.a is 785032705
538PASS result.b is 5080000001
539PASS result.a is 805032705
540PASS result.b is 5100000001
541PASS result.a is 825032705
542PASS result.b is 5120000001
543PASS result.a is 845032705
544PASS result.b is 5140000001
545PASS result.a is 865032705
546PASS result.b is 5160000001
547PASS result.a is 885032705
548PASS result.b is 5180000001
549PASS result.a is 905032705
550PASS result.b is 5200000001
551PASS result.a is 925032705
552PASS result.b is 5220000001
553PASS result.a is 945032705
554PASS result.b is 5240000001
555PASS result.a is 965032705
556PASS result.b is 5260000001
557PASS result.a is 985032705
558PASS result.b is 5280000001
559PASS result.a is 1005032705
560PASS result.b is 5300000001
561PASS result.a is 1025032705
562PASS result.b is 5320000001
563PASS result.a is 1045032705
564PASS result.b is 5340000001
565PASS result.a is 1065032705
566PASS result.b is 5360000001
567PASS result.a is 1085032705
568PASS result.b is 5380000001
569PASS result.a is 1105032705
570PASS result.b is 5400000001
571PASS result.a is 1125032705
572PASS result.b is 5420000001
573PASS result.a is 1145032705
574PASS result.b is 5440000001
575PASS result.a is 1165032705
576PASS result.b is 5460000001
577PASS result.a is 1185032705
578PASS result.b is 5480000001
579PASS result.a is 1205032705
580PASS result.b is 5500000001
581PASS result.a is 1225032705
582PASS result.b is 5520000001
583PASS result.a is 1245032705
584PASS result.b is 5540000001
585PASS result.a is 1265032705
586PASS result.b is 5560000001
587PASS result.a is 1285032705
588PASS result.b is 5580000001
589PASS result.a is 1305032705
590PASS result.b is 5600000001
591PASS result.a is 1325032705
592PASS result.b is 5620000001
593PASS result.a is 1345032705
594PASS result.b is 5640000001
595PASS result.a is 1365032705
596PASS result.b is 5660000001
597PASS result.a is 1385032705
598PASS result.b is 5680000001
599PASS result.a is 1405032705
600PASS result.b is 5700000001
601PASS result.a is 1425032705
602PASS result.b is 5720000001
603PASS result.a is 1445032705
604PASS result.b is 5740000001
605PASS result.a is 1465032705
606PASS result.b is 5760000001
607PASS result.a is 1485032705
608PASS result.b is 5780000001
609PASS result.a is 1505032705
610PASS result.b is 5800000001
611PASS result.a is 1525032705
612PASS result.b is 5820000001
613PASS result.a is 1545032705
614PASS result.b is 5840000001
615PASS result.a is 1565032705
616PASS result.b is 5860000001
617PASS result.a is 1585032705
618PASS result.b is 5880000001
619PASS result.a is 1605032705
620PASS result.b is 5900000001
621PASS result.a is 1625032705
622PASS result.b is 5920000001
623PASS result.a is 1645032705
624PASS result.b is 5940000001
625PASS result.a is 1665032705
626PASS result.b is 5960000001
627PASS result.a is 1685032705
628PASS result.b is 5980000001
629PASS result.a is 1705032705
630PASS result.b is 6000000001
631PASS result.a is 1725032705
632PASS result.b is 6020000001
633PASS result.a is 1745032705
634PASS result.b is 6040000001
635PASS result.a is 1765032705
636PASS result.b is 6060000001
637PASS result.a is 1785032705
638PASS result.b is 6080000001
639PASS result.a is 1805032705
640PASS result.b is 6100000001
641PASS result.a is 1825032705
642PASS result.b is 6120000001
643PASS result.a is 1845032705
644PASS result.b is 6140000001
645PASS result.a is 1865032705
646PASS result.b is 6160000001
647PASS result.a is 1885032705
648PASS result.b is 6180000001
649PASS result.a is 1905032705
650PASS result.b is 6200000001
651PASS result.a is 1925032705
652PASS result.b is 6220000001
653PASS result.a is 1945032705
654PASS result.b is 6240000001
655PASS result.a is 1965032705
656PASS result.b is 6260000001
657PASS result.a is 1985032705
658PASS result.b is 6280000001
659PASS result.a is 2005032705
660PASS result.b is 6300000001
661PASS result.a is 2025032705
662PASS result.b is 6320000001
663PASS result.a is 2045032705
664PASS result.b is 6340000001
665PASS result.a is 2065032705
666PASS result.b is 6360000001
667PASS result.a is 2085032705
668PASS result.b is 6380000001
669PASS result.a is 2105032705
670PASS result.b is 6400000001
671PASS result.a is 2125032705
672PASS result.b is 6420000001
673PASS result.a is 2145032705
674PASS result.b is 6440000001
675PASS result.a is -2129934591
676PASS result.b is 6460000001
677PASS result.a is -2109934591
678PASS result.b is 6480000001
679PASS result.a is -2089934591
680PASS result.b is 6500000001
681PASS result.a is -2069934591
682PASS result.b is 6520000001
683PASS result.a is -2049934591
684PASS result.b is 6540000001
685PASS result.a is -2029934591
686PASS result.b is 6560000001
687PASS result.a is -2009934591
688PASS result.b is 6580000001
689PASS result.a is -1989934591
690PASS result.b is 6600000001
691PASS result.a is -1969934591
692PASS result.b is 6620000001
693PASS result.a is -1949934591
694PASS result.b is 6640000001
695PASS result.a is -1929934591
696PASS result.b is 6660000001
697PASS result.a is -1909934591
698PASS result.b is 6680000001
699PASS result.a is -1889934591
700PASS result.b is 6700000001
701PASS result.a is -1869934591
702PASS result.b is 6720000001
703PASS result.a is -1849934591
704PASS result.b is 6740000001
705PASS result.a is -1829934591
706PASS result.b is 6760000001
707PASS result.a is -1809934591
708PASS result.b is 6780000001
709PASS result.a is -1789934591
710PASS result.b is 6800000001
711PASS result.a is -1769934591
712PASS result.b is 6820000001
713PASS result.a is -1749934591
714PASS result.b is 6840000001
715PASS result.a is -1729934591
716PASS result.b is 6860000001
717PASS result.a is -1709934591
718PASS result.b is 6880000001
719PASS result.a is -1689934591
720PASS result.b is 6900000001
721PASS result.a is -1669934591
722PASS result.b is 6920000001
723PASS result.a is -1649934591
724PASS result.b is 6940000001
725PASS result.a is -1629934591
726PASS result.b is 6960000001
727PASS result.a is -1609934591
728PASS result.b is 6980000001
729PASS result.a is -1589934591
730PASS result.b is 7000000001
731PASS result.a is -1569934591
732PASS result.b is 7020000001
733PASS result.a is -1549934591
734PASS result.b is 7040000001
735PASS result.a is -1529934591
736PASS result.b is 7060000001
737PASS result.a is -1509934591
738PASS result.b is 7080000001
739PASS result.a is -1489934591
740PASS result.b is 7100000001
741PASS result.a is -1469934591
742PASS result.b is 7120000001
743PASS result.a is -1449934591
744PASS result.b is 7140000001
745PASS result.a is -1429934591
746PASS result.b is 7160000001
747PASS result.a is -1409934591
748PASS result.b is 7180000001
749PASS result.a is -1389934591
750PASS result.b is 7200000001
751PASS result.a is -1369934591
752PASS result.b is 7220000001
753PASS result.a is -1349934591
754PASS result.b is 7240000001
755PASS result.a is -1329934591
756PASS result.b is 7260000001
757PASS result.a is -1309934591
758PASS result.b is 7280000001
759PASS result.a is -1289934591
760PASS result.b is 7300000001
761PASS result.a is -1269934591
762PASS result.b is 7320000001
763PASS result.a is -1249934591
764PASS result.b is 7340000001
765PASS result.a is -1229934591
766PASS result.b is 7360000001
767PASS result.a is -1209934591
768PASS result.b is 7380000001
769PASS result.a is -1189934591
770PASS result.b is 7400000001
771PASS result.a is -1169934591
772PASS result.b is 7420000001
773PASS result.a is -1149934591
774PASS result.b is 7440000001
775PASS result.a is -1129934591
776PASS result.b is 7460000001
777PASS result.a is -1109934591
778PASS result.b is 7480000001
779PASS result.a is -1089934591
780PASS result.b is 7500000001
781PASS result.a is -1069934591
782PASS result.b is 7520000001
783PASS result.a is -1049934591
784PASS result.b is 7540000001
785PASS result.a is -1029934591
786PASS result.b is 7560000001
787PASS result.a is -1009934591
788PASS result.b is 7580000001
789PASS result.a is -989934591
790PASS result.b is 7600000001
791PASS result.a is -969934591
792PASS result.b is 7620000001
793PASS result.a is -949934591
794PASS result.b is 7640000001
795PASS result.a is -929934591
796PASS result.b is 7660000001
797PASS result.a is -909934591
798PASS result.b is 7680000001
799PASS result.a is -889934591
800PASS result.b is 7700000001
801PASS result.a is -869934591
802PASS result.b is 7720000001
803PASS result.a is -849934591
804PASS result.b is 7740000001
805PASS result.a is -829934591
806PASS result.b is 7760000001
807PASS result.a is -809934591
808PASS result.b is 7780000001
809PASS result.a is -789934591
810PASS result.b is 7800000001
811PASS result.a is -769934591
812PASS result.b is 7820000001
813PASS result.a is -749934591
814PASS result.b is 7840000001
815PASS result.a is -729934591
816PASS result.b is 7860000001
817PASS result.a is -709934591
818PASS result.b is 7880000001
819PASS result.a is -689934591
820PASS result.b is 7900000001
821PASS result.a is -669934591
822PASS result.b is 7920000001
823PASS result.a is -649934591
824PASS result.b is 7940000001
825PASS result.a is -629934591
826PASS result.b is 7960000001
827PASS result.a is -609934591
828PASS result.b is 7980000001
829PASS result.a is -589934591
830PASS result.b is 8000000001
831PASS result.a is -569934591
832PASS result.b is 8020000001
833PASS result.a is -549934591
834PASS result.b is 8040000001
835PASS result.a is -529934591
836PASS result.b is 8060000001
837PASS result.a is -509934591
838PASS result.b is 8080000001
839PASS result.a is -489934591
840PASS result.b is 8100000001
841PASS result.a is -469934591
842PASS result.b is 8120000001
843PASS result.a is -449934591
844PASS result.b is 8140000001
845PASS result.a is -429934591
846PASS result.b is 8160000001
847PASS result.a is -409934591
848PASS result.b is 8180000001
849PASS result.a is -389934591
850PASS result.b is 8200000001
851PASS result.a is -369934591
852PASS result.b is 8220000001
853PASS result.a is -349934591
854PASS result.b is 8240000001
855PASS result.a is -329934591
856PASS result.b is 8260000001
857PASS result.a is -309934591
858PASS result.b is 8280000001
859PASS result.a is -289934591
860PASS result.b is 8300000001
861PASS result.a is -269934591
862PASS result.b is 8320000001
863PASS result.a is -249934591
864PASS result.b is 8340000001
865PASS result.a is -229934591
866PASS result.b is 8360000001
867PASS result.a is -209934591
868PASS result.b is 8380000001
869PASS result.a is -189934591
870PASS result.b is 8400000001
871PASS result.a is -169934591
872PASS result.b is 8420000001
873PASS result.a is -149934591
874PASS result.b is 8440000001
875PASS result.a is -129934591
876PASS result.b is 8460000001
877PASS result.a is -109934591
878PASS result.b is 8480000001
879PASS result.a is -89934591
880PASS result.b is 8500000001
881PASS result.a is -69934591
882PASS result.b is 8520000001
883PASS result.a is -49934591
884PASS result.b is 8540000001
885PASS result.a is -29934591
886PASS result.b is 8560000001
887PASS result.a is -9934591
888PASS result.b is 8580000001
889PASS result.a is 10065409
890PASS result.b is 8600000001
891PASS result.a is 30065409
892PASS result.b is 8620000001
893PASS result.a is 50065409
894PASS result.b is 8640000001
895PASS result.a is 70065409
896PASS result.b is 8660000001
897PASS result.a is 90065409
898PASS result.b is 8680000001
899PASS result.a is 110065409
900PASS result.b is 8700000001
901PASS result.a is 130065409
902PASS result.b is 8720000001
903PASS result.a is 150065409
904PASS result.b is 8740000001
905PASS result.a is 170065409
906PASS result.b is 8760000001
907PASS result.a is 190065409
908PASS result.b is 8780000001
909PASS result.a is 210065409
910PASS result.b is 8800000001
911PASS result.a is 230065409
912PASS result.b is 8820000001
913PASS result.a is 250065409
914PASS result.b is 8840000001
915PASS result.a is 270065409
916PASS result.b is 8860000001
917PASS result.a is 290065409
918PASS result.b is 8880000001
919PASS result.a is 310065409
920PASS result.b is 8900000001
921PASS result.a is 330065409
922PASS result.b is 8920000001
923PASS result.a is 350065409
924PASS result.b is 8940000001
925PASS result.a is 370065409
926PASS result.b is 8960000001
927PASS result.a is 390065409
928PASS result.b is 8980000001
929PASS result.a is 410065409
930PASS result.b is 9000000001
931PASS result.a is 430065409
932PASS result.b is 9020000001
933PASS result.a is 450065409
934PASS result.b is 9040000001
935PASS result.a is 470065409
936PASS result.b is 9060000001
937PASS result.a is 490065409
938PASS result.b is 9080000001
939PASS result.a is 510065409
940PASS result.b is 9100000001
941PASS result.a is 530065409
942PASS result.b is 9120000001
943PASS result.a is 550065409
944PASS result.b is 9140000001
945PASS result.a is 570065409
946PASS result.b is 9160000001
947PASS result.a is 590065409
948PASS result.b is 9180000001
949PASS result.a is 610065409
950PASS result.b is 9200000001
951PASS result.a is 630065409
952PASS result.b is 9220000001
953PASS result.a is 650065409
954PASS result.b is 9240000001
955PASS result.a is 670065409
956PASS result.b is 9260000001
957PASS result.a is 690065409
958PASS result.b is 9280000001
959PASS result.a is 710065409
960PASS result.b is 9300000001
961PASS result.a is 730065409
962PASS result.b is 9320000001
963PASS result.a is 750065409
964PASS result.b is 9340000001
965PASS result.a is 770065409
966PASS result.b is 9360000001
967PASS result.a is 790065409
968PASS result.b is 9380000001
969PASS result.a is 810065409
970PASS result.b is 9400000001
971PASS result.a is 830065409
972PASS result.b is 9420000001
973PASS result.a is 850065409
974PASS result.b is 9440000001
975PASS result.a is 870065409
976PASS result.b is 9460000001
977PASS result.a is 890065409
978PASS result.b is 9480000001
979PASS result.a is 910065409
980PASS result.b is 9500000001
981PASS result.a is 930065409
982PASS result.b is 9520000001
983PASS result.a is 950065409
984PASS result.b is 9540000001
985PASS result.a is 970065409
986PASS result.b is 9560000001
987PASS result.a is 990065409
988PASS result.b is 9580000001
989PASS result.a is 1010065409
990PASS result.b is 9600000001
991PASS result.a is 1030065409
992PASS result.b is 9620000001
993PASS result.a is 1050065409
994PASS result.b is 9640000001
995PASS result.a is 1070065409
996PASS result.b is 9660000001
997PASS result.a is 1090065409
998PASS result.b is 9680000001
999PASS result.a is 1110065409
1000PASS result.b is 9700000001
1001PASS result.a is 1130065409
1002PASS result.b is 9720000001
1003PASS result.a is 1150065409
1004PASS result.b is 9740000001
1005PASS result.a is 1170065409
1006PASS result.b is 9760000001
1007PASS result.a is 1190065409
1008PASS result.b is 9780000001
1009PASS result.a is 1210065409
1010PASS result.b is 9800000001
1011PASS result.a is 1230065409
1012PASS result.b is 9820000001
1013PASS result.a is 1250065409
1014PASS result.b is 9840000001
1015PASS result.a is 1270065409
1016PASS result.b is 9860000001
1017PASS result.a is 1290065409
1018PASS result.b is 9880000001
1019PASS result.a is 1310065409
1020PASS result.b is 9900000001
1021PASS result.a is 1330065409
1022PASS result.b is 9920000001
1023PASS result.a is 1350065409
1024PASS result.b is 9940000001
1025PASS result.a is 1370065409
1026PASS result.b is 9960000001
1027PASS result.a is 1390065409
1028PASS result.b is 9980000001
1029PASS result.a is 1410065409
1030PASS result.b is 10000000001
1031PASS result.a is 1430065409
1032PASS result.b is 10020000001
1033PASS result.a is 1450065409
1034PASS result.b is 10040000001
1035PASS result.a is 1470065409
1036PASS result.b is 10060000001
1037PASS result.a is 1490065409
1038PASS result.b is 10080000001
1039PASS result.a is 1510065409
1040PASS result.b is 10100000001
1041PASS result.a is 1530065409
1042PASS result.b is 10120000001
1043PASS result.a is 1550065409
1044PASS result.b is 10140000001
1045PASS result.a is 1570065409
1046PASS result.b is 10160000001
1047PASS result.a is 1590065409
1048PASS result.b is 10180000001
1049PASS result.a is 1610065409
1050PASS result.b is 10200000001
1051PASS result.a is 1630065409
1052PASS result.b is 10220000001
1053PASS result.a is 1650065409
1054PASS result.b is 10240000001
1055PASS result.a is 1670065409
1056PASS result.b is 10260000001
1057PASS result.a is 1690065409
1058PASS result.b is 10280000001
1059PASS result.a is 1710065409
1060PASS result.b is 10300000001
1061PASS result.a is 1730065409
1062PASS result.b is 10320000001
1063PASS result.a is 1750065409
1064PASS result.b is 10340000001
1065PASS result.a is 1770065409
1066PASS result.b is 10360000001
1067PASS result.a is 1790065409
1068PASS result.b is 10380000001
1069PASS result.a is 1810065409
1070PASS result.b is 10400000001
1071PASS result.a is 1830065409
1072PASS result.b is 10420000001
1073PASS result.a is 1850065409
1074PASS result.b is 10440000001
1075PASS result.a is 1870065409
1076PASS result.b is 10460000001
1077PASS result.a is 1890065409
1078PASS result.b is 10480000001
1079PASS result.a is 1910065409
1080PASS result.b is 10500000001
1081PASS result.a is 1930065409
1082PASS result.b is 10520000001
1083PASS result.a is 1950065409
1084PASS result.b is 10540000001
1085PASS result.a is 1970065409
1086PASS result.b is 10560000001
1087PASS result.a is 1990065409
1088PASS result.b is 10580000001
1089PASS result.a is 2010065409
1090PASS result.b is 10600000001
1091PASS result.a is 2030065409
1092PASS result.b is 10620000001
1093PASS result.a is 2050065409
1094PASS result.b is 10640000001
1095PASS result.a is 2070065409
1096PASS result.b is 10660000001
1097PASS result.a is 2090065409
1098PASS result.b is 10680000001
1099PASS result.a is 2110065409
1100PASS result.b is 10700000001
1101PASS result.a is 2130065409
1102PASS result.b is 10720000001
1103PASS result.a is -2144901887
1104PASS result.b is 10740000001
1105PASS result.a is -2124901887
1106PASS result.b is 10760000001
1107PASS result.a is -2104901887
1108PASS result.b is 10780000001
1109PASS result.a is -2084901887
1110PASS result.b is 10800000001
1111PASS result.a is -2064901887
1112PASS result.b is 10820000001
1113PASS result.a is -2044901887
1114PASS result.b is 10840000001
1115PASS result.a is -2024901887
1116PASS result.b is 10860000001
1117PASS result.a is -2004901887
1118PASS result.b is 10880000001
1119PASS result.a is -1984901887
1120PASS result.b is 10900000001
1121PASS result.a is -1964901887
1122PASS result.b is 10920000001
1123PASS result.a is -1944901887
1124PASS result.b is 10940000001
1125PASS result.a is -1924901887
1126PASS result.b is 10960000001
1127PASS result.a is -1904901887
1128PASS result.b is 10980000001
1129PASS result.a is -1884901887
1130PASS result.b is 11000000001
1131PASS result.a is -1864901887
1132PASS result.b is 11020000001
1133PASS result.a is -1844901887
1134PASS result.b is 11040000001
1135PASS result.a is -1824901887
1136PASS result.b is 11060000001
1137PASS result.a is -1804901887
1138PASS result.b is 11080000001
1139PASS result.a is -1784901887
1140PASS result.b is 11100000001
1141PASS result.a is -1764901887
1142PASS result.b is 11120000001
1143PASS result.a is -1744901887
1144PASS result.b is 11140000001
1145PASS result.a is -1724901887
1146PASS result.b is 11160000001
1147PASS result.a is -1704901887
1148PASS result.b is 11180000001
1149PASS result.a is -1684901887
1150PASS result.b is 11200000001
1151PASS result.a is -1664901887
1152PASS result.b is 11220000001
1153PASS result.a is -1644901887
1154PASS result.b is 11240000001
1155PASS result.a is -1624901887
1156PASS result.b is 11260000001
1157PASS result.a is -1604901887
1158PASS result.b is 11280000001
1159PASS result.a is -1584901887
1160PASS result.b is 11300000001
1161PASS result.a is -1564901887
1162PASS result.b is 11320000001
1163PASS result.a is -1544901887
1164PASS result.b is 11340000001
1165PASS result.a is -1524901887
1166PASS result.b is 11360000001
1167PASS result.a is -1504901887
1168PASS result.b is 11380000001
1169PASS result.a is -1484901887
1170PASS result.b is 11400000001
1171PASS result.a is -1464901887
1172PASS result.b is 11420000001
1173PASS result.a is -1444901887
1174PASS result.b is 11440000001
1175PASS result.a is -1424901887
1176PASS result.b is 11460000001
1177PASS result.a is -1404901887
1178PASS result.b is 11480000001
1179PASS result.a is -1384901887
1180PASS result.b is 11500000001
1181PASS result.a is -1364901887
1182PASS result.b is 11520000001
1183PASS result.a is -1344901887
1184PASS result.b is 11540000001
1185PASS result.a is -1324901887
1186PASS result.b is 11560000001
1187PASS result.a is -1304901887
1188PASS result.b is 11580000001
1189PASS result.a is -1284901887
1190PASS result.b is 11600000001
1191PASS result.a is -1264901887
1192PASS result.b is 11620000001
1193PASS result.a is -1244901887
1194PASS result.b is 11640000001
1195PASS result.a is -1224901887
1196PASS result.b is 11660000001
1197PASS result.a is -1204901887
1198PASS result.b is 11680000001
1199PASS result.a is -1184901887
1200PASS result.b is 11700000001
1201PASS result.a is -1164901887
1202PASS result.b is 11720000001
1203PASS result.a is -1144901887
1204PASS result.b is 11740000001
1205PASS result.a is -1124901887
1206PASS result.b is 11760000001
1207PASS result.a is -1104901887
1208PASS result.b is 11780000001
1209PASS result.a is -1084901887
1210PASS result.b is 11800000001
1211PASS result.a is -1064901887
1212PASS result.b is 11820000001
1213PASS result.a is -1044901887
1214PASS result.b is 11840000001
1215PASS result.a is -1024901887
1216PASS result.b is 11860000001
1217PASS result.a is -1004901887
1218PASS result.b is 11880000001
1219PASS result.a is -984901887
1220PASS result.b is 11900000001
1221PASS result.a is -964901887
1222PASS result.b is 11920000001
1223PASS result.a is -944901887
1224PASS result.b is 11940000001
1225PASS result.a is -924901887
1226PASS result.b is 11960000001
1227PASS result.a is -904901887
1228PASS result.b is 11980000001
1229PASS result.a is -884901887
1230PASS result.b is 12000000001
1231PASS result.a is -864901887
1232PASS result.b is 12020000001
1233PASS result.a is -844901887
1234PASS result.b is 12040000001
1235PASS result.a is -824901887
1236PASS result.b is 12060000001
1237PASS result.a is -804901887
1238PASS result.b is 12080000001
1239PASS result.a is -784901887
1240PASS result.b is 12100000001
1241PASS result.a is -764901887
1242PASS result.b is 12120000001
1243PASS result.a is -744901887
1244PASS result.b is 12140000001
1245PASS result.a is -724901887
1246PASS result.b is 12160000001
1247PASS result.a is -704901887
1248PASS result.b is 12180000001
1249PASS result.a is -684901887
1250PASS result.b is 12200000001
1251PASS result.a is -664901887
1252PASS result.b is 12220000001
1253PASS result.a is -644901887
1254PASS result.b is 12240000001
1255PASS result.a is -624901887
1256PASS result.b is 12260000001
1257PASS result.a is -604901887
1258PASS result.b is 12280000001
1259PASS result.a is -584901887
1260PASS result.b is 12300000001
1261PASS result.a is -564901887
1262PASS result.b is 12320000001
1263PASS result.a is -544901887
1264PASS result.b is 12340000001
1265PASS result.a is -524901887
1266PASS result.b is 12360000001
1267PASS result.a is -504901887
1268PASS result.b is 12380000001
1269PASS result.a is -484901887
1270PASS result.b is 12400000001
1271PASS result.a is -464901887
1272PASS result.b is 12420000001
1273PASS result.a is -444901887
1274PASS result.b is 12440000001
1275PASS result.a is -424901887
1276PASS result.b is 12460000001
1277PASS result.a is -404901887
1278PASS result.b is 12480000001
1279PASS result.a is -384901887
1280PASS result.b is 12500000001
1281PASS result.a is -364901887
1282PASS result.b is 12520000001
1283PASS result.a is -344901887
1284PASS result.b is 12540000001
1285PASS result.a is -324901887
1286PASS result.b is 12560000001
1287PASS result.a is -304901887
1288PASS result.b is 12580000001
1289PASS result.a is -284901887
1290PASS result.b is 12600000001
1291PASS result.a is -264901887
1292PASS result.b is 12620000001
1293PASS result.a is -244901887
1294PASS result.b is 12640000001
1295PASS result.a is -224901887
1296PASS result.b is 12660000001
1297PASS result.a is -204901887
1298PASS result.b is 12680000001
1299PASS result.a is -184901887
1300PASS result.b is 12700000001
1301PASS result.a is -164901887
1302PASS result.b is 12720000001
1303PASS result.a is -144901887
1304PASS result.b is 12740000001
1305PASS result.a is -124901887
1306PASS result.b is 12760000001
1307PASS result.a is -104901887
1308PASS result.b is 12780000001
1309PASS result.a is -84901887
1310PASS result.b is 12800000001
1311PASS result.a is -64901887
1312PASS result.b is 12820000001
1313PASS result.a is -44901887
1314PASS result.b is 12840000001
1315PASS result.a is -24901887
1316PASS result.b is 12860000001
1317PASS result.a is -4901887
1318PASS result.b is 12880000001
1319PASS result.a is 15098113
1320PASS result.b is 12900000001
1321PASS result.a is 35098113
1322PASS result.b is 12920000001
1323PASS result.a is 55098113
1324PASS result.b is 12940000001
1325PASS result.a is 75098113
1326PASS result.b is 12960000001
1327PASS result.a is 95098113
1328PASS result.b is 12980000001
1329PASS result.a is 115098113
1330PASS result.b is 13000000001
1331PASS result.a is 135098113
1332PASS result.b is 13020000001
1333PASS result.a is 155098113
1334PASS result.b is 13040000001
1335PASS result.a is 175098113
1336PASS result.b is 13060000001
1337PASS result.a is 195098113
1338PASS result.b is 13080000001
1339PASS result.a is 215098113
1340PASS result.b is 13100000001
1341PASS result.a is 235098113
1342PASS result.b is 13120000001
1343PASS result.a is 255098113
1344PASS result.b is 13140000001
1345PASS result.a is 275098113
1346PASS result.b is 13160000001
1347PASS result.a is 295098113
1348PASS result.b is 13180000001
1349PASS result.a is 315098113
1350PASS result.b is 13200000001
1351PASS result.a is 335098113
1352PASS result.b is 13220000001
1353PASS result.a is 355098113
1354PASS result.b is 13240000001
1355PASS result.a is 375098113
1356PASS result.b is 13260000001
1357PASS result.a is 395098113
1358PASS result.b is 13280000001
1359PASS result.a is 415098113
1360PASS result.b is 13300000001
1361PASS result.a is 435098113
1362PASS result.b is 13320000001
1363PASS result.a is 455098113
1364PASS result.b is 13340000001
1365PASS result.a is 475098113
1366PASS result.b is 13360000001
1367PASS result.a is 495098113
1368PASS result.b is 13380000001
1369PASS result.a is 515098113
1370PASS result.b is 13400000001
1371PASS result.a is 535098113
1372PASS result.b is 13420000001
1373PASS result.a is 555098113
1374PASS result.b is 13440000001
1375PASS result.a is 575098113
1376PASS result.b is 13460000001
1377PASS result.a is 595098113
1378PASS result.b is 13480000001
1379PASS result.a is 615098113
1380PASS result.b is 13500000001
1381PASS result.a is 635098113
1382PASS result.b is 13520000001
1383PASS result.a is 655098113
1384PASS result.b is 13540000001
1385PASS result.a is 675098113
1386PASS result.b is 13560000001
1387PASS result.a is 695098113
1388PASS result.b is 13580000001
1389PASS result.a is 715098113
1390PASS result.b is 13600000001
1391PASS result.a is 735098113
1392PASS result.b is 13620000001
1393PASS result.a is 755098113
1394PASS result.b is 13640000001
1395PASS result.a is 775098113
1396PASS result.b is 13660000001
1397PASS result.a is 795098113
1398PASS result.b is 13680000001
1399PASS result.a is 815098113
1400PASS result.b is 13700000001
1401PASS result.a is 835098113
1402PASS result.b is 13720000001
1403PASS result.a is 855098113
1404PASS result.b is 13740000001
1405PASS result.a is 875098113
1406PASS result.b is 13760000001
1407PASS result.a is 895098113
1408PASS result.b is 13780000001
1409PASS result.a is 915098113
1410PASS result.b is 13800000001
1411PASS result.a is 935098113
1412PASS result.b is 13820000001
1413PASS result.a is 955098113
1414PASS result.b is 13840000001
1415PASS result.a is 975098113
1416PASS result.b is 13860000001
1417PASS result.a is 995098113
1418PASS result.b is 13880000001
1419PASS result.a is 1015098113
1420PASS result.b is 13900000001
1421PASS result.a is 1035098113
1422PASS result.b is 13920000001
1423PASS result.a is 1055098113
1424PASS result.b is 13940000001
1425PASS result.a is 1075098113
1426PASS result.b is 13960000001
1427PASS result.a is 1095098113
1428PASS result.b is 13980000001
1429PASS result.a is 1115098113
1430PASS result.b is 14000000001
1431PASS result.a is 1135098113
1432PASS result.b is 14020000001
1433PASS result.a is 1155098113
1434PASS result.b is 14040000001
1435PASS result.a is 1175098113
1436PASS result.b is 14060000001
1437PASS result.a is 1195098113
1438PASS result.b is 14080000001
1439PASS result.a is 1215098113
1440PASS result.b is 14100000001
1441PASS result.a is 1235098113
1442PASS result.b is 14120000001
1443PASS result.a is 1255098113
1444PASS result.b is 14140000001
1445PASS result.a is 1275098113
1446PASS result.b is 14160000001
1447PASS result.a is 1295098113
1448PASS result.b is 14180000001
1449PASS result.a is 1315098113
1450PASS result.b is 14200000001
1451PASS result.a is 1335098113
1452PASS result.b is 14220000001
1453PASS result.a is 1355098113
1454PASS result.b is 14240000001
1455PASS result.a is 1375098113
1456PASS result.b is 14260000001
1457PASS result.a is 1395098113
1458PASS result.b is 14280000001
1459PASS result.a is 1415098113
1460PASS result.b is 14300000001
1461PASS result.a is 1435098113
1462PASS result.b is 14320000001
1463PASS result.a is 1455098113
1464PASS result.b is 14340000001
1465PASS result.a is 1475098113
1466PASS result.b is 14360000001
1467PASS result.a is 1495098113
1468PASS result.b is 14380000001
1469PASS result.a is 1515098113
1470PASS result.b is 14400000001
1471PASS result.a is 1535098113
1472PASS result.b is 14420000001
1473PASS result.a is 1555098113
1474PASS result.b is 14440000001
1475PASS result.a is 1575098113
1476PASS result.b is 14460000001
1477PASS result.a is 1595098113
1478PASS result.b is 14480000001
1479PASS result.a is 1615098113
1480PASS result.b is 14500000001
1481PASS result.a is 1635098113
1482PASS result.b is 14520000001
1483PASS result.a is 1655098113
1484PASS result.b is 14540000001
1485PASS result.a is 1675098113
1486PASS result.b is 14560000001
1487PASS result.a is 1695098113
1488PASS result.b is 14580000001
1489PASS result.a is 1715098113
1490PASS result.b is 14600000001
1491PASS result.a is 1735098113
1492PASS result.b is 14620000001
1493PASS result.a is 1755098113
1494PASS result.b is 14640000001
1495PASS result.a is 1775098113
1496PASS result.b is 14660000001
1497PASS result.a is 1795098113
1498PASS result.b is 14680000001
1499PASS result.a is 1815098113
1500PASS result.b is 14700000001
1501PASS result.a is 1835098113
1502PASS result.b is 14720000001
1503PASS result.a is 1855098113
1504PASS result.b is 14740000001
1505PASS result.a is 1875098113
1506PASS result.b is 14760000001
1507PASS result.a is 1895098113
1508PASS result.b is 14780000001
1509PASS result.a is 1915098113
1510PASS result.b is 14800000001
1511PASS result.a is 1935098113
1512PASS result.b is 14820000001
1513PASS result.a is 1955098113
1514PASS result.b is 14840000001
1515PASS result.a is 1975098113
1516PASS result.b is 14860000001
1517PASS result.a is 1995098113
1518PASS result.b is 14880000001
1519PASS result.a is 2015098113
1520PASS result.b is 14900000001
1521PASS result.a is 2035098113
1522PASS result.b is 14920000001
1523PASS result.a is 2055098113
1524PASS result.b is 14940000001
1525PASS result.a is 2075098113
1526PASS result.b is 14960000001
1527PASS result.a is 2095098113
1528PASS result.b is 14980000001
1529PASS result.a is 2115098113
1530PASS result.b is 15000000001
1531PASS result.a is 2135098113
1532PASS result.b is 15020000001
1533PASS result.a is -2139869183
1534PASS result.b is 15040000001
1535PASS result.a is -2119869183
1536PASS result.b is 15060000001
1537PASS result.a is -2099869183
1538PASS result.b is 15080000001
1539PASS result.a is -2079869183
1540PASS result.b is 15100000001
1541PASS result.a is -2059869183
1542PASS result.b is 15120000001
1543PASS result.a is -2039869183
1544PASS result.b is 15140000001
1545PASS result.a is -2019869183
1546PASS result.b is 15160000001
1547PASS result.a is -1999869183
1548PASS result.b is 15180000001
1549PASS result.a is -1979869183
1550PASS result.b is 15200000001
1551PASS result.a is -1959869183
1552PASS result.b is 15220000001
1553PASS result.a is -1939869183
1554PASS result.b is 15240000001
1555PASS result.a is -1919869183
1556PASS result.b is 15260000001
1557PASS result.a is -1899869183
1558PASS result.b is 15280000001
1559PASS result.a is -1879869183
1560PASS result.b is 15300000001
1561PASS result.a is -1859869183
1562PASS result.b is 15320000001
1563PASS result.a is -1839869183
1564PASS result.b is 15340000001
1565PASS result.a is -1819869183
1566PASS result.b is 15360000001
1567PASS result.a is -1799869183
1568PASS result.b is 15380000001
1569PASS result.a is -1779869183
1570PASS result.b is 15400000001
1571PASS result.a is -1759869183
1572PASS result.b is 15420000001
1573PASS result.a is -1739869183
1574PASS result.b is 15440000001
1575PASS result.a is -1719869183
1576PASS result.b is 15460000001
1577PASS result.a is -1699869183
1578PASS result.b is 15480000001
1579PASS result.a is -1679869183
1580PASS result.b is 15500000001
1581PASS result.a is -1659869183
1582PASS result.b is 15520000001
1583PASS result.a is -1639869183
1584PASS result.b is 15540000001
1585PASS result.a is -1619869183
1586PASS result.b is 15560000001
1587PASS result.a is -1599869183
1588PASS result.b is 15580000001
1589PASS result.a is -1579869183
1590PASS result.b is 15600000001
1591PASS result.a is -1559869183
1592PASS result.b is 15620000001
1593PASS result.a is -1539869183
1594PASS result.b is 15640000001
1595PASS result.a is -1519869183
1596PASS result.b is 15660000001
1597PASS result.a is -1499869183
1598PASS result.b is 15680000001
1599PASS result.a is -1479869183
1600PASS result.b is 15700000001
1601PASS result.a is -1459869183
1602PASS result.b is 15720000001
1603PASS result.a is -1439869183
1604PASS result.b is 15740000001
1605PASS result.a is -1419869183
1606PASS result.b is 15760000001
1607PASS result.a is -1399869183
1608PASS result.b is 15780000001
1609PASS result.a is -1379869183
1610PASS result.b is 15800000001
1611PASS result.a is -1359869183
1612PASS result.b is 15820000001
1613PASS result.a is -1339869183
1614PASS result.b is 15840000001
1615PASS result.a is -1319869183
1616PASS result.b is 15860000001
1617PASS result.a is -1299869183
1618PASS result.b is 15880000001
1619PASS result.a is -1279869183
1620PASS result.b is 15900000001
1621PASS result.a is -1259869183
1622PASS result.b is 15920000001
1623PASS result.a is -1239869183
1624PASS result.b is 15940000001
1625PASS result.a is -1219869183
1626PASS result.b is 15960000001
1627PASS result.a is -1199869183
1628PASS result.b is 15980000001
1629PASS result.a is -1179869183
1630PASS result.b is 16000000001
1631PASS result.a is -1159869183
1632PASS result.b is 16020000001
1633PASS result.a is -1139869183
1634PASS result.b is 16040000001
1635PASS result.a is -1119869183
1636PASS result.b is 16060000001
1637PASS result.a is -1099869183
1638PASS result.b is 16080000001
1639PASS result.a is -1079869183
1640PASS result.b is 16100000001
1641PASS result.a is -1059869183
1642PASS result.b is 16120000001
1643PASS result.a is -1039869183
1644PASS result.b is 16140000001
1645PASS result.a is -1019869183
1646PASS result.b is 16160000001
1647PASS result.a is -999869183
1648PASS result.b is 16180000001
1649PASS result.a is -979869183
1650PASS result.b is 16200000001
1651PASS result.a is -959869183
1652PASS result.b is 16220000001
1653PASS result.a is -939869183
1654PASS result.b is 16240000001
1655PASS result.a is -919869183
1656PASS result.b is 16260000001
1657PASS result.a is -899869183
1658PASS result.b is 16280000001
1659PASS result.a is -879869183
1660PASS result.b is 16300000001
1661PASS result.a is -859869183
1662PASS result.b is 16320000001
1663PASS result.a is -839869183
1664PASS result.b is 16340000001
1665PASS result.a is -819869183
1666PASS result.b is 16360000001
1667PASS result.a is -799869183
1668PASS result.b is 16380000001
1669PASS result.a is -779869183
1670PASS result.b is 16400000001
1671PASS result.a is -759869183
1672PASS result.b is 16420000001
1673PASS result.a is -739869183
1674PASS result.b is 16440000001
1675PASS result.a is -719869183
1676PASS result.b is 16460000001
1677PASS result.a is -699869183
1678PASS result.b is 16480000001
1679PASS result.a is -679869183
1680PASS result.b is 16500000001
1681PASS result.a is -659869183
1682PASS result.b is 16520000001
1683PASS result.a is -639869183
1684PASS result.b is 16540000001
1685PASS result.a is -619869183
1686PASS result.b is 16560000001
1687PASS result.a is -599869183
1688PASS result.b is 16580000001
1689PASS result.a is -579869183
1690PASS result.b is 16600000001
1691PASS result.a is -559869183
1692PASS result.b is 16620000001
1693PASS result.a is -539869183
1694PASS result.b is 16640000001
1695PASS result.a is -519869183
1696PASS result.b is 16660000001
1697PASS result.a is -499869183
1698PASS result.b is 16680000001
1699PASS result.a is -479869183
1700PASS result.b is 16700000001
1701PASS result.a is -459869183
1702PASS result.b is 16720000001
1703PASS result.a is -439869183
1704PASS result.b is 16740000001
1705PASS result.a is -419869183
1706PASS result.b is 16760000001
1707PASS result.a is -399869183
1708PASS result.b is 16780000001
1709PASS result.a is -379869183
1710PASS result.b is 16800000001
1711PASS result.a is -359869183
1712PASS result.b is 16820000001
1713PASS result.a is -339869183
1714PASS result.b is 16840000001
1715PASS result.a is -319869183
1716PASS result.b is 16860000001
1717PASS result.a is -299869183
1718PASS result.b is 16880000001
1719PASS result.a is -279869183
1720PASS result.b is 16900000001
1721PASS result.a is -259869183
1722PASS result.b is 16920000001
1723PASS result.a is -239869183
1724PASS result.b is 16940000001
1725PASS result.a is -219869183
1726PASS result.b is 16960000001
1727PASS result.a is -199869183
1728PASS result.b is 16980000001
1729PASS result.a is -179869183
1730PASS result.b is 17000000001
1731PASS result.a is -159869183
1732PASS result.b is 17020000001
1733PASS result.a is -139869183
1734PASS result.b is 17040000001
1735PASS result.a is -119869183
1736PASS result.b is 17060000001
1737PASS result.a is -99869183
1738PASS result.b is 17080000001
1739PASS result.a is -79869183
1740PASS result.b is 17100000001
1741PASS result.a is -59869183
1742PASS result.b is 17120000001
1743PASS result.a is -39869183
1744PASS result.b is 17140000001
1745PASS result.a is -19869183
1746PASS result.b is 17160000001
1747PASS result.a is 130817
1748PASS result.b is 17180000001
1749PASS result.a is 20130817
1750PASS result.b is 17200000001
1751PASS result.a is 40130817
1752PASS result.b is 17220000001
1753PASS result.a is 60130817
1754PASS result.b is 17240000001
1755PASS result.a is 80130817
1756PASS result.b is 17260000001
1757PASS result.a is 100130817
1758PASS result.b is 17280000001
1759PASS result.a is 120130817
1760PASS result.b is 17300000001
1761PASS result.a is 140130817
1762PASS result.b is 17320000001
1763PASS result.a is 160130817
1764PASS result.b is 17340000001
1765PASS result.a is 180130817
1766PASS result.b is 17360000001
1767PASS result.a is 200130817
1768PASS result.b is 17380000001
1769PASS result.a is 220130817
1770PASS result.b is 17400000001
1771PASS result.a is 240130817
1772PASS result.b is 17420000001
1773PASS result.a is 260130817
1774PASS result.b is 17440000001
1775PASS result.a is 280130817
1776PASS result.b is 17460000001
1777PASS result.a is 300130817
1778PASS result.b is 17480000001
1779PASS result.a is 320130817
1780PASS result.b is 17500000001
1781PASS result.a is 340130817
1782PASS result.b is 17520000001
1783PASS result.a is 360130817
1784PASS result.b is 17540000001
1785PASS result.a is 380130817
1786PASS result.b is 17560000001
1787PASS result.a is 400130817
1788PASS result.b is 17580000001
1789PASS result.a is 420130817
1790PASS result.b is 17600000001
1791PASS result.a is 440130817
1792PASS result.b is 17620000001
1793PASS result.a is 460130817
1794PASS result.b is 17640000001
1795PASS result.a is 480130817
1796PASS result.b is 17660000001
1797PASS result.a is 500130817
1798PASS result.b is 17680000001
1799PASS result.a is 520130817
1800PASS result.b is 17700000001
1801PASS result.a is 540130817
1802PASS result.b is 17720000001
1803PASS result.a is 560130817
1804PASS result.b is 17740000001
1805PASS result.a is 580130817
1806PASS result.b is 17760000001
1807PASS result.a is 600130817
1808PASS result.b is 17780000001
1809PASS result.a is 620130817
1810PASS result.b is 17800000001
1811PASS result.a is 640130817
1812PASS result.b is 17820000001
1813PASS result.a is 660130817
1814PASS result.b is 17840000001
1815PASS result.a is 680130817
1816PASS result.b is 17860000001
1817PASS result.a is 700130817
1818PASS result.b is 17880000001
1819PASS result.a is 720130817
1820PASS result.b is 17900000001
1821PASS result.a is 740130817
1822PASS result.b is 17920000001
1823PASS result.a is 760130817
1824PASS result.b is 17940000001
1825PASS result.a is 780130817
1826PASS result.b is 17960000001
1827PASS result.a is 800130817
1828PASS result.b is 17980000001
1829PASS result.a is 820130817
1830PASS result.b is 18000000001
1831PASS result.a is 840130817
1832PASS result.b is 18020000001
1833PASS result.a is 860130817
1834PASS result.b is 18040000001
1835PASS result.a is 880130817
1836PASS result.b is 18060000001
1837PASS result.a is 900130817
1838PASS result.b is 18080000001
1839PASS result.a is 920130817
1840PASS result.b is 18100000001
1841PASS result.a is 940130817
1842PASS result.b is 18120000001
1843PASS result.a is 960130817
1844PASS result.b is 18140000001
1845PASS result.a is 980130817
1846PASS result.b is 18160000001
1847PASS result.a is 1000130817
1848PASS result.b is 18180000001
1849PASS result.a is 1020130817
1850PASS result.b is 18200000001
1851PASS result.a is 1040130817
1852PASS result.b is 18220000001
1853PASS result.a is 1060130817
1854PASS result.b is 18240000001
1855PASS result.a is 1080130817
1856PASS result.b is 18260000001
1857PASS result.a is 1100130817
1858PASS result.b is 18280000001
1859PASS result.a is 1120130817
1860PASS result.b is 18300000001
1861PASS result.a is 1140130817
1862PASS result.b is 18320000001
1863PASS result.a is 1160130817
1864PASS result.b is 18340000001
1865PASS result.a is 1180130817
1866PASS result.b is 18360000001
1867PASS result.a is 1200130817
1868PASS result.b is 18380000001
1869PASS result.a is 1220130817
1870PASS result.b is 18400000001
1871PASS result.a is 1240130817
1872PASS result.b is 18420000001
1873PASS result.a is 1260130817
1874PASS result.b is 18440000001
1875PASS result.a is 1280130817
1876PASS result.b is 18460000001
1877PASS result.a is 1300130817
1878PASS result.b is 18480000001
1879PASS result.a is 1320130817
1880PASS result.b is 18500000001
1881PASS result.a is 1340130817
1882PASS result.b is 18520000001
1883PASS result.a is 1360130817
1884PASS result.b is 18540000001
1885PASS result.a is 1380130817
1886PASS result.b is 18560000001
1887PASS result.a is 1400130817
1888PASS result.b is 18580000001
1889PASS result.a is 1420130817
1890PASS result.b is 18600000001
1891PASS result.a is 1440130817
1892PASS result.b is 18620000001
1893PASS result.a is 1460130817
1894PASS result.b is 18640000001
1895PASS result.a is 1480130817
1896PASS result.b is 18660000001
1897PASS result.a is 1500130817
1898PASS result.b is 18680000001
1899PASS result.a is 1520130817
1900PASS result.b is 18700000001
1901PASS result.a is 1540130817
1902PASS result.b is 18720000001
1903PASS result.a is 1560130817
1904PASS result.b is 18740000001
1905PASS result.a is 1580130817
1906PASS result.b is 18760000001
1907PASS result.a is 1600130817
1908PASS result.b is 18780000001
1909PASS result.a is 1620130817
1910PASS result.b is 18800000001
1911PASS result.a is 1640130817
1912PASS result.b is 18820000001
1913PASS result.a is 1660130817
1914PASS result.b is 18840000001
1915PASS result.a is 1680130817
1916PASS result.b is 18860000001
1917PASS result.a is 1700130817
1918PASS result.b is 18880000001
1919PASS result.a is 1720130817
1920PASS result.b is 18900000001
1921PASS result.a is 1740130817
1922PASS result.b is 18920000001
1923PASS result.a is 1760130817
1924PASS result.b is 18940000001
1925PASS result.a is 1780130817
1926PASS result.b is 18960000001
1927PASS result.a is 1800130817
1928PASS result.b is 18980000001
1929PASS result.a is 1820130817
1930PASS result.b is 19000000001
1931PASS result.a is 1840130817
1932PASS result.b is 19020000001
1933PASS result.a is 1860130817
1934PASS result.b is 19040000001
1935PASS result.a is 1880130817
1936PASS result.b is 19060000001
1937PASS result.a is 1900130817
1938PASS result.b is 19080000001
1939PASS result.a is 1920130817
1940PASS result.b is 19100000001
1941PASS result.a is 1940130817
1942PASS result.b is 19120000001
1943PASS result.a is 1960130817
1944PASS result.b is 19140000001
1945PASS result.a is 1980130817
1946PASS result.b is 19160000001
1947PASS result.a is 2000130817
1948PASS result.b is 19180000001
1949PASS result.a is 2020130817
1950PASS result.b is 19200000001
1951PASS result.a is 2040130817
1952PASS result.b is 19220000001
1953PASS result.a is 2060130817
1954PASS result.b is 19240000001
1955PASS result.a is 2080130817
1956PASS result.b is 19260000001
1957PASS result.a is 2100130817
1958PASS result.b is 19280000001
1959PASS result.a is 2120130817
1960PASS result.b is 19300000001
1961PASS result.a is 2140130817
1962PASS result.b is 19320000001
1963PASS result.a is -2134836479
1964PASS result.b is 19340000001
1965PASS result.a is -2114836479
1966PASS result.b is 19360000001
1967PASS result.a is -2094836479
1968PASS result.b is 19380000001
1969PASS result.a is -2074836479
1970PASS result.b is 19400000001
1971PASS result.a is -2054836479
1972PASS result.b is 19420000001
1973PASS result.a is -2034836479
1974PASS result.b is 19440000001
1975PASS result.a is -2014836479
1976PASS result.b is 19460000001
1977PASS result.a is -1994836479
1978PASS result.b is 19480000001
1979PASS result.a is -1974836479
1980PASS result.b is 19500000001
1981PASS result.a is -1954836479
1982PASS result.b is 19520000001
1983PASS result.a is -1934836479
1984PASS result.b is 19540000001
1985PASS result.a is -1914836479
1986PASS result.b is 19560000001
1987PASS result.a is -1894836479
1988PASS result.b is 19580000001
1989PASS result.a is -1874836479
1990PASS result.b is 19600000001
1991PASS result.a is -1854836479
1992PASS result.b is 19620000001
1993PASS result.a is -1834836479
1994PASS result.b is 19640000001
1995PASS result.a is -1814836479
1996PASS result.b is 19660000001
1997PASS result.a is -1794836479
1998PASS result.b is 19680000001
1999PASS result.a is -1774836479
2000PASS result.b is 19700000001
2001PASS result.a is -1754836479
2002PASS result.b is 19720000001
2003PASS result.a is -1734836479
2004PASS result.b is 19740000001
2005PASS result.a is -1714836479
2006PASS result.b is 19760000001
2007PASS result.a is -1694836479
2008PASS result.b is 19780000001
2009PASS result.a is -1674836479
2010PASS result.b is 19800000001
2011PASS result.a is -1654836479
2012PASS result.b is 19820000001
2013PASS result.a is -1634836479
2014PASS result.b is 19840000001
2015PASS result.a is -1614836479
2016PASS result.b is 19860000001
2017PASS result.a is -1594836479
2018PASS result.b is 19880000001
2019PASS result.a is -1574836479
2020PASS result.b is 19900000001
2021PASS result.a is -1554836479
2022PASS result.b is 19920000001
2023PASS result.a is -1534836479
2024PASS result.b is 19940000001
2025PASS result.a is -1514836479
2026PASS result.b is 19960000001
2027PASS result.a is -1494836479
2028PASS result.b is 19980000001
2029PASS successfullyParsed is true
2030
2031TEST COMPLETE
2032
2033