final nl checker 6 output miami11

726
BSC-identification:miamMia_11 comment: network-element:SECTOR BTS-type:METROBTS key key key key non-key non-key non-key non-key non-key non-key non-key non-key non-key non-key key key key SUBSYS NUM SECTOR FREQ SWITCH MARKET CELLTYPE PILOTPN_PDB NLIST CDMANLIST BLAT BLONG AZIMUTH NUMPCH CELL_SECTOR BAND_SEC TOR PMSECTORID MC1900BTS2000000 LCIB Dummy BTS1 1 Alpha 50 60 4151 standard 504 "((7831,Gamma,50,1900),(7831,Alpha,50,1900),(7266,Beta,5 0,1900),(7266,Gamma,50 ,1900))" "((270,3,0,1,F,1900,50 ,F,T,0,0),(264,3,0,1,F,19 0 0,50,F,T,0,0),(375,3,0,1,F,1900,50,F,T,0,0),(378,3,0,1,F,1900,50,F,T,0,0),(507,3 ,0, 1, F, 19 00 ,5 0, F ,F , 0, 0), (5 10 ,3 ,0 ,1 ,F ,1 90 0, 50 , F, F ,0 ,0 )) " 0 0 0 1 2000 1900 Alpha MC1900BTS2000000 LCIB Dummy BTS1 1 Alpha 100 60 4151 ec 504 () () 0 0 0 1 2000 1900 Alpha MC1900BTS2000001 LCIB Dummy BTS1 1 Alpha 125 60 4151 standard 504 () () 0 0 0 1 2000 1900 Alpha MC1900BTS2000001 LCIB Dummy BTS1 1 Alpha 175 60 4151 standard 504 "((7848,Gamma,175,1900),(7831, Alph a,175,1900),(7865,Beta ,17 5,1 900 ),(791 0,B eta,17 5,1 900 ))" "(( 90, 3,0,1, F,1 900 ,175,F ,T, 0,0),( 264 ,3, 0 ,1,F,1900,175,F,T,0,0),(411,3,0,1,F,1900,175,F,T,0,0),(258,3,0,1,F,1900,175,F,T, 0,0), (507, 3,0,1 ,F,19 00,17 5,F,F ,0,0) ,(510 ,3,0, 1,F,1 900,1 75,F, F,0,0 ))" 0 0 0 1 2000 1900 Alpha MC1900BTS2000000 LCIB Dummy BTS1 1 Beta 50 60 4151 standard 507 () () 0 0 120 1 2000 1900 Beta MC1900BTS2000000_LCIB_Dummy_BTS1 1 Beta 100 60 4151 ec 507 () () 0 0 120 1 2000 1900 Beta MC1900BTS2000001 LCIB Dummy BTS1 1 Beta 125 60 4151 standard 507 () () 0 0 120 1 2000 1900 Beta MC1900BTS2000001_LCIB_Dummy_BTS1 1 Beta 175 60 4151 standard 507 () () 0 0 120 1 2000 1900 Beta MC1900BTS2000000 LCIB Dummy BTS1 1 Gamma 50 60 4151 standard 510 () () 0 0 240 1 2000 1900 Gamma MC1900BTS2000000 LCIB Dummy BTS1 1 Gamma 100 60 4151 ec 510 () () 0 0 240 1 2000 1900 Gamma MC1900BTS2000001 LCIB Dummy BTS1 1 Gamma 125 60 4151 standard 510 () () 0 0 240 1 2000 1900 Gamma MC1900BTS2000001 LCIB Dummy BTS1 1 Gamma 175 60 4151 standard 510 () () 0 0 240 1 2000 1900 Gamma MC1900BTS2000002 LCIB Dummy BTS2 1 Alpha 150 60 4151 standard 504 () () 0 0 0 1 2002 1900 Alpha MC1900BTS2000002 LCIB Dummy BTS2 1 Beta 150 60 4151 standard 507 () () 0 0 120 1 2002 1900 Beta MC1900BTS2000002 LCIB Dummy BTS2 1 Gamma 150 60 4151 standard 510 () () 0 0 240 1 2002 1900 Gamma

Upload: paras17

Post on 26-Feb-2018

216 views

Category:

Documents


0 download

TRANSCRIPT

  • 7/25/2019 Final NL Checker 6 Output Miami11

    1/724

    BSC-identification:miamMia_11comment:network-element:SECTORBTS-type:METROBTSkey key key key non-key non-key non-key non-key non-key non-keynon-key non-key non-key non-key key key keySUBSYS NUM SECTOR FREQ SWITCH MARKET CELLTYPE PILOTPN_PDBNLIST CDMANLIST BLAT BLONG AZIMUTH NUMPCH CELL_SECTOR BAND_SECTOR PMSECTORIDMC1900BTS2000000_LCIB_Dummy_BTS1 1 Alpha 50 60 4151standard 504 "((7831,Gamma,50,1900),(7831,Alpha,50,1900),(7266,Beta,50,1900),(7266,Gamma,50,1900))" "((270,3,0,1,F,1900,50,F,T,0,0),(264,3,0,1,F,1900,50,F,T,0,0),(375,3,0,1,F,1900,50,F,T,0,0),(378,3,0,1,F,1900,50,F,T,0,0),(507,3,0,1,F,1900,50,F,F,0,0),(510,3,0,1,F,1900,50,F,F,0,0))" 0 0 01 2000 1900 AlphaMC1900BTS2000000_LCIB_Dummy_BTS1 1 Alpha 100 60 4151ec 504 () () 0 0 0 1 2000 1900AlphaMC1900BTS2000001_LCIB_Dummy_BTS1 1 Alpha 125 60 4151standard 504 () () 0 0 0 1 20001900 AlphaMC1900BTS2000001_LCIB_Dummy_BTS1 1 Alpha 175 60 4151standard 504 "((7848,Gamma,175,1900),(7831,Alpha,175,1900),(7865,Beta,175,1900),(7910,Beta,175,1900))" "((90,3,0,1,F,1900,175,F,T,0,0),(264,3,0

    ,1,F,1900,175,F,T,0,0),(411,3,0,1,F,1900,175,F,T,0,0),(258,3,0,1,F,1900,175,F,T,0,0),(507,3,0,1,F,1900,175,F,F,0,0),(510,3,0,1,F,1900,175,F,F,0,0))" 00 0 1 2000 1900 AlphaMC1900BTS2000000_LCIB_Dummy_BTS1 1 Beta 50 60 4151standard 507 () () 0 0 120 1 20001900 BetaMC1900BTS2000000_LCIB_Dummy_BTS1 1 Beta 100 60 4151ec 507 () () 0 0 120 1 2000 1900BetaMC1900BTS2000001_LCIB_Dummy_BTS1 1 Beta 125 60 4151standard 507 () () 0 0 120 1 20001900 BetaMC1900BTS2000001_LCIB_Dummy_BTS1 1 Beta 175 60 4151

    standard 507 () () 0 0 120 1 20001900 BetaMC1900BTS2000000_LCIB_Dummy_BTS1 1 Gamma 50 60 4151standard 510 () () 0 0 240 1 20001900 GammaMC1900BTS2000000_LCIB_Dummy_BTS1 1 Gamma 100 60 4151ec 510 () () 0 0 240 1 2000 1900GammaMC1900BTS2000001_LCIB_Dummy_BTS1 1 Gamma 125 60 4151standard 510 () () 0 0 240 1 20001900 GammaMC1900BTS2000001_LCIB_Dummy_BTS1 1 Gamma 175 60 4151standard 510 () () 0 0 240 1 2000

    1900 GammaMC1900BTS2000002_LCIB_Dummy_BTS2 1 Alpha 150 60 4151standard 504 () () 0 0 0 1 20021900 AlphaMC1900BTS2000002_LCIB_Dummy_BTS2 1 Beta 150 60 4151standard 507 () () 0 0 120 1 20021900 BetaMC1900BTS2000002_LCIB_Dummy_BTS2 1 Gamma 150 60 4151standard 510 () () 0 0 240 1 20021900 Gamma

  • 7/25/2019 Final NL Checker 6 Output Miami11

    2/724

    MC800RBS56255 1 Alpha 476 60 4151 standard 138"((6255,Beta,476,SEC_800),(6255,Gamma,476,SEC_800),(6896,Alpha,476,SEC_800),(6886,Beta,476,SEC_800),(6896,Beta,476,SEC_800),(6892,Alpha,476,SEC_800),(6886,Gamma,476,SEC_800),(6894,Beta,476,SEC_800),(6892,Beta,476,SEC_800),(6867,Gamma,476,SEC_800),(6896,Gamma,476,SEC_800),(6886,Alpha,476,SEC_800),(6893,Alpha,476,SEC_800),(6892,Gamma,476,SEC_800),(6907,Beta,476,SEC_800),(6876,Beta,476,SEC_800),(6891,Alpha,476,SEC_800),(6877,Beta,476,SEC_800),(6813,Gamma,476,SEC_800),(6813,Alpha,476,SEC_800),(6813,Beta,476,SEC_800),(6899,Alpha,476,SEC_800),(6905,Beta,476,SEC_800),(6885,Alpha,476,SEC_800),(6885,Gamma,476,SEC_800),(6894,Alpha,476,SEC_800),(6897,Gamma,476,SEC_800),(6905,Alpha,476,SEC_800),(6877,Alpha,476,SEC_800),(6984,Beta,476,SEC_800))" "((141,3,0,1,F,SEC_800,476,T,T,0,0),(144,3,0,1,F,SEC_800,476,T,T,0,0),(417,3,0,1,F,SEC_800,476,F,T,0,0),(60,3,0,1,F,SEC_800,476,F,T,0,0),(420,3,0,1,F,SEC_800,476,F,T,0,0),(399,3,0,1,F,SEC_800,476,F,T,0,0),(63,3,0,1,F,SEC_800,476,F,T,0,0),(87,3,0,1,F,SEC_800,476,F,T,0,0),(402,3,0,1,F,SEC_800,476,F,T,0,0),(162,3,0,1,F,SEC_800,476,F,T,0,0),(423,3,0,1,F,SEC_800,476,F,T,0,0),(57,3,0,1,F,SEC_800,476,F,T,0,0),(489,3,0,1,F,SEC_800,476,F,T,0,0),(405,3,0,1,F,SEC_800,476,F,T,0,0),(474,3,0,1,F,SEC_800,476,F,T,0,0),(204,3,0,1,F,SEC_800,476,F,T,0,0),(504,3,0,1,F,SEC_800,476,F,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1,F,SEC_800,476,F,F,0,0),(246,3,0,1,F,SEC_800,476,F,T,0,0),(168,3,0,1,F,SEC_800,476,F,T,0,0),(378,3,3,1,F,SEC_800,476,F,F,0,0),(372,3,3,1,F,SEC_800,476,F,F,0,0),(375,3,3,1,F,SEC_800,476,F,F,0,0),(237,3,0,1,F,SEC_800,476,F,T,0,0),(186,3,0,1,F,SEC_800,476,F,T,0,0),(453,3,0,1,F,SEC_800,476,F,T,0,0),(459,3,0,1,F,SEC_800,476,F,T,0,0),(84,3,0,1,F,SEC_800,476,F,T,0,0),(3,3,3,1,F,SEC_800,476,F,F,0,0))"371724 -1156641 50 1 6255 SEC_800 Alpha

    MC800RBS56255 1 Beta 476 60 4151 standard 141"((6255,Alpha,476,SEC_800),(6255,Gamma,476,SEC_800),(6892,Beta,476,SEC_800),(6896,Alpha,476,SEC_800),(6896,Beta,476,SEC_800),(6886,Beta,476,SEC_800),(6897,Alpha,476,SEC_800),(6868,Alpha,476,SEC_800),(6893,Alpha,476,SEC_800),(6877,Alpha,476,SEC_800),(6870,Gamma,476,SEC_800),(6885,Gamma,476,SEC_800),(6867,Gamma,476,SEC_800),(6885,Alpha,476,SEC_800),(6891,Alpha,476,SEC_800),(6864,Gamma,476,SEC_800),(6894,Beta,476,SEC_800),(6879,Gamma,476,SEC_800),(6878,Gamma,476,SEC_800),(6881,Alpha,476,SEC_800),(6877,Beta,476,SEC_800),(6956,Gamma,476,SEC_800),(6861,Gamma,476,SEC_800),(6879,Beta,476,SEC_800),(6879,Alpha,476,SEC_800),(6885,Beta,476,SEC_800))" "((138,3,0,1,F,SEC_800,476,T,T,0,0),(144,3,0,1,F,SEC_800,476,T,T,0,0),(402,3,0,1,F,SEC_800,476,F,T,0,0),(417,3,0,1,F,SEC_800,476,F,T,0,0),(420,3,0,1,F,SEC_800,476,F,T,0,0),(60,3,0,1,F,SEC_800,476,F,T,0,0),(174,3,0,1,F,SEC_800,476,F,T,0,0),(30,3,0,1,F,SEC_800,476,F,T,0,0),(489,3,0,1,F,SEC_800,476,F,T,0,0),(165,3

    ,0,1,F,SEC_800,476,F,T,0,0),(279,3,0,1,F,SEC_800,476,F,T,0,0),(459,3,0,1,F,SEC_800,476,F,T,0,0),(162,3,0,1,F,SEC_800,476,F,T,0,0),(453,3,0,1,F,SEC_800,476,F,T,0,0),(246,3,0,1,F,SEC_800,476,F,T,0,0),(153,3,0,1,F,SEC_800,476,F,T,0,0),(87,3,0,1,F,SEC_800,476,F,T,0,0),(432,3,0,1,F,SEC_800,476,F,T,0,0),(198,3,0,1,F,SEC_800,476,F,T,0,0),(120,3,0,1,F,SEC_800,476,F,T,0,0),(504,3,0,1,F,SEC_800,476,F,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1,F,SEC_800,476,F,F,0,0),(168,3,0,1,F,SEC_800,476,F,T,0,0),(27,3,0,1,F,SEC_800,476,F,T,0,0),(324,3,0,1,F,SEC_800,476,F,T,0,0),(429,3,0,1,F,SEC_800,476,F,T,0,0),(426,3,0,1,F,SEC_800,476,F,T,0,0),(456,3,0,1,F,SEC_800,476,F,T,0,0))" 371632 -1156397 150 16255 SEC_800 BetaMC800RBS56255 1 Gamma 476 60 4151 standard 144"((6255,Alpha,476,SEC_800),(6255,Beta,476,SEC_800),(6892,Beta,476,SEC_800),(6892,Alpha,476,SEC_800),(6896,Beta,476,SEC_800),(6897,Alpha,476,SEC_800),(6892,Gamma

    ,476,SEC_800),(6878,Gamma,476,SEC_800),(6877,Alpha,476,SEC_800),(6896,Gamma,476,SEC_800),(6885,Gamma,476,SEC_800),(6886,Beta,476,SEC_800),(6907,Beta,476,SEC_800),(6908,Alpha,476,SEC_800),(6894,Beta,476,SEC_800),(6897,Beta,476,SEC_800),(6885,Alpha,476,SEC_800),(6886,Gamma,476,SEC_800),(6905,Beta,476,SEC_800),(6891,Alpha,476,SEC_800),(6877,Beta,476,SEC_800),(6897,Gamma,476,SEC_800),(6867,Gamma,476,SEC_800),(6885,Beta,476,SEC_800),(6905,Alpha,476,SEC_800),(6898,Gamma,476,SEC_800),(6817,Beta,476,SEC_800),(6813,Gamma,476,SEC_800))" "((138,3,0,1,F,SEC_800,476,T,T,0,0),(141,3,0,1,F,SEC_800,476,T,T,0,0),(402,3,0,1,F,SEC_800,476,F,T,0,0),(399,3,0,1,F,SEC_800,476,F,T,0,0),(420,3,0,1,F,SEC_800,476,F,T,0,0),(174,3,0,1,F,SEC_800,476,F,T,0,0),(405,3,0,1,F,SEC_800,476,F,T,0,0),(198,3,0,1,F,SEC_800,476

  • 7/25/2019 Final NL Checker 6 Output Miami11

    3/724

    ,F,T,0,0),(165,3,0,1,F,SEC_800,476,F,T,0,0),(423,3,0,1,F,SEC_800,476,F,T,0,0),(459,3,0,1,F,SEC_800,476,F,T,0,0),(60,3,0,1,F,SEC_800,476,F,T,0,0),(474,3,0,1,F,SEC_800,476,F,T,0,0),(264,3,0,1,F,SEC_800,476,F,T,0,0),(87,3,0,1,F,SEC_800,476,F,T,0,0),(177,3,0,1,F,SEC_800,476,F,T,0,0),(453,3,0,1,F,SEC_800,476,F,T,0,0),(63,3,0,1,F,SEC_800,476,F,T,0,0),(504,3,0,1,F,SEC_800,476,F,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1,F,SEC_800,476,F,F,0,0),(186,3,0,1,F,SEC_800,476,F,T,0,0),(246,3,0,1,F,SEC_800,476,F,T,0,0),(168,3,0,1,F,SEC_800,476,F,T,0,0),(180,3,0,1,F,SEC_800,476,F,T,0,0),(162,3,0,1,F,SEC_800,476,F,T,0,0),(456,3,0,1,F,SEC_800,476,F,T,0,0),(183,3,0,1,F,SEC_800,476,F,T,0,0),(105,3,3,1,F,SEC_800,476,F,F,0,0),(378,3,3,1,F,SEC_800,476,F,F,0,0))" 371590 -1156597 290 16255 SEC_800 GammaMC800RBS56263_NOA 1 Alpha 476 60 4151 ec 111"((6833,Alpha,476,SEC_800),(6833,Beta,476,SEC_800),(6833,Gamma,476,SEC_800),(6832,Alpha,476,SEC_800),(6832,Beta,476,SEC_800),(6832,Gamma,476,SEC_800),(6834,Alpha,476,SEC_800))" "((57,3,0,1,F,SEC_800,476,T,T,0,0),(60,3,0,1,F,SEC_800,476,T,T,0,0),(63,3,0,1,F,SEC_800,476,T,T,0,0),(3,3,0,1,F,SEC_800,476,T,T,0,0),(6,3,0,1,F,SEC_800,476,T,T,0,0),(9,3,0,1,F,SEC_800,476,T,T,0,0),(39,3,0,1,F,SEC_800,476,T,T,0,0),(504,3,0,1,F,SEC_800,476,F,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1,F,SEC_800,476,F,F,0,0))" 371801 -1153761 0 16263 SEC_800 AlphaMC800RBS56264_NOA 1 Alpha 476 60 4151 ec 138"((6264,Gamma,476,SEC_800),(6264,Beta,476,SEC_800),(6265,Beta,476,SEC_800),(6265,Gamma,476,SEC_800),(6852,Alpha,476,SEC_800),(6848,Beta,476,SEC_800),(6848,Gamma,476,SEC_800),(6950,Beta,476,SEC_800),(6950,Gamma,476,SEC_800),(6892,Alpha,476,S

    EC_800),(6265,Alpha,476,SEC_800))" "((144,3,0,1,F,SEC_800,476,T,T,0,0),(141,3,0,1,F,SEC_800,476,T,T,0,0),(105,3,0,1,F,SEC_800,476,T,T,0,0),(108,3,0,1,F,SEC_800,476,T,T,0,0),(48,3,0,1,F,SEC_800,476,T,T,0,0),(87,3,0,1,F,SEC_800,476,T,T,0,0),(90,3,0,1,F,SEC_800,476,T,T,0,0),(420,3,0,1,F,SEC_800,476,F,T,0,0),(423,3,0,1,F,SEC_800,476,F,T,0,0),(399,3,0,1,F,SEC_800,476,F,T,0,0),(102,3,0,1,F,SEC_800,476,T,T,0,0),(504,3,0,1,F,SEC_800,476,F,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1,F,SEC_800,476,F,F,0,0))" 371252 -1154707 0 16264 SEC_800 AlphaMC800RBS56264_NOA 1 Beta 476 60 4151 ec 141"((6264,Alpha,476,SEC_800),(6264,Gamma,476,SEC_800),(6265,Alpha,476,SEC_800),(6265,Gamma,476,SEC_800),(6852,Alpha,476,SEC_800),(6852,Beta,476,SEC_800),(6848,Beta,476,SEC_800),(6848,Gamma,476,SEC_800),(6950,Alpha,476,SEC_800),(6950,Beta,476,SEC_800),(6950,Gamma,476,SEC_800),(6265,Beta,476,SEC_800))" "((138,3,0,1,F,S

    EC_800,476,T,T,0,0),(144,3,0,1,F,SEC_800,476,T,T,0,0),(102,3,0,1,F,SEC_800,476,T,T,0,0),(108,3,0,1,F,SEC_800,476,T,T,0,0),(48,3,0,1,F,SEC_800,476,T,T,0,0),(51,3,0,1,F,SEC_800,476,T,T,0,0),(87,3,0,1,F,SEC_800,476,T,T,0,0),(90,3,0,1,F,SEC_800,476,T,T,0,0),(417,3,0,1,F,SEC_800,476,F,T,0,0),(420,3,0,1,F,SEC_800,476,F,T,0,0),(423,3,0,1,F,SEC_800,476,F,T,0,0),(105,3,0,1,F,SEC_800,476,T,T,0,0),(504,3,0,1,F,SEC_800,476,F,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1,F,SEC_800,476,F,F,0,0))" 371252 -1154707 0 1 6264 SEC_800 BetaMC800RBS56264_NOA 1 Gamma 476 60 4151 ec 144"((6264,Beta,476,SEC_800),(6264,Alpha,476,SEC_800),(6265,Alpha,476,SEC_800),(6265,Beta,476,SEC_800),(6852,Alpha,476,SEC_800),(6852,Beta,476,SEC_800),(6848,Beta,476,SEC_800),(6848,Gamma,476,SEC_800),(6950,Beta,476,SEC_800),(6950,Gamma,476,SEC_800),(6892,Alpha,476,SEC_800),(6265,Gamma,476,SEC_800))" "((141,3,0,1,F,SEC_800,476,T,T,0,0),(138,3,0,1,F,SEC_800,476,T,T,0,0),(102,3,0,1,F,SEC_800,476,T

    ,T,0,0),(105,3,0,1,F,SEC_800,476,T,T,0,0),(48,3,0,1,F,SEC_800,476,T,T,0,0),(51,3,0,1,F,SEC_800,476,T,T,0,0),(87,3,0,1,F,SEC_800,476,T,T,0,0),(90,3,0,1,F,SEC_800,476,T,T,0,0),(420,3,0,1,F,SEC_800,476,F,T,0,0),(423,3,0,1,F,SEC_800,476,F,T,0,0),(399,3,0,1,F,SEC_800,476,F,T,0,0),(108,3,0,1,F,SEC_800,476,T,T,0,0),(504,3,0,1,F,SEC_800,476,F,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1,F,SEC_800,476,F,F,0,0))" 371252 -1154707 0 1 6264 SEC_800 GammaMC800RBS56265_NOA 1 Alpha 476 60 4151 ec 102"((6265,Gamma,476,SEC_800),(6265,Beta,476,SEC_800),(6852,Alpha,476,SEC_800),(6848,Beta,476,SEC_800),(6848,Gamma,476,SEC_800),(6851,Beta,476,SEC_800),(6851,Gamma,476,SEC_800),(6892,Alpha,476,SEC_800),(6264,Alpha,476,SEC_800),(6264,Beta,476,S

  • 7/25/2019 Final NL Checker 6 Output Miami11

    4/724

    EC_800),(6264,Gamma,476,SEC_800))" "((108,3,0,1,F,SEC_800,476,T,T,0,0),(105,3,0,1,F,SEC_800,476,T,T,0,0),(48,3,0,1,F,SEC_800,476,T,T,0,0),(87,3,0,1,F,SEC_800,476,T,T,0,0),(90,3,0,1,F,SEC_800,476,T,T,0,0),(456,3,0,1,F,SEC_800,476,T,T,0,0),(459,3,0,1,F,SEC_800,476,T,T,0,0),(399,3,0,1,F,SEC_800,476,F,T,0,0),(138,3,0,1,F,SEC_800,476,T,T,0,0),(141,3,0,1,F,SEC_800,476,T,T,0,0),(144,3,0,1,F,SEC_800,476,T,T,0,0),(504,3,0,1,F,SEC_800,476,F,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1,F,SEC_800,476,F,F,0,0))" 371252 -1154707 0 16265 SEC_800 AlphaMC800RBS56265_NOA 1 Beta 476 60 4151 ec 105"((6265,Alpha,476,SEC_800),(6265,Gamma,476,SEC_800),(6852,Alpha,476,SEC_800),(6852,Beta,476,SEC_800),(6848,Beta,476,SEC_800),(6848,Gamma,476,SEC_800),(6851,Alpha,476,SEC_800),(6851,Beta,476,SEC_800),(6851,Gamma,476,SEC_800),(6264,Alpha,476,SEC_800),(6264,Beta,476,SEC_800),(6264,Gamma,476,SEC_800))" "((102,3,0,1,F,SEC_800,476,T,T,0,0),(108,3,0,1,F,SEC_800,476,T,T,0,0),(48,3,0,1,F,SEC_800,476,T,T,0,0),(51,3,0,1,F,SEC_800,476,T,T,0,0),(87,3,0,1,F,SEC_800,476,T,T,0,0),(90,3,0,1,F,SEC_800,476,T,T,0,0),(453,3,0,1,F,SEC_800,476,T,T,0,0),(456,3,0,1,F,SEC_800,476,T,T,0,0),(459,3,0,1,F,SEC_800,476,T,T,0,0),(138,3,0,1,F,SEC_800,476,T,T,0,0),(141,3,0,1,F,SEC_800,476,T,T,0,0),(144,3,0,1,F,SEC_800,476,T,T,0,0),(504,3,0,1,F,SEC_800,476,F,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1,F,SEC_800,476,F,F,0,0))" 371252 -1154707 0 1 6265 SEC_800 BetaMC800RBS56265_NOA 1 Gamma 476 60 4151 ec 108"((6265,Alpha,476,SEC_800),(6265,Beta,476,SEC_800),(6852,Alpha,476,SEC_800),(6852,Beta,476,SEC_800),(6848,Beta,476,SEC_800),(6848,Gamma,476,SEC_800),(6851,Beta,476,SEC_800),(6851,Gamma,476,SEC_800),(6892,Alpha,476,SEC_800),(6264,Alpha,476,S

    EC_800),(6264,Beta,476,SEC_800),(6264,Gamma,476,SEC_800))" "((102,3,0,1,F,SEC_800,476,T,T,0,0),(105,3,0,1,F,SEC_800,476,T,T,0,0),(48,3,0,1,F,SEC_800,476,T,T,0,0),(51,3,0,1,F,SEC_800,476,T,T,0,0),(87,3,0,1,F,SEC_800,476,T,T,0,0),(90,3,0,1,F,SEC_800,476,T,T,0,0),(456,3,0,1,F,SEC_800,476,T,T,0,0),(459,3,0,1,F,SEC_800,476,T,T,0,0),(399,3,0,1,F,SEC_800,476,F,T,0,0),(138,3,0,1,F,SEC_800,476,T,T,0,0),(141,3,0,1,F,SEC_800,476,T,T,0,0),(144,3,0,1,F,SEC_800,476,T,T,0,0),(504,3,0,1,F,SEC_800,476,F,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1,F,SEC_800,476,F,F,0,0))" 371252 -1154707 0 1 6265 SEC_800 GammaMC800RBS56266_NOA 1 Alpha 476 60 4151 ec 372"((6266,Beta,476,SEC_800),(6266,Gamma,476,SEC_800),(6859,Alpha,476,SEC_800),(6859,Beta,476,SEC_800),(6859,Gamma,476,SEC_800),(8157,Alpha,476,SEC_800),(8157,Beta,476,SEC_800),(8157,Gamma,476,SEC_800))" "((375,3,0,1,F,SEC_800,476,T,T,0,0),(378,3,0,1,F,SEC_800,476,T,T,0,0),(237,3,0,1,F,SEC_800,476,T,T,0,0),(240,3,0

    ,1,F,SEC_800,476,T,T,0,0),(243,3,0,1,F,SEC_800,476,T,T,0,0),(21,3,0,1,F,SEC_800,476,F,T,0,0),(24,3,0,1,F,SEC_800,476,F,T,0,0),(27,3,0,1,F,SEC_800,476,F,T,0,0),(504,3,0,1,F,SEC_800,476,F,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1,F,SEC_800,476,F,F,0,0))" 371397 -1155117 0 1 6266 SEC_800AlphaMC800RBS56266_NOA 1 Beta 476 60 4151 ec 375"((6266,Alpha,476,SEC_800),(6266,Gamma,476,SEC_800),(6859,Alpha,476,SEC_800),(6859,Beta,476,SEC_800),(6859,Gamma,476,SEC_800),(8157,Alpha,476,SEC_800),(8157,Beta,476,SEC_800),(8157,Gamma,476,SEC_800))" "((372,3,0,1,F,SEC_800,476,T,T,0,0),(378,3,0,1,F,SEC_800,476,T,T,0,0),(237,3,0,1,F,SEC_800,476,T,T,0,0),(240,3,0,1,F,SEC_800,476,T,T,0,0),(243,3,0,1,F,SEC_800,476,T,T,0,0),(21,3,0,1,F,SEC_800,476,F,T,0,0),(24,3,0,1,F,SEC_800,476,F,T,0,0),(27,3,0,1,F,SEC_800,476,F,T,0,0),(504,3,0,1,F,SEC_800,476,F,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1,F,

    SEC_800,476,F,F,0,0))" 371397 -1155117 0 1 6266 SEC_800BetaMC800RBS56266_NOA 1 Gamma 476 60 4151 ec 378"((6266,Alpha,476,SEC_800),(6266,Beta,476,SEC_800),(6859,Alpha,476,SEC_800),(6859,Beta,476,SEC_800),(6859,Gamma,476,SEC_800),(6866,Alpha,476,SEC_800),(8157,Alpha,476,SEC_800),(8157,Beta,476,SEC_800),(8157,Gamma,476,SEC_800))" "((372,3,0,1,F,SEC_800,476,T,T,0,0),(375,3,0,1,F,SEC_800,476,T,T,0,0),(237,3,0,1,F,SEC_800,476,T,T,0,0),(240,3,0,1,F,SEC_800,476,T,T,0,0),(243,3,0,1,F,SEC_800,476,T,T,0,0),(462,3,0,1,F,SEC_800,476,T,T,0,0),(21,3,0,1,F,SEC_800,476,F,T,0,0),(24,3,0,1,F,SEC_800,476,F,T,0,0),(27,3,0,1,F,SEC_800,476,F,T,0,0),(504,3,0,1,F,SEC_800,47

  • 7/25/2019 Final NL Checker 6 Output Miami11

    5/724

    6,F,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1,F,SEC_800,476,F,F,0,0))"371397 -1155117 0 1 6266 SEC_800 GammaMC800RBS56831 1 Alpha 476 60 4151 ec 264 "((6831,Gamma,476,SEC_800),(6831,Beta,476,SEC_800),(6721,Beta,476,SEC_800),(6766,Alpha,476,SEC_800),(6835,Alpha,476,SEC_800),(6838,Alpha,476,SEC_800),(6848,Alpha,476,SEC_800),(6745,Beta,476,SEC_800),(6764,Beta,476,SEC_800),(6745,Alpha,476,SEC_800),(6739,Beta,476,SEC_800),(6833,Alpha,476,SEC_800),(6721,Alpha,476,SEC_800),(6841,Beta,476,SEC_800),(6740,Beta,476,SEC_800),(6721,Gamma,476,SEC_800),(6840,Alpha,476,SEC_800),(6739,Alpha,476,SEC_800),(6852,Alpha,476,SEC_800),(6724,Beta,476,SEC_800),(6742,Beta,476,SEC_800),(6723,Beta,476,1900),(6841,Alpha,476,SEC_800),(6755,Beta,476,SEC_800),(6709,Beta,476,SEC_800),(6740,Alpha,476,SEC_800),(6753,Alpha,476,SEC_800),(6745,Gamma,476,SEC_800),(6832,Gamma,476,SEC_800),(6838,Gamma,476,SEC_800))" "((270,3,0,1,F,SEC_800,476,T,T,0,0),(267,3,0,1,F,SEC_800,476,T,T,0,0),(105,3,3,1,F,SEC_800,476,F,F,0,0),(75,3,1,1,F,SEC_800,476,F,F,0,0),(21,3,0,1,F,SEC_800,476,F,T,0,0),(489,3,0,1,F,SEC_800,476,F,T,0,0),(84,3,0,1,F,SEC_800,476,F,T,0,0),(366,3,1,1,F,SEC_800,476,F,F,0,0),(249,3,3,1,F,SEC_800,476,F,F,0,0),(363,3,1,1,F,SEC_800,476,F,F,0,0),(375,3,1,1,F,SEC_800,476,F,F,0,0),(57,3,0,1,F,SEC_800,476,T,T,0,0),(102,3,1,1,F,SEC_800,476,F,F,0,0),(15,3,0,1,F,SEC_800,476,F,T,0,0),(69,3,1,1,F,SEC_800,476,F,F,0,0),(108,3,3,1,F,SEC_800,476,F,F,0,0),(399,3,0,1,F,SEC_800,476,T,T,0,0),(372,3,1,1,F,SEC_800,476,F,F,0,0),(48,3,0,1,F,SEC_800,476,F,T,0,0),(504,3,0,1,F,SEC_800,476,F,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1,F,SEC_800,476,F,F,0,0),(483,3,1,1,F,SEC_800,476,F,F,0,0),(231,3,1,1,F,SEC_800,476,F,F,0,0),(12,3,0,1,F,SEC_800,476,F,T,0,0),(168,3,3,1,F,SEC_800,476,F,F,0,0),(303,3,1,1,F,SEC_800,476,F,F,0,0),(66,3,1,1,F,SEC_800,476,F,F,0,0)

    ,(390,3,1,1,F,SEC_800,476,F,F,0,0),(369,3,1,1,F,SEC_800,476,F,F,0,0))" 372467-1153844 0 1 6831 SEC_800 AlphaMC800RBS56831 1 Beta 476 60 4151 ec 267 "((6831,Gamma,476,SEC_800),(6831,Alpha,476,SEC_800),(6745,Beta,476,SEC_800),(6848,Alpha,476,SEC_800),(6833,Alpha,476,SEC_800),(6841,Beta,476,SEC_800),(6840,Alpha,476,SEC_800),(6843,Beta,476,SEC_800),(6764,Beta,476,SEC_800),(6766,Alpha,476,SEC_800),(6846,Alpha,476,SEC_800),(6847,Beta,476,SEC_800),(6857,Beta,476,SEC_800),(6721,Beta,476,SEC_800),(6859,Beta,476,SEC_800),(6739,Beta,476,SEC_800),(6847,Alpha,476,SEC_800),(6753,Beta,476,SEC_800),(6852,Alpha,476,SEC_800),(6790,Beta,476,SEC_800),(6835,Beta,476,SEC_800),(6850,Alpha,476,SEC_800),(6780,Beta,476,SEC_800),(6834,Beta,476,SEC_800),(6833,Beta,476,SEC_800),(6755,Beta,476,SEC_800),(6742,Beta,476,SEC_800),(6838,Beta,476,SEC_800),(6723,Beta,476,1900),(6838,Gamma,476,SEC_800))" "((270,3,0,1,F,SEC_800,476,T,T,0,0),(264,3,0,1,F,SEC_800,476,T,T,0,0),(3

    66,3,3,1,F,SEC_800,476,F,F,0,0),(84,3,0,1,F,SEC_800,476,F,T,0,0),(57,3,0,1,F,SEC_800,476,T,T,0,0),(15,3,0,1,F,SEC_800,476,F,T,0,0),(399,3,0,1,F,SEC_800,476,T,T,0,0),(483,3,0,1,F,SEC_800,476,F,T,0,0),(249,3,3,1,F,SEC_800,476,F,F,0,0),(75,3,3,1,F,SEC_800,476,F,F,0,0),(327,3,0,1,F,SEC_800,476,F,T,0,0),(312,3,0,1,F,SEC_800,476,F,T,0,0),(96,3,0,1,F,SEC_800,476,F,T,0,0),(105,3,3,1,F,SEC_800,476,F,F,0,0),(240,3,0,1,F,SEC_800,476,F,T,0,0),(375,3,1,1,F,SEC_800,476,F,F,0,0),(309,3,0,1,F,SEC_800,476,F,T,0,0),(393,3,1,1,F,SEC_800,476,F,F,0,0),(504,3,0,1,F,SEC_800,476,F,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1,F,SEC_800,476,F,F,0,0),(48,3,0,1,F,SEC_800,476,F,T,0,0),(339,3,1,1,F,SEC_800,476,F,F,0,0),(24,3,0,1,F,SEC_800,476,F,T,0,0),(165,3,0,1,F,SEC_800,476,F,T,0,0),(258,3,1,1,F,SEC_800,476,F,F,0,0),(42,3,0,1,F,SEC_800,476,T,T,0,0),(60,3,0,1,F,SEC_800,476,T,T,0,0),(168,3,3,1,F,SEC_800,476,F,F,0,0),(69,3,3,1,F,SEC_800,476,F,F,0,0))" 372246 -1153771145 1 6831 SEC_800 Beta

    MC800RBS56831 1 Gamma 476 60 4151 ec 270 "((6831,Alpha,476,SEC_800),(6831,Beta,476,SEC_800),(6848,Alpha,476,SEC_800),(6745,Beta,476,SEC_800),(6740,Beta,476,SEC_800),(6840,Alpha,476,SEC_800),(6740,Gamma,476,SEC_800),(6841,Beta,476,SEC_800),(6739,Beta,476,SEC_800),(6766,Alpha,476,SEC_800),(6833,Alpha,476,SEC_800),(6835,Beta,476,SEC_800),(6835,Alpha,476,SEC_800),(6833,Gamma,476,SEC_800),(6753,Beta,476,SEC_800),(6764,Beta,476,SEC_800),(6838,Alpha,476,SEC_800),(6852,Alpha,476,SEC_800),(6721,Gamma,476,SEC_800),(6846,Alpha,476,SEC_800),(6721,Beta,476,SEC_800),(6836,Alpha,476,SEC_800),(6843,Beta,476,SEC_800),(6848,Beta,476,SEC_800),(6847,Beta,476,SEC_800),(6840,Gamma,476,SEC_800),(6834,Gamma,476,SEC_800),(6856,Alpha,476,SEC_800),(6852,Beta,476,SEC_800),(6838,Beta,476

  • 7/25/2019 Final NL Checker 6 Output Miami11

    6/724

    ,SEC_800))" "((264,3,0,1,F,SEC_800,476,T,T,0,0),(267,3,0,1,F,SEC_800,476,T,T,0,0),(84,3,0,1,F,SEC_800,476,F,T,0,0),(366,3,1,1,F,SEC_800,476,F,F,0,0),(69,3,3,1,F,SEC_800,476,F,F,0,0),(399,3,0,1,F,SEC_800,476,T,T,0,0),(72,3,1,1,F,SEC_800,476,F,F,0,0),(15,3,0,1,F,SEC_800,476,F,T,0,0),(375,3,1,1,F,SEC_800,476,F,F,0,0),(75,3,3,1,F,SEC_800,476,F,F,0,0),(57,3,0,1,F,SEC_800,476,T,T,0,0),(24,3,0,1,F,SEC_800,476,F,T,0,0),(21,3,0,1,F,SEC_800,476,F,T,0,0),(63,3,0,1,F,SEC_800,476,T,T,0,0),(393,3,1,1,F,SEC_800,476,F,F,0,0),(249,3,3,1,F,SEC_800,476,F,F,0,0),(489,3,0,1,F,SEC_800,476,F,T,0,0),(48,3,0,1,F,SEC_800,476,F,T,0,0),(108,3,3,1,F,SEC_800,476,F,F,0,0),(327,3,0,1,F,SEC_800,476,F,T,0,0),(504,3,0,1,F,SEC_800,476,F,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1,F,SEC_800,476,F,F,0,0),(105,3,1,1,F,SEC_800,476,F,F,0,0),(417,3,0,1,F,SEC_800,476,F,T,0,0),(483,3,0,1,F,SEC_800,476,F,T,0,0),(87,3,0,1,F,SEC_800,476,F,T,0,0),(312,3,0,1,F,SEC_800,476,F,T,0,0),(405,3,0,1,F,SEC_800,476,T,T,0,0),(45,3,0,1,F,SEC_800,476,T,T,0,0))" 372298-1154092 260 1 6831 SEC_800 GammaMC800RBS56832_NOA 1 Alpha 476 60 4151 ec 3"((6832,Beta,476,SEC_800),(6832,Gamma,476,SEC_800),(6833,Alpha,476,SEC_800),(6833,Gamma,476,SEC_800),(6841,Beta,476,SEC_800),(6833,Beta,476,SEC_800),(6831,Gamma,476,SEC_800),(6834,Gamma,476,SEC_800),(6838,Beta,476,SEC_800),(6847,Beta,476,SEC_800),(6850,Alpha,476,SEC_800),(6848,Beta,476,SEC_800),(6843,Beta,476,SEC_800),(6831,Beta,476,SEC_800),(6847,Alpha,476,SEC_800),(6835,Beta,476,SEC_800),(6842,Beta,476,SEC_800),(6848,Alpha,476,SEC_800),(6263,Alpha,476,SEC_800),(6840,Alpha,476,SEC_800))" "((6,3,0,1,F,SEC_800,476,T,T,0,0),(9,3,0,1,F,SEC_800,476,T,T,0,0),(57,3,0,1,F,SEC_800,476,T,T,0,0),(63,3,0,1,F,SEC_800,476,T,T,0,0),(15,3,0,1,F,SEC_800,476,F,T,0,0),(60,3,0,1,F,SEC_800,476,T,T,0,0),(270,3,0,1,F,SEC_800,476,T

    ,T,0,0),(45,3,0,1,F,SEC_800,476,T,T,0,0),(492,3,0,1,F,SEC_800,476,F,T,0,0),(312,3,0,1,F,SEC_800,476,F,T,0,0),(165,3,0,1,F,SEC_800,476,F,T,0,0),(87,3,0,1,F,SEC_800,476,F,T,0,0),(483,3,0,1,F,SEC_800,476,F,T,0,0),(267,3,0,1,F,SEC_800,476,T,T,0,0),(309,3,0,1,F,SEC_800,476,F,T,0,0),(24,3,0,1,F,SEC_800,476,F,T,0,0),(474,3,0,1,F,SEC_800,476,T,T,0,0),(84,3,0,1,F,SEC_800,476,F,T,0,0),(111,3,0,1,F,SEC_800,476,T,T,0,0),(399,3,0,1,F,SEC_800,476,T,T,0,0),(504,3,0,1,F,SEC_800,476,F,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1,F,SEC_800,476,F,F,0,0))" 371926-1153740 180 1 6832 SEC_800 AlphaMC800RBS56832_NOA 1 Beta 476 60 4151 ec 6"((6832,Gamma,476,SEC_800),(6832,Alpha,476,SEC_800),(6833,Alpha,476,SEC_800),(6831,Gamma,476,SEC_800),(6833,Gamma,476,SEC_800),(6841,Beta,476,SEC_800),(6838,Beta,476,SEC_800),(6847,Beta,476,SEC_800),(6850,Alpha,476,SEC_800),(6848,Alpha,476,SEC_800),(6847,Alpha,476,SEC_800),(6833,Beta,476,SEC_800),(6843,Beta,476,SEC_800

    ),(6848,Beta,476,SEC_800),(6846,Beta,476,SEC_800),(6834,Gamma,476,SEC_800),(6846,Alpha,476,SEC_800),(6851,Alpha,476,SEC_800),(6842,Beta,476,SEC_800),(6852,Alpha,476,SEC_800),(6852,Beta,476,SEC_800),(6840,Gamma,476,SEC_800),(6840,Alpha,476,SEC_800),(6840,Beta,476,SEC_800),(6836,Alpha,476,SEC_800),(6841,Alpha,476,SEC_800),(6841,Gamma,476,SEC_800),(6263,Alpha,476,SEC_800))" "((9,3,0,1,F,SEC_800,476,T,T,0,0),(3,3,0,1,F,SEC_800,476,T,T,0,0),(57,3,0,1,F,SEC_800,476,T,T,0,0),(270,3,0,1,F,SEC_800,476,T,T,0,0),(63,3,0,1,F,SEC_800,476,T,T,0,0),(15,3,0,1,F,SEC_800,476,F,T,0,0),(492,3,0,1,F,SEC_800,476,F,T,0,0),(312,3,0,1,F,SEC_800,476,F,T,0,0),(165,3,0,1,F,SEC_800,476,F,T,0,0),(84,3,0,1,F,SEC_800,476,F,T,0,0),(309,3,0,1,F,SEC_800,476,F,T,0,0),(60,3,0,1,F,SEC_800,476,T,T,0,0),(483,3,0,1,F,SEC_800,476,F,T,0,0),(87,3,0,1,F,SEC_800,476,F,T,0,0),(330,3,0,1,F,SEC_800,476,F,T,0,0),(45,3,0,1,F,SEC_800,476,T,T,0,0),(327,3,0,1,F,SEC_800,476,F,T,0,0),(453,3,0,1,F,SEC_800,476,F,T,0,0),(474,3,0,1,F,SEC_800,476,T,T,0,0),(48,3,0,1,F,SEC_800,476,F,T

    ,0,0),(504,3,0,1,F,SEC_800,476,F,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1,F,SEC_800,476,F,F,0,0),(51,3,0,1,F,SEC_800,476,F,T,0,0),(405,3,0,1,F,SEC_800,476,T,T,0,0),(399,3,0,1,F,SEC_800,476,T,T,0,0),(402,3,0,1,F,SEC_800,476,T,T,0,0),(417,3,0,1,F,SEC_800,476,F,T,0,0),(12,3,0,1,F,SEC_800,476,F,T,0,0),(18,3,0,1,F,SEC_800,476,F,T,0,0))" 371885 -1153928 240 1 6832SEC_800 BetaMC800RBS56832_NOA 1 Gamma 476 60 4151 ec 9"((6832,Beta,476,SEC_800),(6832,Alpha,476,SEC_800),(6833,Alpha,476,SEC_800),(6850,Alpha,476,SEC_800),(6831,Beta,476,SEC_800),(6841,Beta,476,SEC_800),(6831,Gamma,476,SEC_800),(6843,Beta,476,SEC_800),(6835,Beta,476,SEC_800),(6852,Alpha,476,SE

  • 7/25/2019 Final NL Checker 6 Output Miami11

    7/724

    C_800),(6831,Alpha,476,SEC_800),(6745,Beta,476,SEC_800),(6764,Beta,476,SEC_800),(6847,Beta,476,SEC_800),(6846,Alpha,476,SEC_800),(6833,Gamma,476,SEC_800),(6847,Alpha,476,SEC_800),(6721,Gamma,476,SEC_800),(6745,Alpha,476,SEC_800),(6835,Alpha,476,SEC_800),(6838,Beta,476,SEC_800),(6740,Beta,476,SEC_800),(6838,Alpha,476,SEC_800),(6841,Alpha,476,SEC_800),(6721,Beta,476,SEC_800),(6740,Alpha,476,SEC_800),(6839,Alpha,476,SEC_800),(6840,Alpha,476,SEC_800),(6836,Alpha,476,SEC_800),(6841,Gamma,476,SEC_800))" "((6,3,0,1,F,SEC_800,476,T,T,0,0),(3,3,0,1,F,SEC_800,476,T,T,0,0),(57,3,0,1,F,SEC_800,476,T,T,0,0),(165,3,0,1,F,SEC_800,476,F,T,0,0),(267,3,0,1,F,SEC_800,476,T,T,0,0),(15,3,0,1,F,SEC_800,476,F,T,0,0),(270,3,0,1,F,SEC_800,476,T,T,0,0),(483,3,0,1,F,SEC_800,476,F,T,0,0),(24,3,0,1,F,SEC_800,476,F,T,0,0),(48,3,0,1,F,SEC_800,476,F,T,0,0),(264,3,0,1,F,SEC_800,476,T,T,0,0),(366,3,3,1,F,SEC_800,476,F,F,0,0),(249,3,3,1,F,SEC_800,476,F,F,0,0),(312,3,0,1,F,SEC_800,476,F,T,0,0),(327,3,0,1,F,SEC_800,476,F,T,0,0),(63,3,0,1,F,SEC_800,476,T,T,0,0),(309,3,0,1,F,SEC_800,476,F,T,0,0),(504,3,0,1,F,SEC_800,476,F,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1,F,SEC_800,476,F,F,0,0),(108,3,3,1,F,SEC_800,476,F,F,0,0),(363,3,3,1,F,SEC_800,476,F,F,0,0),(21,3,0,1,F,SEC_800,476,F,T,0,0),(492,3,0,1,F,SEC_800,476,F,T,0,0),(69,3,3,1,F,SEC_800,476,F,F,0,0),(489,3,0,1,F,SEC_800,476,F,T,0,0),(12,3,0,1,F,SEC_800,476,F,T,0,0),(105,3,1,1,F,SEC_800,476,F,F,0,0),(66,3,1,1,F,SEC_800,476,F,F,0,0),(183,3,0,1,F,SEC_800,476,T,T,0,0))"372080 -1153793 335 1 6832 SEC_800 GammaMC800RBS56833 1 Alpha 476 60 4151 ec 57 "((6833,Gamma,476,SEC_800),(6833,Beta,476,SEC_800),(6840,Alpha,476,SEC_800),(6848,Alpha,476,SEC_800),(6836,Alpha,476,SEC_800),(6843,Beta,476,SEC_800),(6857,Beta,476,SEC_800),(6841,Beta,476,SEC_800),(6831,Beta,476,SEC_800),(6745,Beta,476,SEC_800),(6

    847,Beta,476,SEC_800),(6834,Alpha,476,SEC_800),(6766,Alpha,476,SEC_800),(6859,Beta,476,SEC_800),(6852,Alpha,476,SEC_800),(6840,Beta,476,SEC_800),(6845,Beta,476,SEC_800),(6764,Beta,476,SEC_800),(6739,Beta,476,SEC_800),(6835,Beta,476,SEC_800),(6846,Beta,476,SEC_800),(6846,Alpha,476,SEC_800),(6780,Beta,476,SEC_800),(6831,Gamma,476,SEC_800),(6753,Beta,476,SEC_800),(6790,Beta,476,SEC_800),(6831,Alpha,476,SEC_800),(6835,Alpha,476,SEC_800),(6850,Alpha,476,SEC_800),(6838,Alpha,476,SEC_800))" "((63,3,0,1,F,SEC_800,476,T,T,0,0),(60,3,0,1,F,SEC_800,476,T,T,0,0),(399,3,0,1,F,SEC_800,476,T,T,0,0),(84,3,0,1,F,SEC_800,476,F,T,0,0),(417,3,0,1,F,SEC_800,476,F,T,0,0),(483,3,0,1,F,SEC_800,476,F,T,0,0),(96,3,0,1,F,SEC_800,476,F,T,0,0),(15,3,0,1,F,SEC_800,476,F,T,0,0),(267,3,0,1,F,SEC_800,476,T,T,0,0),(366,3,3,1,F,SEC_800,476,F,F,0,0),(312,3,0,1,F,SEC_800,476,F,T,0,0),(39,3,0,1,F,SEC_800,476,T,T,0,0),(75,3,3,1,F,SEC_800,476,F,F,0,0),(240,3,0,1,F,SEC_800,476,F,T,0,0),(48,3,0,1,F,SEC_800,476,F,T,0,0),(402,3,0,1,F,SEC_800,476,T,T,0,0),(132,3

    ,0,1,F,SEC_800,476,F,T,0,0),(249,3,3,1,F,SEC_800,476,F,F,0,0),(375,3,1,1,F,SEC_800,476,F,F,0,0),(24,3,0,1,F,SEC_800,476,F,T,0,0),(504,3,0,1,F,SEC_800,476,F,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1,F,SEC_800,476,F,F,0,0),(330,3,0,1,F,SEC_800,476,F,T,0,0),(327,3,0,1,F,SEC_800,476,F,T,0,0),(258,3,1,1,F,SEC_800,476,F,F,0,0),(270,3,0,1,F,SEC_800,476,T,T,0,0),(393,3,1,1,F,SEC_800,476,F,F,0,0),(339,3,1,1,F,SEC_800,476,F,F,0,0),(264,3,0,1,F,SEC_800,476,T,T,0,0))" 371802-1153832 0 1 6833 SEC_800 AlphaMC800RBS56833 1 Beta 476 60 4151 ec 60 "((6833,Gamma,476,SEC_800),(6833,Alpha,476,SEC_800),(6840,Alpha,476,SEC_800),(6834,Alpha,476,SEC_800),(6836,Alpha,476,SEC_800),(6841,Beta,476,SEC_800),(6848,Alpha,476,SEC_800),(6843,Beta,476,SEC_800),(6831,Beta,476,SEC_800),(6857,Beta,476,SEC_800),(6847,Beta,476,SEC_800),(6766,Alpha,476,SEC_800),(6845,Beta,476,SEC_800),(6838,Beta,476,SEC_800),(6839,Alpha,476,SEC_800),(6834,Gamma,476,SEC_800),(6834,Beta,47

    6,SEC_800),(6848,Beta,476,SEC_800),(6846,Beta,476,SEC_800),(6842,Alpha,476,SEC_800),(6840,Beta,476,SEC_800),(6852,Alpha,476,SEC_800),(6721,Beta,476,SEC_800),(6739,Beta,476,SEC_800),(6764,Beta,476,SEC_800),(6840,Gamma,476,SEC_800),(6856,Beta,476,SEC_800),(6836,Gamma,476,SEC_800),(6836,Beta,476,SEC_800),(6837,Alpha,476,SEC_800))" "((63,3,0,1,F,SEC_800,476,T,T,0,0),(57,3,0,1,F,SEC_800,476,T,T,0,0),(399,3,0,1,F,SEC_800,476,T,T,0,0),(39,3,0,1,F,SEC_800,476,T,T,0,0),(417,3,0,1,F,SEC_800,476,F,T,0,0),(15,3,0,1,F,SEC_800,476,F,T,0,0),(84,3,0,1,F,SEC_800,476,F,T,0,0),(483,3,0,1,F,SEC_800,476,F,T,0,0),(267,3,0,1,F,SEC_800,476,T,T,0,0),(96,3,0,1,F,SEC_800,476,F,T,0,0),(312,3,0,1,F,SEC_800,476,F,T,0,0),(75,3,1,1,F,SEC_800,476,F,F,0,0),(132,3,0,1,F,SEC_800,476,F,T,0,0),(492,3,0,1,F,SEC_800,476,F,

  • 7/25/2019 Final NL Checker 6 Output Miami11

    8/724

    T,0,0),(183,3,0,1,F,SEC_800,476,T,T,0,0),(45,3,0,1,F,SEC_800,476,T,T,0,0),(42,3,0,1,F,SEC_800,476,T,T,0,0),(87,3,0,1,F,SEC_800,476,F,T,0,0),(330,3,0,1,F,SEC_800,476,F,T,0,0),(471,3,0,1,F,SEC_800,476,T,T,0,0),(504,3,0,1,F,SEC_800,476,F,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1,F,SEC_800,476,F,F,0,0),(402,3,0,1,F,SEC_800,476,T,T,0,0),(48,3,0,1,F,SEC_800,476,F,T,0,0),(105,3,1,1,F,SEC_800,476,F,F,0,0),(375,3,1,1,F,SEC_800,476,F,F,0,0),(249,3,1,1,F,SEC_800,476,F,F,0,0),(405,3,0,1,F,SEC_800,476,T,T,0,0),(150,3,0,1,F,SEC_800,476,F,T,0,0))" 371661-1153793 150 1 6833 SEC_800 BetaMC800RBS56833 1 Gamma 476 60 4151 ec 63 "((6833,Beta,476,SEC_800),(6833,Alpha,476,SEC_800),(6840,Alpha,476,SEC_800),(6834,Gamma,476,SEC_800),(6841,Beta,476,SEC_800),(6848,Alpha,476,SEC_800),(6843,Beta,476,SEC_800),(6836,Alpha,476,SEC_800),(6847,Beta,476,SEC_800),(6834,Alpha,476,SEC_800),(6838,Beta,476,SEC_800),(6848,Beta,476,SEC_800),(6845,Beta,476,SEC_800),(6831,Gamma,476,SEC_800),(6840,Gamma,476,SEC_800),(6857,Beta,476,SEC_800),(6839,Gamma,476,SEC_800),(6852,Alpha,476,SEC_800),(6863,Alpha,476,SEC_800),(6846,Beta,476,SEC_800),(6852,Beta,476,SEC_800),(6840,Beta,476,SEC_800),(6836,Gamma,476,SEC_800),(6848,Gamma,476,SEC_800),(6766,Alpha,476,SEC_800),(6847,Alpha,476,SEC_800),(6856,Alpha,476,SEC_800),(6843,Alpha,476,SEC_800),(6854,Beta,476,SEC_800),(6851,Alpha,476,SEC_800))" "((60,3,0,1,F,SEC_800,476,T,T,0,0),(57,3,0,1,F,SEC_800,476,T,T,0,0),(399,3,0,1,F,SEC_800,476,T,T,0,0),(45,3,0,1,F,SEC_800,476,T,T,0,0),(15,3,0,1,F,SEC_800,476,F,T,0,0),(84,3,0,1,F,SEC_800,476,F,T,0,0),(483,3,0,1,F,SEC_800,476,F,T,0,0),(417,3,0,1,F,SEC_800,476,F,T,0,0),(312,3,0,1,F,SEC_800,476,F,T,0,0),(39,3,0,1,F,SEC_800,476,T,T,0,0),(492,3,0,1,F,SEC_800,476,F,T,0,0),(87,3,0,1,F,SEC_800,476,F,T,0,0),(132,3,0,1,F,SEC_800,476,F,T,0,0),(270,3,0,1,F,SEC_800,476,T,

    T,0,0),(405,3,0,1,F,SEC_800,476,T,T,0,0),(96,3,0,1,F,SEC_800,476,F,T,0,0),(189,3,0,1,F,SEC_800,476,T,T,0,0),(48,3,0,1,F,SEC_800,476,F,T,0,0),(282,3,0,1,F,SEC_800,476,F,T,0,0),(504,3,0,1,F,SEC_800,476,F,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1,F,SEC_800,476,F,F,0,0),(330,3,0,1,F,SEC_800,476,F,T,0,0),(51,3,0,1,F,SEC_800,476,F,T,0,0),(402,3,0,1,F,SEC_800,476,T,T,0,0),(423,3,0,1,F,SEC_800,476,F,T,0,0),(90,3,0,1,F,SEC_800,476,F,T,0,0),(75,3,1,1,F,SEC_800,476,F,F,0,0),(309,3,0,1,F,SEC_800,476,F,T,0,0),(108,3,3,1,F,SEC_800,476,F,F,0,0))" 371636-1154096 250 1 6833 SEC_800 GammaMC800RBS56834 1 Alpha 476 60 4151 ec 39 "((6834,Beta,476,SEC_800),(6834,Gamma,476,SEC_800),(6833,Beta,476,SEC_800),(6840,Alpha,476,SEC_800),(6836,Alpha,476,SEC_800),(6833,Gamma,476,SEC_800),(6847,Beta,476,SEC_800),(6841,Beta,476,SEC_800),(6843,Beta,476,SEC_800),(6846,Beta,476,SEC_800),(6845,Beta,476,SEC_800),(6839,Alpha,476,SEC_800),(6848,Alpha,476,SEC_800),(6857,Be

    ta,476,SEC_800),(6838,Beta,476,SEC_800),(6840,Beta,476,SEC_800),(6831,Beta,476,SEC_800),(6833,Alpha,476,SEC_800),(6836,Beta,476,SEC_800),(6831,Gamma,476,SEC_800),(6840,Gamma,476,SEC_800),(6839,Gamma,476,SEC_800),(6839,Beta,476,SEC_800),(6263,Alpha,476,SEC_800),(6837,Alpha,476,SEC_800))" "((42,3,0,1,F,SEC_800,476,T,T,0,0),(45,3,0,1,F,SEC_800,476,T,T,0,0),(60,3,0,1,F,SEC_800,476,T,T,0,0),(399,3,0,1,F,SEC_800,476,T,T,0,0),(417,3,0,1,F,SEC_800,476,F,T,0,0),(63,3,0,1,F,SEC_800,476,T,T,0,0),(312,3,0,1,F,SEC_800,476,F,T,0,0),(15,3,0,1,F,SEC_800,476,F,T,0,0),(483,3,0,1,F,SEC_800,476,F,T,0,0),(330,3,0,1,F,SEC_800,476,F,T,0,0),(132,3,0,1,F,SEC_800,476,F,T,0,0),(183,3,0,1,F,SEC_800,476,T,T,0,0),(84,3,0,1,F,SEC_800,476,F,T,0,0),(96,3,0,1,F,SEC_800,476,F,T,0,0),(492,3,0,1,F,SEC_800,476,F,T,0,0),(402,3,0,1,F,SEC_800,476,T,T,0,0),(267,3,0,1,F,SEC_800,476,T,T,0,0),(57,3,0,1,F,SEC_800,476,T,T,0,0),(420,3,0,1,F,SEC_800,476,F,T,0,0),(270,3,0,1,F,SEC_800,476,T,T,0,0),(504,3,0,1,F,SEC_800,476,F,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1

    ,F,SEC_800,476,F,F,0,0),(405,3,0,1,F,SEC_800,476,T,T,0,0),(189,3,0,1,F,SEC_800,476,T,T,0,0),(186,3,0,1,F,SEC_800,476,T,T,0,0),(111,3,0,1,F,SEC_800,476,T,T,0,0),(174,3,0,1,F,SEC_800,476,T,T,0,0))" 371561 -1153852 0 16834 SEC_800 AlphaMC800RBS56834 1 Beta 476 60 4151 ec 42 "((6834,Alpha,476,SEC_800),(6834,Gamma,476,SEC_800),(6836,Alpha,476,SEC_800),(6833,Beta,476,SEC_800),(6840,Alpha,476,SEC_800),(6840,Beta,476,SEC_800),(6839,Alpha,476,SEC_800),(6842,Alpha,476,SEC_800),(6842,Gamma,476,SEC_800),(6836,Beta,476,SEC_800),(6841,Beta,476,SEC_800),(6843,Beta,476,SEC_800),(6847,Beta,476,SEC_800),(6833,Gamma,476,SEC_800),(6831,Beta,476,SEC_800),(6845,Beta,476,SEC_800),(6839,Beta,476

  • 7/25/2019 Final NL Checker 6 Output Miami11

    9/724

    ,SEC_800),(6846,Beta,476,SEC_800),(6863,Alpha,476,SEC_800),(6838,Beta,476,SEC_800),(6871,Beta,476,SEC_800),(6836,Gamma,476,SEC_800),(6856,Beta,476,SEC_800),(6833,Alpha,476,SEC_800),(6840,Gamma,476,SEC_800),(6837,Alpha,476,SEC_800),(6845,Gamma,476,SEC_800))" "((39,3,0,1,F,SEC_800,476,T,T,0,0),(45,3,0,1,F,SEC_800,476,T,T,0,0),(417,3,0,1,F,SEC_800,476,F,T,0,0),(60,3,0,1,F,SEC_800,476,T,T,0,0),(399,3,0,1,F,SEC_800,476,T,T,0,0),(402,3,0,1,F,SEC_800,476,T,T,0,0),(183,3,0,1,F,SEC_800,476,T,T,0,0),(471,3,0,1,F,SEC_800,476,T,T,0,0),(477,3,0,1,F,SEC_800,476,T,T,0,0),(420,3,0,1,F,SEC_800,476,F,T,0,0),(15,3,0,1,F,SEC_800,476,F,T,0,0),(483,3,0,1,F,SEC_800,476,F,T,0,0),(312,3,0,1,F,SEC_800,476,F,T,0,0),(63,3,0,1,F,SEC_800,476,T,T,0,0),(267,3,0,1,F,SEC_800,476,T,T,0,0),(132,3,0,1,F,SEC_800,476,F,T,0,0),(186,3,0,1,F,SEC_800,476,T,T,0,0),(330,3,0,1,F,SEC_800,476,F,T,0,0),(282,3,0,1,F,SEC_800,476,F,T,0,0),(492,3,0,1,F,SEC_800,476,F,T,0,0),(504,3,0,1,F,SEC_800,476,F,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1,F,SEC_800,476,F,F,0,0),(204,3,0,1,F,SEC_800,476,F,T,0,0),(423,3,0,1,F,SEC_800,476,F,T,0,0),(150,3,0,1,F,SEC_800,476,F,T,0,0),(57,3,0,1,F,SEC_800,476,T,T,0,0),(405,3,0,1,F,SEC_800,476,T,T,0,0),(174,3,0,1,F,SEC_800,476,T,T,0,0),(135,3,0,1,F,SEC_800,476,F,T,0,0))" 370684 -1152250 120 1 6834 SEC_800 BetaMC800RBS56834 1 Gamma 476 60 4151 ec 45 "((6834,Alpha,476,SEC_800),(6834,Beta,476,SEC_800),(6836,Alpha,476,SEC_800),(6833,Gamma,476,SEC_800),(6840,Alpha,476,SEC_800),(6833,Beta,476,SEC_800),(6848,Alpha,476,SEC_800),(6843,Beta,476,SEC_800),(6841,Beta,476,SEC_800),(6847,Beta,476,SEC_800),(6840,Beta,476,SEC_800),(6838,Beta,476,SEC_800),(6831,Gamma,476,SEC_800),(6836,Gamma,476,SEC_800),(6840,Gamma,476,SEC_800),(6846,Beta,476,SEC_800),(6845,Beta,476,SEC_800),(6839,Gamma,476,SEC_800),(6852,Alpha,476,SEC_800),(6848,Beta,476,SEC_8

    00),(6856,Alpha,476,SEC_800),(6831,Beta,476,SEC_800),(6859,Beta,476,SEC_800),(6847,Alpha,476,SEC_800),(6854,Beta,476,SEC_800),(6851,Alpha,476,SEC_800),(6832,Beta,476,SEC_800),(6837,Alpha,476,SEC_800),(6832,Alpha,476,SEC_800),(6836,Beta,476,SEC_800))" "((39,3,0,1,F,SEC_800,476,T,T,0,0),(42,3,0,1,F,SEC_800,476,T,T,0,0),(417,3,0,1,F,SEC_800,476,F,T,0,0),(63,3,0,1,F,SEC_800,476,T,T,0,0),(399,3,0,1,F,SEC_800,476,T,T,0,0),(60,3,0,1,F,SEC_800,476,T,T,0,0),(84,3,0,1,F,SEC_800,476,F,T,0,0),(483,3,0,1,F,SEC_800,476,F,T,0,0),(15,3,0,1,F,SEC_800,476,F,T,0,0),(312,3,0,1,F,SEC_800,476,F,T,0,0),(402,3,0,1,F,SEC_800,476,T,T,0,0),(492,3,0,1,F,SEC_800,476,F,T,0,0),(270,3,0,1,F,SEC_800,476,T,T,0,0),(423,3,0,1,F,SEC_800,476,F,T,0,0),(405,3,0,1,F,SEC_800,476,T,T,0,0),(330,3,0,1,F,SEC_800,476,F,T,0,0),(132,3,0,1,F,SEC_800,476,F,T,0,0),(189,3,0,1,F,SEC_800,476,T,T,0,0),(48,3,0,1,F,SEC_800,476,F,T,0,0),(87,3,0,1,F,SEC_800,476,F,T,0,0),(504,3,0,1,F,SEC_800,476,F,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1,F,SEC_800,476,F,F,0,0),(147,3,0

    ,1,F,SEC_800,476,F,T,0,0),(267,3,0,1,F,SEC_800,476,T,T,0,0),(240,3,0,1,F,SEC_800,476,F,T,0,0),(309,3,0,1,F,SEC_800,476,F,T,0,0),(213,3,0,1,F,SEC_800,476,F,T,0,0),(453,3,0,1,F,SEC_800,476,F,T,0,0),(6,3,0,1,F,SEC_800,476,T,T,0,0))" 371481-1153874 240 1 6834 SEC_800 GammaMC800RBS56835 1 Alpha 476 60 4151 standard 21"((6835,Gamma,476,SEC_800),(6835,Beta,476,SEC_800),(6766,Alpha,476,SEC_800),(6838,Alpha,476,SEC_800),(6764,Beta,476,SEC_800),(6753,Beta,476,SEC_800),(6841,Alpha,476,SEC_800),(6831,Gamma,476,SEC_800),(6745,Beta,476,SEC_800),(6745,Gamma,476,SEC_800),(6721,Gamma,476,SEC_800),(6831,Alpha,476,SEC_800),(6740,Beta,476,SEC_800),(6740,Gamma,476,SEC_800),(6843,Alpha,476,SEC_800),(6848,Alpha,476,SEC_800),(6838,Gamma,476,SEC_800),(6846,Alpha,476,SEC_800),(6833,Alpha,476,SEC_800),(6721,Beta,476,SEC_800),(6841,Beta,476,SEC_800),(6745,Alpha,476,SEC_800),(6721,Alpha,476,SEC_800),(6847,Alpha,476,SEC_800),(6740,Alpha,476,SEC_800),(6739,Alpha,476,SEC_

    800),(6753,Alpha,476,SEC_800),(6755,Beta,476,SEC_800),(6836,Alpha,476,SEC_800),(6755,Gamma,476,SEC_800))" "((27,3,0,1,F,SEC_800,476,T,T,0,0),(24,3,0,1,F,SEC_800,476,T,T,0,0),(75,3,3,1,F,SEC_800,476,F,F,0,0),(489,3,0,1,F,SEC_800,476,T,T,0,0),(249,3,3,1,F,SEC_800,476,F,F,0,0),(393,3,3,1,F,SEC_800,476,F,F,0,0),(12,3,0,1,F,SEC_800,476,T,T,0,0),(270,3,0,1,F,SEC_800,476,F,T,0,0),(366,3,1,1,F,SEC_800,476,F,F,0,0),(369,3,1,1,F,SEC_800,476,F,F,0,0),(108,3,3,1,F,SEC_800,476,F,F,0,0),(264,3,0,1,F,SEC_800,476,F,T,0,0),(69,3,1,1,F,SEC_800,476,F,F,0,0),(72,3,3,1,F,SEC_800,476,F,F,0,0),(480,3,0,1,F,SEC_800,476,T,T,0,0),(84,3,0,1,F,SEC_800,476,F,T,0,0),(495,3,0,1,F,SEC_800,476,T,T,0,0),(327,3,0,1,F,SEC_800,476,T,T,0,0),(504,3,0,1,F,SEC_800,476,F,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1,F,

  • 7/25/2019 Final NL Checker 6 Output Miami11

    10/724

    SEC_800,476,F,F,0,0),(57,3,0,1,F,SEC_800,476,F,T,0,0),(105,3,3,1,F,SEC_800,476,F,F,0,0),(15,3,0,1,F,SEC_800,476,T,T,0,0),(363,3,1,1,F,SEC_800,476,F,F,0,0),(102,3,1,1,F,SEC_800,476,F,F,0,0),(309,3,0,1,F,SEC_800,476,F,T,0,0),(66,3,1,1,F,SEC_800,476,F,F,0,0),(372,3,1,1,F,SEC_800,476,F,F,0,0),(168,3,3,1,F,SEC_800,476,F,F,0,0))" 372477 -1154567 60 1 6835 SEC_800 AlphaMC800RBS56835 1 Beta 476 60 4151 standard 24"((6835,Gamma,476,SEC_800),(6835,Alpha,476,SEC_800),(6838,Alpha,476,SEC_800),(6841,Alpha,476,SEC_800),(6838,Gamma,476,SEC_800),(6766,Alpha,476,SEC_800),(6831,Gamma,476,SEC_800),(6841,Beta,476,SEC_800),(6764,Beta,476,SEC_800),(6753,Beta,476,SEC_800),(6838,Beta,476,SEC_800),(6848,Alpha,476,SEC_800),(6721,Gamma,476,SEC_800),(6843,Alpha,476,SEC_800),(6740,Gamma,476,SEC_800),(6745,Beta,476,SEC_800),(6833,Alpha,476,SEC_800),(6780,Beta,476,SEC_800),(6740,Beta,476,SEC_800),(6846,Alpha,476,SEC_800),(6833,Gamma,476,SEC_800),(6847,Alpha,476,SEC_800),(6843,Beta,476,SEC_800),(6721,Beta,476,SEC_800),(6831,Beta,476,SEC_800),(6755,Beta,476,SEC_800),(6756,Beta,476,SEC_800),(6832,Alpha,476,SEC_800),(6832,Gamma,476,SEC_800))""((27,3,0,1,F,SEC_800,476,T,T,0,0),(21,3,0,1,F,SEC_800,476,T,T,0,0),(489,3,0,1,F,SEC_800,476,T,T,0,0),(12,3,0,1,F,SEC_800,476,T,T,0,0),(495,3,0,1,F,SEC_800,476,T,T,0,0),(75,3,3,1,F,SEC_800,476,F,F,0,0),(270,3,0,1,F,SEC_800,476,F,T,0,0),(15,3,0,1,F,SEC_800,476,T,T,0,0),(249,3,3,1,F,SEC_800,476,F,F,0,0),(393,3,1,1,F,SEC_800,476,F,F,0,0),(492,3,0,1,F,SEC_800,476,T,T,0,0),(84,3,0,1,F,SEC_800,476,F,T,0,0),(108,3,3,1,F,SEC_800,476,F,F,0,0),(480,3,0,1,F,SEC_800,476,T,T,0,0),(72,3,1,1,F,SEC_800,476,F,F,0,0),(366,3,1,1,F,SEC_800,476,F,F,0,0),(57,3,0,1,F,SEC_800,476,F,T,0,0),(258,3,1,1,F,SEC_800,476,F,F,0,0),(69,3,1,1,F,SEC_800,476,F,F,0,0),(504,3,0,1,F,SEC_800,476,F,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1,F,

    SEC_800,476,F,F,0,0),(327,3,0,1,F,SEC_800,476,T,T,0,0),(63,3,0,1,F,SEC_800,476,F,T,0,0),(309,3,0,1,F,SEC_800,476,F,T,0,0),(483,3,0,1,F,SEC_800,476,T,T,0,0),(105,3,1,1,F,SEC_800,476,F,F,0,0),(267,3,0,1,F,SEC_800,476,F,T,0,0),(168,3,3,1,F,SEC_800,476,F,F,0,0),(474,3,1,1,F,SEC_800,476,F,F,0,0))" 372395 -1154631150 1 6835 SEC_800 BetaMC800RBS56835 1 Gamma 476 60 4151 standard 27"((6835,Beta,476,SEC_800),(6835,Alpha,476,SEC_800),(6766,Alpha,476,SEC_800),(6841,Alpha,476,SEC_800),(6838,Gamma,476,SEC_800),(6764,Beta,476,SEC_800),(6843,Alpha,476,SEC_800),(6753,Beta,476,SEC_800),(6838,Alpha,476,SEC_800),(6780,Beta,476,SEC_800),(6766,Beta,476,SEC_800),(6847,Alpha,476,SEC_800),(6846,Alpha,476,SEC_800),(6845,Alpha,476,SEC_800),(6841,Gamma,476,SEC_800),(6838,Beta,476,SEC_800),(6845,Beta,476,SEC_800),(6781,Beta,476,SEC_800),(6846,Gamma,476,SEC_800),(6841,Beta,476,SEC_800))" "((24,3,0,1,F,SEC_800,476,T,T,0,0),(21,3,0,1,F,SEC_800,476,T,T,0

    ,0),(75,3,3,1,F,SEC_800,476,F,F,0,0),(12,3,0,1,F,SEC_800,476,T,T,0,0),(495,3,0,1,F,SEC_800,476,T,T,0,0),(249,3,3,1,F,SEC_800,476,F,F,0,0),(480,3,0,1,F,SEC_800,476,T,T,0,0),(393,3,3,1,F,SEC_800,476,F,F,0,0),(489,3,0,1,F,SEC_800,476,T,T,0,0),(258,3,3,1,F,SEC_800,476,F,F,0,0),(78,3,3,1,F,SEC_800,476,F,F,0,0),(309,3,0,1,F,SEC_800,476,F,T,0,0),(327,3,0,1,F,SEC_800,476,T,T,0,0),(129,3,0,1,F,SEC_800,476,T,T,0,0),(18,3,0,1,F,SEC_800,476,T,T,0,0),(492,3,0,1,F,SEC_800,476,T,T,0,0),(132,3,0,1,F,SEC_800,476,T,T,0,0),(294,3,3,1,F,SEC_800,476,F,F,0,0),(333,3,0,1,F,SEC_800,476,T,T,0,0),(15,3,0,1,F,SEC_800,476,T,T,0,0),(504,3,0,1,F,SEC_800,476,F,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1,F,SEC_800,476,F,F,0,0))"372432 -1154767 270 1 6835 SEC_800 GammaMC800RBS56836 1 Alpha 476 60 4151 standard 417"((6836,Beta,476,SEC_800),(6836,Gamma,476,SEC_800),(6840,Alpha,476,SEC_800),(6834,Gamma,476,SEC_800),(6834,Beta,476,SEC_800),(6840,Beta,476,SEC_800),(6833,Beta,

    476,SEC_800),(6833,Alpha,476,SEC_800),(6839,Alpha,476,SEC_800),(6833,Gamma,476,SEC_800),(6842,Gamma,476,SEC_800),(6834,Alpha,476,SEC_800),(6842,Alpha,476,SEC_800),(6841,Beta,476,SEC_800),(6845,Beta,476,SEC_800),(6838,Beta,476,SEC_800),(6848,Alpha,476,SEC_800),(6843,Beta,476,SEC_800),(6847,Beta,476,SEC_800),(6766,Alpha,476,SEC_800),(6831,Beta,476,SEC_800),(6839,Gamma,476,SEC_800),(6848,Beta,476,SEC_800),(6831,Gamma,476,SEC_800),(6852,Alpha,476,SEC_800),(6835,Alpha,476,SEC_800),(6832,Gamma,476,SEC_800),(6832,Beta,476,SEC_800))" "((420,3,0,1,F,SEC_800,476,T,T,0,0),(423,3,0,1,F,SEC_800,476,T,T,0,0),(399,3,0,1,F,SEC_800,476,F,T,0,0),(45,3,0,1,F,SEC_800,476,F,T,0,0),(42,3,0,1,F,SEC_800,476,F,T,0,0),(402,3,0,1,F,SEC_800,476,F,T,0,0),(60,3,0,1,F,SEC_800,476,F,T,0,0),(57,3,0,1,F,SEC_800,476,F,T

  • 7/25/2019 Final NL Checker 6 Output Miami11

    11/724

    ,0,0),(183,3,0,1,F,SEC_800,476,F,T,0,0),(63,3,0,1,F,SEC_800,476,F,T,0,0),(477,3,0,1,F,SEC_800,476,F,T,0,0),(39,3,0,1,F,SEC_800,476,F,T,0,0),(471,3,0,1,F,SEC_800,476,F,T,0,0),(15,3,0,1,F,SEC_800,476,F,T,0,0),(132,3,0,1,F,SEC_800,476,F,T,0,0),(492,3,0,1,F,SEC_800,476,F,T,0,0),(84,3,0,1,F,SEC_800,476,F,T,0,0),(483,3,0,1,F,SEC_800,476,F,T,0,0),(312,3,0,1,F,SEC_800,476,F,T,0,0),(75,3,1,1,F,SEC_800,476,F,F,0,0),(504,3,0,1,F,SEC_800,476,F,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1,F,SEC_800,476,F,F,0,0),(267,3,0,1,F,SEC_800,476,F,T,0,0),(189,3,0,1,F,SEC_800,476,F,T,0,0),(87,3,0,1,F,SEC_800,476,F,T,0,0),(270,3,0,1,F,SEC_800,476,F,T,0,0),(48,3,0,1,F,SEC_800,476,F,T,0,0),(21,3,0,1,F,SEC_800,476,F,T,0,0),(9,3,0,1,F,SEC_800,476,F,T,0,0))" 371408 -1153896 20 1 6836SEC_800 AlphaMC800RBS56836 1 Beta 476 60 4151 standard 420"((6836,Alpha,476,SEC_800),(6836,Gamma,476,SEC_800),(6839,Alpha,476,SEC_800),(6839,Gamma,476,SEC_800),(6834,Beta,476,SEC_800),(6840,Beta,476,SEC_800),(6842,Gamma,476,SEC_800),(6845,Beta,476,SEC_800),(6833,Beta,476,SEC_800),(6838,Beta,476,SEC_800),(6841,Beta,476,SEC_800),(6839,Beta,476,SEC_800),(6842,Alpha,476,SEC_800),(6842,Beta,476,SEC_800),(6871,Beta,476,SEC_800),(6848,Beta,476,SEC_800),(6834,Gamma,476,SEC_800),(6863,Alpha,476,SEC_800),(6831,Beta,476,SEC_800),(6863,Beta,476,SEC_800),(6856,Beta,476,SEC_800),(6840,Alpha,476,SEC_800),(6856,Gamma,476,SEC_800),(6834,Alpha,476,SEC_800),(6852,Alpha,476,SEC_800),(6841,Alpha,476,SEC_800))""((417,3,0,1,F,SEC_800,476,T,T,0,0),(423,3,0,1,F,SEC_800,476,T,T,0,0),(183,3,0,1,F,SEC_800,476,F,T,0,0),(189,3,0,1,F,SEC_800,476,F,T,0,0),(42,3,0,1,F,SEC_800,476,F,T,0,0),(402,3,0,1,F,SEC_800,476,F,T,0,0),(477,3,0,1,F,SEC_800,476,F,T,0,0),(132,3,0,1,F,SEC_800,476,F,T,0,0),(60,3,0,1,F,SEC_800,476,F,T,0,0),(492,3,0,1,F,S

    EC_800,476,F,T,0,0),(15,3,0,1,F,SEC_800,476,F,T,0,0),(186,3,0,1,F,SEC_800,476,F,T,0,0),(471,3,0,1,F,SEC_800,476,F,T,0,0),(474,3,0,1,F,SEC_800,476,F,T,0,0),(204,3,0,1,F,SEC_800,476,F,T,0,0),(87,3,0,1,F,SEC_800,476,F,T,0,0),(45,3,0,1,F,SEC_800,476,F,T,0,0),(282,3,0,1,F,SEC_800,476,F,T,0,0),(267,3,0,1,F,SEC_800,476,F,T,0,0),(285,3,0,1,F,SEC_800,476,F,T,0,0),(504,3,0,1,F,SEC_800,476,F,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1,F,SEC_800,476,F,F,0,0),(150,3,0,1,F,SEC_800,476,F,T,0,0),(399,3,0,1,F,SEC_800,476,F,T,0,0),(153,3,0,1,F,SEC_800,476,F,T,0,0),(39,3,0,1,F,SEC_800,476,F,T,0,0),(48,3,0,1,F,SEC_800,476,F,T,0,0),(12,3,0,1,F,SEC_800,476,F,T,0,0))" 371350 -1153888 160 1 6836 SEC_800BetaMC800RBS56836 1 Gamma 476 60 4151 standard 423"((6836,Alpha,476,SEC_800),(6836,Beta,476,SEC_800),(6839,Gamma,476,SEC_800),(6840,Beta,476,SEC_800),(6848,Beta,476,SEC_800),(6842,Gamma,476,SEC_800),(6834,Gamma

    ,476,SEC_800),(6871,Beta,476,SEC_800),(6847,Beta,476,SEC_800),(6833,Gamma,476,SEC_800),(6871,Alpha,476,SEC_800),(6840,Alpha,476,SEC_800),(6863,Alpha,476,SEC_800),(6839,Alpha,476,SEC_800),(6833,Beta,476,SEC_800),(6840,Gamma,476,SEC_800),(6841,Beta,476,SEC_800),(6852,Alpha,476,SEC_800),(6852,Beta,476,SEC_800),(6843,Beta,476,SEC_800),(6848,Alpha,476,SEC_800),(6846,Beta,476,SEC_800),(6839,Beta,476,SEC_800),(6842,Beta,476,SEC_800),(6838,Beta,476,SEC_800),(6845,Beta,476,SEC_800),(6863,Beta,476,SEC_800),(6856,Alpha,476,SEC_800),(6856,Beta,476,SEC_800),(6858,Alpha,476,SEC_800))" "((417,3,0,1,F,SEC_800,476,T,T,0,0),(420,3,0,1,F,SEC_800,476,T,T,0,0),(189,3,0,1,F,SEC_800,476,F,T,0,0),(402,3,0,1,F,SEC_800,476,F,T,0,0),(87,3,0,1,F,SEC_800,476,F,T,0,0),(477,3,0,1,F,SEC_800,476,F,T,0,0),(45,3,0,1,F,SEC_800,476,F,T,0,0),(204,3,0,1,F,SEC_800,476,F,T,0,0),(312,3,0,1,F,SEC_800,476,F,T,0,0),(63,3,0,1,F,SEC_800,476,F,T,0,0),(201,3,0,1,F,SEC_800,476,F,T,0,0),(399,3,0,1,F,SEC_800,476,F,T,0,0),(282,3,0,1,F,SEC_800,476,F,T,0,0),(183,3,0,1,F,SE

    C_800,476,F,T,0,0),(60,3,0,1,F,SEC_800,476,F,T,0,0),(405,3,0,1,F,SEC_800,476,F,T,0,0),(15,3,0,1,F,SEC_800,476,F,T,0,0),(48,3,0,1,F,SEC_800,476,F,T,0,0),(51,3,0,1,F,SEC_800,476,F,T,0,0),(483,3,0,1,F,SEC_800,476,F,T,0,0),(504,3,0,1,F,SEC_800,476,F,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1,F,SEC_800,476,F,F,0,0),(84,3,0,1,F,SEC_800,476,F,T,0,0),(330,3,0,1,F,SEC_800,476,F,T,0,0),(186,3,0,1,F,SEC_800,476,F,T,0,0),(474,3,0,1,F,SEC_800,476,F,T,0,0),(492,3,0,1,F,SEC_800,476,F,T,0,0),(132,3,0,1,F,SEC_800,476,F,T,0,0),(285,3,0,1,F,SEC_800,476,F,T,0,0))"371283 -1154112 240 1 6836 SEC_800 GammaMC800RBS56837_NOA 1 Alpha 476 60 4151 ec 174"((6833,Beta,476,SEC_800),(6833,Gamma,476,SEC_800),(6834,Alpha,476,SEC_800),(683

  • 7/25/2019 Final NL Checker 6 Output Miami11

    12/724

    4,Beta,476,SEC_800),(6834,Gamma,476,SEC_800),(6840,Alpha,476,SEC_800),(6840,Beta,476,SEC_800))" "((60,3,0,1,F,SEC_800,476,T,T,0,0),(63,3,0,1,F,SEC_800,476,T,T,0,0),(39,3,0,1,F,SEC_800,476,T,T,0,0),(42,3,0,1,F,SEC_800,476,T,T,0,0),(45,3,0,1,F,SEC_800,476,T,T,0,0),(399,3,0,1,F,SEC_800,476,T,T,0,0),(402,3,0,1,F,SEC_800,476,T,T,0,0),(504,3,0,1,F,SEC_800,476,F,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1,F,SEC_800,476,F,F,0,0))" 371456 -1153924 0 16837 SEC_800 AlphaMC800RBS56838 1 Alpha 476 60 4151 standard 489"((6838,Gamma,476,SEC_800),(6838,Beta,476,SEC_800),(6835,Beta,476,SEC_800),(6766,Alpha,476,SEC_800),(6841,Alpha,476,SEC_800),(6848,Alpha,476,SEC_800),(6841,Beta,476,SEC_800),(6835,Alpha,476,SEC_800),(6831,Gamma,476,SEC_800),(6843,Alpha,476,SEC_800),(6764,Beta,476,SEC_800),(6745,Beta,476,SEC_800),(6753,Beta,476,SEC_800),(6721,Gamma,476,SEC_800),(6846,Alpha,476,SEC_800),(6833,Gamma,476,SEC_800),(6721,Beta,476,SEC_800),(6831,Alpha,476,SEC_800),(6852,Alpha,476,SEC_800),(6843,Beta,476,SEC_800),(6845,Beta,476,SEC_800),(6780,Beta,476,SEC_800),(6857,Beta,476,SEC_800),(6740,Beta,476,SEC_800),(6833,Alpha,476,SEC_800),(6740,Gamma,476,SEC_800),(6850,Alpha,476,SEC_800),(6790,Beta,476,SEC_800),(6739,Beta,476,SEC_800),(6835,Gamma,476,SEC_800))" "((495,3,0,1,F,SEC_800,476,T,T,0,0),(492,3,0,1,F,SEC_800,476,T,T,0,0),(24,3,0,1,F,SEC_800,476,T,T,0,0),(75,3,3,1,F,SEC_800,476,F,F,0,0),(12,3,0,1,F,SEC_800,476,T,T,0,0),(84,3,0,1,F,SEC_800,476,F,T,0,0),(15,3,0,1,F,SEC_800,476,T,T,0,0),(21,3,0,1,F,SEC_800,476,T,T,0,0),(270,3,0,1,F,SEC_800,476,F,T,0,0),(480,3,0,1,F,SEC_800,476,T,T,0,0),(249,3,1,1,F,SEC_800,476,F,F,0,0),(366,3,1,1,F,SEC_800,476,F,F,0,0),(393,3,1,1,F,SEC_800,476,F,F,0,0),(108,3,1,1,F,SEC_800,476,F,F,0,0),(327,3,0,1,F,SEC_800,476,T,T,0,0),(63,3,0,1,F,SEC_800,476,F,T,0,

    0),(105,3,1,1,F,SEC_800,476,F,F,0,0),(264,3,0,1,F,SEC_800,476,F,T,0,0),(48,3,0,1,F,SEC_800,476,F,T,0,0),(504,3,0,1,F,SEC_800,476,F,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1,F,SEC_800,476,F,F,0,0),(483,3,0,1,F,SEC_800,476,T,T,0,0),(132,3,0,1,F,SEC_800,476,T,T,0,0),(258,3,1,1,F,SEC_800,476,F,F,0,0),(96,3,0,1,F,SEC_800,476,F,T,0,0),(69,3,1,1,F,SEC_800,476,F,F,0,0),(57,3,0,1,F,SEC_800,476,F,T,0,0),(72,3,1,1,F,SEC_800,476,F,F,0,0),(78,3,3,1,F,SEC_800,476,F,F,0,0))"372350 -1154533 60 1 6838 SEC_800 AlphaMC800RBS56838 1 Beta 476 60 4151 standard 492"((6838,Gamma,476,SEC_800),(6838,Alpha,476,SEC_800),(6835,Beta,476,SEC_800),(6841,Beta,476,SEC_800),(6843,Alpha,476,SEC_800),(6833,Gamma,476,SEC_800),(6841,Alpha,476,SEC_800),(6848,Alpha,476,SEC_800),(6766,Alpha,476,SEC_800),(6843,Beta,476,SEC_800),(6831,Gamma,476,SEC_800),(6753,Beta,476,SEC_800),(6834,Gamma,476,SEC_800),(6848,Beta,476,SEC_800),(6847,Beta,476,SEC_800),(6833,Beta,476,SEC_800),(6847

    ,Alpha,476,SEC_800),(6836,Beta,476,SEC_800),(6764,Beta,476,SEC_800),(6845,Beta,476,SEC_800),(6840,Alpha,476,SEC_800),(6852,Alpha,476,SEC_800),(6841,Gamma,476,SEC_800),(6843,Gamma,476,SEC_800),(6846,Beta,476,SEC_800),(6840,Gamma,476,SEC_800),(6721,Gamma,476,SEC_800),(6745,Beta,476,SEC_800),(6790,Beta,476,SEC_800),(6857,Beta,476,SEC_800))" "((495,3,0,1,F,SEC_800,476,T,T,0,0),(489,3,0,1,F,SEC_800,476,T,T,0,0),(24,3,0,1,F,SEC_800,476,T,T,0,0),(15,3,0,1,F,SEC_800,476,T,T,0,0),(480,3,0,1,F,SEC_800,476,T,T,0,0),(63,3,0,1,F,SEC_800,476,F,T,0,0),(12,3,0,1,F,SEC_800,476,T,T,0,0),(84,3,0,1,F,SEC_800,476,F,T,0,0),(75,3,3,1,F,SEC_800,476,F,F,0,0),(483,3,0,1,F,SEC_800,476,T,T,0,0),(270,3,0,1,F,SEC_800,476,F,T,0,0),(393,3,1,1,F,SEC_800,476,F,F,0,0),(45,3,0,1,F,SEC_800,476,F,T,0,0),(87,3,0,1,F,SEC_800,476,F,T,0,0),(312,3,0,1,F,SEC_800,476,F,T,0,0),(60,3,0,1,F,SEC_800,476,F,T,0,0),(309,3,0,1,F,SEC_800,476,F,T,0,0),(420,3,0,1,F,SEC_800,476,F,T,0,0),(249,3,1,1,F,SEC_800,476,F,F,0,0),(504,3,0,1,F,SEC_800,476,F,F,0,0),(507,3,0,1,F,SEC_800,47

    6,F,F,0,0),(510,3,0,1,F,SEC_800,476,F,F,0,0),(132,3,0,1,F,SEC_800,476,T,T,0,0),(399,3,0,1,F,SEC_800,476,F,T,0,0),(48,3,0,1,F,SEC_800,476,F,T,0,0),(18,3,0,1,F,SEC_800,476,T,T,0,0),(486,3,0,1,F,SEC_800,476,T,T,0,0),(330,3,0,1,F,SEC_800,476,T,T,0,0),(405,3,0,1,F,SEC_800,476,F,T,0,0),(78,3,3,1,F,SEC_800,476,F,F,0,0))"372184 -1154635 170 1 6838 SEC_800 BetaMC800RBS56838 1 Gamma 476 60 4151 standard 495"((6838,Beta,476,SEC_800),(6838,Alpha,476,SEC_800),(6766,Alpha,476,SEC_800),(6835,Gamma,476,SEC_800),(6766,Beta,476,SEC_800),(6841,Alpha,476,SEC_800),(6843,Alpha,476,SEC_800),(6835,Beta,476,SEC_800),(6845,Alpha,476,SEC_800),(6841,Gamma,476,SEC_800),(6845,Beta,476,SEC_800),(6846,Alpha,476,SEC_800),(6753,Beta,476,SEC_800

  • 7/25/2019 Final NL Checker 6 Output Miami11

    13/724

    ),(6764,Beta,476,SEC_800),(6849,Beta,476,SEC_800),(6780,Beta,476,SEC_800),(6764,Gamma,476,SEC_800),(6781,Beta,476,SEC_800),(6841,Beta,476,SEC_800),(6769,Beta,476,SEC_800),(6790,Beta,476,SEC_800),(6740,Gamma,476,SEC_800),(6861,Beta,476,SEC_800),(6855,Beta,476,SEC_800),(6847,Alpha,476,SEC_800),(6766,Gamma,476,SEC_800),(6835,Alpha,476,SEC_800),(6831,Beta,476,SEC_800),(6831,Alpha,476,SEC_800))""((492,3,0,1,F,SEC_800,476,T,T,0,0),(489,3,0,1,F,SEC_800,476,T,T,0,0),(75,3,1,1,F,SEC_800,476,F,F,0,0),(27,3,0,1,F,SEC_800,476,T,T,0,0),(78,3,3,1,F,SEC_800,476,F,F,0,0),(12,3,0,1,F,SEC_800,476,T,T,0,0),(480,3,0,1,F,SEC_800,476,T,T,0,0),(24,3,0,1,F,SEC_800,476,T,T,0,0),(129,3,0,1,F,SEC_800,476,T,T,0,0),(18,3,0,1,F,SEC_800,476,T,T,0,0),(132,3,0,1,F,SEC_800,476,T,T,0,0),(327,3,0,1,F,SEC_800,476,T,T,0,0),(393,3,1,1,F,SEC_800,476,F,F,0,0),(249,3,1,1,F,SEC_800,476,F,F,0,0),(204,3,0,1,F,SEC_800,476,T,T,0,0),(258,3,1,1,F,SEC_800,476,F,F,0,0),(252,3,1,1,F,SEC_800,476,F,F,0,0),(294,3,1,1,F,SEC_800,476,F,F,0,0),(15,3,0,1,F,SEC_800,476,T,T,0,0),(504,3,0,1,F,SEC_800,476,F,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1,F,SEC_800,476,F,F,0,0),(186,3,1,1,F,SEC_800,476,F,F,0,0),(339,3,1,1,F,SEC_800,476,F,F,0,0),(72,3,1,1,F,SEC_800,476,F,F,0,0),(321,3,0,1,F,SEC_800,476,T,T,0,0),(384,3,0,1,F,SEC_800,476,T,T,0,0),(309,3,0,1,F,SEC_800,476,F,T,0,0),(81,3,3,1,F,SEC_800,476,F,F,0,0),(21,3,0,1,F,SEC_800,476,T,T,0,0))" 372325 -1154773290 1 6838 SEC_800 GammaMC800RBS56839 1 Alpha 476 60 4151 ec 183 "((6839,Beta,476,SEC_800),(6839,Gamma,476,SEC_800),(6836,Beta,476,SEC_800),(6836,Gamma,476,SEC_800),(6842,Alpha,476,SEC_800),(6833,Beta,476,SEC_800),(6848,Beta,476,SEC_800),(6863,Alpha,476,SEC_800),(6871,Beta,476,SEC_800),(6834,Beta,476,SEC_800),(6843,Beta,476,SEC_800),(6842,Gamma,476,SEC_800),(6841,Beta,476,SEC_800),(6840,Bet

    a,476,SEC_800),(6856,Beta,476,SEC_800),(6836,Alpha,476,SEC_800),(6848,Alpha,476,SEC_800),(6831,Beta,476,SEC_800),(6852,Beta,476,SEC_800),(6721,Beta,476,SEC_800),(6863,Beta,476,SEC_800),(6842,Beta,476,SEC_800),(6834,Alpha,476,SEC_800),(6840,Alpha,476,SEC_800),(6833,Alpha,476,SEC_800),(6856,Alpha,476,SEC_800),(6840,Gamma,476,SEC_800),(6832,Gamma,476,SEC_800))" "((186,3,0,1,F,SEC_800,476,T,T,0,0),(189,3,0,1,F,SEC_800,476,T,T,0,0),(420,3,0,1,F,SEC_800,476,F,T,0,0),(423,3,0,1,F,SEC_800,476,F,T,0,0),(471,3,0,1,F,SEC_800,476,T,T,0,0),(60,3,0,1,F,SEC_800,476,T,T,0,0),(87,3,0,1,F,SEC_800,476,F,T,0,0),(282,3,0,1,F,SEC_800,476,F,T,0,0),(204,3,0,1,F,SEC_800,476,F,T,0,0),(42,3,0,1,F,SEC_800,476,T,T,0,0),(483,3,0,1,F,SEC_800,476,F,T,0,0),(477,3,0,1,F,SEC_800,476,T,T,0,0),(15,3,0,1,F,SEC_800,476,F,T,0,0),(402,3,0,1,F,SEC_800,476,T,T,0,0),(150,3,0,1,F,SEC_800,476,F,T,0,0),(417,3,0,1,F,SEC_800,476,F,T,0,0),(84,3,0,1,F,SEC_800,476,F,T,0,0),(267,3,0,1,F,SEC_800,476,T,T,0,0),(51,3,0,1,F,SEC_800,476,F,T,0,0),(105,3,1,1,F,SEC_800,476,F,F,0

    ,0),(504,3,0,1,F,SEC_800,476,F,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1,F,SEC_800,476,F,F,0,0),(285,3,0,1,F,SEC_800,476,F,T,0,0),(474,3,0,1,F,SEC_800,476,T,T,0,0),(39,3,0,1,F,SEC_800,476,T,T,0,0),(399,3,0,1,F,SEC_800,476,T,T,0,0),(57,3,0,1,F,SEC_800,476,T,T,0,0),(147,3,0,1,F,SEC_800,476,F,T,0,0),(405,3,0,1,F,SEC_800,476,T,T,0,0))" 371308 -1153846 40 1 6839 SEC_800AlphaMC800RBS56839 1 Beta 476 60 4151 ec 186 "((6839,Alpha,476,SEC_800),(6839,Gamma,476,SEC_800),(6842,Alpha,476,SEC_800),(6842,Gamma,476,SEC_800),(6836,Beta,476,SEC_800),(6842,Beta,476,SEC_800),(6840,Beta,476,SEC_800),(6836,Gamma,476,SEC_800),(6863,Alpha,476,SEC_800),(6834,Beta,476,SEC_800),(6871,Beta,476,SEC_800),(6848,Beta,476,SEC_800),(6833,Beta,476,SEC_800),(6856,Beta,476,SEC_800),(6852,Beta,476,SEC_800),(6863,Beta,476,SEC_800),(6916,Beta,476,SEC_800),(6949,Alpha,476,SEC_800),(6903,Beta,476,SEC_800),(6923,Beta,476,SEC_800)

    ,(6882,Alpha,476,SEC_800),(6856,Gamma,476,SEC_800),(6851,Beta,476,SEC_800),(6875,Beta,476,SEC_800),(6848,Gamma,476,SEC_800),(6834,Alpha,476,SEC_800))" "((183,3,0,1,F,SEC_800,476,T,T,0,0),(189,3,0,1,F,SEC_800,476,T,T,0,0),(471,3,0,1,F,SEC_800,476,T,T,0,0),(477,3,0,1,F,SEC_800,476,T,T,0,0),(420,3,0,1,F,SEC_800,476,F,T,0,0),(474,3,0,1,F,SEC_800,476,T,T,0,0),(402,3,0,1,F,SEC_800,476,T,T,0,0),(423,3,0,1,F,SEC_800,476,F,T,0,0),(282,3,0,1,F,SEC_800,476,F,T,0,0),(42,3,0,1,F,SEC_800,476,T,T,0,0),(204,3,0,1,F,SEC_800,476,F,T,0,0),(87,3,0,1,F,SEC_800,476,F,T,0,0),(60,3,0,1,F,SEC_800,476,T,T,0,0),(150,3,0,1,F,SEC_800,476,F,T,0,0),(51,3,0,1,F,SEC_800,476,F,T,0,0),(285,3,0,1,F,SEC_800,476,F,T,0,0),(483,3,0,1,F,SEC_800,476,F,T,0,0),(174,3,0,1,F,SEC_800,476,F,T,0,0),(375,3,0,1,F,SEC_800,476,F,T,0,0),(141

  • 7/25/2019 Final NL Checker 6 Output Miami11

    14/724

    ,3,0,1,F,SEC_800,476,F,T,0,0),(504,3,0,1,F,SEC_800,476,F,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1,F,SEC_800,476,F,F,0,0),(66,3,0,1,F,SEC_800,476,F,T,0,0),(153,3,0,1,F,SEC_800,476,F,T,0,0),(456,3,0,1,F,SEC_800,476,F,T,0,0),(348,3,0,1,F,SEC_800,476,F,T,0,0),(90,3,0,1,F,SEC_800,476,F,T,0,0),(39,3,0,1,F,SEC_800,476,T,T,0,0))" 369690 -1153422 180 1 6839 SEC_800 BetaMC800RBS56839 1 Gamma 476 60 4151 ec 189 "((6839,Alpha,476,SEC_800),(6839,Beta,476,SEC_800),(6836,Gamma,476,SEC_800),(6842,Gamma,476,SEC_800),(6848,Beta,476,SEC_800),(6842,Beta,476,SEC_800),(6836,Beta,476,SEC_800),(6852,Beta,476,SEC_800),(6871,Beta,476,SEC_800),(6847,Beta,476,SEC_800),(6833,Gamma,476,SEC_800),(6842,Alpha,476,SEC_800),(6840,Beta,476,SEC_800),(6871,Alpha,476,SEC_800),(6863,Alpha,476,SEC_800),(6856,Alpha,476,SEC_800),(6843,Beta,476,SEC_800),(6852,Alpha,476,SEC_800),(6840,Gamma,476,SEC_800),(6846,Beta,476,SEC_800),(6833,Beta,476,SEC_800),(6841,Beta,476,SEC_800),(6834,Gamma,476,SEC_800),(6851,Beta,476,SEC_800),(6858,Alpha,476,SEC_800),(6858,Beta,476,SEC_800),(6852,Gamma,476,SEC_800),(6856,Gamma,476,SEC_800),(6863,Beta,476,SEC_800),(6856,Beta,476,SEC_800))" "((183,3,0,1,F,SEC_800,476,T,T,0,0),(186,3,0,1,F,SEC_800,476,T,T,0,0),(423,3,0,1,F,SEC_800,476,F,T,0,0),(477,3,0,1,F,SEC_800,476,T,T,0,0),(87,3,0,1,F,SEC_800,476,F,T,0,0),(474,3,0,1,F,SEC_800,476,T,T,0,0),(420,3,0,1,F,SEC_800,476,F,T,0,0),(51,3,0,1,F,SEC_800,476,F,T,0,0),(204,3,0,1,F,SEC_800,476,F,T,0,0),(312,3,0,1,F,SEC_800,476,F,T,0,0),(63,3,0,1,F,SEC_800,476,T,T,0,0),(471,3,0,1,F,SEC_800,476,T,T,0,0),(402,3,0,1,F,SEC_800,476,T,T,0,0),(201,3,0,1,F,SEC_800,476,F,T,0,0),(282,3,0,1,F,SEC_800,476,F,T,0,0),(147,3,0,1,F,SEC_800,476,F,T,0,0),(483,3,0,1,F,SEC_800,476,F,T,0,0),(48,3,0,1,F,SEC_800,476,F,T,0,0),(405,3,0,1,F,SEC_800,476,T,T,0,0),(330,3,0,1,F,SEC_800,476,F,T,0,0),(504,3,0,1,F,SEC_800,476,F

    ,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1,F,SEC_800,476,F,F,0,0),(60,3,0,1,F,SEC_800,476,T,T,0,0),(15,3,0,1,F,SEC_800,476,F,T,0,0),(45,3,0,1,F,SEC_800,476,T,T,0,0),(456,3,0,1,F,SEC_800,476,F,T,0,0),(156,3,0,1,F,SEC_800,476,F,T,0,0),(159,3,0,1,F,SEC_800,476,F,T,0,0),(54,3,0,1,F,SEC_800,476,F,T,0,0))" 371252-1154141 270 1 6839 SEC_800 GammaMC800RBS56840 1 Alpha 476 60 4151 ec 399 "((6840,Beta,476,SEC_800),(6840,Gamma,476,SEC_800),(6834,Gamma,476,SEC_800),(6833,Gamma,476,SEC_800),(6836,Alpha,476,SEC_800),(6841,Beta,476,SEC_800),(6833,Beta,476,SEC_800),(6836,Gamma,476,SEC_800),(6847,Beta,476,SEC_800),(6848,Alpha,476,SEC_800),(6843,Beta,476,SEC_800),(6833,Alpha,476,SEC_800),(6845,Beta,476,SEC_800),(6838,Beta,476,SEC_800),(6834,Alpha,476,SEC_800),(6846,Beta,476,SEC_800),(6857,Beta,476,SEC_800),(6831,Beta,476,SEC_800),(6852,Alpha,476,SEC_800),(6831,Gamma,476,SEC_800),(6766,Alpha,476,SEC_800),(6850,Alpha,476,SEC_800),(6859,Beta,476,SEC_800),(6

    745,Beta,476,SEC_800),(6764,Beta,476,SEC_800),(6834,Beta,476,SEC_800),(6846,Alpha,476,SEC_800),(6831,Alpha,476,SEC_800),(6740,Beta,476,SEC_800),(6721,Gamma,476,SEC_800))" "((402,3,0,1,F,SEC_800,476,T,T,0,0),(405,3,0,1,F,SEC_800,476,T,T,0,0),(45,3,0,1,F,SEC_800,476,T,T,0,0),(63,3,0,1,F,SEC_800,476,T,T,0,0),(417,3,0,1,F,SEC_800,476,F,T,0,0),(15,3,0,1,F,SEC_800,476,F,T,0,0),(60,3,0,1,F,SEC_800,476,T,T,0,0),(423,3,0,1,F,SEC_800,476,F,T,0,0),(312,3,0,1,F,SEC_800,476,F,T,0,0),(84,3,0,1,F,SEC_800,476,F,T,0,0),(483,3,0,1,F,SEC_800,476,F,T,0,0),(57,3,0,1,F,SEC_800,476,T,T,0,0),(132,3,0,1,F,SEC_800,476,F,T,0,0),(492,3,0,1,F,SEC_800,476,F,T,0,0),(39,3,0,1,F,SEC_800,476,T,T,0,0),(330,3,0,1,F,SEC_800,476,F,T,0,0),(96,3,0,1,F,SEC_800,476,F,T,0,0),(267,3,0,1,F,SEC_800,476,T,T,0,0),(48,3,0,1,F,SEC_800,476,F,T,0,0),(270,3,0,1,F,SEC_800,476,T,T,0,0),(504,3,0,1,F,SEC_800,476,F,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1,F,SEC_800,476,F,F,0,0),(75,3,1,1,F,SEC_800,476,F,F,0,0),(165,3,0,1,F,SEC_800,476,F,T,0,0),(240,3,0,1,F,SEC_800,4

    76,F,T,0,0),(366,3,1,1,F,SEC_800,476,F,F,0,0),(249,3,1,1,F,SEC_800,476,F,F,0,0),(42,3,0,1,F,SEC_800,476,T,T,0,0),(327,3,0,1,F,SEC_800,476,F,T,0,0))" 371523-1154021 20 1 6840 SEC_800 AlphaMC800RBS56840 1 Beta 476 60 4151 ec 402 "((6840,Alpha,476,SEC_800),(6840,Gamma,476,SEC_800),(6836,Gamma,476,SEC_800),(6839,Gamma,476,SEC_800),(6834,Gamma,476,SEC_800),(6842,Gamma,476,SEC_800),(6848,Beta,476,SEC_800),(6847,Beta,476,SEC_800),(6836,Alpha,476,SEC_800),(6833,Gamma,476,SEC_800),(6833,Beta,476,SEC_800),(6871,Beta,476,SEC_800),(6871,Alpha,476,SEC_800),(6838,Beta,476,SEC_800),(6845,Beta,476,SEC_800),(6863,Alpha,476,SEC_800),(6852,Alpha,476,SEC_800),(6836,Beta,476,SEC_800),(6834,Beta,476,SEC_800),(6841,Beta,476,SEC_

  • 7/25/2019 Final NL Checker 6 Output Miami11

    15/724

    800),(6842,Alpha,476,SEC_800),(6842,Beta,476,SEC_800),(6839,Beta,476,SEC_800),(6846,Beta,476,SEC_800),(6852,Beta,476,SEC_800),(6839,Alpha,476,SEC_800),(6833,Alpha,476,SEC_800),(6834,Alpha,476,SEC_800),(6832,Beta,476,SEC_800),(6837,Alpha,476,SEC_800))" "((399,3,0,1,F,SEC_800,476,T,T,0,0),(405,3,0,1,F,SEC_800,476,T,T,0,0),(423,3,0,1,F,SEC_800,476,F,T,0,0),(189,3,0,1,F,SEC_800,476,T,T,0,0),(45,3,0,1,F,SEC_800,476,T,T,0,0),(477,3,0,1,F,SEC_800,476,T,T,0,0),(87,3,0,1,F,SEC_800,476,F,T,0,0),(312,3,0,1,F,SEC_800,476,F,T,0,0),(417,3,0,1,F,SEC_800,476,F,T,0,0),(63,3,0,1,F,SEC_800,476,T,T,0,0),(60,3,0,1,F,SEC_800,476,T,T,0,0),(204,3,0,1,F,SEC_800,476,F,T,0,0),(201,3,0,1,F,SEC_800,476,F,T,0,0),(492,3,0,1,F,SEC_800,476,F,T,0,0),(132,3,0,1,F,SEC_800,476,F,T,0,0),(282,3,0,1,F,SEC_800,476,F,T,0,0),(48,3,0,1,F,SEC_800,476,F,T,0,0),(420,3,0,1,F,SEC_800,476,F,T,0,0),(42,3,0,1,F,SEC_800,476,T,T,0,0),(15,3,0,1,F,SEC_800,476,F,T,0,0),(504,3,0,1,F,SEC_800,476,F,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1,F,SEC_800,476,F,F,0,0),(471,3,0,1,F,SEC_800,476,T,T,0,0),(474,3,0,1,F,SEC_800,476,T,T,0,0),(186,3,0,1,F,SEC_800,476,T,T,0,0),(330,3,0,1,F,SEC_800,476,F,T,0,0),(51,3,0,1,F,SEC_800,476,F,T,0,0),(183,3,0,1,F,SEC_800,476,T,T,0,0),(57,3,0,1,F,SEC_800,476,T,T,0,0))" 371362-1154026 150 1 6840 SEC_800 BetaMC800RBS56840 1 Gamma 476 60 4151 ec 405 "((6840,Alpha,476,SEC_800),(6840,Beta,476,SEC_800),(6833,Gamma,476,SEC_800),(6848,Beta,476,SEC_800),(6839,Gamma,476,SEC_800),(6836,Gamma,476,SEC_800),(6847,Beta,476,SEC_800),(6834,Gamma,476,SEC_800),(6841,Beta,476,SEC_800),(6852,Alpha,476,SEC_800),(6848,Alpha,476,SEC_800),(6846,Beta,476,SEC_800),(6833,Beta,476,SEC_800),(6842,Beta,476,SEC_800),(6831,Gamma,476,SEC_800),(6852,Beta,476,SEC_800),(6843,Beta,476,SEC_800),(6845,Beta,476,SEC_800),(6838,Beta,476,SEC_800),(6854,Beta,476,SEC_800

    ),(6863,Alpha,476,SEC_800),(6856,Alpha,476,SEC_800),(6871,Beta,476,SEC_800),(6871,Alpha,476,SEC_800),(6859,Beta,476,SEC_800),(6851,Alpha,476,SEC_800),(6848,Gamma,476,SEC_800),(6847,Gamma,476,SEC_800),(6851,Beta,476,SEC_800),(6847,Alpha,476,SEC_800))" "((399,3,0,1,F,SEC_800,476,T,T,0,0),(402,3,0,1,F,SEC_800,476,T,T,0,0),(63,3,0,1,F,SEC_800,476,T,T,0,0),(87,3,0,1,F,SEC_800,476,F,T,0,0),(189,3,0,1,F,SEC_800,476,T,T,0,0),(423,3,0,1,F,SEC_800,476,F,T,0,0),(312,3,0,1,F,SEC_800,476,F,T,0,0),(45,3,0,1,F,SEC_800,476,T,T,0,0),(15,3,0,1,F,SEC_800,476,F,T,0,0),(48,3,0,1,F,SEC_800,476,F,T,0,0),(84,3,0,1,F,SEC_800,476,F,T,0,0),(330,3,0,1,F,SEC_800,476,F,T,0,0),(60,3,0,1,F,SEC_800,476,T,T,0,0),(474,3,0,1,F,SEC_800,476,T,T,0,0),(270,3,0,1,F,SEC_800,476,T,T,0,0),(51,3,0,1,F,SEC_800,476,F,T,0,0),(483,3,0,1,F,SEC_800,476,F,T,0,0),(132,3,0,1,F,SEC_800,476,F,T,0,0),(492,3,0,1,F,SEC_800,476,F,T,0,0),(213,3,0,1,F,SEC_800,476,F,T,0,0),(504,3,0,1,F,SEC_800,476,F,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1,F,SEC_800,476,F,F,0,0),(282,3,0

    ,1,F,SEC_800,476,F,T,0,0),(147,3,0,1,F,SEC_800,476,F,T,0,0),(204,3,0,1,F,SEC_800,476,F,T,0,0),(201,3,0,1,F,SEC_800,476,F,T,0,0),(240,3,0,1,F,SEC_800,476,F,T,0,0),(453,3,0,1,F,SEC_800,476,F,T,0,0),(90,3,0,1,F,SEC_800,476,F,T,0,0))" 371449-1154252 280 1 6840 SEC_800 GammaMC800RBS56841 1 Alpha 476 60 4151 standard 12"((6841,Gamma,476,SEC_800),(6841,Beta,476,SEC_800),(6766,Alpha,476,SEC_800),(6838,Gamma,476,SEC_800),(6766,Beta,476,SEC_800),(6843,Alpha,476,SEC_800),(6835,Gamma,476,SEC_800),(6845,Alpha,476,SEC_800),(6846,Alpha,476,SEC_800),(6835,Beta,476,SEC_800),(6838,Beta,476,SEC_800),(6835,Alpha,476,SEC_800),(6764,Beta,476,SEC_800),(6849,Beta,476,SEC_800),(6838,Alpha,476,SEC_800),(6753,Beta,476,SEC_800),(6780,Beta,476,SEC_800),(6845,Beta,476,SEC_800),(6831,Gamma,476,SEC_800),(6745,Beta,476,SEC_800),(6764,Gamma,476,SEC_800),(6843,Beta,476,SEC_800),(6847,Alpha,476,SEC_800),(6833,Alpha,476,SEC_800),(6764,Alpha,476,SEC_800),(6740,Gamma,476,SEC_800)

    ,(6766,Gamma,476,SEC_800),(6740,Alpha,476,SEC_800),(6831,Alpha,476,SEC_800),(6755,Beta,476,SEC_800))" "((18,3,0,1,F,SEC_800,476,T,T,0,0),(15,3,0,1,F,SEC_800,476,T,T,0,0),(75,3,3,1,F,SEC_800,476,F,F,0,0),(495,3,0,1,F,SEC_800,476,T,T,0,0),(78,3,3,1,F,SEC_800,476,F,F,0,0),(480,3,0,1,F,SEC_800,476,T,T,0,0),(27,3,0,1,F,SEC_800,476,T,T,0,0),(129,3,0,1,F,SEC_800,476,T,T,0,0),(327,3,0,1,F,SEC_800,476,T,T,0,0),(24,3,0,1,F,SEC_800,476,T,T,0,0),(492,3,0,1,F,SEC_800,476,T,T,0,0),(21,3,0,1,F,SEC_800,476,T,T,0,0),(249,3,1,1,F,SEC_800,476,F,F,0,0),(204,3,0,1,F,SEC_800,476,T,T,0,0),(489,3,0,1,F,SEC_800,476,T,T,0,0),(393,3,1,1,F,SEC_800,476,F,F,0,0),(258,3,1,1,F,SEC_800,476,F,F,0,0),(132,3,0,1,F,SEC_800,476,T,T,0,0),(270,3,0,1,F,SEC_800,476,F,T,0,0),(366,3,1,1,F,SEC_800,476,F,F,0,0),(504,3,0,1,F,SEC_800,

  • 7/25/2019 Final NL Checker 6 Output Miami11

    16/724

    476,F,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1,F,SEC_800,476,F,F,0,0),(252,3,1,1,F,SEC_800,476,F,F,0,0),(483,3,0,1,F,SEC_800,476,T,T,0,0),(309,3,0,1,F,SEC_800,476,F,T,0,0),(57,3,0,1,F,SEC_800,476,F,T,0,0),(246,3,1,1,F,SEC_800,476,F,F,0,0),(72,3,1,1,F,SEC_800,476,F,F,0,0),(81,3,1,1,F,SEC_800,476,F,F,0,0))"372223 -1154720 0 1 6841 SEC_800 AlphaMC800RBS56841 1 Beta 476 60 4151 standard 15"((6841,Gamma,476,SEC_800),(6841,Alpha,476,SEC_800),(6843,Alpha,476,SEC_800),(6848,Alpha,476,SEC_800),(6843,Beta,476,SEC_800),(6833,Gamma,476,SEC_800),(6835,Beta,476,SEC_800),(6838,Beta,476,SEC_800),(6847,Beta,476,SEC_800),(6857,Beta,476,SEC_800),(6840,Alpha,476,SEC_800),(6766,Alpha,476,SEC_800),(6852,Alpha,476,SEC_800),(6833,Alpha,476,SEC_800),(6845,Beta,476,SEC_800),(6846,Alpha,476,SEC_800),(6831,Gamma,476,SEC_800),(6838,Alpha,476,SEC_800),(6834,Gamma,476,SEC_800),(6745,Beta,476,SEC_800),(6848,Beta,476,SEC_800),(6764,Beta,476,SEC_800),(6833,Beta,476,SEC_800),(6831,Alpha,476,SEC_800),(6831,Beta,476,SEC_800),(6840,Gamma,476,SEC_800),(6834,Alpha,476,SEC_800),(6753,Beta,476,SEC_800),(6780,Beta,476,SEC_800),(6740,Beta,476,SEC_800))" "((18,3,0,1,F,SEC_800,476,T,T,0,0),(12,3,0,1,F,SEC_800,476,T,T,0,0),(480,3,0,1,F,SEC_800,476,T,T,0,0),(84,3,0,1,F,SEC_800,476,F,T,0,0),(483,3,0,1,F,SEC_800,476,T,T,0,0),(63,3,0,1,F,SEC_800,476,F,T,0,0),(24,3,0,1,F,SEC_800,476,T,T,0,0),(492,3,0,1,F,SEC_800,476,T,T,0,0),(312,3,0,1,F,SEC_800,476,F,T,0,0),(96,3,0,1,F,SEC_800,476,F,T,0,0),(399,3,0,1,F,SEC_800,476,F,T,0,0),(75,3,3,1,F,SEC_800,476,F,F,0,0),(48,3,0,1,F,SEC_800,476,F,T,0,0),(57,3,0,1,F,SEC_800,476,F,T,0,0),(132,3,0,1,F,SEC_800,476,T,T,0,0),(327,3,0,1,F,SEC_800,476,T,T,0,0),(270,3,0,1,F,SEC_800,476,F,T,0,0),(489,3,0,1,F,SEC_800,476,T,T,0,0),(45,3,0,1,F,SEC_800,476,F,T,0,0),(504,3,0,1,F,SEC_800,476,F,F,0,0),(507,3,0,1,F,SEC_800,476

    ,F,F,0,0),(510,3,0,1,F,SEC_800,476,F,F,0,0),(366,3,1,1,F,SEC_800,476,F,F,0,0),(87,3,0,1,F,SEC_800,476,F,T,0,0),(249,3,1,1,F,SEC_800,476,F,F,0,0),(60,3,0,1,F,SEC_800,476,F,T,0,0),(264,3,0,1,F,SEC_800,476,F,T,0,0),(267,3,0,1,F,SEC_800,476,F,T,0,0),(405,3,0,1,F,SEC_800,476,F,T,0,0),(78,3,3,1,F,SEC_800,476,F,F,0,0))"372052 -1154450 120 1 6841 SEC_800 BetaMC800RBS56841 1 Gamma 476 60 4151 standard 18"((6841,Beta,476,SEC_800),(6841,Alpha,476,SEC_800),(6843,Alpha,476,SEC_800),(6766,Beta,476,SEC_800),(6838,Gamma,476,SEC_800),(6845,Beta,476,SEC_800),(6766,Alpha,476,SEC_800),(6845,Alpha,476,SEC_800),(6846,Alpha,476,SEC_800),(6849,Beta,476,SEC_800),(6838,Beta,476,SEC_800),(6780,Beta,476,SEC_800),(6843,Gamma,476,SEC_800),(6764,Gamma,476,SEC_800),(6835,Gamma,476,SEC_800),(6847,Alpha,476,SEC_800),(6857,Beta,476,SEC_800),(6855,Beta,476,SEC_800),(6833,Gamma,476,SEC_800),(6846,Gamma,476,SEC_800),(6857,Alpha,476,SEC_800),(6845,Gamma,476,SEC_800),(6855,Alpha,476,

    SEC_800),(6859,Alpha,476,SEC_800),(6853,Beta,476,SEC_800),(6766,Gamma,476,SEC_800),(6832,Beta,476,SEC_800),(6862,Beta,476,SEC_800),(6764,Alpha,476,SEC_800),(6780,Alpha,476,SEC_800))" "((15,3,0,1,F,SEC_800,476,T,T,0,0),(12,3,0,1,F,SEC_800,476,T,T,0,0),(480,3,0,1,F,SEC_800,476,T,T,0,0),(78,3,3,1,F,SEC_800,476,F,F,0,0),(495,3,0,1,F,SEC_800,476,T,T,0,0),(132,3,0,1,F,SEC_800,476,T,T,0,0),(75,3,3,1,F,SEC_800,476,F,F,0,0),(129,3,0,1,F,SEC_800,476,T,T,0,0),(327,3,0,1,F,SEC_800,476,T,T,0,0),(204,3,0,1,F,SEC_800,476,T,T,0,0),(492,3,0,1,F,SEC_800,476,T,T,0,0),(258,3,1,1,F,SEC_800,476,F,F,0,0),(486,3,0,1,F,SEC_800,476,T,T,0,0),(252,3,1,1,F,SEC_800,476,F,F,0,0),(27,3,0,1,F,SEC_800,476,T,T,0,0),(309,3,0,1,F,SEC_800,476,F,T,0,0),(96,3,0,1,F,SEC_800,476,F,T,0,0),(384,3,0,1,F,SEC_800,476,T,T,0,0),(63,3,0,1,F,SEC_800,476,F,T,0,0),(333,3,0,1,F,SEC_800,476,T,T,0,0),(504,3,0,1,F,SEC_800,476,F,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1,F,SEC_800,476,F,F,0,0),(93,3,0,1,F,SEC_800,476,F,T,0,0),(135,3,0,1,F,SEC_800,476,T,T,0,0),(381,3,0,1,F

    ,SEC_800,476,T,T,0,0),(237,3,0,1,F,SEC_800,476,F,T,0,0),(285,3,0,1,F,SEC_800,476,T,T,0,0),(81,3,1,1,F,SEC_800,476,F,F,0,0),(6,3,0,1,F,SEC_800,476,F,T,0,0))"372140 -1154816 240 1 6841 SEC_800 GammaMC800RBS56842 1 Alpha 476 60 4151 standard 471"((6842,Gamma,476,SEC_800),(6842,Beta,476,SEC_800),(6839,Beta,476,SEC_800),(6839,Gamma,476,SEC_800),(6840,Beta,476,SEC_800),(6863,Alpha,476,SEC_800),(6836,Beta,476,SEC_800),(6848,Beta,476,SEC_800),(6871,Beta,476,SEC_800),(6839,Alpha,476,SEC_800),(6833,Beta,476,SEC_800),(6856,Beta,476,SEC_800),(6847,Beta,476,SEC_800),(6836,Gamma,476,SEC_800),(6834,Beta,476,SEC_800),(6871,Alpha,476,SEC_800),(6841,Beta,476,SEC_800),(6852,Beta,476,SEC_800),(6836,Alpha,476,SEC_800),(6840,Gamma,476

  • 7/25/2019 Final NL Checker 6 Output Miami11

    17/724

    ,SEC_800),(6895,Alpha,476,SEC_800))" "((477,3,0,1,F,SEC_800,476,T,T,0,0),(474,3,0,1,F,SEC_800,476,T,T,0,0),(186,3,0,1,F,SEC_800,476,T,T,0,0),(189,3,0,1,F,SEC_800,476,T,T,0,0),(402,3,0,1,F,SEC_800,476,T,T,0,0),(282,3,0,1,F,SEC_800,476,F,T,0,0),(420,3,0,1,F,SEC_800,476,F,T,0,0),(87,3,0,1,F,SEC_800,476,F,T,0,0),(204,3,0,1,F,SEC_800,476,F,T,0,0),(183,3,0,1,F,SEC_800,476,T,T,0,0),(60,3,0,1,F,SEC_800,476,T,T,0,0),(150,3,0,1,F,SEC_800,476,F,T,0,0),(312,3,0,1,F,SEC_800,476,F,T,0,0),(423,3,0,1,F,SEC_800,476,F,T,0,0),(42,3,0,1,F,SEC_800,476,T,T,0,0),(201,3,0,1,F,SEC_800,476,F,T,0,0),(15,3,0,1,F,SEC_800,476,F,T,0,0),(51,3,0,1,F,SEC_800,476,F,T,0,0),(417,3,0,1,F,SEC_800,476,F,T,0,0),(405,3,0,1,F,SEC_800,476,T,T,0,0),(504,3,0,1,F,SEC_800,476,F,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1,F,SEC_800,476,F,F,0,0),(219,3,0,1,F,SEC_800,476,F,T,0,0))" 371944 -115235490 1 6842 SEC_800 AlphaMC800RBS56842 1 Beta 476 60 4151 standard 474"((6842,Gamma,476,SEC_800),(6842,Alpha,476,SEC_800),(6839,Gamma,476,SEC_800),(6848,Beta,476,SEC_800),(6839,Beta,476,SEC_800),(6871,Beta,476,SEC_800),(6852,Beta,476,SEC_800),(6871,Alpha,476,SEC_800),(6863,Alpha,476,SEC_800),(6836,Gamma,476,SEC_800),(6847,Beta,476,SEC_800),(6840,Beta,476,SEC_800),(6833,Gamma,476,SEC_800),(6836,Beta,476,SEC_800),(6841,Beta,476,SEC_800),(6843,Beta,476,SEC_800),(6851,Beta,476,SEC_800),(6895,Alpha,476,SEC_800),(6840,Gamma,476,SEC_800),(6833,Beta,476,SEC_800),(6856,Alpha,476,SEC_800),(6856,Beta,476,SEC_800),(6858,Alpha,476,SEC_800),(6865,Beta,476,SEC_800),(6856,Gamma,476,SEC_800),(6858,Beta,476,SEC_800),(6832,Beta,476,SEC_800),(6832,Alpha,476,SEC_800),(6852,Gamma,476,SEC_800),(6839,Alpha,476,SEC_800))" "((477,3,0,1,F,SEC_800,476,T,T,0,0),(471,3,0,1,F,SEC_800,476,T,T,0,0),(189,3,0,1,F,SEC_800,476,T,T,0,0),(87,3,0,1,F,SEC_800,476,F,T,0,0)

    ,(186,3,0,1,F,SEC_800,476,T,T,0,0),(204,3,0,1,F,SEC_800,476,F,T,0,0),(51,3,0,1,F,SEC_800,476,F,T,0,0),(201,3,0,1,F,SEC_800,476,F,T,0,0),(282,3,0,1,F,SEC_800,476,F,T,0,0),(423,3,0,1,F,SEC_800,476,F,T,0,0),(312,3,0,1,F,SEC_800,476,F,T,0,0),(402,3,0,1,F,SEC_800,476,T,T,0,0),(63,3,0,1,F,SEC_800,476,T,T,0,0),(420,3,0,1,F,SEC_800,476,F,T,0,0),(15,3,0,1,F,SEC_800,476,F,T,0,0),(483,3,0,1,F,SEC_800,476,F,T,0,0),(456,3,0,1,F,SEC_800,476,F,T,0,0),(219,3,0,1,F,SEC_800,476,F,T,0,0),(405,3,0,1,F,SEC_800,476,T,T,0,0),(60,3,0,1,F,SEC_800,476,T,T,0,0),(504,3,0,1,F,SEC_800,476,F,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1,F,SEC_800,476,F,F,0,0),(147,3,0,1,F,SEC_800,476,F,T,0,0),(150,3,0,1,F,SEC_800,476,F,T,0,0),(156,3,0,1,F,SEC_800,476,F,T,0,0),(411,3,0,1,F,SEC_800,476,F,T,0,0),(153,3,0,1,F,SEC_800,476,F,T,0,0),(159,3,0,1,F,SEC_800,476,F,T,0,0),(6,3,0,1,F,SEC_800,476,T,T,0,0))"371078 -1153948 260 1 6842 SEC_800 BetaMC800RBS56842 1 Gamma 476 60 4151 standard 477

    "((6842,Alpha,476,SEC_800),(6842,Beta,476,SEC_800),(6839,Gamma,476,SEC_800),(6839,Beta,476,SEC_800),(6836,Gamma,476,SEC_800),(6848,Beta,476,SEC_800),(6871,Beta,476,SEC_800),(6847,Beta,476,SEC_800),(6871,Alpha,476,SEC_800),(6863,Alpha,476,SEC_800),(6841,Beta,476,SEC_800),(6840,Beta,476,SEC_800),(6836,Beta,476,SEC_800),(6846,Beta,476,SEC_800),(6843,Beta,476,SEC_800),(6833,Gamma,476,SEC_800),(6833,Beta,476,SEC_800),(6859,Beta,476,SEC_800),(6836,Alpha,476,SEC_800),(6834,Beta,476,SEC_800),(6895,Alpha,476,SEC_800),(6839,Alpha,476,SEC_800),(6840,Gamma,476,SEC_800))" "((471,3,0,1,F,SEC_800,476,T,T,0,0),(474,3,0,1,F,SEC_800,476,T,T,0,0),(189,3,0,1,F,SEC_800,476,T,T,0,0),(186,3,0,1,F,SEC_800,476,T,T,0,0),(423,3,0,1,F,SEC_800,476,F,T,0,0),(87,3,0,1,F,SEC_800,476,F,T,0,0),(204,3,0,1,F,SEC_800,476,F,T,0,0),(312,3,0,1,F,SEC_800,476,F,T,0,0),(201,3,0,1,F,SEC_800,476,F,T,0,0),(282,3,0,1,F,SEC_800,476,F,T,0,0),(15,3,0,1,F,SEC_800,476,F,T,0,0),(402,3,0,1,F,SEC_800,476,T,T,0,0),(420,3,0,1,F,SEC_800,476,F,T,0,0),(330,3,0,1,F,SEC_800,476,F,T,0

    ,0),(483,3,0,1,F,SEC_800,476,F,T,0,0),(63,3,0,1,F,SEC_800,476,T,T,0,0),(60,3,0,1,F,SEC_800,476,T,T,0,0),(240,3,0,1,F,SEC_800,476,F,T,0,0),(417,3,0,1,F,SEC_800,476,F,T,0,0),(42,3,0,1,F,SEC_800,476,T,T,0,0),(504,3,0,1,F,SEC_800,476,F,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1,F,SEC_800,476,F,F,0,0),(219,3,0,1,F,SEC_800,476,F,T,0,0),(183,3,0,1,F,SEC_800,476,T,T,0,0),(405,3,0,1,F,SEC_800,476,T,T,0,0))" 371214 -1154011 340 1 6842 SEC_800 GammaMC800RBS56843 1 Alpha 476 60 4151 standard 480"((6843,Beta,476,SEC_800),(6843,Gamma,476,SEC_800),(6846,Alpha,476,SEC_800),(6841,Beta,476,SEC_800),(6845,Beta,476,SEC_800),(6841,Gamma,476,SEC_800),(6847,Alpha,476,SEC_800),(6838,Beta,476,SEC_800),(6833,Gamma,476,SEC_800),(6848,Alpha,476,S

  • 7/25/2019 Final NL Checker 6 Output Miami11

    18/724

    EC_800),(6766,Beta,476,SEC_800),(6766,Alpha,476,SEC_800),(6838,Gamma,476,SEC_800),(6850,Gamma,476,SEC_800),(6854,Alpha,476,SEC_800),(6845,Alpha,476,SEC_800),(6850,Alpha,476,SEC_800),(6838,Alpha,476,SEC_800),(6835,Beta,476,SEC_800),(6859,Alpha,476,SEC_800),(6841,Alpha,476,SEC_800),(6851,Alpha,476,SEC_800),(6835,Alpha,476,SEC_800),(6835,Gamma,476,SEC_800),(6766,Gamma,476,SEC_800))" "((483,3,0,1,F,SEC_800,476,T,T,0,0),(486,3,0,1,F,SEC_800,476,T,T,0,0),(327,3,0,1,F,SEC_800,476,T,T,0,0),(15,3,0,1,F,SEC_800,476,T,T,0,0),(132,3,0,1,F,SEC_800,476,T,T,0,0),(18,3,0,1,F,SEC_800,476,T,T,0,0),(309,3,0,1,F,SEC_800,476,F,T,0,0),(492,3,0,1,F,SEC_800,476,T,T,0,0),(63,3,0,1,F,SEC_800,476,F,T,0,0),(84,3,0,1,F,SEC_800,476,F,T,0,0),(78,3,1,1,F,SEC_800,476,F,F,0,0),(75,3,1,1,F,SEC_800,476,F,F,0,0),(495,3,0,1,F,SEC_800,476,T,T,0,0),(171,3,0,1,F,SEC_800,476,F,T,0,0),(210,3,0,1,F,SEC_800,476,F,T,0,0),(129,3,0,1,F,SEC_800,476,T,T,0,0),(165,3,0,1,F,SEC_800,476,F,T,0,0),(489,3,0,1,F,SEC_800,476,T,T,0,0),(24,3,0,1,F,SEC_800,476,T,T,0,0),(237,3,0,1,F,SEC_800,476,F,T,0,0),(504,3,0,1,F,SEC_800,476,F,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1,F,SEC_800,476,F,F,0,0),(12,3,0,1,F,SEC_800,476,T,T,0,0),(453,3,0,1,F,SEC_800,476,F,T,0,0),(21,3,0,1,F,SEC_800,476,T,T,0,0),(27,3,0,1,F,SEC_800,476,T,T,0,0),(81,3,1,1,F,SEC_800,476,F,F,0,0))" 372018 -11547490 1 6843 SEC_800 AlphaMC800RBS56843 1 Beta 476 60 4151 standard 483"((6843,Alpha,476,SEC_800),(6843,Gamma,476,SEC_800),(6841,Beta,476,SEC_800),(6847,Alpha,476,SEC_800),(6846,Alpha,476,SEC_800),(6846,Beta,476,SEC_800),(6845,Beta,476,SEC_800),(6848,Alpha,476,SEC_800),(6833,Gamma,476,SEC_800),(6838,Beta,476,SEC_800),(6857,Beta,476,SEC_800),(6850,Alpha,476,SEC_800),(6847,Beta,476,SEC_800),(6766,Alpha,476,SEC_800),(6831,Gamma,476,SEC_800),(6840,Alpha,476,SEC_800),(683

    3,Alpha,476,SEC_800),(6834,Gamma,476,SEC_800),(6839,Gamma,476,SEC_800),(6848,Beta,476,SEC_800),(6831,Beta,476,SEC_800),(6840,Gamma,476,SEC_800),(6834,Beta,476,SEC_800),(6753,Beta,476,SEC_800),(6764,Beta,476,SEC_800),(6780,Beta,476,SEC_800),(6859,Beta,476,SEC_800),(6833,Beta,476,SEC_800),(6839,Alpha,476,SEC_800),(6834,Alpha,476,SEC_800))" "((480,3,0,1,F,SEC_800,476,T,T,0,0),(486,3,0,1,F,SEC_800,476,T,T,0,0),(15,3,0,1,F,SEC_800,476,T,T,0,0),(309,3,0,1,F,SEC_800,476,F,T,0,0),(327,3,0,1,F,SEC_800,476,T,T,0,0),(330,3,0,1,F,SEC_800,476,T,T,0,0),(132,3,0,1,F,SEC_800,476,T,T,0,0),(84,3,0,1,F,SEC_800,476,F,T,0,0),(63,3,0,1,F,SEC_800,476,F,T,0,0),(492,3,0,1,F,SEC_800,476,T,T,0,0),(96,3,0,1,F,SEC_800,476,F,T,0,0),(165,3,0,1,F,SEC_800,476,F,T,0,0),(312,3,0,1,F,SEC_800,476,F,T,0,0),(75,3,1,1,F,SEC_800,476,F,F,0,0),(270,3,0,1,F,SEC_800,476,F,T,0,0),(399,3,0,1,F,SEC_800,476,F,T,0,0),(57,3,0,1,F,SEC_800,476,F,T,0,0),(45,3,0,1,F,SEC_800,476,F,T,0,0),(189,3,0,1,F,SEC_800,476,F,T,0,0),(87,3,0,1,F,SEC_800,476,F,T,0,0),(504,3,0,1,F,SEC_800,4

    76,F,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1,F,SEC_800,476,F,F,0,0),(267,3,0,1,F,SEC_800,476,F,T,0,0),(405,3,0,1,F,SEC_800,476,F,T,0,0),(42,3,0,1,F,SEC_800,476,F,T,0,0),(393,3,1,1,F,SEC_800,476,F,F,0,0),(249,3,1,1,F,SEC_800,476,F,F,0,0),(258,3,1,1,F,SEC_800,476,F,F,0,0),(240,3,0,1,F,SEC_800,476,F,T,0,0))"371824 -1154508 120 1 6843 SEC_800 BetaMC800RBS56843 1 Gamma 476 60 4151 standard 486"((6843,Alpha,476,SEC_800),(6843,Beta,476,SEC_800),(6846,Beta,476,SEC_800),(6846,Alpha,476,SEC_800),(6847,Alpha,476,SEC_800),(6845,Beta,476,SEC_800),(6850,Alpha,476,SEC_800),(6841,Gamma,476,SEC_800),(6857,Beta,476,SEC_800),(6850,Gamma,476,SEC_800),(6838,Beta,476,SEC_800),(6848,Alpha,476,SEC_800),(6833,Gamma,476,SEC_800),(6831,Gamma,476,SEC_800),(6766,Beta,476,SEC_800),(6841,Beta,476,SEC_800),(6840,Gamma,476,SEC_800),(6850,Beta,476,SEC_800),(6854,Alpha,476,SEC_800),(6854,Beta,476,SEC_800),(6847,Gamma,476,SEC_800),(6859,Beta,476,SEC_800),(6847,Beta,476,SEC

    _800),(6859,Alpha,476,SEC_800),(6987,Gamma,476,SEC_800),(6846,Gamma,476,SEC_800),(6851,Alpha,476,SEC_800))" "((480,3,0,1,F,SEC_800,476,T,T,0,0),(483,3,0,1,F,SEC_800,476,T,T,0,0),(330,3,0,1,F,SEC_800,476,T,T,0,0),(327,3,0,1,F,SEC_800,476,T,T,0,0),(309,3,0,1,F,SEC_800,476,F,T,0,0),(132,3,0,1,F,SEC_800,476,T,T,0,0),(165,3,0,1,F,SEC_800,476,F,T,0,0),(18,3,0,1,F,SEC_800,476,T,T,0,0),(96,3,0,1,F,SEC_800,476,F,T,0,0),(171,3,0,1,F,SEC_800,476,F,T,0,0),(492,3,0,1,F,SEC_800,476,T,T,0,0),(84,3,0,1,F,SEC_800,476,F,T,0,0),(63,3,0,1,F,SEC_800,476,F,T,0,0),(270,3,0,1,F,SEC_800,476,F,T,0,0),(78,3,1,1,F,SEC_800,476,F,F,0,0),(15,3,0,1,F,SEC_800,476,T,T,0,0),(405,3,0,1,F,SEC_800,476,F,T,0,0),(168,3,0,1,F,SEC_800,476,F,T,0,0),(210,3,0,1,F,SEC_800,476,F,T,0,0),(213,3,0,1,F,SEC_800,476,F,T,0,0),(504,3,0,1,F

  • 7/25/2019 Final NL Checker 6 Output Miami11

    19/724

    ,SEC_800,476,F,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1,F,SEC_800,476,F,F,0,0),(315,3,0,1,F,SEC_800,476,F,T,0,0),(240,3,0,1,F,SEC_800,476,F,T,0,0),(312,3,0,1,F,SEC_800,476,F,T,0,0),(237,3,0,1,F,SEC_800,476,F,T,0,0),(216,3,0,1,F,SEC_800,476,F,T,0,0),(333,3,0,1,F,SEC_800,476,T,T,0,0),(453,3,0,1,F,SEC_800,476,F,T,0,0))" 371857 -1154786 200 1 6843 SEC_800 GammaMC800RBS56845 1 Alpha 476 60 4151 standard 129"((6845,Beta,476,SEC_800),(6845,Gamma,476,SEC_800),(6766,Beta,476,SEC_800),(6849,Beta,476,SEC_800),(6841,Gamma,476,SEC_800),(6766,Alpha,476,SEC_800),(6780,Beta,476,SEC_800),(6838,Gamma,476,SEC_800),(6846,Alpha,476,SEC_800),(6857,Alpha,476,SEC_800),(6843,Alpha,476,SEC_800),(6764,Gamma,476,SEC_800),(6859,Alpha,476,SEC_800),(6850,Gamma,476,SEC_800),(6855,Alpha,476,SEC_800),(6846,Gamma,476,SEC_800),(6855,Beta,476,SEC_800),(6790,Beta,476,SEC_800),(6841,Alpha,476,SEC_800),(6861,Beta,476,SEC_800),(6864,Alpha,476,SEC_800),(6841,Beta,476,SEC_800),(6781,Beta,476,SEC_800),(6766,Gamma,476,SEC_800),(6835,Gamma,476,SEC_800),(6853,Beta,476,SEC_800),(6849,Alpha,476,SEC_800),(6849,Gamma,476,SEC_800),(6855,Gamma,476,SEC_800),(6853,Alpha,476,SEC_800))" "((132,3,0,1,F,SEC_800,476,T,T,0,0),(135,3,0,1,F,SEC_800,476,T,T,0,0),(78,3,1,1,F,SEC_800,476,F,F,0,0),(204,3,0,1,F,SEC_800,476,T,T,0,0),(18,3,0,1,F,SEC_800,476,T,T,0,0),(75,3,1,1,F,SEC_800,476,F,F,0,0),(258,3,1,1,F,SEC_800,476,F,F,0,0),(495,3,0,1,F,SEC_800,476,T,T,0,0),(327,3,0,1,F,SEC_800,476,T,T,0,0),(93,3,0,1,F,SEC_800,476,F,T,0,0),(480,3,0,1,F,SEC_800,476,T,T,0,0),(252,3,1,1,F,SEC_800,476,F,F,0,0),(237,3,0,1,F,SEC_800,476,F,T,0,0),(171,3,0,1,F,SEC_800,476,F,T,0,0),(381,3,0,1,F,SEC_800,476,T,T,0,0),(333,3,0,1,F,SEC_800,476,T,T,0,0),(384,3,0,1,F,SEC_800,476,T,T,0,0),(339,3,1,1,F,SEC_800,476,F,F,0,0),(12,3,0,1,F,SEC_800,476,T,T,0,0),(321,3,0,1,F,SEC_800,476,T,T,0,0),(504,3,0,1,F,SEC_80

    0,476,F,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1,F,SEC_800,476,F,F,0,0),(147,3,0,1,F,SEC_800,476,F,T,0,0),(15,3,0,1,F,SEC_800,476,T,T,0,0),(294,3,1,1,F,SEC_800,476,F,F,0,0),(81,3,1,1,F,SEC_800,476,F,F,0,0),(27,3,0,1,F,SEC_800,476,T,T,0,0),(285,3,0,1,F,SEC_800,476,T,T,0,0),(201,3,0,1,F,SEC_800,476,T,T,0,0))"372206 -1155064 0 1 6845 SEC_800 AlphaMC800RBS56845 1 Beta 476 60 4151 standard 132"((6845,Alpha,476,SEC_800),(6845,Gamma,476,SEC_800),(6846,Alpha,476,SEC_800),(6846,Gamma,476,SEC_800),(6841,Gamma,476,SEC_800),(6857,Beta,476,SEC_800),(6843,Alpha,476,SEC_800),(6766,Beta,476,SEC_800),(6850,Gamma,476,SEC_800),(6843,Gamma,476,SEC_800),(6859,Alpha,476,SEC_800),(6843,Beta,476,SEC_800),(6766,Alpha,476,SEC_800),(6849,Beta,476,SEC_800),(6838,Gamma,476,SEC_800),(6846,Beta,476,SEC_800),(6836,Beta,476,SEC_800),(6833,Gamma,476,SEC_800),(6780,Beta,476,SEC_800),(6841,Beta,476,SEC_800),(6840,Alpha,476,SEC_800),(6847,Beta,476,SEC_800),(6848,Alpha,476,S

    EC_800),(6840,Gamma,476,SEC_800),(6833,Beta,476,SEC_800),(6833,Alpha,476,SEC_800),(6790,Beta,476,SEC_800),(6836,Alpha,476,SEC_800),(6850,Alpha,476,SEC_800),(6834,Alpha,476,SEC_800))" "((129,3,0,1,F,SEC_800,476,T,T,0,0),(135,3,0,1,F,SEC_800,476,T,T,0,0),(327,3,0,1,F,SEC_800,476,T,T,0,0),(333,3,0,1,F,SEC_800,476,T,T,0,0),(18,3,0,1,F,SEC_800,476,T,T,0,0),(96,3,0,1,F,SEC_800,476,F,T,0,0),(480,3,0,1,F,SEC_800,476,T,T,0,0),(78,3,1,1,F,SEC_800,476,F,F,0,0),(171,3,0,1,F,SEC_800,476,F,T,0,0),(486,3,0,1,F,SEC_800,476,T,T,0,0),(237,3,0,1,F,SEC_800,476,F,T,0,0),(483,3,0,1,F,SEC_800,476,T,T,0,0),(75,3,1,1,F,SEC_800,476,F,F,0,0),(204,3,0,1,F,SEC_800,476,T,T,0,0),(495,3,0,1,F,SEC_800,476,T,T,0,0),(330,3,0,1,F,SEC_800,476,T,T,0,0),(420,3,0,1,F,SEC_800,476,F,T,0,0),(63,3,0,1,F,SEC_800,476,F,T,0,0),(258,3,1,1,F,SEC_800,476,F,F,0,0),(15,3,0,1,F,SEC_800,476,T,T,0,0),(504,3,0,1,F,SEC_800,476,F,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1,F,SEC_800,476,F,F,0,0),(399,3,0,1,F,SEC_800,476,F,T,0,0),(312,3,0,1,F,SEC_800,476,F,T,0,0),(84,3,0,1,

    F,SEC_800,476,F,T,0,0),(405,3,0,1,F,SEC_800,476,F,T,0,0),(60,3,0,1,F,SEC_800,476,F,T,0,0),(57,3,0,1,F,SEC_800,476,F,T,0,0),(339,3,1,1,F,SEC_800,476,F,F,0,0))"372058 -1154989 120 1 6845 SEC_800 BetaMC800RBS56845 1 Gamma 476 60 4151 standard 135"((6845,Alpha,476,SEC_800),(6845,Beta,476,SEC_800),(6846,Gamma,476,SEC_800),(6857,Alpha,476,SEC_800),(6857,Beta,476,SEC_800),(6849,Beta,476,SEC_800),(6766,Beta,476,SEC_800),(6855,Beta,476,SEC_800),(6859,Alpha,476,SEC_800),(6850,Gamma,476,SEC_800),(6841,Gamma,476,SEC_800),(6780,Beta,476,SEC_800),(6855,Alpha,476,SEC_800),(6864,Alpha,476,SEC_800),(6862,Beta,476,SEC_800),(6861,Beta,476,SEC_800),(6854,Alpha,476,SEC_800),(6764,Gamma,476,SEC_800),(6853,Beta,476,SEC_800),(6857,Gamma,

  • 7/25/2019 Final NL Checker 6 Output Miami11

    20/724

    476,SEC_800),(6855,Gamma,476,SEC_800),(6846,Alpha,476,SEC_800),(6849,Gamma,476,SEC_800),(6864,Beta,476,SEC_800),(6764,Alpha,476,SEC_800),(6956,Alpha,476,SEC_800),(6853,Alpha,476,SEC_800),(6864,Gamma,476,SEC_800),(6834,Beta,476,SEC_800),(6853,Gamma,476,SEC_800))" "((129,3,0,1,F,SEC_800,476,T,T,0,0),(132,3,0,1,F,SEC_800,476,T,T,0,0),(333,3,0,1,F,SEC_800,476,T,T,0,0),(93,3,0,1,F,SEC_800,476,F,T,0,0),(96,3,0,1,F,SEC_800,476,F,T,0,0),(204,3,0,1,F,SEC_800,476,T,T,0,0),(78,3,1,1,F,SEC_800,476,F,F,0,0),(384,3,0,1,F,SEC_800,476,T,T,0,0),(237,3,0,1,F,SEC_800,476,F,T,0,0),(171,3,0,1,F,SEC_800,476,F,T,0,0),(18,3,0,1,F,SEC_800,476,T,T,0,0),(258,3,1,1,F,SEC_800,476,F,F,0,0),(381,3,0,1,F,SEC_800,476,T,T,0,0),(147,3,0,1,F,SEC_800,476,F,T,0,0),(231,3,0,1,F,SEC_800,476,T,T,0,0),(321,3,0,1,F,SEC_800,476,T,T,0,0),(210,3,0,1,F,SEC_800,476,F,T,0,0),(252,3,1,1,F,SEC_800,476,F,F,0,0),(285,3,0,1,F,SEC_800,476,T,T,0,0),(99,3,0,1,F,SEC_800,476,F,T,0,0),(504,3,0,1,F,SEC_800,476,F,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1,F,SEC_800,476,F,F,0,0),(387,3,0,1,F,SEC_800,476,T,T,0,0),(327,3,0,1,F,SEC_800,476,T,T,0,0),(207,3,0,1,F,SEC_800,476,T,T,0,0),(150,3,0,1,F,SEC_800,476,F,T,0,0),(246,3,1,1,F,SEC_800,476,F,F,0,0),(21,3,0,1,F,SEC_800,476,F,T,0,0),(282,3,0,1,F,SEC_800,476,T,T,0,0))" 372037 -1155181 240 1 6845 SEC_800 GammaMC800RBS56846 1 Alpha 476 60 4151 standard 327"((6846,Beta,476,SEC_800),(6846,Gamma,476,SEC_800),(6843,Gamma,476,SEC_800),(6843,Alpha,476,SEC_800),(6845,Beta,476,SEC_800),(6841,Gamma,476,SEC_800),(6857,Beta,476,SEC_800),(6848,Alpha,476,SEC_800),(6843,Beta,476,SEC_800),(6847,Alpha,476,SEC_800),(6852,Alpha,476,SEC_800),(6850,Alpha,476,SEC_800),(6850,Gamma,476,SEC_800),(6766,Beta,476,SEC_800),(6841,Alpha,476,SEC_800),(6766,Alpha,476,SEC_800),(6841,Beta,476,SEC_800),(6859,Beta,476,SEC_800),(6840,Alpha,476,SEC_800),(6838,Alph

    a,476,SEC_800),(6833,Gamma,476,SEC_800),(6838,Beta,476,SEC_800),(6847,Beta,476,SEC_800),(6831,Beta,476,SEC_800),(6838,Gamma,476,SEC_800),(6845,Alpha,476,SEC_800),(6831,Gamma,476,SEC_800),(6780,Beta,476,SEC_800),(6745,Beta,476,SEC_800),(6764,Beta,476,SEC_800))" "((330,3,0,1,F,SEC_800,476,T,T,0,0),(333,3,0,1,F,SEC_800,476,T,T,0,0),(486,3,0,1,F,SEC_800,476,T,T,0,0),(480,3,0,1,F,SEC_800,476,T,T,0,0),(132,3,0,1,F,SEC_800,476,T,T,0,0),(18,3,0,1,F,SEC_800,476,T,T,0,0),(96,3,0,1,F,SEC_800,476,F,T,0,0),(84,3,0,1,F,SEC_800,476,F,T,0,0),(483,3,0,1,F,SEC_800,476,T,T,0,0),(309,3,0,1,F,SEC_800,476,F,T,0,0),(48,3,0,1,F,SEC_800,476,F,T,0,0),(165,3,0,1,F,SEC_800,476,F,T,0,0),(171,3,0,1,F,SEC_800,476,F,T,0,0),(78,3,3,1,F,SEC_800,476,F,F,0,0),(12,3,0,1,F,SEC_800,476,T,T,0,0),(75,3,1,1,F,SEC_800,476,F,F,0,0),(15,3,0,1,F,SEC_800,476,T,T,0,0),(504,3,0,1,F,SEC_800,476,F,F,0,0),(507,3,0,1,F,SEC_800,476,F,F,0,0),(510,3,0,1,F,SEC_800,476,F,F,0,0),(240,3,0,1,F,SEC_800,476,F,T,0,0),(399,3,0,1,F,SEC_800,476,F,T,0,0),(489,3,0,1,F,SEC_800,476,T,T,0,0),

    (63,3,0,1,F,SEC_800,476,F,T,0,0),(492,3,0,1,F,SEC_800,476,T,T,0,0),(312,3,0,1,F,SEC_800,476,F,T,0,0),(267,3,0,1,F,SEC_800,476,F,T,0,0),(81,3,3,1,F,SEC_800,476,F,F,0,0),(69,3,3,1,F,SEC_800,476,F,F,0,0),(105,3,3,1,F,SEC_800,476,F,F,0,0))"371910 -1154882 50 1 6846 SEC_800 AlphaMC800RBS56846 1 Beta 476 60 4151 standard 330"((6846,Alpha,476,SEC_800),(6846,Gamma,476,SEC_800),(6843,Gamma,476,SEC_800),(6857,Beta,476,SEC_800),(6850,Alpha,476,SEC_800),(6850,Gamma,476,SEC_800),(6850,Beta,476,SEC_800),(6854,Alpha,476,SEC_800),(6843,Beta,476,SEC_800),(6847,Alp