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