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