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