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