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