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