MODEL_START 65 0
Time: 1.980
MODEL <4973151151288320, [ 36164112769435, 2154551393523755, -1193395667163375, 2173895062026557, 677249763449776, -3112829121979469, -9574567664892834, -523416653924243, 5153825832020764, -22929449755446610, 4352744559856948, 2726281329071101, -9954630161319067, 7062698858204902, 17773772629150535, 10183456231367829, -6268678562517630, -37951179259036870, -13956131279948940, 39525337372400542, 21352668674157133 ]>
MODEL_DONE 65 0
