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