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