MODEL_START 29 1
Time: 1.500
MODEL <284356800, [ 194767504, -415647104, -189364952, -52598920, 173665128, -739858576, 244742605, 219343637, 66999208, -147480222, 1033707784, 183724843, 392927254, 42438696, 436417918, 188809481, 126506374, 8519092, 85918321, -503323304, 1207143824 ]>
K3_POINT [ 288462191, 513738932, 341894292, -460829058, 362866614, -100061232 ]
MODEL_DONE 29 1
