MODEL_START 117 2
Time: 1.940
MODEL <2242909757088, [ 390765846416, -1325137381628, -2768050065476, -734736750860, 2352100178624, -4480981098400, 33100325012, -996706880474, -1681890811506, -2385918755136, 1560378119113, -2391831278359, -4425936392762, -5166093239620, -937796111167, -1543079332891, -568623665428, -4966640760321, 3214626361532, -11708764922820, 5007205275504 ]>
MODEL_DONE 117 2
