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