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