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