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