SCSC21MSTR14SCAltshulerSteinbergINTG152EA556AEEA3CD24760DC0MSTR13SCAutomorphismGroupPRMGILIS1PERM2()FAILFAILMSTR17SCAutomorphismGroupSizeINTG11MSTR1CSCAutomorphismGroupStructureISTR11MSTR1FSCAutomorphismGroupTransitivityINTG10MSTR5SCDimINTG13MSTRBSCDualGraphSCSC8MSTR13SCAutomorphismGroupPRMGILIS1PERM2()[encoded data, 5620 characters] graph of or_1.[encoded data, 14724 characters](or_1.75712603)[encoded data, 22312 characters].75712603MSTR15SCConnectedComponentsILIS1SCSC3MSTR5SCDimINTG13MSTRASCFacetsExILIS7AILIS4INTG11INTG12INTG13INTG14ILIS4INTG11INTG12INTG13INTG15ILIS4INTG11INTG12INTG14INTG16ILIS4INTG11INTG12INTG15INTG16ILIS4INTG11INTG13INTG14INTG17ILIS4INTG11INTG13INTG15INTG17ILIS4INTG11INTG14INTG16INTG18ILIS4INTG11INTG14INTG17INTG19ILIS4INTG11INTG14INTG18INTG19ILIS4INTG11INTG15INTG16INTG1AILIS4INTG11INTG15INTG17INTG1BILIS4INTG11INTG15INTG1AINTG1BILIS4INTG11INTG16INTG18INTG1CILIS4INTG11INTG16INTG1AINTG1CILIS4INTG11INTG17INTG19INTG1DILIS4INTG11INTG17INTG1BINTG1EILIS4INTG11INTG17INTG1DINTG1EILIS4INTG11INTG18INTG19INTG1FILIS4INTG11INTG18INTG1CINTG1FILIS4INTG11INTG19INTG1DINTG210ILIS4INTG11INTG19INTG1FINTG210ILIS4INTG11INTG1AINTG1BINTG211ILIS4INTG11INTG1AINTG1CINTG212ILIS4INTG11INTG1AINTG211INTG212ILIS4INTG11INTG1BINTG1EINTG211ILIS4INTG11INTG1CINTG1FINTG212ILIS4INTG11INTG1DINTG1EINTG210ILIS4INTG11INTG1EINTG210INTG212ILIS4INTG11INTG1EINTG211INTG212ILIS4INTG11INTG1FINTG210INTG212ILIS4INTG12INTG13INTG14INTG1BILIS4INTG12INTG13INTG15INTG19ILIS4INTG12INTG13INTG18INTG19ILIS4INTG12INTG13INTG18INTG212ILIS4INTG12INTG13INTG1BINTG212ILIS4INTG12INTG14INTG16INTG1DILIS4INTG12INTG14INTG1BINTG1CILIS4INTG12INTG14INTG1CINTG1DILIS4INTG12INTG15INTG16INTG211ILIS4INTG12INTG15INTG19INTG210ILIS4INTG12INTG15INTG210INTG211ILIS4INTG12INTG16INTG1DINTG211ILIS4INTG12INTG17INTG1AINTG1DILIS4INTG12INTG17INTG1AINTG210ILIS4INTG12INTG17INTG1DINTG211ILIS4INTG12INTG17INTG210INTG211ILIS4INTG12INTG18INTG19INTG1FILIS4INTG12INTG18INTG1AINTG1FILIS4INTG12INTG18INTG1AINTG212ILIS4INTG12INTG19INTG1FINTG210ILIS4INTG12INTG1AINTG1CINTG1DILIS4INTG12INTG1AINTG1CINTG212ILIS4INTG12INTG1AINTG1FINTG210ILIS4INTG12INTG1BINTG1CINTG212ILIS4INTG13INTG14INTG17INTG1AILIS4INTG13INTG14INTG1AINTG1BILIS4INTG13INTG15INTG17INTG1CILIS4INTG13INTG15INTG19INTG1CILIS4INTG13INTG16INTG1CINTG1EILIS4INTG13INTG16INTG1CINTG210ILIS4INTG13INTG16INTG1EINTG1FILIS4INTG13INTG16INTG1FINTG210ILIS4INTG13INTG17INTG1AINTG210ILIS4INTG13INTG17INTG1CINTG210ILIS4INTG13INTG18INTG19INTG1EILIS4INTG13INTG18INTG1DINTG1EILIS4INTG13INTG18INTG1DINTG212ILIS4INTG13INTG19INTG1CINTG1EILIS4INTG13INTG1AINTG1BINTG211ILIS4INTG13INTG1AINTG1FINTG210ILIS4INTG13INTG1AINTG1FINTG211ILIS4INTG13INTG1BINTG1DINTG211ILIS4INTG13INTG1BINTG1DINTG212ILIS4INTG13INTG1DINTG1EINTG1FILIS4INTG13INTG1DINTG1FINTG211ILIS4INTG14INTG15INTG1AINTG1BILIS4INTG14INTG15INTG1AINTG1EILIS4INTG14INTG15INTG1BINTG1CILIS4INTG14INTG15INTG1CINTG1DILIS4INTG14INTG15INTG1DINTG212ILIS4INTG14INTG15INTG1EINTG212ILIS4INTG14INTG16INTG18INTG210ILIS4INTG14INTG16INTG1DINTG212ILIS4INTG14INTG16INTG210INTG212ILIS4INTG14INTG17INTG19INTG1AILIS4INTG14INTG18INTG19INTG1EILIS4INTG14INTG18INTG1EINTG210ILIS4INTG14INTG19INTG1AINTG1EILIS4INTG14INTG1EINTG210INTG212ILIS4INTG15INTG16INTG1AINTG1EILIS4INTG15INTG16INTG1EINTG211ILIS4INTG15INTG17INTG1BINTG1CILIS4INTG15INTG18INTG1DINTG210ILIS4INTG15INTG18INTG1DINTG212ILIS4INTG15INTG18INTG210INTG211ILIS4INTG15INTG18INTG211INTG212ILIS4INTG15INTG19INTG1CINTG1DILIS4INTG15INTG19INTG1DINTG210ILIS4INTG15INTG1EINTG211INTG212ILIS4INTG16INTG18INTG1CINTG210ILIS4INTG16INTG1AINTG1CINTG1EILIS4INTG16INTG1BINTG1DINTG211ILIS4INTG16INTG1BINTG1DINTG212ILIS4INTG16INTG1BINTG1EINTG1FILIS4INTG16INTG1BINTG1EINTG211ILIS4INTG16INTG1BINTG1FINTG212ILIS4INTG16INTG1FINTG210INTG212ILIS4INTG17INTG18INTG1CINTG1FILIS4INTG17INTG18INTG1CINTG210ILIS4INTG17INTG18INTG1FINTG211ILIS4INTG17INTG18INTG210INTG211ILIS4INTG17INTG19INTG1AINTG1DILIS4INTG17INTG1BINTG1CINTG1FILIS4INTG17INTG1BINTG1EINTG1FILIS4INTG17INTG1DINTG1EINTG1FILIS4INTG17INTG1DINTG1FINTG211ILIS4INTG18INTG1AINTG1FINTG211ILIS4INTG18INTG1AINTG211INTG212ILIS4INTG18INTG1DINTG1EINTG210ILIS4INTG19INTG1AINTG1CINTG1DILIS4INTG19INTG1AINTG1CINTG1EILIS4INTG1BINTG1CINTG1FINTG212MSTR6SCNameISTR27Connected component #1 of or_1.75712603MSTRCSCIsManifoldTRUE