MODEL_START 65 2
Time: 2.720
MODEL <24865755756441600, [ 335413894833258, -13878195207034842, 13902706949967383, -22903056717459136, -26990535049678016, -17093527043029479, -17342329012355753, 3600359959103369, -4732154250400378, -60804165992057438, -58929111810864027, 59181618030857756, -102086852158638813, -26744467269151526, -85699992257248850, 56143844447508098, 11470324322473916, 55861329998866769, -56894497893069033, -72938668440765928, -2430780540538323 ]>
MODEL_DONE 65 2
