FLIP X14T> 1 AT 16 WITH BND= 2040. 0000 SET X23T0<= 4AT 17 BND= 2040. TWIN= 2040 X25T0<=1AT18,BND=2006. TWIN=0.1000E+3150180 DELETE X25 AT LEVEL 18 X23TO> 5AT 17 WITH BND= 2040.0000 14TO< iat 18 BND= 2040 TWIN= 2040 50183 SET XII TO>= 3AT 19 BND= 2040 TWINE 2019 50186 SET X22TO<0AT20.BND=2040 TWIN= 2040 SET X23TO >= 6AT 21 BND= 2040 TWIN= 2013 50192 SET X25 TO 1AT22,BND=2006.TWIN=-0.1000E+3150195 DELETE X25AT LEVEL 22 DELETE X23 AT LEVEL 21 FL X22T> IAT 20 WITH BND= 2040. 0000 XII TO> 4AT21.BND=2040 TWIN= 2015 SET X23T<= 5AT22,BND=2040 TWIN= 2040 50203 X22TO> 2AT23,BND=2040 TWIN= 2016 SET Ⅹl1TO> 5AT24.BND=2040 TWIN= 2012 SET X22 TO 3AT25.BND=2040 TWIN= 2019 50215 SET Xl1T>=6AT26.BND=2040 TWIN= 2009 50219 SET X22TO>=4AT27,BND=2040. X25T0<=1AT28,BND=2006.TWIN=0.1000E+3150225 DELETE X25 AT LEVEL 28 DELETE X22 AT LEVEL 27 DELETE XII AT LEVEL DELETE X22 AT LEVEL 25 DELETE Ⅹ IIAT LEVEL24 DELETE X22AT LEVEL 23 FL X23 TO> 6AT 22 WITH BND= 2040. 0000 SET X25TO<1AT23,BND=2006.TWIN=0.1000E+3150227 DELE TE X25ATL DELETE X23 AT LEVEL 22 DELETE XII AT LEVEL 21 DELETE X22 AT LEVEL 20 DELETE XIl AT LEVEL 19 FLIP X14TO> 2at 18 WITH BND= 2040. 0000 SET Ⅹ25TO IAT19.BND=2006. TwIN=-0.1000E+3150229 DELETE X25AT LEVEL 19 DELETE X14AT LEVEL DELETE X23 AT LEVEL 17 DELETE X14AT LEVEL 16 DELETE X23 AT LEVEL 15 FLIP X11TO < AT 14 WITH BND 2040.0000 SET Ⅹ25TO AT15.BND=2006 TwIN=0.1000E+3150231 DELETE X25 AT LEVEL 15
FLIP X14 TO >= 1 AT 16 WITH BND= 2040.0000 SET X23 TO <= 4 AT 17, BND= 2040. TWIN= 2040. 50178 SET X25 TO <= 1 AT 18, BND= 2006. TWIN=-0.1000E+31 50180 DELETE X25 AT LEVEL 18 FLIP X23 TO >= 5 AT 17 WITH BND= 2040.0000 SET X14 TO <= 1 AT 18, BND= 2040. TWIN= 2040. 50183 SET X11 TO >= 3 AT 19, BND= 2040. TWIN= 2019. 50186 SET X22 TO <= 0 AT 20, BND= 2040. TWIN= 2040. 50189 SET X23 TO >= 6 AT 21, BND= 2040. TWIN= 2013. 50192 SET X25 TO <= 1 AT 22, BND= 2006. TWIN=-0.1000E+31 50195 DELETE X25 AT LEVEL 22 DELETE X23 AT LEVEL 21 FLIP X22 TO >= 1 AT 20 WITH BND= 2040.0000 SET X11 TO >= 4 AT 21, BND= 2040. TWIN= 2015. 50199 SET X23 TO <= 5 AT 22, BND= 2040. TWIN= 2040. 50203 SET X22 TO >= 2 AT 23, BND= 2040. TWIN= 2016. 50207 SET X11 TO >= 5 AT 24, BND= 2040. TWIN= 2012. 50211 SET X22 TO >= 3 AT 25, BND= 2040. TWIN= 2019. 50215 SET X11 TO >= 6 AT 26, BND= 2040. TWIN= 2009. 50219 SET X22 TO >= 4 AT 27, BND= 2040. TWIN= 2023. 50223 SET X25 TO <= 1 AT 28, BND= 2006. TWIN=-0.1000E+31 50225 DELETE X25 AT LEVEL 28 DELETE X22 AT LEVEL 27 DELETE X11 AT LEVEL 26 DELETE X22 AT LEVEL 25 DELETE X11 AT LEVEL 24 DELETE X22 AT LEVEL 23 FLIP X23 TO >= 6 AT 22 WITH BND= 2040.0000 SET X25 TO <= 1 AT 23, BND= 2006. TWIN=-0.1000E+31 50227 DELETE X25 AT LEVEL 23 DELETE X23 AT LEVEL 22 DELETE X11 AT LEVEL 21 DELETE X22 AT LEVEL 20 DELETE X11 AT LEVEL 19 FLIP X14 TO >= 2 AT 18 WITH BND= 2040.0000 SET X25 TO <= 1 AT 19, BND= 2006. TWIN=-0.1000E+31 50229 DELETE X25 AT LEVEL 19 DELETE X14 AT LEVEL 18 DELETE X23 AT LEVEL 17 DELETE X14 AT LEVEL 16 DELETE X23 AT LEVEL 15 FLIP X11 TO <= 1 AT 14 WITH BND= 2040.0000 SET X25 TO <= 1 AT 15, BND= 2006. TWIN=-0.1000E+31 50231 DELETE X25 AT LEVEL 15
DELETE XII AT LEVEL DELETE X16 AT LEVEL 13 FLI X23T0< 2AT 12 WITH BND 2040.0000 Xl6TO<3AT13.BND=2040.TWIN=0.1000E+3150233 X25TO<1AT14.BND=2006 TwIN=-0.1000E+3150235 DELETE X25AT LEVEL DELETE X16AT LEVEL 13 DELETE X23 AT LEVEL 12 DELETE X27AT LEVEL 11 DELETE Ⅹ26 AT LEVEL10 DELETE X25AT LEVEL 9 X15TO> iat 8 WITH BND= 040.0000 X26T<= 0AT9,BND=2040 TWIN=-0.1000E+3150236 0AT10,BND=2040 IWIN=-0.1000E 50237 SET X16TO<= 3AT11.BND=2040 IwIN=-0.1000E+3150237 X12T> 2AT12.BND=2040 50256 SET X13TO>4AT13.BND=2040 IWIN=2040. 50258 SET X24 TO>= I AT 14. BND= 2040 TWIN= 2010 0262 SET X25T< 0AT15.BND=2040 TwIN=-0.1000E+3150263 SET X15T<1AT16,BND=2006.TWIN=0.1000E+3150265 DELETE X15AT LEVEL 16 DELETE X25AT LEVEL DELETE X24 AT LEVEL 14 FLIP X13 TO< 3AT 13 WITH BND- 2040.0000 SE XIl TO<=0at 14 BND= 2040 TWIN= 2040 50268 SET X12TO<2AT15,BND=2040 TWIN= 2040 50272 SET X15TO<=1AT16,BND=2009.TwIN=0.1000E+3150276 DELETE XI5AT LEVEL 16 FL X12T> 3 AT 15 WITH BND= 2040.0000 X24T0<= 0AT16.BND=2040 TWIN=2040. SET X13 TO< 2AT17,BND=2040.TWIN=2019 X22TO<= iat 18 BND= 2040 50290 SET X22T> IAT 19. BND= 2040 TWIN= 1995 X25TO<0AT20,BND=2013 TWIN=0.1000E+3150297 DELETE X25AT LEVEL 20 DELETE X22AT LEVEL 19 FL Ⅹ22TO> 2at 18 WITH BND- 2040. 000 SET X13TO>=1AT 19 BND= 2040. TWIN= 2015 50299 X22T> 3AT20.BND=2040 TWIN= 2038 50303 X13 TO>= 2AT21.BND=2040 TWIN= 2024 50307 X15TO< IAT 22 BND= 2040 IWIN=0.1000E+3150308 X25TO<=0AT23,BND=2006 TwIN=-0.1000E+3150311 DELETE X25 AT LEVEL 23 DELETE XI5AT LEVEL 2
DELETE X11 AT LEVEL 14 DELETE X16 AT LEVEL 13 FLIP X23 TO <= 2 AT 12 WITH BND= 2040.0000 SET X16 TO <= 3 AT 13, BND= 2040. TWIN=-0.1000E+31 50233 SET X25 TO <= 1 AT 14, BND= 2006. TWIN=-0.1000E+31 50235 DELETE X25 AT LEVEL 14 DELETE X16 AT LEVEL 13 DELETE X23 AT LEVEL 12 DELETE X27 AT LEVEL 11 DELETE X26 AT LEVEL 10 DELETE X25 AT LEVEL 9 FLIP X15 TO >= 1 AT 8 WITH BND= 2040.0000 SET X26 TO <= 0 AT 9, BND= 2040. TWIN=-0.1000E+31 50236 SET X27 TO <= 0 AT 10, BND= 2040. TWIN=-0.1000E+31 50237 SET X16 TO <= 3 AT 11, BND= 2040. TWIN=-0.1000E+31 50237 SET X12 TO >= 2 AT 12, BND= 2040. TWIN= 2040. 50256 SET X13 TO >= 4 AT 13, BND= 2040. TWIN= 2040. 50258 SET X24 TO >= 1 AT 14, BND= 2040. TWIN= 2010. 50262 SET X25 TO <= 0 AT 15, BND= 2040. TWIN=-0.1000E+31 50263 SET X15 TO <= 1 AT 16, BND= 2006. TWIN=-0.1000E+31 50265 DELETE X15 AT LEVEL 16 DELETE X25 AT LEVEL 15 DELETE X24 AT LEVEL 14 FLIP X13 TO <= 3 AT 13 WITH BND= 2040.0000 SET X11 TO <= 0 AT 14, BND= 2040. TWIN= 2040. 50268 SET X12 TO <= 2 AT 15, BND= 2040. TWIN= 2040. 50272 SET X15 TO <= 1 AT 16, BND= 2009. TWIN=-0.1000E+31 50276 DELETE X15 AT LEVEL 16 FLIP X12 TO >= 3 AT 15 WITH BND= 2040.0000 SET X24 TO <= 0 AT 16, BND= 2040. TWIN= 2040. 50279 SET X13 TO <= 2 AT 17, BND= 2040. TWIN= 2019. 50285 SET X22 TO <= 1 AT 18, BND= 2040. TWIN= 2040. 50290 SET X22 TO >= 1 AT 19, BND= 2040. TWIN= 1995. 50293 SET X25 TO <= 0 AT 20, BND= 2013. TWIN=-0.1000E+31 50297 DELETE X25 AT LEVEL 20 DELETE X22 AT LEVEL 19 FLIP X22 TO >= 2 AT 18 WITH BND= 2040.0000 SET X13 TO >= 1 AT 19, BND= 2040. TWIN= 2015. 50299 SET X22 TO >= 3 AT 20, BND= 2040. TWIN= 2038. 50303 SET X13 TO >= 2 AT 21, BND= 2040. TWIN= 2024. 50307 SET X15 TO <= 1 AT 22, BND= 2040. TWIN=-0.1000E+31 50308 SET X25 TO <= 0 AT 23, BND= 2006. TWIN=-0.1000E+31 50311 DELETE X25 AT LEVEL 23 DELETE X15 AT LEVEL 22
DELETE X13AT LEVEL 21 DELETE X22AT LEVEL 20 DELETE X13 AT LEVEL 19 DELETE X22AT LEVEL 18 DELETE X13 AT LEVEL 17 FL Ⅹ24TO> IAT 16 WITH BND= 2040. 0000 SET X25TO<0AT17、BND=2040 IWIN=-0.1000E+3150312 SEt X12 TO>= 4AT 18 BND= 2040. TWIN= 2023 50314 SET X24TO<= 1AT 19 BND= 2040 TWIN= 2040 0318 SET X13 TO 2AT20.BND=2040.TwIN=2005 50321 SET 1AT21,BND=2006.TwIN=-0.1000E+3150323 DELETE XI5AT LEVEL 21 DELETE X13AT LEVEL 20 FL 24TO> 2AT 19 WITH BND= 2040. 0000 SET X12T> 5AT20.BND=2040 TWIN= 2003 50325 X24TO<=2AT21,BND=2040 50329 SET X13TO<2AT22.BND=2040 50336 SET X15T0<= 1AT23,BND=2006 TwIN=-0.1000E+3150338 DELETE XI5AT LEVEL 23 DELETE X13AT LEVEL 22 FLIP Ⅹ24TO> 3AT 21 WITH BND- 2040.0000 X15TO<= 1AT22.BND=2006 TWIN=0.1000E+3150340 DELETE XISAT LEVEL DELETE X24 AT LEVEL 21 DELETE X12 AT LEVEL 20 DELETE Ⅹ24 AT LEVEL19 DELETE XI2AT LEVEL 18 DELETE X25AT LEVEL 17 X24 AT LEVEL 16 DELETE X12 AT LEVEL FLIP XIITO>E= IAT 14 WITH BND= 2040.0000 X24T<= 0AT15,BND=2040 IWIN=2040. SET X13 TO<= 2AT16.BND=2040 TWIN= 2023 50346 X21 TO> 4AT17.BND=2040 TWIN= 2012 50349 SET X12TO<2AT18.BND=2040. TWIN= 2040 50352 SET X13TO>1AT19.BND=2040.TWIN=2040. 50355 SET X25T0<0AT20,BND=2040.TwN=0.1000E+3150357 XIl TO<= 2AT21.BND=2040 TWIN= 2014 XIl TO>= 2AT 22 BND= 2040. TWIN= 203 X13 TO<= AT 23. BND= 2017 TWIN= 2001 50368 DELETE X13 AT LEVEL 23 DELETE XII AT LEVEL 2 DELETE XIIAT LEVEL 21 DELETE X25 AT LEVEL 20
DELETE X13 AT LEVEL 21 DELETE X22 AT LEVEL 20 DELETE X13 AT LEVEL 19 DELETE X22 AT LEVEL 18 DELETE X13 AT LEVEL 17 FLIP X24 TO >= 1 AT 16 WITH BND= 2040.0000 SET X25 TO <= 0 AT 17, BND= 2040. TWIN=-0.1000E+31 50312 SET X12 TO >= 4 AT 18, BND= 2040. TWIN= 2023. 50314 SET X24 TO <= 1 AT 19, BND= 2040. TWIN= 2040. 50318 SET X13 TO <= 2 AT 20, BND= 2040. TWIN= 2005. 50321 SET X15 TO <= 1 AT 21, BND= 2006. TWIN=-0.1000E+31 50323 DELETE X15 AT LEVEL 21 DELETE X13 AT LEVEL 20 FLIP X24 TO >= 2 AT 19 WITH BND= 2040.0000 SET X12 TO >= 5 AT 20, BND= 2040. TWIN= 2003. 50325 SET X24 TO <= 2 AT 21, BND= 2040. TWIN= 2040. 50329 SET X13 TO <= 2 AT 22, BND= 2040. TWIN= 2025. 50336 SET X15 TO <= 1 AT 23, BND= 2006. TWIN=-0.1000E+31 50338 DELETE X15 AT LEVEL 23 DELETE X13 AT LEVEL 22 FLIP X24 TO >= 3 AT 21 WITH BND= 2040.0000 SET X15 TO <= 1 AT 22, BND= 2006. TWIN=-0.1000E+31 50340 DELETE X15 AT LEVEL 22 DELETE X24 AT LEVEL 21 DELETE X12 AT LEVEL 20 DELETE X24 AT LEVEL 19 DELETE X12 AT LEVEL 18 DELETE X25 AT LEVEL 17 DELETE X24 AT LEVEL 16 DELETE X12 AT LEVEL 15 FLIP X11 TO >= 1 AT 14 WITH BND= 2040.0000 SET X24 TO <= 0 AT 15, BND= 2040. TWIN= 2040. 50343 SET X13 TO <= 2 AT 16, BND= 2040. TWIN= 2023. 50346 SET X21 TO >= 4 AT 17, BND= 2040. TWIN= 2012. 50349 SET X12 TO <= 2 AT 18, BND= 2040. TWIN= 2040. 50352 SET X13 TO >= 1 AT 19, BND= 2040. TWIN= 2040. 50355 SET X25 TO <= 0 AT 20, BND= 2040. TWIN=-0.1000E+31 50357 SET X11 TO <= 2 AT 21, BND= 2040. TWIN= 2014. 50362 SET X11 TO >= 2 AT 22, BND= 2040. TWIN= 2030. 50364 SET X13 TO <= 1 AT 23, BND= 2017. TWIN= 2001. 50368 DELETE X13 AT LEVEL 23 DELETE X11 AT LEVEL 22 DELETE X11 AT LEVEL 21 DELETE X25 AT LEVEL 20
FLIP X13 TO< 0AT 19 WITH BND= 2040.0000 SET X15 TO AT20.BND=2020.TWIN=0.1000E+3150372 DELETE XI5AT LEVEL 20 DELETE X13 AT LEVEL 19 X12T> 3at 1 8 WITH BND= 2040.0000 X21T> 5AT19,BND=2040 TWIN= 2008 SET X13TO>= IAT 20 BND- 2040 TWIN= 2040 50379 SET X25 TO 0AT21,BND=2040 TwIN=0.1000E+3150380 SET Xll TO 1AT22,BND=2040 TWIN= 2011 50382 SET X12 TO 3AT23,BND=2040 TWIN= 2007 50384 SET X13 TO< IAT 24 BND= 2021. TWIN= 1998 50389 DELETE X13AT LEVEL 2 DELETE XI2AT LEVEL DELETE XII AT LEVEL DELETE X25 AT LEVEL 21 FLIP X13T0< OAT 20 WITH BND= 2040. 0000 SE X12TO<3AT21,BND=2040 SET X15T0<= 1AT22.BND=2023 TwIN=-0.1000E+3150397 DELETE XI5AT LEVEL 2 FL X12T> 4AT 21 WITH BND= 2040.0000 X25T0<=0AT22,BND=2040.TWIN=-0.1000E+3150399 XIl TO<= 1 AT 23. BND= 2040 TWIN= 2020 SET X12T< 4AT24.BND=2011.TwIN=2017 50405 DELETE X12AT LEVEL 24 DELETE XII AT LEVEL 23 DELETE X25AT LEVEL 2 DELETE XI2AT LEVEL 21 DELETE X13AT LEVEL 20 X21 AT LEVEL 19 DELE TE X12AT LEVEL 18 DELETE X21 AT LEVEL 17 DELETE X13AT LEVEL 16 FLIP Ⅹ24TO> I AT 15 WITH BND= 2040.0000 X25TO<=0AT16.BND=2040 IWIN=-0.1000E+3150406 SET X12TO<2AT17BND=2040. TWIN= 2040 50408 SET XIl TO >= 2AT 18 BND= 2040 TWIN= 2019 50412 SET X13 TO>=3AT 19 BND= 2040. TWIN= 2040 SETX24TO>2AT20,BND=2040.TWIN=2012.50419 X15 TO<= 1AT21,BND=2006 TwIN=0.1000E+3150421 DELETE XI5AT LEVEL 21 DELETE X24 AT LEVEL 20 FLIP X13T0< 2AT19 WITH BND=2040.0000 SET XII TO>= 3AT 20 BND= 2040 TWIN= 2007 50424 SET X24 TO IAT 21 BND= 2040 TWIN= 2040 50428
FLIP X13 TO <= 0 AT 19 WITH BND= 2040.0000 SET X15 TO <= 1 AT 20, BND= 2020. TWIN=-0.1000E+31 50372 DELETE X15 AT LEVEL 20 DELETE X13 AT LEVEL 19 FLIP X12 TO >= 3 AT 18 WITH BND= 2040.0000 SET X21 TO >= 5 AT 19, BND= 2040. TWIN= 2008. 50376 SET X13 TO >= 1 AT 20, BND= 2040. TWIN= 2040. 50379 SET X25 TO <= 0 AT 21, BND= 2040. TWIN=-0.1000E+31 50380 SET X11 TO <= 1 AT 22, BND= 2040. TWIN= 2011. 50382 SET X12 TO <= 3 AT 23, BND= 2040. TWIN= 2007. 50384 SET X13 TO <= 1 AT 24, BND= 2021. TWIN= 1998. 50389 DELETE X13 AT LEVEL 24 DELETE X12 AT LEVEL 23 DELETE X11 AT LEVEL 22 DELETE X25 AT LEVEL 21 FLIP X13 TO <= 0 AT 20 WITH BND= 2040.0000 SET X12 TO <= 3 AT 21, BND= 2040. TWIN= 2040. 50392 SET X15 TO <= 1 AT 22, BND= 2023. TWIN=-0.1000E+31 50397 DELETE X15 AT LEVEL 22 FLIP X12 TO >= 4 AT 21 WITH BND= 2040.0000 SET X25 TO <= 0 AT 22, BND= 2040. TWIN=-0.1000E+31 50399 SET X11 TO <= 1 AT 23, BND= 2040. TWIN= 2020. 50402 SET X12 TO <= 4 AT 24, BND= 2011. TWIN= 2017. 50405 DELETE X12 AT LEVEL 24 DELETE X11 AT LEVEL 23 DELETE X25 AT LEVEL 22 DELETE X12 AT LEVEL 21 DELETE X13 AT LEVEL 20 DELETE X21 AT LEVEL 19 DELETE X12 AT LEVEL 18 DELETE X21 AT LEVEL 17 DELETE X13 AT LEVEL 16 FLIP X24 TO >= 1 AT 15 WITH BND= 2040.0000 SET X25 TO <= 0 AT 16, BND= 2040. TWIN=-0.1000E+31 50406 SET X12 TO <= 2 AT 17, BND= 2040. TWIN= 2040. 50408 SET X11 TO >= 2 AT 18, BND= 2040. TWIN= 2019. 50412 SET X13 TO >= 3 AT 19, BND= 2040. TWIN= 2040. 50415 SET X24 TO >= 2 AT 20, BND= 2040. TWIN= 2012. 50419 SET X15 TO <= 1 AT 21, BND= 2006. TWIN=-0.1000E+31 50421 DELETE X15 AT LEVEL 21 DELETE X24 AT LEVEL 20 FLIP X13 TO <= 2 AT 19 WITH BND= 2040.0000 SET X11 TO >= 3 AT 20, BND= 2040. TWIN= 2007. 50424 SET X24 TO <= 1 AT 21, BND= 2040. TWIN= 2040. 50428
SET X13 TO IAT 22 BND= 2040 TWIN= 2025 50431 SET 1AT23,BND=2006.TwIN=0.1000E+3150433 DELETE X15AT LEVEL 23 DELETE X13AT LEVEL Ⅹ24TO> 2AT 21 WITH BND- 2040. 0000 SETX151O<1AT22,BND=2006.TwIN=0.1000E+3150435 DELETE X15AT LEVEL 22 DELETE X24 AT LEVEL 21 DELETE XII AT LEVEL 20 DELETE X13AT LEVEL 19 DELETE XIIAT LEVEL 18 X12T>= 3AT 17 WITH BND= 2040.0000 X24T< iat 18 BND= 20 TWIN= 2040 50438 X13TO<= 2AT 19 BND= 20 TWIN= 2009 50441 SET X15TO<= IAT 20 BND= 2006 IWIN=-0.1000E+3150443 DELETE XISAT LEVEL 20 DELETE X13 AT LEVEL 19 FLIP Ⅹ24TO> 2at 18 WITH BND 2040. 0000 SET X15T0<= 1AT19.BND=2006 TwIN=0.1000E+3150445 XI5AT LEVEL 19 DELETE X24 AT LEVEL 18 DELETE X12AT LEVEL 17 DELETE X25 AT LEVEL 16 DELETE X24 AT LEVEL 15 DELETE XII AT LEVEL 14 DELETE X13AT LEVEL 13 FLIP X12 TO IAT 12 WITH BND= 2040.0000 SET X15TO<= 1 AT 13. BND= 2040 MIN=-0.1000E+3150449 SET X13TO<=3AT14,BND=2040 50452 X21TO>= 3AT15.BND=2040 TwIN=2040. SET Ⅹ13TO>=1AT16.BND=2040 TWIN= 2016 X251<=0AT17,BND=2006 IWIN=-0.1000E+3150461 DELETE X25AT LEVEL 17 DELETE X13AT LEVEL 16 FLIP X21 TO< 2 AT 15 WITH BND= 2040. 0000 SET X12T> IAT 16 BND= 2040 TWIN= 2040 SET X24TO>1AT17,BND=2040.WIN=2015 X25TO<=0AT18,BND=2006.wIN=0.1000E+3150471 DELETE X25AT LEVEL 18 DELETE X24 AT LEVEL 17 FLIP Ⅹ12TO< OAT 16 WITH BND= 2040.0000 X13 TO> 1 AT 17. BND= 2040 IWIN=2040. 50474 SET X24TO>1AT18,BND=2040.TWIN=2006. 50478 SET X13 TO lAT19.BND=2040.TWIN=2040. 50482
SET X13 TO <= 1 AT 22, BND= 2040. TWIN= 2025. 50431 SET X15 TO <= 1 AT 23, BND= 2006. TWIN=-0.1000E+31 50433 DELETE X15 AT LEVEL 23 DELETE X13 AT LEVEL 22 FLIP X24 TO >= 2 AT 21 WITH BND= 2040.0000 SET X15 TO <= 1 AT 22, BND= 2006. TWIN=-0.1000E+31 50435 DELETE X15 AT LEVEL 22 DELETE X24 AT LEVEL 21 DELETE X11 AT LEVEL 20 DELETE X13 AT LEVEL 19 DELETE X11 AT LEVEL 18 FLIP X12 TO >= 3 AT 17 WITH BND= 2040.0000 SET X24 TO <= 1 AT 18, BND= 2040. TWIN= 2040. 50438 SET X13 TO <= 2 AT 19, BND= 2040. TWIN= 2009. 50441 SET X15 TO <= 1 AT 20, BND= 2006. TWIN=-0.1000E+31 50443 DELETE X15 AT LEVEL 20 DELETE X13 AT LEVEL 19 FLIP X24 TO >= 2 AT 18 WITH BND= 2040.0000 SET X15 TO <= 1 AT 19, BND= 2006. TWIN=-0.1000E+31 50445 DELETE X15 AT LEVEL 19 DELETE X24 AT LEVEL 18 DELETE X12 AT LEVEL 17 DELETE X25 AT LEVEL 16 DELETE X24 AT LEVEL 15 DELETE X11 AT LEVEL 14 DELETE X13 AT LEVEL 13 FLIP X12 TO <= 1 AT 12 WITH BND= 2040.0000 SET X15 TO <= 1 AT 13, BND= 2040. TWIN=-0.1000E+31 50449 SET X13 TO <= 3 AT 14, BND= 2040. TWIN= 2040. 50452 SET X21 TO >= 3 AT 15, BND= 2040. TWIN= 2040. 50455 SET X13 TO >= 1 AT 16, BND= 2040. TWIN= 2016. 50458 SET X25 TO <= 0 AT 17, BND= 2006. TWIN=-0.1000E+31 50461 DELETE X25 AT LEVEL 17 DELETE X13 AT LEVEL 16 FLIP X21 TO <= 2 AT 15 WITH BND= 2040.0000 SET X12 TO >= 1 AT 16, BND= 2040. TWIN= 2040. 50464 SET X24 TO >= 1 AT 17, BND= 2040. TWIN= 2015. 50468 SET X25 TO <= 0 AT 18, BND= 2006. TWIN=-0.1000E+31 50471 DELETE X25 AT LEVEL 18 DELETE X24 AT LEVEL 17 FLIP X12 TO <= 0 AT 16 WITH BND= 2040.0000 SET X13 TO >= 1 AT 17, BND= 2040. TWIN= 2040. 50474 SET X24 TO >= 1 AT 18, BND= 2040. TWIN= 2006. 50478 SET X13 TO <= 1 AT 19, BND= 2040. TWIN= 2040. 50482