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