C4graphGraph forms for C4 [ 512, 178 ] = UG(ATD[512,374])

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

On this page are computer-accessible forms for the graph C4[ 512, 178 ] = UG(ATD[512,374]).

(I) Following is a form readable by MAGMA:

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

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

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

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

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