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