[Home] [Table] [Glossary] [Families]

On this page are computer-accessible forms for the graph C4[ 480, 246 ] = UG(ATD[480,375]).

(I) Following is a form readable by MAGMA:

g:=Graph<480|{ {40, 41}, {384, 385}, {78, 79}, {272, 273}, {336, 338}, {468, 470}, {337, 339}, {1, 2}, {360, 363}, {133, 134}, {101, 102}, {97, 98}, {184, 187}, {212, 215}, {1, 5}, {467, 471}, {449, 453}, {443, 447}, {419, 423}, {3, 7}, {2, 6}, {185, 188}, {361, 364}, {283, 286}, {33, 39}, {186, 189}, {218, 221}, {32, 40}, {338, 346}, {227, 235}, {247, 252}, {322, 329}, {262, 269}, {4, 8}, {391, 395}, {324, 328}, {98, 110}, {2, 15}, {161, 172}, {214, 216}, {423, 425}, {404, 410}, {276, 283}, {433, 446}, {13, 28}, {461, 476}, {128, 145}, {42, 56}, {463, 477}, {357, 375}, {3, 16}, {426, 441}, {326, 341}, {70, 85}, {11, 24}, {7, 20}, {199, 212}, {352, 372}, {4, 17}, {422, 435}, {332, 345}, {14, 27}, {12, 25}, {6, 19}, {192, 213}, {100, 114}, {365, 379}, {132, 146}, {204, 218}, {5, 18}, {384, 407}, {13, 26}, {171, 179}, {321, 344}, {193, 219}, {164, 191}, {358, 378}, {8, 21}, {10, 23}, {335, 337}, {391, 409}, {9, 22}, {15, 47}, {349, 381}, {330, 362}, {17, 48}, {401, 432}, {320, 353}, {16, 50}, {29, 63}, {28, 62}, {25, 59}, {24, 58}, {21, 55}, {20, 54}, {17, 51}, {216, 250}, {220, 254}, {283, 313}, {8, 44}, {11, 47}, {10, 46}, {9, 45}, {263, 291}, {18, 52}, {344, 382}, {89, 127}, {27, 61}, {26, 60}, {19, 53}, {151, 176}, {329, 366}, {217, 241}, {387, 427}, {282, 306}, {12, 37}, {140, 167}, {5, 41}, {328, 356}, {14, 34}, {7, 43}, {6, 42}, {70, 107}, {387, 430}, {271, 290}, {280, 309}, {22, 56}, {462, 480}, {334, 352}, {70, 104}, {23, 57}, {327, 360}, {260, 308}, {347, 362}, {87, 101}, {142, 188}, {350, 365}, {136, 188}, {149, 161}, {139, 190}, {194, 247}, {223, 234}, {337, 359}, {152, 175}, {471, 480}, {350, 361}, {338, 357}, {327, 368}, {279, 303}, {134, 191}, {412, 421}, {388, 445}, {72, 117}, {349, 352}, {14, 48}, {340, 362}, {331, 373}, {15, 49}, {215, 233}, {92, 99}, {385, 446}, {94, 97}, {48, 113}, {166, 231}, {273, 339}, {35, 96}, {408, 477}, {409, 478}, {48, 121}, {54, 127}, {52, 125}, {50, 123}, {45, 103}, {302, 356}, {37, 110}, {151, 220}, {144, 219}, {53, 126}, {49, 122}, {39, 108}, {386, 463}, {53, 123}, {398, 448}, {312, 374}, {175, 225}, {51, 124}, {386, 461}, {176, 224}, {182, 230}, {300, 381}, {407, 454}, {183, 229}, {18, 65}, {22, 69}, {389, 465}, {398, 474}, {20, 65}, {390, 467}, {60, 105}, {257, 340}, {281, 332}, {259, 341}, {38, 113}, {395, 476}, {47, 120}, {42, 115}, {410, 451}, {317, 356}, {46, 119}, {44, 117}, {385, 475}, {41, 114}, {45, 118}, {30, 66}, {394, 470}, {31, 67}, {284, 320}, {24, 69}, {30, 64}, {396, 466}, {43, 116}, {170, 245}, {169, 246}, {304, 367}, {297, 329}, {442, 474}, {152, 249}, {418, 451}, {417, 448}, {174, 205}, {442, 473}, {32, 68}, {443, 479}, {53, 81}, {40, 76}, {35, 71}, {34, 70}, {269, 360}, {416, 455}, {299, 323}, {432, 472}, {15, 102}, {445, 468}, {418, 459}, {178, 219}, {36, 77}, {191, 214}, {447, 468}, {31, 115}, {39, 75}, {38, 74}, {37, 73}, {36, 72}, {312, 340}, {166, 203}, {318, 339}, {31, 112}, {173, 194}, {43, 68}, {259, 371}, {301, 349}, {420, 469}, {430, 479}, {25, 107}, {144, 226}, {29, 111}, {28, 110}, {130, 241}, {44, 88}, {314, 334}, {266, 383}, {427, 478}, {26, 108}, {27, 109}, {16, 103}, {420, 467}, {180, 195}, {182, 193}, {302, 345}, {416, 472}, {417, 473}, {33, 88}, {19, 104}, {434, 457}, {21, 105}, {23, 106}, {444, 449}, {435, 462}, {422, 475}, {187, 198}, {315, 325}, {38, 89}, {424, 471}, {125, 253}, {127, 255}, {126, 254}, {275, 402}, {276, 405}, {281, 408}, {310, 436}, {317, 447}, {108, 239}, {277, 406}, {287, 412}, {116, 240}, {295, 419}, {277, 400}, {351, 474}, {284, 409}, {286, 411}, {294, 416}, {342, 464}, {120, 255}, {285, 410}, {114, 250}, {345, 465}, {319, 439}, {115, 251}, {76, 197}, {119, 254}, {117, 252}, {113, 248}, {96, 233}, {84, 221}, {326, 460}, {118, 253}, {348, 471}, {346, 465}, {122, 241}, {98, 238}, {99, 239}, {257, 396}, {280, 407}, {299, 420}, {267, 411}, {295, 439}, {310, 422}, {308, 421}, {256, 402}, {12, 159}, {277, 390}, {302, 442}, {31, 138}, {350, 459}, {108, 249}, {32, 181}, {297, 444}, {102, 240}, {319, 425}, {313, 431}, {103, 241}, {298, 445}, {75, 211}, {109, 245}, {106, 243}, {347, 450}, {111, 246}, {110, 247}, {49, 171}, {344, 450}, {73, 211}, {63, 165}, {270, 404}, {306, 424}, {105, 242}, {264, 403}, {62, 162}, {29, 128}, {349, 448}, {314, 423}, {44, 178}, {307, 429}, {74, 213}, {113, 238}, {107, 244}, {71, 231}, {11, 170}, {364, 461}, {74, 232}, {370, 464}, {111, 205}, {275, 433}, {57, 154}, {64, 227}, {77, 233}, {353, 453}, {316, 408}, {265, 429}, {294, 386}, {57, 156}, {79, 234}, {68, 225}, {67, 230}, {65, 228}, {59, 158}, {83, 245}, {296, 398}, {298, 396}, {58, 157}, {95, 248}, {66, 229}, {282, 434}, {100, 205}, {379, 466}, {378, 467}, {376, 465}, {300, 390}, {275, 440}, {382, 469}, {121, 213}, {49, 156}, {377, 468}, {357, 456}, {51, 158}, {285, 435}, {50, 157}, {298, 410}, {111, 222}, {86, 228}, {368, 450}, {296, 412}, {373, 449}, {287, 426}, {369, 452}, {293, 403}, {316, 394}, {55, 128}, {63, 136}, {88, 224}, {56, 129}, {374, 463}, {85, 236}, {62, 135}, {60, 133}, {58, 131}, {372, 462}, {57, 130}, {112, 203}, {86, 237}, {80, 235}, {61, 134}, {292, 415}, {125, 193}, {127, 195}, {126, 194}, {289, 413}, {305, 397}, {43, 150}, {125, 192}, {120, 197}, {47, 146}, {366, 464}, {59, 132}, {103, 216}, {92, 156}, {348, 414}, {266, 457}, {336, 403}, {45, 232}, {270, 459}, {25, 223}, {322, 388}, {268, 458}, {80, 151}, {71, 143}, {78, 134}, {256, 456}, {64, 137}, {371, 442}, {343, 414}, {83, 154}, {81, 152}, {68, 141}, {66, 139}, {339, 409}, {65, 138}, {82, 153}, {69, 142}, {96, 172}, {371, 447}, {99, 175}, {98, 174}, {97, 173}, {82, 159}, {380, 433}, {346, 407}, {106, 164}, {351, 401}, {67, 140}, {84, 155}, {380, 428}, {269, 476}, {335, 413}, {341, 391}, {334, 413}, {100, 176}, {379, 431}, {353, 437}, {355, 438}, {363, 446}, {54, 224}, {101, 179}, {55, 225}, {361, 446}, {72, 144}, {355, 443}, {77, 149}, {76, 148}, {75, 147}, {74, 146}, {73, 145}, {79, 150}, {358, 444}, {354, 441}, {94, 130}, {109, 177}, {342, 395}, {357, 440}, {4, 218}, {119, 169}, {61, 226}, {69, 165}, {334, 430}, {321, 417}, {104, 136}, {321, 416}, {336, 434}, {342, 436}, {338, 432}, {380, 415}, {330, 430}, {331, 431}, {91, 190}, {333, 424}, {5, 226}, {92, 180}, {353, 393}, {350, 438}, {95, 183}, {94, 182}, {93, 181}, {292, 460}, {88, 177}, {358, 399}, {288, 458}, {348, 438}, {326, 428}, {291, 457}, {52, 223}, {351, 436}, {356, 392}, {344, 437}, {348, 433}, {325, 427}, {359, 393}, {46, 222}, {359, 406}, {90, 168}, {91, 169}, {83, 160}, {337, 418}, {87, 164}, {95, 171}, {375, 387}, {335, 443}, {41, 220}, {373, 384}, {86, 163}, {84, 161}, {42, 221}, {93, 170}, {85, 162}, {81, 166}, {77, 186}, {10, 242}, {78, 183}, {313, 448}, {314, 449}, {90, 167}, {340, 425}, {323, 445}, {89, 166}, {347, 420}, {112, 143}, {8, 264}, {141, 397}, {196, 452}, {206, 462}, {217, 473}, {104, 363}, {105, 364}, {24, 272}, {161, 425}, {40, 289}, {36, 303}, {196, 463}, {198, 461}, {204, 455}, {91, 330}, {124, 366}, {154, 392}, {10, 281}, {184, 427}, {35, 310}, {198, 464}, {34, 309}, {122, 365}, {58, 290}, {208, 456}, {56, 290}, {32, 315}, {208, 460}, {223, 450}, {91, 325}, {13, 301}, {168, 393}, {253, 476}, {36, 262}, {255, 477}, {226, 452}, {109, 330}, {71, 365}, {59, 279}, {163, 399}, {190, 402}, {116, 324}, {80, 354}, {4, 311}, {13, 318}, {17, 293}, {236, 469}, {3, 312}, {252, 455}, {251, 454}, {160, 415}, {250, 453}, {207, 399}, {12, 333}, {243, 434}, {34, 352}, {85, 279}, {3, 320}, {107, 296}, {201, 394}, {115, 311}, {119, 307}, {118, 306}, {117, 305}, {116, 304}, {227, 423}, {9, 332}, {81, 276}, {246, 435}, {229, 418}, {230, 417}, {242, 437}, {148, 477}, {95, 274}, {121, 308}, {106, 295}, {201, 388}, {219, 406}, {84, 282}, {151, 473}, {86, 280}, {209, 415}, {83, 284}, {89, 265}, {206, 414}, {80, 258}, {135, 469}, {249, 426}, {22, 322}, {199, 403}, {37, 368}, {147, 454}, {131, 470}, {87, 258}, {35, 372}, {145, 454}, {231, 432}, {209, 392}, {92, 262}, {237, 439}, {94, 261}, {152, 451}, {243, 431}, {114, 303}, {204, 402}, {129, 478}, {132, 475}, {240, 400}, {11, 362}, {194, 419}, {16, 370}, {167, 453}, {33, 323}, {227, 384}, {28, 376}, {230, 386}, {231, 387}, {133, 480}, {228, 385}, {14, 360}, {238, 392}, {1, 361}, {30, 374}, {7, 366}, {254, 405}, {202, 422}, {232, 388}, {102, 267}, {235, 390}, {252, 401}, {78, 288}, {169, 455}, {233, 391}, {189, 466}, {234, 389}, {39, 343}, {90, 299}, {30, 364}, {2, 369}, {171, 472}, {123, 264}, {248, 397}, {250, 399}, {213, 419}, {249, 398}, {207, 439}, {242, 394}, {253, 389}, {121, 256}, {240, 393}, {21, 367}, {214, 428}, {246, 396}, {122, 257}, {225, 413}, {126, 259}, {124, 258}, {224, 414}, {245, 395}, {136, 264}, {144, 272}, {143, 271}, {142, 270}, {141, 269}, {140, 268}, {139, 267}, {138, 266}, {137, 265}, {29, 412}, {147, 274}, {150, 276}, {132, 263}, {146, 273}, {207, 332}, {128, 260}, {129, 261}, {251, 383}, {131, 262}, {159, 282}, {157, 280}, {135, 258}, {149, 275}, {63, 440}, {158, 281}, {154, 285}, {255, 376}, {185, 305}, {180, 317}, {186, 304}, {50, 441}, {156, 279}, {153, 277}, {174, 290}, {173, 289}, {172, 288}, {155, 278}, {243, 382}, {27, 405}, {206, 320}, {206, 321}, {212, 347}, {60, 429}, {148, 261}, {214, 327}, {177, 291}, {180, 294}, {212, 326}, {208, 323}, {238, 381}, {33, 436}, {168, 317}, {133, 272}, {189, 296}, {218, 335}, {82, 452}, {178, 292}, {179, 293}, {210, 324}, {211, 325}, {79, 472}, {66, 474}, {20, 397}, {210, 331}, {72, 466}, {165, 319}, {155, 257}, {229, 383}, {187, 295}, {209, 333}, {217, 327}, {26, 389}, {215, 328}, {202, 363}, {222, 383}, {251, 345}, {221, 382}, {62, 411}, {137, 300}, {51, 405}, {137, 303}, {124, 475}, {138, 301}, {149, 316}, {150, 319}, {184, 273}, {211, 377}, {215, 381}, {96, 459}, {185, 274}, {200, 355}, {123, 470}, {234, 324}, {148, 293}, {200, 377}, {120, 458}, {191, 268}, {1, 437}, {163, 278}, {18, 421}, {168, 287}, {203, 380}, {174, 278}, {164, 285}, {222, 359}, {139, 304}, {165, 286}, {160, 283}, {143, 308}, {140, 305}, {142, 307}, {162, 284}, {9, 438}, {141, 306}, {186, 261}, {159, 351}, {187, 379}, {182, 375}, {192, 259}, {190, 378}, {135, 322}, {176, 376}, {93, 404}, {101, 428}, {82, 408}, {205, 263}, {192, 267}, {232, 291}, {237, 294}, {6, 458}, {181, 377}, {19, 478}, {93, 400}, {183, 378}, {199, 266}, {236, 289}, {172, 354}, {118, 441}, {153, 342}, {167, 375}, {178, 354}, {244, 292}, {64, 401}, {216, 265}, {73, 411}, {220, 270}, {162, 374}, {244, 288}, {160, 373}, {210, 263}, {129, 343}, {55, 480}, {67, 404}, {228, 318}, {100, 440}, {210, 271}, {217, 260}, {244, 297}, {175, 369}, {177, 367}, {23, 456}, {173, 370}, {99, 444}, {193, 286}, {112, 400}, {145, 369}, {239, 271}, {147, 370}, {46, 460}, {179, 343}, {200, 300}, {201, 301}, {202, 302}, {38, 451}, {181, 336}, {208, 309}, {75, 429}, {209, 311}, {155, 371}, {54, 479}, {157, 372}, {76, 421}, {195, 297}, {52, 479}, {130, 367}, {196, 298}, {197, 299}, {248, 278}, {235, 260}, {239, 256}, {170, 346}, {195, 307}, {196, 309}, {198, 311}, {200, 313}, {202, 315}, {90, 424}, {185, 331}, {204, 318}, {237, 287}, {131, 368}, {197, 310}, {201, 314}, {61, 457}, {188, 328}, {189, 329}, {207, 315}, {184, 333}, {163, 341}, {97, 406}, {203, 316}, {247, 268}, {87, 426}, {158, 355}, {236, 274}, {153, 358}, {199, 312} }>;

(II) A more general form is to represent the graph as the orbit of {40, 41} under the group generated by the following permutations:

a: (2, 361, 5, 437)(3, 11, 9, 32)(4, 34, 13, 12)(6, 446, 18, 344)(7, 362, 22, 315)(8, 309, 26, 159)(10, 175, 30, 144)(14, 301, 37, 311)(15, 350, 41, 353)(16, 170, 45, 181)(17, 352, 28, 333)(19, 385, 52, 382)(20, 347, 56, 202)(21, 196, 60, 82)(23, 152, 64, 219)(24, 332, 68, 312)(25, 218, 70, 318)(27, 201, 73, 198)(29, 294, 78, 149)(31, 327)(35, 176, 90, 179)(36, 222, 92, 229)(38, 300, 97, 154)(39, 436, 88, 323)(40, 320, 47, 438)(42, 363, 65, 450)(43, 340, 69, 207)(44, 208, 108, 351)(46, 99, 66, 72)(48, 349, 110, 209)(49, 459, 114, 393)(50, 346, 118, 336)(51, 334, 62, 184)(53, 384, 125, 243)(54, 420, 129, 422)(55, 463, 133, 408)(57, 451, 137, 406)(58, 345, 141, 199)(59, 335, 85, 339)(61, 394, 145, 461)(63, 237, 79, 161)(67, 214, 112, 217)(71, 151, 167, 101)(74, 200, 173, 83)(75, 342, 177, 445)(76, 206, 120, 348)(77, 111, 180, 183)(80, 375, 87, 231)(81, 227, 193, 106)(84, 136, 86, 234)(89, 390, 94, 285)(91, 329)(93, 103)(95, 233, 205, 317)(96, 100, 168, 171)(98, 392, 113, 381)(102, 365, 220, 453)(104, 228, 223, 221)(105, 452)(107, 204)(109, 388, 211, 464)(115, 360, 138, 368)(116, 257, 142, 399)(117, 460, 239, 474)(119, 444, 139, 466)(121, 448, 247, 415)(122, 270, 250, 240)(123, 407, 253, 434)(124, 430, 135, 427)(126, 373, 192, 431)(127, 467, 261, 435)(128, 386, 134, 316)(130, 410, 265, 277)(131, 251, 269, 266)(132, 443, 236, 409)(140, 428, 143, 473)(146, 355, 289, 284)(147, 395, 291, 468)(148, 462, 255, 471)(150, 425, 165, 439)(153, 367, 298, 429)(155, 188, 163, 324)(156, 418, 303, 359)(157, 465, 306, 403)(158, 413, 162, 273)(160, 213, 313, 194)(164, 166, 235, 182)(169, 297, 190, 189)(172, 440, 287, 472)(174, 356, 248, 215)(178, 456, 249, 401)(185, 341, 210, 371)(186, 246, 195, 378)(187, 405, 314, 411)(191, 203, 260, 230)(197, 414)(212, 290, 302, 397)(216, 400, 241, 404)(224, 299, 343, 310)(225, 374, 272, 281)(226, 242, 369, 364)(232, 377, 370, 245)(244, 402, 296, 455)(252, 292, 256, 398)(254, 449, 267, 379)(258, 387)(259, 331)(262, 383)(263, 447, 274, 391)(264, 280, 389, 282)(268, 380, 308, 417)(271, 442, 305, 326)(275, 412, 416, 288)(276, 423, 286, 295)(278, 328)(279, 337)(283, 419)(293, 372, 376, 424)(304, 396, 307, 358)(321, 458, 433, 421)(322, 325, 366, 330)(338, 441)(354, 357, 426, 432)(454, 476, 457, 470)(469, 478, 475, 479)(477, 480)
b: (1, 2, 15, 49, 156, 279, 85, 162, 374, 463, 477, 148, 261, 186, 189, 329, 366, 464, 342, 436, 33, 88, 44, 178, 354, 441, 118, 306, 424, 471, 480, 133, 134, 191, 214, 327, 368, 450, 344, 437)(3, 461, 82, 197, 343, 367, 72, 244, 258, 16, 476, 159, 299, 414, 21, 144, 288, 87, 103, 269, 12, 420, 206, 105, 226, 458, 101, 241, 262, 25, 469, 320, 364, 452, 120, 179, 130, 36, 107, 135)(4, 406, 96, 249, 232, 397, 209, 390, 372, 26, 457, 140, 380, 260, 58, 234, 243, 453, 446, 145, 11, 472, 23, 114, 104, 411, 340, 294, 281, 40, 478, 139, 396, 195, 51, 173, 391, 474, 445, 54)(5, 6, 102, 122, 92, 59, 236, 284, 30, 196, 255, 293, 94, 77, 296, 322, 7, 198, 153, 310, 39, 177, 117, 292, 80, 50, 253, 282, 90, 348, 55, 272, 78, 164, 216, 360, 37, 347, 321, 242)(8, 219, 172, 426, 45, 141, 333, 467, 462, 60, 61, 268, 428, 217, 131, 223, 382, 353, 361, 369, 47, 171, 57, 303, 70, 62, 312, 386, 408, 76, 129, 304, 466, 297, 124, 370, 395, 351, 323, 224)(9, 68, 184, 378, 435, 429, 27, 247, 326, 473, 470, 52, 221, 393, 350, 175, 146, 95, 154, 137, 34, 28, 199, 230, 316, 421, 56, 116, 379, 444, 475, 147, 245, 401, 208, 176, 264, 193, 161, 287)(10, 41, 19, 267, 257, 180, 158, 289, 409, 66, 298, 127, 17, 97, 233, 398, 388, 20, 311, 277, 35, 108, 291, 305, 415, 235, 157, 389, 434, 167, 433, 128, 24, 79, 106, 250, 363, 73, 362, 416)(13, 266, 67, 203, 308, 290, 324, 431, 449, 385, 454, 170, 432, 456, 100, 136, 286, 425, 237, 332, 32, 427, 190, 246, 307, 405, 194, 341, 442, 468, 479, 218, 359, 459, 152, 74, 248, 392, 300, 352)(14, 110, 212, 417, 394, 18, 42, 240, 365, 99, 132, 274, 83, 64, 309, 376, 403, 182, 149, 412, 22, 43, 187, 358, 422, 75, 109, 252, 460, 151, 123, 125, 84, 168, 438, 225, 273, 183, 285, 265)(29, 69, 150, 295, 399, 202, 211, 330, 455, 46, 220, 53, 192, 155, 317, 355, 413, 339, 229, 410, 89, 48, 98, 215, 448, 201, 65, 115, 400, 71, 239, 263, 185, 160, 227, 280, 465, 336, 375, 275)(31, 112, 143, 271, 210, 331, 373, 384, 407, 346, 338, 357, 440, 63, 165, 319, 439, 207, 315, 325, 91, 169, 119, 254, 126, 259, 371, 447, 443, 335, 337, 418, 451, 38, 113, 238, 381, 349, 301, 138)(81, 213, 278, 356, 200, 334, 318, 383, 404, 166, 121, 174, 328, 313, 314, 228, 251, 93, 231, 256, 205, 188, 283, 423, 86, 345, 181, 387, 402, 111, 142, 276, 419, 163, 302, 377, 430, 204, 222, 270)
c: (2, 5)(3, 9)(4, 13)(6, 18)(7, 22)(8, 26)(10, 30)(11, 32)(12, 34)(14, 37)(15, 41)(16, 45)(17, 28)(19, 52)(20, 56)(21, 60)(23, 64)(24, 68)(25, 70)(27, 73)(29, 78)(35, 90)(36, 92)(38, 97)(39, 88)(40, 47)(42, 65)(43, 69)(44, 108)(46, 66)(48, 110)(49, 114)(50, 118)(51, 62)(53, 125)(54, 129)(55, 133)(57, 137)(58, 141)(59, 85)(61, 145)(63, 79)(67, 112)(71, 167)(72, 99)(74, 173)(75, 177)(76, 120)(77, 180)(80, 87)(81, 193)(82, 196)(83, 200)(84, 86)(89, 94)(95, 205)(96, 168)(98, 113)(100, 171)(101, 151)(102, 220)(104, 223)(106, 227)(109, 211)(111, 183)(115, 138)(116, 142)(117, 239)(119, 139)(121, 247)(122, 250)(123, 253)(124, 135)(126, 192)(127, 261)(128, 134)(130, 265)(131, 269)(132, 236)(136, 234)(140, 143)(144, 175)(146, 289)(147, 291)(148, 255)(149, 294)(150, 165)(152, 219)(153, 298)(154, 300)(155, 163)(156, 303)(157, 306)(158, 162)(159, 309)(160, 313)(161, 237)(164, 235)(166, 182)(169, 190)(170, 181)(172, 287)(174, 248)(176, 179)(178, 249)(184, 334)(185, 210)(186, 195)(187, 314)(188, 324)(189, 297)(191, 260)(194, 213)(198, 201)(199, 345)(202, 347)(203, 230)(206, 348)(207, 340)(208, 351)(209, 349)(212, 302)(214, 217)(215, 356)(216, 241)(218, 318)(221, 228)(222, 229)(224, 343)(225, 272)(226, 369)(231, 375)(232, 370)(233, 317)(240, 270)(242, 364)(243, 384)(244, 296)(245, 377)(246, 378)(251, 266)(252, 256)(254, 267)(257, 399)(263, 274)(264, 389)(268, 308)(271, 305)(273, 413)(275, 416)(276, 286)(277, 410)(280, 282)(281, 374)(284, 355)(285, 390)(288, 412)(290, 397)(292, 398)(293, 376)(295, 423)(299, 310)(301, 311)(304, 307)(312, 332)(315, 362)(316, 386)(320, 438)(321, 433)(322, 366)(323, 436)(325, 330)(326, 442)(333, 352)(335, 339)(336, 346)(341, 371)(342, 445)(344, 446)(350, 353)(354, 426)(357, 432)(358, 396)(359, 418)(360, 368)(361, 437)(363, 450)(365, 453)(367, 429)(372, 424)(373, 431)(379, 449)(380, 417)(381, 392)(382, 385)(388, 464)(391, 447)(393, 459)(394, 461)(395, 468)(400, 404)(401, 456)(402, 455)(403, 465)(405, 411)(406, 451)(407, 434)(408, 463)(409, 443)(415, 448)(420, 422)(421, 458)(425, 439)(427, 430)(428, 473)(435, 467)(440, 472)(444, 466)(454, 457)(460, 474)(462, 471)(469, 475)(470, 476)(478, 479)
d: (2, 437)(3, 288)(4, 277)(5, 361)(6, 353)(7, 172)(8, 153)(9, 412)(10, 145)(11, 416)(12, 130)(13, 410)(14, 137)(15, 344)(16, 244)(17, 390)(18, 350)(19, 453)(20, 96)(21, 82)(22, 287)(23, 73)(24, 294)(25, 241)(26, 298)(27, 64)(28, 285)(29, 332)(30, 61)(31, 337)(32, 275)(34, 265)(35, 54)(36, 269)(37, 57)(38, 349)(39, 323)(40, 433)(41, 446)(42, 393)(43, 161)(44, 342)(45, 296)(46, 454)(47, 321)(48, 300)(49, 450)(50, 297)(51, 235)(52, 365)(53, 449)(55, 408)(56, 168)(58, 180)(59, 217)(60, 196)(62, 164)(63, 207)(65, 459)(66, 457)(67, 339)(68, 149)(69, 237)(70, 216)(71, 479)(72, 476)(74, 448)(75, 208)(76, 348)(77, 141)(78, 312)(79, 340)(80, 124)(81, 314)(83, 247)(84, 116)(85, 214)(86, 142)(87, 135)(88, 436)(89, 352)(90, 129)(91, 338)(92, 131)(93, 204)(94, 333)(95, 212)(97, 209)(98, 392)(99, 470)(100, 202)(101, 469)(102, 382)(103, 107)(104, 250)(105, 452)(106, 411)(108, 445)(109, 401)(110, 154)(111, 345)(112, 335)(113, 381)(114, 363)(115, 359)(117, 395)(118, 189)(119, 407)(120, 206)(121, 200)(122, 223)(123, 444)(125, 379)(126, 373)(127, 372)(128, 281)(132, 473)(133, 463)(134, 374)(136, 399)(138, 418)(139, 434)(140, 409)(143, 443)(144, 461)(146, 417)(147, 460)(148, 471)(150, 425)(151, 475)(152, 201)(155, 324)(156, 368)(157, 195)(158, 260)(159, 367)(160, 194)(162, 191)(163, 188)(165, 439)(166, 334)(167, 478)(169, 346)(170, 455)(171, 347)(173, 415)(174, 356)(175, 394)(176, 422)(177, 351)(178, 464)(179, 420)(181, 402)(182, 184)(183, 199)(185, 341)(186, 306)(187, 193)(190, 336)(192, 431)(197, 414)(198, 219)(203, 413)(205, 302)(210, 371)(211, 456)(213, 313)(215, 248)(218, 400)(220, 385)(221, 240)(222, 251)(224, 310)(225, 316)(226, 364)(227, 405)(228, 270)(229, 266)(230, 273)(231, 430)(232, 398)(233, 397)(234, 257)(236, 428)(239, 468)(242, 369)(243, 267)(245, 252)(246, 465)(249, 388)(253, 466)(254, 384)(255, 462)(256, 377)(259, 331)(261, 424)(263, 442)(264, 358)(268, 284)(271, 447)(272, 386)(274, 326)(276, 423)(278, 328)(279, 327)(280, 307)(282, 304)(283, 419)(286, 295)(289, 380)(290, 317)(291, 474)(292, 370)(293, 467)(299, 343)(301, 451)(303, 360)(305, 391)(308, 355)(309, 429)(311, 406)(315, 440)(318, 404)(320, 458)(322, 426)(325, 357)(329, 441)(330, 432)(354, 366)(362, 472)(375, 427)(376, 435)(378, 403)(389, 396)(421, 438)(477, 480)

(III) Last is Groups&Graphs. Copy everything between (not including) the lines of asterisks into a plain text file and save it as "graph.txt". Then launch G&G (Groups&Graphs) and select Read Text from the File menu.

**************

&Graph
C4[ 480, 246 ]
480
-1 2 5 437 361
-2 1 15 6 369
-3 320 312 16 7
-4 311 17 8 218
-5 1 226 18 41
-6 2 458 19 42
-7 3 366 20 43
-8 44 264 4 21
-9 22 45 332 438
-10 242 23 46 281
-11 24 47 170 362
-12 25 333 37 159
-13 26 301 28 318
-14 34 48 27 360
-15 2 47 102 49
-16 3 103 50 370
-17 4 48 51 293
-18 421 5 52 65
-19 104 478 6 53
-20 397 7 54 65
-21 55 367 105 8
-22 56 69 322 9
-23 57 456 106 10
-24 11 58 69 272
-25 12 223 59 107
-26 13 389 60 108
-27 14 61 405 109
-28 110 13 376 62
-29 111 412 128 63
-30 66 374 364 64
-31 67 112 115 138
-32 68 181 40 315
-33 88 323 39 436
-34 352 309 14 70
-35 310 71 96 372
-36 77 72 303 262
-37 110 12 368 73
-38 451 89 113 74
-39 33 343 75 108
-40 289 41 32 76
-41 220 114 5 40
-42 56 221 115 6
-43 68 116 7 150
-44 88 178 117 8
-45 232 103 118 9
-46 222 119 460 10
-47 11 146 15 120
-48 121 14 113 17
-49 122 156 15 171
-50 441 123 157 16
-51 124 158 17 405
-52 223 125 479 18
-53 123 81 126 19
-54 224 127 479 20
-55 225 128 480 21
-56 22 290 129 42
-57 154 23 156 130
-58 24 157 290 131
-59 132 25 158 279
-60 429 133 26 105
-61 134 27 226 457
-62 135 411 28 162
-63 165 440 136 29
-64 137 401 227 30
-65 138 18 228 20
-66 474 139 30 229
-67 140 404 31 230
-68 225 141 32 43
-69 22 165 24 142
-70 34 104 85 107
-71 143 231 35 365
-72 144 36 466 117
-73 145 211 37 411
-74 232 146 213 38
-75 429 211 147 39
-76 421 148 40 197
-77 233 36 149 186
-78 79 134 288 183
-79 78 234 150 472
-80 354 235 258 151
-81 166 276 53 152
-82 408 452 159 153
-83 154 245 160 284
-84 155 221 161 282
-85 70 279 236 162
-86 280 237 228 163
-87 101 258 426 164
-88 33 44 177 224
-89 166 265 38 127
-90 167 299 168 424
-91 330 190 169 325
-92 99 156 180 262
-93 400 170 181 404
-94 182 261 97 130
-95 171 248 183 274
-96 35 233 172 459
-97 94 173 98 406
-98 110 238 97 174
-99 92 444 239 175
-100 176 440 114 205
-101 102 179 87 428
-102 101 267 15 240
-103 45 16 216 241
-104 363 70 136 19
-105 242 364 60 21
-106 23 243 295 164
-107 244 25 70 296
-108 26 39 249 239
-109 330 177 245 27
-110 37 247 28 98
-111 222 246 29 205
-112 143 400 203 31
-113 48 38 248 238
-114 100 303 41 250
-115 311 31 42 251
-116 324 304 240 43
-117 44 72 305 252
-118 253 45 441 306
-119 254 46 169 307
-120 255 47 458 197
-121 308 256 48 213
-122 365 257 49 241
-123 264 50 470 53
-124 475 366 258 51
-125 253 192 193 52
-126 254 259 194 53
-127 89 255 195 54
-128 55 145 29 260
-129 56 343 478 261
-130 57 367 94 241
-131 58 368 470 262
-132 475 146 59 263
-133 134 60 480 272
-134 78 133 191 61
-135 322 258 62 469
-136 264 188 104 63
-137 265 300 303 64
-138 266 301 31 65
-139 66 190 267 304
-140 67 167 268 305
-141 397 68 269 306
-142 188 69 270 307
-143 308 112 71 271
-144 72 226 272 219
-145 454 369 73 128
-146 132 47 74 273
-147 454 370 75 274
-148 477 293 261 76
-149 77 275 161 316
-150 319 276 79 43
-151 176 220 473 80
-152 451 81 249 175
-153 342 277 82 358
-154 57 83 392 285
-155 278 257 84 371
-156 57 92 279 49
-157 58 280 50 372
-158 355 59 281 51
-159 12 82 282 351
-160 83 283 415 373
-161 149 84 172 425
-162 374 62 85 284
-163 341 278 399 86
-164 191 106 87 285
-165 286 319 69 63
-166 231 89 81 203
-167 375 90 453 140
-168 287 90 393 317
-169 91 246 455 119
-170 11 245 93 346
-171 179 49 95 472
-172 288 354 161 96
-173 289 194 370 97
-174 278 290 205 98
-175 99 225 369 152
-176 100 376 224 151
-177 88 367 291 109
-178 44 354 292 219
-179 101 343 171 293
-180 92 195 294 317
-181 377 93 336 32
-182 375 94 193 230
-183 78 378 95 229
-184 187 333 273 427
-185 188 331 305 274
-186 77 189 304 261
-187 198 379 184 295
-188 136 185 328 142
-189 466 186 296 329
-190 91 378 402 139
-191 134 268 214 164
-192 267 125 213 259
-193 286 125 182 219
-194 419 126 247 173
-195 297 180 127 307
-196 309 463 298 452
-197 299 310 76 120
-198 187 464 311 461
-199 266 212 312 403
-200 300 355 377 313
-201 388 301 314 394
-202 363 422 302 315
-203 166 112 380 316
-204 455 402 218 318
-205 100 111 174 263
-206 462 320 321 414
-207 332 399 315 439
-208 309 323 456 460
-209 311 333 392 415
-210 331 324 271 263
-211 377 325 73 75
-212 199 215 347 326
-213 121 419 192 74
-214 191 216 327 428
-215 233 212 381 328
-216 265 103 214 250
-217 473 260 327 241
-218 221 4 335 204
-219 144 178 193 406
-220 254 270 41 151
-221 84 382 42 218
-222 111 46 359 383
-223 25 234 52 450
-224 88 176 414 54
-225 55 68 413 175
-226 144 452 5 61
-227 235 423 64 384
-228 385 86 65 318
-229 66 418 183 383
-230 67 386 182 417
-231 166 387 432 71
-232 45 388 291 74
-233 77 215 391 96
-234 79 223 389 324
-235 80 390 227 260
-236 289 469 85 274
-237 287 294 86 439
-238 113 381 392 98
-239 99 256 271 108
-240 102 400 116 393
-241 122 103 217 130
-242 105 437 394 10
-243 431 434 106 382
-244 297 288 292 107
-245 170 83 109 395
-246 396 111 169 435
-247 110 268 194 252
-248 397 113 278 95
-249 398 426 108 152
-250 453 399 114 216
-251 454 345 115 383
-252 455 247 401 117
-253 476 125 389 118
-254 220 126 119 405
-255 376 477 127 120
-256 121 456 402 239
-257 396 122 155 340
-258 80 124 135 87
-259 341 126 192 371
-260 308 235 128 217
-261 148 94 129 186
-262 36 92 269 131
-263 132 210 291 205
-264 123 136 403 8
-265 429 89 137 216
-266 199 138 457 383
-267 102 411 192 139
-268 191 247 458 140
-269 476 360 141 262
-270 220 404 459 142
-271 143 210 290 239
-272 133 144 24 273
-273 146 184 272 339
-274 147 236 95 185
-275 440 433 149 402
-276 81 150 283 405
-277 400 390 153 406
-278 155 248 163 174
-279 156 59 303 85
-280 407 309 157 86
-281 408 332 158 10
-282 159 434 84 306
-283 286 276 313 160
-284 320 409 83 162
-285 154 410 435 164
-286 165 411 193 283
-287 168 412 237 426
-288 78 244 172 458
-289 236 413 40 173
-290 56 58 271 174
-291 177 232 457 263
-292 178 244 415 460
-293 179 148 17 403
-294 386 180 237 416
-295 187 419 106 439
-296 189 398 412 107
-297 244 444 195 329
-298 396 410 445 196
-299 90 420 323 197
-300 200 137 390 381
-301 13 201 138 349
-302 442 202 345 356
-303 36 114 279 137
-304 367 116 139 186
-305 397 117 140 185
-306 424 282 118 141
-307 429 195 119 142
-308 121 143 421 260
-309 34 280 196 208
-310 35 422 436 197
-311 198 209 4 115
-312 374 199 3 340
-313 200 431 283 448
-314 201 334 423 449
-315 202 325 207 32
-316 408 203 149 394
-317 168 180 356 447
-318 13 204 228 339
-319 165 150 425 439
-320 353 3 206 284
-321 344 206 416 417
-322 22 135 388 329
-323 33 299 445 208
-324 210 234 116 328
-325 211 91 315 427
-326 341 212 460 428
-327 214 368 217 360
-328 188 356 324 215
-329 297 189 322 366
-330 430 91 109 362
-331 210 431 185 373
-332 345 281 9 207
-333 209 12 424 184
-334 352 430 314 413
-335 443 413 337 218
-336 181 434 403 338
-337 418 335 359 339
-338 432 346 357 336
-339 409 337 273 318
-340 257 312 425 362
-341 259 391 326 163
-342 464 436 153 395
-343 179 39 414 129
-344 321 382 437 450
-345 332 465 302 251
-346 407 465 170 338
-347 420 212 362 450
-348 433 414 438 471
-349 352 301 381 448
-350 365 459 361 438
-351 474 159 401 436
-352 34 334 349 372
-353 320 453 393 437
-354 441 178 80 172
-355 200 443 158 438
-356 302 392 317 328
-357 440 375 456 338
-358 399 378 444 153
-359 222 337 393 406
-360 363 14 269 327
-361 1 364 446 350
-362 11 330 347 340
-363 202 104 446 360
-364 105 30 361 461
-365 122 71 379 350
-366 464 124 7 329
-367 177 304 130 21
-368 37 327 131 450
-369 452 2 145 175
-370 464 147 16 173
-371 155 442 259 447
-372 352 462 35 157
-373 331 160 449 384
-374 463 312 30 162
-375 167 387 357 182
-376 176 255 465 28
-377 200 211 181 468
-378 190 467 358 183
-379 187 365 431 466
-380 433 203 415 428
-381 300 215 238 349
-382 221 243 344 469
-383 222 266 229 251
-384 385 407 227 373
-385 475 446 228 384
-386 463 294 230 461
-387 231 375 430 427
-388 232 201 322 445
-389 253 234 465 26
-390 277 300 235 467
-391 341 233 409 395
-392 154 209 356 238
-393 353 168 359 240
-394 242 201 316 470
-395 342 245 476 391
-396 298 246 257 466
-397 248 305 20 141
-398 474 249 448 296
-399 358 250 163 207
-400 112 277 93 240
-401 432 64 252 351
-402 275 190 256 204
-403 264 199 336 293
-404 67 410 93 270
-405 254 276 27 51
-406 277 359 97 219
-407 454 280 346 384
-408 477 82 281 316
-409 478 391 284 339
-410 451 298 404 285
-411 286 267 62 73
-412 287 421 29 296
-413 289 334 225 335
-414 343 224 348 206
-415 209 160 292 380
-416 321 455 294 472
-417 473 321 448 230
-418 451 337 459 229
-419 213 423 194 295
-420 299 467 347 469
-421 308 412 18 76
-422 310 475 202 435
-423 419 314 227 425
-424 90 333 306 471
-425 319 423 161 340
-426 287 441 249 87
-427 387 478 325 184
-428 101 214 380 326
-429 265 60 75 307
-430 330 387 334 479
-431 243 331 313 379
-432 231 401 338 472
-433 275 380 446 348
-434 243 336 457 282
-435 462 246 422 285
-436 33 342 310 351
-437 242 1 353 344
-438 355 348 9 350
-439 319 237 207 295
-440 275 100 357 63
-441 354 50 118 426
-442 473 474 302 371
-443 355 335 479 447
-444 99 297 358 449
-445 298 388 323 468
-446 363 385 433 361
-447 443 468 371 317
-448 398 313 349 417
-449 453 444 314 373
-450 223 344 368 347
-451 418 410 38 152
-452 82 226 369 196
-453 353 167 250 449
-454 407 145 147 251
-455 169 204 416 252
-456 23 256 357 208
-457 266 291 434 61
-458 288 268 6 120
-459 418 270 96 350
-460 46 292 326 208
-461 198 364 386 476
-462 435 480 206 372
-463 374 386 477 196
-464 198 342 366 370
-465 376 345 389 346
-466 396 189 379 72
-467 420 378 390 471
-468 377 445 447 470
-469 420 135 236 382
-470 123 468 394 131
-471 467 424 348 480
-472 79 432 171 416
-473 442 151 217 417
-474 66 398 442 351
-475 132 385 124 422
-476 253 269 395 461
-477 408 463 255 148
-478 409 19 129 427
-479 430 443 52 54
-480 55 462 133 471
0

**************