lengthlist.report

~/shrinking-challenge/pbt-libraries/proper/challenges$ erl -pa ~/proper/ebin
Eshell V11.0.3  (abort with ^G)
1> c(lengthlist).
{ok,lengthlist}
2> [proper:quickcheck(lengthlist:prop_lengthlist()) || _ <- lists:seq(1,100)].
.!
Failed: After 2 test(s).
[460,470,594,959,599,220,576,315,141,545,787,429,790,395,823,881,889,196,790,372,409,670,764,556,720,585,167,454,937,165,576,864,442,434,441,667,912,964,170,919,444,555,443,890,554,217,671,955]

Shrinking ...(3 time(s))
[0,900]
!
Failed: After 1 test(s).
[385,297,982,849,438,542,235]

Shrinking ......(6 time(s))
[900]
!
Failed: After 1 test(s).
[908,323,263,770,721,530,154,437,785,345,231,918,286,116,751,242,980,783,181,487,455,40,236,392,235,950,475,210,0,627,605,814,870,468,582,772,277,797,475,896,426,756,741,807,594,215,235,490,554,481,314,889,226,923,196,971,207,452,433,762,824]

Shrinking .........(9 time(s))
[900]
!
Failed: After 1 test(s).
[11,799,906,607,311,314,767,329,568,74,622,827,625,561,112,265,365,729,854,778,344,108,598,75,871,88,311,700,788,764,263,554,601,607,864,995,170,303,248,986,178,797,745,814,809,325,309,476,242,729,959,502,967,289,652,332,372,121,748,185,77,446,98,694,233,761,328,946,18,947,548,58,128,315,692,41,626,968,429,442,537,970,174,359,717,559]

Shrinking ....(4 time(s))
[900,0,0]
!
Failed: After 1 test(s).
[305,84,844,441,157,118,805,646,455,175,831,430,852,967,24,973,875,567,808,5,352,193,507,314,833,430,339,139,374,389,316,477,192,847,489,922,246,459,560,21,796,936,882,507,128,166,998,312,611,403,801,350,434,843,499,782]

Shrinking ...(3 time(s))
[900,0]
!
Failed: After 1 test(s).
[554,955,399,246,111,702,257,816,907,384,224,200,811,123,124,537,539,578,119,314,747,535,660,586,9,162,335,183,377,828,623,209,838,422,855,364,443,443,285,736,835,638,124,413,113,567,41,30,774,781,646,947,219,759,114,637,815,432,191,518,814,459,547,760,69,45,623,342,711,878,976,113,269,717,154,851,70,700,343,640,43]

Shrinking ..................(18 time(s))
[900,0,0,0]
!
Failed: After 1 test(s).
[505,552,679,29,631,267,372,331,403,222,983,948]

Shrinking ..(2 time(s))
[900]
!
Failed: After 1 test(s).
[575,30,176,815,932,288,522,102,233,699,22,717,630,835,989,56,59,997,743,561,200,924,882,485,954,652,879,994,971,779,889,556,425,12,979,30,801,141,45,404,431,214,242,886,880,113,54,329,387,424,332,1,867,152,157,952,456,12,334,782,273,587,440,914,541,528,502,142,148,91,216,831,673,925]

Shrinking ...(3 time(s))
[0,900]
!
Failed: After 1 test(s).
[550,432,867,940,294,194,642,32,174,505,743,16,337,917,684,397,418,424,655,769,883,202,72,60,720,27,90,923,438,605,111,202,387,864,672,514,506,357,692,232,640,851,974,57,596,159,48,360,510,39,303,881,115,938,336,452,530,223,743,808,332,903,676,352,357,464,488,975,846,2,160,488,436,732,83]

Shrinking .....(5 time(s))
[900,0,0,0]
!
Failed: After 1 test(s).
[107,497,996,587,710,884,720,650,183,774,737,124,441,34,757,272,362,733,665,646,586,102,239,160,839,795,114,823,321,4,182,882,307,826,323,411,868,364,370,743,927,860,799,162,556,506,119,776,345,536,48,585,600,855,896,10,919,715,468,254,175,483,489,532,967,882,501,667,734,486,529,165,360,552,177,868,304,682,75,663,841,1,538,12,455,183,518,687,183,190]

Shrinking ..(2 time(s))
[900]
!
Failed: After 1 test(s).
[198,534,835,191,923,358,302,76,970,78,869,836,721,247,376,100,123,644,546,961,739,455,827]

Shrinking .....(5 time(s))
[0,0,0,900]
!
Failed: After 1 test(s).
[607,546,429,464,196,396,471,28,78,287,132,608,396,221,67,229,484,449,501,644,959,84,561,211,416,599,645,617,963,658,387,647,363,279,436,456,424,909,998,24,591,89,897,743,782,634,744,442,190,977,97,575,665,318,387,273,956,319,976,478,722,320,990,276,72,544,152,916,160,447,92,947,76,513,20]

Shrinking ..(2 time(s))
[900]
!
Failed: After 1 test(s).
[745,135,172,320,551,405,334,541,740,260,996,592,167,384,910,494,642,246,472,751,174,765,40,349,75,101,742,621,16,414,18,630,177,284,857,868,945,510,796,154,314,306,959,799,801,788,955,274,913,434,201,438,708,825,950,604]

Shrinking ....(4 time(s))
[0,0,900]
!
Failed: After 1 test(s).
[394,110,409,143,427,302,418,37,13,31,794,310,365,915,272,448,918,325,102,730,262,885,790,583,826,626,339,638,861,523,353,2,113,758,902,711,807,982,339,930,106,574,320,261,364,766,934,489,958,253,135,907,164,944,801,122,824,258,767,988,299,815,293,524,674,740,220,410,634,789,795,718,74,922]

Shrinking ...(3 time(s))
[900,0]
!
Failed: After 1 test(s).
[221,285,719,71,666,693,738,20,217,192,110,538,392,827,917,627,446,801,399,212,387,722,694,686,361,742,69,45,902,419,962,267,664,565,134,314,598,154,972,513,533,105,743,514,723,993,149,773,612,232,174,388,291,362,272,348,348,811,670,525,962,675,950,557,309,568,393,546,540,649,772,823,931,885,740,314,384,305,272,98,780,62,4,891]

Shrinking ....(4 time(s))
[0,900,0]
!
Failed: After 1 test(s).
[246,982,413,723,725,653,804,958,138,287,583,614,279,134,614,527,105,495,896,933]

Shrinking ..(2 time(s))
[900]
!
Failed: After 1 test(s).
[507,799,503,821,779,364,900,434,408,291,239,332,883,163,760,163,975,1,487,857,617,963,8,46,214,540,893,24,752,904,920,471,430,579,854,130,230,220,377,404,452,407,872,786,807,871,361,696,483,595,674,114,710,243,751,955,471,111,35,190,967,826,785,833,749,264,177,683,821,664,974,965,49,55,745,121,380,721,301,544,407,543,942,690,190,632,489,722,851,616,177,535,728,651,484]

Shrinking ..(2 time(s))
[900]
!
Failed: After 1 test(s).
[693,516,596,945,840,840,994,536,972,132,9,956,389,630,303,677,85,155,965,857,881,489,872,358,804,331,408,68,562,644,472,106,709,327,795,712,873,555,976,197,703,867,708,623,834,301,865,842,652,893,719,608,356,679,847]

Shrinking ......(6 time(s))
[0,0,0,900,0]
!
Failed: After 1 test(s).
[176,603,927,454,153,772,843,803,554,889,983,492,11,850,817,414,741,248,341,645,610,215,147,978,627,880,243,137,368,578,306,980,144,854,695,294,372,244,90,630,789,362,812,741,311,228,997,541,474,886,522,748,231,69,977,338,16,745,342,27,265,197,590,279,391,228,345,532,20,828,622,204,132,866,617,212,46,214,499,593,391,806]

Shrinking .....(5 time(s))
[0,0,0,900]
!
Failed: After 1 test(s).
[708,707,646,974,548,512,219,953,738,587,155,157,555,313,800,50,935,979,614,667,631,739,253,166,641,699,253,421,153,799,11,455,305,533,31,339,733,153,37,90]

Shrinking ........(8 time(s))
[0,0,0,0,0,0,900]
!
Failed: After 1 test(s).
[404,660,686,119,684,235,414,891,785,7,906,59,829,405,353,100,657]

Shrinking ....(4 time(s))
[900,0,0]
!
Failed: After 1 test(s).
[125,303,584,266,175,558,400,413,116,772,452,344,991,700,498,520,11,695,55,53,639,372,342,974,656,662,256,788,534,642,978,915,644,750,892,186,471,855,951,970,203,661,604,290,228,457,962,834,544,799,506,268,311,210,662,911,426,569,760,372,872,637,122,269,871,653,985,76,938,163,45,207,260]

Shrinking .......(7 time(s))
[900,0]
!
Failed: After 1 test(s).
[47,349,750,373,823,668,675,516,539,556,169,161,615,759,524,278,319,153,15,445,924,245,844,313,531,981,537,148,576,981,648,80,939,629,171,407,551,312,935,164,473,175,766,8,617,593,360,887,153]

Shrinking .......(7 time(s))
[0,900]
!
Failed: After 1 test(s).
[840,403,378,76,341,215,141,775,910,820,306,429,552,358,883,650,73,411,44,456,95,600,572,635,3,984,866,791,17,532,806,409,761,114,389,711,607,227,39,113,228,203,197,22,0,472,312,384,15,679,743,107,593,380,156,317,438,201,625,531,900,883,626,172,392,354,73,983,777,714,752,331,564,386,174,767,986,784,362,187,850,824,603,733]

Shrinking ....(4 time(s))
[0,900,0]
!
Failed: After 1 test(s).
[269,989,503,454,861,94,713,374,30,689,59,935,93,729,528,83,108,384,511,264,828,962,653,97,741,692,636,825,717,933,387,328,454,273,122,587,661,693,594,414,172,750,905,216,740,238,840,753,567,554,374,671,246,238,235,768,286,602,198,303,692,99,361,28,19,919,891,563,527,970,233,581,498,216,342,695,896,301,260,545,86,937,34,390,443,404,277,928,68,593,434,62,340,34,387,423,855,245]

Shrinking ..(2 time(s))
[900]
!
Failed: After 1 test(s).
[76,30,243,388,104,269,799,438,510,689,475,359,148,469,571,222,106,78,160,719,599,755,116,909,363,821,285,266,530,32,526,547,863,619,308]

Shrinking .....(5 time(s))
[0,900,0,0]
!
Failed: After 1 test(s).
[568,406,359,858,627,448,331,834,208,975,813,652,246,430,610,738,149,654,690,512,882,452,734,596,133,964,870,720,128,210,568,670,990,269,346,128,611,776,490,473,402,742,533,27,265,635,72,701,382,379,586,341,928,791]

Shrinking ..(2 time(s))
[900]
!
Failed: After 1 test(s).
[122,177,333,831,110,208,888,534,651,871,738,860,949,635,876,551,772,895,830,647,70,580,30,364,958,155,543,636,821,627,841,188,199,719,793,458,177,641,707,859,568,841,381,296,859,278,6,855,291,703,687,115,673,466,438,391,89,933,96,438,688,928,794,379,406,314,377,754,56,29,723,990,700,182,904,312,354,778,314,436,91,392,793,575,1000,547,212,198,19,940,873,301,102]

Shrinking .............(13 time(s))
[0,900]
!
Failed: After 1 test(s).
[111,286,4,352,874,826,927,887,301,912,424,585,929,887,74,751,341,180,2,948,965,301,578,796,962,35,164,348,236,117,413,112]

Shrinking .....(5 time(s))
[900,0,0,0]
!
Failed: After 1 test(s).
[830,663,95,639,33,164,646,607,743,353,950,629,190,962,842,373,690,823,132,521,162,565]

Shrinking .....(5 time(s))
[900]
!
Failed: After 1 test(s).
[714,183,789,699,966,81]

Shrinking .....(5 time(s))
[0,0,900,0]
.!
Failed: After 2 test(s).
[538,626,511,245,805,444,368,236,808,631,332,895,488,202,904,681,910,680,606,469,503,735,792,636,528,690,116,218,305,765,247,94,656,471,159,86,966,971,736,720,355,139,109,129,877,257,606,109]

Shrinking ................(16 time(s))
[0,900,0,0,0]
!
Failed: After 1 test(s).
[553,423,766,605,129,845,671,287,278,730,442,416,947,70,905,145,503,342,972,887,358,304,734,14,403,744,292,707,330,93,394,591,72,405,677,312,707,592,946,719,919,779,700,682,34,782,445,680,17,938,803,469,395,466,156,596,373,816,813,76,74,827,73,148,592,631,6,277,906,407,727,820,961,475,339]

Shrinking ....(4 time(s))
[0,0,900]
!
Failed: After 1 test(s).
[815,173,148,236,192,539,613,340,533,795,535,127,105,613,785,298,574,28,542,501,499,85,131,366,328,344,187,479,494,743,316,75,228,395,276,533,217,893,693,431,749,657,987,680,917,355,112,63,816,637,620,85,145,478,256,605,587,670,695,942,85,747,90,277,336,547,652,54,805]

Shrinking .......(7 time(s))
[0,900]
!
Failed: After 1 test(s).
[54,596,151,744,609,829,196,14,470,288,205,216,474,394,120,664,334,504,348,316,585,865,621,349,983,234,29,991,233,635,999,60,901,144,627,145,920,944,7,946,521,989,193,513,134,281,917,682]

Shrinking ..................(18 time(s))
[0,900]
!
Failed: After 1 test(s).
[323,909,190,301,983,113,471,374,486,925,900,684,964,934,211,62,174,83,281,327,264,762,222,450,168,979,322,695,344,377,665,884,142,318,381,606,961,274,148,474,402]

Shrinking .......(7 time(s))
[0,900,0,0,0,0]
!
Failed: After 1 test(s).
[247,651,810,712,330,502,487,593,851,711,426,544,648,976,159,809,348,600]

Shrinking ..(2 time(s))
[900]
!
Failed: After 1 test(s).
[783,118,463,234,761,220,755,896,606,688,363,955,437,175,725,511,197,65,508,42,577,526,793,672,918,615,993,918,818,370,57,438,23,455,61,421,215,696,627,663]

Shrinking ...(3 time(s))
[0,900]
!
Failed: After 1 test(s).
[136,872,843,193,751,596,762,714,107,747,566,64,322,210,712,482,43,778,405,390,89,851,484,914,367,339,755,395,105,747,659,943,522,607,613,603,311,924,938,468,359,295,265,220,141,675,794,407,857,214,33,529,221,884,717,792,685,40,796,843,671,525,27,533,636,690,27,913,466,608,762,193,635,297,464,309,120,740]

Shrinking .............(13 time(s))
[0,0,0,900]
!
Failed: After 1 test(s).
[825,838,439,735,143,656,61,249,916]

Shrinking .....(5 time(s))
[900,0,0,0]
!
Failed: After 1 test(s).
[617,375,703,143,763,585,375,24,180,89,513,547,409,895,674,413,683,846,931,756,114,520,838,404,5,746,393,308,530,730,656,399,626,881,791,939,616,670,871,178,883]

Shrinking .....(5 time(s))
[0,900,0,0]
!
Failed: After 1 test(s).
[402,71,509,979,342,30,90,864,319,610,954,391,338,334,720,962,999,251,941,807,219,318,913,527,221,772,1000,364,489,504,130,14,721,716,142,498,911,448,866,43,656,43,471,548,376,378,25,978,987,232,598,233,568,512,378,599,895,159,54,299,537,148,652,322,290,136,742,365,112,546,902,114,145,789,53,22,405,107,545,759,256,849,859,876,296,697,531,758,371,242,789,693,73,819,346,749,61,731,978,683]

Shrinking .......(7 time(s))
[0,900]
!
Failed: After 1 test(s).
[849,449,28,30,753,993,676,428,316,737,215,261,34,845,783,74,595,566,982,341,514,585,461,362,950,218,994,387,55,100,104,108,125,436,38,437,991,302,491,479,784,908,255,120,110,251,50,691,683,893,197,457,626,828,811,979,223,943,949,214,861,938,42,165,778,56,752,652,643,562,656,387,444,572,200,464,770,4,977,795,878,722,73,342,577,983,913,722,719,144,379,774,523,844,73,130,282,853,872]

Shrinking ......(6 time(s))
[0,0,900,0,0]
!
Failed: After 1 test(s).
[953,494,601,565,550,586,458,692,540,616,205,869,735,42,574,583,67,813,138,584,708,901,983,720,481,993,497,854,665,55,0,846,689,501,367,135,370,429,962,741,387,616,551,245,719,959,807,753,195,37,939,477,92,438,411,695,671,554,930,64,194,300,456,209,191,898,134,495,967,623,657,456,32,133,572,222,61,444,466,377,640,154,667,984,116]

Shrinking .....(5 time(s))
[0,0,900,0]
!
Failed: After 1 test(s).
[943,614,283,469,678,203,557,954,302,250,514,907,746,601,345,320,740,514,281,851,389,472,602,235,961,759,89,355,638,655,609,867,158,822,264,847,916,7,191,615,638,990,754,291,721,759,651,168,147,607,795,917,10,207,837,376,404,811,692,839,317,797,666,883,186,859,190,849,466,82,727,869,650,317,830,130,959,634,430,279,340,330,150,110,89,334,723]

Shrinking ...(3 time(s))
[900,0]
!
Failed: After 1 test(s).
[169,231,571,372,247,315,57,383,61,889,180,551,235,369,663,780,54,808,614,719,460,957,871,965,240,1,169,37]

Shrinking ...(3 time(s))
[900,0]
!
Failed: After 1 test(s).
[891,197,381,103,391,658,203,872,139,152,735,43,806,871,942,522,989,381,854,641,58,90,338,647,399,633,878,919,178,953,599,840,283,192,455]

Shrinking ...(3 time(s))
[0,900]
!
Failed: After 1 test(s).
[265,760,494,58,958,342,147,71,919,692,885,790,625,533,83,614,712,942,611,348,502,940,124,739,993,972,936,768,203,532,72,149,868,854,18,253,196,161,559,710,519,352,432,448,74,381,238,486,464,791,430,558,624,477,968,328,312,206,523,859,867,187,388,513,595,734,802,875,520,906,822,971,153,838,379,2]

Shrinking ....(4 time(s))
[900,0,0]
!
Failed: After 1 test(s).
[711,57,385,89,801,588,462,152,332,849,725,108,73,49,608,966,688,340,720,815,241,19,256,267,4,392,532,132,193,596,271,917,722,328,941,446,42,856,22,211,820,423,809,308,116,490,715,28,254,208,483,38,275,806,684,78,144,196,355,94,151,348,991,41,405,813,52,617,666,194,415,743,31]

Shrinking ..(2 time(s))
[900]
!
Failed: After 1 test(s).
[797,805,782,994,771,474,890,972,381,575,224,359,366,760,13,901,932,494,519,42,15,184,329,999,305,772,742,783,6]

Shrinking ....(4 time(s))
[900,0,0]
!
Failed: After 1 test(s).
[50,681,881,88,968,100,829,762,979,268,85,404,912,914,590]

Shrinking ....(4 time(s))
[0,900,0]
!
Failed: After 1 test(s).
[700,963,464,178,119,918,72,643,360,692,553,265,588,90,500,600,398,97,520,917,307,449,987,222,833,866,876,409,401,905,312,265,705,266,436,884,720,756,277,308,950,514,403,4,736,701,968,914,588,948,639,343,798,709,668,612,962,540,868,342]

Shrinking ...(3 time(s))
[900,0]
.!
Failed: After 2 test(s).
[222,675,960,686,235,361,636,503,147,364,581,372,164,710,764,634,38,582,778,532,16,420,705,596,643,152,429,254,853,632,728,275,218,175,449,684,0,568,787,421,685,555,871,114,855,539,641,493,33,203,754,505,718]

Shrinking .....(5 time(s))
[0,0,0,900]
!
Failed: After 1 test(s).
[46,173,374,521,391,1000,683,203,529,386,718,787,91,388,772,661,325,668,695,763,114]

Shrinking ....(4 time(s))
[0,0,900]
!
Failed: After 1 test(s).
[137,288,787,961,290,893,528,274,688,381,912,14,698,251,474,124,301,271,161,906,44,468,852,255,918,802,249,891,896,227,908,654,921,713,331,129,942,97,506,64,674,73,829,239,678,593,275,983,650,549,764,769,884,800,115,822,558,35]

Shrinking ..........(10 time(s))
[0,900,0]
!
Failed: After 1 test(s).
[513,481,685,830,847,491,426,402,943,555,835,1,961,592,381,954,34,398,373,590,25,603,280,301,885,183,64,795,200,345,697,87,469,192,978,337,963,809,313,497,205,184,781,367,915,541,732,332,105,705,894,36,553,876,596,139,676,425,984,735,70,1,398,894,438,377,703,931,309,126,299,103,888]

Shrinking ..............(14 time(s))
[900,0]
!
Failed: After 1 test(s).
[78,944,313,356,369,812,849,128,476,505,732,982,626,131,101,359,633,384,934,911,408,694,484,201]

Shrinking ......(6 time(s))
[0,0,0,900,0]
!
Failed: After 1 test(s).
[808,234,865,527,515,909,313,560]

Shrinking ....(4 time(s))
[0,0,900]
!
Failed: After 1 test(s).
[204,765,41,867,582,864,763,985,841,601,896,805,986,412,865,399,588,68,481,225,49,889,293,352,515,214,155,303,193,723,71,584,465,785,443,318,288,56,566,107,780,538,574,107,759,365,903,872,766,429,330,978,907,74,489,630,702,928,207,178,446,314]

Shrinking ........(8 time(s))
[900,0]
!
Failed: After 1 test(s).
[29,508,435,26,781,341,91,285,503,946,623,371,522,529,758,400,569,560,216,407,863,113,283,164,173,346,781,478,286,932,612,56,158,211,424,484,707,679,19,648,40,341,846,69,355,89,973,529,187,470,203,204]

Shrinking .....(5 time(s))
[900]
!
Failed: After 1 test(s).
[260,820,971,328,276,283,902,536,560,662,87,87,174]

Shrinking .........(9 time(s))
[900,0]
!
Failed: After 1 test(s).
[564,400,913,417,197,53,392,534,465,149,665,39,434,300,129,447,500,72,791,685,607,453,312,853,814,965,712,920,970,961,42,585,497,363,920,105,202,594,872,936,464,144,488]

Shrinking .................(17 time(s))
[900,0]
!
Failed: After 1 test(s).
[750,738,379,942,873,960,197,602,192,359,135,784,174,119,481,562,627,214,787,872,501,744,501,869,905,916,591,118,243,867,578,611,233,655,753,714,592,177,1,395,221,490,623,143,702,35,731,12,782,849,242,619,97,111,452,606,960,246,179,749,764,400,338,396,769,39,20,817,486,788,321,219,297,703,33,249,737,423,253,633,628,470,95,649,197,780,470,36,188,972,991,415,234,807,254,238,185,471]

Shrinking ............(12 time(s))
[0,0,0,900]
!
Failed: After 1 test(s).
[298,228,21,976,392,334,671,53,965,779,999,596,486,683,924,461,440,462,305,522,586,493,19,51,465,713,5]

Shrinking ......(6 time(s))
[900]
!
Failed: After 1 test(s).
[172,401,514,254,947,884,694,262,340,498,378,798,683,320,39,398,713,432,42,394,640,354,1,954,66,369,340,236,105,579,762,480,901,743,931,556,955,790,768,200,902,286,40,375,394,723]

Shrinking ..........(10 time(s))
[900,0]
!
Failed: After 1 test(s).
[784,901,616,507,817,879,93,406,79,1000,182,12,144,405,215,37,7]

Shrinking .............(13 time(s))
[0,900]
!
Failed: After 1 test(s).
[697,183,977,949,482,500,698,679,651,790,203,21,707,900,832,355,17,744,666,98,523,939,417,229,615,546,470,667,319,443,962,433,593,142,943,920]

Shrinking ...........(11 time(s))
[900]
!
Failed: After 1 test(s).
[714,827,359,231,369,170,653,732,232,860,664,417,410,357,918,369,752,783,525,428,757,283,61,290,40,484,27,403,381,524,7,849,621,319,691,587,498,34,172,261,985,392,288,380,323,707,824,248,562,562,625,833,620,208,506,61,808,796,918,720,263,91]

Shrinking .......(7 time(s))
[0,900]
!
Failed: After 1 test(s).
[592,706,162,487,356,408,573,825,161,356,256,377,569,997,322,505,852,742,454,379,27,95,239,652,603,808,663,403,118,756,609,941,412,579,743,670,267,178,41,683,76,756]

Shrinking ..........(10 time(s))
[0,900]
!
Failed: After 1 test(s).
[921,648,327,300,998,461,250,552,798,246,486,663,218,845,710,853,860,435,724,157,55,945,923,862,987,251,442,416,718,757,848,173,340,389,329,110,354,59,110,630,1000,713,551,488]

Shrinking ....(4 time(s))
[0,0,900]
!
Failed: After 1 test(s).
[191,985,787,354,847,851,835]

Shrinking ...........(11 time(s))
[0,0,900]
!
Failed: After 1 test(s).
[590,583,87,294,331,942,17,753,990,567,405,616,710,139,651]

Shrinking ..(2 time(s))
[900]
!
Failed: After 1 test(s).
[813,565,223,539,822,922,768,385,326,265,410,423,348,467,305,666,477,752,976,908,446,827,487,314,344,553,355,710,799,690,263,295,668,514]

Shrinking .............(13 time(s))
[900,0,0,0]
!
Failed: After 1 test(s).
[213,91,935,216,179,980,433,977,785,995,680,955,69,315,23,547,337,72,446,650,743,742,853,572,439,57,232,898,790,434,81,599,394,265,79,972,562,605,227,442,296,330,103,966,423,638,188,42,367,146,534,956,283,54,988,837,172,184,487,75,18,145,160,56]

Shrinking .......(7 time(s))
[900]
!
Failed: After 1 test(s).
[80,509,745,179,763,532,588,750,41,658,212,424,445,240,46,915,353,483,280,453,512,103,58,690,947,4,509,862,141,687,934,181,854,856,615,619,76,766,593,421,820,562,899,976,946,205,209,126,664,493,988,630,877,584,598,458,988,871,16,279,165,967,741,325,350,714,438,143,723,113,319,756,598,363,784,195,248,125,751,327,651,275,620,189,560,61,435,18,311]

Shrinking ......(6 time(s))
[0,900]
!
Failed: After 1 test(s).
[825,29,729,949,366,467,420,899,97,323,406,42,94,911,613,538,329,287,584,351,984,855,235,559,821,776,373,800,457,952,137,905,624,492,922,838,777,655,183,789,698,162,815,119,644,1000,431,8,942,468,400,520,972,87,254,134,467,240,622,139,728,914,784,894,841,22,657]

Shrinking ...(3 time(s))
[900,0]
!
Failed: After 1 test(s).
[540,941,591,111,432,554,166,455,551,501,478,811,959,848,696,664,732,96,632,903,581,594,753,456,406,656,971,965,722,307,416,769,504,469,40,820,955,470,83,839,76,727,304,289,139,65,397,308,848,998,503,673,83,387,139,806,686,389,206,469,739,41,635,22,425,798,626,552]

Shrinking ....(4 time(s))
[0,0,900]
!
Failed: After 1 test(s).
[688,833,188,357,695,692,191,956,251,846,980,351,588,926,950,845,213,663,330,114,366,96,486,552,694,641,731,336,232,447,759,687,796,592,124,831,957,301,367,440,565,190,943,140,271,835,586,28,113,192,730,839,841,544,540,90,527,959,555,389,449,446,421,974,596,600]

Shrinking ......(6 time(s))
[900]
!
Failed: After 1 test(s).
[938,745,266,238,802,451,381,134,385,760,149,525,228,710,135,877,626,144,659,36,741,897,190,375,243,839,18,183,292,8,367,454,544,528,360,724,568,515,518,73,652,655,963,212,817,33,461,76,482,544,960,25,434,776,751,174,436,550,343,503,959,764,791,658,709,656,154,17,471,734,544,728,316,286,960,481,364,830,480,509,384,201,770,259,169,75,819,45,595,118,857,631,406,223,454,764,595,184,428]

Shrinking .................(17 time(s))
[0,900]
!
Failed: After 1 test(s).
[119,337,538,639,261,843,370,146,596,127,428,662,722,357,333,757,242,178,124,37,990,919,871,780,619,640,434,311,714,827,168,356]

Shrinking .....(5 time(s))
[0,0,900,0]
!
Failed: After 1 test(s).
[403,902,862,109,819,159,335,361,857,582,808,675,870,78,544,109,56,415,133,945,542,221,527,491,523,839,317,203,79,803,112,460,390,322,985,555,583,489,199,145,515,103,162,474,490,819,289,513,130,585,300,355,554,164,739,350,895,154,875,743,664,835,731,349,202,314,463,923,130,732,352,967,245,81,584,489,155,712,554,226,310,390,88,625,112,11,10,601,338,966,263,11,362,205,565,575,357,731,568,120]

Shrinking .................(17 time(s))
[900]
!
Failed: After 1 test(s).
[325,970,929,185,48,940,142,606,94,478,647,437,184,743,3,808,675,149,421,204,544,285,832,140,171,510,865,774,672]

Shrinking ..(2 time(s))
[900]
!
Failed: After 1 test(s).
[432,237,10,407,247,710,385,206,691,944,198,239]

Shrinking ...(3 time(s))
[900,0]
!
Failed: After 1 test(s).
[29,514,362,316,258,357,912,830,46,856,838,735,968,715,734,579,327,83,637,130,477,505,446,686,873,24,151,360,689,765,684,553,363,597,98,353,539,647,820,902,185,218,410,190,63,852,942,665,89,164,272,391,839,872,17,857,911,590,136,322,232,29,834,569,576,252,546,159,783,826,592,796,494,864,42,199,944,258,658,632,51,547,523,669,136,914,637]

Shrinking ..(2 time(s))
[900]
!
Failed: After 1 test(s).
[662,591,391,486,352,149,782,693,499,181,98,972,292,181,93,413,367,560,37,716,81]

Shrinking ....(4 time(s))
[0,900,0]
!
Failed: After 1 test(s).
[692,960,740,469,387,690,82,407,581,405,106,465,298,358,519,938,190,141,680,662,137,132,989,355,145,555,242,786,111,537,543,49,722,204,318,730,753,994,822,151,432,676,162]

Shrinking ....(4 time(s))
[0,0,900]
!
Failed: After 1 test(s).
[368,903,413,108,318,779,156,55,762,260,361,902,758,727,849,646,378,616,854,804]

Shrinking ...(3 time(s))
[900,0]
!
Failed: After 1 test(s).
[745,106,244,253,561,34,572,872,933,955,618,76,328,243,497,326,923,636,598,918,478,956,295,910,530,338,762,349,598,229,127,350,94,273,606,547,490,558,5,594,252,770,13,129,111,257,657,406,127,73,26,403,745,831,912,528,586,582,912,777,622,769,0,371,486,77,196,695,681,7,229,790,713,565,787,185,107,389,960,662,24,598,990,596,411,382,986,351,260,495,422,470,404]

Shrinking ....(4 time(s))
[900,0,0]
!
Failed: After 1 test(s).
[541,833,736,309,80,511,916,921,17,96,182,91,781,582,957,542,676,666,375,18,633,353,974,238,571,294,394,771,468,187,658,761,343,452,259,183,925]

Shrinking ........(8 time(s))
[900]
!
Failed: After 1 test(s).
[436,488,687,431,934,347,71,256,91,220,200,224,337,172,558,462,395,34,632,871,117,4,341,884,645,264,821,45,827,990,130,36,442,481,859,979,31,310,706,707,804,823,193,566,872,206,66,504,810,407,116,156,504,241,48,51,777,923,770,774,961,592,600,999,621,158,268,287,699,872,631,392,55,844,591,500,969,237,862,444]

Shrinking ......(6 time(s))
[0,0,900,0,0]
!
Failed: After 1 test(s).
[403,909,882,289,85,57,963,148,523,679,626,861,955,24,113,384,12,708,549,790,96,525,349,341,537,646,297,4,155,905,352,702,686,604,459,825,36,24,203,200,446,475,24,250,21,882,884,188,55,12,6,443,606,555,630,223,655,872,108,786,288,31,147,998,94,154,906,545,953,256,104,461,786,104,762,201,468,532,137,864,479,207,434,701,232,666,366,465]

Shrinking .........(9 time(s))
[900]
!
Failed: After 1 test(s).
[697,532,825,582,356,391,428,1000,803,386,103,730,131,732,922,77,804,679,138,107,609,77,756,236,40,320,321,140,167,185,246,868,809,864,425,890,310,381,737,462,748,884,304,368,852]

Shrinking .....(5 time(s))
[0,0,0,900]
!
Failed: After 1 test(s).
[853,33,48,407,117,149,752,778,945,410,160,800,488,959,204,878,584,440,282,757,164,141,54,811,449,831,869,26,545,51,914,635,685,439,856,759]

Shrinking .......(7 time(s))
[900,0]
!
Failed: After 1 test(s).
[350,344,920,823,360,35,80,975,940,115,275,312,578,924,637,287,81,331,971,684,256,833,630,190,341,131,711,249,758,469,865]

Shrinking ...(3 time(s))
[0,900]
!
Failed: After 1 test(s).
[404,211,636,720,989,250,566,851,870,753,759,113,834,989,443,41,64,38,803,129,958,439,719]

Shrinking ....(4 time(s))
[0,0,900]
!
Failed: After 1 test(s).
[666,481,700,249,760,760,344,756,274,670,594,619,52,537,63,451,68,35,515,591,31,19,69,660,866,30,102,40,812,149,444,207,936,738,31,925,437,172,872,763,362,174,176,40,103,328,707,159,558,231,277,228,983,194,180,804,821,527]

Shrinking ...........(11 time(s))
[0,0,900,0]
.!
Failed: After 2 test(s).
[758,795,514,358,839,286,800,412,515,626,716,101,505,579,58,392,42,740,642,935,520,217,932,832,604,923,898,341,452,654,128,576,566,994,763,713,224,764,589,232]

Shrinking ....(4 time(s))
[0,0,900]
!
Failed: After 1 test(s).
[729,376,966,176,587,803,970,49,628,148,401,498,690,871,902,762,628,218,490,313,658,877,736,643,151,779,390,977,21,943,695,253,864,164,941,66,823,750,555,898,465,130,746,69,763,607,902,604,128,482,423,986,194,159,493,365,196,564,733,650,114,719,226,729,299,423,115,858,523,23,759,113,491,845,73,213,733,125,722,223,586,508,192]

Shrinking ..(2 time(s))
[900]
!
Failed: After 1 test(s).
[955,469,613,389,941,562,6,327,659,363,734,265,974,324,443,725,186,625,282,833,536,102,11,778,28,268,154,255,407,825,506,466,169,517,371,65,776,798,333,927,75,478,904,568,281,967,410,884,584,725,329,842,887,109,59,301,523,619,279,132,434,439,89,16,94,673,214,472]

Shrinking ............(12 time(s))
[0,0,0,900]
!
Failed: After 1 test(s).
[875,795,374,960,534,283,253,707,358,335,132,650,642,505,768,874,759,177,695,502,110,602,530,617,466,86,723,712,773,490,210,245,253]

Shrinking ........(8 time(s))
[900,0]
[false,false,false,false,false,false,false,false,false,
 false,false,false,false,false,false,false,false,false,false,
 false,false,false,false,false,false,false,false,false,false|...]
3>