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