MODEL_START 65 1
Time: 2.220
MODEL <24865755756441600, [ 419804454418968, -10518493016892846, -75069006698289413, -3760756568141197, -10521355070623616, -108184913219039307, -7183799349343502, -68217716036976947, -9924248974350233, -9528793680815764, -55854380130796153, -138653702531474703, -62270838293870659, -111427186384911642, -95594895329171304, -4052772837128976, -21075585594595550, -88160758222879975, -31272112493085991, -159500962041895676, 162841296860202584 ]>
K3_POINT [ -38482206035903236, -17095994057767074, -3953562242801059, 148115522351209670, -41132567066364935, 3056430426494935 ]
MODEL_DONE 65 1
