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