MODEL_START 117 0
Time: 1.650
MODEL <2242909757088, [ -738416702769, -181980609476, -890535400337, 2380480134430, 2440806618381, -7818741915223, 216515746587, 1244846453632, -1370365189130, -1212779945514, 3352383220338, 1526517620181, -2261314385561, -4170378984681, 6319548952814, 592560172650, 2782227008115, -133348873585, 2132354063664, -4372156531761, -4845849346272 ]>
MODEL_DONE 117 0
