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