MODEL_START 117 1
Time: 1.920
MODEL <2242909757088, [ -207328329523, 1085197609660, 2654959044967, 1604265365424, -2918226412847, -3140702987338, 2362012740255, 3920599801713, -174351390590, -4363406409261, -5896511049748, -405786215092, -3788726849699, -134418644506, 590364908493, -2012264191253, 4158308822743, 5709511367328, 724265468948, 634028267551, -133736869601 ]>
K3_POINT [ 29329433805980, -3511187735879, 24775739786808, 9160912659585, 28273763274080, -4353779832682 ]
MODEL_DONE 117 1
