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