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