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