| # of LHS Args | LHS Indices | Primal Values | # of Passive Args | # of Active Args | RHS Indices | RHS Primal Values | # of Constants | Constants | Statement Key |
1 [ 254 ]  [ 1.000000000000e+00 ] 255   [ 0 ]
1 [ 255 ]  [ 8.414709848079e-01 ] 0  1  [ 254 ]  []  0  []  [ 1 ]
1 [ 256 ]  [ 8.414709848079e-01 ] 1  2  [ 0  255 ]  [ 0.000000000000e+00 ]  0  []  [ 2 ]
1 [ 257 ]  [ 8.414709848079e-01 ] 1  2  [ 0  256 ]  [ 0.000000000000e+00 ]  0  []  [ 2 ]
1 [ 258 ]  [ 8.414709848079e-01 ] 1  2  [ 0  255 ]  [ 1.000000000000e+00 ]  0  []  [ 3 ]
1 [ 259 ]  [ 8.414709848079e-01 ] 1  2  [ 0  258 ]  [ 1.000000000000e+00 ]  0  []  [ 3 ]
1 [ 260 ]  [ 2.000000000000e+00 ] 255   [ 0 ]
1 [ 261 ]  [ 9.092974268257e-01 ] 0  1  [ 260 ]  []  0  []  [ 1 ]
1 [ 262 ]  [ 1.750768411634e+00 ] 0  2  [ 257  261 ]  []  0  []  [ 2 ]
1 [ 263 ]  [ 2.592239396441e+00 ] 0  2  [ 257  262 ]  []  0  []  [ 2 ]
1 [ 264 ]  [ 7.651474012343e-01 ] 0  2  [ 259  261 ]  []  0  []  [ 3 ]
1 [ 265 ]  [ 6.438493372398e-01 ] 0  2  [ 259  264 ]  []  0  []  [ 3 ]
1 [ 266 ]  [ 3.000000000000e+00 ] 255   [ 0 ]
1 [ 267 ]  [ 1.411200080599e-01 ] 0  1  [ 266 ]  []  0  []  [ 1 ]
1 [ 268 ]  [ 2.733359404501e+00 ] 0  2  [ 263  267 ]  []  0  []  [ 2 ]
1 [ 269 ]  [ 5.325598800943e+00 ] 0  2  [ 263  268 ]  []  0  []  [ 2 ]
1 [ 270 ]  [ 9.086002366062e-02 ] 0  2  [ 265  267 ]  []  0  []  [ 3 ]
1 [ 271 ]  [ 5.850016601549e-02 ] 0  2  [ 265  270 ]  []  0  []  [ 3 ]
1 [ 272 ]  [ 4.000000000000e+00 ] 255   [ 0 ]
1 [ 273 ]  [ -7.568024953079e-01 ] 0  1  [ 272 ]  []  0  []  [ 1 ]
1 [ 274 ]  [ 4.568796305635e+00 ] 0  2  [ 269  273 ]  []  0  []  [ 2 ]
1 [ 275 ]  [ 9.894395106578e+00 ] 0  2  [ 269  274 ]  []  0  []  [ 2 ]
1 [ 276 ]  [ -4.427307161645e-02 ] 0  2  [ 271  273 ]  []  0  []  [ 3 ]
1 [ 277 ]  [ -2.589982039578e-03 ] 0  2  [ 271  276 ]  []  0  []  [ 3 ]
1 [ 278 ]  [ 5.000000000000e+00 ] 255   [ 0 ]
1 [ 279 ]  [ -9.589242746631e-01 ] 0  1  [ 278 ]  []  0  []  [ 1 ]
1 [ 280 ]  [ 8.935470831915e+00 ] 0  2  [ 275  279 ]  []  0  []  [ 2 ]
1 [ 281 ]  [ 1.882986593849e+01 ] 0  2  [ 275  280 ]  []  0  []  [ 2 ]
1 [ 282 ]  [ 2.483596648693e-03 ] 0  2  [ 277  279 ]  []  0  []  [ 3 ]
1 [ 283 ]  [ -6.432470713670e-06 ] 0  2  [ 277  282 ]  []  0  []  [ 3 ]
1 [ 284 ]  [ 1.967133692330e+01 ] 0  2  [ 255  281 ]  []  0  []  [ 2 ]
1 [ 285 ]  [ -5.849029068072e-06 ] 0  2  [ 261  283 ]  []  0  []  [ 3 ]
1 [ 286 ]  [ 1.897098594655e+01 ] 0  2  [ 267  281 ]  []  0  []  [ 2 ]
1 [ 287 ]  [ 4.868109887100e-06 ] 0  2  [ 273  283 ]  []  0  []  [ 3 ]
1 [ 288 ]  [ 1.787094166383e+01 ] 0  2  [ 279  281 ]  []  0  []  [ 2 ]
2 [ 289  290 ]  [ -5.000000000000e+00  1.000000000000e+01 ] 0  4  [ 254  260  266  272 ]  []  0  []  [ 4 ]
1 [ 291 ]  [ 1.446713369233e+02 ] 0  3  [ 284  289  290 ]  []  0  []  [ 5 ]
1 [ 292 ]  [ 1.446713369233e+02 ] 0  1  [ 291 ]  []  0  []  [ 6 ]
1 [ 293 ]  [ -5.849029068072e-06 ] 0  1  [ 285 ]  []  0  []  [ 6 ]
1 [ 294 ]  [ 1.897098594655e+01 ] 0  1  [ 286 ]  []  0  []  [ 6 ]
1 [ 295 ]  [ 4.868109887100e-06 ] 0  1  [ 287 ]  []  0  []  [ 6 ]
1 [ 296 ]  [ 1.787094166383e+01 ] 0  1  [ 288 ]  []  0  []  [ 6 ]