final nl checker 6 output miami11
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