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