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