This report was created with CsCheck 2.0.0
[L=92 [34175, -1822669459, -619 ... -2520189, -26889156], L=111 [13986, -492, 910 ... -6912, 40377], L=16 [42461, 562, -13022 ... 622, 5916], L=40 [-76, -908666, -9939796 ... 147, -67715111]](1 shrinks, 96 skipped, 100 total)[L=82 [14847, 1650948571, 655 ... 365, -2342], L=22 [1188, 1492615, 4 ... 2219, -4201993], L=18 [-7, 707, -57 ... 128, 23538390]](2 shrinks, 84 skipped, 100 total)[L=32 [4, 65, -642516 ... -2322, 970728663], L=115 [-430956196, 2137936, -2 ... 518428596, 4]](1 shrinks, 86 skipped, 100 total)[[20551765, -1101981291], L=69 [-840, -89945248, -2658681 ... 5150, 11]](1 shrinks, 95 skipped, 100 total)[L=24 [-109170, 333008354, 56871511 ... -2806, -21], L=42 [14228520, 0, 64447 ... 9964, 35432], L=35 [-16305198, -596641, 417147028 ... -16098, 295943561], L=24 [-315, -155212, -27684 ... -40507158, -1591896]](3 shrinks, 96 skipped, 100 total)
[[-2, 0, -3, -1, -1, 9, -15, 6, -255, 0, -9]](17 shrinks, 275,519,305 skipped, 1,267,773,418 total)[[-1, 27, -2, -15, -1, 382, -46030, 3, -469, 7, 0]](27 shrinks, 502,499,985 skipped, 1,450,104,056 total)[[-1, 576, 0, 4, -19, 3, 0, -59196, 0, 46, -4]](22 shrinks, 519,185,632 skipped, 1,747,452,680 total)[[-2, 0, 10, 0, -210, 369174, -13, 24, 7, -52, -1]](13 shrinks, 287,757,390 skipped, 1,175,432,070 total)[[1, -16, -3, -10, -755, -1, -1, 383, -1, 24, 108]](19 shrinks, 472,694,616 skipped, 1,645,833,454 total)