A few recent test failures

[wegank]

https://github.com/algebraic-solving/msolve/actions/runs/24209832310:

====================================
   msolve 0.9.5: ./test-suite.log
====================================

# TOTAL: 63
# PASS:  62
# SKIP:  0
# XFAIL: 0
# FAIL:  1
# XPASS: 0
# ERROR: 0

.. contents:: :depth: 2

FAIL: test/diff/diff_cyclic5-16.sh
==================================

SEED: 1775763938 Warning: this part of the code has not been tested intensively
12,21c12,21
< [[69,
< [34153, 17038, 4285, 38998, 16983, 20544, 18573, 43067, 26927, 50329, 33826, 45167, 60336, 11203, 9666, 11950, 49620, 9233, 38922, 33980, 37384, 35882, 45699, 12787, 2875, 61122, 44185, 5984, 10968, 32006, 32292, 18977, 22493, 23607, 26750, 65436, 43151, 10230, 32291, 31446, 15407, 43822, 15564, 16868, 43623, 25247, 62828, 32357, 25910, 54211, 11976, 7024, 62854, 10427, 18712, 2580, 11170, 13738, 27545, 34920, 65144, 4277, 4114, 3146, 39443, 38108, 6915, 19483, 62690, 60741]]],
< [[69,
< [44021, 39550, 13077, 53351, 53989, 33806, 37191, 28265, 5839, 44034, 50158, 59657, 17610, 24281, 24776, 48388, 53921, 13679, 48253, 37070, 2813, 33316, 16645, 13730, 64960, 13990, 40327, 55269, 6606, 33313, 20251, 10189, 36352, 63140, 41108, 62302, 39405, 36854, 22956, 33652, 31358, 17486, 49653, 4958, 36157, 7160, 14751, 1039, 38902, 62237, 40845, 31122, 14678, 58881, 49650, 3781, 52085, 2937, 1952, 425, 33431, 23721, 55108, 61180, 53970, 9296, 52596, 63764, 18174, 2585]]],
< [[69,
< [14725, 8332, 48530, 34264, 46316, 31639, 64564, 61078, 59182, 35905, 5683, 26226, 59565, 24062, 14675, 50106, 63071, 61643, 4188, 48064, 16226, 58056, 60688, 51298, 5807, 40322, 32362, 39039, 59514, 24605, 50804, 15429, 31639, 32977, 14038, 1032, 50257, 61885, 28185, 23460, 63275, 27732, 10341, 48695, 19673, 9982, 1971, 28709, 30435, 35443, 57753, 6288, 34882, 9268, 64240, 60523, 60121, 20152, 65312, 50476, 6652, 5284, 29527, 16600, 21436, 7375, 62360, 43398, 59652, 32667]]],
< [[69,
< [29480, 58617, 43132, 8553, 5074, 15212, 12612, 13907, 18495, 53419, 30461, 46556, 45343, 30784, 54221, 34429, 37783, 60829, 18782, 49868, 6136, 33538, 39019, 1629, 44090, 26024, 30681, 59784, 13845, 50432, 36076, 59230, 65299, 43324, 3684, 7933, 1793, 52353, 7682, 53945, 45353, 44395, 30187, 16827, 5296, 54131, 28098, 6600, 46389, 49727, 41660, 62525, 27912, 25197, 40848, 53854, 6428, 26975, 15424, 20177, 18953, 32203, 21250, 32760, 30572, 1493, 17437, 37106, 34061, 11552]]],
< [[69,
< [8663, 7505, 22018, 61397, 8680, 29841, 63623, 50246, 20599, 12876, 10914, 18957, 13709, 40712, 27704, 51690, 57689, 51179, 20897, 27581, 2962, 35771, 34512, 51598, 13310, 55105, 49008, 36487, 40109, 56207, 57140, 27217, 40780, 33515, 45462, 59860, 61957, 35241, 39928, 54060, 41170, 63128, 25297, 43694, 26293, 34522, 23394, 62337, 54927, 60466, 44329, 24083, 56237, 27269, 23113, 10304, 1238, 1719, 20809, 25044, 6862, 36, 21043, 17356, 51142, 9249, 57255, 32812, 21986, 23497]]]
---
> [[66,
> [0, 28714, 0, 0, 0, 0, 55665, 0, 0, 0, 0, 58261, 0, 0, 0, 0, 8202, 0, 0, 0, 0, 27827, 0, 0, 0, 0, 19529, 0, 0, 0, 0, 19553, 0, 0, 0, 0, 64648, 0, 0, 0, 0, 25504, 0, 0, 0, 0, 17534, 0, 0, 0, 0, 9427, 0, 0, 0, 0, 57135, 0, 0, 0, 0, 26938, 0, 0, 0, 0, 59017]]],
> [[66,
> [0, 40853, 0, 0, 0, 0, 24738, 0, 0, 0, 0, 14520, 0, 0, 0, 0, 64311, 0, 0, 0, 0, 9867, 0, 0, 0, 0, 64466, 0, 0, 0, 0, 26415, 0, 0, 0, 0, 16657, 0, 0, 0, 0, 14513, 0, 0, 0, 0, 51619, 0, 0, 0, 0, 46667, 0, 0, 0, 0, 60717, 0, 0, 0, 0, 11645, 0, 0, 0, 0, 20457]]],
> [[66,
> [0, 0, 0, 0, 0, 0, 35757, 0, 0, 0, 0, 0, 0, 0, 0, 0, 51537, 0, 0, 0, 0, 0, 0, 0, 0, 0, 28573, 0, 0, 0, 0, 0, 0, 0, 0, 0, 33953, 0, 0, 0, 0, 0, 0, 0, 0, 0, 58257, 0, 0, 0, 0, 0, 0, 0, 0, 0, 26380, 0, 0, 0, 0, 0, 0, 0, 0, 0, 37615]]],
> [[66,
> [0, 24668, 0, 0, 0, 0, 24738, 0, 0, 0, 0, 51001, 0, 0, 0, 0, 64311, 0, 0, 0, 0, 55654, 0, 0, 0, 0, 64466, 0, 0, 0, 0, 39106, 0, 0, 0, 0, 16657, 0, 0, 0, 0, 51008, 0, 0, 0, 0, 51619, 0, 0, 0, 0, 18854, 0, 0, 0, 0, 60717, 0, 0, 0, 0, 53876, 0, 0, 0, 0, 20457]]],
> [[66,
> [0, 36807, 0, 0, 0, 0, 55665, 0, 0, 0, 0, 7260, 0, 0, 0, 0, 8202, 0, 0, 0, 0, 37694, 0, 0, 0, 0, 19529, 0, 0, 0, 0, 45968, 0, 0, 0, 0, 64648, 0, 0, 0, 0, 40017, 0, 0, 0, 0, 17534, 0, 0, 0, 0, 56094, 0, 0, 0, 0, 57135, 0, 0, 0, 0, 38583, 0, 0, 0, 0, 59017]]]
EXIT: 62
FAIL test/diff/diff_cyclic5-16.sh (exit status: 62)

https://github.com/algebraic-solving/msolve/actions/runs/24200172890:

====================================
   msolve 0.9.5: ./test-suite.log
====================================

# TOTAL: 63
# PASS:  61
# SKIP:  0
# XFAIL: 0
# FAIL:  2
# XPASS: 0
# ERROR: 0

.. contents:: :depth: 2

FAIL: test/diff/diff_radical-shape-31.sh
========================================

SEED: 1775750598 1c1,16
< [1, 3, -1, []]:
---
> [0, [1073741827, 
> 3, 
> 4, 
> ['x', 'y', 'z'],
> [0, 0, 1],
> [1,
> [[4,
> [1073741826, 1073741826, 1073741826, 1073741826, 1]],
> [0,
> [1]],
> [
> [[3,
> [1073741820, 1073741822, 1073741824, 1073741825]]],
> [[3,
> [1, 1073741826, 1, 1073741826]]]
> ]]]]]:
EXIT: 42
FAIL test/diff/diff_radical-shape-31.sh (exit status: 42)

FAIL: test/diff/diff_radical-shape-qq.sh
========================================

SEED: 1775750598 1c1,14
< [1, 3, -1, []]:
---
> [0, [0, 
> 3, 
> 4, 
> ['x', 'y', 'z'],
> [0, 0, 1],
> [1,
> [[4, [-1, -1, -1, -1, 1]],
> [3, [-1, -2, -3, 4]],
> [
> [[3, [-22, -24, -17, -56]],
> 1],
> [[3, [-7, -4, -9, -1]],
> 1]
> ]]]]]:
EXIT: 42
FAIL test/diff/diff_radical-shape-qq.sh (exit status: 42)

https://github.com/wegank/msolve/actions/runs/24392202724 (macOS):

====================================
   msolve 0.9.5: ./test-suite.log
====================================

# TOTAL: 63
# PASS:  62
# SKIP:  0
# XFAIL: 0
# FAIL:  1
# XPASS: 0
# ERROR: 0

System information (uname -a): Darwin 24.6.0 Darwin Kernel Version 24.6.0: Mon Jan 19 22:02:01 PST 2026; root:xnu-11417.140.69.708.3~1/RELEASE_ARM64_VMAPPLE

.. contents:: :depth: 2

FAIL: test/diff/diff_eco10-31.sh
================================

SEED: 1776160011 1c1,32
< [1, 10, -1, []]:
---
> [0, [1073741827, 
> 11, 
> 256, 
> ['x0', 'x1', 'x2', 'x3', 'x4', 'x5', 'x6', 'x7', 'x8', 'x9', 'A'],
> [1,8,27,64,125,216,343,512,729,1000,1],
> [1,
> [[256,
> [171466654, 748911526, 402533203, 790856909, 498566091, 1042183372, 640824294, 654775273, 699231559, 143002269, 240385612, 447937006, 506262762, 859457353, 619729802, 493405685, 940978098, 914921574, 333918814, 4355340, 422961829, 836062510, 364748841, 444316847, 995785218, 639583033, 545802035, 639150111, 699302751, 531372071, 681728458, 644597024, 886215758, 794141724, 1020868765, 775106818, 494151624, 267900806, 324956230, 179572760, 87873912, 814402272, 1008568419, 693258428, 215628637, 262009589, 400953703, 363499458, 15376488, 40182312, 178831671, 793318856, 51069253, 1025828558, 202265572, 108339271, 682193002, 1053877893, 508152615, 288988362, 825785617, 610309354, 191855740, 687836654, 21746905, 390588013, 94659622, 1054679979, 39614566, 546723918, 942311065, 677265983, 978020715, 983417829, 1062590028, 200448169, 700881844, 604185049, 183118937, 484788881, 247313015, 92282183, 299444535, 848572787, 955868423, 249893626, 576216940, 183912165, 846199102, 54459173, 596382310, 802612598, 380612331, 204329713, 315771854, 177774948, 52577935, 752864464, 197355895, 300907532, 183022586, 863008365, 77919128, 273492910, 1030240318, 172773097, 938936380, 628664473, 519659768, 136534593, 372896488, 553325727, 710149911, 991950641, 608624075, 1007130291, 609092430, 841835355, 270135285, 271061687, 839251658, 673392217, 84562071, 857272606, 278572809, 500874842, 345239840, 632700662, 439639827, 326861242, 974841256, 698510996, 499336669, 723688858, 140054295, 880494247, 544672679, 486535356, 830987744, 265054839, 360597483, 469424751, 504351789, 301598811, 374426849, 280485434, 539115366, 471918285, 439090709, 210216572, 502328927, 401638864, 145899864, 444108177, 648365991, 442060026, 413202872, 1040365592, 535385662, 223837270, 257315782, 170461335, 583852602, 846695046, 706911691, 1039313934, 130057698, 186613699, 301615358, 319088684, 905149701, 302003436, 726115011, 215304510, 345039670, 499960618, 312523573, 805041151, 329122464, 745615754, 296356935, 97142480, 629568936, 569653717, 957543032, 834315165, 628476881, 52019462, 831499522, 253668228, 897160804, 1029355692, 1002551139, 346245891, 882991041, 554973184, 229415525, 194583551, 533271438, 616336547, 951824713, 939038643, 184961449, 901847074, 683858910, 220133329, 719158395, 1042359379, 108218459, 464916587, 669765241, 129219271, 318655085, 339263241, 672709261, 418200601, 293102617, 530583184, 48690043, 122710484, 696565641, 840031528, 550231812, 704449659, 99095768, 136416066, 909944966, 258422604, 253856572, 255941339, 184440198, 605455433, 395061589, 504326318, 509907413, 3578380, 766077544, 898886196, 1004973203, 1028632778, 641710891, 529887740, 119297850, 532749447, 214000402, 745327655, 705530117, 270033072, 65685392, 332640232, 428803752, 160934544, 753931808, 764715745, 653048134, 1073702162, 1]],
> [0,
> [1]],
> [
> [[255,
> [620759871, 788922698, 703136604, 576489844, 686220293, 218987401, 917103326, 921573972, 8946969, 730116514, 463224898, 866950885, 897797723, 858077552, 133694136, 987298849, 759210021, 1032842398, 457163541, 286819292, 768220924, 389018103, 544922042, 1057587323, 195189970, 121961079, 365261532, 635256231, 539588968, 285324716, 209785475, 175749459, 351109322, 832622262, 832396441, 169709352, 194774256, 937914097, 333271109, 1072304555, 562622970, 857259069, 555893980, 602987212, 165224823, 501856115, 963904921, 961772673, 678059978, 655318413, 310327151, 436989985, 982365780, 498880135, 640588989, 786742522, 245719691, 832640944, 373752978, 670282565, 123973872, 527518843, 231720361, 370525179, 163867204, 888213790, 298238081, 142232926, 916816095, 535141392, 835845952, 898354857, 524682762, 544890834, 427474117, 801297053, 857358594, 1013054637, 761374993, 119763372, 749200440, 645473430, 693272235, 144846788, 900534702, 323940710, 627190878, 607420853, 159022792, 438210844, 947391133, 564712212, 596007380, 344423965, 133900450, 717491980, 534057964, 501296423, 916781495, 952033437, 925402874, 707516490, 170772902, 113992282, 786376359, 254387072, 639206077, 778453402, 866293468, 59860364, 61988459, 31025124, 778861816, 549289598, 74192736, 56366433, 349021500, 496412402, 117300406, 911734297, 222339408, 10446379, 598036211, 78390842, 92838862, 912744490, 865247303, 142659089, 250331565, 941503383, 540275078, 905983073, 1018267707, 732123221, 269911401, 636999677, 430170831, 1062836204, 813274314, 376735512, 508908411, 470542746, 208247192, 304744314, 178243293, 286085522, 1001284752, 838714171, 396867534, 874639519, 568416159, 1016486991, 786493306, 1032432907, 366905136, 48686021, 83423583, 31625670, 1007040954, 96662039, 437511328, 77344032, 325401683, 598275793, 227758394, 820115224, 251216219, 245069987, 647888162, 489326117, 442439363, 56065243, 407348280, 402397200, 547284419, 57767134, 722657274, 399513511, 1017468343, 645517259, 991754574, 783138973, 565588285, 443856507, 261836869, 495320826, 45443925, 809332775, 625873659, 811227623, 175559597, 812466881, 29515640, 227971688, 501578566, 132179659, 369768005, 1060065773, 501236754, 785521098, 823643984, 201683811, 249081448, 707774968, 803185008, 290843365, 577659387, 1055217765, 148104980, 998376468, 222388269, 992878002, 683343187, 1006390513, 459051686, 100324974, 849081615, 426279108, 808914200, 933211467, 104578555, 54386994, 495481231, 689200208, 257294111, 916265292, 953979895, 445593707, 1033829554, 100425490, 839510121, 129092036, 595397588, 789703989, 520501219, 928118918, 682060471, 145280950, 1025991090, 609686590, 510721656, 74849976, 634759734, 498177374, 418820120, 194060054, 191157976, 766115827, 1037966310, 745323199, 637232867, 527146798, 773596419, 70358740, 215501929, 5640550]]],
> [[255,
> [764211290, 871243872, 656178410, 707535833, 238840740, 1042651645, 426939252, 757188359, 492457093, 885511668, 444650219, 952550367, 717695011, 1002354893, 154916245, 729295812, 241665313, 510287699, 1015666908, 766593524, 479186192, 562691522, 147056936, 118841871, 299099782, 1026620636, 482103998, 172419394, 760633881, 943453653, 1037525717, 930877105, 124899359, 910058847, 463662167, 873933573, 102936625, 276881401, 55231413, 1061145223, 388074787, 884964551, 343985078, 587687496, 525223395, 1051366748, 425173576, 249336194, 721387224, 796046037, 140912305, 708412332, 220474647, 844211803, 662799279, 444004691, 381186994, 469991069, 53773312, 343582675, 638468651, 961105887, 47490800, 620145424, 365533502, 182937689, 84219219, 942309883, 275165088, 678890619, 456329600, 283076008, 290067727, 841636227, 685336927, 442394834, 459359507, 697202586, 374669707, 142083085, 959282294, 171598992, 520010479, 634390989, 50456847, 194804608, 432362745, 352639934, 99728527, 326708460, 1030262056, 45417396, 786787269, 490931973, 348519973, 799594238, 549719578, 967186582, 606296057, 227813915, 205160184, 507416207, 377014923, 501379066, 31641153, 37395715, 332322195, 949937958, 545776003, 532033649, 240366675, 598654427, 940812314, 492910753, 283549463, 670295745, 237011554, 778273340, 350320143, 1039660289, 1073136594, 159053483, 619494255, 778265586, 113014015, 646120332, 803003217, 838378312, 770182894, 437023714, 407412743, 85623514, 1022688789, 979334721, 980846843, 202200952, 78297147, 609964142, 820819554, 396605642, 216893921, 421373330, 821820072, 234645127, 923483541, 564424179, 379489038, 132470097, 38011686, 911836533, 558128503, 77198374, 699615855, 687959486, 737193035, 830739240, 908051296, 323966843, 919426483, 1004220169, 887263965, 844380505, 1065941310, 685161686, 36613759, 1008850782, 729698499, 42366803, 653549089, 961081569, 871842842, 438176141, 198051549, 90978950, 554144484, 753668256, 209465279, 1049492235, 733738968, 1022863680, 671293504, 418256889, 218924712, 145484390, 702821438, 879894029, 316288007, 981348307, 644637431, 996836160, 875589192, 447538417, 164358075, 39163955, 942020955, 767772446, 385714573, 586423096, 212144451, 840579592, 1035172972, 1030141880, 143305576, 992514031, 32673823, 733376011, 834032869, 446809625, 956247673, 160096590, 304746598, 542153465, 845069806, 627295286, 292056672, 223799636, 725332640, 184005949, 776851869, 408443295, 814956712, 650940024, 385450661, 49579841, 46574072, 474774227, 239921513, 439657581, 358965370, 2246666, 1054971104, 835665923, 161217096, 890665247, 255131376, 142379753, 105340127, 1058441687, 986878107, 1057812990, 298328411, 800561629, 34197774, 19708507, 73064998, 325952761, 474105892, 213985093, 124296726, 754912497, 654182120, 643542910, 168417332, 690056768, 711373120, 700570483]]],
> [[255,
> [796389797, 908793861, 872117823, 926058790, 953270396, 296536197, 494920986, 808638182, 520452505, 681253886, 1022080569, 268530454, 260455801, 120874567, 88891276, 532219346, 189687103, 195197915, 1041486095, 138035343, 800275856, 506947850, 977044188, 10289306, 92459070, 426435283, 289850598, 447464282, 419473476, 769119463, 279617197, 350390888, 624986263, 106466678, 873398076, 167482574, 669455282, 881906797, 443223320, 115309065, 878756761, 686109562, 865310526, 777166438, 536569639, 311543885, 234074869, 1007636602, 385151379, 343315245, 165715865, 22414105, 450599436, 953188619, 559678915, 990108978, 744435166, 547342253, 1065936185, 55276667, 313427467, 802892649, 614511612, 261900077, 284227345, 916887371, 803983632, 397142949, 634639737, 518164600, 911555690, 628668972, 1006097115, 491138013, 945644802, 653125324, 968350747, 1057425239, 635265661, 1072350806, 607456834, 656658056, 60221865, 234679834, 323655083, 649447681, 92393263, 29844942, 123248161, 874021298, 48029486, 604972593, 906106398, 1041470257, 106028424, 719218792, 659123322, 854431389, 605493388, 102485183, 832331387, 814488148, 545097550, 842816864, 840451922, 775181363, 427322717, 281275791, 684843670, 981868760, 110125624, 32625066, 752073639, 777513267, 225784996, 124319699, 459979635, 76732322, 308230532, 706123941, 225444107, 1042242742, 424031584, 11670945, 600145863, 891704675, 603009558, 309824029, 319227520, 704797728, 337433491, 819897178, 282746028, 142032147, 436461630, 946272058, 535004244, 629825287, 102837271, 892285092, 1002029516, 61279954, 523893603, 990651502, 372190906, 409926581, 31465907, 669483685, 601720741, 809130136, 591347827, 263649802, 342397601, 19816679, 47052726, 832537290, 708711264, 248493506, 875509997, 328476571, 18532016, 556909828, 986662680, 479817208, 776845941, 41259220, 466682681, 411106061, 194791490, 327477141, 904686168, 180267969, 368259770, 296306856, 821760553, 987169400, 361918312, 623479208, 865730682, 837655555, 256088427, 551966576, 144114796, 546016760, 485708587, 886533948, 493566746, 467123969, 1017529228, 782019368, 526762583, 325336484, 438753141, 198932788, 598447164, 193477446, 537223321, 394466477, 158928704, 998819621, 7817444, 509282439, 867114152, 419599553, 635720727, 780589009, 506831928, 394052339, 551404314, 339741974, 700622194, 738554520, 511100438, 882778850, 1209811, 450188351, 543225886, 1052264543, 833008063, 912067594, 169973924, 678116869, 891432525, 1015205061, 1068815123, 990499714, 188197905, 948075981, 243829997, 338915901, 934120665, 273507230, 225316873, 970895803, 784547096, 162793720, 6265716, 615686252, 519211727, 79519338, 279879843, 472123392, 349397165, 2395025, 12366504, 669242330, 243694899, 531523951, 320675106, 115010143, 795750107, 479574780, 445446529, 33326582, 896149850, 892776075]]],
> [[255,
> [172799916, 269648886, 316574752, 145556224, 749693710, 117376404, 645615250, 826218449, 679205230, 144953680, 512850855, 98119615, 890952884, 686582385, 584183555, 536922258, 976337176, 439764025, 756993385, 382461440, 47374071, 598119877, 58312795, 732990127, 720445800, 189543727, 320449847, 469229996, 579757765, 212090363, 214593721, 503625529, 694572634, 487666401, 977673842, 494645057, 790130039, 164739723, 1039407955, 68033740, 21672559, 776066548, 512325079, 287453484, 379754184, 774154436, 361789249, 203655989, 160888022, 209569803, 174419588, 1015236158, 813679851, 862076389, 41580154, 917009143, 225137165, 450960987, 765603343, 358450659, 862837536, 652695107, 572316724, 1069920711, 733247600, 573157744, 1009886688, 585028387, 703187767, 639303407, 243951916, 306469045, 351328343, 7752419, 420669840, 819311839, 88705450, 396339665, 647536048, 1060728065, 312517591, 614592901, 832748002, 1040666218, 643295030, 375134656, 326921708, 627393335, 620100559, 472968243, 9679510, 418323278, 598277783, 376237656, 561055677, 918148451, 124121733, 456046950, 1038654506, 15297745, 363157451, 510046695, 685825837, 672535419, 360400493, 952737674, 323529124, 389970545, 259048450, 937844968, 149560114, 572662595, 611418868, 908071091, 483929266, 832563756, 581642675, 501780046, 311951717, 458922258, 582819015, 183270519, 449407582, 40726694, 1032419787, 1027195314, 425515211, 192811392, 370478927, 119182001, 434981684, 555167182, 490469714, 1038540103, 874452610, 637167895, 211716866, 807709240, 824230845, 87829716, 698893918, 895260028, 270448224, 736265604, 913679642, 855064838, 911205499, 346619012, 236663577, 481231765, 728376826, 1060356452, 506412190, 709083791, 993189195, 1071368315, 732557805, 67287666, 419132036, 544009099, 680901103, 676750735, 716106886, 266940583, 1035213285, 394101258, 118076448, 234799717, 781855293, 920926677, 708169776, 78589411, 629660332, 589871671, 856043074, 1049132253, 376424017, 939768040, 641665969, 100974486, 34912501, 921315711, 76284450, 927401590, 742411494, 760697206, 440474286, 506237141, 619058762, 219603286, 689298121, 111097599, 428645184, 402277189, 434568297, 524301247, 840684127, 620299710, 429749532, 257590742, 608341345, 282995531, 648519564, 1024483702, 224909604, 635829353, 289465810, 207659252, 336395715, 558132544, 414987988, 940411633, 878943213, 798548682, 611785145, 142836262, 823547705, 505424983, 794173526, 124195028, 626506950, 639697920, 83635705, 697322143, 996539118, 547044751, 110261309, 604538872, 34603579, 790736061, 230613247, 910858592, 843669889, 30787896, 981961318, 57956622, 620438138, 640704804, 659665345, 387291634, 1031830351, 923611217, 448074625, 259121263, 1028942015, 169798081, 241060693, 654751161, 736366901, 734359983, 856555650, 460337633, 754472752, 127498605, 385045837, 223379083]]],
> [[255,
> [74013820, 368658230, 948832187, 798989022, 100254338, 222492395, 861324359, 1018779434, 1016549490, 828208948, 705967796, 940158434, 182463398, 591153757, 396147112, 94866156, 210317313, 115083126, 181513567, 857169670, 832803182, 536982983, 406982688, 922278037, 268658767, 205408825, 841753641, 197631304, 631745442, 353863306, 23854607, 736144706, 609392155, 1012670754, 69044013, 435687707, 473114464, 1036278718, 367875372, 1023242575, 87863602, 30495817, 172790980, 529853710, 1025334470, 523442260, 728627398, 119999083, 734400312, 473612258, 118422273, 374444689, 733624888, 384555337, 1033603981, 58065261, 306168599, 245444858, 468384707, 23103315, 1043974714, 431105198, 1030839330, 635500126, 938846303, 954811892, 135777785, 75067250, 665272246, 983089540, 1056956524, 60579656, 150245168, 626247408, 201227933, 203069805, 789714235, 660080225, 420117294, 77191488, 530662864, 255200345, 1007573088, 253660149, 638950912, 563360401, 807965907, 906318202, 257040578, 291883579, 191807921, 452657806, 402713970, 976308100, 268004475, 93740746, 754447592, 628532913, 834171032, 213537262, 819008505, 67855830, 331470790, 983127048, 961554689, 179229836, 907267629, 57749761, 464727727, 633790324, 640854790, 853153227, 570823124, 512135053, 351950408, 469528140, 24359351, 90352661, 55036256, 396402367, 1071805323, 660163727, 99113757, 923701195, 484761924, 503852423, 1030957474, 544440014, 245433616, 540850606, 59914526, 579617754, 241472910, 28393562, 1041261937, 67196071, 322423914, 817834607, 608944124, 415372461, 799499988, 513216243, 697358560, 5771516, 778751823, 530398476, 462027355, 819044055, 647905572, 1002363228, 224708287, 969738421, 642123390, 898318946, 692934263, 355033295, 214507170, 1048680916, 895962829, 182484429, 769341611, 397732015, 311227329, 227439040, 405782548, 154450260, 181214593, 851537169, 630650682, 122780073, 699226487, 373282144, 244576583, 940793673, 537332953, 924418784, 532328295, 803246238, 950126723, 780815035, 452779273, 829770790, 46345432, 870253575, 295596674, 286760303, 524172471, 711784214, 1072532427, 512327758, 100922841, 424623989, 509596863, 975558947, 635075291, 395238429, 748094820, 347608167, 990099306, 370503734, 892375150, 706049676, 1060532132, 340295149, 725292868, 608430606, 468170451, 652599229, 156391949, 649169061, 524867315, 216959878, 888049156, 800855645, 471112524, 56090674, 224940417, 365953630, 803798177, 84685439, 149727346, 836043189, 462251236, 866175077, 873360781, 1068336005, 785247154, 863490724, 293230363, 363363532, 836069766, 83089960, 885584470, 663190559, 331383076, 380546692, 125825775, 943322042, 278172219, 722215851, 616573407, 374817099, 87191558, 1064792494, 122558465, 635274032, 219092795, 332661077, 998553506, 104768445, 910169404, 1029702605, 778869424, 464269018, 281589943, 47679989]]],
> [[255,
> [383920381, 1033410364, 676525074, 150642430, 167478110, 537543191, 673472612, 629024757, 626788384, 102884208, 873715358, 6376397, 895968668, 1022363321, 49508377, 23890375, 849867715, 7239848, 400573728, 701917527, 1002238943, 822905677, 929198850, 852817885, 545529746, 308310769, 798813392, 531792652, 17938265, 239891615, 701114389, 668053448, 681081167, 36990947, 461447933, 59338904, 455376646, 987685326, 164310890, 1057038470, 567171827, 1036637524, 614615697, 747987271, 818174432, 255616163, 700150385, 468695405, 148986791, 20654670, 34694934, 776147731, 482914495, 129375225, 222781332, 71771252, 561537883, 725503784, 329586769, 479081107, 467412939, 181444158, 809757326, 1071760026, 743596962, 1035394352, 621332959, 947685141, 585444891, 370277349, 759593975, 33327893, 697211978, 316655028, 313934220, 48891178, 1061546946, 387961267, 582795266, 830677952, 378286062, 37751157, 246221636, 718784889, 127834457, 714539177, 624527203, 328275014, 165511972, 22335232, 681202803, 781191601, 415237528, 255688787, 23735074, 503181572, 179918536, 950225135, 984871758, 466308549, 321806747, 406284171, 46231779, 1039614430, 968802639, 145335154, 671666140, 94302130, 768664112, 883556761, 460891289, 188002135, 1013941149, 152590126, 51921611, 824024442, 158034650, 1061142921, 1073715836, 95225054, 162430634, 327859644, 564960274, 640864956, 575112173, 359264213, 548831596, 464939735, 293858443, 815680712, 778145343, 189358364, 362481006, 386753881, 695787228, 780778863, 523065662, 123959450, 430395356, 708805463, 1070633723, 168152665, 613657755, 312595563, 64751639, 549083547, 528655739, 257537720, 101702324, 526986292, 78001158, 472568400, 545023505, 978440341, 99839425, 250204447, 205901307, 925409782, 729029169, 773093692, 300946525, 854209014, 1048066157, 226225598, 791747019, 358863300, 481168342, 711040143, 473638850, 93579589, 821093945, 698431554, 117029597, 275873857, 391605251, 99045326, 662067867, 301207198, 266056910, 573752563, 910586395, 52019472, 826706296, 712711320, 804236367, 138291326, 353928748, 608473044, 201425709, 1009461828, 847366012, 792670945, 348298664, 440022389, 52088545, 306807220, 763788169, 501552411, 541241155, 67814972, 105131669, 477039753, 449556499, 33919510, 140336641, 622159081, 232991200, 623680497, 849466122, 310242495, 142718255, 1016121118, 146543881, 122068851, 247216838, 896300840, 422074268, 1045075454, 351323775, 575140196, 1014435378, 85106967, 398609802, 589295609, 626910221, 713060497, 697323153, 621615740, 662036505, 550343345, 946779224, 385579123, 9143388, 981460351, 181558212, 768520418, 7947359, 197250104, 1039481255, 99239148, 925795718, 503518790, 946285695, 553674168, 654258819, 919220675, 950258527, 1049075075, 525601575, 620808504, 346957352, 403096189, 889504046, 704163855, 768371793, 561398651]]],
> [[255,
> [656549883, 835898453, 134579112, 377625690, 85066243, 771241313, 184475457, 794282220, 105373083, 525324338, 246451736, 613289745, 440844017, 293337527, 1056619756, 137069816, 481917314, 74986039, 57336587, 55104969, 623501134, 354972709, 32606472, 187088603, 441170527, 777842880, 146007315, 949872654, 278197178, 643543035, 695163420, 453177870, 824956454, 806658146, 378763647, 265384610, 105659934, 939268715, 73635944, 350073404, 759204497, 156980681, 120030685, 869864824, 246827699, 940453261, 797302419, 91138392, 696251614, 486899794, 195445418, 461386509, 139825712, 277410427, 772085223, 375026115, 713068054, 420868212, 116260959, 793484067, 864259278, 444586167, 965908763, 552827636, 964005981, 983630210, 748443703, 428414380, 543140858, 619860068, 194893947, 492142462, 713545584, 539035830, 164039324, 310235756, 722515823, 716259120, 322705556, 753019343, 688328119, 1026955031, 109676910, 858024989, 262177937, 691638606, 370393643, 596713460, 121150886, 186514353, 90565602, 756101441, 154169110, 377064537, 891478025, 458135609, 1023007849, 357803685, 321447199, 430012414, 622313883, 847034701, 810963969, 160663000, 840828813, 669344794, 307066246, 973759027, 534922982, 75248431, 534495524, 365555744, 559973758, 847567691, 807360016, 949962623, 344920098, 854323782, 867189265, 794635066, 1005973820, 870441257, 537685199, 414559491, 578329401, 582701949, 446439219, 751163673, 754373543, 168045064, 817109900, 1000731954, 672933329, 531915250, 622579009, 199440710, 144576118, 480871306, 748385299, 195962306, 827570506, 33245815, 604961589, 670596509, 442914806, 14212232, 642853292, 325158850, 39026075, 476483298, 334240809, 555346905, 808047551, 73182860, 683240472, 737380869, 736583535, 152441709, 308319001, 591090659, 302649237, 10430205, 721537932, 678538852, 132801268, 628865740, 936091350, 878031515, 379289034, 385533739, 393462105, 587657707, 18476828, 487135648, 1027334280, 161305626, 595808244, 415326243, 569330779, 298488236, 500332429, 333273016, 100595095, 905101637, 382764466, 269619720, 10133283, 127474912, 1049141425, 500909197, 1047045928, 113582121, 51987258, 228878825, 505530799, 790261838, 480137446, 625480593, 38681882, 290110122, 1037416156, 560235431, 1062809329, 784370547, 789866137, 230566034, 993332893, 314468002, 873128885, 152436371, 48743824, 351720910, 1032533011, 528150618, 113476099, 688861881, 546485750, 744325572, 216108055, 595090058, 438342890, 146876030, 653711642, 490700875, 798375827, 720783907, 438583528, 360022257, 117617445, 824529967, 233811287, 752667420, 902602510, 452995209, 265527968, 614241167, 304556124, 729482696, 995763341, 818262699, 995417065, 524729970, 186061773, 291324910, 201087033, 514188472, 328082847, 62824318, 397587552, 636859609, 857094986, 668951181, 943017155, 802541096, 704657994, 158394772]]],
> [[255,
> [600977253, 454735279, 909904426, 251069919, 222418619, 347265244, 104005561, 376543442, 788616375, 669082993, 232508011, 34946958, 865374216, 846825820, 466456952, 777266607, 119124414, 689657003, 303182284, 18130494, 862387718, 231497012, 362894125, 824440151, 508823959, 234829320, 226125267, 976664580, 335258136, 12211209, 114830997, 93924354, 136479488, 501736187, 730455786, 1024458373, 462448578, 267606906, 195590505, 83540361, 255313378, 580013653, 1036026562, 1046850046, 714014956, 699152403, 247240979, 985216880, 689342297, 886551296, 539116269, 955928725, 671231445, 660613246, 597116686, 571145140, 862798076, 785300405, 536145745, 763732283, 735479913, 573433941, 180290921, 667383213, 128798794, 972133901, 688660090, 728859091, 242725895, 1053583097, 677157730, 260328340, 929130597, 326455095, 279911771, 701551581, 960276531, 129578824, 402463309, 575722259, 1027537738, 304740778, 428220115, 41997113, 536447935, 969352997, 334996789, 39406999, 371696799, 645095678, 116098528, 877352121, 654323531, 335052847, 268676216, 26053428, 980437740, 923234980, 575736681, 826673401, 879893321, 456467257, 973185915, 181906238, 477066507, 422635447, 350776481, 387084593, 373077212, 237899152, 1045251519, 933097840, 459100763, 89975421, 715002766, 1014339652, 888357447, 137262162, 730197872, 1046159740, 95253910, 550065935, 682422643, 255100264, 944610327, 330447232, 868626244, 874819835, 713551997, 99999595, 816861881, 995105912, 719834439, 629226969, 892947954, 236599439, 953831403, 185645365, 414141002, 707636764, 795891425, 438448661, 613408694, 73562857, 244613315, 758341281, 343712607, 442810063, 258618834, 666663379, 72323141, 444811286, 658961781, 247903705, 482979233, 791463620, 397624644, 959290610, 753795197, 609660761, 642629366, 660815091, 606203025, 559590211, 626474171, 538637948, 672556761, 93404508, 27388756, 268275155, 889685685, 694445799, 90758159, 297884381, 302027751, 230449600, 522164595, 243322983, 920129005, 396433183, 482799580, 1000838828, 1066672934, 553727275, 151902943, 776315105, 834505301, 729034311, 719083644, 1000881362, 828175231, 113063343, 920005639, 993171209, 347657482, 104321456, 69403187, 466537, 736441214, 402980249, 980109951, 978878635, 509470026, 14618710, 735157071, 755492354, 637405719, 592255185, 788522459, 835960641, 1028266683, 142966002, 468950367, 493239343, 953928954, 461438289, 866778398, 447479021, 479168146, 640211592, 882320918, 475582354, 1032921414, 546979460, 188544815, 112068668, 924699993, 477401602, 964466237, 514647423, 727853425, 1003415081, 656437499, 553161246, 317233037, 91295607, 899454344, 344886259, 736312730, 914472912, 77388506, 296365583, 91650395, 440994167, 1010093394, 40573883, 305691488, 848630141, 435629471, 487188874, 801643799, 791984315, 953993215, 496451009, 960572883, 1017602371]]],
> [[255,
> [225345098, 911139319, 150860747, 360999556, 17983032, 740873518, 1060852332, 310202147, 56578179, 801372900, 867259693, 514044453, 217157417, 1020881140, 290808072, 476138089, 466840939, 156167428, 81051213, 14993222, 1026462942, 291831575, 835949212, 662375832, 149847860, 1004014789, 824601718, 988378042, 732374197, 835469948, 1018481785, 383023949, 247490466, 673838913, 581867230, 804327158, 1041071484, 950169279, 548678973, 538021742, 774286927, 360181730, 73988721, 992600481, 957585537, 311123864, 910445339, 207516090, 80499691, 422999792, 468429851, 617748901, 873992881, 758397954, 838474576, 81094206, 254915680, 890656623, 585523310, 807973970, 318874765, 793927185, 915873298, 118746743, 1046585444, 1009025840, 978166978, 48227301, 802316558, 1044140890, 232423801, 258278248, 706399861, 601156454, 856728374, 315089938, 534623129, 310807572, 148039474, 737172765, 115437193, 581996618, 397022978, 367916339, 811614405, 886490299, 678215172, 806954569, 229983380, 1037229621, 106188442, 867980687, 855086166, 97789186, 619827167, 59402492, 563874821, 803692905, 558998846, 1060805402, 399634783, 1051599636, 354403643, 872674788, 101586560, 858720253, 335810699, 382434101, 871355511, 1026606726, 1051433314, 720191150, 755445531, 1038656135, 227534219, 427308645, 177898571, 298687672, 481025281, 993587950, 929506324, 491423622, 319815803, 77945508, 947476783, 114678507, 850821140, 175931229, 577528803, 467884505, 102832662, 237224204, 557815213, 900389281, 628202350, 588311643, 22139296, 650063534, 605681370, 513734352, 522129554, 219706039, 1014913446, 966134316, 376338343, 327430652, 1068014946, 463129655, 900709138, 693116812, 65682771, 508552504, 379633956, 721570420, 191633823, 451296038, 307606704, 537770606, 534235296, 165269889, 255192157, 216395883, 661303960, 572978337, 261730923, 349823576, 458262415, 827611405, 505915952, 725987248, 711844591, 114309513, 73322556, 913725072, 331176370, 32010929, 312133425, 593353479, 478203583, 712209138, 1068162452, 478128880, 175993481, 264156081, 467688470, 875276672, 202712714, 427900462, 493168677, 609184380, 277989630, 80845702, 330065017, 788990318, 278000209, 6865740, 100153660, 158604544, 686444310, 281047178, 952442291, 622401979, 378320409, 1051132965, 207825429, 711423322, 828818878, 8225414, 709047038, 290811164, 907626182, 426943607, 987917903, 109381347, 71387752, 201384574, 367242456, 597900875, 305363324, 21922639, 94124635, 728216961, 965214919, 424250861, 512295067, 899617901, 1030494685, 608312671, 586388258, 809758923, 638722123, 994833770, 15597995, 35848835, 657124006, 75372584, 469337427, 693654341, 200975148, 680207973, 632774178, 324389652, 443606762, 91037573, 773775960, 826657020, 268080364, 909142492, 792031988, 95736054, 582864677, 364372724, 735134090, 906301635, 445445786, 687525334]]],
> [[255,
> [729351152, 739361985, 275751368, 98211027, 234207684, 554670005, 994838010, 712851958, 683121195, 679575882, 319579195, 294404278, 124317481, 218691242, 545670230, 505441252, 622101682, 842271689, 985772552, 805668012, 984521665, 437097787, 402694975, 835004714, 852564869, 945075636, 419485061, 308951559, 962724402, 404417049, 71008711, 481448762, 716227568, 373605789, 332126816, 1014275775, 317134315, 89110188, 458482514, 653301417, 109431384, 503320717, 648836443, 384690812, 745604374, 969941005, 423156582, 579523679, 1062447713, 398977831, 418538937, 414349452, 1039321477, 1035704471, 412462685, 1052273478, 268346827, 1055444051, 898357400, 86743109, 733337487, 32307006, 451641513, 142422923, 122906259, 113091344, 100192283, 59554791, 981444324, 437092161, 158438156, 285102289, 544154972, 1020915560, 727490506, 1032585152, 563701295, 816205198, 481334623, 903001394, 730308384, 482291316, 475369547, 416801487, 432311831, 483398727, 207414580, 618301178, 194075336, 554178445, 109422112, 1053293859, 875017070, 166113786, 1039900493, 520040346, 567231467, 515557427, 1064638357, 768254220, 40014920, 676286945, 1059603818, 243462231, 29566561, 690139089, 1038111347, 926534137, 759529942, 724122075, 800084722, 311111131, 659055598, 1063502, 29584175, 69286569, 826224170, 401330285, 982201383, 492548838, 1018007757, 910396876, 306972750, 411205473, 33150236, 569288182, 738523123, 1072538888, 2040808, 50426306, 802290301, 288838178, 1056701708, 765771627, 704352219, 554356248, 729230046, 591476970, 522031139, 513528553, 954817250, 425300788, 522861460, 203345428, 726724051, 833870170, 954170086, 496205493, 230765571, 97688837, 1052616338, 885741569, 984382918, 678880551, 612425258, 557225677, 710318739, 715994263, 769460771, 339562671, 273224525, 814759831, 266998996, 704130483, 1044663665, 534491123, 234942430, 946010119, 129519638, 878494359, 1001088876, 97753382, 106707432, 584442422, 416936075, 89426988, 865263946, 899223134, 678765440, 1032349498, 269947738, 421959516, 934927813, 642419810, 645988858, 155249305, 299495579, 321993668, 936188360, 465452087, 1011097794, 38794763, 219454620, 470364730, 867738267, 201283523, 201818381, 632089600, 999255894, 215950219, 502118480, 1026502081, 69843944, 773855293, 841795777, 740711392, 875004810, 739290387, 650067881, 211881592, 574722245, 179693187, 440002056, 201470297, 1070240350, 468967485, 110324455, 173656792, 666885817, 151327766, 944957288, 575917121, 484890520, 366044107, 974525537, 402451810, 357185770, 823786265, 794857607, 1064784433, 606583694, 832063341, 781064032, 1035006206, 404824205, 942427253, 20791532, 166840084, 72139027, 968693914, 31408766, 128782561, 24515557, 130344666, 391178981, 934931775, 942262437, 1016361691, 207988215, 132271086, 662435027, 826276187, 824629074, 20660857, 109628160, 296259431]]]
> ]]]]]:
EXIT: 42
FAIL test/diff/diff_eco10-31.sh (exit status: 42)

[jerebertho]

Hi,
Many thanks! I will take a look at them.