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