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