nx_triangulation_arith_500.nx source
↩ module page · 3513 lines · 154829 B
1// nx_triangulation_arith_500.nx -- 500-primitive bulk arithmetic triangulation
2// nx_safety_envelope:
3// intended_use: AUTO_APPLIED -- primitive-specific tuning queued
4// sil_target: SIL1
5// evidence: [bulk_applied_2026-05-16, see-file-comment-for-detail]
6// verdict: NOT_YET_EVALUATED
7
8import "nx_syscalls.nx"
9import "nx_runtime.nx"
10import "nx_tier.nx"
11import "nx_add_2.nx"
12import "nx_add_3.nx"
13import "nx_add_4.nx"
14import "nx_add_5.nx"
15import "nx_add_6.nx"
16import "nx_add_7.nx"
17import "nx_add_8.nx"
18import "nx_add_9.nx"
19import "nx_add_10.nx"
20import "nx_add_11.nx"
21import "nx_add_12.nx"
22import "nx_add_13.nx"
23import "nx_add_14.nx"
24import "nx_add_15.nx"
25import "nx_add_16.nx"
26import "nx_add_17.nx"
27import "nx_add_18.nx"
28import "nx_add_19.nx"
29import "nx_add_20.nx"
30import "nx_add_21.nx"
31import "nx_add_22.nx"
32import "nx_add_23.nx"
33import "nx_add_24.nx"
34import "nx_add_25.nx"
35import "nx_add_26.nx"
36import "nx_add_27.nx"
37import "nx_add_28.nx"
38import "nx_add_29.nx"
39import "nx_add_30.nx"
40import "nx_add_31.nx"
41import "nx_add_32.nx"
42import "nx_add_33.nx"
43import "nx_add_34.nx"
44import "nx_add_35.nx"
45import "nx_add_36.nx"
46import "nx_add_37.nx"
47import "nx_add_38.nx"
48import "nx_add_39.nx"
49import "nx_add_40.nx"
50import "nx_add_41.nx"
51import "nx_add_42.nx"
52import "nx_add_43.nx"
53import "nx_add_44.nx"
54import "nx_add_45.nx"
55import "nx_add_46.nx"
56import "nx_add_47.nx"
57import "nx_add_48.nx"
58import "nx_add_49.nx"
59import "nx_add_50.nx"
60import "nx_add_51.nx"
61import "nx_add_52.nx"
62import "nx_add_53.nx"
63import "nx_add_54.nx"
64import "nx_add_55.nx"
65import "nx_add_56.nx"
66import "nx_add_57.nx"
67import "nx_add_58.nx"
68import "nx_add_59.nx"
69import "nx_add_60.nx"
70import "nx_add_61.nx"
71import "nx_add_62.nx"
72import "nx_add_63.nx"
73import "nx_add_64.nx"
74import "nx_add_65.nx"
75import "nx_add_66.nx"
76import "nx_add_67.nx"
77import "nx_add_68.nx"
78import "nx_add_69.nx"
79import "nx_add_70.nx"
80import "nx_add_71.nx"
81import "nx_add_72.nx"
82import "nx_add_73.nx"
83import "nx_add_74.nx"
84import "nx_add_75.nx"
85import "nx_add_76.nx"
86import "nx_add_77.nx"
87import "nx_add_78.nx"
88import "nx_add_79.nx"
89import "nx_add_80.nx"
90import "nx_add_81.nx"
91import "nx_add_82.nx"
92import "nx_add_83.nx"
93import "nx_add_84.nx"
94import "nx_add_85.nx"
95import "nx_add_86.nx"
96import "nx_add_87.nx"
97import "nx_add_88.nx"
98import "nx_add_89.nx"
99import "nx_add_90.nx"
100import "nx_add_91.nx"
101import "nx_add_92.nx"
102import "nx_add_93.nx"
103import "nx_add_94.nx"
104import "nx_add_95.nx"
105import "nx_add_96.nx"
106import "nx_add_97.nx"
107import "nx_add_98.nx"
108import "nx_add_99.nx"
109import "nx_add_100.nx"
110import "nx_add_101.nx"
111import "nx_add_102.nx"
112import "nx_add_103.nx"
113import "nx_add_104.nx"
114import "nx_add_105.nx"
115import "nx_add_106.nx"
116import "nx_add_107.nx"
117import "nx_add_108.nx"
118import "nx_add_109.nx"
119import "nx_add_110.nx"
120import "nx_add_111.nx"
121import "nx_add_112.nx"
122import "nx_add_113.nx"
123import "nx_add_114.nx"
124import "nx_add_115.nx"
125import "nx_add_116.nx"
126import "nx_add_117.nx"
127import "nx_add_118.nx"
128import "nx_add_119.nx"
129import "nx_add_120.nx"
130import "nx_add_121.nx"
131import "nx_add_122.nx"
132import "nx_add_123.nx"
133import "nx_add_124.nx"
134import "nx_add_125.nx"
135import "nx_add_126.nx"
136import "nx_add_127.nx"
137import "nx_add_128.nx"
138import "nx_add_129.nx"
139import "nx_add_130.nx"
140import "nx_add_131.nx"
141import "nx_add_132.nx"
142import "nx_add_133.nx"
143import "nx_add_134.nx"
144import "nx_add_135.nx"
145import "nx_add_136.nx"
146import "nx_add_137.nx"
147import "nx_add_138.nx"
148import "nx_add_139.nx"
149import "nx_add_140.nx"
150import "nx_add_141.nx"
151import "nx_add_142.nx"
152import "nx_add_143.nx"
153import "nx_add_144.nx"
154import "nx_add_145.nx"
155import "nx_add_146.nx"
156import "nx_add_147.nx"
157import "nx_add_148.nx"
158import "nx_add_149.nx"
159import "nx_add_150.nx"
160import "nx_add_151.nx"
161import "nx_add_152.nx"
162import "nx_add_153.nx"
163import "nx_add_154.nx"
164import "nx_add_155.nx"
165import "nx_add_156.nx"
166import "nx_add_157.nx"
167import "nx_add_158.nx"
168import "nx_add_159.nx"
169import "nx_add_160.nx"
170import "nx_add_161.nx"
171import "nx_add_162.nx"
172import "nx_add_163.nx"
173import "nx_add_164.nx"
174import "nx_add_165.nx"
175import "nx_add_166.nx"
176import "nx_add_167.nx"
177import "nx_add_168.nx"
178import "nx_add_169.nx"
179import "nx_add_170.nx"
180import "nx_add_171.nx"
181import "nx_add_172.nx"
182import "nx_add_173.nx"
183import "nx_add_174.nx"
184import "nx_add_175.nx"
185import "nx_add_176.nx"
186import "nx_add_177.nx"
187import "nx_add_178.nx"
188import "nx_add_179.nx"
189import "nx_add_180.nx"
190import "nx_add_181.nx"
191import "nx_add_182.nx"
192import "nx_add_183.nx"
193import "nx_add_184.nx"
194import "nx_add_185.nx"
195import "nx_add_186.nx"
196import "nx_add_187.nx"
197import "nx_add_188.nx"
198import "nx_add_189.nx"
199import "nx_add_190.nx"
200import "nx_add_191.nx"
201import "nx_add_192.nx"
202import "nx_add_193.nx"
203import "nx_add_194.nx"
204import "nx_add_195.nx"
205import "nx_add_196.nx"
206import "nx_add_197.nx"
207import "nx_add_198.nx"
208import "nx_add_199.nx"
209import "nx_add_200.nx"
210import "nx_add_201.nx"
211import "nx_add_202.nx"
212import "nx_add_203.nx"
213import "nx_add_204.nx"
214import "nx_add_205.nx"
215import "nx_add_206.nx"
216import "nx_add_207.nx"
217import "nx_add_208.nx"
218import "nx_add_209.nx"
219import "nx_add_210.nx"
220import "nx_add_211.nx"
221import "nx_add_212.nx"
222import "nx_add_213.nx"
223import "nx_add_214.nx"
224import "nx_add_215.nx"
225import "nx_add_216.nx"
226import "nx_add_217.nx"
227import "nx_add_218.nx"
228import "nx_add_219.nx"
229import "nx_add_220.nx"
230import "nx_add_221.nx"
231import "nx_add_222.nx"
232import "nx_add_223.nx"
233import "nx_add_224.nx"
234import "nx_add_225.nx"
235import "nx_add_226.nx"
236import "nx_add_227.nx"
237import "nx_add_228.nx"
238import "nx_add_229.nx"
239import "nx_add_230.nx"
240import "nx_add_231.nx"
241import "nx_add_232.nx"
242import "nx_add_233.nx"
243import "nx_add_234.nx"
244import "nx_add_235.nx"
245import "nx_add_236.nx"
246import "nx_add_237.nx"
247import "nx_add_238.nx"
248import "nx_add_239.nx"
249import "nx_add_240.nx"
250import "nx_add_241.nx"
251import "nx_add_242.nx"
252import "nx_add_243.nx"
253import "nx_add_244.nx"
254import "nx_add_245.nx"
255import "nx_add_246.nx"
256import "nx_add_247.nx"
257import "nx_add_248.nx"
258import "nx_add_249.nx"
259import "nx_add_250.nx"
260import "nx_add_251.nx"
261import "nx_add_252.nx"
262import "nx_add_253.nx"
263import "nx_add_254.nx"
264import "nx_add_255.nx"
265import "nx_add_256.nx"
266import "nx_add_257.nx"
267import "nx_add_258.nx"
268import "nx_add_259.nx"
269import "nx_add_260.nx"
270import "nx_add_261.nx"
271import "nx_add_262.nx"
272import "nx_add_263.nx"
273import "nx_add_264.nx"
274import "nx_add_265.nx"
275import "nx_add_266.nx"
276import "nx_add_267.nx"
277import "nx_add_268.nx"
278import "nx_add_269.nx"
279import "nx_add_270.nx"
280import "nx_add_271.nx"
281import "nx_add_272.nx"
282import "nx_add_273.nx"
283import "nx_add_274.nx"
284import "nx_add_275.nx"
285import "nx_add_276.nx"
286import "nx_add_277.nx"
287import "nx_add_278.nx"
288import "nx_add_279.nx"
289import "nx_add_280.nx"
290import "nx_add_281.nx"
291import "nx_add_282.nx"
292import "nx_add_283.nx"
293import "nx_add_284.nx"
294import "nx_add_285.nx"
295import "nx_add_286.nx"
296import "nx_add_287.nx"
297import "nx_add_288.nx"
298import "nx_add_289.nx"
299import "nx_add_290.nx"
300import "nx_add_291.nx"
301import "nx_add_292.nx"
302import "nx_add_293.nx"
303import "nx_add_294.nx"
304import "nx_add_295.nx"
305import "nx_add_296.nx"
306import "nx_add_297.nx"
307import "nx_add_298.nx"
308import "nx_add_299.nx"
309import "nx_add_300.nx"
310import "nx_add_301.nx"
311import "nx_add_302.nx"
312import "nx_add_303.nx"
313import "nx_add_304.nx"
314import "nx_add_305.nx"
315import "nx_add_306.nx"
316import "nx_add_307.nx"
317import "nx_add_308.nx"
318import "nx_add_309.nx"
319import "nx_add_310.nx"
320import "nx_add_311.nx"
321import "nx_add_312.nx"
322import "nx_add_313.nx"
323import "nx_add_314.nx"
324import "nx_add_315.nx"
325import "nx_add_316.nx"
326import "nx_add_317.nx"
327import "nx_add_318.nx"
328import "nx_add_319.nx"
329import "nx_add_320.nx"
330import "nx_add_321.nx"
331import "nx_add_322.nx"
332import "nx_add_323.nx"
333import "nx_add_324.nx"
334import "nx_add_325.nx"
335import "nx_add_326.nx"
336import "nx_add_327.nx"
337import "nx_add_328.nx"
338import "nx_add_329.nx"
339import "nx_add_330.nx"
340import "nx_add_331.nx"
341import "nx_add_332.nx"
342import "nx_add_333.nx"
343import "nx_add_334.nx"
344import "nx_add_335.nx"
345import "nx_add_336.nx"
346import "nx_add_337.nx"
347import "nx_add_338.nx"
348import "nx_add_339.nx"
349import "nx_add_340.nx"
350import "nx_add_341.nx"
351import "nx_add_342.nx"
352import "nx_add_343.nx"
353import "nx_add_344.nx"
354import "nx_add_345.nx"
355import "nx_add_346.nx"
356import "nx_add_347.nx"
357import "nx_add_348.nx"
358import "nx_add_349.nx"
359import "nx_add_350.nx"
360import "nx_add_351.nx"
361import "nx_add_352.nx"
362import "nx_add_353.nx"
363import "nx_add_354.nx"
364import "nx_add_355.nx"
365import "nx_add_356.nx"
366import "nx_add_357.nx"
367import "nx_add_358.nx"
368import "nx_add_359.nx"
369import "nx_add_360.nx"
370import "nx_add_361.nx"
371import "nx_add_362.nx"
372import "nx_add_363.nx"
373import "nx_add_364.nx"
374import "nx_add_365.nx"
375import "nx_add_366.nx"
376import "nx_add_367.nx"
377import "nx_add_368.nx"
378import "nx_add_369.nx"
379import "nx_add_370.nx"
380import "nx_add_371.nx"
381import "nx_add_372.nx"
382import "nx_add_373.nx"
383import "nx_add_374.nx"
384import "nx_add_375.nx"
385import "nx_add_376.nx"
386import "nx_add_377.nx"
387import "nx_add_378.nx"
388import "nx_add_379.nx"
389import "nx_add_380.nx"
390import "nx_add_381.nx"
391import "nx_add_382.nx"
392import "nx_add_383.nx"
393import "nx_add_384.nx"
394import "nx_add_385.nx"
395import "nx_add_386.nx"
396import "nx_add_387.nx"
397import "nx_add_388.nx"
398import "nx_add_389.nx"
399import "nx_add_390.nx"
400import "nx_add_391.nx"
401import "nx_add_392.nx"
402import "nx_add_393.nx"
403import "nx_add_394.nx"
404import "nx_add_395.nx"
405import "nx_add_396.nx"
406import "nx_add_397.nx"
407import "nx_add_398.nx"
408import "nx_add_399.nx"
409import "nx_add_400.nx"
410import "nx_add_401.nx"
411import "nx_add_402.nx"
412import "nx_add_403.nx"
413import "nx_add_404.nx"
414import "nx_add_405.nx"
415import "nx_add_406.nx"
416import "nx_add_407.nx"
417import "nx_add_408.nx"
418import "nx_add_409.nx"
419import "nx_add_410.nx"
420import "nx_add_411.nx"
421import "nx_add_412.nx"
422import "nx_add_413.nx"
423import "nx_add_414.nx"
424import "nx_add_415.nx"
425import "nx_add_416.nx"
426import "nx_add_417.nx"
427import "nx_add_418.nx"
428import "nx_add_419.nx"
429import "nx_add_420.nx"
430import "nx_add_421.nx"
431import "nx_add_422.nx"
432import "nx_add_423.nx"
433import "nx_add_424.nx"
434import "nx_add_425.nx"
435import "nx_add_426.nx"
436import "nx_add_427.nx"
437import "nx_add_428.nx"
438import "nx_add_429.nx"
439import "nx_add_430.nx"
440import "nx_add_431.nx"
441import "nx_add_432.nx"
442import "nx_add_433.nx"
443import "nx_add_434.nx"
444import "nx_add_435.nx"
445import "nx_add_436.nx"
446import "nx_add_437.nx"
447import "nx_add_438.nx"
448import "nx_add_439.nx"
449import "nx_add_440.nx"
450import "nx_add_441.nx"
451import "nx_add_442.nx"
452import "nx_add_443.nx"
453import "nx_add_444.nx"
454import "nx_add_445.nx"
455import "nx_add_446.nx"
456import "nx_add_447.nx"
457import "nx_add_448.nx"
458import "nx_add_449.nx"
459import "nx_add_450.nx"
460import "nx_add_451.nx"
461import "nx_add_452.nx"
462import "nx_add_453.nx"
463import "nx_add_454.nx"
464import "nx_add_455.nx"
465import "nx_add_456.nx"
466import "nx_add_457.nx"
467import "nx_add_458.nx"
468import "nx_add_459.nx"
469import "nx_add_460.nx"
470import "nx_add_461.nx"
471import "nx_add_462.nx"
472import "nx_add_463.nx"
473import "nx_add_464.nx"
474import "nx_add_465.nx"
475import "nx_add_466.nx"
476import "nx_add_467.nx"
477import "nx_add_468.nx"
478import "nx_add_469.nx"
479import "nx_add_470.nx"
480import "nx_add_471.nx"
481import "nx_add_472.nx"
482import "nx_add_473.nx"
483import "nx_add_474.nx"
484import "nx_add_475.nx"
485import "nx_add_476.nx"
486import "nx_add_477.nx"
487import "nx_add_478.nx"
488import "nx_add_479.nx"
489import "nx_add_480.nx"
490import "nx_add_481.nx"
491import "nx_add_482.nx"
492import "nx_add_483.nx"
493import "nx_add_484.nx"
494import "nx_add_485.nx"
495import "nx_add_486.nx"
496import "nx_add_487.nx"
497import "nx_add_488.nx"
498import "nx_add_489.nx"
499import "nx_add_490.nx"
500import "nx_add_491.nx"
501import "nx_add_492.nx"
502import "nx_add_493.nx"
503import "nx_add_494.nx"
504import "nx_add_495.nx"
505import "nx_add_496.nx"
506import "nx_add_497.nx"
507import "nx_add_498.nx"
508import "nx_add_499.nx"
509import "nx_add_500.nx"
510
511func main() -> nx_exit {
512 var tri: nx_int = 0
513 var fail: nx_int = 0
514 if nx_add_2(7) == 9 { tri = tri + 1 }
515 if nx_add_2(7) != 9 { fail = fail + 1 }
516 if nx_add_2(42) == 44 { tri = tri + 1 }
517 if nx_add_2(42) != 44 { fail = fail + 1 }
518 if nx_add_2(100) == 102 { tri = tri + 1 }
519 if nx_add_2(100) != 102 { fail = fail + 1 }
520 if nx_add_3(7) == 10 { tri = tri + 1 }
521 if nx_add_3(7) != 10 { fail = fail + 1 }
522 if nx_add_3(42) == 45 { tri = tri + 1 }
523 if nx_add_3(42) != 45 { fail = fail + 1 }
524 if nx_add_3(100) == 103 { tri = tri + 1 }
525 if nx_add_3(100) != 103 { fail = fail + 1 }
526 if nx_add_4(7) == 11 { tri = tri + 1 }
527 if nx_add_4(7) != 11 { fail = fail + 1 }
528 if nx_add_4(42) == 46 { tri = tri + 1 }
529 if nx_add_4(42) != 46 { fail = fail + 1 }
530 if nx_add_4(100) == 104 { tri = tri + 1 }
531 if nx_add_4(100) != 104 { fail = fail + 1 }
532 if nx_add_5(7) == 12 { tri = tri + 1 }
533 if nx_add_5(7) != 12 { fail = fail + 1 }
534 if nx_add_5(42) == 47 { tri = tri + 1 }
535 if nx_add_5(42) != 47 { fail = fail + 1 }
536 if nx_add_5(100) == 105 { tri = tri + 1 }
537 if nx_add_5(100) != 105 { fail = fail + 1 }
538 if nx_add_6(7) == 13 { tri = tri + 1 }
539 if nx_add_6(7) != 13 { fail = fail + 1 }
540 if nx_add_6(42) == 48 { tri = tri + 1 }
541 if nx_add_6(42) != 48 { fail = fail + 1 }
542 if nx_add_6(100) == 106 { tri = tri + 1 }
543 if nx_add_6(100) != 106 { fail = fail + 1 }
544 if nx_add_7(7) == 14 { tri = tri + 1 }
545 if nx_add_7(7) != 14 { fail = fail + 1 }
546 if nx_add_7(42) == 49 { tri = tri + 1 }
547 if nx_add_7(42) != 49 { fail = fail + 1 }
548 if nx_add_7(100) == 107 { tri = tri + 1 }
549 if nx_add_7(100) != 107 { fail = fail + 1 }
550 if nx_add_8(7) == 15 { tri = tri + 1 }
551 if nx_add_8(7) != 15 { fail = fail + 1 }
552 if nx_add_8(42) == 50 { tri = tri + 1 }
553 if nx_add_8(42) != 50 { fail = fail + 1 }
554 if nx_add_8(100) == 108 { tri = tri + 1 }
555 if nx_add_8(100) != 108 { fail = fail + 1 }
556 if nx_add_9(7) == 16 { tri = tri + 1 }
557 if nx_add_9(7) != 16 { fail = fail + 1 }
558 if nx_add_9(42) == 51 { tri = tri + 1 }
559 if nx_add_9(42) != 51 { fail = fail + 1 }
560 if nx_add_9(100) == 109 { tri = tri + 1 }
561 if nx_add_9(100) != 109 { fail = fail + 1 }
562 if nx_add_10(7) == 17 { tri = tri + 1 }
563 if nx_add_10(7) != 17 { fail = fail + 1 }
564 if nx_add_10(42) == 52 { tri = tri + 1 }
565 if nx_add_10(42) != 52 { fail = fail + 1 }
566 if nx_add_10(100) == 110 { tri = tri + 1 }
567 if nx_add_10(100) != 110 { fail = fail + 1 }
568 if nx_add_11(7) == 18 { tri = tri + 1 }
569 if nx_add_11(7) != 18 { fail = fail + 1 }
570 if nx_add_11(42) == 53 { tri = tri + 1 }
571 if nx_add_11(42) != 53 { fail = fail + 1 }
572 if nx_add_11(100) == 111 { tri = tri + 1 }
573 if nx_add_11(100) != 111 { fail = fail + 1 }
574 if nx_add_12(7) == 19 { tri = tri + 1 }
575 if nx_add_12(7) != 19 { fail = fail + 1 }
576 if nx_add_12(42) == 54 { tri = tri + 1 }
577 if nx_add_12(42) != 54 { fail = fail + 1 }
578 if nx_add_12(100) == 112 { tri = tri + 1 }
579 if nx_add_12(100) != 112 { fail = fail + 1 }
580 if nx_add_13(7) == 20 { tri = tri + 1 }
581 if nx_add_13(7) != 20 { fail = fail + 1 }
582 if nx_add_13(42) == 55 { tri = tri + 1 }
583 if nx_add_13(42) != 55 { fail = fail + 1 }
584 if nx_add_13(100) == 113 { tri = tri + 1 }
585 if nx_add_13(100) != 113 { fail = fail + 1 }
586 if nx_add_14(7) == 21 { tri = tri + 1 }
587 if nx_add_14(7) != 21 { fail = fail + 1 }
588 if nx_add_14(42) == 56 { tri = tri + 1 }
589 if nx_add_14(42) != 56 { fail = fail + 1 }
590 if nx_add_14(100) == 114 { tri = tri + 1 }
591 if nx_add_14(100) != 114 { fail = fail + 1 }
592 if nx_add_15(7) == 22 { tri = tri + 1 }
593 if nx_add_15(7) != 22 { fail = fail + 1 }
594 if nx_add_15(42) == 57 { tri = tri + 1 }
595 if nx_add_15(42) != 57 { fail = fail + 1 }
596 if nx_add_15(100) == 115 { tri = tri + 1 }
597 if nx_add_15(100) != 115 { fail = fail + 1 }
598 if nx_add_16(7) == 23 { tri = tri + 1 }
599 if nx_add_16(7) != 23 { fail = fail + 1 }
600 if nx_add_16(42) == 58 { tri = tri + 1 }
601 if nx_add_16(42) != 58 { fail = fail + 1 }
602 if nx_add_16(100) == 116 { tri = tri + 1 }
603 if nx_add_16(100) != 116 { fail = fail + 1 }
604 if nx_add_17(7) == 24 { tri = tri + 1 }
605 if nx_add_17(7) != 24 { fail = fail + 1 }
606 if nx_add_17(42) == 59 { tri = tri + 1 }
607 if nx_add_17(42) != 59 { fail = fail + 1 }
608 if nx_add_17(100) == 117 { tri = tri + 1 }
609 if nx_add_17(100) != 117 { fail = fail + 1 }
610 if nx_add_18(7) == 25 { tri = tri + 1 }
611 if nx_add_18(7) != 25 { fail = fail + 1 }
612 if nx_add_18(42) == 60 { tri = tri + 1 }
613 if nx_add_18(42) != 60 { fail = fail + 1 }
614 if nx_add_18(100) == 118 { tri = tri + 1 }
615 if nx_add_18(100) != 118 { fail = fail + 1 }
616 if nx_add_19(7) == 26 { tri = tri + 1 }
617 if nx_add_19(7) != 26 { fail = fail + 1 }
618 if nx_add_19(42) == 61 { tri = tri + 1 }
619 if nx_add_19(42) != 61 { fail = fail + 1 }
620 if nx_add_19(100) == 119 { tri = tri + 1 }
621 if nx_add_19(100) != 119 { fail = fail + 1 }
622 if nx_add_20(7) == 27 { tri = tri + 1 }
623 if nx_add_20(7) != 27 { fail = fail + 1 }
624 if nx_add_20(42) == 62 { tri = tri + 1 }
625 if nx_add_20(42) != 62 { fail = fail + 1 }
626 if nx_add_20(100) == 120 { tri = tri + 1 }
627 if nx_add_20(100) != 120 { fail = fail + 1 }
628 if nx_add_21(7) == 28 { tri = tri + 1 }
629 if nx_add_21(7) != 28 { fail = fail + 1 }
630 if nx_add_21(42) == 63 { tri = tri + 1 }
631 if nx_add_21(42) != 63 { fail = fail + 1 }
632 if nx_add_21(100) == 121 { tri = tri + 1 }
633 if nx_add_21(100) != 121 { fail = fail + 1 }
634 if nx_add_22(7) == 29 { tri = tri + 1 }
635 if nx_add_22(7) != 29 { fail = fail + 1 }
636 if nx_add_22(42) == 64 { tri = tri + 1 }
637 if nx_add_22(42) != 64 { fail = fail + 1 }
638 if nx_add_22(100) == 122 { tri = tri + 1 }
639 if nx_add_22(100) != 122 { fail = fail + 1 }
640 if nx_add_23(7) == 30 { tri = tri + 1 }
641 if nx_add_23(7) != 30 { fail = fail + 1 }
642 if nx_add_23(42) == 65 { tri = tri + 1 }
643 if nx_add_23(42) != 65 { fail = fail + 1 }
644 if nx_add_23(100) == 123 { tri = tri + 1 }
645 if nx_add_23(100) != 123 { fail = fail + 1 }
646 if nx_add_24(7) == 31 { tri = tri + 1 }
647 if nx_add_24(7) != 31 { fail = fail + 1 }
648 if nx_add_24(42) == 66 { tri = tri + 1 }
649 if nx_add_24(42) != 66 { fail = fail + 1 }
650 if nx_add_24(100) == 124 { tri = tri + 1 }
651 if nx_add_24(100) != 124 { fail = fail + 1 }
652 if nx_add_25(7) == 32 { tri = tri + 1 }
653 if nx_add_25(7) != 32 { fail = fail + 1 }
654 if nx_add_25(42) == 67 { tri = tri + 1 }
655 if nx_add_25(42) != 67 { fail = fail + 1 }
656 if nx_add_25(100) == 125 { tri = tri + 1 }
657 if nx_add_25(100) != 125 { fail = fail + 1 }
658 if nx_add_26(7) == 33 { tri = tri + 1 }
659 if nx_add_26(7) != 33 { fail = fail + 1 }
660 if nx_add_26(42) == 68 { tri = tri + 1 }
661 if nx_add_26(42) != 68 { fail = fail + 1 }
662 if nx_add_26(100) == 126 { tri = tri + 1 }
663 if nx_add_26(100) != 126 { fail = fail + 1 }
664 if nx_add_27(7) == 34 { tri = tri + 1 }
665 if nx_add_27(7) != 34 { fail = fail + 1 }
666 if nx_add_27(42) == 69 { tri = tri + 1 }
667 if nx_add_27(42) != 69 { fail = fail + 1 }
668 if nx_add_27(100) == 127 { tri = tri + 1 }
669 if nx_add_27(100) != 127 { fail = fail + 1 }
670 if nx_add_28(7) == 35 { tri = tri + 1 }
671 if nx_add_28(7) != 35 { fail = fail + 1 }
672 if nx_add_28(42) == 70 { tri = tri + 1 }
673 if nx_add_28(42) != 70 { fail = fail + 1 }
674 if nx_add_28(100) == 128 { tri = tri + 1 }
675 if nx_add_28(100) != 128 { fail = fail + 1 }
676 if nx_add_29(7) == 36 { tri = tri + 1 }
677 if nx_add_29(7) != 36 { fail = fail + 1 }
678 if nx_add_29(42) == 71 { tri = tri + 1 }
679 if nx_add_29(42) != 71 { fail = fail + 1 }
680 if nx_add_29(100) == 129 { tri = tri + 1 }
681 if nx_add_29(100) != 129 { fail = fail + 1 }
682 if nx_add_30(7) == 37 { tri = tri + 1 }
683 if nx_add_30(7) != 37 { fail = fail + 1 }
684 if nx_add_30(42) == 72 { tri = tri + 1 }
685 if nx_add_30(42) != 72 { fail = fail + 1 }
686 if nx_add_30(100) == 130 { tri = tri + 1 }
687 if nx_add_30(100) != 130 { fail = fail + 1 }
688 if nx_add_31(7) == 38 { tri = tri + 1 }
689 if nx_add_31(7) != 38 { fail = fail + 1 }
690 if nx_add_31(42) == 73 { tri = tri + 1 }
691 if nx_add_31(42) != 73 { fail = fail + 1 }
692 if nx_add_31(100) == 131 { tri = tri + 1 }
693 if nx_add_31(100) != 131 { fail = fail + 1 }
694 if nx_add_32(7) == 39 { tri = tri + 1 }
695 if nx_add_32(7) != 39 { fail = fail + 1 }
696 if nx_add_32(42) == 74 { tri = tri + 1 }
697 if nx_add_32(42) != 74 { fail = fail + 1 }
698 if nx_add_32(100) == 132 { tri = tri + 1 }
699 if nx_add_32(100) != 132 { fail = fail + 1 }
700 if nx_add_33(7) == 40 { tri = tri + 1 }
701 if nx_add_33(7) != 40 { fail = fail + 1 }
702 if nx_add_33(42) == 75 { tri = tri + 1 }
703 if nx_add_33(42) != 75 { fail = fail + 1 }
704 if nx_add_33(100) == 133 { tri = tri + 1 }
705 if nx_add_33(100) != 133 { fail = fail + 1 }
706 if nx_add_34(7) == 41 { tri = tri + 1 }
707 if nx_add_34(7) != 41 { fail = fail + 1 }
708 if nx_add_34(42) == 76 { tri = tri + 1 }
709 if nx_add_34(42) != 76 { fail = fail + 1 }
710 if nx_add_34(100) == 134 { tri = tri + 1 }
711 if nx_add_34(100) != 134 { fail = fail + 1 }
712 if nx_add_35(7) == 42 { tri = tri + 1 }
713 if nx_add_35(7) != 42 { fail = fail + 1 }
714 if nx_add_35(42) == 77 { tri = tri + 1 }
715 if nx_add_35(42) != 77 { fail = fail + 1 }
716 if nx_add_35(100) == 135 { tri = tri + 1 }
717 if nx_add_35(100) != 135 { fail = fail + 1 }
718 if nx_add_36(7) == 43 { tri = tri + 1 }
719 if nx_add_36(7) != 43 { fail = fail + 1 }
720 if nx_add_36(42) == 78 { tri = tri + 1 }
721 if nx_add_36(42) != 78 { fail = fail + 1 }
722 if nx_add_36(100) == 136 { tri = tri + 1 }
723 if nx_add_36(100) != 136 { fail = fail + 1 }
724 if nx_add_37(7) == 44 { tri = tri + 1 }
725 if nx_add_37(7) != 44 { fail = fail + 1 }
726 if nx_add_37(42) == 79 { tri = tri + 1 }
727 if nx_add_37(42) != 79 { fail = fail + 1 }
728 if nx_add_37(100) == 137 { tri = tri + 1 }
729 if nx_add_37(100) != 137 { fail = fail + 1 }
730 if nx_add_38(7) == 45 { tri = tri + 1 }
731 if nx_add_38(7) != 45 { fail = fail + 1 }
732 if nx_add_38(42) == 80 { tri = tri + 1 }
733 if nx_add_38(42) != 80 { fail = fail + 1 }
734 if nx_add_38(100) == 138 { tri = tri + 1 }
735 if nx_add_38(100) != 138 { fail = fail + 1 }
736 if nx_add_39(7) == 46 { tri = tri + 1 }
737 if nx_add_39(7) != 46 { fail = fail + 1 }
738 if nx_add_39(42) == 81 { tri = tri + 1 }
739 if nx_add_39(42) != 81 { fail = fail + 1 }
740 if nx_add_39(100) == 139 { tri = tri + 1 }
741 if nx_add_39(100) != 139 { fail = fail + 1 }
742 if nx_add_40(7) == 47 { tri = tri + 1 }
743 if nx_add_40(7) != 47 { fail = fail + 1 }
744 if nx_add_40(42) == 82 { tri = tri + 1 }
745 if nx_add_40(42) != 82 { fail = fail + 1 }
746 if nx_add_40(100) == 140 { tri = tri + 1 }
747 if nx_add_40(100) != 140 { fail = fail + 1 }
748 if nx_add_41(7) == 48 { tri = tri + 1 }
749 if nx_add_41(7) != 48 { fail = fail + 1 }
750 if nx_add_41(42) == 83 { tri = tri + 1 }
751 if nx_add_41(42) != 83 { fail = fail + 1 }
752 if nx_add_41(100) == 141 { tri = tri + 1 }
753 if nx_add_41(100) != 141 { fail = fail + 1 }
754 if nx_add_42(7) == 49 { tri = tri + 1 }
755 if nx_add_42(7) != 49 { fail = fail + 1 }
756 if nx_add_42(42) == 84 { tri = tri + 1 }
757 if nx_add_42(42) != 84 { fail = fail + 1 }
758 if nx_add_42(100) == 142 { tri = tri + 1 }
759 if nx_add_42(100) != 142 { fail = fail + 1 }
760 if nx_add_43(7) == 50 { tri = tri + 1 }
761 if nx_add_43(7) != 50 { fail = fail + 1 }
762 if nx_add_43(42) == 85 { tri = tri + 1 }
763 if nx_add_43(42) != 85 { fail = fail + 1 }
764 if nx_add_43(100) == 143 { tri = tri + 1 }
765 if nx_add_43(100) != 143 { fail = fail + 1 }
766 if nx_add_44(7) == 51 { tri = tri + 1 }
767 if nx_add_44(7) != 51 { fail = fail + 1 }
768 if nx_add_44(42) == 86 { tri = tri + 1 }
769 if nx_add_44(42) != 86 { fail = fail + 1 }
770 if nx_add_44(100) == 144 { tri = tri + 1 }
771 if nx_add_44(100) != 144 { fail = fail + 1 }
772 if nx_add_45(7) == 52 { tri = tri + 1 }
773 if nx_add_45(7) != 52 { fail = fail + 1 }
774 if nx_add_45(42) == 87 { tri = tri + 1 }
775 if nx_add_45(42) != 87 { fail = fail + 1 }
776 if nx_add_45(100) == 145 { tri = tri + 1 }
777 if nx_add_45(100) != 145 { fail = fail + 1 }
778 if nx_add_46(7) == 53 { tri = tri + 1 }
779 if nx_add_46(7) != 53 { fail = fail + 1 }
780 if nx_add_46(42) == 88 { tri = tri + 1 }
781 if nx_add_46(42) != 88 { fail = fail + 1 }
782 if nx_add_46(100) == 146 { tri = tri + 1 }
783 if nx_add_46(100) != 146 { fail = fail + 1 }
784 if nx_add_47(7) == 54 { tri = tri + 1 }
785 if nx_add_47(7) != 54 { fail = fail + 1 }
786 if nx_add_47(42) == 89 { tri = tri + 1 }
787 if nx_add_47(42) != 89 { fail = fail + 1 }
788 if nx_add_47(100) == 147 { tri = tri + 1 }
789 if nx_add_47(100) != 147 { fail = fail + 1 }
790 if nx_add_48(7) == 55 { tri = tri + 1 }
791 if nx_add_48(7) != 55 { fail = fail + 1 }
792 if nx_add_48(42) == 90 { tri = tri + 1 }
793 if nx_add_48(42) != 90 { fail = fail + 1 }
794 if nx_add_48(100) == 148 { tri = tri + 1 }
795 if nx_add_48(100) != 148 { fail = fail + 1 }
796 if nx_add_49(7) == 56 { tri = tri + 1 }
797 if nx_add_49(7) != 56 { fail = fail + 1 }
798 if nx_add_49(42) == 91 { tri = tri + 1 }
799 if nx_add_49(42) != 91 { fail = fail + 1 }
800 if nx_add_49(100) == 149 { tri = tri + 1 }
801 if nx_add_49(100) != 149 { fail = fail + 1 }
802 if nx_add_50(7) == 57 { tri = tri + 1 }
803 if nx_add_50(7) != 57 { fail = fail + 1 }
804 if nx_add_50(42) == 92 { tri = tri + 1 }
805 if nx_add_50(42) != 92 { fail = fail + 1 }
806 if nx_add_50(100) == 150 { tri = tri + 1 }
807 if nx_add_50(100) != 150 { fail = fail + 1 }
808 if nx_add_51(7) == 58 { tri = tri + 1 }
809 if nx_add_51(7) != 58 { fail = fail + 1 }
810 if nx_add_51(42) == 93 { tri = tri + 1 }
811 if nx_add_51(42) != 93 { fail = fail + 1 }
812 if nx_add_51(100) == 151 { tri = tri + 1 }
813 if nx_add_51(100) != 151 { fail = fail + 1 }
814 if nx_add_52(7) == 59 { tri = tri + 1 }
815 if nx_add_52(7) != 59 { fail = fail + 1 }
816 if nx_add_52(42) == 94 { tri = tri + 1 }
817 if nx_add_52(42) != 94 { fail = fail + 1 }
818 if nx_add_52(100) == 152 { tri = tri + 1 }
819 if nx_add_52(100) != 152 { fail = fail + 1 }
820 if nx_add_53(7) == 60 { tri = tri + 1 }
821 if nx_add_53(7) != 60 { fail = fail + 1 }
822 if nx_add_53(42) == 95 { tri = tri + 1 }
823 if nx_add_53(42) != 95 { fail = fail + 1 }
824 if nx_add_53(100) == 153 { tri = tri + 1 }
825 if nx_add_53(100) != 153 { fail = fail + 1 }
826 if nx_add_54(7) == 61 { tri = tri + 1 }
827 if nx_add_54(7) != 61 { fail = fail + 1 }
828 if nx_add_54(42) == 96 { tri = tri + 1 }
829 if nx_add_54(42) != 96 { fail = fail + 1 }
830 if nx_add_54(100) == 154 { tri = tri + 1 }
831 if nx_add_54(100) != 154 { fail = fail + 1 }
832 if nx_add_55(7) == 62 { tri = tri + 1 }
833 if nx_add_55(7) != 62 { fail = fail + 1 }
834 if nx_add_55(42) == 97 { tri = tri + 1 }
835 if nx_add_55(42) != 97 { fail = fail + 1 }
836 if nx_add_55(100) == 155 { tri = tri + 1 }
837 if nx_add_55(100) != 155 { fail = fail + 1 }
838 if nx_add_56(7) == 63 { tri = tri + 1 }
839 if nx_add_56(7) != 63 { fail = fail + 1 }
840 if nx_add_56(42) == 98 { tri = tri + 1 }
841 if nx_add_56(42) != 98 { fail = fail + 1 }
842 if nx_add_56(100) == 156 { tri = tri + 1 }
843 if nx_add_56(100) != 156 { fail = fail + 1 }
844 if nx_add_57(7) == 64 { tri = tri + 1 }
845 if nx_add_57(7) != 64 { fail = fail + 1 }
846 if nx_add_57(42) == 99 { tri = tri + 1 }
847 if nx_add_57(42) != 99 { fail = fail + 1 }
848 if nx_add_57(100) == 157 { tri = tri + 1 }
849 if nx_add_57(100) != 157 { fail = fail + 1 }
850 if nx_add_58(7) == 65 { tri = tri + 1 }
851 if nx_add_58(7) != 65 { fail = fail + 1 }
852 if nx_add_58(42) == 100 { tri = tri + 1 }
853 if nx_add_58(42) != 100 { fail = fail + 1 }
854 if nx_add_58(100) == 158 { tri = tri + 1 }
855 if nx_add_58(100) != 158 { fail = fail + 1 }
856 if nx_add_59(7) == 66 { tri = tri + 1 }
857 if nx_add_59(7) != 66 { fail = fail + 1 }
858 if nx_add_59(42) == 101 { tri = tri + 1 }
859 if nx_add_59(42) != 101 { fail = fail + 1 }
860 if nx_add_59(100) == 159 { tri = tri + 1 }
861 if nx_add_59(100) != 159 { fail = fail + 1 }
862 if nx_add_60(7) == 67 { tri = tri + 1 }
863 if nx_add_60(7) != 67 { fail = fail + 1 }
864 if nx_add_60(42) == 102 { tri = tri + 1 }
865 if nx_add_60(42) != 102 { fail = fail + 1 }
866 if nx_add_60(100) == 160 { tri = tri + 1 }
867 if nx_add_60(100) != 160 { fail = fail + 1 }
868 if nx_add_61(7) == 68 { tri = tri + 1 }
869 if nx_add_61(7) != 68 { fail = fail + 1 }
870 if nx_add_61(42) == 103 { tri = tri + 1 }
871 if nx_add_61(42) != 103 { fail = fail + 1 }
872 if nx_add_61(100) == 161 { tri = tri + 1 }
873 if nx_add_61(100) != 161 { fail = fail + 1 }
874 if nx_add_62(7) == 69 { tri = tri + 1 }
875 if nx_add_62(7) != 69 { fail = fail + 1 }
876 if nx_add_62(42) == 104 { tri = tri + 1 }
877 if nx_add_62(42) != 104 { fail = fail + 1 }
878 if nx_add_62(100) == 162 { tri = tri + 1 }
879 if nx_add_62(100) != 162 { fail = fail + 1 }
880 if nx_add_63(7) == 70 { tri = tri + 1 }
881 if nx_add_63(7) != 70 { fail = fail + 1 }
882 if nx_add_63(42) == 105 { tri = tri + 1 }
883 if nx_add_63(42) != 105 { fail = fail + 1 }
884 if nx_add_63(100) == 163 { tri = tri + 1 }
885 if nx_add_63(100) != 163 { fail = fail + 1 }
886 if nx_add_64(7) == 71 { tri = tri + 1 }
887 if nx_add_64(7) != 71 { fail = fail + 1 }
888 if nx_add_64(42) == 106 { tri = tri + 1 }
889 if nx_add_64(42) != 106 { fail = fail + 1 }
890 if nx_add_64(100) == 164 { tri = tri + 1 }
891 if nx_add_64(100) != 164 { fail = fail + 1 }
892 if nx_add_65(7) == 72 { tri = tri + 1 }
893 if nx_add_65(7) != 72 { fail = fail + 1 }
894 if nx_add_65(42) == 107 { tri = tri + 1 }
895 if nx_add_65(42) != 107 { fail = fail + 1 }
896 if nx_add_65(100) == 165 { tri = tri + 1 }
897 if nx_add_65(100) != 165 { fail = fail + 1 }
898 if nx_add_66(7) == 73 { tri = tri + 1 }
899 if nx_add_66(7) != 73 { fail = fail + 1 }
900 if nx_add_66(42) == 108 { tri = tri + 1 }
901 if nx_add_66(42) != 108 { fail = fail + 1 }
902 if nx_add_66(100) == 166 { tri = tri + 1 }
903 if nx_add_66(100) != 166 { fail = fail + 1 }
904 if nx_add_67(7) == 74 { tri = tri + 1 }
905 if nx_add_67(7) != 74 { fail = fail + 1 }
906 if nx_add_67(42) == 109 { tri = tri + 1 }
907 if nx_add_67(42) != 109 { fail = fail + 1 }
908 if nx_add_67(100) == 167 { tri = tri + 1 }
909 if nx_add_67(100) != 167 { fail = fail + 1 }
910 if nx_add_68(7) == 75 { tri = tri + 1 }
911 if nx_add_68(7) != 75 { fail = fail + 1 }
912 if nx_add_68(42) == 110 { tri = tri + 1 }
913 if nx_add_68(42) != 110 { fail = fail + 1 }
914 if nx_add_68(100) == 168 { tri = tri + 1 }
915 if nx_add_68(100) != 168 { fail = fail + 1 }
916 if nx_add_69(7) == 76 { tri = tri + 1 }
917 if nx_add_69(7) != 76 { fail = fail + 1 }
918 if nx_add_69(42) == 111 { tri = tri + 1 }
919 if nx_add_69(42) != 111 { fail = fail + 1 }
920 if nx_add_69(100) == 169 { tri = tri + 1 }
921 if nx_add_69(100) != 169 { fail = fail + 1 }
922 if nx_add_70(7) == 77 { tri = tri + 1 }
923 if nx_add_70(7) != 77 { fail = fail + 1 }
924 if nx_add_70(42) == 112 { tri = tri + 1 }
925 if nx_add_70(42) != 112 { fail = fail + 1 }
926 if nx_add_70(100) == 170 { tri = tri + 1 }
927 if nx_add_70(100) != 170 { fail = fail + 1 }
928 if nx_add_71(7) == 78 { tri = tri + 1 }
929 if nx_add_71(7) != 78 { fail = fail + 1 }
930 if nx_add_71(42) == 113 { tri = tri + 1 }
931 if nx_add_71(42) != 113 { fail = fail + 1 }
932 if nx_add_71(100) == 171 { tri = tri + 1 }
933 if nx_add_71(100) != 171 { fail = fail + 1 }
934 if nx_add_72(7) == 79 { tri = tri + 1 }
935 if nx_add_72(7) != 79 { fail = fail + 1 }
936 if nx_add_72(42) == 114 { tri = tri + 1 }
937 if nx_add_72(42) != 114 { fail = fail + 1 }
938 if nx_add_72(100) == 172 { tri = tri + 1 }
939 if nx_add_72(100) != 172 { fail = fail + 1 }
940 if nx_add_73(7) == 80 { tri = tri + 1 }
941 if nx_add_73(7) != 80 { fail = fail + 1 }
942 if nx_add_73(42) == 115 { tri = tri + 1 }
943 if nx_add_73(42) != 115 { fail = fail + 1 }
944 if nx_add_73(100) == 173 { tri = tri + 1 }
945 if nx_add_73(100) != 173 { fail = fail + 1 }
946 if nx_add_74(7) == 81 { tri = tri + 1 }
947 if nx_add_74(7) != 81 { fail = fail + 1 }
948 if nx_add_74(42) == 116 { tri = tri + 1 }
949 if nx_add_74(42) != 116 { fail = fail + 1 }
950 if nx_add_74(100) == 174 { tri = tri + 1 }
951 if nx_add_74(100) != 174 { fail = fail + 1 }
952 if nx_add_75(7) == 82 { tri = tri + 1 }
953 if nx_add_75(7) != 82 { fail = fail + 1 }
954 if nx_add_75(42) == 117 { tri = tri + 1 }
955 if nx_add_75(42) != 117 { fail = fail + 1 }
956 if nx_add_75(100) == 175 { tri = tri + 1 }
957 if nx_add_75(100) != 175 { fail = fail + 1 }
958 if nx_add_76(7) == 83 { tri = tri + 1 }
959 if nx_add_76(7) != 83 { fail = fail + 1 }
960 if nx_add_76(42) == 118 { tri = tri + 1 }
961 if nx_add_76(42) != 118 { fail = fail + 1 }
962 if nx_add_76(100) == 176 { tri = tri + 1 }
963 if nx_add_76(100) != 176 { fail = fail + 1 }
964 if nx_add_77(7) == 84 { tri = tri + 1 }
965 if nx_add_77(7) != 84 { fail = fail + 1 }
966 if nx_add_77(42) == 119 { tri = tri + 1 }
967 if nx_add_77(42) != 119 { fail = fail + 1 }
968 if nx_add_77(100) == 177 { tri = tri + 1 }
969 if nx_add_77(100) != 177 { fail = fail + 1 }
970 if nx_add_78(7) == 85 { tri = tri + 1 }
971 if nx_add_78(7) != 85 { fail = fail + 1 }
972 if nx_add_78(42) == 120 { tri = tri + 1 }
973 if nx_add_78(42) != 120 { fail = fail + 1 }
974 if nx_add_78(100) == 178 { tri = tri + 1 }
975 if nx_add_78(100) != 178 { fail = fail + 1 }
976 if nx_add_79(7) == 86 { tri = tri + 1 }
977 if nx_add_79(7) != 86 { fail = fail + 1 }
978 if nx_add_79(42) == 121 { tri = tri + 1 }
979 if nx_add_79(42) != 121 { fail = fail + 1 }
980 if nx_add_79(100) == 179 { tri = tri + 1 }
981 if nx_add_79(100) != 179 { fail = fail + 1 }
982 if nx_add_80(7) == 87 { tri = tri + 1 }
983 if nx_add_80(7) != 87 { fail = fail + 1 }
984 if nx_add_80(42) == 122 { tri = tri + 1 }
985 if nx_add_80(42) != 122 { fail = fail + 1 }
986 if nx_add_80(100) == 180 { tri = tri + 1 }
987 if nx_add_80(100) != 180 { fail = fail + 1 }
988 if nx_add_81(7) == 88 { tri = tri + 1 }
989 if nx_add_81(7) != 88 { fail = fail + 1 }
990 if nx_add_81(42) == 123 { tri = tri + 1 }
991 if nx_add_81(42) != 123 { fail = fail + 1 }
992 if nx_add_81(100) == 181 { tri = tri + 1 }
993 if nx_add_81(100) != 181 { fail = fail + 1 }
994 if nx_add_82(7) == 89 { tri = tri + 1 }
995 if nx_add_82(7) != 89 { fail = fail + 1 }
996 if nx_add_82(42) == 124 { tri = tri + 1 }
997 if nx_add_82(42) != 124 { fail = fail + 1 }
998 if nx_add_82(100) == 182 { tri = tri + 1 }
999 if nx_add_82(100) != 182 { fail = fail + 1 }
1000 if nx_add_83(7) == 90 { tri = tri + 1 }
1001 if nx_add_83(7) != 90 { fail = fail + 1 }
1002 if nx_add_83(42) == 125 { tri = tri + 1 }
1003 if nx_add_83(42) != 125 { fail = fail + 1 }
1004 if nx_add_83(100) == 183 { tri = tri + 1 }
1005 if nx_add_83(100) != 183 { fail = fail + 1 }
1006 if nx_add_84(7) == 91 { tri = tri + 1 }
1007 if nx_add_84(7) != 91 { fail = fail + 1 }
1008 if nx_add_84(42) == 126 { tri = tri + 1 }
1009 if nx_add_84(42) != 126 { fail = fail + 1 }
1010 if nx_add_84(100) == 184 { tri = tri + 1 }
1011 if nx_add_84(100) != 184 { fail = fail + 1 }
1012 if nx_add_85(7) == 92 { tri = tri + 1 }
1013 if nx_add_85(7) != 92 { fail = fail + 1 }
1014 if nx_add_85(42) == 127 { tri = tri + 1 }
1015 if nx_add_85(42) != 127 { fail = fail + 1 }
1016 if nx_add_85(100) == 185 { tri = tri + 1 }
1017 if nx_add_85(100) != 185 { fail = fail + 1 }
1018 if nx_add_86(7) == 93 { tri = tri + 1 }
1019 if nx_add_86(7) != 93 { fail = fail + 1 }
1020 if nx_add_86(42) == 128 { tri = tri + 1 }
1021 if nx_add_86(42) != 128 { fail = fail + 1 }
1022 if nx_add_86(100) == 186 { tri = tri + 1 }
1023 if nx_add_86(100) != 186 { fail = fail + 1 }
1024 if nx_add_87(7) == 94 { tri = tri + 1 }
1025 if nx_add_87(7) != 94 { fail = fail + 1 }
1026 if nx_add_87(42) == 129 { tri = tri + 1 }
1027 if nx_add_87(42) != 129 { fail = fail + 1 }
1028 if nx_add_87(100) == 187 { tri = tri + 1 }
1029 if nx_add_87(100) != 187 { fail = fail + 1 }
1030 if nx_add_88(7) == 95 { tri = tri + 1 }
1031 if nx_add_88(7) != 95 { fail = fail + 1 }
1032 if nx_add_88(42) == 130 { tri = tri + 1 }
1033 if nx_add_88(42) != 130 { fail = fail + 1 }
1034 if nx_add_88(100) == 188 { tri = tri + 1 }
1035 if nx_add_88(100) != 188 { fail = fail + 1 }
1036 if nx_add_89(7) == 96 { tri = tri + 1 }
1037 if nx_add_89(7) != 96 { fail = fail + 1 }
1038 if nx_add_89(42) == 131 { tri = tri + 1 }
1039 if nx_add_89(42) != 131 { fail = fail + 1 }
1040 if nx_add_89(100) == 189 { tri = tri + 1 }
1041 if nx_add_89(100) != 189 { fail = fail + 1 }
1042 if nx_add_90(7) == 97 { tri = tri + 1 }
1043 if nx_add_90(7) != 97 { fail = fail + 1 }
1044 if nx_add_90(42) == 132 { tri = tri + 1 }
1045 if nx_add_90(42) != 132 { fail = fail + 1 }
1046 if nx_add_90(100) == 190 { tri = tri + 1 }
1047 if nx_add_90(100) != 190 { fail = fail + 1 }
1048 if nx_add_91(7) == 98 { tri = tri + 1 }
1049 if nx_add_91(7) != 98 { fail = fail + 1 }
1050 if nx_add_91(42) == 133 { tri = tri + 1 }
1051 if nx_add_91(42) != 133 { fail = fail + 1 }
1052 if nx_add_91(100) == 191 { tri = tri + 1 }
1053 if nx_add_91(100) != 191 { fail = fail + 1 }
1054 if nx_add_92(7) == 99 { tri = tri + 1 }
1055 if nx_add_92(7) != 99 { fail = fail + 1 }
1056 if nx_add_92(42) == 134 { tri = tri + 1 }
1057 if nx_add_92(42) != 134 { fail = fail + 1 }
1058 if nx_add_92(100) == 192 { tri = tri + 1 }
1059 if nx_add_92(100) != 192 { fail = fail + 1 }
1060 if nx_add_93(7) == 100 { tri = tri + 1 }
1061 if nx_add_93(7) != 100 { fail = fail + 1 }
1062 if nx_add_93(42) == 135 { tri = tri + 1 }
1063 if nx_add_93(42) != 135 { fail = fail + 1 }
1064 if nx_add_93(100) == 193 { tri = tri + 1 }
1065 if nx_add_93(100) != 193 { fail = fail + 1 }
1066 if nx_add_94(7) == 101 { tri = tri + 1 }
1067 if nx_add_94(7) != 101 { fail = fail + 1 }
1068 if nx_add_94(42) == 136 { tri = tri + 1 }
1069 if nx_add_94(42) != 136 { fail = fail + 1 }
1070 if nx_add_94(100) == 194 { tri = tri + 1 }
1071 if nx_add_94(100) != 194 { fail = fail + 1 }
1072 if nx_add_95(7) == 102 { tri = tri + 1 }
1073 if nx_add_95(7) != 102 { fail = fail + 1 }
1074 if nx_add_95(42) == 137 { tri = tri + 1 }
1075 if nx_add_95(42) != 137 { fail = fail + 1 }
1076 if nx_add_95(100) == 195 { tri = tri + 1 }
1077 if nx_add_95(100) != 195 { fail = fail + 1 }
1078 if nx_add_96(7) == 103 { tri = tri + 1 }
1079 if nx_add_96(7) != 103 { fail = fail + 1 }
1080 if nx_add_96(42) == 138 { tri = tri + 1 }
1081 if nx_add_96(42) != 138 { fail = fail + 1 }
1082 if nx_add_96(100) == 196 { tri = tri + 1 }
1083 if nx_add_96(100) != 196 { fail = fail + 1 }
1084 if nx_add_97(7) == 104 { tri = tri + 1 }
1085 if nx_add_97(7) != 104 { fail = fail + 1 }
1086 if nx_add_97(42) == 139 { tri = tri + 1 }
1087 if nx_add_97(42) != 139 { fail = fail + 1 }
1088 if nx_add_97(100) == 197 { tri = tri + 1 }
1089 if nx_add_97(100) != 197 { fail = fail + 1 }
1090 if nx_add_98(7) == 105 { tri = tri + 1 }
1091 if nx_add_98(7) != 105 { fail = fail + 1 }
1092 if nx_add_98(42) == 140 { tri = tri + 1 }
1093 if nx_add_98(42) != 140 { fail = fail + 1 }
1094 if nx_add_98(100) == 198 { tri = tri + 1 }
1095 if nx_add_98(100) != 198 { fail = fail + 1 }
1096 if nx_add_99(7) == 106 { tri = tri + 1 }
1097 if nx_add_99(7) != 106 { fail = fail + 1 }
1098 if nx_add_99(42) == 141 { tri = tri + 1 }
1099 if nx_add_99(42) != 141 { fail = fail + 1 }
1100 if nx_add_99(100) == 199 { tri = tri + 1 }
1101 if nx_add_99(100) != 199 { fail = fail + 1 }
1102 if nx_add_100(7) == 107 { tri = tri + 1 }
1103 if nx_add_100(7) != 107 { fail = fail + 1 }
1104 if nx_add_100(42) == 142 { tri = tri + 1 }
1105 if nx_add_100(42) != 142 { fail = fail + 1 }
1106 if nx_add_100(100) == 200 { tri = tri + 1 }
1107 if nx_add_100(100) != 200 { fail = fail + 1 }
1108 if nx_add_101(7) == 108 { tri = tri + 1 }
1109 if nx_add_101(7) != 108 { fail = fail + 1 }
1110 if nx_add_101(42) == 143 { tri = tri + 1 }
1111 if nx_add_101(42) != 143 { fail = fail + 1 }
1112 if nx_add_101(100) == 201 { tri = tri + 1 }
1113 if nx_add_101(100) != 201 { fail = fail + 1 }
1114 if nx_add_102(7) == 109 { tri = tri + 1 }
1115 if nx_add_102(7) != 109 { fail = fail + 1 }
1116 if nx_add_102(42) == 144 { tri = tri + 1 }
1117 if nx_add_102(42) != 144 { fail = fail + 1 }
1118 if nx_add_102(100) == 202 { tri = tri + 1 }
1119 if nx_add_102(100) != 202 { fail = fail + 1 }
1120 if nx_add_103(7) == 110 { tri = tri + 1 }
1121 if nx_add_103(7) != 110 { fail = fail + 1 }
1122 if nx_add_103(42) == 145 { tri = tri + 1 }
1123 if nx_add_103(42) != 145 { fail = fail + 1 }
1124 if nx_add_103(100) == 203 { tri = tri + 1 }
1125 if nx_add_103(100) != 203 { fail = fail + 1 }
1126 if nx_add_104(7) == 111 { tri = tri + 1 }
1127 if nx_add_104(7) != 111 { fail = fail + 1 }
1128 if nx_add_104(42) == 146 { tri = tri + 1 }
1129 if nx_add_104(42) != 146 { fail = fail + 1 }
1130 if nx_add_104(100) == 204 { tri = tri + 1 }
1131 if nx_add_104(100) != 204 { fail = fail + 1 }
1132 if nx_add_105(7) == 112 { tri = tri + 1 }
1133 if nx_add_105(7) != 112 { fail = fail + 1 }
1134 if nx_add_105(42) == 147 { tri = tri + 1 }
1135 if nx_add_105(42) != 147 { fail = fail + 1 }
1136 if nx_add_105(100) == 205 { tri = tri + 1 }
1137 if nx_add_105(100) != 205 { fail = fail + 1 }
1138 if nx_add_106(7) == 113 { tri = tri + 1 }
1139 if nx_add_106(7) != 113 { fail = fail + 1 }
1140 if nx_add_106(42) == 148 { tri = tri + 1 }
1141 if nx_add_106(42) != 148 { fail = fail + 1 }
1142 if nx_add_106(100) == 206 { tri = tri + 1 }
1143 if nx_add_106(100) != 206 { fail = fail + 1 }
1144 if nx_add_107(7) == 114 { tri = tri + 1 }
1145 if nx_add_107(7) != 114 { fail = fail + 1 }
1146 if nx_add_107(42) == 149 { tri = tri + 1 }
1147 if nx_add_107(42) != 149 { fail = fail + 1 }
1148 if nx_add_107(100) == 207 { tri = tri + 1 }
1149 if nx_add_107(100) != 207 { fail = fail + 1 }
1150 if nx_add_108(7) == 115 { tri = tri + 1 }
1151 if nx_add_108(7) != 115 { fail = fail + 1 }
1152 if nx_add_108(42) == 150 { tri = tri + 1 }
1153 if nx_add_108(42) != 150 { fail = fail + 1 }
1154 if nx_add_108(100) == 208 { tri = tri + 1 }
1155 if nx_add_108(100) != 208 { fail = fail + 1 }
1156 if nx_add_109(7) == 116 { tri = tri + 1 }
1157 if nx_add_109(7) != 116 { fail = fail + 1 }
1158 if nx_add_109(42) == 151 { tri = tri + 1 }
1159 if nx_add_109(42) != 151 { fail = fail + 1 }
1160 if nx_add_109(100) == 209 { tri = tri + 1 }
1161 if nx_add_109(100) != 209 { fail = fail + 1 }
1162 if nx_add_110(7) == 117 { tri = tri + 1 }
1163 if nx_add_110(7) != 117 { fail = fail + 1 }
1164 if nx_add_110(42) == 152 { tri = tri + 1 }
1165 if nx_add_110(42) != 152 { fail = fail + 1 }
1166 if nx_add_110(100) == 210 { tri = tri + 1 }
1167 if nx_add_110(100) != 210 { fail = fail + 1 }
1168 if nx_add_111(7) == 118 { tri = tri + 1 }
1169 if nx_add_111(7) != 118 { fail = fail + 1 }
1170 if nx_add_111(42) == 153 { tri = tri + 1 }
1171 if nx_add_111(42) != 153 { fail = fail + 1 }
1172 if nx_add_111(100) == 211 { tri = tri + 1 }
1173 if nx_add_111(100) != 211 { fail = fail + 1 }
1174 if nx_add_112(7) == 119 { tri = tri + 1 }
1175 if nx_add_112(7) != 119 { fail = fail + 1 }
1176 if nx_add_112(42) == 154 { tri = tri + 1 }
1177 if nx_add_112(42) != 154 { fail = fail + 1 }
1178 if nx_add_112(100) == 212 { tri = tri + 1 }
1179 if nx_add_112(100) != 212 { fail = fail + 1 }
1180 if nx_add_113(7) == 120 { tri = tri + 1 }
1181 if nx_add_113(7) != 120 { fail = fail + 1 }
1182 if nx_add_113(42) == 155 { tri = tri + 1 }
1183 if nx_add_113(42) != 155 { fail = fail + 1 }
1184 if nx_add_113(100) == 213 { tri = tri + 1 }
1185 if nx_add_113(100) != 213 { fail = fail + 1 }
1186 if nx_add_114(7) == 121 { tri = tri + 1 }
1187 if nx_add_114(7) != 121 { fail = fail + 1 }
1188 if nx_add_114(42) == 156 { tri = tri + 1 }
1189 if nx_add_114(42) != 156 { fail = fail + 1 }
1190 if nx_add_114(100) == 214 { tri = tri + 1 }
1191 if nx_add_114(100) != 214 { fail = fail + 1 }
1192 if nx_add_115(7) == 122 { tri = tri + 1 }
1193 if nx_add_115(7) != 122 { fail = fail + 1 }
1194 if nx_add_115(42) == 157 { tri = tri + 1 }
1195 if nx_add_115(42) != 157 { fail = fail + 1 }
1196 if nx_add_115(100) == 215 { tri = tri + 1 }
1197 if nx_add_115(100) != 215 { fail = fail + 1 }
1198 if nx_add_116(7) == 123 { tri = tri + 1 }
1199 if nx_add_116(7) != 123 { fail = fail + 1 }
1200 if nx_add_116(42) == 158 { tri = tri + 1 }
1201 if nx_add_116(42) != 158 { fail = fail + 1 }
1202 if nx_add_116(100) == 216 { tri = tri + 1 }
1203 if nx_add_116(100) != 216 { fail = fail + 1 }
1204 if nx_add_117(7) == 124 { tri = tri + 1 }
1205 if nx_add_117(7) != 124 { fail = fail + 1 }
1206 if nx_add_117(42) == 159 { tri = tri + 1 }
1207 if nx_add_117(42) != 159 { fail = fail + 1 }
1208 if nx_add_117(100) == 217 { tri = tri + 1 }
1209 if nx_add_117(100) != 217 { fail = fail + 1 }
1210 if nx_add_118(7) == 125 { tri = tri + 1 }
1211 if nx_add_118(7) != 125 { fail = fail + 1 }
1212 if nx_add_118(42) == 160 { tri = tri + 1 }
1213 if nx_add_118(42) != 160 { fail = fail + 1 }
1214 if nx_add_118(100) == 218 { tri = tri + 1 }
1215 if nx_add_118(100) != 218 { fail = fail + 1 }
1216 if nx_add_119(7) == 126 { tri = tri + 1 }
1217 if nx_add_119(7) != 126 { fail = fail + 1 }
1218 if nx_add_119(42) == 161 { tri = tri + 1 }
1219 if nx_add_119(42) != 161 { fail = fail + 1 }
1220 if nx_add_119(100) == 219 { tri = tri + 1 }
1221 if nx_add_119(100) != 219 { fail = fail + 1 }
1222 if nx_add_120(7) == 127 { tri = tri + 1 }
1223 if nx_add_120(7) != 127 { fail = fail + 1 }
1224 if nx_add_120(42) == 162 { tri = tri + 1 }
1225 if nx_add_120(42) != 162 { fail = fail + 1 }
1226 if nx_add_120(100) == 220 { tri = tri + 1 }
1227 if nx_add_120(100) != 220 { fail = fail + 1 }
1228 if nx_add_121(7) == 128 { tri = tri + 1 }
1229 if nx_add_121(7) != 128 { fail = fail + 1 }
1230 if nx_add_121(42) == 163 { tri = tri + 1 }
1231 if nx_add_121(42) != 163 { fail = fail + 1 }
1232 if nx_add_121(100) == 221 { tri = tri + 1 }
1233 if nx_add_121(100) != 221 { fail = fail + 1 }
1234 if nx_add_122(7) == 129 { tri = tri + 1 }
1235 if nx_add_122(7) != 129 { fail = fail + 1 }
1236 if nx_add_122(42) == 164 { tri = tri + 1 }
1237 if nx_add_122(42) != 164 { fail = fail + 1 }
1238 if nx_add_122(100) == 222 { tri = tri + 1 }
1239 if nx_add_122(100) != 222 { fail = fail + 1 }
1240 if nx_add_123(7) == 130 { tri = tri + 1 }
1241 if nx_add_123(7) != 130 { fail = fail + 1 }
1242 if nx_add_123(42) == 165 { tri = tri + 1 }
1243 if nx_add_123(42) != 165 { fail = fail + 1 }
1244 if nx_add_123(100) == 223 { tri = tri + 1 }
1245 if nx_add_123(100) != 223 { fail = fail + 1 }
1246 if nx_add_124(7) == 131 { tri = tri + 1 }
1247 if nx_add_124(7) != 131 { fail = fail + 1 }
1248 if nx_add_124(42) == 166 { tri = tri + 1 }
1249 if nx_add_124(42) != 166 { fail = fail + 1 }
1250 if nx_add_124(100) == 224 { tri = tri + 1 }
1251 if nx_add_124(100) != 224 { fail = fail + 1 }
1252 if nx_add_125(7) == 132 { tri = tri + 1 }
1253 if nx_add_125(7) != 132 { fail = fail + 1 }
1254 if nx_add_125(42) == 167 { tri = tri + 1 }
1255 if nx_add_125(42) != 167 { fail = fail + 1 }
1256 if nx_add_125(100) == 225 { tri = tri + 1 }
1257 if nx_add_125(100) != 225 { fail = fail + 1 }
1258 if nx_add_126(7) == 133 { tri = tri + 1 }
1259 if nx_add_126(7) != 133 { fail = fail + 1 }
1260 if nx_add_126(42) == 168 { tri = tri + 1 }
1261 if nx_add_126(42) != 168 { fail = fail + 1 }
1262 if nx_add_126(100) == 226 { tri = tri + 1 }
1263 if nx_add_126(100) != 226 { fail = fail + 1 }
1264 if nx_add_127(7) == 134 { tri = tri + 1 }
1265 if nx_add_127(7) != 134 { fail = fail + 1 }
1266 if nx_add_127(42) == 169 { tri = tri + 1 }
1267 if nx_add_127(42) != 169 { fail = fail + 1 }
1268 if nx_add_127(100) == 227 { tri = tri + 1 }
1269 if nx_add_127(100) != 227 { fail = fail + 1 }
1270 if nx_add_128(7) == 135 { tri = tri + 1 }
1271 if nx_add_128(7) != 135 { fail = fail + 1 }
1272 if nx_add_128(42) == 170 { tri = tri + 1 }
1273 if nx_add_128(42) != 170 { fail = fail + 1 }
1274 if nx_add_128(100) == 228 { tri = tri + 1 }
1275 if nx_add_128(100) != 228 { fail = fail + 1 }
1276 if nx_add_129(7) == 136 { tri = tri + 1 }
1277 if nx_add_129(7) != 136 { fail = fail + 1 }
1278 if nx_add_129(42) == 171 { tri = tri + 1 }
1279 if nx_add_129(42) != 171 { fail = fail + 1 }
1280 if nx_add_129(100) == 229 { tri = tri + 1 }
1281 if nx_add_129(100) != 229 { fail = fail + 1 }
1282 if nx_add_130(7) == 137 { tri = tri + 1 }
1283 if nx_add_130(7) != 137 { fail = fail + 1 }
1284 if nx_add_130(42) == 172 { tri = tri + 1 }
1285 if nx_add_130(42) != 172 { fail = fail + 1 }
1286 if nx_add_130(100) == 230 { tri = tri + 1 }
1287 if nx_add_130(100) != 230 { fail = fail + 1 }
1288 if nx_add_131(7) == 138 { tri = tri + 1 }
1289 if nx_add_131(7) != 138 { fail = fail + 1 }
1290 if nx_add_131(42) == 173 { tri = tri + 1 }
1291 if nx_add_131(42) != 173 { fail = fail + 1 }
1292 if nx_add_131(100) == 231 { tri = tri + 1 }
1293 if nx_add_131(100) != 231 { fail = fail + 1 }
1294 if nx_add_132(7) == 139 { tri = tri + 1 }
1295 if nx_add_132(7) != 139 { fail = fail + 1 }
1296 if nx_add_132(42) == 174 { tri = tri + 1 }
1297 if nx_add_132(42) != 174 { fail = fail + 1 }
1298 if nx_add_132(100) == 232 { tri = tri + 1 }
1299 if nx_add_132(100) != 232 { fail = fail + 1 }
1300 if nx_add_133(7) == 140 { tri = tri + 1 }
1301 if nx_add_133(7) != 140 { fail = fail + 1 }
1302 if nx_add_133(42) == 175 { tri = tri + 1 }
1303 if nx_add_133(42) != 175 { fail = fail + 1 }
1304 if nx_add_133(100) == 233 { tri = tri + 1 }
1305 if nx_add_133(100) != 233 { fail = fail + 1 }
1306 if nx_add_134(7) == 141 { tri = tri + 1 }
1307 if nx_add_134(7) != 141 { fail = fail + 1 }
1308 if nx_add_134(42) == 176 { tri = tri + 1 }
1309 if nx_add_134(42) != 176 { fail = fail + 1 }
1310 if nx_add_134(100) == 234 { tri = tri + 1 }
1311 if nx_add_134(100) != 234 { fail = fail + 1 }
1312 if nx_add_135(7) == 142 { tri = tri + 1 }
1313 if nx_add_135(7) != 142 { fail = fail + 1 }
1314 if nx_add_135(42) == 177 { tri = tri + 1 }
1315 if nx_add_135(42) != 177 { fail = fail + 1 }
1316 if nx_add_135(100) == 235 { tri = tri + 1 }
1317 if nx_add_135(100) != 235 { fail = fail + 1 }
1318 if nx_add_136(7) == 143 { tri = tri + 1 }
1319 if nx_add_136(7) != 143 { fail = fail + 1 }
1320 if nx_add_136(42) == 178 { tri = tri + 1 }
1321 if nx_add_136(42) != 178 { fail = fail + 1 }
1322 if nx_add_136(100) == 236 { tri = tri + 1 }
1323 if nx_add_136(100) != 236 { fail = fail + 1 }
1324 if nx_add_137(7) == 144 { tri = tri + 1 }
1325 if nx_add_137(7) != 144 { fail = fail + 1 }
1326 if nx_add_137(42) == 179 { tri = tri + 1 }
1327 if nx_add_137(42) != 179 { fail = fail + 1 }
1328 if nx_add_137(100) == 237 { tri = tri + 1 }
1329 if nx_add_137(100) != 237 { fail = fail + 1 }
1330 if nx_add_138(7) == 145 { tri = tri + 1 }
1331 if nx_add_138(7) != 145 { fail = fail + 1 }
1332 if nx_add_138(42) == 180 { tri = tri + 1 }
1333 if nx_add_138(42) != 180 { fail = fail + 1 }
1334 if nx_add_138(100) == 238 { tri = tri + 1 }
1335 if nx_add_138(100) != 238 { fail = fail + 1 }
1336 if nx_add_139(7) == 146 { tri = tri + 1 }
1337 if nx_add_139(7) != 146 { fail = fail + 1 }
1338 if nx_add_139(42) == 181 { tri = tri + 1 }
1339 if nx_add_139(42) != 181 { fail = fail + 1 }
1340 if nx_add_139(100) == 239 { tri = tri + 1 }
1341 if nx_add_139(100) != 239 { fail = fail + 1 }
1342 if nx_add_140(7) == 147 { tri = tri + 1 }
1343 if nx_add_140(7) != 147 { fail = fail + 1 }
1344 if nx_add_140(42) == 182 { tri = tri + 1 }
1345 if nx_add_140(42) != 182 { fail = fail + 1 }
1346 if nx_add_140(100) == 240 { tri = tri + 1 }
1347 if nx_add_140(100) != 240 { fail = fail + 1 }
1348 if nx_add_141(7) == 148 { tri = tri + 1 }
1349 if nx_add_141(7) != 148 { fail = fail + 1 }
1350 if nx_add_141(42) == 183 { tri = tri + 1 }
1351 if nx_add_141(42) != 183 { fail = fail + 1 }
1352 if nx_add_141(100) == 241 { tri = tri + 1 }
1353 if nx_add_141(100) != 241 { fail = fail + 1 }
1354 if nx_add_142(7) == 149 { tri = tri + 1 }
1355 if nx_add_142(7) != 149 { fail = fail + 1 }
1356 if nx_add_142(42) == 184 { tri = tri + 1 }
1357 if nx_add_142(42) != 184 { fail = fail + 1 }
1358 if nx_add_142(100) == 242 { tri = tri + 1 }
1359 if nx_add_142(100) != 242 { fail = fail + 1 }
1360 if nx_add_143(7) == 150 { tri = tri + 1 }
1361 if nx_add_143(7) != 150 { fail = fail + 1 }
1362 if nx_add_143(42) == 185 { tri = tri + 1 }
1363 if nx_add_143(42) != 185 { fail = fail + 1 }
1364 if nx_add_143(100) == 243 { tri = tri + 1 }
1365 if nx_add_143(100) != 243 { fail = fail + 1 }
1366 if nx_add_144(7) == 151 { tri = tri + 1 }
1367 if nx_add_144(7) != 151 { fail = fail + 1 }
1368 if nx_add_144(42) == 186 { tri = tri + 1 }
1369 if nx_add_144(42) != 186 { fail = fail + 1 }
1370 if nx_add_144(100) == 244 { tri = tri + 1 }
1371 if nx_add_144(100) != 244 { fail = fail + 1 }
1372 if nx_add_145(7) == 152 { tri = tri + 1 }
1373 if nx_add_145(7) != 152 { fail = fail + 1 }
1374 if nx_add_145(42) == 187 { tri = tri + 1 }
1375 if nx_add_145(42) != 187 { fail = fail + 1 }
1376 if nx_add_145(100) == 245 { tri = tri + 1 }
1377 if nx_add_145(100) != 245 { fail = fail + 1 }
1378 if nx_add_146(7) == 153 { tri = tri + 1 }
1379 if nx_add_146(7) != 153 { fail = fail + 1 }
1380 if nx_add_146(42) == 188 { tri = tri + 1 }
1381 if nx_add_146(42) != 188 { fail = fail + 1 }
1382 if nx_add_146(100) == 246 { tri = tri + 1 }
1383 if nx_add_146(100) != 246 { fail = fail + 1 }
1384 if nx_add_147(7) == 154 { tri = tri + 1 }
1385 if nx_add_147(7) != 154 { fail = fail + 1 }
1386 if nx_add_147(42) == 189 { tri = tri + 1 }
1387 if nx_add_147(42) != 189 { fail = fail + 1 }
1388 if nx_add_147(100) == 247 { tri = tri + 1 }
1389 if nx_add_147(100) != 247 { fail = fail + 1 }
1390 if nx_add_148(7) == 155 { tri = tri + 1 }
1391 if nx_add_148(7) != 155 { fail = fail + 1 }
1392 if nx_add_148(42) == 190 { tri = tri + 1 }
1393 if nx_add_148(42) != 190 { fail = fail + 1 }
1394 if nx_add_148(100) == 248 { tri = tri + 1 }
1395 if nx_add_148(100) != 248 { fail = fail + 1 }
1396 if nx_add_149(7) == 156 { tri = tri + 1 }
1397 if nx_add_149(7) != 156 { fail = fail + 1 }
1398 if nx_add_149(42) == 191 { tri = tri + 1 }
1399 if nx_add_149(42) != 191 { fail = fail + 1 }
1400 if nx_add_149(100) == 249 { tri = tri + 1 }
1401 if nx_add_149(100) != 249 { fail = fail + 1 }
1402 if nx_add_150(7) == 157 { tri = tri + 1 }
1403 if nx_add_150(7) != 157 { fail = fail + 1 }
1404 if nx_add_150(42) == 192 { tri = tri + 1 }
1405 if nx_add_150(42) != 192 { fail = fail + 1 }
1406 if nx_add_150(100) == 250 { tri = tri + 1 }
1407 if nx_add_150(100) != 250 { fail = fail + 1 }
1408 if nx_add_151(7) == 158 { tri = tri + 1 }
1409 if nx_add_151(7) != 158 { fail = fail + 1 }
1410 if nx_add_151(42) == 193 { tri = tri + 1 }
1411 if nx_add_151(42) != 193 { fail = fail + 1 }
1412 if nx_add_151(100) == 251 { tri = tri + 1 }
1413 if nx_add_151(100) != 251 { fail = fail + 1 }
1414 if nx_add_152(7) == 159 { tri = tri + 1 }
1415 if nx_add_152(7) != 159 { fail = fail + 1 }
1416 if nx_add_152(42) == 194 { tri = tri + 1 }
1417 if nx_add_152(42) != 194 { fail = fail + 1 }
1418 if nx_add_152(100) == 252 { tri = tri + 1 }
1419 if nx_add_152(100) != 252 { fail = fail + 1 }
1420 if nx_add_153(7) == 160 { tri = tri + 1 }
1421 if nx_add_153(7) != 160 { fail = fail + 1 }
1422 if nx_add_153(42) == 195 { tri = tri + 1 }
1423 if nx_add_153(42) != 195 { fail = fail + 1 }
1424 if nx_add_153(100) == 253 { tri = tri + 1 }
1425 if nx_add_153(100) != 253 { fail = fail + 1 }
1426 if nx_add_154(7) == 161 { tri = tri + 1 }
1427 if nx_add_154(7) != 161 { fail = fail + 1 }
1428 if nx_add_154(42) == 196 { tri = tri + 1 }
1429 if nx_add_154(42) != 196 { fail = fail + 1 }
1430 if nx_add_154(100) == 254 { tri = tri + 1 }
1431 if nx_add_154(100) != 254 { fail = fail + 1 }
1432 if nx_add_155(7) == 162 { tri = tri + 1 }
1433 if nx_add_155(7) != 162 { fail = fail + 1 }
1434 if nx_add_155(42) == 197 { tri = tri + 1 }
1435 if nx_add_155(42) != 197 { fail = fail + 1 }
1436 if nx_add_155(100) == 255 { tri = tri + 1 }
1437 if nx_add_155(100) != 255 { fail = fail + 1 }
1438 if nx_add_156(7) == 163 { tri = tri + 1 }
1439 if nx_add_156(7) != 163 { fail = fail + 1 }
1440 if nx_add_156(42) == 198 { tri = tri + 1 }
1441 if nx_add_156(42) != 198 { fail = fail + 1 }
1442 if nx_add_156(100) == 256 { tri = tri + 1 }
1443 if nx_add_156(100) != 256 { fail = fail + 1 }
1444 if nx_add_157(7) == 164 { tri = tri + 1 }
1445 if nx_add_157(7) != 164 { fail = fail + 1 }
1446 if nx_add_157(42) == 199 { tri = tri + 1 }
1447 if nx_add_157(42) != 199 { fail = fail + 1 }
1448 if nx_add_157(100) == 257 { tri = tri + 1 }
1449 if nx_add_157(100) != 257 { fail = fail + 1 }
1450 if nx_add_158(7) == 165 { tri = tri + 1 }
1451 if nx_add_158(7) != 165 { fail = fail + 1 }
1452 if nx_add_158(42) == 200 { tri = tri + 1 }
1453 if nx_add_158(42) != 200 { fail = fail + 1 }
1454 if nx_add_158(100) == 258 { tri = tri + 1 }
1455 if nx_add_158(100) != 258 { fail = fail + 1 }
1456 if nx_add_159(7) == 166 { tri = tri + 1 }
1457 if nx_add_159(7) != 166 { fail = fail + 1 }
1458 if nx_add_159(42) == 201 { tri = tri + 1 }
1459 if nx_add_159(42) != 201 { fail = fail + 1 }
1460 if nx_add_159(100) == 259 { tri = tri + 1 }
1461 if nx_add_159(100) != 259 { fail = fail + 1 }
1462 if nx_add_160(7) == 167 { tri = tri + 1 }
1463 if nx_add_160(7) != 167 { fail = fail + 1 }
1464 if nx_add_160(42) == 202 { tri = tri + 1 }
1465 if nx_add_160(42) != 202 { fail = fail + 1 }
1466 if nx_add_160(100) == 260 { tri = tri + 1 }
1467 if nx_add_160(100) != 260 { fail = fail + 1 }
1468 if nx_add_161(7) == 168 { tri = tri + 1 }
1469 if nx_add_161(7) != 168 { fail = fail + 1 }
1470 if nx_add_161(42) == 203 { tri = tri + 1 }
1471 if nx_add_161(42) != 203 { fail = fail + 1 }
1472 if nx_add_161(100) == 261 { tri = tri + 1 }
1473 if nx_add_161(100) != 261 { fail = fail + 1 }
1474 if nx_add_162(7) == 169 { tri = tri + 1 }
1475 if nx_add_162(7) != 169 { fail = fail + 1 }
1476 if nx_add_162(42) == 204 { tri = tri + 1 }
1477 if nx_add_162(42) != 204 { fail = fail + 1 }
1478 if nx_add_162(100) == 262 { tri = tri + 1 }
1479 if nx_add_162(100) != 262 { fail = fail + 1 }
1480 if nx_add_163(7) == 170 { tri = tri + 1 }
1481 if nx_add_163(7) != 170 { fail = fail + 1 }
1482 if nx_add_163(42) == 205 { tri = tri + 1 }
1483 if nx_add_163(42) != 205 { fail = fail + 1 }
1484 if nx_add_163(100) == 263 { tri = tri + 1 }
1485 if nx_add_163(100) != 263 { fail = fail + 1 }
1486 if nx_add_164(7) == 171 { tri = tri + 1 }
1487 if nx_add_164(7) != 171 { fail = fail + 1 }
1488 if nx_add_164(42) == 206 { tri = tri + 1 }
1489 if nx_add_164(42) != 206 { fail = fail + 1 }
1490 if nx_add_164(100) == 264 { tri = tri + 1 }
1491 if nx_add_164(100) != 264 { fail = fail + 1 }
1492 if nx_add_165(7) == 172 { tri = tri + 1 }
1493 if nx_add_165(7) != 172 { fail = fail + 1 }
1494 if nx_add_165(42) == 207 { tri = tri + 1 }
1495 if nx_add_165(42) != 207 { fail = fail + 1 }
1496 if nx_add_165(100) == 265 { tri = tri + 1 }
1497 if nx_add_165(100) != 265 { fail = fail + 1 }
1498 if nx_add_166(7) == 173 { tri = tri + 1 }
1499 if nx_add_166(7) != 173 { fail = fail + 1 }
1500 if nx_add_166(42) == 208 { tri = tri + 1 }
1501 if nx_add_166(42) != 208 { fail = fail + 1 }
1502 if nx_add_166(100) == 266 { tri = tri + 1 }
1503 if nx_add_166(100) != 266 { fail = fail + 1 }
1504 if nx_add_167(7) == 174 { tri = tri + 1 }
1505 if nx_add_167(7) != 174 { fail = fail + 1 }
1506 if nx_add_167(42) == 209 { tri = tri + 1 }
1507 if nx_add_167(42) != 209 { fail = fail + 1 }
1508 if nx_add_167(100) == 267 { tri = tri + 1 }
1509 if nx_add_167(100) != 267 { fail = fail + 1 }
1510 if nx_add_168(7) == 175 { tri = tri + 1 }
1511 if nx_add_168(7) != 175 { fail = fail + 1 }
1512 if nx_add_168(42) == 210 { tri = tri + 1 }
1513 if nx_add_168(42) != 210 { fail = fail + 1 }
1514 if nx_add_168(100) == 268 { tri = tri + 1 }
1515 if nx_add_168(100) != 268 { fail = fail + 1 }
1516 if nx_add_169(7) == 176 { tri = tri + 1 }
1517 if nx_add_169(7) != 176 { fail = fail + 1 }
1518 if nx_add_169(42) == 211 { tri = tri + 1 }
1519 if nx_add_169(42) != 211 { fail = fail + 1 }
1520 if nx_add_169(100) == 269 { tri = tri + 1 }
1521 if nx_add_169(100) != 269 { fail = fail + 1 }
1522 if nx_add_170(7) == 177 { tri = tri + 1 }
1523 if nx_add_170(7) != 177 { fail = fail + 1 }
1524 if nx_add_170(42) == 212 { tri = tri + 1 }
1525 if nx_add_170(42) != 212 { fail = fail + 1 }
1526 if nx_add_170(100) == 270 { tri = tri + 1 }
1527 if nx_add_170(100) != 270 { fail = fail + 1 }
1528 if nx_add_171(7) == 178 { tri = tri + 1 }
1529 if nx_add_171(7) != 178 { fail = fail + 1 }
1530 if nx_add_171(42) == 213 { tri = tri + 1 }
1531 if nx_add_171(42) != 213 { fail = fail + 1 }
1532 if nx_add_171(100) == 271 { tri = tri + 1 }
1533 if nx_add_171(100) != 271 { fail = fail + 1 }
1534 if nx_add_172(7) == 179 { tri = tri + 1 }
1535 if nx_add_172(7) != 179 { fail = fail + 1 }
1536 if nx_add_172(42) == 214 { tri = tri + 1 }
1537 if nx_add_172(42) != 214 { fail = fail + 1 }
1538 if nx_add_172(100) == 272 { tri = tri + 1 }
1539 if nx_add_172(100) != 272 { fail = fail + 1 }
1540 if nx_add_173(7) == 180 { tri = tri + 1 }
1541 if nx_add_173(7) != 180 { fail = fail + 1 }
1542 if nx_add_173(42) == 215 { tri = tri + 1 }
1543 if nx_add_173(42) != 215 { fail = fail + 1 }
1544 if nx_add_173(100) == 273 { tri = tri + 1 }
1545 if nx_add_173(100) != 273 { fail = fail + 1 }
1546 if nx_add_174(7) == 181 { tri = tri + 1 }
1547 if nx_add_174(7) != 181 { fail = fail + 1 }
1548 if nx_add_174(42) == 216 { tri = tri + 1 }
1549 if nx_add_174(42) != 216 { fail = fail + 1 }
1550 if nx_add_174(100) == 274 { tri = tri + 1 }
1551 if nx_add_174(100) != 274 { fail = fail + 1 }
1552 if nx_add_175(7) == 182 { tri = tri + 1 }
1553 if nx_add_175(7) != 182 { fail = fail + 1 }
1554 if nx_add_175(42) == 217 { tri = tri + 1 }
1555 if nx_add_175(42) != 217 { fail = fail + 1 }
1556 if nx_add_175(100) == 275 { tri = tri + 1 }
1557 if nx_add_175(100) != 275 { fail = fail + 1 }
1558 if nx_add_176(7) == 183 { tri = tri + 1 }
1559 if nx_add_176(7) != 183 { fail = fail + 1 }
1560 if nx_add_176(42) == 218 { tri = tri + 1 }
1561 if nx_add_176(42) != 218 { fail = fail + 1 }
1562 if nx_add_176(100) == 276 { tri = tri + 1 }
1563 if nx_add_176(100) != 276 { fail = fail + 1 }
1564 if nx_add_177(7) == 184 { tri = tri + 1 }
1565 if nx_add_177(7) != 184 { fail = fail + 1 }
1566 if nx_add_177(42) == 219 { tri = tri + 1 }
1567 if nx_add_177(42) != 219 { fail = fail + 1 }
1568 if nx_add_177(100) == 277 { tri = tri + 1 }
1569 if nx_add_177(100) != 277 { fail = fail + 1 }
1570 if nx_add_178(7) == 185 { tri = tri + 1 }
1571 if nx_add_178(7) != 185 { fail = fail + 1 }
1572 if nx_add_178(42) == 220 { tri = tri + 1 }
1573 if nx_add_178(42) != 220 { fail = fail + 1 }
1574 if nx_add_178(100) == 278 { tri = tri + 1 }
1575 if nx_add_178(100) != 278 { fail = fail + 1 }
1576 if nx_add_179(7) == 186 { tri = tri + 1 }
1577 if nx_add_179(7) != 186 { fail = fail + 1 }
1578 if nx_add_179(42) == 221 { tri = tri + 1 }
1579 if nx_add_179(42) != 221 { fail = fail + 1 }
1580 if nx_add_179(100) == 279 { tri = tri + 1 }
1581 if nx_add_179(100) != 279 { fail = fail + 1 }
1582 if nx_add_180(7) == 187 { tri = tri + 1 }
1583 if nx_add_180(7) != 187 { fail = fail + 1 }
1584 if nx_add_180(42) == 222 { tri = tri + 1 }
1585 if nx_add_180(42) != 222 { fail = fail + 1 }
1586 if nx_add_180(100) == 280 { tri = tri + 1 }
1587 if nx_add_180(100) != 280 { fail = fail + 1 }
1588 if nx_add_181(7) == 188 { tri = tri + 1 }
1589 if nx_add_181(7) != 188 { fail = fail + 1 }
1590 if nx_add_181(42) == 223 { tri = tri + 1 }
1591 if nx_add_181(42) != 223 { fail = fail + 1 }
1592 if nx_add_181(100) == 281 { tri = tri + 1 }
1593 if nx_add_181(100) != 281 { fail = fail + 1 }
1594 if nx_add_182(7) == 189 { tri = tri + 1 }
1595 if nx_add_182(7) != 189 { fail = fail + 1 }
1596 if nx_add_182(42) == 224 { tri = tri + 1 }
1597 if nx_add_182(42) != 224 { fail = fail + 1 }
1598 if nx_add_182(100) == 282 { tri = tri + 1 }
1599 if nx_add_182(100) != 282 { fail = fail + 1 }
1600 if nx_add_183(7) == 190 { tri = tri + 1 }
1601 if nx_add_183(7) != 190 { fail = fail + 1 }
1602 if nx_add_183(42) == 225 { tri = tri + 1 }
1603 if nx_add_183(42) != 225 { fail = fail + 1 }
1604 if nx_add_183(100) == 283 { tri = tri + 1 }
1605 if nx_add_183(100) != 283 { fail = fail + 1 }
1606 if nx_add_184(7) == 191 { tri = tri + 1 }
1607 if nx_add_184(7) != 191 { fail = fail + 1 }
1608 if nx_add_184(42) == 226 { tri = tri + 1 }
1609 if nx_add_184(42) != 226 { fail = fail + 1 }
1610 if nx_add_184(100) == 284 { tri = tri + 1 }
1611 if nx_add_184(100) != 284 { fail = fail + 1 }
1612 if nx_add_185(7) == 192 { tri = tri + 1 }
1613 if nx_add_185(7) != 192 { fail = fail + 1 }
1614 if nx_add_185(42) == 227 { tri = tri + 1 }
1615 if nx_add_185(42) != 227 { fail = fail + 1 }
1616 if nx_add_185(100) == 285 { tri = tri + 1 }
1617 if nx_add_185(100) != 285 { fail = fail + 1 }
1618 if nx_add_186(7) == 193 { tri = tri + 1 }
1619 if nx_add_186(7) != 193 { fail = fail + 1 }
1620 if nx_add_186(42) == 228 { tri = tri + 1 }
1621 if nx_add_186(42) != 228 { fail = fail + 1 }
1622 if nx_add_186(100) == 286 { tri = tri + 1 }
1623 if nx_add_186(100) != 286 { fail = fail + 1 }
1624 if nx_add_187(7) == 194 { tri = tri + 1 }
1625 if nx_add_187(7) != 194 { fail = fail + 1 }
1626 if nx_add_187(42) == 229 { tri = tri + 1 }
1627 if nx_add_187(42) != 229 { fail = fail + 1 }
1628 if nx_add_187(100) == 287 { tri = tri + 1 }
1629 if nx_add_187(100) != 287 { fail = fail + 1 }
1630 if nx_add_188(7) == 195 { tri = tri + 1 }
1631 if nx_add_188(7) != 195 { fail = fail + 1 }
1632 if nx_add_188(42) == 230 { tri = tri + 1 }
1633 if nx_add_188(42) != 230 { fail = fail + 1 }
1634 if nx_add_188(100) == 288 { tri = tri + 1 }
1635 if nx_add_188(100) != 288 { fail = fail + 1 }
1636 if nx_add_189(7) == 196 { tri = tri + 1 }
1637 if nx_add_189(7) != 196 { fail = fail + 1 }
1638 if nx_add_189(42) == 231 { tri = tri + 1 }
1639 if nx_add_189(42) != 231 { fail = fail + 1 }
1640 if nx_add_189(100) == 289 { tri = tri + 1 }
1641 if nx_add_189(100) != 289 { fail = fail + 1 }
1642 if nx_add_190(7) == 197 { tri = tri + 1 }
1643 if nx_add_190(7) != 197 { fail = fail + 1 }
1644 if nx_add_190(42) == 232 { tri = tri + 1 }
1645 if nx_add_190(42) != 232 { fail = fail + 1 }
1646 if nx_add_190(100) == 290 { tri = tri + 1 }
1647 if nx_add_190(100) != 290 { fail = fail + 1 }
1648 if nx_add_191(7) == 198 { tri = tri + 1 }
1649 if nx_add_191(7) != 198 { fail = fail + 1 }
1650 if nx_add_191(42) == 233 { tri = tri + 1 }
1651 if nx_add_191(42) != 233 { fail = fail + 1 }
1652 if nx_add_191(100) == 291 { tri = tri + 1 }
1653 if nx_add_191(100) != 291 { fail = fail + 1 }
1654 if nx_add_192(7) == 199 { tri = tri + 1 }
1655 if nx_add_192(7) != 199 { fail = fail + 1 }
1656 if nx_add_192(42) == 234 { tri = tri + 1 }
1657 if nx_add_192(42) != 234 { fail = fail + 1 }
1658 if nx_add_192(100) == 292 { tri = tri + 1 }
1659 if nx_add_192(100) != 292 { fail = fail + 1 }
1660 if nx_add_193(7) == 200 { tri = tri + 1 }
1661 if nx_add_193(7) != 200 { fail = fail + 1 }
1662 if nx_add_193(42) == 235 { tri = tri + 1 }
1663 if nx_add_193(42) != 235 { fail = fail + 1 }
1664 if nx_add_193(100) == 293 { tri = tri + 1 }
1665 if nx_add_193(100) != 293 { fail = fail + 1 }
1666 if nx_add_194(7) == 201 { tri = tri + 1 }
1667 if nx_add_194(7) != 201 { fail = fail + 1 }
1668 if nx_add_194(42) == 236 { tri = tri + 1 }
1669 if nx_add_194(42) != 236 { fail = fail + 1 }
1670 if nx_add_194(100) == 294 { tri = tri + 1 }
1671 if nx_add_194(100) != 294 { fail = fail + 1 }
1672 if nx_add_195(7) == 202 { tri = tri + 1 }
1673 if nx_add_195(7) != 202 { fail = fail + 1 }
1674 if nx_add_195(42) == 237 { tri = tri + 1 }
1675 if nx_add_195(42) != 237 { fail = fail + 1 }
1676 if nx_add_195(100) == 295 { tri = tri + 1 }
1677 if nx_add_195(100) != 295 { fail = fail + 1 }
1678 if nx_add_196(7) == 203 { tri = tri + 1 }
1679 if nx_add_196(7) != 203 { fail = fail + 1 }
1680 if nx_add_196(42) == 238 { tri = tri + 1 }
1681 if nx_add_196(42) != 238 { fail = fail + 1 }
1682 if nx_add_196(100) == 296 { tri = tri + 1 }
1683 if nx_add_196(100) != 296 { fail = fail + 1 }
1684 if nx_add_197(7) == 204 { tri = tri + 1 }
1685 if nx_add_197(7) != 204 { fail = fail + 1 }
1686 if nx_add_197(42) == 239 { tri = tri + 1 }
1687 if nx_add_197(42) != 239 { fail = fail + 1 }
1688 if nx_add_197(100) == 297 { tri = tri + 1 }
1689 if nx_add_197(100) != 297 { fail = fail + 1 }
1690 if nx_add_198(7) == 205 { tri = tri + 1 }
1691 if nx_add_198(7) != 205 { fail = fail + 1 }
1692 if nx_add_198(42) == 240 { tri = tri + 1 }
1693 if nx_add_198(42) != 240 { fail = fail + 1 }
1694 if nx_add_198(100) == 298 { tri = tri + 1 }
1695 if nx_add_198(100) != 298 { fail = fail + 1 }
1696 if nx_add_199(7) == 206 { tri = tri + 1 }
1697 if nx_add_199(7) != 206 { fail = fail + 1 }
1698 if nx_add_199(42) == 241 { tri = tri + 1 }
1699 if nx_add_199(42) != 241 { fail = fail + 1 }
1700 if nx_add_199(100) == 299 { tri = tri + 1 }
1701 if nx_add_199(100) != 299 { fail = fail + 1 }
1702 if nx_add_200(7) == 207 { tri = tri + 1 }
1703 if nx_add_200(7) != 207 { fail = fail + 1 }
1704 if nx_add_200(42) == 242 { tri = tri + 1 }
1705 if nx_add_200(42) != 242 { fail = fail + 1 }
1706 if nx_add_200(100) == 300 { tri = tri + 1 }
1707 if nx_add_200(100) != 300 { fail = fail + 1 }
1708 if nx_add_201(7) == 208 { tri = tri + 1 }
1709 if nx_add_201(7) != 208 { fail = fail + 1 }
1710 if nx_add_201(42) == 243 { tri = tri + 1 }
1711 if nx_add_201(42) != 243 { fail = fail + 1 }
1712 if nx_add_201(100) == 301 { tri = tri + 1 }
1713 if nx_add_201(100) != 301 { fail = fail + 1 }
1714 if nx_add_202(7) == 209 { tri = tri + 1 }
1715 if nx_add_202(7) != 209 { fail = fail + 1 }
1716 if nx_add_202(42) == 244 { tri = tri + 1 }
1717 if nx_add_202(42) != 244 { fail = fail + 1 }
1718 if nx_add_202(100) == 302 { tri = tri + 1 }
1719 if nx_add_202(100) != 302 { fail = fail + 1 }
1720 if nx_add_203(7) == 210 { tri = tri + 1 }
1721 if nx_add_203(7) != 210 { fail = fail + 1 }
1722 if nx_add_203(42) == 245 { tri = tri + 1 }
1723 if nx_add_203(42) != 245 { fail = fail + 1 }
1724 if nx_add_203(100) == 303 { tri = tri + 1 }
1725 if nx_add_203(100) != 303 { fail = fail + 1 }
1726 if nx_add_204(7) == 211 { tri = tri + 1 }
1727 if nx_add_204(7) != 211 { fail = fail + 1 }
1728 if nx_add_204(42) == 246 { tri = tri + 1 }
1729 if nx_add_204(42) != 246 { fail = fail + 1 }
1730 if nx_add_204(100) == 304 { tri = tri + 1 }
1731 if nx_add_204(100) != 304 { fail = fail + 1 }
1732 if nx_add_205(7) == 212 { tri = tri + 1 }
1733 if nx_add_205(7) != 212 { fail = fail + 1 }
1734 if nx_add_205(42) == 247 { tri = tri + 1 }
1735 if nx_add_205(42) != 247 { fail = fail + 1 }
1736 if nx_add_205(100) == 305 { tri = tri + 1 }
1737 if nx_add_205(100) != 305 { fail = fail + 1 }
1738 if nx_add_206(7) == 213 { tri = tri + 1 }
1739 if nx_add_206(7) != 213 { fail = fail + 1 }
1740 if nx_add_206(42) == 248 { tri = tri + 1 }
1741 if nx_add_206(42) != 248 { fail = fail + 1 }
1742 if nx_add_206(100) == 306 { tri = tri + 1 }
1743 if nx_add_206(100) != 306 { fail = fail + 1 }
1744 if nx_add_207(7) == 214 { tri = tri + 1 }
1745 if nx_add_207(7) != 214 { fail = fail + 1 }
1746 if nx_add_207(42) == 249 { tri = tri + 1 }
1747 if nx_add_207(42) != 249 { fail = fail + 1 }
1748 if nx_add_207(100) == 307 { tri = tri + 1 }
1749 if nx_add_207(100) != 307 { fail = fail + 1 }
1750 if nx_add_208(7) == 215 { tri = tri + 1 }
1751 if nx_add_208(7) != 215 { fail = fail + 1 }
1752 if nx_add_208(42) == 250 { tri = tri + 1 }
1753 if nx_add_208(42) != 250 { fail = fail + 1 }
1754 if nx_add_208(100) == 308 { tri = tri + 1 }
1755 if nx_add_208(100) != 308 { fail = fail + 1 }
1756 if nx_add_209(7) == 216 { tri = tri + 1 }
1757 if nx_add_209(7) != 216 { fail = fail + 1 }
1758 if nx_add_209(42) == 251 { tri = tri + 1 }
1759 if nx_add_209(42) != 251 { fail = fail + 1 }
1760 if nx_add_209(100) == 309 { tri = tri + 1 }
1761 if nx_add_209(100) != 309 { fail = fail + 1 }
1762 if nx_add_210(7) == 217 { tri = tri + 1 }
1763 if nx_add_210(7) != 217 { fail = fail + 1 }
1764 if nx_add_210(42) == 252 { tri = tri + 1 }
1765 if nx_add_210(42) != 252 { fail = fail + 1 }
1766 if nx_add_210(100) == 310 { tri = tri + 1 }
1767 if nx_add_210(100) != 310 { fail = fail + 1 }
1768 if nx_add_211(7) == 218 { tri = tri + 1 }
1769 if nx_add_211(7) != 218 { fail = fail + 1 }
1770 if nx_add_211(42) == 253 { tri = tri + 1 }
1771 if nx_add_211(42) != 253 { fail = fail + 1 }
1772 if nx_add_211(100) == 311 { tri = tri + 1 }
1773 if nx_add_211(100) != 311 { fail = fail + 1 }
1774 if nx_add_212(7) == 219 { tri = tri + 1 }
1775 if nx_add_212(7) != 219 { fail = fail + 1 }
1776 if nx_add_212(42) == 254 { tri = tri + 1 }
1777 if nx_add_212(42) != 254 { fail = fail + 1 }
1778 if nx_add_212(100) == 312 { tri = tri + 1 }
1779 if nx_add_212(100) != 312 { fail = fail + 1 }
1780 if nx_add_213(7) == 220 { tri = tri + 1 }
1781 if nx_add_213(7) != 220 { fail = fail + 1 }
1782 if nx_add_213(42) == 255 { tri = tri + 1 }
1783 if nx_add_213(42) != 255 { fail = fail + 1 }
1784 if nx_add_213(100) == 313 { tri = tri + 1 }
1785 if nx_add_213(100) != 313 { fail = fail + 1 }
1786 if nx_add_214(7) == 221 { tri = tri + 1 }
1787 if nx_add_214(7) != 221 { fail = fail + 1 }
1788 if nx_add_214(42) == 256 { tri = tri + 1 }
1789 if nx_add_214(42) != 256 { fail = fail + 1 }
1790 if nx_add_214(100) == 314 { tri = tri + 1 }
1791 if nx_add_214(100) != 314 { fail = fail + 1 }
1792 if nx_add_215(7) == 222 { tri = tri + 1 }
1793 if nx_add_215(7) != 222 { fail = fail + 1 }
1794 if nx_add_215(42) == 257 { tri = tri + 1 }
1795 if nx_add_215(42) != 257 { fail = fail + 1 }
1796 if nx_add_215(100) == 315 { tri = tri + 1 }
1797 if nx_add_215(100) != 315 { fail = fail + 1 }
1798 if nx_add_216(7) == 223 { tri = tri + 1 }
1799 if nx_add_216(7) != 223 { fail = fail + 1 }
1800 if nx_add_216(42) == 258 { tri = tri + 1 }
1801 if nx_add_216(42) != 258 { fail = fail + 1 }
1802 if nx_add_216(100) == 316 { tri = tri + 1 }
1803 if nx_add_216(100) != 316 { fail = fail + 1 }
1804 if nx_add_217(7) == 224 { tri = tri + 1 }
1805 if nx_add_217(7) != 224 { fail = fail + 1 }
1806 if nx_add_217(42) == 259 { tri = tri + 1 }
1807 if nx_add_217(42) != 259 { fail = fail + 1 }
1808 if nx_add_217(100) == 317 { tri = tri + 1 }
1809 if nx_add_217(100) != 317 { fail = fail + 1 }
1810 if nx_add_218(7) == 225 { tri = tri + 1 }
1811 if nx_add_218(7) != 225 { fail = fail + 1 }
1812 if nx_add_218(42) == 260 { tri = tri + 1 }
1813 if nx_add_218(42) != 260 { fail = fail + 1 }
1814 if nx_add_218(100) == 318 { tri = tri + 1 }
1815 if nx_add_218(100) != 318 { fail = fail + 1 }
1816 if nx_add_219(7) == 226 { tri = tri + 1 }
1817 if nx_add_219(7) != 226 { fail = fail + 1 }
1818 if nx_add_219(42) == 261 { tri = tri + 1 }
1819 if nx_add_219(42) != 261 { fail = fail + 1 }
1820 if nx_add_219(100) == 319 { tri = tri + 1 }
1821 if nx_add_219(100) != 319 { fail = fail + 1 }
1822 if nx_add_220(7) == 227 { tri = tri + 1 }
1823 if nx_add_220(7) != 227 { fail = fail + 1 }
1824 if nx_add_220(42) == 262 { tri = tri + 1 }
1825 if nx_add_220(42) != 262 { fail = fail + 1 }
1826 if nx_add_220(100) == 320 { tri = tri + 1 }
1827 if nx_add_220(100) != 320 { fail = fail + 1 }
1828 if nx_add_221(7) == 228 { tri = tri + 1 }
1829 if nx_add_221(7) != 228 { fail = fail + 1 }
1830 if nx_add_221(42) == 263 { tri = tri + 1 }
1831 if nx_add_221(42) != 263 { fail = fail + 1 }
1832 if nx_add_221(100) == 321 { tri = tri + 1 }
1833 if nx_add_221(100) != 321 { fail = fail + 1 }
1834 if nx_add_222(7) == 229 { tri = tri + 1 }
1835 if nx_add_222(7) != 229 { fail = fail + 1 }
1836 if nx_add_222(42) == 264 { tri = tri + 1 }
1837 if nx_add_222(42) != 264 { fail = fail + 1 }
1838 if nx_add_222(100) == 322 { tri = tri + 1 }
1839 if nx_add_222(100) != 322 { fail = fail + 1 }
1840 if nx_add_223(7) == 230 { tri = tri + 1 }
1841 if nx_add_223(7) != 230 { fail = fail + 1 }
1842 if nx_add_223(42) == 265 { tri = tri + 1 }
1843 if nx_add_223(42) != 265 { fail = fail + 1 }
1844 if nx_add_223(100) == 323 { tri = tri + 1 }
1845 if nx_add_223(100) != 323 { fail = fail + 1 }
1846 if nx_add_224(7) == 231 { tri = tri + 1 }
1847 if nx_add_224(7) != 231 { fail = fail + 1 }
1848 if nx_add_224(42) == 266 { tri = tri + 1 }
1849 if nx_add_224(42) != 266 { fail = fail + 1 }
1850 if nx_add_224(100) == 324 { tri = tri + 1 }
1851 if nx_add_224(100) != 324 { fail = fail + 1 }
1852 if nx_add_225(7) == 232 { tri = tri + 1 }
1853 if nx_add_225(7) != 232 { fail = fail + 1 }
1854 if nx_add_225(42) == 267 { tri = tri + 1 }
1855 if nx_add_225(42) != 267 { fail = fail + 1 }
1856 if nx_add_225(100) == 325 { tri = tri + 1 }
1857 if nx_add_225(100) != 325 { fail = fail + 1 }
1858 if nx_add_226(7) == 233 { tri = tri + 1 }
1859 if nx_add_226(7) != 233 { fail = fail + 1 }
1860 if nx_add_226(42) == 268 { tri = tri + 1 }
1861 if nx_add_226(42) != 268 { fail = fail + 1 }
1862 if nx_add_226(100) == 326 { tri = tri + 1 }
1863 if nx_add_226(100) != 326 { fail = fail + 1 }
1864 if nx_add_227(7) == 234 { tri = tri + 1 }
1865 if nx_add_227(7) != 234 { fail = fail + 1 }
1866 if nx_add_227(42) == 269 { tri = tri + 1 }
1867 if nx_add_227(42) != 269 { fail = fail + 1 }
1868 if nx_add_227(100) == 327 { tri = tri + 1 }
1869 if nx_add_227(100) != 327 { fail = fail + 1 }
1870 if nx_add_228(7) == 235 { tri = tri + 1 }
1871 if nx_add_228(7) != 235 { fail = fail + 1 }
1872 if nx_add_228(42) == 270 { tri = tri + 1 }
1873 if nx_add_228(42) != 270 { fail = fail + 1 }
1874 if nx_add_228(100) == 328 { tri = tri + 1 }
1875 if nx_add_228(100) != 328 { fail = fail + 1 }
1876 if nx_add_229(7) == 236 { tri = tri + 1 }
1877 if nx_add_229(7) != 236 { fail = fail + 1 }
1878 if nx_add_229(42) == 271 { tri = tri + 1 }
1879 if nx_add_229(42) != 271 { fail = fail + 1 }
1880 if nx_add_229(100) == 329 { tri = tri + 1 }
1881 if nx_add_229(100) != 329 { fail = fail + 1 }
1882 if nx_add_230(7) == 237 { tri = tri + 1 }
1883 if nx_add_230(7) != 237 { fail = fail + 1 }
1884 if nx_add_230(42) == 272 { tri = tri + 1 }
1885 if nx_add_230(42) != 272 { fail = fail + 1 }
1886 if nx_add_230(100) == 330 { tri = tri + 1 }
1887 if nx_add_230(100) != 330 { fail = fail + 1 }
1888 if nx_add_231(7) == 238 { tri = tri + 1 }
1889 if nx_add_231(7) != 238 { fail = fail + 1 }
1890 if nx_add_231(42) == 273 { tri = tri + 1 }
1891 if nx_add_231(42) != 273 { fail = fail + 1 }
1892 if nx_add_231(100) == 331 { tri = tri + 1 }
1893 if nx_add_231(100) != 331 { fail = fail + 1 }
1894 if nx_add_232(7) == 239 { tri = tri + 1 }
1895 if nx_add_232(7) != 239 { fail = fail + 1 }
1896 if nx_add_232(42) == 274 { tri = tri + 1 }
1897 if nx_add_232(42) != 274 { fail = fail + 1 }
1898 if nx_add_232(100) == 332 { tri = tri + 1 }
1899 if nx_add_232(100) != 332 { fail = fail + 1 }
1900 if nx_add_233(7) == 240 { tri = tri + 1 }
1901 if nx_add_233(7) != 240 { fail = fail + 1 }
1902 if nx_add_233(42) == 275 { tri = tri + 1 }
1903 if nx_add_233(42) != 275 { fail = fail + 1 }
1904 if nx_add_233(100) == 333 { tri = tri + 1 }
1905 if nx_add_233(100) != 333 { fail = fail + 1 }
1906 if nx_add_234(7) == 241 { tri = tri + 1 }
1907 if nx_add_234(7) != 241 { fail = fail + 1 }
1908 if nx_add_234(42) == 276 { tri = tri + 1 }
1909 if nx_add_234(42) != 276 { fail = fail + 1 }
1910 if nx_add_234(100) == 334 { tri = tri + 1 }
1911 if nx_add_234(100) != 334 { fail = fail + 1 }
1912 if nx_add_235(7) == 242 { tri = tri + 1 }
1913 if nx_add_235(7) != 242 { fail = fail + 1 }
1914 if nx_add_235(42) == 277 { tri = tri + 1 }
1915 if nx_add_235(42) != 277 { fail = fail + 1 }
1916 if nx_add_235(100) == 335 { tri = tri + 1 }
1917 if nx_add_235(100) != 335 { fail = fail + 1 }
1918 if nx_add_236(7) == 243 { tri = tri + 1 }
1919 if nx_add_236(7) != 243 { fail = fail + 1 }
1920 if nx_add_236(42) == 278 { tri = tri + 1 }
1921 if nx_add_236(42) != 278 { fail = fail + 1 }
1922 if nx_add_236(100) == 336 { tri = tri + 1 }
1923 if nx_add_236(100) != 336 { fail = fail + 1 }
1924 if nx_add_237(7) == 244 { tri = tri + 1 }
1925 if nx_add_237(7) != 244 { fail = fail + 1 }
1926 if nx_add_237(42) == 279 { tri = tri + 1 }
1927 if nx_add_237(42) != 279 { fail = fail + 1 }
1928 if nx_add_237(100) == 337 { tri = tri + 1 }
1929 if nx_add_237(100) != 337 { fail = fail + 1 }
1930 if nx_add_238(7) == 245 { tri = tri + 1 }
1931 if nx_add_238(7) != 245 { fail = fail + 1 }
1932 if nx_add_238(42) == 280 { tri = tri + 1 }
1933 if nx_add_238(42) != 280 { fail = fail + 1 }
1934 if nx_add_238(100) == 338 { tri = tri + 1 }
1935 if nx_add_238(100) != 338 { fail = fail + 1 }
1936 if nx_add_239(7) == 246 { tri = tri + 1 }
1937 if nx_add_239(7) != 246 { fail = fail + 1 }
1938 if nx_add_239(42) == 281 { tri = tri + 1 }
1939 if nx_add_239(42) != 281 { fail = fail + 1 }
1940 if nx_add_239(100) == 339 { tri = tri + 1 }
1941 if nx_add_239(100) != 339 { fail = fail + 1 }
1942 if nx_add_240(7) == 247 { tri = tri + 1 }
1943 if nx_add_240(7) != 247 { fail = fail + 1 }
1944 if nx_add_240(42) == 282 { tri = tri + 1 }
1945 if nx_add_240(42) != 282 { fail = fail + 1 }
1946 if nx_add_240(100) == 340 { tri = tri + 1 }
1947 if nx_add_240(100) != 340 { fail = fail + 1 }
1948 if nx_add_241(7) == 248 { tri = tri + 1 }
1949 if nx_add_241(7) != 248 { fail = fail + 1 }
1950 if nx_add_241(42) == 283 { tri = tri + 1 }
1951 if nx_add_241(42) != 283 { fail = fail + 1 }
1952 if nx_add_241(100) == 341 { tri = tri + 1 }
1953 if nx_add_241(100) != 341 { fail = fail + 1 }
1954 if nx_add_242(7) == 249 { tri = tri + 1 }
1955 if nx_add_242(7) != 249 { fail = fail + 1 }
1956 if nx_add_242(42) == 284 { tri = tri + 1 }
1957 if nx_add_242(42) != 284 { fail = fail + 1 }
1958 if nx_add_242(100) == 342 { tri = tri + 1 }
1959 if nx_add_242(100) != 342 { fail = fail + 1 }
1960 if nx_add_243(7) == 250 { tri = tri + 1 }
1961 if nx_add_243(7) != 250 { fail = fail + 1 }
1962 if nx_add_243(42) == 285 { tri = tri + 1 }
1963 if nx_add_243(42) != 285 { fail = fail + 1 }
1964 if nx_add_243(100) == 343 { tri = tri + 1 }
1965 if nx_add_243(100) != 343 { fail = fail + 1 }
1966 if nx_add_244(7) == 251 { tri = tri + 1 }
1967 if nx_add_244(7) != 251 { fail = fail + 1 }
1968 if nx_add_244(42) == 286 { tri = tri + 1 }
1969 if nx_add_244(42) != 286 { fail = fail + 1 }
1970 if nx_add_244(100) == 344 { tri = tri + 1 }
1971 if nx_add_244(100) != 344 { fail = fail + 1 }
1972 if nx_add_245(7) == 252 { tri = tri + 1 }
1973 if nx_add_245(7) != 252 { fail = fail + 1 }
1974 if nx_add_245(42) == 287 { tri = tri + 1 }
1975 if nx_add_245(42) != 287 { fail = fail + 1 }
1976 if nx_add_245(100) == 345 { tri = tri + 1 }
1977 if nx_add_245(100) != 345 { fail = fail + 1 }
1978 if nx_add_246(7) == 253 { tri = tri + 1 }
1979 if nx_add_246(7) != 253 { fail = fail + 1 }
1980 if nx_add_246(42) == 288 { tri = tri + 1 }
1981 if nx_add_246(42) != 288 { fail = fail + 1 }
1982 if nx_add_246(100) == 346 { tri = tri + 1 }
1983 if nx_add_246(100) != 346 { fail = fail + 1 }
1984 if nx_add_247(7) == 254 { tri = tri + 1 }
1985 if nx_add_247(7) != 254 { fail = fail + 1 }
1986 if nx_add_247(42) == 289 { tri = tri + 1 }
1987 if nx_add_247(42) != 289 { fail = fail + 1 }
1988 if nx_add_247(100) == 347 { tri = tri + 1 }
1989 if nx_add_247(100) != 347 { fail = fail + 1 }
1990 if nx_add_248(7) == 255 { tri = tri + 1 }
1991 if nx_add_248(7) != 255 { fail = fail + 1 }
1992 if nx_add_248(42) == 290 { tri = tri + 1 }
1993 if nx_add_248(42) != 290 { fail = fail + 1 }
1994 if nx_add_248(100) == 348 { tri = tri + 1 }
1995 if nx_add_248(100) != 348 { fail = fail + 1 }
1996 if nx_add_249(7) == 256 { tri = tri + 1 }
1997 if nx_add_249(7) != 256 { fail = fail + 1 }
1998 if nx_add_249(42) == 291 { tri = tri + 1 }
1999 if nx_add_249(42) != 291 { fail = fail + 1 }
2000 if nx_add_249(100) == 349 { tri = tri + 1 }
2001 if nx_add_249(100) != 349 { fail = fail + 1 }
2002 if nx_add_250(7) == 257 { tri = tri + 1 }
2003 if nx_add_250(7) != 257 { fail = fail + 1 }
2004 if nx_add_250(42) == 292 { tri = tri + 1 }
2005 if nx_add_250(42) != 292 { fail = fail + 1 }
2006 if nx_add_250(100) == 350 { tri = tri + 1 }
2007 if nx_add_250(100) != 350 { fail = fail + 1 }
2008 if nx_add_251(7) == 258 { tri = tri + 1 }
2009 if nx_add_251(7) != 258 { fail = fail + 1 }
2010 if nx_add_251(42) == 293 { tri = tri + 1 }
2011 if nx_add_251(42) != 293 { fail = fail + 1 }
2012 if nx_add_251(100) == 351 { tri = tri + 1 }
2013 if nx_add_251(100) != 351 { fail = fail + 1 }
2014 if nx_add_252(7) == 259 { tri = tri + 1 }
2015 if nx_add_252(7) != 259 { fail = fail + 1 }
2016 if nx_add_252(42) == 294 { tri = tri + 1 }
2017 if nx_add_252(42) != 294 { fail = fail + 1 }
2018 if nx_add_252(100) == 352 { tri = tri + 1 }
2019 if nx_add_252(100) != 352 { fail = fail + 1 }
2020 if nx_add_253(7) == 260 { tri = tri + 1 }
2021 if nx_add_253(7) != 260 { fail = fail + 1 }
2022 if nx_add_253(42) == 295 { tri = tri + 1 }
2023 if nx_add_253(42) != 295 { fail = fail + 1 }
2024 if nx_add_253(100) == 353 { tri = tri + 1 }
2025 if nx_add_253(100) != 353 { fail = fail + 1 }
2026 if nx_add_254(7) == 261 { tri = tri + 1 }
2027 if nx_add_254(7) != 261 { fail = fail + 1 }
2028 if nx_add_254(42) == 296 { tri = tri + 1 }
2029 if nx_add_254(42) != 296 { fail = fail + 1 }
2030 if nx_add_254(100) == 354 { tri = tri + 1 }
2031 if nx_add_254(100) != 354 { fail = fail + 1 }
2032 if nx_add_255(7) == 262 { tri = tri + 1 }
2033 if nx_add_255(7) != 262 { fail = fail + 1 }
2034 if nx_add_255(42) == 297 { tri = tri + 1 }
2035 if nx_add_255(42) != 297 { fail = fail + 1 }
2036 if nx_add_255(100) == 355 { tri = tri + 1 }
2037 if nx_add_255(100) != 355 { fail = fail + 1 }
2038 if nx_add_256(7) == 263 { tri = tri + 1 }
2039 if nx_add_256(7) != 263 { fail = fail + 1 }
2040 if nx_add_256(42) == 298 { tri = tri + 1 }
2041 if nx_add_256(42) != 298 { fail = fail + 1 }
2042 if nx_add_256(100) == 356 { tri = tri + 1 }
2043 if nx_add_256(100) != 356 { fail = fail + 1 }
2044 if nx_add_257(7) == 264 { tri = tri + 1 }
2045 if nx_add_257(7) != 264 { fail = fail + 1 }
2046 if nx_add_257(42) == 299 { tri = tri + 1 }
2047 if nx_add_257(42) != 299 { fail = fail + 1 }
2048 if nx_add_257(100) == 357 { tri = tri + 1 }
2049 if nx_add_257(100) != 357 { fail = fail + 1 }
2050 if nx_add_258(7) == 265 { tri = tri + 1 }
2051 if nx_add_258(7) != 265 { fail = fail + 1 }
2052 if nx_add_258(42) == 300 { tri = tri + 1 }
2053 if nx_add_258(42) != 300 { fail = fail + 1 }
2054 if nx_add_258(100) == 358 { tri = tri + 1 }
2055 if nx_add_258(100) != 358 { fail = fail + 1 }
2056 if nx_add_259(7) == 266 { tri = tri + 1 }
2057 if nx_add_259(7) != 266 { fail = fail + 1 }
2058 if nx_add_259(42) == 301 { tri = tri + 1 }
2059 if nx_add_259(42) != 301 { fail = fail + 1 }
2060 if nx_add_259(100) == 359 { tri = tri + 1 }
2061 if nx_add_259(100) != 359 { fail = fail + 1 }
2062 if nx_add_260(7) == 267 { tri = tri + 1 }
2063 if nx_add_260(7) != 267 { fail = fail + 1 }
2064 if nx_add_260(42) == 302 { tri = tri + 1 }
2065 if nx_add_260(42) != 302 { fail = fail + 1 }
2066 if nx_add_260(100) == 360 { tri = tri + 1 }
2067 if nx_add_260(100) != 360 { fail = fail + 1 }
2068 if nx_add_261(7) == 268 { tri = tri + 1 }
2069 if nx_add_261(7) != 268 { fail = fail + 1 }
2070 if nx_add_261(42) == 303 { tri = tri + 1 }
2071 if nx_add_261(42) != 303 { fail = fail + 1 }
2072 if nx_add_261(100) == 361 { tri = tri + 1 }
2073 if nx_add_261(100) != 361 { fail = fail + 1 }
2074 if nx_add_262(7) == 269 { tri = tri + 1 }
2075 if nx_add_262(7) != 269 { fail = fail + 1 }
2076 if nx_add_262(42) == 304 { tri = tri + 1 }
2077 if nx_add_262(42) != 304 { fail = fail + 1 }
2078 if nx_add_262(100) == 362 { tri = tri + 1 }
2079 if nx_add_262(100) != 362 { fail = fail + 1 }
2080 if nx_add_263(7) == 270 { tri = tri + 1 }
2081 if nx_add_263(7) != 270 { fail = fail + 1 }
2082 if nx_add_263(42) == 305 { tri = tri + 1 }
2083 if nx_add_263(42) != 305 { fail = fail + 1 }
2084 if nx_add_263(100) == 363 { tri = tri + 1 }
2085 if nx_add_263(100) != 363 { fail = fail + 1 }
2086 if nx_add_264(7) == 271 { tri = tri + 1 }
2087 if nx_add_264(7) != 271 { fail = fail + 1 }
2088 if nx_add_264(42) == 306 { tri = tri + 1 }
2089 if nx_add_264(42) != 306 { fail = fail + 1 }
2090 if nx_add_264(100) == 364 { tri = tri + 1 }
2091 if nx_add_264(100) != 364 { fail = fail + 1 }
2092 if nx_add_265(7) == 272 { tri = tri + 1 }
2093 if nx_add_265(7) != 272 { fail = fail + 1 }
2094 if nx_add_265(42) == 307 { tri = tri + 1 }
2095 if nx_add_265(42) != 307 { fail = fail + 1 }
2096 if nx_add_265(100) == 365 { tri = tri + 1 }
2097 if nx_add_265(100) != 365 { fail = fail + 1 }
2098 if nx_add_266(7) == 273 { tri = tri + 1 }
2099 if nx_add_266(7) != 273 { fail = fail + 1 }
2100 if nx_add_266(42) == 308 { tri = tri + 1 }
2101 if nx_add_266(42) != 308 { fail = fail + 1 }
2102 if nx_add_266(100) == 366 { tri = tri + 1 }
2103 if nx_add_266(100) != 366 { fail = fail + 1 }
2104 if nx_add_267(7) == 274 { tri = tri + 1 }
2105 if nx_add_267(7) != 274 { fail = fail + 1 }
2106 if nx_add_267(42) == 309 { tri = tri + 1 }
2107 if nx_add_267(42) != 309 { fail = fail + 1 }
2108 if nx_add_267(100) == 367 { tri = tri + 1 }
2109 if nx_add_267(100) != 367 { fail = fail + 1 }
2110 if nx_add_268(7) == 275 { tri = tri + 1 }
2111 if nx_add_268(7) != 275 { fail = fail + 1 }
2112 if nx_add_268(42) == 310 { tri = tri + 1 }
2113 if nx_add_268(42) != 310 { fail = fail + 1 }
2114 if nx_add_268(100) == 368 { tri = tri + 1 }
2115 if nx_add_268(100) != 368 { fail = fail + 1 }
2116 if nx_add_269(7) == 276 { tri = tri + 1 }
2117 if nx_add_269(7) != 276 { fail = fail + 1 }
2118 if nx_add_269(42) == 311 { tri = tri + 1 }
2119 if nx_add_269(42) != 311 { fail = fail + 1 }
2120 if nx_add_269(100) == 369 { tri = tri + 1 }
2121 if nx_add_269(100) != 369 { fail = fail + 1 }
2122 if nx_add_270(7) == 277 { tri = tri + 1 }
2123 if nx_add_270(7) != 277 { fail = fail + 1 }
2124 if nx_add_270(42) == 312 { tri = tri + 1 }
2125 if nx_add_270(42) != 312 { fail = fail + 1 }
2126 if nx_add_270(100) == 370 { tri = tri + 1 }
2127 if nx_add_270(100) != 370 { fail = fail + 1 }
2128 if nx_add_271(7) == 278 { tri = tri + 1 }
2129 if nx_add_271(7) != 278 { fail = fail + 1 }
2130 if nx_add_271(42) == 313 { tri = tri + 1 }
2131 if nx_add_271(42) != 313 { fail = fail + 1 }
2132 if nx_add_271(100) == 371 { tri = tri + 1 }
2133 if nx_add_271(100) != 371 { fail = fail + 1 }
2134 if nx_add_272(7) == 279 { tri = tri + 1 }
2135 if nx_add_272(7) != 279 { fail = fail + 1 }
2136 if nx_add_272(42) == 314 { tri = tri + 1 }
2137 if nx_add_272(42) != 314 { fail = fail + 1 }
2138 if nx_add_272(100) == 372 { tri = tri + 1 }
2139 if nx_add_272(100) != 372 { fail = fail + 1 }
2140 if nx_add_273(7) == 280 { tri = tri + 1 }
2141 if nx_add_273(7) != 280 { fail = fail + 1 }
2142 if nx_add_273(42) == 315 { tri = tri + 1 }
2143 if nx_add_273(42) != 315 { fail = fail + 1 }
2144 if nx_add_273(100) == 373 { tri = tri + 1 }
2145 if nx_add_273(100) != 373 { fail = fail + 1 }
2146 if nx_add_274(7) == 281 { tri = tri + 1 }
2147 if nx_add_274(7) != 281 { fail = fail + 1 }
2148 if nx_add_274(42) == 316 { tri = tri + 1 }
2149 if nx_add_274(42) != 316 { fail = fail + 1 }
2150 if nx_add_274(100) == 374 { tri = tri + 1 }
2151 if nx_add_274(100) != 374 { fail = fail + 1 }
2152 if nx_add_275(7) == 282 { tri = tri + 1 }
2153 if nx_add_275(7) != 282 { fail = fail + 1 }
2154 if nx_add_275(42) == 317 { tri = tri + 1 }
2155 if nx_add_275(42) != 317 { fail = fail + 1 }
2156 if nx_add_275(100) == 375 { tri = tri + 1 }
2157 if nx_add_275(100) != 375 { fail = fail + 1 }
2158 if nx_add_276(7) == 283 { tri = tri + 1 }
2159 if nx_add_276(7) != 283 { fail = fail + 1 }
2160 if nx_add_276(42) == 318 { tri = tri + 1 }
2161 if nx_add_276(42) != 318 { fail = fail + 1 }
2162 if nx_add_276(100) == 376 { tri = tri + 1 }
2163 if nx_add_276(100) != 376 { fail = fail + 1 }
2164 if nx_add_277(7) == 284 { tri = tri + 1 }
2165 if nx_add_277(7) != 284 { fail = fail + 1 }
2166 if nx_add_277(42) == 319 { tri = tri + 1 }
2167 if nx_add_277(42) != 319 { fail = fail + 1 }
2168 if nx_add_277(100) == 377 { tri = tri + 1 }
2169 if nx_add_277(100) != 377 { fail = fail + 1 }
2170 if nx_add_278(7) == 285 { tri = tri + 1 }
2171 if nx_add_278(7) != 285 { fail = fail + 1 }
2172 if nx_add_278(42) == 320 { tri = tri + 1 }
2173 if nx_add_278(42) != 320 { fail = fail + 1 }
2174 if nx_add_278(100) == 378 { tri = tri + 1 }
2175 if nx_add_278(100) != 378 { fail = fail + 1 }
2176 if nx_add_279(7) == 286 { tri = tri + 1 }
2177 if nx_add_279(7) != 286 { fail = fail + 1 }
2178 if nx_add_279(42) == 321 { tri = tri + 1 }
2179 if nx_add_279(42) != 321 { fail = fail + 1 }
2180 if nx_add_279(100) == 379 { tri = tri + 1 }
2181 if nx_add_279(100) != 379 { fail = fail + 1 }
2182 if nx_add_280(7) == 287 { tri = tri + 1 }
2183 if nx_add_280(7) != 287 { fail = fail + 1 }
2184 if nx_add_280(42) == 322 { tri = tri + 1 }
2185 if nx_add_280(42) != 322 { fail = fail + 1 }
2186 if nx_add_280(100) == 380 { tri = tri + 1 }
2187 if nx_add_280(100) != 380 { fail = fail + 1 }
2188 if nx_add_281(7) == 288 { tri = tri + 1 }
2189 if nx_add_281(7) != 288 { fail = fail + 1 }
2190 if nx_add_281(42) == 323 { tri = tri + 1 }
2191 if nx_add_281(42) != 323 { fail = fail + 1 }
2192 if nx_add_281(100) == 381 { tri = tri + 1 }
2193 if nx_add_281(100) != 381 { fail = fail + 1 }
2194 if nx_add_282(7) == 289 { tri = tri + 1 }
2195 if nx_add_282(7) != 289 { fail = fail + 1 }
2196 if nx_add_282(42) == 324 { tri = tri + 1 }
2197 if nx_add_282(42) != 324 { fail = fail + 1 }
2198 if nx_add_282(100) == 382 { tri = tri + 1 }
2199 if nx_add_282(100) != 382 { fail = fail + 1 }
2200 if nx_add_283(7) == 290 { tri = tri + 1 }
2201 if nx_add_283(7) != 290 { fail = fail + 1 }
2202 if nx_add_283(42) == 325 { tri = tri + 1 }
2203 if nx_add_283(42) != 325 { fail = fail + 1 }
2204 if nx_add_283(100) == 383 { tri = tri + 1 }
2205 if nx_add_283(100) != 383 { fail = fail + 1 }
2206 if nx_add_284(7) == 291 { tri = tri + 1 }
2207 if nx_add_284(7) != 291 { fail = fail + 1 }
2208 if nx_add_284(42) == 326 { tri = tri + 1 }
2209 if nx_add_284(42) != 326 { fail = fail + 1 }
2210 if nx_add_284(100) == 384 { tri = tri + 1 }
2211 if nx_add_284(100) != 384 { fail = fail + 1 }
2212 if nx_add_285(7) == 292 { tri = tri + 1 }
2213 if nx_add_285(7) != 292 { fail = fail + 1 }
2214 if nx_add_285(42) == 327 { tri = tri + 1 }
2215 if nx_add_285(42) != 327 { fail = fail + 1 }
2216 if nx_add_285(100) == 385 { tri = tri + 1 }
2217 if nx_add_285(100) != 385 { fail = fail + 1 }
2218 if nx_add_286(7) == 293 { tri = tri + 1 }
2219 if nx_add_286(7) != 293 { fail = fail + 1 }
2220 if nx_add_286(42) == 328 { tri = tri + 1 }
2221 if nx_add_286(42) != 328 { fail = fail + 1 }
2222 if nx_add_286(100) == 386 { tri = tri + 1 }
2223 if nx_add_286(100) != 386 { fail = fail + 1 }
2224 if nx_add_287(7) == 294 { tri = tri + 1 }
2225 if nx_add_287(7) != 294 { fail = fail + 1 }
2226 if nx_add_287(42) == 329 { tri = tri + 1 }
2227 if nx_add_287(42) != 329 { fail = fail + 1 }
2228 if nx_add_287(100) == 387 { tri = tri + 1 }
2229 if nx_add_287(100) != 387 { fail = fail + 1 }
2230 if nx_add_288(7) == 295 { tri = tri + 1 }
2231 if nx_add_288(7) != 295 { fail = fail + 1 }
2232 if nx_add_288(42) == 330 { tri = tri + 1 }
2233 if nx_add_288(42) != 330 { fail = fail + 1 }
2234 if nx_add_288(100) == 388 { tri = tri + 1 }
2235 if nx_add_288(100) != 388 { fail = fail + 1 }
2236 if nx_add_289(7) == 296 { tri = tri + 1 }
2237 if nx_add_289(7) != 296 { fail = fail + 1 }
2238 if nx_add_289(42) == 331 { tri = tri + 1 }
2239 if nx_add_289(42) != 331 { fail = fail + 1 }
2240 if nx_add_289(100) == 389 { tri = tri + 1 }
2241 if nx_add_289(100) != 389 { fail = fail + 1 }
2242 if nx_add_290(7) == 297 { tri = tri + 1 }
2243 if nx_add_290(7) != 297 { fail = fail + 1 }
2244 if nx_add_290(42) == 332 { tri = tri + 1 }
2245 if nx_add_290(42) != 332 { fail = fail + 1 }
2246 if nx_add_290(100) == 390 { tri = tri + 1 }
2247 if nx_add_290(100) != 390 { fail = fail + 1 }
2248 if nx_add_291(7) == 298 { tri = tri + 1 }
2249 if nx_add_291(7) != 298 { fail = fail + 1 }
2250 if nx_add_291(42) == 333 { tri = tri + 1 }
2251 if nx_add_291(42) != 333 { fail = fail + 1 }
2252 if nx_add_291(100) == 391 { tri = tri + 1 }
2253 if nx_add_291(100) != 391 { fail = fail + 1 }
2254 if nx_add_292(7) == 299 { tri = tri + 1 }
2255 if nx_add_292(7) != 299 { fail = fail + 1 }
2256 if nx_add_292(42) == 334 { tri = tri + 1 }
2257 if nx_add_292(42) != 334 { fail = fail + 1 }
2258 if nx_add_292(100) == 392 { tri = tri + 1 }
2259 if nx_add_292(100) != 392 { fail = fail + 1 }
2260 if nx_add_293(7) == 300 { tri = tri + 1 }
2261 if nx_add_293(7) != 300 { fail = fail + 1 }
2262 if nx_add_293(42) == 335 { tri = tri + 1 }
2263 if nx_add_293(42) != 335 { fail = fail + 1 }
2264 if nx_add_293(100) == 393 { tri = tri + 1 }
2265 if nx_add_293(100) != 393 { fail = fail + 1 }
2266 if nx_add_294(7) == 301 { tri = tri + 1 }
2267 if nx_add_294(7) != 301 { fail = fail + 1 }
2268 if nx_add_294(42) == 336 { tri = tri + 1 }
2269 if nx_add_294(42) != 336 { fail = fail + 1 }
2270 if nx_add_294(100) == 394 { tri = tri + 1 }
2271 if nx_add_294(100) != 394 { fail = fail + 1 }
2272 if nx_add_295(7) == 302 { tri = tri + 1 }
2273 if nx_add_295(7) != 302 { fail = fail + 1 }
2274 if nx_add_295(42) == 337 { tri = tri + 1 }
2275 if nx_add_295(42) != 337 { fail = fail + 1 }
2276 if nx_add_295(100) == 395 { tri = tri + 1 }
2277 if nx_add_295(100) != 395 { fail = fail + 1 }
2278 if nx_add_296(7) == 303 { tri = tri + 1 }
2279 if nx_add_296(7) != 303 { fail = fail + 1 }
2280 if nx_add_296(42) == 338 { tri = tri + 1 }
2281 if nx_add_296(42) != 338 { fail = fail + 1 }
2282 if nx_add_296(100) == 396 { tri = tri + 1 }
2283 if nx_add_296(100) != 396 { fail = fail + 1 }
2284 if nx_add_297(7) == 304 { tri = tri + 1 }
2285 if nx_add_297(7) != 304 { fail = fail + 1 }
2286 if nx_add_297(42) == 339 { tri = tri + 1 }
2287 if nx_add_297(42) != 339 { fail = fail + 1 }
2288 if nx_add_297(100) == 397 { tri = tri + 1 }
2289 if nx_add_297(100) != 397 { fail = fail + 1 }
2290 if nx_add_298(7) == 305 { tri = tri + 1 }
2291 if nx_add_298(7) != 305 { fail = fail + 1 }
2292 if nx_add_298(42) == 340 { tri = tri + 1 }
2293 if nx_add_298(42) != 340 { fail = fail + 1 }
2294 if nx_add_298(100) == 398 { tri = tri + 1 }
2295 if nx_add_298(100) != 398 { fail = fail + 1 }
2296 if nx_add_299(7) == 306 { tri = tri + 1 }
2297 if nx_add_299(7) != 306 { fail = fail + 1 }
2298 if nx_add_299(42) == 341 { tri = tri + 1 }
2299 if nx_add_299(42) != 341 { fail = fail + 1 }
2300 if nx_add_299(100) == 399 { tri = tri + 1 }
2301 if nx_add_299(100) != 399 { fail = fail + 1 }
2302 if nx_add_300(7) == 307 { tri = tri + 1 }
2303 if nx_add_300(7) != 307 { fail = fail + 1 }
2304 if nx_add_300(42) == 342 { tri = tri + 1 }
2305 if nx_add_300(42) != 342 { fail = fail + 1 }
2306 if nx_add_300(100) == 400 { tri = tri + 1 }
2307 if nx_add_300(100) != 400 { fail = fail + 1 }
2308 if nx_add_301(7) == 308 { tri = tri + 1 }
2309 if nx_add_301(7) != 308 { fail = fail + 1 }
2310 if nx_add_301(42) == 343 { tri = tri + 1 }
2311 if nx_add_301(42) != 343 { fail = fail + 1 }
2312 if nx_add_301(100) == 401 { tri = tri + 1 }
2313 if nx_add_301(100) != 401 { fail = fail + 1 }
2314 if nx_add_302(7) == 309 { tri = tri + 1 }
2315 if nx_add_302(7) != 309 { fail = fail + 1 }
2316 if nx_add_302(42) == 344 { tri = tri + 1 }
2317 if nx_add_302(42) != 344 { fail = fail + 1 }
2318 if nx_add_302(100) == 402 { tri = tri + 1 }
2319 if nx_add_302(100) != 402 { fail = fail + 1 }
2320 if nx_add_303(7) == 310 { tri = tri + 1 }
2321 if nx_add_303(7) != 310 { fail = fail + 1 }
2322 if nx_add_303(42) == 345 { tri = tri + 1 }
2323 if nx_add_303(42) != 345 { fail = fail + 1 }
2324 if nx_add_303(100) == 403 { tri = tri + 1 }
2325 if nx_add_303(100) != 403 { fail = fail + 1 }
2326 if nx_add_304(7) == 311 { tri = tri + 1 }
2327 if nx_add_304(7) != 311 { fail = fail + 1 }
2328 if nx_add_304(42) == 346 { tri = tri + 1 }
2329 if nx_add_304(42) != 346 { fail = fail + 1 }
2330 if nx_add_304(100) == 404 { tri = tri + 1 }
2331 if nx_add_304(100) != 404 { fail = fail + 1 }
2332 if nx_add_305(7) == 312 { tri = tri + 1 }
2333 if nx_add_305(7) != 312 { fail = fail + 1 }
2334 if nx_add_305(42) == 347 { tri = tri + 1 }
2335 if nx_add_305(42) != 347 { fail = fail + 1 }
2336 if nx_add_305(100) == 405 { tri = tri + 1 }
2337 if nx_add_305(100) != 405 { fail = fail + 1 }
2338 if nx_add_306(7) == 313 { tri = tri + 1 }
2339 if nx_add_306(7) != 313 { fail = fail + 1 }
2340 if nx_add_306(42) == 348 { tri = tri + 1 }
2341 if nx_add_306(42) != 348 { fail = fail + 1 }
2342 if nx_add_306(100) == 406 { tri = tri + 1 }
2343 if nx_add_306(100) != 406 { fail = fail + 1 }
2344 if nx_add_307(7) == 314 { tri = tri + 1 }
2345 if nx_add_307(7) != 314 { fail = fail + 1 }
2346 if nx_add_307(42) == 349 { tri = tri + 1 }
2347 if nx_add_307(42) != 349 { fail = fail + 1 }
2348 if nx_add_307(100) == 407 { tri = tri + 1 }
2349 if nx_add_307(100) != 407 { fail = fail + 1 }
2350 if nx_add_308(7) == 315 { tri = tri + 1 }
2351 if nx_add_308(7) != 315 { fail = fail + 1 }
2352 if nx_add_308(42) == 350 { tri = tri + 1 }
2353 if nx_add_308(42) != 350 { fail = fail + 1 }
2354 if nx_add_308(100) == 408 { tri = tri + 1 }
2355 if nx_add_308(100) != 408 { fail = fail + 1 }
2356 if nx_add_309(7) == 316 { tri = tri + 1 }
2357 if nx_add_309(7) != 316 { fail = fail + 1 }
2358 if nx_add_309(42) == 351 { tri = tri + 1 }
2359 if nx_add_309(42) != 351 { fail = fail + 1 }
2360 if nx_add_309(100) == 409 { tri = tri + 1 }
2361 if nx_add_309(100) != 409 { fail = fail + 1 }
2362 if nx_add_310(7) == 317 { tri = tri + 1 }
2363 if nx_add_310(7) != 317 { fail = fail + 1 }
2364 if nx_add_310(42) == 352 { tri = tri + 1 }
2365 if nx_add_310(42) != 352 { fail = fail + 1 }
2366 if nx_add_310(100) == 410 { tri = tri + 1 }
2367 if nx_add_310(100) != 410 { fail = fail + 1 }
2368 if nx_add_311(7) == 318 { tri = tri + 1 }
2369 if nx_add_311(7) != 318 { fail = fail + 1 }
2370 if nx_add_311(42) == 353 { tri = tri + 1 }
2371 if nx_add_311(42) != 353 { fail = fail + 1 }
2372 if nx_add_311(100) == 411 { tri = tri + 1 }
2373 if nx_add_311(100) != 411 { fail = fail + 1 }
2374 if nx_add_312(7) == 319 { tri = tri + 1 }
2375 if nx_add_312(7) != 319 { fail = fail + 1 }
2376 if nx_add_312(42) == 354 { tri = tri + 1 }
2377 if nx_add_312(42) != 354 { fail = fail + 1 }
2378 if nx_add_312(100) == 412 { tri = tri + 1 }
2379 if nx_add_312(100) != 412 { fail = fail + 1 }
2380 if nx_add_313(7) == 320 { tri = tri + 1 }
2381 if nx_add_313(7) != 320 { fail = fail + 1 }
2382 if nx_add_313(42) == 355 { tri = tri + 1 }
2383 if nx_add_313(42) != 355 { fail = fail + 1 }
2384 if nx_add_313(100) == 413 { tri = tri + 1 }
2385 if nx_add_313(100) != 413 { fail = fail + 1 }
2386 if nx_add_314(7) == 321 { tri = tri + 1 }
2387 if nx_add_314(7) != 321 { fail = fail + 1 }
2388 if nx_add_314(42) == 356 { tri = tri + 1 }
2389 if nx_add_314(42) != 356 { fail = fail + 1 }
2390 if nx_add_314(100) == 414 { tri = tri + 1 }
2391 if nx_add_314(100) != 414 { fail = fail + 1 }
2392 if nx_add_315(7) == 322 { tri = tri + 1 }
2393 if nx_add_315(7) != 322 { fail = fail + 1 }
2394 if nx_add_315(42) == 357 { tri = tri + 1 }
2395 if nx_add_315(42) != 357 { fail = fail + 1 }
2396 if nx_add_315(100) == 415 { tri = tri + 1 }
2397 if nx_add_315(100) != 415 { fail = fail + 1 }
2398 if nx_add_316(7) == 323 { tri = tri + 1 }
2399 if nx_add_316(7) != 323 { fail = fail + 1 }
2400 if nx_add_316(42) == 358 { tri = tri + 1 }
2401 if nx_add_316(42) != 358 { fail = fail + 1 }
2402 if nx_add_316(100) == 416 { tri = tri + 1 }
2403 if nx_add_316(100) != 416 { fail = fail + 1 }
2404 if nx_add_317(7) == 324 { tri = tri + 1 }
2405 if nx_add_317(7) != 324 { fail = fail + 1 }
2406 if nx_add_317(42) == 359 { tri = tri + 1 }
2407 if nx_add_317(42) != 359 { fail = fail + 1 }
2408 if nx_add_317(100) == 417 { tri = tri + 1 }
2409 if nx_add_317(100) != 417 { fail = fail + 1 }
2410 if nx_add_318(7) == 325 { tri = tri + 1 }
2411 if nx_add_318(7) != 325 { fail = fail + 1 }
2412 if nx_add_318(42) == 360 { tri = tri + 1 }
2413 if nx_add_318(42) != 360 { fail = fail + 1 }
2414 if nx_add_318(100) == 418 { tri = tri + 1 }
2415 if nx_add_318(100) != 418 { fail = fail + 1 }
2416 if nx_add_319(7) == 326 { tri = tri + 1 }
2417 if nx_add_319(7) != 326 { fail = fail + 1 }
2418 if nx_add_319(42) == 361 { tri = tri + 1 }
2419 if nx_add_319(42) != 361 { fail = fail + 1 }
2420 if nx_add_319(100) == 419 { tri = tri + 1 }
2421 if nx_add_319(100) != 419 { fail = fail + 1 }
2422 if nx_add_320(7) == 327 { tri = tri + 1 }
2423 if nx_add_320(7) != 327 { fail = fail + 1 }
2424 if nx_add_320(42) == 362 { tri = tri + 1 }
2425 if nx_add_320(42) != 362 { fail = fail + 1 }
2426 if nx_add_320(100) == 420 { tri = tri + 1 }
2427 if nx_add_320(100) != 420 { fail = fail + 1 }
2428 if nx_add_321(7) == 328 { tri = tri + 1 }
2429 if nx_add_321(7) != 328 { fail = fail + 1 }
2430 if nx_add_321(42) == 363 { tri = tri + 1 }
2431 if nx_add_321(42) != 363 { fail = fail + 1 }
2432 if nx_add_321(100) == 421 { tri = tri + 1 }
2433 if nx_add_321(100) != 421 { fail = fail + 1 }
2434 if nx_add_322(7) == 329 { tri = tri + 1 }
2435 if nx_add_322(7) != 329 { fail = fail + 1 }
2436 if nx_add_322(42) == 364 { tri = tri + 1 }
2437 if nx_add_322(42) != 364 { fail = fail + 1 }
2438 if nx_add_322(100) == 422 { tri = tri + 1 }
2439 if nx_add_322(100) != 422 { fail = fail + 1 }
2440 if nx_add_323(7) == 330 { tri = tri + 1 }
2441 if nx_add_323(7) != 330 { fail = fail + 1 }
2442 if nx_add_323(42) == 365 { tri = tri + 1 }
2443 if nx_add_323(42) != 365 { fail = fail + 1 }
2444 if nx_add_323(100) == 423 { tri = tri + 1 }
2445 if nx_add_323(100) != 423 { fail = fail + 1 }
2446 if nx_add_324(7) == 331 { tri = tri + 1 }
2447 if nx_add_324(7) != 331 { fail = fail + 1 }
2448 if nx_add_324(42) == 366 { tri = tri + 1 }
2449 if nx_add_324(42) != 366 { fail = fail + 1 }
2450 if nx_add_324(100) == 424 { tri = tri + 1 }
2451 if nx_add_324(100) != 424 { fail = fail + 1 }
2452 if nx_add_325(7) == 332 { tri = tri + 1 }
2453 if nx_add_325(7) != 332 { fail = fail + 1 }
2454 if nx_add_325(42) == 367 { tri = tri + 1 }
2455 if nx_add_325(42) != 367 { fail = fail + 1 }
2456 if nx_add_325(100) == 425 { tri = tri + 1 }
2457 if nx_add_325(100) != 425 { fail = fail + 1 }
2458 if nx_add_326(7) == 333 { tri = tri + 1 }
2459 if nx_add_326(7) != 333 { fail = fail + 1 }
2460 if nx_add_326(42) == 368 { tri = tri + 1 }
2461 if nx_add_326(42) != 368 { fail = fail + 1 }
2462 if nx_add_326(100) == 426 { tri = tri + 1 }
2463 if nx_add_326(100) != 426 { fail = fail + 1 }
2464 if nx_add_327(7) == 334 { tri = tri + 1 }
2465 if nx_add_327(7) != 334 { fail = fail + 1 }
2466 if nx_add_327(42) == 369 { tri = tri + 1 }
2467 if nx_add_327(42) != 369 { fail = fail + 1 }
2468 if nx_add_327(100) == 427 { tri = tri + 1 }
2469 if nx_add_327(100) != 427 { fail = fail + 1 }
2470 if nx_add_328(7) == 335 { tri = tri + 1 }
2471 if nx_add_328(7) != 335 { fail = fail + 1 }
2472 if nx_add_328(42) == 370 { tri = tri + 1 }
2473 if nx_add_328(42) != 370 { fail = fail + 1 }
2474 if nx_add_328(100) == 428 { tri = tri + 1 }
2475 if nx_add_328(100) != 428 { fail = fail + 1 }
2476 if nx_add_329(7) == 336 { tri = tri + 1 }
2477 if nx_add_329(7) != 336 { fail = fail + 1 }
2478 if nx_add_329(42) == 371 { tri = tri + 1 }
2479 if nx_add_329(42) != 371 { fail = fail + 1 }
2480 if nx_add_329(100) == 429 { tri = tri + 1 }
2481 if nx_add_329(100) != 429 { fail = fail + 1 }
2482 if nx_add_330(7) == 337 { tri = tri + 1 }
2483 if nx_add_330(7) != 337 { fail = fail + 1 }
2484 if nx_add_330(42) == 372 { tri = tri + 1 }
2485 if nx_add_330(42) != 372 { fail = fail + 1 }
2486 if nx_add_330(100) == 430 { tri = tri + 1 }
2487 if nx_add_330(100) != 430 { fail = fail + 1 }
2488 if nx_add_331(7) == 338 { tri = tri + 1 }
2489 if nx_add_331(7) != 338 { fail = fail + 1 }
2490 if nx_add_331(42) == 373 { tri = tri + 1 }
2491 if nx_add_331(42) != 373 { fail = fail + 1 }
2492 if nx_add_331(100) == 431 { tri = tri + 1 }
2493 if nx_add_331(100) != 431 { fail = fail + 1 }
2494 if nx_add_332(7) == 339 { tri = tri + 1 }
2495 if nx_add_332(7) != 339 { fail = fail + 1 }
2496 if nx_add_332(42) == 374 { tri = tri + 1 }
2497 if nx_add_332(42) != 374 { fail = fail + 1 }
2498 if nx_add_332(100) == 432 { tri = tri + 1 }
2499 if nx_add_332(100) != 432 { fail = fail + 1 }
2500 if nx_add_333(7) == 340 { tri = tri + 1 }
2501 if nx_add_333(7) != 340 { fail = fail + 1 }
2502 if nx_add_333(42) == 375 { tri = tri + 1 }
2503 if nx_add_333(42) != 375 { fail = fail + 1 }
2504 if nx_add_333(100) == 433 { tri = tri + 1 }
2505 if nx_add_333(100) != 433 { fail = fail + 1 }
2506 if nx_add_334(7) == 341 { tri = tri + 1 }
2507 if nx_add_334(7) != 341 { fail = fail + 1 }
2508 if nx_add_334(42) == 376 { tri = tri + 1 }
2509 if nx_add_334(42) != 376 { fail = fail + 1 }
2510 if nx_add_334(100) == 434 { tri = tri + 1 }
2511 if nx_add_334(100) != 434 { fail = fail + 1 }
2512 if nx_add_335(7) == 342 { tri = tri + 1 }
2513 if nx_add_335(7) != 342 { fail = fail + 1 }
2514 if nx_add_335(42) == 377 { tri = tri + 1 }
2515 if nx_add_335(42) != 377 { fail = fail + 1 }
2516 if nx_add_335(100) == 435 { tri = tri + 1 }
2517 if nx_add_335(100) != 435 { fail = fail + 1 }
2518 if nx_add_336(7) == 343 { tri = tri + 1 }
2519 if nx_add_336(7) != 343 { fail = fail + 1 }
2520 if nx_add_336(42) == 378 { tri = tri + 1 }
2521 if nx_add_336(42) != 378 { fail = fail + 1 }
2522 if nx_add_336(100) == 436 { tri = tri + 1 }
2523 if nx_add_336(100) != 436 { fail = fail + 1 }
2524 if nx_add_337(7) == 344 { tri = tri + 1 }
2525 if nx_add_337(7) != 344 { fail = fail + 1 }
2526 if nx_add_337(42) == 379 { tri = tri + 1 }
2527 if nx_add_337(42) != 379 { fail = fail + 1 }
2528 if nx_add_337(100) == 437 { tri = tri + 1 }
2529 if nx_add_337(100) != 437 { fail = fail + 1 }
2530 if nx_add_338(7) == 345 { tri = tri + 1 }
2531 if nx_add_338(7) != 345 { fail = fail + 1 }
2532 if nx_add_338(42) == 380 { tri = tri + 1 }
2533 if nx_add_338(42) != 380 { fail = fail + 1 }
2534 if nx_add_338(100) == 438 { tri = tri + 1 }
2535 if nx_add_338(100) != 438 { fail = fail + 1 }
2536 if nx_add_339(7) == 346 { tri = tri + 1 }
2537 if nx_add_339(7) != 346 { fail = fail + 1 }
2538 if nx_add_339(42) == 381 { tri = tri + 1 }
2539 if nx_add_339(42) != 381 { fail = fail + 1 }
2540 if nx_add_339(100) == 439 { tri = tri + 1 }
2541 if nx_add_339(100) != 439 { fail = fail + 1 }
2542 if nx_add_340(7) == 347 { tri = tri + 1 }
2543 if nx_add_340(7) != 347 { fail = fail + 1 }
2544 if nx_add_340(42) == 382 { tri = tri + 1 }
2545 if nx_add_340(42) != 382 { fail = fail + 1 }
2546 if nx_add_340(100) == 440 { tri = tri + 1 }
2547 if nx_add_340(100) != 440 { fail = fail + 1 }
2548 if nx_add_341(7) == 348 { tri = tri + 1 }
2549 if nx_add_341(7) != 348 { fail = fail + 1 }
2550 if nx_add_341(42) == 383 { tri = tri + 1 }
2551 if nx_add_341(42) != 383 { fail = fail + 1 }
2552 if nx_add_341(100) == 441 { tri = tri + 1 }
2553 if nx_add_341(100) != 441 { fail = fail + 1 }
2554 if nx_add_342(7) == 349 { tri = tri + 1 }
2555 if nx_add_342(7) != 349 { fail = fail + 1 }
2556 if nx_add_342(42) == 384 { tri = tri + 1 }
2557 if nx_add_342(42) != 384 { fail = fail + 1 }
2558 if nx_add_342(100) == 442 { tri = tri + 1 }
2559 if nx_add_342(100) != 442 { fail = fail + 1 }
2560 if nx_add_343(7) == 350 { tri = tri + 1 }
2561 if nx_add_343(7) != 350 { fail = fail + 1 }
2562 if nx_add_343(42) == 385 { tri = tri + 1 }
2563 if nx_add_343(42) != 385 { fail = fail + 1 }
2564 if nx_add_343(100) == 443 { tri = tri + 1 }
2565 if nx_add_343(100) != 443 { fail = fail + 1 }
2566 if nx_add_344(7) == 351 { tri = tri + 1 }
2567 if nx_add_344(7) != 351 { fail = fail + 1 }
2568 if nx_add_344(42) == 386 { tri = tri + 1 }
2569 if nx_add_344(42) != 386 { fail = fail + 1 }
2570 if nx_add_344(100) == 444 { tri = tri + 1 }
2571 if nx_add_344(100) != 444 { fail = fail + 1 }
2572 if nx_add_345(7) == 352 { tri = tri + 1 }
2573 if nx_add_345(7) != 352 { fail = fail + 1 }
2574 if nx_add_345(42) == 387 { tri = tri + 1 }
2575 if nx_add_345(42) != 387 { fail = fail + 1 }
2576 if nx_add_345(100) == 445 { tri = tri + 1 }
2577 if nx_add_345(100) != 445 { fail = fail + 1 }
2578 if nx_add_346(7) == 353 { tri = tri + 1 }
2579 if nx_add_346(7) != 353 { fail = fail + 1 }
2580 if nx_add_346(42) == 388 { tri = tri + 1 }
2581 if nx_add_346(42) != 388 { fail = fail + 1 }
2582 if nx_add_346(100) == 446 { tri = tri + 1 }
2583 if nx_add_346(100) != 446 { fail = fail + 1 }
2584 if nx_add_347(7) == 354 { tri = tri + 1 }
2585 if nx_add_347(7) != 354 { fail = fail + 1 }
2586 if nx_add_347(42) == 389 { tri = tri + 1 }
2587 if nx_add_347(42) != 389 { fail = fail + 1 }
2588 if nx_add_347(100) == 447 { tri = tri + 1 }
2589 if nx_add_347(100) != 447 { fail = fail + 1 }
2590 if nx_add_348(7) == 355 { tri = tri + 1 }
2591 if nx_add_348(7) != 355 { fail = fail + 1 }
2592 if nx_add_348(42) == 390 { tri = tri + 1 }
2593 if nx_add_348(42) != 390 { fail = fail + 1 }
2594 if nx_add_348(100) == 448 { tri = tri + 1 }
2595 if nx_add_348(100) != 448 { fail = fail + 1 }
2596 if nx_add_349(7) == 356 { tri = tri + 1 }
2597 if nx_add_349(7) != 356 { fail = fail + 1 }
2598 if nx_add_349(42) == 391 { tri = tri + 1 }
2599 if nx_add_349(42) != 391 { fail = fail + 1 }
2600 if nx_add_349(100) == 449 { tri = tri + 1 }
2601 if nx_add_349(100) != 449 { fail = fail + 1 }
2602 if nx_add_350(7) == 357 { tri = tri + 1 }
2603 if nx_add_350(7) != 357 { fail = fail + 1 }
2604 if nx_add_350(42) == 392 { tri = tri + 1 }
2605 if nx_add_350(42) != 392 { fail = fail + 1 }
2606 if nx_add_350(100) == 450 { tri = tri + 1 }
2607 if nx_add_350(100) != 450 { fail = fail + 1 }
2608 if nx_add_351(7) == 358 { tri = tri + 1 }
2609 if nx_add_351(7) != 358 { fail = fail + 1 }
2610 if nx_add_351(42) == 393 { tri = tri + 1 }
2611 if nx_add_351(42) != 393 { fail = fail + 1 }
2612 if nx_add_351(100) == 451 { tri = tri + 1 }
2613 if nx_add_351(100) != 451 { fail = fail + 1 }
2614 if nx_add_352(7) == 359 { tri = tri + 1 }
2615 if nx_add_352(7) != 359 { fail = fail + 1 }
2616 if nx_add_352(42) == 394 { tri = tri + 1 }
2617 if nx_add_352(42) != 394 { fail = fail + 1 }
2618 if nx_add_352(100) == 452 { tri = tri + 1 }
2619 if nx_add_352(100) != 452 { fail = fail + 1 }
2620 if nx_add_353(7) == 360 { tri = tri + 1 }
2621 if nx_add_353(7) != 360 { fail = fail + 1 }
2622 if nx_add_353(42) == 395 { tri = tri + 1 }
2623 if nx_add_353(42) != 395 { fail = fail + 1 }
2624 if nx_add_353(100) == 453 { tri = tri + 1 }
2625 if nx_add_353(100) != 453 { fail = fail + 1 }
2626 if nx_add_354(7) == 361 { tri = tri + 1 }
2627 if nx_add_354(7) != 361 { fail = fail + 1 }
2628 if nx_add_354(42) == 396 { tri = tri + 1 }
2629 if nx_add_354(42) != 396 { fail = fail + 1 }
2630 if nx_add_354(100) == 454 { tri = tri + 1 }
2631 if nx_add_354(100) != 454 { fail = fail + 1 }
2632 if nx_add_355(7) == 362 { tri = tri + 1 }
2633 if nx_add_355(7) != 362 { fail = fail + 1 }
2634 if nx_add_355(42) == 397 { tri = tri + 1 }
2635 if nx_add_355(42) != 397 { fail = fail + 1 }
2636 if nx_add_355(100) == 455 { tri = tri + 1 }
2637 if nx_add_355(100) != 455 { fail = fail + 1 }
2638 if nx_add_356(7) == 363 { tri = tri + 1 }
2639 if nx_add_356(7) != 363 { fail = fail + 1 }
2640 if nx_add_356(42) == 398 { tri = tri + 1 }
2641 if nx_add_356(42) != 398 { fail = fail + 1 }
2642 if nx_add_356(100) == 456 { tri = tri + 1 }
2643 if nx_add_356(100) != 456 { fail = fail + 1 }
2644 if nx_add_357(7) == 364 { tri = tri + 1 }
2645 if nx_add_357(7) != 364 { fail = fail + 1 }
2646 if nx_add_357(42) == 399 { tri = tri + 1 }
2647 if nx_add_357(42) != 399 { fail = fail + 1 }
2648 if nx_add_357(100) == 457 { tri = tri + 1 }
2649 if nx_add_357(100) != 457 { fail = fail + 1 }
2650 if nx_add_358(7) == 365 { tri = tri + 1 }
2651 if nx_add_358(7) != 365 { fail = fail + 1 }
2652 if nx_add_358(42) == 400 { tri = tri + 1 }
2653 if nx_add_358(42) != 400 { fail = fail + 1 }
2654 if nx_add_358(100) == 458 { tri = tri + 1 }
2655 if nx_add_358(100) != 458 { fail = fail + 1 }
2656 if nx_add_359(7) == 366 { tri = tri + 1 }
2657 if nx_add_359(7) != 366 { fail = fail + 1 }
2658 if nx_add_359(42) == 401 { tri = tri + 1 }
2659 if nx_add_359(42) != 401 { fail = fail + 1 }
2660 if nx_add_359(100) == 459 { tri = tri + 1 }
2661 if nx_add_359(100) != 459 { fail = fail + 1 }
2662 if nx_add_360(7) == 367 { tri = tri + 1 }
2663 if nx_add_360(7) != 367 { fail = fail + 1 }
2664 if nx_add_360(42) == 402 { tri = tri + 1 }
2665 if nx_add_360(42) != 402 { fail = fail + 1 }
2666 if nx_add_360(100) == 460 { tri = tri + 1 }
2667 if nx_add_360(100) != 460 { fail = fail + 1 }
2668 if nx_add_361(7) == 368 { tri = tri + 1 }
2669 if nx_add_361(7) != 368 { fail = fail + 1 }
2670 if nx_add_361(42) == 403 { tri = tri + 1 }
2671 if nx_add_361(42) != 403 { fail = fail + 1 }
2672 if nx_add_361(100) == 461 { tri = tri + 1 }
2673 if nx_add_361(100) != 461 { fail = fail + 1 }
2674 if nx_add_362(7) == 369 { tri = tri + 1 }
2675 if nx_add_362(7) != 369 { fail = fail + 1 }
2676 if nx_add_362(42) == 404 { tri = tri + 1 }
2677 if nx_add_362(42) != 404 { fail = fail + 1 }
2678 if nx_add_362(100) == 462 { tri = tri + 1 }
2679 if nx_add_362(100) != 462 { fail = fail + 1 }
2680 if nx_add_363(7) == 370 { tri = tri + 1 }
2681 if nx_add_363(7) != 370 { fail = fail + 1 }
2682 if nx_add_363(42) == 405 { tri = tri + 1 }
2683 if nx_add_363(42) != 405 { fail = fail + 1 }
2684 if nx_add_363(100) == 463 { tri = tri + 1 }
2685 if nx_add_363(100) != 463 { fail = fail + 1 }
2686 if nx_add_364(7) == 371 { tri = tri + 1 }
2687 if nx_add_364(7) != 371 { fail = fail + 1 }
2688 if nx_add_364(42) == 406 { tri = tri + 1 }
2689 if nx_add_364(42) != 406 { fail = fail + 1 }
2690 if nx_add_364(100) == 464 { tri = tri + 1 }
2691 if nx_add_364(100) != 464 { fail = fail + 1 }
2692 if nx_add_365(7) == 372 { tri = tri + 1 }
2693 if nx_add_365(7) != 372 { fail = fail + 1 }
2694 if nx_add_365(42) == 407 { tri = tri + 1 }
2695 if nx_add_365(42) != 407 { fail = fail + 1 }
2696 if nx_add_365(100) == 465 { tri = tri + 1 }
2697 if nx_add_365(100) != 465 { fail = fail + 1 }
2698 if nx_add_366(7) == 373 { tri = tri + 1 }
2699 if nx_add_366(7) != 373 { fail = fail + 1 }
2700 if nx_add_366(42) == 408 { tri = tri + 1 }
2701 if nx_add_366(42) != 408 { fail = fail + 1 }
2702 if nx_add_366(100) == 466 { tri = tri + 1 }
2703 if nx_add_366(100) != 466 { fail = fail + 1 }
2704 if nx_add_367(7) == 374 { tri = tri + 1 }
2705 if nx_add_367(7) != 374 { fail = fail + 1 }
2706 if nx_add_367(42) == 409 { tri = tri + 1 }
2707 if nx_add_367(42) != 409 { fail = fail + 1 }
2708 if nx_add_367(100) == 467 { tri = tri + 1 }
2709 if nx_add_367(100) != 467 { fail = fail + 1 }
2710 if nx_add_368(7) == 375 { tri = tri + 1 }
2711 if nx_add_368(7) != 375 { fail = fail + 1 }
2712 if nx_add_368(42) == 410 { tri = tri + 1 }
2713 if nx_add_368(42) != 410 { fail = fail + 1 }
2714 if nx_add_368(100) == 468 { tri = tri + 1 }
2715 if nx_add_368(100) != 468 { fail = fail + 1 }
2716 if nx_add_369(7) == 376 { tri = tri + 1 }
2717 if nx_add_369(7) != 376 { fail = fail + 1 }
2718 if nx_add_369(42) == 411 { tri = tri + 1 }
2719 if nx_add_369(42) != 411 { fail = fail + 1 }
2720 if nx_add_369(100) == 469 { tri = tri + 1 }
2721 if nx_add_369(100) != 469 { fail = fail + 1 }
2722 if nx_add_370(7) == 377 { tri = tri + 1 }
2723 if nx_add_370(7) != 377 { fail = fail + 1 }
2724 if nx_add_370(42) == 412 { tri = tri + 1 }
2725 if nx_add_370(42) != 412 { fail = fail + 1 }
2726 if nx_add_370(100) == 470 { tri = tri + 1 }
2727 if nx_add_370(100) != 470 { fail = fail + 1 }
2728 if nx_add_371(7) == 378 { tri = tri + 1 }
2729 if nx_add_371(7) != 378 { fail = fail + 1 }
2730 if nx_add_371(42) == 413 { tri = tri + 1 }
2731 if nx_add_371(42) != 413 { fail = fail + 1 }
2732 if nx_add_371(100) == 471 { tri = tri + 1 }
2733 if nx_add_371(100) != 471 { fail = fail + 1 }
2734 if nx_add_372(7) == 379 { tri = tri + 1 }
2735 if nx_add_372(7) != 379 { fail = fail + 1 }
2736 if nx_add_372(42) == 414 { tri = tri + 1 }
2737 if nx_add_372(42) != 414 { fail = fail + 1 }
2738 if nx_add_372(100) == 472 { tri = tri + 1 }
2739 if nx_add_372(100) != 472 { fail = fail + 1 }
2740 if nx_add_373(7) == 380 { tri = tri + 1 }
2741 if nx_add_373(7) != 380 { fail = fail + 1 }
2742 if nx_add_373(42) == 415 { tri = tri + 1 }
2743 if nx_add_373(42) != 415 { fail = fail + 1 }
2744 if nx_add_373(100) == 473 { tri = tri + 1 }
2745 if nx_add_373(100) != 473 { fail = fail + 1 }
2746 if nx_add_374(7) == 381 { tri = tri + 1 }
2747 if nx_add_374(7) != 381 { fail = fail + 1 }
2748 if nx_add_374(42) == 416 { tri = tri + 1 }
2749 if nx_add_374(42) != 416 { fail = fail + 1 }
2750 if nx_add_374(100) == 474 { tri = tri + 1 }
2751 if nx_add_374(100) != 474 { fail = fail + 1 }
2752 if nx_add_375(7) == 382 { tri = tri + 1 }
2753 if nx_add_375(7) != 382 { fail = fail + 1 }
2754 if nx_add_375(42) == 417 { tri = tri + 1 }
2755 if nx_add_375(42) != 417 { fail = fail + 1 }
2756 if nx_add_375(100) == 475 { tri = tri + 1 }
2757 if nx_add_375(100) != 475 { fail = fail + 1 }
2758 if nx_add_376(7) == 383 { tri = tri + 1 }
2759 if nx_add_376(7) != 383 { fail = fail + 1 }
2760 if nx_add_376(42) == 418 { tri = tri + 1 }
2761 if nx_add_376(42) != 418 { fail = fail + 1 }
2762 if nx_add_376(100) == 476 { tri = tri + 1 }
2763 if nx_add_376(100) != 476 { fail = fail + 1 }
2764 if nx_add_377(7) == 384 { tri = tri + 1 }
2765 if nx_add_377(7) != 384 { fail = fail + 1 }
2766 if nx_add_377(42) == 419 { tri = tri + 1 }
2767 if nx_add_377(42) != 419 { fail = fail + 1 }
2768 if nx_add_377(100) == 477 { tri = tri + 1 }
2769 if nx_add_377(100) != 477 { fail = fail + 1 }
2770 if nx_add_378(7) == 385 { tri = tri + 1 }
2771 if nx_add_378(7) != 385 { fail = fail + 1 }
2772 if nx_add_378(42) == 420 { tri = tri + 1 }
2773 if nx_add_378(42) != 420 { fail = fail + 1 }
2774 if nx_add_378(100) == 478 { tri = tri + 1 }
2775 if nx_add_378(100) != 478 { fail = fail + 1 }
2776 if nx_add_379(7) == 386 { tri = tri + 1 }
2777 if nx_add_379(7) != 386 { fail = fail + 1 }
2778 if nx_add_379(42) == 421 { tri = tri + 1 }
2779 if nx_add_379(42) != 421 { fail = fail + 1 }
2780 if nx_add_379(100) == 479 { tri = tri + 1 }
2781 if nx_add_379(100) != 479 { fail = fail + 1 }
2782 if nx_add_380(7) == 387 { tri = tri + 1 }
2783 if nx_add_380(7) != 387 { fail = fail + 1 }
2784 if nx_add_380(42) == 422 { tri = tri + 1 }
2785 if nx_add_380(42) != 422 { fail = fail + 1 }
2786 if nx_add_380(100) == 480 { tri = tri + 1 }
2787 if nx_add_380(100) != 480 { fail = fail + 1 }
2788 if nx_add_381(7) == 388 { tri = tri + 1 }
2789 if nx_add_381(7) != 388 { fail = fail + 1 }
2790 if nx_add_381(42) == 423 { tri = tri + 1 }
2791 if nx_add_381(42) != 423 { fail = fail + 1 }
2792 if nx_add_381(100) == 481 { tri = tri + 1 }
2793 if nx_add_381(100) != 481 { fail = fail + 1 }
2794 if nx_add_382(7) == 389 { tri = tri + 1 }
2795 if nx_add_382(7) != 389 { fail = fail + 1 }
2796 if nx_add_382(42) == 424 { tri = tri + 1 }
2797 if nx_add_382(42) != 424 { fail = fail + 1 }
2798 if nx_add_382(100) == 482 { tri = tri + 1 }
2799 if nx_add_382(100) != 482 { fail = fail + 1 }
2800 if nx_add_383(7) == 390 { tri = tri + 1 }
2801 if nx_add_383(7) != 390 { fail = fail + 1 }
2802 if nx_add_383(42) == 425 { tri = tri + 1 }
2803 if nx_add_383(42) != 425 { fail = fail + 1 }
2804 if nx_add_383(100) == 483 { tri = tri + 1 }
2805 if nx_add_383(100) != 483 { fail = fail + 1 }
2806 if nx_add_384(7) == 391 { tri = tri + 1 }
2807 if nx_add_384(7) != 391 { fail = fail + 1 }
2808 if nx_add_384(42) == 426 { tri = tri + 1 }
2809 if nx_add_384(42) != 426 { fail = fail + 1 }
2810 if nx_add_384(100) == 484 { tri = tri + 1 }
2811 if nx_add_384(100) != 484 { fail = fail + 1 }
2812 if nx_add_385(7) == 392 { tri = tri + 1 }
2813 if nx_add_385(7) != 392 { fail = fail + 1 }
2814 if nx_add_385(42) == 427 { tri = tri + 1 }
2815 if nx_add_385(42) != 427 { fail = fail + 1 }
2816 if nx_add_385(100) == 485 { tri = tri + 1 }
2817 if nx_add_385(100) != 485 { fail = fail + 1 }
2818 if nx_add_386(7) == 393 { tri = tri + 1 }
2819 if nx_add_386(7) != 393 { fail = fail + 1 }
2820 if nx_add_386(42) == 428 { tri = tri + 1 }
2821 if nx_add_386(42) != 428 { fail = fail + 1 }
2822 if nx_add_386(100) == 486 { tri = tri + 1 }
2823 if nx_add_386(100) != 486 { fail = fail + 1 }
2824 if nx_add_387(7) == 394 { tri = tri + 1 }
2825 if nx_add_387(7) != 394 { fail = fail + 1 }
2826 if nx_add_387(42) == 429 { tri = tri + 1 }
2827 if nx_add_387(42) != 429 { fail = fail + 1 }
2828 if nx_add_387(100) == 487 { tri = tri + 1 }
2829 if nx_add_387(100) != 487 { fail = fail + 1 }
2830 if nx_add_388(7) == 395 { tri = tri + 1 }
2831 if nx_add_388(7) != 395 { fail = fail + 1 }
2832 if nx_add_388(42) == 430 { tri = tri + 1 }
2833 if nx_add_388(42) != 430 { fail = fail + 1 }
2834 if nx_add_388(100) == 488 { tri = tri + 1 }
2835 if nx_add_388(100) != 488 { fail = fail + 1 }
2836 if nx_add_389(7) == 396 { tri = tri + 1 }
2837 if nx_add_389(7) != 396 { fail = fail + 1 }
2838 if nx_add_389(42) == 431 { tri = tri + 1 }
2839 if nx_add_389(42) != 431 { fail = fail + 1 }
2840 if nx_add_389(100) == 489 { tri = tri + 1 }
2841 if nx_add_389(100) != 489 { fail = fail + 1 }
2842 if nx_add_390(7) == 397 { tri = tri + 1 }
2843 if nx_add_390(7) != 397 { fail = fail + 1 }
2844 if nx_add_390(42) == 432 { tri = tri + 1 }
2845 if nx_add_390(42) != 432 { fail = fail + 1 }
2846 if nx_add_390(100) == 490 { tri = tri + 1 }
2847 if nx_add_390(100) != 490 { fail = fail + 1 }
2848 if nx_add_391(7) == 398 { tri = tri + 1 }
2849 if nx_add_391(7) != 398 { fail = fail + 1 }
2850 if nx_add_391(42) == 433 { tri = tri + 1 }
2851 if nx_add_391(42) != 433 { fail = fail + 1 }
2852 if nx_add_391(100) == 491 { tri = tri + 1 }
2853 if nx_add_391(100) != 491 { fail = fail + 1 }
2854 if nx_add_392(7) == 399 { tri = tri + 1 }
2855 if nx_add_392(7) != 399 { fail = fail + 1 }
2856 if nx_add_392(42) == 434 { tri = tri + 1 }
2857 if nx_add_392(42) != 434 { fail = fail + 1 }
2858 if nx_add_392(100) == 492 { tri = tri + 1 }
2859 if nx_add_392(100) != 492 { fail = fail + 1 }
2860 if nx_add_393(7) == 400 { tri = tri + 1 }
2861 if nx_add_393(7) != 400 { fail = fail + 1 }
2862 if nx_add_393(42) == 435 { tri = tri + 1 }
2863 if nx_add_393(42) != 435 { fail = fail + 1 }
2864 if nx_add_393(100) == 493 { tri = tri + 1 }
2865 if nx_add_393(100) != 493 { fail = fail + 1 }
2866 if nx_add_394(7) == 401 { tri = tri + 1 }
2867 if nx_add_394(7) != 401 { fail = fail + 1 }
2868 if nx_add_394(42) == 436 { tri = tri + 1 }
2869 if nx_add_394(42) != 436 { fail = fail + 1 }
2870 if nx_add_394(100) == 494 { tri = tri + 1 }
2871 if nx_add_394(100) != 494 { fail = fail + 1 }
2872 if nx_add_395(7) == 402 { tri = tri + 1 }
2873 if nx_add_395(7) != 402 { fail = fail + 1 }
2874 if nx_add_395(42) == 437 { tri = tri + 1 }
2875 if nx_add_395(42) != 437 { fail = fail + 1 }
2876 if nx_add_395(100) == 495 { tri = tri + 1 }
2877 if nx_add_395(100) != 495 { fail = fail + 1 }
2878 if nx_add_396(7) == 403 { tri = tri + 1 }
2879 if nx_add_396(7) != 403 { fail = fail + 1 }
2880 if nx_add_396(42) == 438 { tri = tri + 1 }
2881 if nx_add_396(42) != 438 { fail = fail + 1 }
2882 if nx_add_396(100) == 496 { tri = tri + 1 }
2883 if nx_add_396(100) != 496 { fail = fail + 1 }
2884 if nx_add_397(7) == 404 { tri = tri + 1 }
2885 if nx_add_397(7) != 404 { fail = fail + 1 }
2886 if nx_add_397(42) == 439 { tri = tri + 1 }
2887 if nx_add_397(42) != 439 { fail = fail + 1 }
2888 if nx_add_397(100) == 497 { tri = tri + 1 }
2889 if nx_add_397(100) != 497 { fail = fail + 1 }
2890 if nx_add_398(7) == 405 { tri = tri + 1 }
2891 if nx_add_398(7) != 405 { fail = fail + 1 }
2892 if nx_add_398(42) == 440 { tri = tri + 1 }
2893 if nx_add_398(42) != 440 { fail = fail + 1 }
2894 if nx_add_398(100) == 498 { tri = tri + 1 }
2895 if nx_add_398(100) != 498 { fail = fail + 1 }
2896 if nx_add_399(7) == 406 { tri = tri + 1 }
2897 if nx_add_399(7) != 406 { fail = fail + 1 }
2898 if nx_add_399(42) == 441 { tri = tri + 1 }
2899 if nx_add_399(42) != 441 { fail = fail + 1 }
2900 if nx_add_399(100) == 499 { tri = tri + 1 }
2901 if nx_add_399(100) != 499 { fail = fail + 1 }
2902 if nx_add_400(7) == 407 { tri = tri + 1 }
2903 if nx_add_400(7) != 407 { fail = fail + 1 }
2904 if nx_add_400(42) == 442 { tri = tri + 1 }
2905 if nx_add_400(42) != 442 { fail = fail + 1 }
2906 if nx_add_400(100) == 500 { tri = tri + 1 }
2907 if nx_add_400(100) != 500 { fail = fail + 1 }
2908 if nx_add_401(7) == 408 { tri = tri + 1 }
2909 if nx_add_401(7) != 408 { fail = fail + 1 }
2910 if nx_add_401(42) == 443 { tri = tri + 1 }
2911 if nx_add_401(42) != 443 { fail = fail + 1 }
2912 if nx_add_401(100) == 501 { tri = tri + 1 }
2913 if nx_add_401(100) != 501 { fail = fail + 1 }
2914 if nx_add_402(7) == 409 { tri = tri + 1 }
2915 if nx_add_402(7) != 409 { fail = fail + 1 }
2916 if nx_add_402(42) == 444 { tri = tri + 1 }
2917 if nx_add_402(42) != 444 { fail = fail + 1 }
2918 if nx_add_402(100) == 502 { tri = tri + 1 }
2919 if nx_add_402(100) != 502 { fail = fail + 1 }
2920 if nx_add_403(7) == 410 { tri = tri + 1 }
2921 if nx_add_403(7) != 410 { fail = fail + 1 }
2922 if nx_add_403(42) == 445 { tri = tri + 1 }
2923 if nx_add_403(42) != 445 { fail = fail + 1 }
2924 if nx_add_403(100) == 503 { tri = tri + 1 }
2925 if nx_add_403(100) != 503 { fail = fail + 1 }
2926 if nx_add_404(7) == 411 { tri = tri + 1 }
2927 if nx_add_404(7) != 411 { fail = fail + 1 }
2928 if nx_add_404(42) == 446 { tri = tri + 1 }
2929 if nx_add_404(42) != 446 { fail = fail + 1 }
2930 if nx_add_404(100) == 504 { tri = tri + 1 }
2931 if nx_add_404(100) != 504 { fail = fail + 1 }
2932 if nx_add_405(7) == 412 { tri = tri + 1 }
2933 if nx_add_405(7) != 412 { fail = fail + 1 }
2934 if nx_add_405(42) == 447 { tri = tri + 1 }
2935 if nx_add_405(42) != 447 { fail = fail + 1 }
2936 if nx_add_405(100) == 505 { tri = tri + 1 }
2937 if nx_add_405(100) != 505 { fail = fail + 1 }
2938 if nx_add_406(7) == 413 { tri = tri + 1 }
2939 if nx_add_406(7) != 413 { fail = fail + 1 }
2940 if nx_add_406(42) == 448 { tri = tri + 1 }
2941 if nx_add_406(42) != 448 { fail = fail + 1 }
2942 if nx_add_406(100) == 506 { tri = tri + 1 }
2943 if nx_add_406(100) != 506 { fail = fail + 1 }
2944 if nx_add_407(7) == 414 { tri = tri + 1 }
2945 if nx_add_407(7) != 414 { fail = fail + 1 }
2946 if nx_add_407(42) == 449 { tri = tri + 1 }
2947 if nx_add_407(42) != 449 { fail = fail + 1 }
2948 if nx_add_407(100) == 507 { tri = tri + 1 }
2949 if nx_add_407(100) != 507 { fail = fail + 1 }
2950 if nx_add_408(7) == 415 { tri = tri + 1 }
2951 if nx_add_408(7) != 415 { fail = fail + 1 }
2952 if nx_add_408(42) == 450 { tri = tri + 1 }
2953 if nx_add_408(42) != 450 { fail = fail + 1 }
2954 if nx_add_408(100) == 508 { tri = tri + 1 }
2955 if nx_add_408(100) != 508 { fail = fail + 1 }
2956 if nx_add_409(7) == 416 { tri = tri + 1 }
2957 if nx_add_409(7) != 416 { fail = fail + 1 }
2958 if nx_add_409(42) == 451 { tri = tri + 1 }
2959 if nx_add_409(42) != 451 { fail = fail + 1 }
2960 if nx_add_409(100) == 509 { tri = tri + 1 }
2961 if nx_add_409(100) != 509 { fail = fail + 1 }
2962 if nx_add_410(7) == 417 { tri = tri + 1 }
2963 if nx_add_410(7) != 417 { fail = fail + 1 }
2964 if nx_add_410(42) == 452 { tri = tri + 1 }
2965 if nx_add_410(42) != 452 { fail = fail + 1 }
2966 if nx_add_410(100) == 510 { tri = tri + 1 }
2967 if nx_add_410(100) != 510 { fail = fail + 1 }
2968 if nx_add_411(7) == 418 { tri = tri + 1 }
2969 if nx_add_411(7) != 418 { fail = fail + 1 }
2970 if nx_add_411(42) == 453 { tri = tri + 1 }
2971 if nx_add_411(42) != 453 { fail = fail + 1 }
2972 if nx_add_411(100) == 511 { tri = tri + 1 }
2973 if nx_add_411(100) != 511 { fail = fail + 1 }
2974 if nx_add_412(7) == 419 { tri = tri + 1 }
2975 if nx_add_412(7) != 419 { fail = fail + 1 }
2976 if nx_add_412(42) == 454 { tri = tri + 1 }
2977 if nx_add_412(42) != 454 { fail = fail + 1 }
2978 if nx_add_412(100) == 512 { tri = tri + 1 }
2979 if nx_add_412(100) != 512 { fail = fail + 1 }
2980 if nx_add_413(7) == 420 { tri = tri + 1 }
2981 if nx_add_413(7) != 420 { fail = fail + 1 }
2982 if nx_add_413(42) == 455 { tri = tri + 1 }
2983 if nx_add_413(42) != 455 { fail = fail + 1 }
2984 if nx_add_413(100) == 513 { tri = tri + 1 }
2985 if nx_add_413(100) != 513 { fail = fail + 1 }
2986 if nx_add_414(7) == 421 { tri = tri + 1 }
2987 if nx_add_414(7) != 421 { fail = fail + 1 }
2988 if nx_add_414(42) == 456 { tri = tri + 1 }
2989 if nx_add_414(42) != 456 { fail = fail + 1 }
2990 if nx_add_414(100) == 514 { tri = tri + 1 }
2991 if nx_add_414(100) != 514 { fail = fail + 1 }
2992 if nx_add_415(7) == 422 { tri = tri + 1 }
2993 if nx_add_415(7) != 422 { fail = fail + 1 }
2994 if nx_add_415(42) == 457 { tri = tri + 1 }
2995 if nx_add_415(42) != 457 { fail = fail + 1 }
2996 if nx_add_415(100) == 515 { tri = tri + 1 }
2997 if nx_add_415(100) != 515 { fail = fail + 1 }
2998 if nx_add_416(7) == 423 { tri = tri + 1 }
2999 if nx_add_416(7) != 423 { fail = fail + 1 }
3000 if nx_add_416(42) == 458 { tri = tri + 1 }
3001 if nx_add_416(42) != 458 { fail = fail + 1 }
3002 if nx_add_416(100) == 516 { tri = tri + 1 }
3003 if nx_add_416(100) != 516 { fail = fail + 1 }
3004 if nx_add_417(7) == 424 { tri = tri + 1 }
3005 if nx_add_417(7) != 424 { fail = fail + 1 }
3006 if nx_add_417(42) == 459 { tri = tri + 1 }
3007 if nx_add_417(42) != 459 { fail = fail + 1 }
3008 if nx_add_417(100) == 517 { tri = tri + 1 }
3009 if nx_add_417(100) != 517 { fail = fail + 1 }
3010 if nx_add_418(7) == 425 { tri = tri + 1 }
3011 if nx_add_418(7) != 425 { fail = fail + 1 }
3012 if nx_add_418(42) == 460 { tri = tri + 1 }
3013 if nx_add_418(42) != 460 { fail = fail + 1 }
3014 if nx_add_418(100) == 518 { tri = tri + 1 }
3015 if nx_add_418(100) != 518 { fail = fail + 1 }
3016 if nx_add_419(7) == 426 { tri = tri + 1 }
3017 if nx_add_419(7) != 426 { fail = fail + 1 }
3018 if nx_add_419(42) == 461 { tri = tri + 1 }
3019 if nx_add_419(42) != 461 { fail = fail + 1 }
3020 if nx_add_419(100) == 519 { tri = tri + 1 }
3021 if nx_add_419(100) != 519 { fail = fail + 1 }
3022 if nx_add_420(7) == 427 { tri = tri + 1 }
3023 if nx_add_420(7) != 427 { fail = fail + 1 }
3024 if nx_add_420(42) == 462 { tri = tri + 1 }
3025 if nx_add_420(42) != 462 { fail = fail + 1 }
3026 if nx_add_420(100) == 520 { tri = tri + 1 }
3027 if nx_add_420(100) != 520 { fail = fail + 1 }
3028 if nx_add_421(7) == 428 { tri = tri + 1 }
3029 if nx_add_421(7) != 428 { fail = fail + 1 }
3030 if nx_add_421(42) == 463 { tri = tri + 1 }
3031 if nx_add_421(42) != 463 { fail = fail + 1 }
3032 if nx_add_421(100) == 521 { tri = tri + 1 }
3033 if nx_add_421(100) != 521 { fail = fail + 1 }
3034 if nx_add_422(7) == 429 { tri = tri + 1 }
3035 if nx_add_422(7) != 429 { fail = fail + 1 }
3036 if nx_add_422(42) == 464 { tri = tri + 1 }
3037 if nx_add_422(42) != 464 { fail = fail + 1 }
3038 if nx_add_422(100) == 522 { tri = tri + 1 }
3039 if nx_add_422(100) != 522 { fail = fail + 1 }
3040 if nx_add_423(7) == 430 { tri = tri + 1 }
3041 if nx_add_423(7) != 430 { fail = fail + 1 }
3042 if nx_add_423(42) == 465 { tri = tri + 1 }
3043 if nx_add_423(42) != 465 { fail = fail + 1 }
3044 if nx_add_423(100) == 523 { tri = tri + 1 }
3045 if nx_add_423(100) != 523 { fail = fail + 1 }
3046 if nx_add_424(7) == 431 { tri = tri + 1 }
3047 if nx_add_424(7) != 431 { fail = fail + 1 }
3048 if nx_add_424(42) == 466 { tri = tri + 1 }
3049 if nx_add_424(42) != 466 { fail = fail + 1 }
3050 if nx_add_424(100) == 524 { tri = tri + 1 }
3051 if nx_add_424(100) != 524 { fail = fail + 1 }
3052 if nx_add_425(7) == 432 { tri = tri + 1 }
3053 if nx_add_425(7) != 432 { fail = fail + 1 }
3054 if nx_add_425(42) == 467 { tri = tri + 1 }
3055 if nx_add_425(42) != 467 { fail = fail + 1 }
3056 if nx_add_425(100) == 525 { tri = tri + 1 }
3057 if nx_add_425(100) != 525 { fail = fail + 1 }
3058 if nx_add_426(7) == 433 { tri = tri + 1 }
3059 if nx_add_426(7) != 433 { fail = fail + 1 }
3060 if nx_add_426(42) == 468 { tri = tri + 1 }
3061 if nx_add_426(42) != 468 { fail = fail + 1 }
3062 if nx_add_426(100) == 526 { tri = tri + 1 }
3063 if nx_add_426(100) != 526 { fail = fail + 1 }
3064 if nx_add_427(7) == 434 { tri = tri + 1 }
3065 if nx_add_427(7) != 434 { fail = fail + 1 }
3066 if nx_add_427(42) == 469 { tri = tri + 1 }
3067 if nx_add_427(42) != 469 { fail = fail + 1 }
3068 if nx_add_427(100) == 527 { tri = tri + 1 }
3069 if nx_add_427(100) != 527 { fail = fail + 1 }
3070 if nx_add_428(7) == 435 { tri = tri + 1 }
3071 if nx_add_428(7) != 435 { fail = fail + 1 }
3072 if nx_add_428(42) == 470 { tri = tri + 1 }
3073 if nx_add_428(42) != 470 { fail = fail + 1 }
3074 if nx_add_428(100) == 528 { tri = tri + 1 }
3075 if nx_add_428(100) != 528 { fail = fail + 1 }
3076 if nx_add_429(7) == 436 { tri = tri + 1 }
3077 if nx_add_429(7) != 436 { fail = fail + 1 }
3078 if nx_add_429(42) == 471 { tri = tri + 1 }
3079 if nx_add_429(42) != 471 { fail = fail + 1 }
3080 if nx_add_429(100) == 529 { tri = tri + 1 }
3081 if nx_add_429(100) != 529 { fail = fail + 1 }
3082 if nx_add_430(7) == 437 { tri = tri + 1 }
3083 if nx_add_430(7) != 437 { fail = fail + 1 }
3084 if nx_add_430(42) == 472 { tri = tri + 1 }
3085 if nx_add_430(42) != 472 { fail = fail + 1 }
3086 if nx_add_430(100) == 530 { tri = tri + 1 }
3087 if nx_add_430(100) != 530 { fail = fail + 1 }
3088 if nx_add_431(7) == 438 { tri = tri + 1 }
3089 if nx_add_431(7) != 438 { fail = fail + 1 }
3090 if nx_add_431(42) == 473 { tri = tri + 1 }
3091 if nx_add_431(42) != 473 { fail = fail + 1 }
3092 if nx_add_431(100) == 531 { tri = tri + 1 }
3093 if nx_add_431(100) != 531 { fail = fail + 1 }
3094 if nx_add_432(7) == 439 { tri = tri + 1 }
3095 if nx_add_432(7) != 439 { fail = fail + 1 }
3096 if nx_add_432(42) == 474 { tri = tri + 1 }
3097 if nx_add_432(42) != 474 { fail = fail + 1 }
3098 if nx_add_432(100) == 532 { tri = tri + 1 }
3099 if nx_add_432(100) != 532 { fail = fail + 1 }
3100 if nx_add_433(7) == 440 { tri = tri + 1 }
3101 if nx_add_433(7) != 440 { fail = fail + 1 }
3102 if nx_add_433(42) == 475 { tri = tri + 1 }
3103 if nx_add_433(42) != 475 { fail = fail + 1 }
3104 if nx_add_433(100) == 533 { tri = tri + 1 }
3105 if nx_add_433(100) != 533 { fail = fail + 1 }
3106 if nx_add_434(7) == 441 { tri = tri + 1 }
3107 if nx_add_434(7) != 441 { fail = fail + 1 }
3108 if nx_add_434(42) == 476 { tri = tri + 1 }
3109 if nx_add_434(42) != 476 { fail = fail + 1 }
3110 if nx_add_434(100) == 534 { tri = tri + 1 }
3111 if nx_add_434(100) != 534 { fail = fail + 1 }
3112 if nx_add_435(7) == 442 { tri = tri + 1 }
3113 if nx_add_435(7) != 442 { fail = fail + 1 }
3114 if nx_add_435(42) == 477 { tri = tri + 1 }
3115 if nx_add_435(42) != 477 { fail = fail + 1 }
3116 if nx_add_435(100) == 535 { tri = tri + 1 }
3117 if nx_add_435(100) != 535 { fail = fail + 1 }
3118 if nx_add_436(7) == 443 { tri = tri + 1 }
3119 if nx_add_436(7) != 443 { fail = fail + 1 }
3120 if nx_add_436(42) == 478 { tri = tri + 1 }
3121 if nx_add_436(42) != 478 { fail = fail + 1 }
3122 if nx_add_436(100) == 536 { tri = tri + 1 }
3123 if nx_add_436(100) != 536 { fail = fail + 1 }
3124 if nx_add_437(7) == 444 { tri = tri + 1 }
3125 if nx_add_437(7) != 444 { fail = fail + 1 }
3126 if nx_add_437(42) == 479 { tri = tri + 1 }
3127 if nx_add_437(42) != 479 { fail = fail + 1 }
3128 if nx_add_437(100) == 537 { tri = tri + 1 }
3129 if nx_add_437(100) != 537 { fail = fail + 1 }
3130 if nx_add_438(7) == 445 { tri = tri + 1 }
3131 if nx_add_438(7) != 445 { fail = fail + 1 }
3132 if nx_add_438(42) == 480 { tri = tri + 1 }
3133 if nx_add_438(42) != 480 { fail = fail + 1 }
3134 if nx_add_438(100) == 538 { tri = tri + 1 }
3135 if nx_add_438(100) != 538 { fail = fail + 1 }
3136 if nx_add_439(7) == 446 { tri = tri + 1 }
3137 if nx_add_439(7) != 446 { fail = fail + 1 }
3138 if nx_add_439(42) == 481 { tri = tri + 1 }
3139 if nx_add_439(42) != 481 { fail = fail + 1 }
3140 if nx_add_439(100) == 539 { tri = tri + 1 }
3141 if nx_add_439(100) != 539 { fail = fail + 1 }
3142 if nx_add_440(7) == 447 { tri = tri + 1 }
3143 if nx_add_440(7) != 447 { fail = fail + 1 }
3144 if nx_add_440(42) == 482 { tri = tri + 1 }
3145 if nx_add_440(42) != 482 { fail = fail + 1 }
3146 if nx_add_440(100) == 540 { tri = tri + 1 }
3147 if nx_add_440(100) != 540 { fail = fail + 1 }
3148 if nx_add_441(7) == 448 { tri = tri + 1 }
3149 if nx_add_441(7) != 448 { fail = fail + 1 }
3150 if nx_add_441(42) == 483 { tri = tri + 1 }
3151 if nx_add_441(42) != 483 { fail = fail + 1 }
3152 if nx_add_441(100) == 541 { tri = tri + 1 }
3153 if nx_add_441(100) != 541 { fail = fail + 1 }
3154 if nx_add_442(7) == 449 { tri = tri + 1 }
3155 if nx_add_442(7) != 449 { fail = fail + 1 }
3156 if nx_add_442(42) == 484 { tri = tri + 1 }
3157 if nx_add_442(42) != 484 { fail = fail + 1 }
3158 if nx_add_442(100) == 542 { tri = tri + 1 }
3159 if nx_add_442(100) != 542 { fail = fail + 1 }
3160 if nx_add_443(7) == 450 { tri = tri + 1 }
3161 if nx_add_443(7) != 450 { fail = fail + 1 }
3162 if nx_add_443(42) == 485 { tri = tri + 1 }
3163 if nx_add_443(42) != 485 { fail = fail + 1 }
3164 if nx_add_443(100) == 543 { tri = tri + 1 }
3165 if nx_add_443(100) != 543 { fail = fail + 1 }
3166 if nx_add_444(7) == 451 { tri = tri + 1 }
3167 if nx_add_444(7) != 451 { fail = fail + 1 }
3168 if nx_add_444(42) == 486 { tri = tri + 1 }
3169 if nx_add_444(42) != 486 { fail = fail + 1 }
3170 if nx_add_444(100) == 544 { tri = tri + 1 }
3171 if nx_add_444(100) != 544 { fail = fail + 1 }
3172 if nx_add_445(7) == 452 { tri = tri + 1 }
3173 if nx_add_445(7) != 452 { fail = fail + 1 }
3174 if nx_add_445(42) == 487 { tri = tri + 1 }
3175 if nx_add_445(42) != 487 { fail = fail + 1 }
3176 if nx_add_445(100) == 545 { tri = tri + 1 }
3177 if nx_add_445(100) != 545 { fail = fail + 1 }
3178 if nx_add_446(7) == 453 { tri = tri + 1 }
3179 if nx_add_446(7) != 453 { fail = fail + 1 }
3180 if nx_add_446(42) == 488 { tri = tri + 1 }
3181 if nx_add_446(42) != 488 { fail = fail + 1 }
3182 if nx_add_446(100) == 546 { tri = tri + 1 }
3183 if nx_add_446(100) != 546 { fail = fail + 1 }
3184 if nx_add_447(7) == 454 { tri = tri + 1 }
3185 if nx_add_447(7) != 454 { fail = fail + 1 }
3186 if nx_add_447(42) == 489 { tri = tri + 1 }
3187 if nx_add_447(42) != 489 { fail = fail + 1 }
3188 if nx_add_447(100) == 547 { tri = tri + 1 }
3189 if nx_add_447(100) != 547 { fail = fail + 1 }
3190 if nx_add_448(7) == 455 { tri = tri + 1 }
3191 if nx_add_448(7) != 455 { fail = fail + 1 }
3192 if nx_add_448(42) == 490 { tri = tri + 1 }
3193 if nx_add_448(42) != 490 { fail = fail + 1 }
3194 if nx_add_448(100) == 548 { tri = tri + 1 }
3195 if nx_add_448(100) != 548 { fail = fail + 1 }
3196 if nx_add_449(7) == 456 { tri = tri + 1 }
3197 if nx_add_449(7) != 456 { fail = fail + 1 }
3198 if nx_add_449(42) == 491 { tri = tri + 1 }
3199 if nx_add_449(42) != 491 { fail = fail + 1 }
3200 if nx_add_449(100) == 549 { tri = tri + 1 }
3201 if nx_add_449(100) != 549 { fail = fail + 1 }
3202 if nx_add_450(7) == 457 { tri = tri + 1 }
3203 if nx_add_450(7) != 457 { fail = fail + 1 }
3204 if nx_add_450(42) == 492 { tri = tri + 1 }
3205 if nx_add_450(42) != 492 { fail = fail + 1 }
3206 if nx_add_450(100) == 550 { tri = tri + 1 }
3207 if nx_add_450(100) != 550 { fail = fail + 1 }
3208 if nx_add_451(7) == 458 { tri = tri + 1 }
3209 if nx_add_451(7) != 458 { fail = fail + 1 }
3210 if nx_add_451(42) == 493 { tri = tri + 1 }
3211 if nx_add_451(42) != 493 { fail = fail + 1 }
3212 if nx_add_451(100) == 551 { tri = tri + 1 }
3213 if nx_add_451(100) != 551 { fail = fail + 1 }
3214 if nx_add_452(7) == 459 { tri = tri + 1 }
3215 if nx_add_452(7) != 459 { fail = fail + 1 }
3216 if nx_add_452(42) == 494 { tri = tri + 1 }
3217 if nx_add_452(42) != 494 { fail = fail + 1 }
3218 if nx_add_452(100) == 552 { tri = tri + 1 }
3219 if nx_add_452(100) != 552 { fail = fail + 1 }
3220 if nx_add_453(7) == 460 { tri = tri + 1 }
3221 if nx_add_453(7) != 460 { fail = fail + 1 }
3222 if nx_add_453(42) == 495 { tri = tri + 1 }
3223 if nx_add_453(42) != 495 { fail = fail + 1 }
3224 if nx_add_453(100) == 553 { tri = tri + 1 }
3225 if nx_add_453(100) != 553 { fail = fail + 1 }
3226 if nx_add_454(7) == 461 { tri = tri + 1 }
3227 if nx_add_454(7) != 461 { fail = fail + 1 }
3228 if nx_add_454(42) == 496 { tri = tri + 1 }
3229 if nx_add_454(42) != 496 { fail = fail + 1 }
3230 if nx_add_454(100) == 554 { tri = tri + 1 }
3231 if nx_add_454(100) != 554 { fail = fail + 1 }
3232 if nx_add_455(7) == 462 { tri = tri + 1 }
3233 if nx_add_455(7) != 462 { fail = fail + 1 }
3234 if nx_add_455(42) == 497 { tri = tri + 1 }
3235 if nx_add_455(42) != 497 { fail = fail + 1 }
3236 if nx_add_455(100) == 555 { tri = tri + 1 }
3237 if nx_add_455(100) != 555 { fail = fail + 1 }
3238 if nx_add_456(7) == 463 { tri = tri + 1 }
3239 if nx_add_456(7) != 463 { fail = fail + 1 }
3240 if nx_add_456(42) == 498 { tri = tri + 1 }
3241 if nx_add_456(42) != 498 { fail = fail + 1 }
3242 if nx_add_456(100) == 556 { tri = tri + 1 }
3243 if nx_add_456(100) != 556 { fail = fail + 1 }
3244 if nx_add_457(7) == 464 { tri = tri + 1 }
3245 if nx_add_457(7) != 464 { fail = fail + 1 }
3246 if nx_add_457(42) == 499 { tri = tri + 1 }
3247 if nx_add_457(42) != 499 { fail = fail + 1 }
3248 if nx_add_457(100) == 557 { tri = tri + 1 }
3249 if nx_add_457(100) != 557 { fail = fail + 1 }
3250 if nx_add_458(7) == 465 { tri = tri + 1 }
3251 if nx_add_458(7) != 465 { fail = fail + 1 }
3252 if nx_add_458(42) == 500 { tri = tri + 1 }
3253 if nx_add_458(42) != 500 { fail = fail + 1 }
3254 if nx_add_458(100) == 558 { tri = tri + 1 }
3255 if nx_add_458(100) != 558 { fail = fail + 1 }
3256 if nx_add_459(7) == 466 { tri = tri + 1 }
3257 if nx_add_459(7) != 466 { fail = fail + 1 }
3258 if nx_add_459(42) == 501 { tri = tri + 1 }
3259 if nx_add_459(42) != 501 { fail = fail + 1 }
3260 if nx_add_459(100) == 559 { tri = tri + 1 }
3261 if nx_add_459(100) != 559 { fail = fail + 1 }
3262 if nx_add_460(7) == 467 { tri = tri + 1 }
3263 if nx_add_460(7) != 467 { fail = fail + 1 }
3264 if nx_add_460(42) == 502 { tri = tri + 1 }
3265 if nx_add_460(42) != 502 { fail = fail + 1 }
3266 if nx_add_460(100) == 560 { tri = tri + 1 }
3267 if nx_add_460(100) != 560 { fail = fail + 1 }
3268 if nx_add_461(7) == 468 { tri = tri + 1 }
3269 if nx_add_461(7) != 468 { fail = fail + 1 }
3270 if nx_add_461(42) == 503 { tri = tri + 1 }
3271 if nx_add_461(42) != 503 { fail = fail + 1 }
3272 if nx_add_461(100) == 561 { tri = tri + 1 }
3273 if nx_add_461(100) != 561 { fail = fail + 1 }
3274 if nx_add_462(7) == 469 { tri = tri + 1 }
3275 if nx_add_462(7) != 469 { fail = fail + 1 }
3276 if nx_add_462(42) == 504 { tri = tri + 1 }
3277 if nx_add_462(42) != 504 { fail = fail + 1 }
3278 if nx_add_462(100) == 562 { tri = tri + 1 }
3279 if nx_add_462(100) != 562 { fail = fail + 1 }
3280 if nx_add_463(7) == 470 { tri = tri + 1 }
3281 if nx_add_463(7) != 470 { fail = fail + 1 }
3282 if nx_add_463(42) == 505 { tri = tri + 1 }
3283 if nx_add_463(42) != 505 { fail = fail + 1 }
3284 if nx_add_463(100) == 563 { tri = tri + 1 }
3285 if nx_add_463(100) != 563 { fail = fail + 1 }
3286 if nx_add_464(7) == 471 { tri = tri + 1 }
3287 if nx_add_464(7) != 471 { fail = fail + 1 }
3288 if nx_add_464(42) == 506 { tri = tri + 1 }
3289 if nx_add_464(42) != 506 { fail = fail + 1 }
3290 if nx_add_464(100) == 564 { tri = tri + 1 }
3291 if nx_add_464(100) != 564 { fail = fail + 1 }
3292 if nx_add_465(7) == 472 { tri = tri + 1 }
3293 if nx_add_465(7) != 472 { fail = fail + 1 }
3294 if nx_add_465(42) == 507 { tri = tri + 1 }
3295 if nx_add_465(42) != 507 { fail = fail + 1 }
3296 if nx_add_465(100) == 565 { tri = tri + 1 }
3297 if nx_add_465(100) != 565 { fail = fail + 1 }
3298 if nx_add_466(7) == 473 { tri = tri + 1 }
3299 if nx_add_466(7) != 473 { fail = fail + 1 }
3300 if nx_add_466(42) == 508 { tri = tri + 1 }
3301 if nx_add_466(42) != 508 { fail = fail + 1 }
3302 if nx_add_466(100) == 566 { tri = tri + 1 }
3303 if nx_add_466(100) != 566 { fail = fail + 1 }
3304 if nx_add_467(7) == 474 { tri = tri + 1 }
3305 if nx_add_467(7) != 474 { fail = fail + 1 }
3306 if nx_add_467(42) == 509 { tri = tri + 1 }
3307 if nx_add_467(42) != 509 { fail = fail + 1 }
3308 if nx_add_467(100) == 567 { tri = tri + 1 }
3309 if nx_add_467(100) != 567 { fail = fail + 1 }
3310 if nx_add_468(7) == 475 { tri = tri + 1 }
3311 if nx_add_468(7) != 475 { fail = fail + 1 }
3312 if nx_add_468(42) == 510 { tri = tri + 1 }
3313 if nx_add_468(42) != 510 { fail = fail + 1 }
3314 if nx_add_468(100) == 568 { tri = tri + 1 }
3315 if nx_add_468(100) != 568 { fail = fail + 1 }
3316 if nx_add_469(7) == 476 { tri = tri + 1 }
3317 if nx_add_469(7) != 476 { fail = fail + 1 }
3318 if nx_add_469(42) == 511 { tri = tri + 1 }
3319 if nx_add_469(42) != 511 { fail = fail + 1 }
3320 if nx_add_469(100) == 569 { tri = tri + 1 }
3321 if nx_add_469(100) != 569 { fail = fail + 1 }
3322 if nx_add_470(7) == 477 { tri = tri + 1 }
3323 if nx_add_470(7) != 477 { fail = fail + 1 }
3324 if nx_add_470(42) == 512 { tri = tri + 1 }
3325 if nx_add_470(42) != 512 { fail = fail + 1 }
3326 if nx_add_470(100) == 570 { tri = tri + 1 }
3327 if nx_add_470(100) != 570 { fail = fail + 1 }
3328 if nx_add_471(7) == 478 { tri = tri + 1 }
3329 if nx_add_471(7) != 478 { fail = fail + 1 }
3330 if nx_add_471(42) == 513 { tri = tri + 1 }
3331 if nx_add_471(42) != 513 { fail = fail + 1 }
3332 if nx_add_471(100) == 571 { tri = tri + 1 }
3333 if nx_add_471(100) != 571 { fail = fail + 1 }
3334 if nx_add_472(7) == 479 { tri = tri + 1 }
3335 if nx_add_472(7) != 479 { fail = fail + 1 }
3336 if nx_add_472(42) == 514 { tri = tri + 1 }
3337 if nx_add_472(42) != 514 { fail = fail + 1 }
3338 if nx_add_472(100) == 572 { tri = tri + 1 }
3339 if nx_add_472(100) != 572 { fail = fail + 1 }
3340 if nx_add_473(7) == 480 { tri = tri + 1 }
3341 if nx_add_473(7) != 480 { fail = fail + 1 }
3342 if nx_add_473(42) == 515 { tri = tri + 1 }
3343 if nx_add_473(42) != 515 { fail = fail + 1 }
3344 if nx_add_473(100) == 573 { tri = tri + 1 }
3345 if nx_add_473(100) != 573 { fail = fail + 1 }
3346 if nx_add_474(7) == 481 { tri = tri + 1 }
3347 if nx_add_474(7) != 481 { fail = fail + 1 }
3348 if nx_add_474(42) == 516 { tri = tri + 1 }
3349 if nx_add_474(42) != 516 { fail = fail + 1 }
3350 if nx_add_474(100) == 574 { tri = tri + 1 }
3351 if nx_add_474(100) != 574 { fail = fail + 1 }
3352 if nx_add_475(7) == 482 { tri = tri + 1 }
3353 if nx_add_475(7) != 482 { fail = fail + 1 }
3354 if nx_add_475(42) == 517 { tri = tri + 1 }
3355 if nx_add_475(42) != 517 { fail = fail + 1 }
3356 if nx_add_475(100) == 575 { tri = tri + 1 }
3357 if nx_add_475(100) != 575 { fail = fail + 1 }
3358 if nx_add_476(7) == 483 { tri = tri + 1 }
3359 if nx_add_476(7) != 483 { fail = fail + 1 }
3360 if nx_add_476(42) == 518 { tri = tri + 1 }
3361 if nx_add_476(42) != 518 { fail = fail + 1 }
3362 if nx_add_476(100) == 576 { tri = tri + 1 }
3363 if nx_add_476(100) != 576 { fail = fail + 1 }
3364 if nx_add_477(7) == 484 { tri = tri + 1 }
3365 if nx_add_477(7) != 484 { fail = fail + 1 }
3366 if nx_add_477(42) == 519 { tri = tri + 1 }
3367 if nx_add_477(42) != 519 { fail = fail + 1 }
3368 if nx_add_477(100) == 577 { tri = tri + 1 }
3369 if nx_add_477(100) != 577 { fail = fail + 1 }
3370 if nx_add_478(7) == 485 { tri = tri + 1 }
3371 if nx_add_478(7) != 485 { fail = fail + 1 }
3372 if nx_add_478(42) == 520 { tri = tri + 1 }
3373 if nx_add_478(42) != 520 { fail = fail + 1 }
3374 if nx_add_478(100) == 578 { tri = tri + 1 }
3375 if nx_add_478(100) != 578 { fail = fail + 1 }
3376 if nx_add_479(7) == 486 { tri = tri + 1 }
3377 if nx_add_479(7) != 486 { fail = fail + 1 }
3378 if nx_add_479(42) == 521 { tri = tri + 1 }
3379 if nx_add_479(42) != 521 { fail = fail + 1 }
3380 if nx_add_479(100) == 579 { tri = tri + 1 }
3381 if nx_add_479(100) != 579 { fail = fail + 1 }
3382 if nx_add_480(7) == 487 { tri = tri + 1 }
3383 if nx_add_480(7) != 487 { fail = fail + 1 }
3384 if nx_add_480(42) == 522 { tri = tri + 1 }
3385 if nx_add_480(42) != 522 { fail = fail + 1 }
3386 if nx_add_480(100) == 580 { tri = tri + 1 }
3387 if nx_add_480(100) != 580 { fail = fail + 1 }
3388 if nx_add_481(7) == 488 { tri = tri + 1 }
3389 if nx_add_481(7) != 488 { fail = fail + 1 }
3390 if nx_add_481(42) == 523 { tri = tri + 1 }
3391 if nx_add_481(42) != 523 { fail = fail + 1 }
3392 if nx_add_481(100) == 581 { tri = tri + 1 }
3393 if nx_add_481(100) != 581 { fail = fail + 1 }
3394 if nx_add_482(7) == 489 { tri = tri + 1 }
3395 if nx_add_482(7) != 489 { fail = fail + 1 }
3396 if nx_add_482(42) == 524 { tri = tri + 1 }
3397 if nx_add_482(42) != 524 { fail = fail + 1 }
3398 if nx_add_482(100) == 582 { tri = tri + 1 }
3399 if nx_add_482(100) != 582 { fail = fail + 1 }
3400 if nx_add_483(7) == 490 { tri = tri + 1 }
3401 if nx_add_483(7) != 490 { fail = fail + 1 }
3402 if nx_add_483(42) == 525 { tri = tri + 1 }
3403 if nx_add_483(42) != 525 { fail = fail + 1 }
3404 if nx_add_483(100) == 583 { tri = tri + 1 }
3405 if nx_add_483(100) != 583 { fail = fail + 1 }
3406 if nx_add_484(7) == 491 { tri = tri + 1 }
3407 if nx_add_484(7) != 491 { fail = fail + 1 }
3408 if nx_add_484(42) == 526 { tri = tri + 1 }
3409 if nx_add_484(42) != 526 { fail = fail + 1 }
3410 if nx_add_484(100) == 584 { tri = tri + 1 }
3411 if nx_add_484(100) != 584 { fail = fail + 1 }
3412 if nx_add_485(7) == 492 { tri = tri + 1 }
3413 if nx_add_485(7) != 492 { fail = fail + 1 }
3414 if nx_add_485(42) == 527 { tri = tri + 1 }
3415 if nx_add_485(42) != 527 { fail = fail + 1 }
3416 if nx_add_485(100) == 585 { tri = tri + 1 }
3417 if nx_add_485(100) != 585 { fail = fail + 1 }
3418 if nx_add_486(7) == 493 { tri = tri + 1 }
3419 if nx_add_486(7) != 493 { fail = fail + 1 }
3420 if nx_add_486(42) == 528 { tri = tri + 1 }
3421 if nx_add_486(42) != 528 { fail = fail + 1 }
3422 if nx_add_486(100) == 586 { tri = tri + 1 }
3423 if nx_add_486(100) != 586 { fail = fail + 1 }
3424 if nx_add_487(7) == 494 { tri = tri + 1 }
3425 if nx_add_487(7) != 494 { fail = fail + 1 }
3426 if nx_add_487(42) == 529 { tri = tri + 1 }
3427 if nx_add_487(42) != 529 { fail = fail + 1 }
3428 if nx_add_487(100) == 587 { tri = tri + 1 }
3429 if nx_add_487(100) != 587 { fail = fail + 1 }
3430 if nx_add_488(7) == 495 { tri = tri + 1 }
3431 if nx_add_488(7) != 495 { fail = fail + 1 }
3432 if nx_add_488(42) == 530 { tri = tri + 1 }
3433 if nx_add_488(42) != 530 { fail = fail + 1 }
3434 if nx_add_488(100) == 588 { tri = tri + 1 }
3435 if nx_add_488(100) != 588 { fail = fail + 1 }
3436 if nx_add_489(7) == 496 { tri = tri + 1 }
3437 if nx_add_489(7) != 496 { fail = fail + 1 }
3438 if nx_add_489(42) == 531 { tri = tri + 1 }
3439 if nx_add_489(42) != 531 { fail = fail + 1 }
3440 if nx_add_489(100) == 589 { tri = tri + 1 }
3441 if nx_add_489(100) != 589 { fail = fail + 1 }
3442 if nx_add_490(7) == 497 { tri = tri + 1 }
3443 if nx_add_490(7) != 497 { fail = fail + 1 }
3444 if nx_add_490(42) == 532 { tri = tri + 1 }
3445 if nx_add_490(42) != 532 { fail = fail + 1 }
3446 if nx_add_490(100) == 590 { tri = tri + 1 }
3447 if nx_add_490(100) != 590 { fail = fail + 1 }
3448 if nx_add_491(7) == 498 { tri = tri + 1 }
3449 if nx_add_491(7) != 498 { fail = fail + 1 }
3450 if nx_add_491(42) == 533 { tri = tri + 1 }
3451 if nx_add_491(42) != 533 { fail = fail + 1 }
3452 if nx_add_491(100) == 591 { tri = tri + 1 }
3453 if nx_add_491(100) != 591 { fail = fail + 1 }
3454 if nx_add_492(7) == 499 { tri = tri + 1 }
3455 if nx_add_492(7) != 499 { fail = fail + 1 }
3456 if nx_add_492(42) == 534 { tri = tri + 1 }
3457 if nx_add_492(42) != 534 { fail = fail + 1 }
3458 if nx_add_492(100) == 592 { tri = tri + 1 }
3459 if nx_add_492(100) != 592 { fail = fail + 1 }
3460 if nx_add_493(7) == 500 { tri = tri + 1 }
3461 if nx_add_493(7) != 500 { fail = fail + 1 }
3462 if nx_add_493(42) == 535 { tri = tri + 1 }
3463 if nx_add_493(42) != 535 { fail = fail + 1 }
3464 if nx_add_493(100) == 593 { tri = tri + 1 }
3465 if nx_add_493(100) != 593 { fail = fail + 1 }
3466 if nx_add_494(7) == 501 { tri = tri + 1 }
3467 if nx_add_494(7) != 501 { fail = fail + 1 }
3468 if nx_add_494(42) == 536 { tri = tri + 1 }
3469 if nx_add_494(42) != 536 { fail = fail + 1 }
3470 if nx_add_494(100) == 594 { tri = tri + 1 }
3471 if nx_add_494(100) != 594 { fail = fail + 1 }
3472 if nx_add_495(7) == 502 { tri = tri + 1 }
3473 if nx_add_495(7) != 502 { fail = fail + 1 }
3474 if nx_add_495(42) == 537 { tri = tri + 1 }
3475 if nx_add_495(42) != 537 { fail = fail + 1 }
3476 if nx_add_495(100) == 595 { tri = tri + 1 }
3477 if nx_add_495(100) != 595 { fail = fail + 1 }
3478 if nx_add_496(7) == 503 { tri = tri + 1 }
3479 if nx_add_496(7) != 503 { fail = fail + 1 }
3480 if nx_add_496(42) == 538 { tri = tri + 1 }
3481 if nx_add_496(42) != 538 { fail = fail + 1 }
3482 if nx_add_496(100) == 596 { tri = tri + 1 }
3483 if nx_add_496(100) != 596 { fail = fail + 1 }
3484 if nx_add_497(7) == 504 { tri = tri + 1 }
3485 if nx_add_497(7) != 504 { fail = fail + 1 }
3486 if nx_add_497(42) == 539 { tri = tri + 1 }
3487 if nx_add_497(42) != 539 { fail = fail + 1 }
3488 if nx_add_497(100) == 597 { tri = tri + 1 }
3489 if nx_add_497(100) != 597 { fail = fail + 1 }
3490 if nx_add_498(7) == 505 { tri = tri + 1 }
3491 if nx_add_498(7) != 505 { fail = fail + 1 }
3492 if nx_add_498(42) == 540 { tri = tri + 1 }
3493 if nx_add_498(42) != 540 { fail = fail + 1 }
3494 if nx_add_498(100) == 598 { tri = tri + 1 }
3495 if nx_add_498(100) != 598 { fail = fail + 1 }
3496 if nx_add_499(7) == 506 { tri = tri + 1 }
3497 if nx_add_499(7) != 506 { fail = fail + 1 }
3498 if nx_add_499(42) == 541 { tri = tri + 1 }
3499 if nx_add_499(42) != 541 { fail = fail + 1 }
3500 if nx_add_499(100) == 599 { tri = tri + 1 }
3501 if nx_add_499(100) != 599 { fail = fail + 1 }
3502 if nx_add_500(7) == 507 { tri = tri + 1 }
3503 if nx_add_500(7) != 507 { fail = fail + 1 }
3504 if nx_add_500(42) == 542 { tri = tri + 1 }
3505 if nx_add_500(42) != 542 { fail = fail + 1 }
3506 if nx_add_500(100) == 600 { tri = tri + 1 }
3507 if nx_add_500(100) != 600 { fail = fail + 1 }
3508
3509 print("arith_500_triangulated=" as *u8); print_i64(tri); println("" as *u8)
3510 print("arith_500_disagree=" as *u8); print_i64(fail); println("" as *u8)
3511 if fail > 0 { return 1 }
3512 return 0
3513}