2 Param Declarations
    b : Size=1, Index=None, Domain=Any, Default=None, Mutable=False
        Key  : Value
        None :  0.25
    c : Size=1, Index=None, Domain=Any, Default=None, Mutable=False
        Key  : Value
        None :   5.0

4 Var Declarations
    domegadt : Size=51, Index=t
        Key      : Lower : Value : Upper : Fixed : Stale : Domain
             0.0 :  None :  None :  None : False :  True :  Reals
        0.057104 :  None :  None :  None : False :  True :  Reals
        0.276843 :  None :  None :  None : False :  True :  Reals
         0.58359 :  None :  None :  None : False :  True :  Reals
         0.86024 :  None :  None :  None : False :  True :  Reals
             1.0 :  None :  None :  None : False :  True :  Reals
        1.057104 :  None :  None :  None : False :  True :  Reals
        1.276843 :  None :  None :  None : False :  True :  Reals
         1.58359 :  None :  None :  None : False :  True :  Reals
         1.86024 :  None :  None :  None : False :  True :  Reals
             2.0 :  None :  None :  None : False :  True :  Reals
        2.057104 :  None :  None :  None : False :  True :  Reals
        2.276843 :  None :  None :  None : False :  True :  Reals
         2.58359 :  None :  None :  None : False :  True :  Reals
         2.86024 :  None :  None :  None : False :  True :  Reals
             3.0 :  None :  None :  None : False :  True :  Reals
        3.057104 :  None :  None :  None : False :  True :  Reals
        3.276843 :  None :  None :  None : False :  True :  Reals
         3.58359 :  None :  None :  None : False :  True :  Reals
         3.86024 :  None :  None :  None : False :  True :  Reals
             4.0 :  None :  None :  None : False :  True :  Reals
        4.057104 :  None :  None :  None : False :  True :  Reals
        4.276843 :  None :  None :  None : False :  True :  Reals
         4.58359 :  None :  None :  None : False :  True :  Reals
         4.86024 :  None :  None :  None : False :  True :  Reals
             5.0 :  None :  None :  None : False :  True :  Reals
        5.057104 :  None :  None :  None : False :  True :  Reals
        5.276843 :  None :  None :  None : False :  True :  Reals
         5.58359 :  None :  None :  None : False :  True :  Reals
         5.86024 :  None :  None :  None : False :  True :  Reals
             6.0 :  None :  None :  None : False :  True :  Reals
        6.057104 :  None :  None :  None : False :  True :  Reals
        6.276843 :  None :  None :  None : False :  True :  Reals
         6.58359 :  None :  None :  None : False :  True :  Reals
         6.86024 :  None :  None :  None : False :  True :  Reals
             7.0 :  None :  None :  None : False :  True :  Reals
        7.057104 :  None :  None :  None : False :  True :  Reals
        7.276843 :  None :  None :  None : False :  True :  Reals
         7.58359 :  None :  None :  None : False :  True :  Reals
         7.86024 :  None :  None :  None : False :  True :  Reals
             8.0 :  None :  None :  None : False :  True :  Reals
        8.057104 :  None :  None :  None : False :  True :  Reals
        8.276843 :  None :  None :  None : False :  True :  Reals
         8.58359 :  None :  None :  None : False :  True :  Reals
         8.86024 :  None :  None :  None : False :  True :  Reals
             9.0 :  None :  None :  None : False :  True :  Reals
        9.057104 :  None :  None :  None : False :  True :  Reals
        9.276843 :  None :  None :  None : False :  True :  Reals
         9.58359 :  None :  None :  None : False :  True :  Reals
         9.86024 :  None :  None :  None : False :  True :  Reals
            10.0 :  None :  None :  None : False :  True :  Reals
    dthetadt : Size=51, Index=t
        Key      : Lower : Value : Upper : Fixed : Stale : Domain
             0.0 :  None :  None :  None : False :  True :  Reals
        0.057104 :  None :  None :  None : False :  True :  Reals
        0.276843 :  None :  None :  None : False :  True :  Reals
         0.58359 :  None :  None :  None : False :  True :  Reals
         0.86024 :  None :  None :  None : False :  True :  Reals
             1.0 :  None :  None :  None : False :  True :  Reals
        1.057104 :  None :  None :  None : False :  True :  Reals
        1.276843 :  None :  None :  None : False :  True :  Reals
         1.58359 :  None :  None :  None : False :  True :  Reals
         1.86024 :  None :  None :  None : False :  True :  Reals
             2.0 :  None :  None :  None : False :  True :  Reals
        2.057104 :  None :  None :  None : False :  True :  Reals
        2.276843 :  None :  None :  None : False :  True :  Reals
         2.58359 :  None :  None :  None : False :  True :  Reals
         2.86024 :  None :  None :  None : False :  True :  Reals
             3.0 :  None :  None :  None : False :  True :  Reals
        3.057104 :  None :  None :  None : False :  True :  Reals
        3.276843 :  None :  None :  None : False :  True :  Reals
         3.58359 :  None :  None :  None : False :  True :  Reals
         3.86024 :  None :  None :  None : False :  True :  Reals
             4.0 :  None :  None :  None : False :  True :  Reals
        4.057104 :  None :  None :  None : False :  True :  Reals
        4.276843 :  None :  None :  None : False :  True :  Reals
         4.58359 :  None :  None :  None : False :  True :  Reals
         4.86024 :  None :  None :  None : False :  True :  Reals
             5.0 :  None :  None :  None : False :  True :  Reals
        5.057104 :  None :  None :  None : False :  True :  Reals
        5.276843 :  None :  None :  None : False :  True :  Reals
         5.58359 :  None :  None :  None : False :  True :  Reals
         5.86024 :  None :  None :  None : False :  True :  Reals
             6.0 :  None :  None :  None : False :  True :  Reals
        6.057104 :  None :  None :  None : False :  True :  Reals
        6.276843 :  None :  None :  None : False :  True :  Reals
         6.58359 :  None :  None :  None : False :  True :  Reals
         6.86024 :  None :  None :  None : False :  True :  Reals
             7.0 :  None :  None :  None : False :  True :  Reals
        7.057104 :  None :  None :  None : False :  True :  Reals
        7.276843 :  None :  None :  None : False :  True :  Reals
         7.58359 :  None :  None :  None : False :  True :  Reals
         7.86024 :  None :  None :  None : False :  True :  Reals
             8.0 :  None :  None :  None : False :  True :  Reals
        8.057104 :  None :  None :  None : False :  True :  Reals
        8.276843 :  None :  None :  None : False :  True :  Reals
         8.58359 :  None :  None :  None : False :  True :  Reals
         8.86024 :  None :  None :  None : False :  True :  Reals
             9.0 :  None :  None :  None : False :  True :  Reals
        9.057104 :  None :  None :  None : False :  True :  Reals
        9.276843 :  None :  None :  None : False :  True :  Reals
         9.58359 :  None :  None :  None : False :  True :  Reals
         9.86024 :  None :  None :  None : False :  True :  Reals
            10.0 :  None :  None :  None : False :  True :  Reals
    omega : Size=51, Index=t
        Key      : Lower : Value            : Upper : Fixed : Stale : Domain
             0.0 :  None :              0.0 :  None : False : False :  Reals
        0.057104 :  None : -0.0288367718331 :  None : False : False :  Reals
        0.276843 :  None :  -0.144935728318 :  None : False : False :  Reals
         0.58359 :  None :  -0.360925796388 :  None : False : False :  Reals
         0.86024 :  None :  -0.681754964798 :  None : False : False :  Reals
             1.0 :  None :  -0.916580382476 :  None : False : False :  Reals
        1.057104 :  None :   -1.03638358118 :  None : False : False :  Reals
        1.276843 :  None :   -1.61446153636 :  None : False : False :  Reals
         1.58359 :  None :   -2.77862301258 :  None : False : False :  Reals
         1.86024 :  None :    -3.7964837794 :  None : False : False :  Reals
             2.0 :  None :   -3.98880252355 :  None : False : False :  Reals
        2.057104 :  None :   -3.95363041693 :  None : False : False :  Reals
        2.276843 :  None :   -3.31259041389 :  None : False : False :  Reals
         2.58359 :  None :   -1.71003706385 :  None : False : False :  Reals
         2.86024 :  None :  -0.291528693069 :  None : False : False :  Reals
             3.0 :  None :   0.372853032229 :  None : False : False :  Reals
        3.057104 :  None :   0.639837432637 :  None : False : False :  Reals
        3.276843 :  None :    1.65642484544 :  None : False : False :  Reals
         3.58359 :  None :     2.8995551007 :  None : False : False :  Reals
         3.86024 :  None :    3.25695914382 :  None : False : False :  Reals
             4.0 :  None :    2.98882137087 :  None : False : False :  Reals
        4.057104 :  None :    2.81261373275 :  None : False : False :  Reals
        4.276843 :  None :    1.84451738792 :  None : False : False :  Reals
         4.58359 :  None :   0.283476577158 :  None : False : False :  Reals
         4.86024 :  None :   -1.05794775672 :  None : False : False :  Reals
             5.0 :  None :   -1.66929122385 :  None : False : False :  Reals
        5.057104 :  None :   -1.90219757192 :  None : False : False :  Reals
        5.276843 :  None :   -2.55893328798 :  None : False : False :  Reals
         5.58359 :  None :   -2.56375165735 :  None : False : False :  Reals
         5.86024 :  None :   -1.66642941983 :  None : False : False :  Reals
             6.0 :  None :   -1.04123251979 :  None : False : False :  Reals
        6.057104 :  None :  -0.776917363925 :  None : False : False :  Reals
        6.276843 :  None :    0.24319396474 :  None : False : False :  Reals
         6.58359 :  None :    1.50686448553 :  None : False : False :  Reals
         6.86024 :  None :    2.19686100862 :  None : False : False :  Reals
             7.0 :  None :    2.25390221046 :  None : False : False :  Reals
        7.057104 :  None :    2.22299642675 :  None : False : False :  Reals
        7.276843 :  None :    1.78220623588 :  None : False : False :  Reals
         7.58359 :  None :   0.650826699669 :  None : False : False :  Reals
         7.86024 :  None :  -0.475937555457 :  None : False : False :  Reals
             8.0 :  None :  -0.989405964761 :  None : False : False :  Reals
        8.057104 :  None :   -1.17772174412 :  None : False : False :  Reals
        8.276843 :  None :   -1.72857955401 :  None : False : False :  Reals
         8.58359 :  None :   -1.82788389429 :  None : False : False :  Reals
         8.86024 :  None :   -1.23259781241 :  None : False : False :  Reals
             9.0 :  None :  -0.784341315869 :  None : False : False :  Reals
        9.057104 :  None :  -0.584143291772 :  None : False : False :  Reals
        9.276843 :  None :   0.196857216649 :  None : False : False :  Reals
         9.58359 :  None :    1.13358175254 :  None : False : False :  Reals
         9.86024 :  None :    1.55494228383 :  None : False : False :  Reals
            10.0 :  None :    1.56385842926 :  None : False : False :  Reals
    theta : Size=51, Index=t
        Key      : Lower : Value            : Upper : Fixed : Stale : Domain
             0.0 :  None :             3.04 :  None : False : False :  Reals
        0.057104 :  None :    3.03854359236 :  None : False : False :  Reals
        0.276843 :  None :    3.01985169904 :  None : False : False :  Reals
         0.58359 :  None :    2.94479849706 :  None : False : False :  Reals
         0.86024 :  None :    2.80389804558 :  None : False : False :  Reals
             1.0 :  None :    2.69434291633 :  None : False : False :  Reals
        1.057104 :  None :    2.63693502887 :  None : False : False :  Reals
        1.276843 :  None :    2.34999537636 :  None : False : False :  Reals
         1.58359 :  None :     1.6854468113 :  None : False : False :  Reals
         1.86024 :  None :   0.764350498932 :  None : False : False :  Reals
             2.0 :  None :   0.216583176695 :  None : False : False :  Reals
        2.057104 :  None : -0.0097719012592 :  None : False : False :  Reals
        2.276843 :  None :  -0.821935874055 :  None : False : False :  Reals
         2.58359 :  None :   -1.59939653373 :  None : False : False :  Reals
         2.86024 :  None :   -1.87329513994 :  None : False : False :  Reals
             3.0 :  None :   -1.86747657483 :  None : False : False :  Reals
        3.057104 :  None :   -1.83892648779 :  None : False : False :  Reals
        3.276843 :  None :   -1.58510628476 :  None : False : False :  Reals
         3.58359 :  None :  -0.874879240519 :  None : False : False :  Reals
         3.86024 :  None : 0.00109629546615 :  None : False : False :  Reals
             4.0 :  None :   0.440559372007 :  None : False : False :  Reals
        4.057104 :  None :   0.607801260665 :  None : False : False :  Reals
        4.276843 :  None :    1.12310078819 :  None : False : False :  Reals
         4.58359 :  None :    1.44954772893 :  None : False : False :  Reals
         4.86024 :  None :    1.34301354783 :  None : False : False :  Reals
             5.0 :  None :    1.14829625752 :  None : False : False :  Reals
        5.057104 :  None :    1.05016975232 :  None : False : False :  Reals
        5.276843 :  None :   0.550508955937 :  None : False : False :  Reals
         5.58359 :  None :  -0.266408463166 :  None : False : False :  Reals
         5.86024 :  None :  -0.869540385218 :  None : False : False :  Reals
             6.0 :  None :   -1.05419561307 :  None : False : False :  Reals
        6.057104 :  None :   -1.11104485228 :  None : False : False :  Reals
        6.276843 :  None :   -1.16704241034 :  None : False : False :  Reals
         6.58359 :  None :  -0.890105814579 :  None : False : False :  Reals
         6.86024 :  None :  -0.363923767771 :  None : False : False :  Reals
             7.0 :  None : -0.0503543436636 :  None : False : False :  Reals
        7.057104 :  None :   0.078268098944 :  None : False : False :  Reals
        7.276843 :  None :   0.527093474144 :  None : False : False :  Reals
         7.58359 :  None :   0.908477581807 :  None : False : False :  Reals
         7.86024 :  None :   0.929578843425 :  None : False : False :  Reals
             8.0 :  None :   0.826347007449 :  None : False : False :  Reals
        8.057104 :  None :   0.763915384299 :  None : False : False :  Reals
        8.276843 :  None :   0.440372783687 :  None : False : False :  Reals
         8.58359 :  None :  -0.127136016061 :  None : False : False :  Reals
         8.86024 :  None :  -0.560481227396 :  None : False : False :  Reals
             9.0 :  None :   -0.70398319544 :  None : False : False :  Reals
        9.057104 :  None :  -0.740757144228 :  None : False : False :  Reals
        9.276843 :  None :  -0.784799079693 :  None : False : False :  Reals
         9.58359 :  None :  -0.572881790888 :  None : False : False :  Reals
         9.86024 :  None :  -0.187877594901 :  None : False : False :  Reals
            10.0 :  None :  0.0317769938428 :  None : False : False :  Reals

4 Constraint Declarations
    diffeq1 : Size=51, Index=t, Active=True
        Key      : Lower : Body                                                                    : Upper : Active
             0.0 :   0.0 :                domegadt[0.0] - (-0.25*omega[0.0] - 5.0*sin(theta[0.0])) :   0.0 :   True
        0.057104 :   0.0 : domegadt[0.057104] - (-0.25*omega[0.057104] - 5.0*sin(theta[0.057104])) :   0.0 :   True
        0.276843 :   0.0 : domegadt[0.276843] - (-0.25*omega[0.276843] - 5.0*sin(theta[0.276843])) :   0.0 :   True
         0.58359 :   0.0 :    domegadt[0.58359] - (-0.25*omega[0.58359] - 5.0*sin(theta[0.58359])) :   0.0 :   True
         0.86024 :   0.0 :    domegadt[0.86024] - (-0.25*omega[0.86024] - 5.0*sin(theta[0.86024])) :   0.0 :   True
             1.0 :   0.0 :                domegadt[1.0] - (-0.25*omega[1.0] - 5.0*sin(theta[1.0])) :   0.0 :   True
        1.057104 :   0.0 : domegadt[1.057104] - (-0.25*omega[1.057104] - 5.0*sin(theta[1.057104])) :   0.0 :   True
        1.276843 :   0.0 : domegadt[1.276843] - (-0.25*omega[1.276843] - 5.0*sin(theta[1.276843])) :   0.0 :   True
         1.58359 :   0.0 :    domegadt[1.58359] - (-0.25*omega[1.58359] - 5.0*sin(theta[1.58359])) :   0.0 :   True
         1.86024 :   0.0 :    domegadt[1.86024] - (-0.25*omega[1.86024] - 5.0*sin(theta[1.86024])) :   0.0 :   True
             2.0 :   0.0 :                domegadt[2.0] - (-0.25*omega[2.0] - 5.0*sin(theta[2.0])) :   0.0 :   True
        2.057104 :   0.0 : domegadt[2.057104] - (-0.25*omega[2.057104] - 5.0*sin(theta[2.057104])) :   0.0 :   True
        2.276843 :   0.0 : domegadt[2.276843] - (-0.25*omega[2.276843] - 5.0*sin(theta[2.276843])) :   0.0 :   True
         2.58359 :   0.0 :    domegadt[2.58359] - (-0.25*omega[2.58359] - 5.0*sin(theta[2.58359])) :   0.0 :   True
         2.86024 :   0.0 :    domegadt[2.86024] - (-0.25*omega[2.86024] - 5.0*sin(theta[2.86024])) :   0.0 :   True
             3.0 :   0.0 :                domegadt[3.0] - (-0.25*omega[3.0] - 5.0*sin(theta[3.0])) :   0.0 :   True
        3.057104 :   0.0 : domegadt[3.057104] - (-0.25*omega[3.057104] - 5.0*sin(theta[3.057104])) :   0.0 :   True
        3.276843 :   0.0 : domegadt[3.276843] - (-0.25*omega[3.276843] - 5.0*sin(theta[3.276843])) :   0.0 :   True
         3.58359 :   0.0 :    domegadt[3.58359] - (-0.25*omega[3.58359] - 5.0*sin(theta[3.58359])) :   0.0 :   True
         3.86024 :   0.0 :    domegadt[3.86024] - (-0.25*omega[3.86024] - 5.0*sin(theta[3.86024])) :   0.0 :   True
             4.0 :   0.0 :                domegadt[4.0] - (-0.25*omega[4.0] - 5.0*sin(theta[4.0])) :   0.0 :   True
        4.057104 :   0.0 : domegadt[4.057104] - (-0.25*omega[4.057104] - 5.0*sin(theta[4.057104])) :   0.0 :   True
        4.276843 :   0.0 : domegadt[4.276843] - (-0.25*omega[4.276843] - 5.0*sin(theta[4.276843])) :   0.0 :   True
         4.58359 :   0.0 :    domegadt[4.58359] - (-0.25*omega[4.58359] - 5.0*sin(theta[4.58359])) :   0.0 :   True
         4.86024 :   0.0 :    domegadt[4.86024] - (-0.25*omega[4.86024] - 5.0*sin(theta[4.86024])) :   0.0 :   True
             5.0 :   0.0 :                domegadt[5.0] - (-0.25*omega[5.0] - 5.0*sin(theta[5.0])) :   0.0 :   True
        5.057104 :   0.0 : domegadt[5.057104] - (-0.25*omega[5.057104] - 5.0*sin(theta[5.057104])) :   0.0 :   True
        5.276843 :   0.0 : domegadt[5.276843] - (-0.25*omega[5.276843] - 5.0*sin(theta[5.276843])) :   0.0 :   True
         5.58359 :   0.0 :    domegadt[5.58359] - (-0.25*omega[5.58359] - 5.0*sin(theta[5.58359])) :   0.0 :   True
         5.86024 :   0.0 :    domegadt[5.86024] - (-0.25*omega[5.86024] - 5.0*sin(theta[5.86024])) :   0.0 :   True
             6.0 :   0.0 :                domegadt[6.0] - (-0.25*omega[6.0] - 5.0*sin(theta[6.0])) :   0.0 :   True
        6.057104 :   0.0 : domegadt[6.057104] - (-0.25*omega[6.057104] - 5.0*sin(theta[6.057104])) :   0.0 :   True
        6.276843 :   0.0 : domegadt[6.276843] - (-0.25*omega[6.276843] - 5.0*sin(theta[6.276843])) :   0.0 :   True
         6.58359 :   0.0 :    domegadt[6.58359] - (-0.25*omega[6.58359] - 5.0*sin(theta[6.58359])) :   0.0 :   True
         6.86024 :   0.0 :    domegadt[6.86024] - (-0.25*omega[6.86024] - 5.0*sin(theta[6.86024])) :   0.0 :   True
             7.0 :   0.0 :                domegadt[7.0] - (-0.25*omega[7.0] - 5.0*sin(theta[7.0])) :   0.0 :   True
        7.057104 :   0.0 : domegadt[7.057104] - (-0.25*omega[7.057104] - 5.0*sin(theta[7.057104])) :   0.0 :   True
        7.276843 :   0.0 : domegadt[7.276843] - (-0.25*omega[7.276843] - 5.0*sin(theta[7.276843])) :   0.0 :   True
         7.58359 :   0.0 :    domegadt[7.58359] - (-0.25*omega[7.58359] - 5.0*sin(theta[7.58359])) :   0.0 :   True
         7.86024 :   0.0 :    domegadt[7.86024] - (-0.25*omega[7.86024] - 5.0*sin(theta[7.86024])) :   0.0 :   True
             8.0 :   0.0 :                domegadt[8.0] - (-0.25*omega[8.0] - 5.0*sin(theta[8.0])) :   0.0 :   True
        8.057104 :   0.0 : domegadt[8.057104] - (-0.25*omega[8.057104] - 5.0*sin(theta[8.057104])) :   0.0 :   True
        8.276843 :   0.0 : domegadt[8.276843] - (-0.25*omega[8.276843] - 5.0*sin(theta[8.276843])) :   0.0 :   True
         8.58359 :   0.0 :    domegadt[8.58359] - (-0.25*omega[8.58359] - 5.0*sin(theta[8.58359])) :   0.0 :   True
         8.86024 :   0.0 :    domegadt[8.86024] - (-0.25*omega[8.86024] - 5.0*sin(theta[8.86024])) :   0.0 :   True
             9.0 :   0.0 :                domegadt[9.0] - (-0.25*omega[9.0] - 5.0*sin(theta[9.0])) :   0.0 :   True
        9.057104 :   0.0 : domegadt[9.057104] - (-0.25*omega[9.057104] - 5.0*sin(theta[9.057104])) :   0.0 :   True
        9.276843 :   0.0 : domegadt[9.276843] - (-0.25*omega[9.276843] - 5.0*sin(theta[9.276843])) :   0.0 :   True
         9.58359 :   0.0 :    domegadt[9.58359] - (-0.25*omega[9.58359] - 5.0*sin(theta[9.58359])) :   0.0 :   True
         9.86024 :   0.0 :    domegadt[9.86024] - (-0.25*omega[9.86024] - 5.0*sin(theta[9.86024])) :   0.0 :   True
            10.0 :   0.0 :             domegadt[10.0] - (-0.25*omega[10.0] - 5.0*sin(theta[10.0])) :   0.0 :   True
    diffeq2 : Size=51, Index=t, Active=True
        Key      : Lower : Body                                 : Upper : Active
             0.0 :   0.0 :           dthetadt[0.0] - omega[0.0] :   0.0 :   True
        0.057104 :   0.0 : dthetadt[0.057104] - omega[0.057104] :   0.0 :   True
        0.276843 :   0.0 : dthetadt[0.276843] - omega[0.276843] :   0.0 :   True
         0.58359 :   0.0 :   dthetadt[0.58359] - omega[0.58359] :   0.0 :   True
         0.86024 :   0.0 :   dthetadt[0.86024] - omega[0.86024] :   0.0 :   True
             1.0 :   0.0 :           dthetadt[1.0] - omega[1.0] :   0.0 :   True
        1.057104 :   0.0 : dthetadt[1.057104] - omega[1.057104] :   0.0 :   True
        1.276843 :   0.0 : dthetadt[1.276843] - omega[1.276843] :   0.0 :   True
         1.58359 :   0.0 :   dthetadt[1.58359] - omega[1.58359] :   0.0 :   True
         1.86024 :   0.0 :   dthetadt[1.86024] - omega[1.86024] :   0.0 :   True
             2.0 :   0.0 :           dthetadt[2.0] - omega[2.0] :   0.0 :   True
        2.057104 :   0.0 : dthetadt[2.057104] - omega[2.057104] :   0.0 :   True
        2.276843 :   0.0 : dthetadt[2.276843] - omega[2.276843] :   0.0 :   True
         2.58359 :   0.0 :   dthetadt[2.58359] - omega[2.58359] :   0.0 :   True
         2.86024 :   0.0 :   dthetadt[2.86024] - omega[2.86024] :   0.0 :   True
             3.0 :   0.0 :           dthetadt[3.0] - omega[3.0] :   0.0 :   True
        3.057104 :   0.0 : dthetadt[3.057104] - omega[3.057104] :   0.0 :   True
        3.276843 :   0.0 : dthetadt[3.276843] - omega[3.276843] :   0.0 :   True
         3.58359 :   0.0 :   dthetadt[3.58359] - omega[3.58359] :   0.0 :   True
         3.86024 :   0.0 :   dthetadt[3.86024] - omega[3.86024] :   0.0 :   True
             4.0 :   0.0 :           dthetadt[4.0] - omega[4.0] :   0.0 :   True
        4.057104 :   0.0 : dthetadt[4.057104] - omega[4.057104] :   0.0 :   True
        4.276843 :   0.0 : dthetadt[4.276843] - omega[4.276843] :   0.0 :   True
         4.58359 :   0.0 :   dthetadt[4.58359] - omega[4.58359] :   0.0 :   True
         4.86024 :   0.0 :   dthetadt[4.86024] - omega[4.86024] :   0.0 :   True
             5.0 :   0.0 :           dthetadt[5.0] - omega[5.0] :   0.0 :   True
        5.057104 :   0.0 : dthetadt[5.057104] - omega[5.057104] :   0.0 :   True
        5.276843 :   0.0 : dthetadt[5.276843] - omega[5.276843] :   0.0 :   True
         5.58359 :   0.0 :   dthetadt[5.58359] - omega[5.58359] :   0.0 :   True
         5.86024 :   0.0 :   dthetadt[5.86024] - omega[5.86024] :   0.0 :   True
             6.0 :   0.0 :           dthetadt[6.0] - omega[6.0] :   0.0 :   True
        6.057104 :   0.0 : dthetadt[6.057104] - omega[6.057104] :   0.0 :   True
        6.276843 :   0.0 : dthetadt[6.276843] - omega[6.276843] :   0.0 :   True
         6.58359 :   0.0 :   dthetadt[6.58359] - omega[6.58359] :   0.0 :   True
         6.86024 :   0.0 :   dthetadt[6.86024] - omega[6.86024] :   0.0 :   True
             7.0 :   0.0 :           dthetadt[7.0] - omega[7.0] :   0.0 :   True
        7.057104 :   0.0 : dthetadt[7.057104] - omega[7.057104] :   0.0 :   True
        7.276843 :   0.0 : dthetadt[7.276843] - omega[7.276843] :   0.0 :   True
         7.58359 :   0.0 :   dthetadt[7.58359] - omega[7.58359] :   0.0 :   True
         7.86024 :   0.0 :   dthetadt[7.86024] - omega[7.86024] :   0.0 :   True
             8.0 :   0.0 :           dthetadt[8.0] - omega[8.0] :   0.0 :   True
        8.057104 :   0.0 : dthetadt[8.057104] - omega[8.057104] :   0.0 :   True
        8.276843 :   0.0 : dthetadt[8.276843] - omega[8.276843] :   0.0 :   True
         8.58359 :   0.0 :   dthetadt[8.58359] - omega[8.58359] :   0.0 :   True
         8.86024 :   0.0 :   dthetadt[8.86024] - omega[8.86024] :   0.0 :   True
             9.0 :   0.0 :           dthetadt[9.0] - omega[9.0] :   0.0 :   True
        9.057104 :   0.0 : dthetadt[9.057104] - omega[9.057104] :   0.0 :   True
        9.276843 :   0.0 : dthetadt[9.276843] - omega[9.276843] :   0.0 :   True
         9.58359 :   0.0 :   dthetadt[9.58359] - omega[9.58359] :   0.0 :   True
         9.86024 :   0.0 :   dthetadt[9.86024] - omega[9.86024] :   0.0 :   True
            10.0 :   0.0 :         dthetadt[10.0] - omega[10.0] :   0.0 :   True
    domegadt_disc_eq : Size=50, Index=t, Active=True
        Key      : Lower : Body                                                                                                                                                                                                       : Upper : Active
        0.057104 :   0.0 :  domegadt[0.057104] - (-11.0386792412*omega[0.0] + 8.75592397794*omega[0.057104] + 2.89194261538*omega[0.276843] - 0.8751863962*omega[0.58359] + 0.39970520794*omega[0.86024] - 0.133706163849*omega[1.0]) :   0.0 :   True
        0.276843 :   0.0 :  domegadt[0.276843] - (3.5830685225*omega[0.0] - 7.16138072015*omega[0.057104] + 1.80607772408*omega[0.276843] + 2.36379717607*omega[0.58359] - 0.865900780283*omega[0.86024] + 0.274338077775*omega[1.0]) :   0.0 :   True
         0.58359 :   0.0 :  domegadt[0.58359] - (-2.3441715579*omega[0.0] + 4.12216524624*omega[0.057104] - 4.49601712581*omega[0.276843] + 0.856765245397*omega[0.58359] + 2.51832094921*omega[0.86024] - 0.657062757134*omega[1.0]) :   0.0 :   True
         0.86024 :   0.0 :   domegadt[0.86024] - (2.28263550021*omega[0.0] - 3.87866321972*omega[0.057104] + 3.39315191806*omega[0.276843] - 5.18834090641*omega[0.58359] + 0.581233052581*omega[0.86024] + 2.80998365528*omega[1.0]) :   0.0 :   True
             1.0 :   0.0 :                          domegadt[1.0] - (-5.0*omega[0.0] + 8.41242422359*omega[0.057104] - 6.97025611666*omega[0.276843] + 8.77711420415*omega[0.58359] - 18.2192823111*omega[0.86024] + 13.0*omega[1.0]) :   0.0 :   True
        1.057104 :   0.0 :  domegadt[1.057104] - (-11.0386792412*omega[1.0] + 8.75592397794*omega[1.057104] + 2.89194261538*omega[1.276843] - 0.8751863962*omega[1.58359] + 0.39970520794*omega[1.86024] - 0.133706163849*omega[2.0]) :   0.0 :   True
        1.276843 :   0.0 :  domegadt[1.276843] - (3.5830685225*omega[1.0] - 7.16138072015*omega[1.057104] + 1.80607772408*omega[1.276843] + 2.36379717607*omega[1.58359] - 0.865900780283*omega[1.86024] + 0.274338077775*omega[2.0]) :   0.0 :   True
         1.58359 :   0.0 :  domegadt[1.58359] - (-2.3441715579*omega[1.0] + 4.12216524624*omega[1.057104] - 4.49601712581*omega[1.276843] + 0.856765245397*omega[1.58359] + 2.51832094921*omega[1.86024] - 0.657062757134*omega[2.0]) :   0.0 :   True
         1.86024 :   0.0 :   domegadt[1.86024] - (2.28263550021*omega[1.0] - 3.87866321972*omega[1.057104] + 3.39315191806*omega[1.276843] - 5.18834090641*omega[1.58359] + 0.581233052581*omega[1.86024] + 2.80998365528*omega[2.0]) :   0.0 :   True
             2.0 :   0.0 :                          domegadt[2.0] - (-5.0*omega[1.0] + 8.41242422359*omega[1.057104] - 6.97025611666*omega[1.276843] + 8.77711420415*omega[1.58359] - 18.2192823111*omega[1.86024] + 13.0*omega[2.0]) :   0.0 :   True
        2.057104 :   0.0 :  domegadt[2.057104] - (-11.0386792412*omega[2.0] + 8.75592397794*omega[2.057104] + 2.89194261538*omega[2.276843] - 0.8751863962*omega[2.58359] + 0.39970520794*omega[2.86024] - 0.133706163849*omega[3.0]) :   0.0 :   True
        2.276843 :   0.0 :  domegadt[2.276843] - (3.5830685225*omega[2.0] - 7.16138072015*omega[2.057104] + 1.80607772408*omega[2.276843] + 2.36379717607*omega[2.58359] - 0.865900780283*omega[2.86024] + 0.274338077775*omega[3.0]) :   0.0 :   True
         2.58359 :   0.0 :  domegadt[2.58359] - (-2.3441715579*omega[2.0] + 4.12216524624*omega[2.057104] - 4.49601712581*omega[2.276843] + 0.856765245397*omega[2.58359] + 2.51832094921*omega[2.86024] - 0.657062757134*omega[3.0]) :   0.0 :   True
         2.86024 :   0.0 :   domegadt[2.86024] - (2.28263550021*omega[2.0] - 3.87866321972*omega[2.057104] + 3.39315191806*omega[2.276843] - 5.18834090641*omega[2.58359] + 0.581233052581*omega[2.86024] + 2.80998365528*omega[3.0]) :   0.0 :   True
             3.0 :   0.0 :                          domegadt[3.0] - (-5.0*omega[2.0] + 8.41242422359*omega[2.057104] - 6.97025611666*omega[2.276843] + 8.77711420415*omega[2.58359] - 18.2192823111*omega[2.86024] + 13.0*omega[3.0]) :   0.0 :   True
        3.057104 :   0.0 :  domegadt[3.057104] - (-11.0386792412*omega[3.0] + 8.75592397794*omega[3.057104] + 2.89194261538*omega[3.276843] - 0.8751863962*omega[3.58359] + 0.39970520794*omega[3.86024] - 0.133706163849*omega[4.0]) :   0.0 :   True
        3.276843 :   0.0 :  domegadt[3.276843] - (3.5830685225*omega[3.0] - 7.16138072015*omega[3.057104] + 1.80607772408*omega[3.276843] + 2.36379717607*omega[3.58359] - 0.865900780283*omega[3.86024] + 0.274338077775*omega[4.0]) :   0.0 :   True
         3.58359 :   0.0 :  domegadt[3.58359] - (-2.3441715579*omega[3.0] + 4.12216524624*omega[3.057104] - 4.49601712581*omega[3.276843] + 0.856765245397*omega[3.58359] + 2.51832094921*omega[3.86024] - 0.657062757134*omega[4.0]) :   0.0 :   True
         3.86024 :   0.0 :   domegadt[3.86024] - (2.28263550021*omega[3.0] - 3.87866321972*omega[3.057104] + 3.39315191806*omega[3.276843] - 5.18834090641*omega[3.58359] + 0.581233052581*omega[3.86024] + 2.80998365528*omega[4.0]) :   0.0 :   True
             4.0 :   0.0 :                          domegadt[4.0] - (-5.0*omega[3.0] + 8.41242422359*omega[3.057104] - 6.97025611666*omega[3.276843] + 8.77711420415*omega[3.58359] - 18.2192823111*omega[3.86024] + 13.0*omega[4.0]) :   0.0 :   True
        4.057104 :   0.0 :  domegadt[4.057104] - (-11.0386792412*omega[4.0] + 8.75592397794*omega[4.057104] + 2.89194261538*omega[4.276843] - 0.8751863962*omega[4.58359] + 0.39970520794*omega[4.86024] - 0.133706163849*omega[5.0]) :   0.0 :   True
        4.276843 :   0.0 :  domegadt[4.276843] - (3.5830685225*omega[4.0] - 7.16138072015*omega[4.057104] + 1.80607772408*omega[4.276843] + 2.36379717607*omega[4.58359] - 0.865900780283*omega[4.86024] + 0.274338077775*omega[5.0]) :   0.0 :   True
         4.58359 :   0.0 :  domegadt[4.58359] - (-2.3441715579*omega[4.0] + 4.12216524624*omega[4.057104] - 4.49601712581*omega[4.276843] + 0.856765245397*omega[4.58359] + 2.51832094921*omega[4.86024] - 0.657062757134*omega[5.0]) :   0.0 :   True
         4.86024 :   0.0 :   domegadt[4.86024] - (2.28263550021*omega[4.0] - 3.87866321972*omega[4.057104] + 3.39315191806*omega[4.276843] - 5.18834090641*omega[4.58359] + 0.581233052581*omega[4.86024] + 2.80998365528*omega[5.0]) :   0.0 :   True
             5.0 :   0.0 :                          domegadt[5.0] - (-5.0*omega[4.0] + 8.41242422359*omega[4.057104] - 6.97025611666*omega[4.276843] + 8.77711420415*omega[4.58359] - 18.2192823111*omega[4.86024] + 13.0*omega[5.0]) :   0.0 :   True
        5.057104 :   0.0 :  domegadt[5.057104] - (-11.0386792412*omega[5.0] + 8.75592397794*omega[5.057104] + 2.89194261538*omega[5.276843] - 0.8751863962*omega[5.58359] + 0.39970520794*omega[5.86024] - 0.133706163849*omega[6.0]) :   0.0 :   True
        5.276843 :   0.0 :  domegadt[5.276843] - (3.5830685225*omega[5.0] - 7.16138072015*omega[5.057104] + 1.80607772408*omega[5.276843] + 2.36379717607*omega[5.58359] - 0.865900780283*omega[5.86024] + 0.274338077775*omega[6.0]) :   0.0 :   True
         5.58359 :   0.0 :  domegadt[5.58359] - (-2.3441715579*omega[5.0] + 4.12216524624*omega[5.057104] - 4.49601712581*omega[5.276843] + 0.856765245397*omega[5.58359] + 2.51832094921*omega[5.86024] - 0.657062757134*omega[6.0]) :   0.0 :   True
         5.86024 :   0.0 :   domegadt[5.86024] - (2.28263550021*omega[5.0] - 3.87866321972*omega[5.057104] + 3.39315191806*omega[5.276843] - 5.18834090641*omega[5.58359] + 0.581233052581*omega[5.86024] + 2.80998365528*omega[6.0]) :   0.0 :   True
             6.0 :   0.0 :                          domegadt[6.0] - (-5.0*omega[5.0] + 8.41242422359*omega[5.057104] - 6.97025611666*omega[5.276843] + 8.77711420415*omega[5.58359] - 18.2192823111*omega[5.86024] + 13.0*omega[6.0]) :   0.0 :   True
        6.057104 :   0.0 :  domegadt[6.057104] - (-11.0386792412*omega[6.0] + 8.75592397794*omega[6.057104] + 2.89194261538*omega[6.276843] - 0.8751863962*omega[6.58359] + 0.39970520794*omega[6.86024] - 0.133706163849*omega[7.0]) :   0.0 :   True
        6.276843 :   0.0 :  domegadt[6.276843] - (3.5830685225*omega[6.0] - 7.16138072015*omega[6.057104] + 1.80607772408*omega[6.276843] + 2.36379717607*omega[6.58359] - 0.865900780283*omega[6.86024] + 0.274338077775*omega[7.0]) :   0.0 :   True
         6.58359 :   0.0 :  domegadt[6.58359] - (-2.3441715579*omega[6.0] + 4.12216524624*omega[6.057104] - 4.49601712581*omega[6.276843] + 0.856765245397*omega[6.58359] + 2.51832094921*omega[6.86024] - 0.657062757134*omega[7.0]) :   0.0 :   True
         6.86024 :   0.0 :   domegadt[6.86024] - (2.28263550021*omega[6.0] - 3.87866321972*omega[6.057104] + 3.39315191806*omega[6.276843] - 5.18834090641*omega[6.58359] + 0.581233052581*omega[6.86024] + 2.80998365528*omega[7.0]) :   0.0 :   True
             7.0 :   0.0 :                          domegadt[7.0] - (-5.0*omega[6.0] + 8.41242422359*omega[6.057104] - 6.97025611666*omega[6.276843] + 8.77711420415*omega[6.58359] - 18.2192823111*omega[6.86024] + 13.0*omega[7.0]) :   0.0 :   True
        7.057104 :   0.0 :  domegadt[7.057104] - (-11.0386792412*omega[7.0] + 8.75592397794*omega[7.057104] + 2.89194261538*omega[7.276843] - 0.8751863962*omega[7.58359] + 0.39970520794*omega[7.86024] - 0.133706163849*omega[8.0]) :   0.0 :   True
        7.276843 :   0.0 :  domegadt[7.276843] - (3.5830685225*omega[7.0] - 7.16138072015*omega[7.057104] + 1.80607772408*omega[7.276843] + 2.36379717607*omega[7.58359] - 0.865900780283*omega[7.86024] + 0.274338077775*omega[8.0]) :   0.0 :   True
         7.58359 :   0.0 :  domegadt[7.58359] - (-2.3441715579*omega[7.0] + 4.12216524624*omega[7.057104] - 4.49601712581*omega[7.276843] + 0.856765245397*omega[7.58359] + 2.51832094921*omega[7.86024] - 0.657062757134*omega[8.0]) :   0.0 :   True
         7.86024 :   0.0 :   domegadt[7.86024] - (2.28263550021*omega[7.0] - 3.87866321972*omega[7.057104] + 3.39315191806*omega[7.276843] - 5.18834090641*omega[7.58359] + 0.581233052581*omega[7.86024] + 2.80998365528*omega[8.0]) :   0.0 :   True
             8.0 :   0.0 :                          domegadt[8.0] - (-5.0*omega[7.0] + 8.41242422359*omega[7.057104] - 6.97025611666*omega[7.276843] + 8.77711420415*omega[7.58359] - 18.2192823111*omega[7.86024] + 13.0*omega[8.0]) :   0.0 :   True
        8.057104 :   0.0 :  domegadt[8.057104] - (-11.0386792412*omega[8.0] + 8.75592397794*omega[8.057104] + 2.89194261538*omega[8.276843] - 0.8751863962*omega[8.58359] + 0.39970520794*omega[8.86024] - 0.133706163849*omega[9.0]) :   0.0 :   True
        8.276843 :   0.0 :  domegadt[8.276843] - (3.5830685225*omega[8.0] - 7.16138072015*omega[8.057104] + 1.80607772408*omega[8.276843] + 2.36379717607*omega[8.58359] - 0.865900780283*omega[8.86024] + 0.274338077775*omega[9.0]) :   0.0 :   True
         8.58359 :   0.0 :  domegadt[8.58359] - (-2.3441715579*omega[8.0] + 4.12216524624*omega[8.057104] - 4.49601712581*omega[8.276843] + 0.856765245397*omega[8.58359] + 2.51832094921*omega[8.86024] - 0.657062757134*omega[9.0]) :   0.0 :   True
         8.86024 :   0.0 :   domegadt[8.86024] - (2.28263550021*omega[8.0] - 3.87866321972*omega[8.057104] + 3.39315191806*omega[8.276843] - 5.18834090641*omega[8.58359] + 0.581233052581*omega[8.86024] + 2.80998365528*omega[9.0]) :   0.0 :   True
             9.0 :   0.0 :                          domegadt[9.0] - (-5.0*omega[8.0] + 8.41242422359*omega[8.057104] - 6.97025611666*omega[8.276843] + 8.77711420415*omega[8.58359] - 18.2192823111*omega[8.86024] + 13.0*omega[9.0]) :   0.0 :   True
        9.057104 :   0.0 : domegadt[9.057104] - (-11.0386792412*omega[9.0] + 8.75592397794*omega[9.057104] + 2.89194261538*omega[9.276843] - 0.8751863962*omega[9.58359] + 0.39970520794*omega[9.86024] - 0.133706163849*omega[10.0]) :   0.0 :   True
        9.276843 :   0.0 : domegadt[9.276843] - (3.5830685225*omega[9.0] - 7.16138072015*omega[9.057104] + 1.80607772408*omega[9.276843] + 2.36379717607*omega[9.58359] - 0.865900780283*omega[9.86024] + 0.274338077775*omega[10.0]) :   0.0 :   True
         9.58359 :   0.0 : domegadt[9.58359] - (-2.3441715579*omega[9.0] + 4.12216524624*omega[9.057104] - 4.49601712581*omega[9.276843] + 0.856765245397*omega[9.58359] + 2.51832094921*omega[9.86024] - 0.657062757134*omega[10.0]) :   0.0 :   True
         9.86024 :   0.0 :  domegadt[9.86024] - (2.28263550021*omega[9.0] - 3.87866321972*omega[9.057104] + 3.39315191806*omega[9.276843] - 5.18834090641*omega[9.58359] + 0.581233052581*omega[9.86024] + 2.80998365528*omega[10.0]) :   0.0 :   True
            10.0 :   0.0 :                        domegadt[10.0] - (-5.0*omega[9.0] + 8.41242422359*omega[9.057104] - 6.97025611666*omega[9.276843] + 8.77711420415*omega[9.58359] - 18.2192823111*omega[9.86024] + 13.0*omega[10.0]) :   0.0 :   True
    dthetadt_disc_eq : Size=50, Index=t, Active=True
        Key      : Lower : Body                                                                                                                                                                                                       : Upper : Active
        0.057104 :   0.0 :  dthetadt[0.057104] - (-11.0386792412*theta[0.0] + 8.75592397794*theta[0.057104] + 2.89194261538*theta[0.276843] - 0.8751863962*theta[0.58359] + 0.39970520794*theta[0.86024] - 0.133706163849*theta[1.0]) :   0.0 :   True
        0.276843 :   0.0 :  dthetadt[0.276843] - (3.5830685225*theta[0.0] - 7.16138072015*theta[0.057104] + 1.80607772408*theta[0.276843] + 2.36379717607*theta[0.58359] - 0.865900780283*theta[0.86024] + 0.274338077775*theta[1.0]) :   0.0 :   True
         0.58359 :   0.0 :  dthetadt[0.58359] - (-2.3441715579*theta[0.0] + 4.12216524624*theta[0.057104] - 4.49601712581*theta[0.276843] + 0.856765245397*theta[0.58359] + 2.51832094921*theta[0.86024] - 0.657062757134*theta[1.0]) :   0.0 :   True
         0.86024 :   0.0 :   dthetadt[0.86024] - (2.28263550021*theta[0.0] - 3.87866321972*theta[0.057104] + 3.39315191806*theta[0.276843] - 5.18834090641*theta[0.58359] + 0.581233052581*theta[0.86024] + 2.80998365528*theta[1.0]) :   0.0 :   True
             1.0 :   0.0 :                          dthetadt[1.0] - (-5.0*theta[0.0] + 8.41242422359*theta[0.057104] - 6.97025611666*theta[0.276843] + 8.77711420415*theta[0.58359] - 18.2192823111*theta[0.86024] + 13.0*theta[1.0]) :   0.0 :   True
        1.057104 :   0.0 :  dthetadt[1.057104] - (-11.0386792412*theta[1.0] + 8.75592397794*theta[1.057104] + 2.89194261538*theta[1.276843] - 0.8751863962*theta[1.58359] + 0.39970520794*theta[1.86024] - 0.133706163849*theta[2.0]) :   0.0 :   True
        1.276843 :   0.0 :  dthetadt[1.276843] - (3.5830685225*theta[1.0] - 7.16138072015*theta[1.057104] + 1.80607772408*theta[1.276843] + 2.36379717607*theta[1.58359] - 0.865900780283*theta[1.86024] + 0.274338077775*theta[2.0]) :   0.0 :   True
         1.58359 :   0.0 :  dthetadt[1.58359] - (-2.3441715579*theta[1.0] + 4.12216524624*theta[1.057104] - 4.49601712581*theta[1.276843] + 0.856765245397*theta[1.58359] + 2.51832094921*theta[1.86024] - 0.657062757134*theta[2.0]) :   0.0 :   True
         1.86024 :   0.0 :   dthetadt[1.86024] - (2.28263550021*theta[1.0] - 3.87866321972*theta[1.057104] + 3.39315191806*theta[1.276843] - 5.18834090641*theta[1.58359] + 0.581233052581*theta[1.86024] + 2.80998365528*theta[2.0]) :   0.0 :   True
             2.0 :   0.0 :                          dthetadt[2.0] - (-5.0*theta[1.0] + 8.41242422359*theta[1.057104] - 6.97025611666*theta[1.276843] + 8.77711420415*theta[1.58359] - 18.2192823111*theta[1.86024] + 13.0*theta[2.0]) :   0.0 :   True
        2.057104 :   0.0 :  dthetadt[2.057104] - (-11.0386792412*theta[2.0] + 8.75592397794*theta[2.057104] + 2.89194261538*theta[2.276843] - 0.8751863962*theta[2.58359] + 0.39970520794*theta[2.86024] - 0.133706163849*theta[3.0]) :   0.0 :   True
        2.276843 :   0.0 :  dthetadt[2.276843] - (3.5830685225*theta[2.0] - 7.16138072015*theta[2.057104] + 1.80607772408*theta[2.276843] + 2.36379717607*theta[2.58359] - 0.865900780283*theta[2.86024] + 0.274338077775*theta[3.0]) :   0.0 :   True
         2.58359 :   0.0 :  dthetadt[2.58359] - (-2.3441715579*theta[2.0] + 4.12216524624*theta[2.057104] - 4.49601712581*theta[2.276843] + 0.856765245397*theta[2.58359] + 2.51832094921*theta[2.86024] - 0.657062757134*theta[3.0]) :   0.0 :   True
         2.86024 :   0.0 :   dthetadt[2.86024] - (2.28263550021*theta[2.0] - 3.87866321972*theta[2.057104] + 3.39315191806*theta[2.276843] - 5.18834090641*theta[2.58359] + 0.581233052581*theta[2.86024] + 2.80998365528*theta[3.0]) :   0.0 :   True
             3.0 :   0.0 :                          dthetadt[3.0] - (-5.0*theta[2.0] + 8.41242422359*theta[2.057104] - 6.97025611666*theta[2.276843] + 8.77711420415*theta[2.58359] - 18.2192823111*theta[2.86024] + 13.0*theta[3.0]) :   0.0 :   True
        3.057104 :   0.0 :  dthetadt[3.057104] - (-11.0386792412*theta[3.0] + 8.75592397794*theta[3.057104] + 2.89194261538*theta[3.276843] - 0.8751863962*theta[3.58359] + 0.39970520794*theta[3.86024] - 0.133706163849*theta[4.0]) :   0.0 :   True
        3.276843 :   0.0 :  dthetadt[3.276843] - (3.5830685225*theta[3.0] - 7.16138072015*theta[3.057104] + 1.80607772408*theta[3.276843] + 2.36379717607*theta[3.58359] - 0.865900780283*theta[3.86024] + 0.274338077775*theta[4.0]) :   0.0 :   True
         3.58359 :   0.0 :  dthetadt[3.58359] - (-2.3441715579*theta[3.0] + 4.12216524624*theta[3.057104] - 4.49601712581*theta[3.276843] + 0.856765245397*theta[3.58359] + 2.51832094921*theta[3.86024] - 0.657062757134*theta[4.0]) :   0.0 :   True
         3.86024 :   0.0 :   dthetadt[3.86024] - (2.28263550021*theta[3.0] - 3.87866321972*theta[3.057104] + 3.39315191806*theta[3.276843] - 5.18834090641*theta[3.58359] + 0.581233052581*theta[3.86024] + 2.80998365528*theta[4.0]) :   0.0 :   True
             4.0 :   0.0 :                          dthetadt[4.0] - (-5.0*theta[3.0] + 8.41242422359*theta[3.057104] - 6.97025611666*theta[3.276843] + 8.77711420415*theta[3.58359] - 18.2192823111*theta[3.86024] + 13.0*theta[4.0]) :   0.0 :   True
        4.057104 :   0.0 :  dthetadt[4.057104] - (-11.0386792412*theta[4.0] + 8.75592397794*theta[4.057104] + 2.89194261538*theta[4.276843] - 0.8751863962*theta[4.58359] + 0.39970520794*theta[4.86024] - 0.133706163849*theta[5.0]) :   0.0 :   True
        4.276843 :   0.0 :  dthetadt[4.276843] - (3.5830685225*theta[4.0] - 7.16138072015*theta[4.057104] + 1.80607772408*theta[4.276843] + 2.36379717607*theta[4.58359] - 0.865900780283*theta[4.86024] + 0.274338077775*theta[5.0]) :   0.0 :   True
         4.58359 :   0.0 :  dthetadt[4.58359] - (-2.3441715579*theta[4.0] + 4.12216524624*theta[4.057104] - 4.49601712581*theta[4.276843] + 0.856765245397*theta[4.58359] + 2.51832094921*theta[4.86024] - 0.657062757134*theta[5.0]) :   0.0 :   True
         4.86024 :   0.0 :   dthetadt[4.86024] - (2.28263550021*theta[4.0] - 3.87866321972*theta[4.057104] + 3.39315191806*theta[4.276843] - 5.18834090641*theta[4.58359] + 0.581233052581*theta[4.86024] + 2.80998365528*theta[5.0]) :   0.0 :   True
             5.0 :   0.0 :                          dthetadt[5.0] - (-5.0*theta[4.0] + 8.41242422359*theta[4.057104] - 6.97025611666*theta[4.276843] + 8.77711420415*theta[4.58359] - 18.2192823111*theta[4.86024] + 13.0*theta[5.0]) :   0.0 :   True
        5.057104 :   0.0 :  dthetadt[5.057104] - (-11.0386792412*theta[5.0] + 8.75592397794*theta[5.057104] + 2.89194261538*theta[5.276843] - 0.8751863962*theta[5.58359] + 0.39970520794*theta[5.86024] - 0.133706163849*theta[6.0]) :   0.0 :   True
        5.276843 :   0.0 :  dthetadt[5.276843] - (3.5830685225*theta[5.0] - 7.16138072015*theta[5.057104] + 1.80607772408*theta[5.276843] + 2.36379717607*theta[5.58359] - 0.865900780283*theta[5.86024] + 0.274338077775*theta[6.0]) :   0.0 :   True
         5.58359 :   0.0 :  dthetadt[5.58359] - (-2.3441715579*theta[5.0] + 4.12216524624*theta[5.057104] - 4.49601712581*theta[5.276843] + 0.856765245397*theta[5.58359] + 2.51832094921*theta[5.86024] - 0.657062757134*theta[6.0]) :   0.0 :   True
         5.86024 :   0.0 :   dthetadt[5.86024] - (2.28263550021*theta[5.0] - 3.87866321972*theta[5.057104] + 3.39315191806*theta[5.276843] - 5.18834090641*theta[5.58359] + 0.581233052581*theta[5.86024] + 2.80998365528*theta[6.0]) :   0.0 :   True
             6.0 :   0.0 :                          dthetadt[6.0] - (-5.0*theta[5.0] + 8.41242422359*theta[5.057104] - 6.97025611666*theta[5.276843] + 8.77711420415*theta[5.58359] - 18.2192823111*theta[5.86024] + 13.0*theta[6.0]) :   0.0 :   True
        6.057104 :   0.0 :  dthetadt[6.057104] - (-11.0386792412*theta[6.0] + 8.75592397794*theta[6.057104] + 2.89194261538*theta[6.276843] - 0.8751863962*theta[6.58359] + 0.39970520794*theta[6.86024] - 0.133706163849*theta[7.0]) :   0.0 :   True
        6.276843 :   0.0 :  dthetadt[6.276843] - (3.5830685225*theta[6.0] - 7.16138072015*theta[6.057104] + 1.80607772408*theta[6.276843] + 2.36379717607*theta[6.58359] - 0.865900780283*theta[6.86024] + 0.274338077775*theta[7.0]) :   0.0 :   True
         6.58359 :   0.0 :  dthetadt[6.58359] - (-2.3441715579*theta[6.0] + 4.12216524624*theta[6.057104] - 4.49601712581*theta[6.276843] + 0.856765245397*theta[6.58359] + 2.51832094921*theta[6.86024] - 0.657062757134*theta[7.0]) :   0.0 :   True
         6.86024 :   0.0 :   dthetadt[6.86024] - (2.28263550021*theta[6.0] - 3.87866321972*theta[6.057104] + 3.39315191806*theta[6.276843] - 5.18834090641*theta[6.58359] + 0.581233052581*theta[6.86024] + 2.80998365528*theta[7.0]) :   0.0 :   True
             7.0 :   0.0 :                          dthetadt[7.0] - (-5.0*theta[6.0] + 8.41242422359*theta[6.057104] - 6.97025611666*theta[6.276843] + 8.77711420415*theta[6.58359] - 18.2192823111*theta[6.86024] + 13.0*theta[7.0]) :   0.0 :   True
        7.057104 :   0.0 :  dthetadt[7.057104] - (-11.0386792412*theta[7.0] + 8.75592397794*theta[7.057104] + 2.89194261538*theta[7.276843] - 0.8751863962*theta[7.58359] + 0.39970520794*theta[7.86024] - 0.133706163849*theta[8.0]) :   0.0 :   True
        7.276843 :   0.0 :  dthetadt[7.276843] - (3.5830685225*theta[7.0] - 7.16138072015*theta[7.057104] + 1.80607772408*theta[7.276843] + 2.36379717607*theta[7.58359] - 0.865900780283*theta[7.86024] + 0.274338077775*theta[8.0]) :   0.0 :   True
         7.58359 :   0.0 :  dthetadt[7.58359] - (-2.3441715579*theta[7.0] + 4.12216524624*theta[7.057104] - 4.49601712581*theta[7.276843] + 0.856765245397*theta[7.58359] + 2.51832094921*theta[7.86024] - 0.657062757134*theta[8.0]) :   0.0 :   True
         7.86024 :   0.0 :   dthetadt[7.86024] - (2.28263550021*theta[7.0] - 3.87866321972*theta[7.057104] + 3.39315191806*theta[7.276843] - 5.18834090641*theta[7.58359] + 0.581233052581*theta[7.86024] + 2.80998365528*theta[8.0]) :   0.0 :   True
             8.0 :   0.0 :                          dthetadt[8.0] - (-5.0*theta[7.0] + 8.41242422359*theta[7.057104] - 6.97025611666*theta[7.276843] + 8.77711420415*theta[7.58359] - 18.2192823111*theta[7.86024] + 13.0*theta[8.0]) :   0.0 :   True
        8.057104 :   0.0 :  dthetadt[8.057104] - (-11.0386792412*theta[8.0] + 8.75592397794*theta[8.057104] + 2.89194261538*theta[8.276843] - 0.8751863962*theta[8.58359] + 0.39970520794*theta[8.86024] - 0.133706163849*theta[9.0]) :   0.0 :   True
        8.276843 :   0.0 :  dthetadt[8.276843] - (3.5830685225*theta[8.0] - 7.16138072015*theta[8.057104] + 1.80607772408*theta[8.276843] + 2.36379717607*theta[8.58359] - 0.865900780283*theta[8.86024] + 0.274338077775*theta[9.0]) :   0.0 :   True
         8.58359 :   0.0 :  dthetadt[8.58359] - (-2.3441715579*theta[8.0] + 4.12216524624*theta[8.057104] - 4.49601712581*theta[8.276843] + 0.856765245397*theta[8.58359] + 2.51832094921*theta[8.86024] - 0.657062757134*theta[9.0]) :   0.0 :   True
         8.86024 :   0.0 :   dthetadt[8.86024] - (2.28263550021*theta[8.0] - 3.87866321972*theta[8.057104] + 3.39315191806*theta[8.276843] - 5.18834090641*theta[8.58359] + 0.581233052581*theta[8.86024] + 2.80998365528*theta[9.0]) :   0.0 :   True
             9.0 :   0.0 :                          dthetadt[9.0] - (-5.0*theta[8.0] + 8.41242422359*theta[8.057104] - 6.97025611666*theta[8.276843] + 8.77711420415*theta[8.58359] - 18.2192823111*theta[8.86024] + 13.0*theta[9.0]) :   0.0 :   True
        9.057104 :   0.0 : dthetadt[9.057104] - (-11.0386792412*theta[9.0] + 8.75592397794*theta[9.057104] + 2.89194261538*theta[9.276843] - 0.8751863962*theta[9.58359] + 0.39970520794*theta[9.86024] - 0.133706163849*theta[10.0]) :   0.0 :   True
        9.276843 :   0.0 : dthetadt[9.276843] - (3.5830685225*theta[9.0] - 7.16138072015*theta[9.057104] + 1.80607772408*theta[9.276843] + 2.36379717607*theta[9.58359] - 0.865900780283*theta[9.86024] + 0.274338077775*theta[10.0]) :   0.0 :   True
         9.58359 :   0.0 : dthetadt[9.58359] - (-2.3441715579*theta[9.0] + 4.12216524624*theta[9.057104] - 4.49601712581*theta[9.276843] + 0.856765245397*theta[9.58359] + 2.51832094921*theta[9.86024] - 0.657062757134*theta[10.0]) :   0.0 :   True
         9.86024 :   0.0 :  dthetadt[9.86024] - (2.28263550021*theta[9.0] - 3.87866321972*theta[9.057104] + 3.39315191806*theta[9.276843] - 5.18834090641*theta[9.58359] + 0.581233052581*theta[9.86024] + 2.80998365528*theta[10.0]) :   0.0 :   True
            10.0 :   0.0 :                        dthetadt[10.0] - (-5.0*theta[9.0] + 8.41242422359*theta[9.057104] - 6.97025611666*theta[9.276843] + 8.77711420415*theta[9.58359] - 18.2192823111*theta[9.86024] + 13.0*theta[10.0]) :   0.0 :   True

1 ContinuousSet Declarations
    t : Dim=0, Dimen=1, Size=51, Domain=None, Ordered=Sorted, Bounds=(0.0, 10.0)
        [0.0, 0.057104, 0.276843, 0.58359, 0.86024, 1.0, 1.057104, 1.276843, 1.58359, 1.86024, 2.0, 2.057104, 2.276843, 2.58359, 2.86024, 3.0, 3.057104, 3.276843, 3.58359, 3.86024, 4.0, 4.057104, 4.276843, 4.58359, 4.86024, 5.0, 5.057104, 5.276843, 5.58359, 5.86024, 6.0, 6.057104, 6.276843, 6.58359, 6.86024, 7.0, 7.057104, 7.276843, 7.58359, 7.86024, 8.0, 8.057104, 8.276843, 8.58359, 8.86024, 9.0, 9.057104, 9.276843, 9.58359, 9.86024, 10.0]

11 Declarations: t b c omega theta domegadt dthetadt diffeq1 diffeq2 domegadt_disc_eq dthetadt_disc_eq
[[ 0.0000  3.0400]
 [-0.0510  3.0374]
 [-0.1033  3.0297]
 [-0.1595  3.0164]
 [-0.2223  2.9972]
 [-0.2947  2.9712]
 [-0.3799  2.9372]
 [-0.4818  2.8939]
 [-0.6048  2.8392]
 [-0.7538  2.7708]
 [-0.9347  2.6858]
 [-1.1533  2.5807]
 [-1.4155  2.4514]
 [-1.7260  2.2931]
 [-2.0856  2.1010]
 [-2.4884  1.8703]
 [-2.9167  1.5975]
 [-3.3366  1.2814]
 [-3.6968  0.9254]
 [-3.9363  0.5386]
 [-4.0019  0.1361]
 [-3.8697 -0.2631]
 [-3.5554 -0.6395]
 [-3.1063 -0.9769]
 [-2.5803 -1.2645]
 [-2.0268 -1.4972]
 [-1.4783 -1.6741]
 [-0.9502 -1.7966]
 [-0.4453 -1.8669]
 [ 0.0407 -1.8872]
 [ 0.5152 -1.8590]
 [ 0.9849 -1.7833]
 [ 1.4529 -1.6601]
 [ 1.9147 -1.4899]
 [ 2.3562 -1.2740]
 [ 2.7509 -1.0155]
 [ 3.0622 -0.7210]
 [ 3.2504 -0.4010]
 [ 3.2849 -0.0696]
 [ 3.1557  0.2571]
 [ 2.8776  0.5629]
 [ 2.4846  0.8345]
 [ 2.0170  1.0623]
 [ 1.5108  1.2407]
 [ 0.9918  1.3671]
 [ 0.4750  1.4411]
 [-0.0323  1.4634]
 [-0.5268  1.4350]
 [-1.0050  1.3575]
 [-1.4600  1.2328]
 [-1.8786  1.0638]
 [-2.2401  0.8552]
 [-2.5185  0.6140]
 [-2.6866  0.3501]
 [-2.7245  0.0757]
 [-2.6261 -0.1957]
 [-2.4015 -0.4506]
 [-2.0743 -0.6774]
 [-1.6737 -0.8671]
 [-1.2282 -1.0140]
 [-0.7607 -1.1145]
 [-0.2876 -1.1675]
 [ 0.1796 -1.1728]
 [ 0.6315 -1.1317]
 [ 1.0583 -1.0461]
 [ 1.4474 -0.9192]
 [ 1.7822 -0.7555]
 [ 2.0432 -0.5616]
 [ 2.2109 -0.3459]
 [ 2.2703 -0.1186]
 [ 2.2156  0.1089]
 [ 2.0523  0.3253]
 [ 1.7956  0.5204]
 [ 1.4670  0.6856]
 [ 1.0893  0.8151]
 [ 0.6832  0.9048]
 [ 0.2657  0.9527]
 [-0.1492  0.9585]
 [-0.5494  0.9231]
 [-0.9228  0.8484]
 [-1.2559  0.7380]
 [-1.5338  0.5966]
 [-1.7409  0.4305]
 [-1.8634  0.2477]
 [-1.8925  0.0572]
 [-1.8264 -0.1314]
 [-1.6713 -0.3087]
 [-1.4403 -0.4664]
 [-1.1504 -0.5977]
 [-0.8198 -0.6975]
 [-0.4656 -0.7625]
 [-0.1033 -0.7913]
 [ 0.2537 -0.7836]
 [ 0.5927 -0.7406]
 [ 0.9011 -0.6649]
 [ 1.1660 -0.5600]
 [ 1.3746 -0.4312]
 [ 1.5153 -0.2846]
 [ 1.5796 -0.1277]
 [ 1.5639  0.0318]]
