4 Param Declarations
    p1 : Size=1, Index=None, Domain=Any, Default=None, Mutable=False
        Key  : Value
        None :   4.0
    p2 : Size=1, Index=None, Domain=Any, Default=None, Mutable=False
        Key  : Value
        None :   2.0
    p3 : Size=1, Index=None, Domain=Any, Default=None, Mutable=False
        Key  : Value
        None :  40.0
    p4 : Size=1, Index=None, Domain=Any, Default=None, Mutable=False
        Key  : Value
        None :  20.0

5 Var Declarations
    dza : Size=51, Index=t
        Key      : Lower : Value : Upper : Fixed : Stale : Domain
             0.0 :  None :  None :  None : False :  True :  Reals
         0.00571 :  None :  None :  None : False :  True :  Reals
        0.027684 :  None :  None :  None : False :  True :  Reals
        0.058359 :  None :  None :  None : False :  True :  Reals
        0.086024 :  None :  None :  None : False :  True :  Reals
             0.1 :  None :  None :  None : False :  True :  Reals
         0.10571 :  None :  None :  None : False :  True :  Reals
        0.127684 :  None :  None :  None : False :  True :  Reals
        0.158359 :  None :  None :  None : False :  True :  Reals
        0.186024 :  None :  None :  None : False :  True :  Reals
             0.2 :  None :  None :  None : False :  True :  Reals
         0.20571 :  None :  None :  None : False :  True :  Reals
        0.227684 :  None :  None :  None : False :  True :  Reals
        0.258359 :  None :  None :  None : False :  True :  Reals
        0.286024 :  None :  None :  None : False :  True :  Reals
             0.3 :  None :  None :  None : False :  True :  Reals
         0.30571 :  None :  None :  None : False :  True :  Reals
        0.327684 :  None :  None :  None : False :  True :  Reals
        0.358359 :  None :  None :  None : False :  True :  Reals
        0.386024 :  None :  None :  None : False :  True :  Reals
             0.4 :  None :  None :  None : False :  True :  Reals
         0.40571 :  None :  None :  None : False :  True :  Reals
        0.427684 :  None :  None :  None : False :  True :  Reals
        0.458359 :  None :  None :  None : False :  True :  Reals
        0.486024 :  None :  None :  None : False :  True :  Reals
             0.5 :  None :  None :  None : False :  True :  Reals
         0.50571 :  None :  None :  None : False :  True :  Reals
        0.527684 :  None :  None :  None : False :  True :  Reals
        0.558359 :  None :  None :  None : False :  True :  Reals
        0.586024 :  None :  None :  None : False :  True :  Reals
             0.6 :  None :  None :  None : False :  True :  Reals
         0.60571 :  None :  None :  None : False :  True :  Reals
        0.627684 :  None :  None :  None : False :  True :  Reals
        0.658359 :  None :  None :  None : False :  True :  Reals
        0.686024 :  None :  None :  None : False :  True :  Reals
             0.7 :  None :  None :  None : False :  True :  Reals
         0.70571 :  None :  None :  None : False :  True :  Reals
        0.727684 :  None :  None :  None : False :  True :  Reals
        0.758359 :  None :  None :  None : False :  True :  Reals
        0.786024 :  None :  None :  None : False :  True :  Reals
             0.8 :  None :  None :  None : False :  True :  Reals
         0.80571 :  None :  None :  None : False :  True :  Reals
        0.827684 :  None :  None :  None : False :  True :  Reals
        0.858359 :  None :  None :  None : False :  True :  Reals
        0.886024 :  None :  None :  None : False :  True :  Reals
             0.9 :  None :  None :  None : False :  True :  Reals
         0.90571 :  None :  None :  None : False :  True :  Reals
        0.927684 :  None :  None :  None : False :  True :  Reals
        0.958359 :  None :  None :  None : False :  True :  Reals
        0.986024 :  None :  None :  None : False :  True :  Reals
               1 :  None :  None :  None : False :  True :  Reals
    dzb : Size=51, Index=t
        Key      : Lower : Value : Upper : Fixed : Stale : Domain
             0.0 :  None :  None :  None : False :  True :  Reals
         0.00571 :  None :  None :  None : False :  True :  Reals
        0.027684 :  None :  None :  None : False :  True :  Reals
        0.058359 :  None :  None :  None : False :  True :  Reals
        0.086024 :  None :  None :  None : False :  True :  Reals
             0.1 :  None :  None :  None : False :  True :  Reals
         0.10571 :  None :  None :  None : False :  True :  Reals
        0.127684 :  None :  None :  None : False :  True :  Reals
        0.158359 :  None :  None :  None : False :  True :  Reals
        0.186024 :  None :  None :  None : False :  True :  Reals
             0.2 :  None :  None :  None : False :  True :  Reals
         0.20571 :  None :  None :  None : False :  True :  Reals
        0.227684 :  None :  None :  None : False :  True :  Reals
        0.258359 :  None :  None :  None : False :  True :  Reals
        0.286024 :  None :  None :  None : False :  True :  Reals
             0.3 :  None :  None :  None : False :  True :  Reals
         0.30571 :  None :  None :  None : False :  True :  Reals
        0.327684 :  None :  None :  None : False :  True :  Reals
        0.358359 :  None :  None :  None : False :  True :  Reals
        0.386024 :  None :  None :  None : False :  True :  Reals
             0.4 :  None :  None :  None : False :  True :  Reals
         0.40571 :  None :  None :  None : False :  True :  Reals
        0.427684 :  None :  None :  None : False :  True :  Reals
        0.458359 :  None :  None :  None : False :  True :  Reals
        0.486024 :  None :  None :  None : False :  True :  Reals
             0.5 :  None :  None :  None : False :  True :  Reals
         0.50571 :  None :  None :  None : False :  True :  Reals
        0.527684 :  None :  None :  None : False :  True :  Reals
        0.558359 :  None :  None :  None : False :  True :  Reals
        0.586024 :  None :  None :  None : False :  True :  Reals
             0.6 :  None :  None :  None : False :  True :  Reals
         0.60571 :  None :  None :  None : False :  True :  Reals
        0.627684 :  None :  None :  None : False :  True :  Reals
        0.658359 :  None :  None :  None : False :  True :  Reals
        0.686024 :  None :  None :  None : False :  True :  Reals
             0.7 :  None :  None :  None : False :  True :  Reals
         0.70571 :  None :  None :  None : False :  True :  Reals
        0.727684 :  None :  None :  None : False :  True :  Reals
        0.758359 :  None :  None :  None : False :  True :  Reals
        0.786024 :  None :  None :  None : False :  True :  Reals
             0.8 :  None :  None :  None : False :  True :  Reals
         0.80571 :  None :  None :  None : False :  True :  Reals
        0.827684 :  None :  None :  None : False :  True :  Reals
        0.858359 :  None :  None :  None : False :  True :  Reals
        0.886024 :  None :  None :  None : False :  True :  Reals
             0.9 :  None :  None :  None : False :  True :  Reals
         0.90571 :  None :  None :  None : False :  True :  Reals
        0.927684 :  None :  None :  None : False :  True :  Reals
        0.958359 :  None :  None :  None : False :  True :  Reals
        0.986024 :  None :  None :  None : False :  True :  Reals
               1 :  None :  None :  None : False :  True :  Reals
    za : Size=51, Index=t
        Key      : Lower : Value          : Upper : Fixed : Stale : Domain
             0.0 :  None :            1.0 :  None : False : False :  Reals
         0.00571 :  None : 0.977812279974 :  None : False : False :  Reals
        0.027684 :  None : 0.897420371598 :  None : False : False :  Reals
        0.058359 :  None : 0.798743226376 :  None : False : False :  Reals
        0.086024 :  None : 0.721067811612 :  None : False : False :  Reals
             0.1 :  None : 0.685294140966 :  None : False : False :  Reals
         0.10571 :  None : 0.671448724858 :  None : False : False :  Reals
        0.127684 :  None : 0.621070519067 :  None : False : False :  Reals
        0.158359 :  None :  0.55867835577 :  None : False : False :  Reals
        0.186024 :  None : 0.509433843825 :  None : False : False :  Reals
             0.2 :  None : 0.486785158115 :  None : False : False :  Reals
         0.20571 :  None : 0.477975912233 :  None : False : False :  Reals
        0.227684 :  None : 0.446049259303 :  None : False : False :  Reals
        0.258359 :  None : 0.406494394239 :  None : False : False :  Reals
        0.286024 :  None : 0.375259797217 :  None : False : False :  Reals
             0.3 :  None :  0.36091878828 :  None : False : False :  Reals
         0.30571 :  None : 0.355313817067 :  None : False : False :  Reals
        0.327684 :  None : 0.335080228323 :  None : False : False :  Reals
        0.358359 :  None : 0.310003844561 :  None : False : False :  Reals
        0.386024 :  None : 0.290192955028 :  None : False : False :  Reals
             0.4 :  None : 0.281112407744 :  None : False : False :  Reals
         0.40571 :  None : 0.277546421538 :  None : False : False :  Reals
        0.427684 :  None : 0.264723559557 :  None : False : False :  Reals
        0.458359 :  None : 0.248826345617 :  None : False : False :  Reals
        0.486024 :  None : 0.236261383877 :  None : False : False :  Reals
             0.5 :  None : 0.230511758295 :  None : False : False :  Reals
         0.50571 :  None : 0.228243159375 :  None : False : False :  Reals
        0.527684 :  None : 0.220116926615 :  None : False : False :  Reals
        0.558359 :  None : 0.210039118925 :  None : False : False :  Reals
        0.586024 :  None : 0.202070111838 :  None : False : False :  Reals
             0.6 :  None : 0.198429643562 :  None : False : False :  Reals
         0.60571 :  None : 0.196990497732 :  None : False : False :  Reals
        0.627684 :  None : 0.191836834341 :  None : False : False :  Reals
        0.658359 :  None : 0.185448275941 :  None : False : False :  Reals
        0.686024 :  None : 0.180400845587 :  None : False : False :  Reals
             0.7 :  None : 0.178089178747 :  None : False : False :  Reals
         0.70571 :  None : 0.177180945029 :  None : False : False :  Reals
        0.727684 :  None : 0.173907783607 :  None : False : False :  Reals
        0.758359 :  None : 0.169857970679 :  None : False : False :  Reals
        0.786024 :  None : 0.166661860054 :  None : False : False :  Reals
             0.8 :  None : 0.165193212111 :  None : False : False :  Reals
         0.80571 :  None : 0.164620034483 :  None : False : False :  Reals
        0.827684 :  None :  0.16254375454 :  None : False : False :  Reals
        0.858359 :  None : 0.159974903173 :  None : False : False :  Reals
        0.886024 :  None : 0.157950280624 :  None : False : False :  Reals
             0.9 :  None : 0.157017256849 :  None : False : False :  Reals
         0.90571 :  None :  0.15665552715 :  None : False : False :  Reals
        0.927684 :  None : 0.155339576788 :  None : False : False :  Reals
        0.958359 :  None : 0.153710866922 :  None : False : False :  Reals
        0.986024 :  None : 0.152426586541 :  None : False : False :  Reals
               1 :  None : 0.151833863083 :  None : False : False :  Reals
    zb : Size=51, Index=t
        Key      : Lower : Value           : Upper : Fixed : Stale : Domain
             0.0 :  None :             0.0 :  None : False : False :  Reals
         0.00571 :  None : 0.0184570025544 :  None : False : False :  Reals
        0.027684 :  None : 0.0666150289684 :  None : False : False :  Reals
        0.058359 :  None :  0.101674636549 :  None : False : False :  Reals
        0.086024 :  None :  0.124411470858 :  None : False : False :  Reals
             0.1 :  None :  0.134522400341 :  None : False : False :  Reals
         0.10571 :  None :  0.138407400785 :  None : False : False :  Reals
        0.127684 :  None :  0.152494714234 :  None : False : False :  Reals
        0.158359 :  None :   0.16988956616 :  None : False : False :  Reals
        0.186024 :  None :  0.183608424397 :  None : False : False :  Reals
             0.2 :  None :  0.189917250002 :  None : False : False :  Reals
         0.20571 :  None :  0.192371022979 :  None : False : False :  Reals
        0.227684 :  None :  0.201263907497 :  None : False : False :  Reals
        0.258359 :  None :  0.212281436418 :  None : False : False :  Reals
        0.286024 :  None :  0.220981460928 :  None : False : False :  Reals
             0.3 :  None :  0.224975972595 :  None : False : False :  Reals
         0.30571 :  None :  0.226537166716 :  None : False : False :  Reals
        0.327684 :  None :  0.232172974599 :  None : False : False :  Reals
        0.358359 :  None :  0.239157687348 :  None : False : False :  Reals
        0.386024 :  None :  0.244675759814 :  None : False : False :  Reals
             0.4 :  None :  0.247205030488 :  None : False : False :  Reals
         0.40571 :  None :  0.248198290662 :  None : False : False :  Reals
        0.427684 :  None :  0.251769937364 :  None : False : False :  Reals
        0.458359 :  None :  0.256197905295 :  None : False : False :  Reals
        0.486024 :  None :  0.259697716041 :  None : False : False :  Reals
             0.5 :  None :  0.261299201697 :  None : False : False :  Reals
         0.50571 :  None :  0.261931091289 :  None : False : False :  Reals
        0.527684 :  None :  0.264194550578 :  None : False : False :  Reals
        0.558359 :  None :  0.267001596114 :  None : False : False :  Reals
        0.586024 :  None :  0.269221261995 :  None : False : False :  Reals
             0.6 :  None :  0.270235268477 :  None : False : False :  Reals
         0.60571 :  None :  0.270636124408 :  None : False : False :  Reals
        0.627684 :  None :  0.272071612481 :  None : False : False :  Reals
        0.658359 :  None :  0.273851064662 :  None : False : False :  Reals
        0.686024 :  None :  0.275256962333 :  None : False : False :  Reals
             0.7 :  None :  0.275900847832 :  None : False : False :  Reals
         0.70571 :  None :  0.276153824835 :  None : False : False :  Reals
        0.727684 :  None :  0.277065522557 :  None : False : False :  Reals
        0.758359 :  None :  0.278193546817 :  None : False : False :  Reals
        0.786024 :  None :  0.279083782998 :  None : False : False :  Reals
             0.8 :  None :  0.279492856263 :  None : False : False :  Reals
         0.80571 :  None :  0.279652507622 :  None : False : False :  Reals
        0.827684 :  None :  0.280230829098 :  None : False : False :  Reals
        0.858359 :  None :  0.280946350161 :  None : False : False :  Reals
        0.886024 :  None :  0.281510283184 :  None : False : False :  Reals
             0.9 :  None :  0.281770165157 :  None : False : False :  Reals
         0.90571 :  None :  0.281870920384 :  None : False : False :  Reals
        0.927684 :  None :  0.282237461689 :  None : False : False :  Reals
        0.958359 :  None :  0.282691118198 :  None : False : False :  Reals
        0.986024 :  None :  0.283048838258 :  None : False : False :  Reals
               1 :  None :   0.28321393388 :  None : False : False :  Reals
    zc : Size=51, Index=t
        Key      : Lower : Value              : Upper : Fixed : Stale : Domain
             0.0 :  None : -5.77096113154e-12 :  None : False : False :  Reals
         0.00571 :  None :   0.00373071746945 :  None : False : False :  Reals
        0.027684 :  None :    0.0359645994339 :  None : False : False :  Reals
        0.058359 :  None :    0.0995821370753 :  None : False : False :  Reals
        0.086024 :  None :      0.15452071753 :  None : False : False :  Reals
             0.1 :  None :     0.180183458693 :  None : False : False :  Reals
         0.10571 :  None :     0.190143874357 :  None : False : False :  Reals
        0.127684 :  None :     0.226434766699 :  None : False : False :  Reals
        0.158359 :  None :      0.27143207807 :  None : False : False :  Reals
        0.186024 :  None :     0.306957731777 :  None : False : False :  Reals
             0.2 :  None :     0.323297591883 :  None : False : False :  Reals
         0.20571 :  None :     0.329653064788 :  None : False : False :  Reals
        0.227684 :  None :       0.3526868332 :  None : False : False :  Reals
        0.258359 :  None :     0.381224169343 :  None : False : False :  Reals
        0.286024 :  None :     0.403758741855 :  None : False : False :  Reals
             0.3 :  None :     0.414105239125 :  None : False : False :  Reals
         0.30571 :  None :     0.418149016218 :  None : False : False :  Reals
        0.327684 :  None :     0.432746797077 :  None : False : False :  Reals
        0.358359 :  None :      0.45083846809 :  None : False : False :  Reals
        0.386024 :  None :     0.465131285158 :  None : False : False :  Reals
             0.4 :  None :     0.471682561768 :  None : False : False :  Reals
         0.40571 :  None :       0.4742552878 :  None : False : False :  Reals
        0.427684 :  None :     0.483506503079 :  None : False : False :  Reals
        0.458359 :  None :     0.494975749087 :  None : False : False :  Reals
        0.486024 :  None :     0.504040900081 :  None : False : False :  Reals
             0.5 :  None :     0.508189040008 :  None : False : False :  Reals
         0.50571 :  None :     0.509825749336 :  None : False : False :  Reals
        0.527684 :  None :     0.515688522808 :  None : False : False :  Reals
        0.558359 :  None :     0.522959284961 :  None : False : False :  Reals
        0.586024 :  None :     0.528708626167 :  None : False : False :  Reals
             0.6 :  None :     0.531335087961 :  None : False : False :  Reals
         0.60571 :  None :      0.53237337786 :  None : False : False :  Reals
        0.627684 :  None :     0.536091553178 :  None : False : False :  Reals
        0.658359 :  None :     0.540700659398 :  None : False : False :  Reals
        0.686024 :  None :      0.54434219208 :  None : False : False :  Reals
             0.7 :  None :     0.546009973421 :  None : False : False :  Reals
         0.70571 :  None :     0.546665230135 :  None : False : False :  Reals
        0.727684 :  None :     0.549026693836 :  None : False : False :  Reals
        0.758359 :  None :     0.551948482503 :  None : False : False :  Reals
        0.786024 :  None :     0.554254356948 :  None : False : False :  Reals
             0.8 :  None :     0.555313931627 :  None : False : False :  Reals
         0.80571 :  None :     0.555727457895 :  None : False : False :  Reals
        0.827684 :  None :     0.557225416362 :  None : False : False :  Reals
        0.858359 :  None :     0.559078746666 :  None : False : False :  Reals
        0.886024 :  None :     0.560539436192 :  None : False : False :  Reals
             0.9 :  None :     0.561212577994 :  None : False : False :  Reals
         0.90571 :  None :     0.561473552466 :  None : False : False :  Reals
        0.927684 :  None :     0.562422961522 :  None : False : False :  Reals
        0.958359 :  None :     0.563598014879 :  None : False : False :  Reals
        0.986024 :  None :     0.564524575201 :  None : False : False :  Reals
               1 :  None :     0.564952203037 :  None : False : False :  Reals

5 Constraint Declarations
    algeq1 : Size=51, Index=t, Active=True
        Key      : Lower : Body                                       : Upper : Active
             0.0 :   1.0 :                za[0.0] + zb[0.0] + zc[0.0] :   1.0 :   True
         0.00571 :   1.0 :    za[0.00571] + zb[0.00571] + zc[0.00571] :   1.0 :   True
        0.027684 :   1.0 : za[0.027684] + zb[0.027684] + zc[0.027684] :   1.0 :   True
        0.058359 :   1.0 : za[0.058359] + zb[0.058359] + zc[0.058359] :   1.0 :   True
        0.086024 :   1.0 : za[0.086024] + zb[0.086024] + zc[0.086024] :   1.0 :   True
             0.1 :   1.0 :                za[0.1] + zb[0.1] + zc[0.1] :   1.0 :   True
         0.10571 :   1.0 :    za[0.10571] + zb[0.10571] + zc[0.10571] :   1.0 :   True
        0.127684 :   1.0 : za[0.127684] + zb[0.127684] + zc[0.127684] :   1.0 :   True
        0.158359 :   1.0 : za[0.158359] + zb[0.158359] + zc[0.158359] :   1.0 :   True
        0.186024 :   1.0 : za[0.186024] + zb[0.186024] + zc[0.186024] :   1.0 :   True
             0.2 :   1.0 :                za[0.2] + zb[0.2] + zc[0.2] :   1.0 :   True
         0.20571 :   1.0 :    za[0.20571] + zb[0.20571] + zc[0.20571] :   1.0 :   True
        0.227684 :   1.0 : za[0.227684] + zb[0.227684] + zc[0.227684] :   1.0 :   True
        0.258359 :   1.0 : za[0.258359] + zb[0.258359] + zc[0.258359] :   1.0 :   True
        0.286024 :   1.0 : za[0.286024] + zb[0.286024] + zc[0.286024] :   1.0 :   True
             0.3 :   1.0 :                za[0.3] + zb[0.3] + zc[0.3] :   1.0 :   True
         0.30571 :   1.0 :    za[0.30571] + zb[0.30571] + zc[0.30571] :   1.0 :   True
        0.327684 :   1.0 : za[0.327684] + zb[0.327684] + zc[0.327684] :   1.0 :   True
        0.358359 :   1.0 : za[0.358359] + zb[0.358359] + zc[0.358359] :   1.0 :   True
        0.386024 :   1.0 : za[0.386024] + zb[0.386024] + zc[0.386024] :   1.0 :   True
             0.4 :   1.0 :                za[0.4] + zb[0.4] + zc[0.4] :   1.0 :   True
         0.40571 :   1.0 :    za[0.40571] + zb[0.40571] + zc[0.40571] :   1.0 :   True
        0.427684 :   1.0 : za[0.427684] + zb[0.427684] + zc[0.427684] :   1.0 :   True
        0.458359 :   1.0 : za[0.458359] + zb[0.458359] + zc[0.458359] :   1.0 :   True
        0.486024 :   1.0 : za[0.486024] + zb[0.486024] + zc[0.486024] :   1.0 :   True
             0.5 :   1.0 :                za[0.5] + zb[0.5] + zc[0.5] :   1.0 :   True
         0.50571 :   1.0 :    za[0.50571] + zb[0.50571] + zc[0.50571] :   1.0 :   True
        0.527684 :   1.0 : za[0.527684] + zb[0.527684] + zc[0.527684] :   1.0 :   True
        0.558359 :   1.0 : za[0.558359] + zb[0.558359] + zc[0.558359] :   1.0 :   True
        0.586024 :   1.0 : za[0.586024] + zb[0.586024] + zc[0.586024] :   1.0 :   True
             0.6 :   1.0 :                za[0.6] + zb[0.6] + zc[0.6] :   1.0 :   True
         0.60571 :   1.0 :    za[0.60571] + zb[0.60571] + zc[0.60571] :   1.0 :   True
        0.627684 :   1.0 : za[0.627684] + zb[0.627684] + zc[0.627684] :   1.0 :   True
        0.658359 :   1.0 : za[0.658359] + zb[0.658359] + zc[0.658359] :   1.0 :   True
        0.686024 :   1.0 : za[0.686024] + zb[0.686024] + zc[0.686024] :   1.0 :   True
             0.7 :   1.0 :                za[0.7] + zb[0.7] + zc[0.7] :   1.0 :   True
         0.70571 :   1.0 :    za[0.70571] + zb[0.70571] + zc[0.70571] :   1.0 :   True
        0.727684 :   1.0 : za[0.727684] + zb[0.727684] + zc[0.727684] :   1.0 :   True
        0.758359 :   1.0 : za[0.758359] + zb[0.758359] + zc[0.758359] :   1.0 :   True
        0.786024 :   1.0 : za[0.786024] + zb[0.786024] + zc[0.786024] :   1.0 :   True
             0.8 :   1.0 :                za[0.8] + zb[0.8] + zc[0.8] :   1.0 :   True
         0.80571 :   1.0 :    za[0.80571] + zb[0.80571] + zc[0.80571] :   1.0 :   True
        0.827684 :   1.0 : za[0.827684] + zb[0.827684] + zc[0.827684] :   1.0 :   True
        0.858359 :   1.0 : za[0.858359] + zb[0.858359] + zc[0.858359] :   1.0 :   True
        0.886024 :   1.0 : za[0.886024] + zb[0.886024] + zc[0.886024] :   1.0 :   True
             0.9 :   1.0 :                za[0.9] + zb[0.9] + zc[0.9] :   1.0 :   True
         0.90571 :   1.0 :    za[0.90571] + zb[0.90571] + zc[0.90571] :   1.0 :   True
        0.927684 :   1.0 : za[0.927684] + zb[0.927684] + zc[0.927684] :   1.0 :   True
        0.958359 :   1.0 : za[0.958359] + zb[0.958359] + zc[0.958359] :   1.0 :   True
        0.986024 :   1.0 : za[0.986024] + zb[0.986024] + zc[0.986024] :   1.0 :   True
               1 :   1.0 :                      za[1] + zb[1] + zc[1] :   1.0 :   True
    diffeq1 : Size=51, Index=t, Active=True
        Key      : Lower : Body                                                   : Upper : Active
             0.0 :   0.0 :                dza[0.0] - (-4.0*za[0.0] + 2.0*zb[0.0]) :   0.0 :   True
         0.00571 :   0.0 :    dza[0.00571] - (-4.0*za[0.00571] + 2.0*zb[0.00571]) :   0.0 :   True
        0.027684 :   0.0 : dza[0.027684] - (-4.0*za[0.027684] + 2.0*zb[0.027684]) :   0.0 :   True
        0.058359 :   0.0 : dza[0.058359] - (-4.0*za[0.058359] + 2.0*zb[0.058359]) :   0.0 :   True
        0.086024 :   0.0 : dza[0.086024] - (-4.0*za[0.086024] + 2.0*zb[0.086024]) :   0.0 :   True
             0.1 :   0.0 :                dza[0.1] - (-4.0*za[0.1] + 2.0*zb[0.1]) :   0.0 :   True
         0.10571 :   0.0 :    dza[0.10571] - (-4.0*za[0.10571] + 2.0*zb[0.10571]) :   0.0 :   True
        0.127684 :   0.0 : dza[0.127684] - (-4.0*za[0.127684] + 2.0*zb[0.127684]) :   0.0 :   True
        0.158359 :   0.0 : dza[0.158359] - (-4.0*za[0.158359] + 2.0*zb[0.158359]) :   0.0 :   True
        0.186024 :   0.0 : dza[0.186024] - (-4.0*za[0.186024] + 2.0*zb[0.186024]) :   0.0 :   True
             0.2 :   0.0 :                dza[0.2] - (-4.0*za[0.2] + 2.0*zb[0.2]) :   0.0 :   True
         0.20571 :   0.0 :    dza[0.20571] - (-4.0*za[0.20571] + 2.0*zb[0.20571]) :   0.0 :   True
        0.227684 :   0.0 : dza[0.227684] - (-4.0*za[0.227684] + 2.0*zb[0.227684]) :   0.0 :   True
        0.258359 :   0.0 : dza[0.258359] - (-4.0*za[0.258359] + 2.0*zb[0.258359]) :   0.0 :   True
        0.286024 :   0.0 : dza[0.286024] - (-4.0*za[0.286024] + 2.0*zb[0.286024]) :   0.0 :   True
             0.3 :   0.0 :                dza[0.3] - (-4.0*za[0.3] + 2.0*zb[0.3]) :   0.0 :   True
         0.30571 :   0.0 :    dza[0.30571] - (-4.0*za[0.30571] + 2.0*zb[0.30571]) :   0.0 :   True
        0.327684 :   0.0 : dza[0.327684] - (-4.0*za[0.327684] + 2.0*zb[0.327684]) :   0.0 :   True
        0.358359 :   0.0 : dza[0.358359] - (-4.0*za[0.358359] + 2.0*zb[0.358359]) :   0.0 :   True
        0.386024 :   0.0 : dza[0.386024] - (-4.0*za[0.386024] + 2.0*zb[0.386024]) :   0.0 :   True
             0.4 :   0.0 :                dza[0.4] - (-4.0*za[0.4] + 2.0*zb[0.4]) :   0.0 :   True
         0.40571 :   0.0 :    dza[0.40571] - (-4.0*za[0.40571] + 2.0*zb[0.40571]) :   0.0 :   True
        0.427684 :   0.0 : dza[0.427684] - (-4.0*za[0.427684] + 2.0*zb[0.427684]) :   0.0 :   True
        0.458359 :   0.0 : dza[0.458359] - (-4.0*za[0.458359] + 2.0*zb[0.458359]) :   0.0 :   True
        0.486024 :   0.0 : dza[0.486024] - (-4.0*za[0.486024] + 2.0*zb[0.486024]) :   0.0 :   True
             0.5 :   0.0 :                dza[0.5] - (-4.0*za[0.5] + 2.0*zb[0.5]) :   0.0 :   True
         0.50571 :   0.0 :    dza[0.50571] - (-4.0*za[0.50571] + 2.0*zb[0.50571]) :   0.0 :   True
        0.527684 :   0.0 : dza[0.527684] - (-4.0*za[0.527684] + 2.0*zb[0.527684]) :   0.0 :   True
        0.558359 :   0.0 : dza[0.558359] - (-4.0*za[0.558359] + 2.0*zb[0.558359]) :   0.0 :   True
        0.586024 :   0.0 : dza[0.586024] - (-4.0*za[0.586024] + 2.0*zb[0.586024]) :   0.0 :   True
             0.6 :   0.0 :                dza[0.6] - (-4.0*za[0.6] + 2.0*zb[0.6]) :   0.0 :   True
         0.60571 :   0.0 :    dza[0.60571] - (-4.0*za[0.60571] + 2.0*zb[0.60571]) :   0.0 :   True
        0.627684 :   0.0 : dza[0.627684] - (-4.0*za[0.627684] + 2.0*zb[0.627684]) :   0.0 :   True
        0.658359 :   0.0 : dza[0.658359] - (-4.0*za[0.658359] + 2.0*zb[0.658359]) :   0.0 :   True
        0.686024 :   0.0 : dza[0.686024] - (-4.0*za[0.686024] + 2.0*zb[0.686024]) :   0.0 :   True
             0.7 :   0.0 :                dza[0.7] - (-4.0*za[0.7] + 2.0*zb[0.7]) :   0.0 :   True
         0.70571 :   0.0 :    dza[0.70571] - (-4.0*za[0.70571] + 2.0*zb[0.70571]) :   0.0 :   True
        0.727684 :   0.0 : dza[0.727684] - (-4.0*za[0.727684] + 2.0*zb[0.727684]) :   0.0 :   True
        0.758359 :   0.0 : dza[0.758359] - (-4.0*za[0.758359] + 2.0*zb[0.758359]) :   0.0 :   True
        0.786024 :   0.0 : dza[0.786024] - (-4.0*za[0.786024] + 2.0*zb[0.786024]) :   0.0 :   True
             0.8 :   0.0 :                dza[0.8] - (-4.0*za[0.8] + 2.0*zb[0.8]) :   0.0 :   True
         0.80571 :   0.0 :    dza[0.80571] - (-4.0*za[0.80571] + 2.0*zb[0.80571]) :   0.0 :   True
        0.827684 :   0.0 : dza[0.827684] - (-4.0*za[0.827684] + 2.0*zb[0.827684]) :   0.0 :   True
        0.858359 :   0.0 : dza[0.858359] - (-4.0*za[0.858359] + 2.0*zb[0.858359]) :   0.0 :   True
        0.886024 :   0.0 : dza[0.886024] - (-4.0*za[0.886024] + 2.0*zb[0.886024]) :   0.0 :   True
             0.9 :   0.0 :                dza[0.9] - (-4.0*za[0.9] + 2.0*zb[0.9]) :   0.0 :   True
         0.90571 :   0.0 :    dza[0.90571] - (-4.0*za[0.90571] + 2.0*zb[0.90571]) :   0.0 :   True
        0.927684 :   0.0 : dza[0.927684] - (-4.0*za[0.927684] + 2.0*zb[0.927684]) :   0.0 :   True
        0.958359 :   0.0 : dza[0.958359] - (-4.0*za[0.958359] + 2.0*zb[0.958359]) :   0.0 :   True
        0.986024 :   0.0 : dza[0.986024] - (-4.0*za[0.986024] + 2.0*zb[0.986024]) :   0.0 :   True
               1 :   0.0 :                      dza[1] - (-4.0*za[1] + 2.0*zb[1]) :   0.0 :   True
    diffeq2 : Size=51, Index=t, Active=True
        Key      : Lower : Body                                                                       : Upper : Active
             0.0 :   0.0 :                     dzb[0.0] - (4.0*za[0.0] - 42.0*zb[0.0] + 20.0*zc[0.0]) :   0.0 :   True
         0.00571 :   0.0 :     dzb[0.00571] - (4.0*za[0.00571] - 42.0*zb[0.00571] + 20.0*zc[0.00571]) :   0.0 :   True
        0.027684 :   0.0 : dzb[0.027684] - (4.0*za[0.027684] - 42.0*zb[0.027684] + 20.0*zc[0.027684]) :   0.0 :   True
        0.058359 :   0.0 : dzb[0.058359] - (4.0*za[0.058359] - 42.0*zb[0.058359] + 20.0*zc[0.058359]) :   0.0 :   True
        0.086024 :   0.0 : dzb[0.086024] - (4.0*za[0.086024] - 42.0*zb[0.086024] + 20.0*zc[0.086024]) :   0.0 :   True
             0.1 :   0.0 :                     dzb[0.1] - (4.0*za[0.1] - 42.0*zb[0.1] + 20.0*zc[0.1]) :   0.0 :   True
         0.10571 :   0.0 :     dzb[0.10571] - (4.0*za[0.10571] - 42.0*zb[0.10571] + 20.0*zc[0.10571]) :   0.0 :   True
        0.127684 :   0.0 : dzb[0.127684] - (4.0*za[0.127684] - 42.0*zb[0.127684] + 20.0*zc[0.127684]) :   0.0 :   True
        0.158359 :   0.0 : dzb[0.158359] - (4.0*za[0.158359] - 42.0*zb[0.158359] + 20.0*zc[0.158359]) :   0.0 :   True
        0.186024 :   0.0 : dzb[0.186024] - (4.0*za[0.186024] - 42.0*zb[0.186024] + 20.0*zc[0.186024]) :   0.0 :   True
             0.2 :   0.0 :                     dzb[0.2] - (4.0*za[0.2] - 42.0*zb[0.2] + 20.0*zc[0.2]) :   0.0 :   True
         0.20571 :   0.0 :     dzb[0.20571] - (4.0*za[0.20571] - 42.0*zb[0.20571] + 20.0*zc[0.20571]) :   0.0 :   True
        0.227684 :   0.0 : dzb[0.227684] - (4.0*za[0.227684] - 42.0*zb[0.227684] + 20.0*zc[0.227684]) :   0.0 :   True
        0.258359 :   0.0 : dzb[0.258359] - (4.0*za[0.258359] - 42.0*zb[0.258359] + 20.0*zc[0.258359]) :   0.0 :   True
        0.286024 :   0.0 : dzb[0.286024] - (4.0*za[0.286024] - 42.0*zb[0.286024] + 20.0*zc[0.286024]) :   0.0 :   True
             0.3 :   0.0 :                     dzb[0.3] - (4.0*za[0.3] - 42.0*zb[0.3] + 20.0*zc[0.3]) :   0.0 :   True
         0.30571 :   0.0 :     dzb[0.30571] - (4.0*za[0.30571] - 42.0*zb[0.30571] + 20.0*zc[0.30571]) :   0.0 :   True
        0.327684 :   0.0 : dzb[0.327684] - (4.0*za[0.327684] - 42.0*zb[0.327684] + 20.0*zc[0.327684]) :   0.0 :   True
        0.358359 :   0.0 : dzb[0.358359] - (4.0*za[0.358359] - 42.0*zb[0.358359] + 20.0*zc[0.358359]) :   0.0 :   True
        0.386024 :   0.0 : dzb[0.386024] - (4.0*za[0.386024] - 42.0*zb[0.386024] + 20.0*zc[0.386024]) :   0.0 :   True
             0.4 :   0.0 :                     dzb[0.4] - (4.0*za[0.4] - 42.0*zb[0.4] + 20.0*zc[0.4]) :   0.0 :   True
         0.40571 :   0.0 :     dzb[0.40571] - (4.0*za[0.40571] - 42.0*zb[0.40571] + 20.0*zc[0.40571]) :   0.0 :   True
        0.427684 :   0.0 : dzb[0.427684] - (4.0*za[0.427684] - 42.0*zb[0.427684] + 20.0*zc[0.427684]) :   0.0 :   True
        0.458359 :   0.0 : dzb[0.458359] - (4.0*za[0.458359] - 42.0*zb[0.458359] + 20.0*zc[0.458359]) :   0.0 :   True
        0.486024 :   0.0 : dzb[0.486024] - (4.0*za[0.486024] - 42.0*zb[0.486024] + 20.0*zc[0.486024]) :   0.0 :   True
             0.5 :   0.0 :                     dzb[0.5] - (4.0*za[0.5] - 42.0*zb[0.5] + 20.0*zc[0.5]) :   0.0 :   True
         0.50571 :   0.0 :     dzb[0.50571] - (4.0*za[0.50571] - 42.0*zb[0.50571] + 20.0*zc[0.50571]) :   0.0 :   True
        0.527684 :   0.0 : dzb[0.527684] - (4.0*za[0.527684] - 42.0*zb[0.527684] + 20.0*zc[0.527684]) :   0.0 :   True
        0.558359 :   0.0 : dzb[0.558359] - (4.0*za[0.558359] - 42.0*zb[0.558359] + 20.0*zc[0.558359]) :   0.0 :   True
        0.586024 :   0.0 : dzb[0.586024] - (4.0*za[0.586024] - 42.0*zb[0.586024] + 20.0*zc[0.586024]) :   0.0 :   True
             0.6 :   0.0 :                     dzb[0.6] - (4.0*za[0.6] - 42.0*zb[0.6] + 20.0*zc[0.6]) :   0.0 :   True
         0.60571 :   0.0 :     dzb[0.60571] - (4.0*za[0.60571] - 42.0*zb[0.60571] + 20.0*zc[0.60571]) :   0.0 :   True
        0.627684 :   0.0 : dzb[0.627684] - (4.0*za[0.627684] - 42.0*zb[0.627684] + 20.0*zc[0.627684]) :   0.0 :   True
        0.658359 :   0.0 : dzb[0.658359] - (4.0*za[0.658359] - 42.0*zb[0.658359] + 20.0*zc[0.658359]) :   0.0 :   True
        0.686024 :   0.0 : dzb[0.686024] - (4.0*za[0.686024] - 42.0*zb[0.686024] + 20.0*zc[0.686024]) :   0.0 :   True
             0.7 :   0.0 :                     dzb[0.7] - (4.0*za[0.7] - 42.0*zb[0.7] + 20.0*zc[0.7]) :   0.0 :   True
         0.70571 :   0.0 :     dzb[0.70571] - (4.0*za[0.70571] - 42.0*zb[0.70571] + 20.0*zc[0.70571]) :   0.0 :   True
        0.727684 :   0.0 : dzb[0.727684] - (4.0*za[0.727684] - 42.0*zb[0.727684] + 20.0*zc[0.727684]) :   0.0 :   True
        0.758359 :   0.0 : dzb[0.758359] - (4.0*za[0.758359] - 42.0*zb[0.758359] + 20.0*zc[0.758359]) :   0.0 :   True
        0.786024 :   0.0 : dzb[0.786024] - (4.0*za[0.786024] - 42.0*zb[0.786024] + 20.0*zc[0.786024]) :   0.0 :   True
             0.8 :   0.0 :                     dzb[0.8] - (4.0*za[0.8] - 42.0*zb[0.8] + 20.0*zc[0.8]) :   0.0 :   True
         0.80571 :   0.0 :     dzb[0.80571] - (4.0*za[0.80571] - 42.0*zb[0.80571] + 20.0*zc[0.80571]) :   0.0 :   True
        0.827684 :   0.0 : dzb[0.827684] - (4.0*za[0.827684] - 42.0*zb[0.827684] + 20.0*zc[0.827684]) :   0.0 :   True
        0.858359 :   0.0 : dzb[0.858359] - (4.0*za[0.858359] - 42.0*zb[0.858359] + 20.0*zc[0.858359]) :   0.0 :   True
        0.886024 :   0.0 : dzb[0.886024] - (4.0*za[0.886024] - 42.0*zb[0.886024] + 20.0*zc[0.886024]) :   0.0 :   True
             0.9 :   0.0 :                     dzb[0.9] - (4.0*za[0.9] - 42.0*zb[0.9] + 20.0*zc[0.9]) :   0.0 :   True
         0.90571 :   0.0 :     dzb[0.90571] - (4.0*za[0.90571] - 42.0*zb[0.90571] + 20.0*zc[0.90571]) :   0.0 :   True
        0.927684 :   0.0 : dzb[0.927684] - (4.0*za[0.927684] - 42.0*zb[0.927684] + 20.0*zc[0.927684]) :   0.0 :   True
        0.958359 :   0.0 : dzb[0.958359] - (4.0*za[0.958359] - 42.0*zb[0.958359] + 20.0*zc[0.958359]) :   0.0 :   True
        0.986024 :   0.0 : dzb[0.986024] - (4.0*za[0.986024] - 42.0*zb[0.986024] + 20.0*zc[0.986024]) :   0.0 :   True
               1 :   0.0 :                             dzb[1] - (4.0*za[1] - 42.0*zb[1] + 20.0*zc[1]) :   0.0 :   True
    dza_disc_eq : Size=50, Index=t, Active=True
        Key      : Lower : Body                                                                                                                                                                               : Upper : Active
         0.00571 :   0.0 :    dza[0.00571] - (-110.386792412*za[0.0] + 87.5592397794*za[0.00571] + 28.9194261538*za[0.027684] - 8.751863962*za[0.058359] + 3.9970520794*za[0.086024] - 1.33706163849*za[0.1]) :   0.0 :   True
        0.027684 :   0.0 :  dza[0.027684] - (35.830685225*za[0.0] - 71.6138072015*za[0.00571] + 18.0607772408*za[0.027684] + 23.6379717607*za[0.058359] - 8.65900780283*za[0.086024] + 2.74338077775*za[0.1]) :   0.0 :   True
        0.058359 :   0.0 : dza[0.058359] - (-23.441715579*za[0.0] + 41.2216524624*za[0.00571] - 44.9601712581*za[0.027684] + 8.56765245397*za[0.058359] + 25.1832094921*za[0.086024] - 6.57062757134*za[0.1]) :   0.0 :   True
        0.086024 :   0.0 : dza[0.086024] - (22.8263550021*za[0.0] - 38.7866321972*za[0.00571] + 33.9315191806*za[0.027684] - 51.8834090641*za[0.058359] + 5.81233052581*za[0.086024] + 28.0998365528*za[0.1]) :   0.0 :   True
             0.1 :   0.0 :                      dza[0.1] - (-50.0*za[0.0] + 84.1242422359*za[0.00571] - 69.7025611666*za[0.027684] + 87.7711420415*za[0.058359] - 182.192823111*za[0.086024] + 130.0*za[0.1]) :   0.0 :   True
         0.10571 :   0.0 :    dza[0.10571] - (-110.386792412*za[0.1] + 87.5592397794*za[0.10571] + 28.9194261538*za[0.127684] - 8.751863962*za[0.158359] + 3.9970520794*za[0.186024] - 1.33706163849*za[0.2]) :   0.0 :   True
        0.127684 :   0.0 :  dza[0.127684] - (35.830685225*za[0.1] - 71.6138072015*za[0.10571] + 18.0607772408*za[0.127684] + 23.6379717607*za[0.158359] - 8.65900780283*za[0.186024] + 2.74338077775*za[0.2]) :   0.0 :   True
        0.158359 :   0.0 : dza[0.158359] - (-23.441715579*za[0.1] + 41.2216524624*za[0.10571] - 44.9601712581*za[0.127684] + 8.56765245397*za[0.158359] + 25.1832094921*za[0.186024] - 6.57062757134*za[0.2]) :   0.0 :   True
        0.186024 :   0.0 : dza[0.186024] - (22.8263550021*za[0.1] - 38.7866321972*za[0.10571] + 33.9315191806*za[0.127684] - 51.8834090641*za[0.158359] + 5.81233052581*za[0.186024] + 28.0998365528*za[0.2]) :   0.0 :   True
             0.2 :   0.0 :                      dza[0.2] - (-50.0*za[0.1] + 84.1242422359*za[0.10571] - 69.7025611666*za[0.127684] + 87.7711420415*za[0.158359] - 182.192823111*za[0.186024] + 130.0*za[0.2]) :   0.0 :   True
         0.20571 :   0.0 :    dza[0.20571] - (-110.386792412*za[0.2] + 87.5592397794*za[0.20571] + 28.9194261538*za[0.227684] - 8.751863962*za[0.258359] + 3.9970520794*za[0.286024] - 1.33706163849*za[0.3]) :   0.0 :   True
        0.227684 :   0.0 :  dza[0.227684] - (35.830685225*za[0.2] - 71.6138072015*za[0.20571] + 18.0607772408*za[0.227684] + 23.6379717607*za[0.258359] - 8.65900780283*za[0.286024] + 2.74338077775*za[0.3]) :   0.0 :   True
        0.258359 :   0.0 : dza[0.258359] - (-23.441715579*za[0.2] + 41.2216524624*za[0.20571] - 44.9601712581*za[0.227684] + 8.56765245397*za[0.258359] + 25.1832094921*za[0.286024] - 6.57062757134*za[0.3]) :   0.0 :   True
        0.286024 :   0.0 : dza[0.286024] - (22.8263550021*za[0.2] - 38.7866321972*za[0.20571] + 33.9315191806*za[0.227684] - 51.8834090641*za[0.258359] + 5.81233052581*za[0.286024] + 28.0998365528*za[0.3]) :   0.0 :   True
             0.3 :   0.0 :                      dza[0.3] - (-50.0*za[0.2] + 84.1242422359*za[0.20571] - 69.7025611666*za[0.227684] + 87.7711420415*za[0.258359] - 182.192823111*za[0.286024] + 130.0*za[0.3]) :   0.0 :   True
         0.30571 :   0.0 :    dza[0.30571] - (-110.386792412*za[0.3] + 87.5592397794*za[0.30571] + 28.9194261538*za[0.327684] - 8.751863962*za[0.358359] + 3.9970520794*za[0.386024] - 1.33706163849*za[0.4]) :   0.0 :   True
        0.327684 :   0.0 :  dza[0.327684] - (35.830685225*za[0.3] - 71.6138072015*za[0.30571] + 18.0607772408*za[0.327684] + 23.6379717607*za[0.358359] - 8.65900780283*za[0.386024] + 2.74338077775*za[0.4]) :   0.0 :   True
        0.358359 :   0.0 : dza[0.358359] - (-23.441715579*za[0.3] + 41.2216524624*za[0.30571] - 44.9601712581*za[0.327684] + 8.56765245397*za[0.358359] + 25.1832094921*za[0.386024] - 6.57062757134*za[0.4]) :   0.0 :   True
        0.386024 :   0.0 : dza[0.386024] - (22.8263550021*za[0.3] - 38.7866321972*za[0.30571] + 33.9315191806*za[0.327684] - 51.8834090641*za[0.358359] + 5.81233052581*za[0.386024] + 28.0998365528*za[0.4]) :   0.0 :   True
             0.4 :   0.0 :                      dza[0.4] - (-50.0*za[0.3] + 84.1242422359*za[0.30571] - 69.7025611666*za[0.327684] + 87.7711420415*za[0.358359] - 182.192823111*za[0.386024] + 130.0*za[0.4]) :   0.0 :   True
         0.40571 :   0.0 :    dza[0.40571] - (-110.386792412*za[0.4] + 87.5592397794*za[0.40571] + 28.9194261538*za[0.427684] - 8.751863962*za[0.458359] + 3.9970520794*za[0.486024] - 1.33706163849*za[0.5]) :   0.0 :   True
        0.427684 :   0.0 :  dza[0.427684] - (35.830685225*za[0.4] - 71.6138072015*za[0.40571] + 18.0607772408*za[0.427684] + 23.6379717607*za[0.458359] - 8.65900780283*za[0.486024] + 2.74338077775*za[0.5]) :   0.0 :   True
        0.458359 :   0.0 : dza[0.458359] - (-23.441715579*za[0.4] + 41.2216524624*za[0.40571] - 44.9601712581*za[0.427684] + 8.56765245397*za[0.458359] + 25.1832094921*za[0.486024] - 6.57062757134*za[0.5]) :   0.0 :   True
        0.486024 :   0.0 : dza[0.486024] - (22.8263550021*za[0.4] - 38.7866321972*za[0.40571] + 33.9315191806*za[0.427684] - 51.8834090641*za[0.458359] + 5.81233052581*za[0.486024] + 28.0998365528*za[0.5]) :   0.0 :   True
             0.5 :   0.0 :                      dza[0.5] - (-50.0*za[0.4] + 84.1242422359*za[0.40571] - 69.7025611666*za[0.427684] + 87.7711420415*za[0.458359] - 182.192823111*za[0.486024] + 130.0*za[0.5]) :   0.0 :   True
         0.50571 :   0.0 :    dza[0.50571] - (-110.386792412*za[0.5] + 87.5592397794*za[0.50571] + 28.9194261538*za[0.527684] - 8.751863962*za[0.558359] + 3.9970520794*za[0.586024] - 1.33706163849*za[0.6]) :   0.0 :   True
        0.527684 :   0.0 :  dza[0.527684] - (35.830685225*za[0.5] - 71.6138072015*za[0.50571] + 18.0607772408*za[0.527684] + 23.6379717607*za[0.558359] - 8.65900780283*za[0.586024] + 2.74338077775*za[0.6]) :   0.0 :   True
        0.558359 :   0.0 : dza[0.558359] - (-23.441715579*za[0.5] + 41.2216524624*za[0.50571] - 44.9601712581*za[0.527684] + 8.56765245397*za[0.558359] + 25.1832094921*za[0.586024] - 6.57062757134*za[0.6]) :   0.0 :   True
        0.586024 :   0.0 : dza[0.586024] - (22.8263550021*za[0.5] - 38.7866321972*za[0.50571] + 33.9315191806*za[0.527684] - 51.8834090641*za[0.558359] + 5.81233052581*za[0.586024] + 28.0998365528*za[0.6]) :   0.0 :   True
             0.6 :   0.0 :                      dza[0.6] - (-50.0*za[0.5] + 84.1242422359*za[0.50571] - 69.7025611666*za[0.527684] + 87.7711420415*za[0.558359] - 182.192823111*za[0.586024] + 130.0*za[0.6]) :   0.0 :   True
         0.60571 :   0.0 :    dza[0.60571] - (-110.386792412*za[0.6] + 87.5592397794*za[0.60571] + 28.9194261538*za[0.627684] - 8.751863962*za[0.658359] + 3.9970520794*za[0.686024] - 1.33706163849*za[0.7]) :   0.0 :   True
        0.627684 :   0.0 :  dza[0.627684] - (35.830685225*za[0.6] - 71.6138072015*za[0.60571] + 18.0607772408*za[0.627684] + 23.6379717607*za[0.658359] - 8.65900780283*za[0.686024] + 2.74338077775*za[0.7]) :   0.0 :   True
        0.658359 :   0.0 : dza[0.658359] - (-23.441715579*za[0.6] + 41.2216524624*za[0.60571] - 44.9601712581*za[0.627684] + 8.56765245397*za[0.658359] + 25.1832094921*za[0.686024] - 6.57062757134*za[0.7]) :   0.0 :   True
        0.686024 :   0.0 : dza[0.686024] - (22.8263550021*za[0.6] - 38.7866321972*za[0.60571] + 33.9315191806*za[0.627684] - 51.8834090641*za[0.658359] + 5.81233052581*za[0.686024] + 28.0998365528*za[0.7]) :   0.0 :   True
             0.7 :   0.0 :                      dza[0.7] - (-50.0*za[0.6] + 84.1242422359*za[0.60571] - 69.7025611666*za[0.627684] + 87.7711420415*za[0.658359] - 182.192823111*za[0.686024] + 130.0*za[0.7]) :   0.0 :   True
         0.70571 :   0.0 :    dza[0.70571] - (-110.386792412*za[0.7] + 87.5592397794*za[0.70571] + 28.9194261538*za[0.727684] - 8.751863962*za[0.758359] + 3.9970520794*za[0.786024] - 1.33706163849*za[0.8]) :   0.0 :   True
        0.727684 :   0.0 :  dza[0.727684] - (35.830685225*za[0.7] - 71.6138072015*za[0.70571] + 18.0607772408*za[0.727684] + 23.6379717607*za[0.758359] - 8.65900780283*za[0.786024] + 2.74338077775*za[0.8]) :   0.0 :   True
        0.758359 :   0.0 : dza[0.758359] - (-23.441715579*za[0.7] + 41.2216524624*za[0.70571] - 44.9601712581*za[0.727684] + 8.56765245397*za[0.758359] + 25.1832094921*za[0.786024] - 6.57062757134*za[0.8]) :   0.0 :   True
        0.786024 :   0.0 : dza[0.786024] - (22.8263550021*za[0.7] - 38.7866321972*za[0.70571] + 33.9315191806*za[0.727684] - 51.8834090641*za[0.758359] + 5.81233052581*za[0.786024] + 28.0998365528*za[0.8]) :   0.0 :   True
             0.8 :   0.0 :                      dza[0.8] - (-50.0*za[0.7] + 84.1242422359*za[0.70571] - 69.7025611666*za[0.727684] + 87.7711420415*za[0.758359] - 182.192823111*za[0.786024] + 130.0*za[0.8]) :   0.0 :   True
         0.80571 :   0.0 :    dza[0.80571] - (-110.386792412*za[0.8] + 87.5592397794*za[0.80571] + 28.9194261538*za[0.827684] - 8.751863962*za[0.858359] + 3.9970520794*za[0.886024] - 1.33706163849*za[0.9]) :   0.0 :   True
        0.827684 :   0.0 :  dza[0.827684] - (35.830685225*za[0.8] - 71.6138072015*za[0.80571] + 18.0607772408*za[0.827684] + 23.6379717607*za[0.858359] - 8.65900780283*za[0.886024] + 2.74338077775*za[0.9]) :   0.0 :   True
        0.858359 :   0.0 : dza[0.858359] - (-23.441715579*za[0.8] + 41.2216524624*za[0.80571] - 44.9601712581*za[0.827684] + 8.56765245397*za[0.858359] + 25.1832094921*za[0.886024] - 6.57062757134*za[0.9]) :   0.0 :   True
        0.886024 :   0.0 : dza[0.886024] - (22.8263550021*za[0.8] - 38.7866321972*za[0.80571] + 33.9315191806*za[0.827684] - 51.8834090641*za[0.858359] + 5.81233052581*za[0.886024] + 28.0998365528*za[0.9]) :   0.0 :   True
             0.9 :   0.0 :                      dza[0.9] - (-50.0*za[0.8] + 84.1242422359*za[0.80571] - 69.7025611666*za[0.827684] + 87.7711420415*za[0.858359] - 182.192823111*za[0.886024] + 130.0*za[0.9]) :   0.0 :   True
         0.90571 :   0.0 :      dza[0.90571] - (-110.386792412*za[0.9] + 87.5592397794*za[0.90571] + 28.9194261538*za[0.927684] - 8.751863962*za[0.958359] + 3.9970520794*za[0.986024] - 1.33706163849*za[1]) :   0.0 :   True
        0.927684 :   0.0 :    dza[0.927684] - (35.830685225*za[0.9] - 71.6138072015*za[0.90571] + 18.0607772408*za[0.927684] + 23.6379717607*za[0.958359] - 8.65900780283*za[0.986024] + 2.74338077775*za[1]) :   0.0 :   True
        0.958359 :   0.0 :   dza[0.958359] - (-23.441715579*za[0.9] + 41.2216524624*za[0.90571] - 44.9601712581*za[0.927684] + 8.56765245397*za[0.958359] + 25.1832094921*za[0.986024] - 6.57062757134*za[1]) :   0.0 :   True
        0.986024 :   0.0 :   dza[0.986024] - (22.8263550021*za[0.9] - 38.7866321972*za[0.90571] + 33.9315191806*za[0.927684] - 51.8834090641*za[0.958359] + 5.81233052581*za[0.986024] + 28.0998365528*za[1]) :   0.0 :   True
               1 :   0.0 :                          dza[1] - (-50.0*za[0.9] + 84.1242422359*za[0.90571] - 69.7025611666*za[0.927684] + 87.7711420415*za[0.958359] - 182.192823111*za[0.986024] + 130.0*za[1]) :   0.0 :   True
    dzb_disc_eq : Size=50, Index=t, Active=True
        Key      : Lower : Body                                                                                                                                                                               : Upper : Active
         0.00571 :   0.0 :    dzb[0.00571] - (-110.386792412*zb[0.0] + 87.5592397794*zb[0.00571] + 28.9194261538*zb[0.027684] - 8.751863962*zb[0.058359] + 3.9970520794*zb[0.086024] - 1.33706163849*zb[0.1]) :   0.0 :   True
        0.027684 :   0.0 :  dzb[0.027684] - (35.830685225*zb[0.0] - 71.6138072015*zb[0.00571] + 18.0607772408*zb[0.027684] + 23.6379717607*zb[0.058359] - 8.65900780283*zb[0.086024] + 2.74338077775*zb[0.1]) :   0.0 :   True
        0.058359 :   0.0 : dzb[0.058359] - (-23.441715579*zb[0.0] + 41.2216524624*zb[0.00571] - 44.9601712581*zb[0.027684] + 8.56765245397*zb[0.058359] + 25.1832094921*zb[0.086024] - 6.57062757134*zb[0.1]) :   0.0 :   True
        0.086024 :   0.0 : dzb[0.086024] - (22.8263550021*zb[0.0] - 38.7866321972*zb[0.00571] + 33.9315191806*zb[0.027684] - 51.8834090641*zb[0.058359] + 5.81233052581*zb[0.086024] + 28.0998365528*zb[0.1]) :   0.0 :   True
             0.1 :   0.0 :                      dzb[0.1] - (-50.0*zb[0.0] + 84.1242422359*zb[0.00571] - 69.7025611666*zb[0.027684] + 87.7711420415*zb[0.058359] - 182.192823111*zb[0.086024] + 130.0*zb[0.1]) :   0.0 :   True
         0.10571 :   0.0 :    dzb[0.10571] - (-110.386792412*zb[0.1] + 87.5592397794*zb[0.10571] + 28.9194261538*zb[0.127684] - 8.751863962*zb[0.158359] + 3.9970520794*zb[0.186024] - 1.33706163849*zb[0.2]) :   0.0 :   True
        0.127684 :   0.0 :  dzb[0.127684] - (35.830685225*zb[0.1] - 71.6138072015*zb[0.10571] + 18.0607772408*zb[0.127684] + 23.6379717607*zb[0.158359] - 8.65900780283*zb[0.186024] + 2.74338077775*zb[0.2]) :   0.0 :   True
        0.158359 :   0.0 : dzb[0.158359] - (-23.441715579*zb[0.1] + 41.2216524624*zb[0.10571] - 44.9601712581*zb[0.127684] + 8.56765245397*zb[0.158359] + 25.1832094921*zb[0.186024] - 6.57062757134*zb[0.2]) :   0.0 :   True
        0.186024 :   0.0 : dzb[0.186024] - (22.8263550021*zb[0.1] - 38.7866321972*zb[0.10571] + 33.9315191806*zb[0.127684] - 51.8834090641*zb[0.158359] + 5.81233052581*zb[0.186024] + 28.0998365528*zb[0.2]) :   0.0 :   True
             0.2 :   0.0 :                      dzb[0.2] - (-50.0*zb[0.1] + 84.1242422359*zb[0.10571] - 69.7025611666*zb[0.127684] + 87.7711420415*zb[0.158359] - 182.192823111*zb[0.186024] + 130.0*zb[0.2]) :   0.0 :   True
         0.20571 :   0.0 :    dzb[0.20571] - (-110.386792412*zb[0.2] + 87.5592397794*zb[0.20571] + 28.9194261538*zb[0.227684] - 8.751863962*zb[0.258359] + 3.9970520794*zb[0.286024] - 1.33706163849*zb[0.3]) :   0.0 :   True
        0.227684 :   0.0 :  dzb[0.227684] - (35.830685225*zb[0.2] - 71.6138072015*zb[0.20571] + 18.0607772408*zb[0.227684] + 23.6379717607*zb[0.258359] - 8.65900780283*zb[0.286024] + 2.74338077775*zb[0.3]) :   0.0 :   True
        0.258359 :   0.0 : dzb[0.258359] - (-23.441715579*zb[0.2] + 41.2216524624*zb[0.20571] - 44.9601712581*zb[0.227684] + 8.56765245397*zb[0.258359] + 25.1832094921*zb[0.286024] - 6.57062757134*zb[0.3]) :   0.0 :   True
        0.286024 :   0.0 : dzb[0.286024] - (22.8263550021*zb[0.2] - 38.7866321972*zb[0.20571] + 33.9315191806*zb[0.227684] - 51.8834090641*zb[0.258359] + 5.81233052581*zb[0.286024] + 28.0998365528*zb[0.3]) :   0.0 :   True
             0.3 :   0.0 :                      dzb[0.3] - (-50.0*zb[0.2] + 84.1242422359*zb[0.20571] - 69.7025611666*zb[0.227684] + 87.7711420415*zb[0.258359] - 182.192823111*zb[0.286024] + 130.0*zb[0.3]) :   0.0 :   True
         0.30571 :   0.0 :    dzb[0.30571] - (-110.386792412*zb[0.3] + 87.5592397794*zb[0.30571] + 28.9194261538*zb[0.327684] - 8.751863962*zb[0.358359] + 3.9970520794*zb[0.386024] - 1.33706163849*zb[0.4]) :   0.0 :   True
        0.327684 :   0.0 :  dzb[0.327684] - (35.830685225*zb[0.3] - 71.6138072015*zb[0.30571] + 18.0607772408*zb[0.327684] + 23.6379717607*zb[0.358359] - 8.65900780283*zb[0.386024] + 2.74338077775*zb[0.4]) :   0.0 :   True
        0.358359 :   0.0 : dzb[0.358359] - (-23.441715579*zb[0.3] + 41.2216524624*zb[0.30571] - 44.9601712581*zb[0.327684] + 8.56765245397*zb[0.358359] + 25.1832094921*zb[0.386024] - 6.57062757134*zb[0.4]) :   0.0 :   True
        0.386024 :   0.0 : dzb[0.386024] - (22.8263550021*zb[0.3] - 38.7866321972*zb[0.30571] + 33.9315191806*zb[0.327684] - 51.8834090641*zb[0.358359] + 5.81233052581*zb[0.386024] + 28.0998365528*zb[0.4]) :   0.0 :   True
             0.4 :   0.0 :                      dzb[0.4] - (-50.0*zb[0.3] + 84.1242422359*zb[0.30571] - 69.7025611666*zb[0.327684] + 87.7711420415*zb[0.358359] - 182.192823111*zb[0.386024] + 130.0*zb[0.4]) :   0.0 :   True
         0.40571 :   0.0 :    dzb[0.40571] - (-110.386792412*zb[0.4] + 87.5592397794*zb[0.40571] + 28.9194261538*zb[0.427684] - 8.751863962*zb[0.458359] + 3.9970520794*zb[0.486024] - 1.33706163849*zb[0.5]) :   0.0 :   True
        0.427684 :   0.0 :  dzb[0.427684] - (35.830685225*zb[0.4] - 71.6138072015*zb[0.40571] + 18.0607772408*zb[0.427684] + 23.6379717607*zb[0.458359] - 8.65900780283*zb[0.486024] + 2.74338077775*zb[0.5]) :   0.0 :   True
        0.458359 :   0.0 : dzb[0.458359] - (-23.441715579*zb[0.4] + 41.2216524624*zb[0.40571] - 44.9601712581*zb[0.427684] + 8.56765245397*zb[0.458359] + 25.1832094921*zb[0.486024] - 6.57062757134*zb[0.5]) :   0.0 :   True
        0.486024 :   0.0 : dzb[0.486024] - (22.8263550021*zb[0.4] - 38.7866321972*zb[0.40571] + 33.9315191806*zb[0.427684] - 51.8834090641*zb[0.458359] + 5.81233052581*zb[0.486024] + 28.0998365528*zb[0.5]) :   0.0 :   True
             0.5 :   0.0 :                      dzb[0.5] - (-50.0*zb[0.4] + 84.1242422359*zb[0.40571] - 69.7025611666*zb[0.427684] + 87.7711420415*zb[0.458359] - 182.192823111*zb[0.486024] + 130.0*zb[0.5]) :   0.0 :   True
         0.50571 :   0.0 :    dzb[0.50571] - (-110.386792412*zb[0.5] + 87.5592397794*zb[0.50571] + 28.9194261538*zb[0.527684] - 8.751863962*zb[0.558359] + 3.9970520794*zb[0.586024] - 1.33706163849*zb[0.6]) :   0.0 :   True
        0.527684 :   0.0 :  dzb[0.527684] - (35.830685225*zb[0.5] - 71.6138072015*zb[0.50571] + 18.0607772408*zb[0.527684] + 23.6379717607*zb[0.558359] - 8.65900780283*zb[0.586024] + 2.74338077775*zb[0.6]) :   0.0 :   True
        0.558359 :   0.0 : dzb[0.558359] - (-23.441715579*zb[0.5] + 41.2216524624*zb[0.50571] - 44.9601712581*zb[0.527684] + 8.56765245397*zb[0.558359] + 25.1832094921*zb[0.586024] - 6.57062757134*zb[0.6]) :   0.0 :   True
        0.586024 :   0.0 : dzb[0.586024] - (22.8263550021*zb[0.5] - 38.7866321972*zb[0.50571] + 33.9315191806*zb[0.527684] - 51.8834090641*zb[0.558359] + 5.81233052581*zb[0.586024] + 28.0998365528*zb[0.6]) :   0.0 :   True
             0.6 :   0.0 :                      dzb[0.6] - (-50.0*zb[0.5] + 84.1242422359*zb[0.50571] - 69.7025611666*zb[0.527684] + 87.7711420415*zb[0.558359] - 182.192823111*zb[0.586024] + 130.0*zb[0.6]) :   0.0 :   True
         0.60571 :   0.0 :    dzb[0.60571] - (-110.386792412*zb[0.6] + 87.5592397794*zb[0.60571] + 28.9194261538*zb[0.627684] - 8.751863962*zb[0.658359] + 3.9970520794*zb[0.686024] - 1.33706163849*zb[0.7]) :   0.0 :   True
        0.627684 :   0.0 :  dzb[0.627684] - (35.830685225*zb[0.6] - 71.6138072015*zb[0.60571] + 18.0607772408*zb[0.627684] + 23.6379717607*zb[0.658359] - 8.65900780283*zb[0.686024] + 2.74338077775*zb[0.7]) :   0.0 :   True
        0.658359 :   0.0 : dzb[0.658359] - (-23.441715579*zb[0.6] + 41.2216524624*zb[0.60571] - 44.9601712581*zb[0.627684] + 8.56765245397*zb[0.658359] + 25.1832094921*zb[0.686024] - 6.57062757134*zb[0.7]) :   0.0 :   True
        0.686024 :   0.0 : dzb[0.686024] - (22.8263550021*zb[0.6] - 38.7866321972*zb[0.60571] + 33.9315191806*zb[0.627684] - 51.8834090641*zb[0.658359] + 5.81233052581*zb[0.686024] + 28.0998365528*zb[0.7]) :   0.0 :   True
             0.7 :   0.0 :                      dzb[0.7] - (-50.0*zb[0.6] + 84.1242422359*zb[0.60571] - 69.7025611666*zb[0.627684] + 87.7711420415*zb[0.658359] - 182.192823111*zb[0.686024] + 130.0*zb[0.7]) :   0.0 :   True
         0.70571 :   0.0 :    dzb[0.70571] - (-110.386792412*zb[0.7] + 87.5592397794*zb[0.70571] + 28.9194261538*zb[0.727684] - 8.751863962*zb[0.758359] + 3.9970520794*zb[0.786024] - 1.33706163849*zb[0.8]) :   0.0 :   True
        0.727684 :   0.0 :  dzb[0.727684] - (35.830685225*zb[0.7] - 71.6138072015*zb[0.70571] + 18.0607772408*zb[0.727684] + 23.6379717607*zb[0.758359] - 8.65900780283*zb[0.786024] + 2.74338077775*zb[0.8]) :   0.0 :   True
        0.758359 :   0.0 : dzb[0.758359] - (-23.441715579*zb[0.7] + 41.2216524624*zb[0.70571] - 44.9601712581*zb[0.727684] + 8.56765245397*zb[0.758359] + 25.1832094921*zb[0.786024] - 6.57062757134*zb[0.8]) :   0.0 :   True
        0.786024 :   0.0 : dzb[0.786024] - (22.8263550021*zb[0.7] - 38.7866321972*zb[0.70571] + 33.9315191806*zb[0.727684] - 51.8834090641*zb[0.758359] + 5.81233052581*zb[0.786024] + 28.0998365528*zb[0.8]) :   0.0 :   True
             0.8 :   0.0 :                      dzb[0.8] - (-50.0*zb[0.7] + 84.1242422359*zb[0.70571] - 69.7025611666*zb[0.727684] + 87.7711420415*zb[0.758359] - 182.192823111*zb[0.786024] + 130.0*zb[0.8]) :   0.0 :   True
         0.80571 :   0.0 :    dzb[0.80571] - (-110.386792412*zb[0.8] + 87.5592397794*zb[0.80571] + 28.9194261538*zb[0.827684] - 8.751863962*zb[0.858359] + 3.9970520794*zb[0.886024] - 1.33706163849*zb[0.9]) :   0.0 :   True
        0.827684 :   0.0 :  dzb[0.827684] - (35.830685225*zb[0.8] - 71.6138072015*zb[0.80571] + 18.0607772408*zb[0.827684] + 23.6379717607*zb[0.858359] - 8.65900780283*zb[0.886024] + 2.74338077775*zb[0.9]) :   0.0 :   True
        0.858359 :   0.0 : dzb[0.858359] - (-23.441715579*zb[0.8] + 41.2216524624*zb[0.80571] - 44.9601712581*zb[0.827684] + 8.56765245397*zb[0.858359] + 25.1832094921*zb[0.886024] - 6.57062757134*zb[0.9]) :   0.0 :   True
        0.886024 :   0.0 : dzb[0.886024] - (22.8263550021*zb[0.8] - 38.7866321972*zb[0.80571] + 33.9315191806*zb[0.827684] - 51.8834090641*zb[0.858359] + 5.81233052581*zb[0.886024] + 28.0998365528*zb[0.9]) :   0.0 :   True
             0.9 :   0.0 :                      dzb[0.9] - (-50.0*zb[0.8] + 84.1242422359*zb[0.80571] - 69.7025611666*zb[0.827684] + 87.7711420415*zb[0.858359] - 182.192823111*zb[0.886024] + 130.0*zb[0.9]) :   0.0 :   True
         0.90571 :   0.0 :      dzb[0.90571] - (-110.386792412*zb[0.9] + 87.5592397794*zb[0.90571] + 28.9194261538*zb[0.927684] - 8.751863962*zb[0.958359] + 3.9970520794*zb[0.986024] - 1.33706163849*zb[1]) :   0.0 :   True
        0.927684 :   0.0 :    dzb[0.927684] - (35.830685225*zb[0.9] - 71.6138072015*zb[0.90571] + 18.0607772408*zb[0.927684] + 23.6379717607*zb[0.958359] - 8.65900780283*zb[0.986024] + 2.74338077775*zb[1]) :   0.0 :   True
        0.958359 :   0.0 :   dzb[0.958359] - (-23.441715579*zb[0.9] + 41.2216524624*zb[0.90571] - 44.9601712581*zb[0.927684] + 8.56765245397*zb[0.958359] + 25.1832094921*zb[0.986024] - 6.57062757134*zb[1]) :   0.0 :   True
        0.986024 :   0.0 :   dzb[0.986024] - (22.8263550021*zb[0.9] - 38.7866321972*zb[0.90571] + 33.9315191806*zb[0.927684] - 51.8834090641*zb[0.958359] + 5.81233052581*zb[0.986024] + 28.0998365528*zb[1]) :   0.0 :   True
               1 :   0.0 :                          dzb[1] - (-50.0*zb[0.9] + 84.1242422359*zb[0.90571] - 69.7025611666*zb[0.927684] + 87.7711420415*zb[0.958359] - 182.192823111*zb[0.986024] + 130.0*zb[1]) :   0.0 :   True

1 ContinuousSet Declarations
    t : Dim=0, Dimen=1, Size=51, Domain=None, Ordered=Sorted, Bounds=(0.0, 1)
        [0.0, 0.00571, 0.027684, 0.058359, 0.086024, 0.1, 0.10571, 0.127684, 0.158359, 0.186024, 0.2, 0.20571, 0.227684, 0.258359, 0.286024, 0.3, 0.30571, 0.327684, 0.358359, 0.386024, 0.4, 0.40571, 0.427684, 0.458359, 0.486024, 0.5, 0.50571, 0.527684, 0.558359, 0.586024, 0.6, 0.60571, 0.627684, 0.658359, 0.686024, 0.7, 0.70571, 0.727684, 0.758359, 0.786024, 0.8, 0.80571, 0.827684, 0.858359, 0.886024, 0.9, 0.90571, 0.927684, 0.958359, 0.986024, 1]

15 Declarations: t p1 p2 p3 p4 za zb zc dza dzb diffeq1 diffeq2 algeq1 dza_disc_eq dzb_disc_eq
[[ 1.0000  0.0000 -0.0000]
 [ 0.9607  0.0327  0.0066]
 [ 0.9236  0.0547  0.0217]
 [ 0.8883  0.0708  0.0409]
 [ 0.8546  0.0835  0.0618]
 [ 0.8225  0.0943  0.0832]
 [ 0.7919  0.1038  0.1043]
 [ 0.7627  0.1125  0.1248]
 [ 0.7348  0.1205  0.1447]
 [ 0.7082  0.1281  0.1637]
 [ 0.6828  0.1352  0.1820]
 [ 0.6585  0.1420  0.1995]
 [ 0.6353  0.1485  0.2162]
 [ 0.6131  0.1547  0.2322]
 [ 0.5920  0.1606  0.2474]
 [ 0.5718  0.1662  0.2620]
 [ 0.5525  0.1716  0.2759]
 [ 0.5340  0.1768  0.2892]
 [ 0.5164  0.1817  0.3019]
 [ 0.4996  0.1863  0.3140]
 [ 0.4836  0.1908  0.3256]
 [ 0.4682  0.1951  0.3367]
 [ 0.4536  0.1992  0.3472]
 [ 0.4396  0.2031  0.3573]
 [ 0.4263  0.2068  0.3670]
 [ 0.4135  0.2103  0.3762]
 [ 0.4014  0.2137  0.3849]
 [ 0.3897  0.2170  0.3933]
 [ 0.3786  0.2200  0.4013]
 [ 0.3680  0.2230  0.4090]
 [ 0.3579  0.2258  0.4163]
 [ 0.3482  0.2285  0.4233]
 [ 0.3390  0.2311  0.4299]
 [ 0.3301  0.2335  0.4363]
 [ 0.3217  0.2359  0.4424]
 [ 0.3137  0.2381  0.4482]
 [ 0.3060  0.2403  0.4537]
 [ 0.2987  0.2423  0.4590]
 [ 0.2916  0.2443  0.4641]
 [ 0.2849  0.2461  0.4689]
 [ 0.2786  0.2479  0.4735]
 [ 0.2725  0.2496  0.4779]
 [ 0.2666  0.2512  0.4821]
 [ 0.2611  0.2528  0.4862]
 [ 0.2557  0.2543  0.4900]
 [ 0.2507  0.2557  0.4937]
 [ 0.2458  0.2570  0.4972]
 [ 0.2412  0.2583  0.5005]
 [ 0.2368  0.2596  0.5037]
 [ 0.2325  0.2607  0.5067]
 [ 0.2285  0.2619  0.5096]
 [ 0.2246  0.2629  0.5124]
 [ 0.2210  0.2640  0.5151]
 [ 0.2174  0.2649  0.5176]
 [ 0.2141  0.2659  0.5200]
 [ 0.2109  0.2668  0.5223]
 [ 0.2078  0.2676  0.5246]
 [ 0.2049  0.2684  0.5267]
 [ 0.2021  0.2692  0.5287]
 [ 0.1994  0.2700  0.5306]
 [ 0.1969  0.2707  0.5324]
 [ 0.1945  0.2713  0.5342]
 [ 0.1921  0.2720  0.5359]
 [ 0.1899  0.2726  0.5375]
 [ 0.1878  0.2732  0.5390]
 [ 0.1858  0.2738  0.5405]
 [ 0.1839  0.2743  0.5418]
 [ 0.1820  0.2748  0.5432]
 [ 0.1803  0.2753  0.5444]
 [ 0.1786  0.2758  0.5457]
 [ 0.1770  0.2762  0.5468]
 [ 0.1754  0.2766  0.5479]
 [ 0.1740  0.2770  0.5490]
 [ 0.1726  0.2774  0.5500]
 [ 0.1712  0.2778  0.5510]
 [ 0.1700  0.2782  0.5519]
 [ 0.1687  0.2785  0.5528]
 [ 0.1676  0.2788  0.5536]
 [ 0.1665  0.2791  0.5544]
 [ 0.1654  0.2794  0.5552]
 [ 0.1644  0.2797  0.5559]
 [ 0.1634  0.2800  0.5566]
 [ 0.1625  0.2802  0.5573]
 [ 0.1616  0.2805  0.5579]
 [ 0.1608  0.2807  0.5585]
 [ 0.1600  0.2810  0.5591]
 [ 0.1592  0.2812  0.5596]
 [ 0.1585  0.2814  0.5602]
 [ 0.1578  0.2816  0.5607]
 [ 0.1571  0.2818  0.5612]
 [ 0.1564  0.2819  0.5616]
 [ 0.1558  0.2821  0.5621]
 [ 0.1552  0.2823  0.5625]
 [ 0.1547  0.2824  0.5629]
 [ 0.1542  0.2826  0.5633]
 [ 0.1536  0.2827  0.5636]
 [ 0.1532  0.2828  0.5640]
 [ 0.1527  0.2830  0.5643]
 [ 0.1523  0.2831  0.5646]
 [ 0.1518  0.2832  0.5650]]
