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