ve --elim random : 2.1 :: 976, 10002, 20749, 8284, 5672, 753, 5460, 10358, 795, 4661
ve --elim random : 2.2 :: 135328, 136238, 72911, 19114, 4875, 62230, 5408, 1693, 103727, 312142
ve --elim random : 2.3 :: 16, 16, 16, 16, 16, 16, 16, 16, 16, 16
ve --elim random : 2.4 :: 8, 9, 8, 9, 9, 9, 8, 9, 8, 8
ve --elim random : 2.1 :: 4455, 1745, 678, 126663, 4458, 54644, 81204, 25117, 40675, 2837
ve --elim random : 2.2 :: 46308, 10715, 121282, 107655, 10364, 6169, 197195, 59890, 44436, 6423
ve --elim random : 2.3 :: 16, 15, 16, 16, 16, 16, 16, 16, 16, 16
ve --elim random : 2.4 :: 9, 9, 8, 8, 9, 8, 8, 9, 8, 8
ve --elim random : 2.1 :: 2840, 6340, 12503, 1078, 3183, 3851, 82250, 46005, 6171, 50702
ve --elim random : 2.2 :: 82788, 24919, 383140, 5121, 132503, 4720, 10211, 2159, 33392, 2471
ve --elim random : 2.3 :: 16, 16, 16, 16, 16, 16, 16, 16, 16, 15
ve --elim random : 2.4 :: 8, 9, 9, 8, 9, 8, 8, 8, 9, 9
ve --elim random : 2.1 :: 2408, 2109, 18268, 7265, 20807, 14325, 6707, 3460, 12734, 940
ve --elim random : 2.2 :: 58055, 96550, 8880, 15505, 6658, 4337, 80850, 36216, 9652, 4213
ve --elim random : 2.3 :: 16, 16, 16, 16, 16, 16, 16, 16, 16, 16
ve --elim random : 2.4 :: 8, 8, 9, 9, 8, 9, 8, 8, 9, 8
ve --elim random : 2.1 :: 1809, 20762, 13800, 3573, 26527, 8753, 11901, 10398, 27834, 4292
ve --elim random : 2.2 :: 34676, 47828, 5622, 86948, 17018, 9588, 12715, 4675, 9537, 12644
ve --elim random : 2.3 :: 16, 16, 16, 16, 16, 16, 16, 16, 16, 16
ve --elim random : 2.4 :: 8, 8, 8, 8, 8, 9, 8, 9, 9, 9
ve --elim random : 2.1 :: 11353, 10541, 82006, 796, 979, 35018, 5021, 702, 7193, 999999999999999
ve --elim random : 2.2 :: 9271, 68160, 17749, 155910, 260566, 999999999999999, 36335, 44624, 20923, 365065
ve --elim random : 2.3 :: 16, 16, 16, 16, 16, 16, 16, 16, 16, 16
ve --elim random : 2.4 :: 9, 8, 9, 8, 8, 8, 9, 8, 9, 8
ve --elim random : 2.1 :: 4342, 1928, 3189, 4270, 17069, 2537, 4954, 8690, 8699, 65635
ve --elim random : 2.2 :: 90329, 7931, 4137, 26478, 26019, 37513, 25869, 15422, 5548, 53934
ve --elim random : 2.3 :: 16, 16, 16, 16, 16, 16, 16, 16, 16, 15
ve --elim random : 2.4 :: 9, 8, 9, 8, 9, 8, 9, 9, 9, 9
ve --elim random : 2.1 :: 4928, 1217, 6541, 5527, 2320, 3805, 2311, 3082, 5912, 2665
ve --elim random : 2.2 :: 16662, 59387, 71444, 2809, 16924, 37518, 47843, 999999999999999, 8592, 2535
ve --elim random : 2.3 :: 16, 15, 16, 16, 16, 16, 15, 15, 16, 16
ve --elim random : 2.4 :: 8, 9, 9, 8, 9, 9, 9, 8, 8, 8
ve --elim random : 2.1 :: 5704, 2619, 10020, 4048, 1551, 284, 1712, 2075, 2334, 886
ve --elim random : 2.2 :: 17971, 16210, 49532, 33705, 35473, 78633, 36678, 17257, 32596, 94051
ve --elim random : 2.3 :: 16, 16, 16, 16, 16, 16, 16, 16, 16, 16
ve --elim random : 2.4 :: 8, 9, 8, 9, 8, 9, 8, 8, 8, 8
ve --elim random : 2.1 :: 7282, 990, 3307, 52968, 9385, 4252, 748, 3528, 10953, 857
ve --elim random : 2.2 :: 19049, 23178, 56711, 25967, 66951, 6033, 12608, 2925, 87291, 73535
ve --elim random : 2.3 :: 16, 16, 17, 20, 22, 20, 21, 19, 20, 22
ve --elim random : 2.4 :: 9, 11, 11, 10, 9, 11, 9, 10, 9, 11
ve --elim random : 2.1 :: 11313, 5122, 12428, 136815, 5625, 2386, 2403, 2996, 16945, 21437
ve --elim random : 2.2 :: 15946, 8860, 240712, 71976, 5568, 14738, 85799, 77002, 5462, 35668
ve --elim random : 2.3 :: 16, 16, 16, 16, 16, 16, 16, 16, 15, 16
ve --elim random : 2.4 :: 8, 8, 8, 9, 9, 9, 8, 9, 9, 9
ve --elim random : 2.1 :: 1283, 523, 5167, 5094, 1888, 4276, 2959, 5120, 2428, 1156
ve --elim random : 2.2 :: 12218, 48162, 4891, 41484, 20466, 8524, 21283, 44085, 71076, 22164
ve --elim random : 2.3 :: 16, 16, 16, 16, 16, 16, 15, 16, 16, 16
ve --elim random : 2.4 :: 8, 9, 9, 8, 9, 9, 8, 9, 8, 9
ve --elim random : 2.1 :: 107896, 4495, 12054, 22682, 4730, 1571, 18547, 738, 6078, 881
ve --elim random : 2.2 :: 26420, 8409, 115289, 999999999999999, 69558, 27199, 199717, 34276, 2301, 84738
ve --elim random : 2.3 :: 16, 16, 16, 16, 16, 16, 16, 16, 16, 16
ve --elim random : 2.4 :: 8, 9, 8, 9, 8, 8, 8, 9, 9, 9
ve --elim random : 2.1 :: 661, 15286, 329, 909, 4105, 1393, 8190, 49635, 6599, 19225
ve --elim random : 2.2 :: 107920, 118772, 11431, 9545, 13420, 12833, 12615, 36144, 6343, 74617
ve --elim random : 2.3 :: 16, 16, 16, 16, 16, 16, 16, 16, 16, 16
ve --elim random : 2.4 :: 9, 8, 9, 9, 8, 9, 9, 9, 8, 8
ve --elim random : 2.1 :: 1422, 5227, 868, 1470, 8288, 21550, 1325, 1724, 1248, 10228
ve --elim random : 2.2 :: 52497, 11681, 5292, 5633, 14451, 28696, 7725, 33792, 72691, 338486
ve --elim random : 2.3 :: 16, 16, 16, 16, 16, 16, 16, 16, 16, 16
ve --elim random : 2.4 :: 8, 9, 8, 8, 8, 9, 8, 8, 9, 9
ve --elim random : 2.1 :: 14418, 2605, 3601, 1654, 24746, 5224, 5780, 34915, 2122, 5318
ve --elim random : 2.2 :: 5165, 26470, 36756, 9521, 34665, 8549, 7614, 37591, 999999999999999, 64193
ve --elim random : 2.3 :: 16, 16, 16, 16, 16, 16, 15, 16, 16, 16
ve --elim random : 2.4 :: 8, 9, 9, 9, 8, 8, 9, 8, 8, 9
ve --elim random : 2.1 :: 2306, 14188, 2644, 772, 6468, 848, 3091, 12138, 9491, 5708
ve --elim random : 2.2 :: 2010, 185696, 18283, 35835, 24723, 2568, 3615, 70195, 46197, 4036
ve --elim random : 2.3 :: 16, 16, 16, 16, 16, 16, 16, 16, 16, 16
ve --elim random : 2.4 :: 8, 8, 9, 9, 8, 9, 9, 8, 8, 8
ve --elim random : 2.1 :: 11205, 8358, 14158, 135534, 56927, 5459, 15563, 5370, 950, 3437
ve --elim random : 2.2 :: 74480, 5658, 50461, 34592, 73100, 4195, 7693, 29052, 76400, 11776
ve --elim random : 2.3 :: 16, 16, 16, 16, 16, 16, 16, 16, 16, 16
ve --elim random : 2.4 :: 8, 9, 9, 9, 9, 8, 8, 8, 9, 8
ve --elim random : 2.1 :: 3411, 22354, 298, 6919, 1017, 20614, 10674, 39358, 3662, 1254
ve --elim random : 2.2 :: 12610, 1278, 6792, 11304, 4514, 4193, 5048, 73475, 19960, 999999999999999
ve --elim random : 2.3 :: 16, 16, 16, 16, 16, 16, 16, 16, 16, 16
ve --elim random : 2.4 :: 9, 8, 9, 9, 9, 8, 9, 8, 9, 8
ve --elim random : 2.1 :: 5131, 2186, 13143, 7985, 1527, 11170, 92784, 6685, 47460, 49907
ve --elim random : 2.2 :: 5142, 121796, 4508, 8105, 136125, 16616, 5011, 6187, 324943, 36487
ve --elim random : 2.3 :: 16, 16, 15, 16, 15, 16, 16, 16, 15, 15
ve --elim random : 2.4 :: 8, 9, 8, 9, 8, 8, 8, 8, 9, 9
ve --elim random : 2.1 :: 4432, 13035, 33927, 911, 6629, 25134, 9034, 1101, 11306, 19723
ve --elim random : 2.2 :: 100302, 261517, 31227, 999999999999999, 189024, 132169, 39631, 30087, 64528, 21109
ve --elim random : 2.3 :: 16, 17, 16, 16, 16, 16, 16, 16, 16, 16
ve --elim random : 2.4 :: 9, 8, 9, 8, 9, 9, 9, 9, 9, 9
ve --elim random : 2.1 :: 3285, 1909, 1263, 2356, 4899, 8905, 30167, 29913, 3991, 8811
ve --elim random : 2.2 :: 82494, 240185, 39967, 78361, 4809, 53441, 11317, 12449, 14639, 18145
ve --elim random : 2.3 :: 16, 16, 15, 16, 16, 15, 16, 16, 16, 16
ve --elim random : 2.4 :: 8, 9, 8, 8, 9, 9, 8, 8, 8, 9
ve --elim random : 2.1 :: 1638, 9397, 2342, 3210, 2349, 9456, 75978, 12285, 6873, 7159
ve --elim random : 2.2 :: 999999999999999, 6062, 4279, 8562, 36308, 2825, 16356, 36660, 222722, 14888
ve --elim random : 2.3 :: 16, 16, 16, 16, 16, 16, 16, 16, 16, 16
ve --elim random : 2.4 :: 8, 8, 8, 9, 8, 9, 9, 9, 8, 8
ve --elim random : 2.1 :: 8649, 4113, 15685, 527, 11911, 11863, 37841, 26094, 4182, 19794
ve --elim random : 2.2 :: 49025, 47837, 34919, 25601, 35133, 21581, 4369, 7556, 38380, 32742
ve --elim random : 2.3 :: 16, 15, 16, 16, 16, 16, 16, 16, 16, 16
ve --elim random : 2.4 :: 9, 8, 8, 8, 8, 9, 9, 8, 8, 9
ve --elim random : 2.1 :: 29953, 50471, 1686, 2569, 3044, 2173, 10064, 91047, 2966, 4605
ve --elim random : 2.2 :: 31807, 84927, 89654, 13377, 69803, 2558, 15530, 80868, 5802, 8509
ve --elim random : 2.3 :: 16, 16, 16, 16, 16, 16, 16, 16, 16, 16
ve --elim random : 2.4 :: 9, 9, 8, 8, 9, 8, 8, 8, 8, 9
ve --elim random : 2.1 :: 5027, 2447, 1879, 1260, 1996, 7802, 46919, 5159, 1968, 60530
ve --elim random : 2.2 :: 44535, 211148, 24073, 58994, 17728, 13990, 108462, 3164, 999999999999999, 24429
ve --elim random : 2.3 :: 16, 16, 16, 16, 16, 16, 16, 16, 16, 16
ve --elim random : 2.4 :: 8, 9, 8, 8, 8, 9, 8, 8, 8, 9
ve --elim random : 2.1 :: 5361, 2880, 3186, 25707, 22019, 5659, 74404, 33172, 4259, 3501
ve --elim random : 2.2 :: 26965, 228876, 36310, 10045, 32793, 4059, 7899, 94354, 34843, 999999999999999
ve --elim random : 2.3 :: 16, 16, 16, 16, 16, 16, 16, 16, 16, 16
ve --elim random : 2.4 :: 8, 8, 8, 8, 8, 9, 8, 8, 9, 9
ve --elim random : 2.1 :: 5215, 942, 4661, 2467, 69317, 3032, 1993, 8588, 1585, 938
ve --elim random : 2.2 :: 45164, 26332, 114905, 25075, 72950, 50354, 3611, 2541, 41988, 53494
ve --elim random : 2.3 :: 16, 16, 16, 16, 16, 16, 16, 16, 16, 15
ve --elim random : 2.4 :: 9, 9, 9, 9, 9, 9, 8, 8, 8, 9
ve --elim random : 2.1 :: 2351, 45921, 20576, 6179, 46639, 4703, 89200, 16128, 51727, 26805
ve --elim random : 2.2 :: 52818, 10651, 5248, 3145, 70919, 2843, 26992, 9880, 105610, 25476
ve --elim random : 2.3 :: 16, 16, 16, 16, 16, 16, 16, 16, 16, 16
ve --elim random : 2.4 :: 12, 9, 9, 8, 8, 9, 8, 9, 8, 9
ve --elim random : 2.1 :: 1646, 674, 22965, 16261, 8110, 431, 1450, 17190, 8375, 4293
ve --elim random : 2.2 :: 32948, 4007, 182490, 53877, 15257, 3308, 999999999999999, 2170, 6776, 42312
ve --elim random : 2.3 :: 16, 16, 16, 16, 16, 16, 16, 16, 16, 16
ve --elim random : 2.4 :: 8, 8, 9, 8, 9, 8, 9, 9, 9, 9
ve --elim random : 2.1 :: 372, 12318, 2217, 3587, 1525, 1546, 2531, 707, 278096, 1488
ve --elim random : 2.2 :: 2461, 33932, 43209, 999999999999999, 7775, 33552, 999999999999999, 66389, 7292, 30388
ve --elim random : 2.3 :: 16, 16, 16, 16, 16, 15, 16, 16, 16, 16
ve --elim random : 2.4 :: 8, 9, 8, 9, 9, 8, 9, 9, 8, 8
ve --elim random : 2.1 :: 363, 3366, 24716, 769, 6209, 3267, 11513, 21298, 1267, 18162
ve --elim random : 2.2 :: 7427, 2214, 81786, 9854, 156943, 5646, 20415, 7255, 27408, 45638
ve --elim random : 2.3 :: 16, 16, 16, 16, 16, 16, 16, 16, 16, 16
ve --elim random : 2.4 :: 8, 8, 8, 8, 9, 9, 8, 9, 9, 9
ve --elim random : 2.1 :: 24594, 24165, 3684, 1573, 4266, 6580, 929, 8783, 4210, 7785
ve --elim random : 2.2 :: 38330, 30298, 34969, 999999999999999, 35561, 31431, 57190, 27197, 56094, 999999999999999
ve --elim random : 2.3 :: 16, 16, 16, 16, 16, 16, 16, 16, 16, 16
ve --elim random : 2.4 :: 9, 9, 8, 8, 8, 9, 9, 8, 8, 8
ve --elim random : 2.1 :: 1633, 12199, 26069, 5848, 516, 4783, 405, 271225, 14688, 1123
ve --elim random : 2.2 :: 6261, 24760, 74441, 247375, 19209, 284309, 4784, 170668, 4144, 114107
ve --elim random : 2.3 :: 16, 15, 16, 16, 16, 16, 15, 16, 16, 16
ve --elim random : 2.4 :: 9, 9, 9, 8, 9, 9, 9, 8, 8, 9
ve --elim random : 2.1 :: 1363, 2266, 1204, 1528, 4300, 220702, 21995, 15555, 46407, 24323
ve --elim random : 2.2 :: 59967, 42871, 19801, 113175, 16689, 14578, 64133, 174808, 49524, 37011
ve --elim random : 2.3 :: 16, 16, 16, 16, 16, 16, 16, 15, 16, 15
ve --elim random : 2.4 :: 9, 8, 8, 8, 8, 8, 9, 9, 8, 8
ve --elim random : 2.1 :: 1889, 76105, 11578, 1637, 15351, 29435, 4767, 49875, 11086, 8038
ve --elim random : 2.2 :: 60409, 2041, 999999999999999, 12235, 105371, 4797, 3069, 2478, 29378, 4288
ve --elim random : 2.3 :: 16, 16, 16, 16, 16, 16, 16, 16, 16, 16
ve --elim random : 2.4 :: 8, 8, 8, 9, 9, 9, 9, 8, 9, 8
ve --elim random : 2.1 :: 6295, 2705, 11002, 744, 1103, 8712, 10487, 5009, 18651, 23109
ve --elim random : 2.2 :: 18156, 7890, 62641, 3977, 126279, 39517, 10633, 24340, 47601, 20046
ve --elim random : 2.3 :: 16, 16, 16, 16, 16, 16, 16, 16, 16, 16
ve --elim random : 2.4 :: 8, 8, 8, 8, 8, 8, 9, 8, 8, 9
ve --elim random : 2.1 :: 1391, 690, 17084, 35712, 1479, 90964, 15580, 1409, 2482, 4624
ve --elim random : 2.2 :: 22124, 28243, 51569, 40184, 28690, 59380, 62558, 79634, 4700, 5666
ve --elim random : 2.3 :: 15, 16, 16, 16, 16, 16, 16, 16, 16, 16
ve --elim random : 2.4 :: 8, 8, 9, 8, 8, 8, 8, 8, 8, 9
ve --elim random : 2.1 :: 3191, 12496, 7240, 7126, 1330, 12632, 21230, 113178, 3438, 2394
ve --elim random : 2.2 :: 26527, 30620, 10329, 99035, 9343, 18196, 52926, 22198, 43405, 12758
ve --elim random : 2.3 :: 16, 16, 16, 16, 16, 16, 16, 16, 16, 16
ve --elim random : 2.4 :: 8, 9, 9, 8, 9, 8, 8, 8, 8, 8
ve --elim random : 2.1 :: 33378, 17816, 3202, 3602, 9623, 23740, 2471, 2724, 5041, 2714
ve --elim random : 2.2 :: 164193, 16562, 5099, 4699, 8797, 112485, 43366, 53644, 16517, 9829
ve --elim random : 2.3 :: 16, 16, 15, 16, 16, 16, 16, 16, 16, 16
ve --elim random : 2.4 :: 9, 9, 9, 8, 9, 9, 9, 8, 9, 8
ve --elim random : 2.1 :: 1904, 39058, 5953, 3833, 24640, 4115, 670, 1740, 102977, 53818
ve --elim random : 2.2 :: 6564, 19800, 43956, 13667, 27497, 199105, 32143, 12709, 1267, 19578
ve --elim random : 2.3 :: 15, 16, 16, 16, 16, 16, 16, 16, 16, 16
ve --elim random : 2.4 :: 8, 8, 9, 9, 8, 9, 8, 8, 8, 8
ve --elim random : 2.1 :: 1292, 999999999999999, 8789, 7311, 6829, 2563, 2855, 5343, 6655, 10287
ve --elim random : 2.2 :: 9793, 163124, 149969, 41141, 10592, 14357, 21788, 4899, 161647, 4644
ve --elim random : 2.3 :: 16, 16, 16, 15, 16, 16, 16, 16, 16, 16
ve --elim random : 2.4 :: 9, 9, 8, 9, 8, 8, 8, 8, 8, 9
ve --elim random : 2.1 :: 36222, 8421, 5361, 1800, 3417, 5877, 4364, 12896, 26746, 12407
ve --elim random : 2.2 :: 40230, 48704, 24013, 7962, 120453, 15398, 248025, 146493, 999999999999999, 5251
ve --elim random : 2.3 :: 16, 16, 17, 16, 16, 16, 16, 16, 16, 15
ve --elim random : 2.4 :: 8, 9, 8, 9, 8, 9, 8, 8, 8, 8
ve --elim random : 2.1 :: 46134, 5171, 1369, 2592, 7223, 1898, 1808, 5916, 4226, 12092
ve --elim random : 2.2 :: 11053, 116616, 2212, 7506, 40827, 56136, 999999999999999, 8357, 2454, 21269
ve --elim random : 2.3 :: 16, 16, 16, 16, 16, 16, 16, 16, 16, 16
ve --elim random : 2.4 :: 9, 9, 8, 8, 8, 9, 9, 9, 8, 8
ve --elim random : 2.1 :: 17406, 51590, 1263, 24913, 9101, 1411, 6184, 9667, 23292, 33578
ve --elim random : 2.2 :: 29748, 3821, 3732, 307292, 29727, 45915, 71282, 132394, 58183, 7203
ve --elim random : 2.3 :: 16, 16, 16, 16, 16, 16, 16, 16, 16, 16
ve --elim random : 2.4 :: 9, 9, 8, 9, 9, 8, 9, 8, 8, 8
ve --elim random : 2.1 :: 2484, 793, 4228, 1781, 1493, 13243, 60896, 1072, 4965, 2065
ve --elim random : 2.2 :: 10377, 5194, 78931, 202039, 32601, 23779, 138637, 999999999999999, 28049, 5888
ve --elim random : 2.3 :: 15, 16, 16, 16, 16, 16, 16, 16, 16, 16
ve --elim random : 2.4 :: 8, 9, 8, 9, 8, 8, 9, 9, 10, 11
ve --elim random : 2.1 :: 2300, 1052, 52525, 8728, 8222, 3121, 5783, 35144, 34828, 6614
ve --elim random : 2.2 :: 26794, 2598, 23709, 22641, 12192, 10001, 86575, 999999999999999, 11796, 65181
ve --elim random : 2.3 :: 16, 16, 16, 16, 16, 16, 16, 16, 16, 16
ve --elim random : 2.4 :: 8, 8, 8, 8, 9, 8, 9, 9, 9, 9
ve --elim random : 2.1 :: 16421, 16588, 26030, 10496, 20084, 580, 1440, 1225, 3951, 35760
ve --elim random : 2.2 :: 34981, 8679, 3913, 34413, 8521, 37546, 42354, 760, 6588, 2111
ve --elim random : 2.3 :: 16, 16, 16, 16, 16, 16, 17, 16, 16, 15
ve --elim random : 2.4 :: 8, 8, 8, 9, 9, 8, 9, 8, 8, 9